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 FF//vlD4 ]/ HOL-Proofs-Lambda:threads=6elapsed=98.853cpu=117.176gc=5.5567zXZִF! F]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬t+Ӧ!/MrΛ$nmi,Ɂ}jf)  7#NUi~spu6vS`5Qi?!G$:JW;?;WאPt;,0(qiiۑc?5%(5! R> Y0~v 1(Ne>o,9Xt[0<~M;q2=be"^kCu.ރHy?zahT -Z ![: ]"kѡWS\n'[&CM ^LT| <- VWe4oܑTUQAÊf]9 lU_ `k'ce}*u/;36 CSeA~uD(DKgYZ7zXZִF! hY]ŗXiɟ11bu)a2W5Kԫ]\2)ˈ4Sϐ|KV3kc mՠ`6;{M׃P]~-4lz@w"eHveг0|] F[ۛ}&tF'fP9 Hn~g8ͪvBs+0өyY?o@&y ZRy~^vِ`|oS:xPYgYZ7zXZִF! /V]ŗXi%[$8-wHiqӈdQ2 EBQ9m;&7:>"Pg_2{<A*]$_䉠ҒȿOЬ{+3#3l`ƭ3s3ZR0(IƫfH+qqHF٧KOs6k>FBILھ璃Sj6,{nAw\}P-+UE{OK)xWzC<=y'O *_L۽x޷(Yb y0IV5`]lX(E} Hr0LJL&G#x<ΐjQZ{GQ}l@uds_2v_` {ϼߚj=61Ĵ4 d>n? 4" (*K7k,LO:FDO %)|_ OƘ[%$R#^N^k7"`$Qw)mtK=u,PϨS^Nk DqUX2};bKImkg9jP3Q>WJ2^q htu:>%r-2 ,.DLT̮MhYѭ2cc&cu*\KY 5Ϣ|?&åG[jr"2٨5RkDCiZHtɼO3Gl4[Bho$AŃR'^XCRc0\M-`8<"͊B&| 7$&Z!EyPo,yy' _f 4Y>D_*|P1CVc4cI>YziW+Ǿ}o[7I / HOL-Proofs-LambdaEl/E; LHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex7zXZִF! ]]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoBB<>79443110.,,%%!         > Jin6 } = y > ; o + J 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.texH/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.texI/E; HOL=</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  l/E; LHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.tex7zXZִF! ]]A-MՋhvG"uIBm5*oDw#H)3ۮoPcP􃢂6v]!P[O蝒86/|X7Cb&+7Cto *(y^_p+s%2;y7~/@uU/4h͸`an-!\ ]i~dBg3$/eB,C}j8jj>`ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD ##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\#$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,bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+rau@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ X/=3 4HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex7zXZִF! 8 ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=:IU*.fZa 2OmTszhUkgBG H}X3& // Ǭ#0pQ: } [TOX~Oci3vU( _?Z8^JG|&2 1HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦERgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:Lkiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}Dz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ Â`xJ StŔh8ի0]1R/>YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, ( /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-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`.YgYZ57*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 X_  Xg/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\HF<ٱ|!6/I]R>}7aFkhwم5`ibe[B L Zq/Yo/@.Ȃ%Q21!U̎W=w<!<^=zAA-i% cKɦЊqs-H5j*?vR_@g%)o$F30n؃apF$ cnԙy`D|2)qڦd~OIst =%5Ga]2}I$'h ;^6+d֢>㰧kSUmDJrêȏ6n˯``e=Rӳ͚fcDqfCw :ƕ~H-St0r8~0dg|IΏXx -vUKؙ :mLgۍ(tm!#uL%IqU#o&U|"Xz>0d ^|ũVsk3c:za?O5ogYZe /=# \HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !h]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~ tYSWha!mdW5Cw`\67* ѶKca]C(ò'CVi>PW.f&rA*UlNcWU˲}O7sŤSQ|{R0W #=Iu_iCkMI @)<7[FbeRW9=LҚ9#Gj!t]/=!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 af:ՖB#g̱EL ё7  wW ⎔ko2ҦSpWȆZm$@kV/|)SSRZA63Twc9 W[*[&fQRneX>kF,lFPLnvL*,  . 8s(M*,..0A7Fo&ֶ\륺~\ 1 ,4n`^)ť҂m66 k>6`ynWwHo-{#t&2`WU嬌{ma(k;"Go'0־svӳǘ"Is4?#૞>AtLeiPyŸD6ayUUP3C%SnTX/p^Y;;ΧRDC؆rJ kv\ oyl1& 8?7m%^ӹr8DZʝl Ѩ}㞖g5a DŹP@&2%EmWTUQ<>'Gnp46&H.l$Ԥ>p܄޻MxP{7A1({@u)cחS?lm3e%\*uKNCS/LTtdL"19;nx,_o,;}xkY܈ c%Ng}qVqZzUt*i#!^~òz?~ԏi'$!~*(8DKN. Q_*)F=lR/>O/(tW8uk}9H{8;yWkZ/?j`Ǹ ϒ'*nA 1p5 >;if&LΈQq@뱣o%kB|iqA|zSrK ǃbmB%Z71SmT})-n++m3* kHbAEԔ TOmTjYfH;>G)Sq|j.S93;Ks{B'#CzltJ a.:ñAL"x颠S??f{)L+5LnZ jS:|d >Zo-R2eDJ㧛1巣h;pqs,Wf*~p-j$7_%4agpd}uH{uʫ d^43Jگ'>3('OE˫~Vh? i2v#W덹 T? `@¥WOcuS׵e35$&h!ꩵ@BsҘ:tqvL][LRhFU2N+b\9;@Z痧3nNpRz @x`Cic*&-fK?QtĦZ&5A4SiS*.TG;L-x֎:TEic8}r;Jl蟷r#w2X+S"Xp\̍a6?dZGHNIzĞgXT wF|@.Δ.9Q?SkȔ1Q@DGKfype6XWo%$yTYqT^**yZAߋE[3-I͐Y{ t*nU{] (ө9eLIʋ)`ьٓ{rKa~L*Hw4![fjQxJU<%$Yٗ9Stpsq}X%\h(Z8".X ZBi~R,^\djsXMLGHwXS&+I6rQ `9k&O hJ x~ ;` )ܲ8eY٠h6A}iI_Z[dL%Yae7 ` 㩉&HT@MA2hS cIK954b{`֠~qFSz\^y̲E8Q3 O?{6 <Ѷ{nCr3'sMLȮ/|.Sv{VS7VnrJXvOYOͻ-Żj .!8}x:DqH\zo[kzZT&HQty"4욼I i)+[fNA1+ Y܎|tmAe [%><~tqFyCh%iYTZ x#A7?pP<5* ߷̀L/Ml \^z! 4n#RHK, 91 *}+1|ߟ&E;Tcխǐ1ȸ#<,Jw0q' s -߸ZP˪93' ]MI_7@C2jש*_uHѲd,_4YR`p?|VQf6d>ȟ6@8j "ͻEP>vvy9Ė27xELY]\ǀ|ӕ{Wd+b~#Wk/)m_x@) FW%>QAtqqN킜4f)\aWJS"BOڎэ}%cGldYR51"H[r]㓼cAp{w6_,-! jtK2AXT_I71lf6p˦d?G u{VUKted̤9"i9=1@D?t p _]fZ( :qja6h/KUv }H#흶N89fVjjU[q<fN!0٩9E #;JV*&-(~"d"T]=(k1t%I ٜ.c܋xz4z@WFMW~MqN[zb ;֨[y*Kӵ@&`Ui/@hƲh&+G3'@Ȫ?r@rU[+svUbJO#8 Lg?1]v%8Y,, 1T7R^b%#pԭ5,֋Ejuěsrڑ}2.fۀ 6Ž+>ܲI19X9TEhYBgyon;qCy@f&q嫜@JT+nD@[|x\ýL<@WU{Gm=gl%B \~$lru=ZgmJveњ߶!87&NLHb .*=F/tDOp(-o' lեಋ/=L!\KհQȃmTUT?O̸]ƷkNJ{?Tw/ߠCCq{m&,M]8ir%,#f.(6 bH@%+kfit%F;;RA饄on.|1)H 1Ì;z4h$9X\Zvޙnl{۶ABѹEO0UIriK5g`*a Z,d Tpv`al3Ŕ9t H,3 ~23z7#?Mĝ^Ƃ&$w,LS&]NNjt >4f5yV>SYb޽_sky/;2GEG\pLmO9|_ A>K^-hG}M)m+_Ip RGhZMD EEPlkN,Myz Y~V`*'t$s] ڲ  8,&+JqFP&ܕ5iveeI 5tAs >ǥ8mu?H! "犼1}5l݀}w#VOs'~#'yXQSLd`}ݍ1ј/@${Mv?AB1Z݉F$(Em,|UL7Q6|'()ϱ!5PYk,i`B_XAJ]6ZE"ܰlBm)( 0et5 jn` UĘmy CwbTTrR+LEx Qzv-feMNDR .ѭV$J+X9M8M  [etA^;z_2L:/bƢ ۮnŸJ?w]/ !w ?޺>q_A?"4p尯X\f5`"ٜn[CnŨpÌb_؋,meo GD(Dǟf'v5bO/ 9Ռ)ȣ1HFsݡ 2?ւ'n`ȏ%ñ2-Fw 7Y(~El$Ei1%DqYC3ƸԼJO zkht YewUx]Ԃa0o$\)ٸkj4L>z麣.<:WEWXkn`-iSA\H͓}اݕZˌ(e`wLto $&ob&)w(S ^yйJe12F [F K~OOKPq-}xQ/%Z%v`b]j9TZ)Ad勵7-> G#sc4B-e}7Wg=Ap0ǕGhu=}X,Yί3/hs-B).ĪIJPyn.ЯibT^no+PP+'vϟ!C9~&i* juV4]W=tڙ.Ƶ'}%oRc$)yC$U8W4H\ aV5mNʍ$a e35x|b>q\ɷWlAL|Gw_3[ o 6跦'^XtFIk3,}-Vb 1ɶҰP']hDDƓϲcB*LGۀab@+t&}UpV Nvm?Mgq`>3 O>ojN7a|;OS L׏BeH3pʝڏńp?q*evtu_}?oeY+@'t΄+i5>X{/u,ɝOp0w:RwԎd$c_]oc9^\&xAg$CѱgYZRG 8¹E96a@ gn6I6UquG_ze Tx^لrsq>\1;޿P~b@zCݠۙ@U6_fJX_Xbc؟xEzf7QU NO}ނ+8f /23D ^f`ѵx۝@QP\d4&%=Sֻmr>s>Xʀ흲dB9`S|Z>#똰yKPU(s(їJQ#@l=ÑwnmLjb| LJ7x4f_Z+ æ,-0"˶vXLprisM!m!(zoY]hzV1*濦%(%r^])&z ^V[ب,ݚS^ ']nnY_bD•vv hvq{,mO =s@*sӯP>|nďuBQsOc&Yk`Qy(\Yx~ Q-(Nbi;z/Y¦+  $zK"ոX=ͯ‚H V$">?JFH$snV\mp_?d596<'l(\jHZŁyފ d+2Cx{mg*KzAg~$Da2$P7p vj%GF tGoSl( k̞XBBqnxS&gG&ǧuq[G*Uѯ >dwY__O)|$l¸<Ӈwk<:#U^?\2O$'b3g.U2RSd趋"1Pv.1(8<_oVE!LsMgK,zKGm79ΐ8o)Om|W#7c`(tbo۷ ˒4*1Ύy!ʭ<]n?9]b"1?9 Qvx%,(p7 cR: 3Hx)?kUF}P+61ޑ]}_RؠVTȠkL`r &x)2XF܀ `r:]; JUTYt&WDn@*9nO)~%ZY\с":]CNϹ3$KDA{38&`ز>Ԋms--C!䵥M۱ A^ 5Rg*^^ 0%УCS!GA}tcؖKa!׹DmY+pДL X9ƍiwRgwi_Ε5 " hj)uVQhjJGd ==[Xf۽%=n/̶Ρ+B= %eکĤ(A\H ejp m aZ˶`ԡ u|j][&7AX?SZa9C 1.ĄWu2~I@$@ DNAҵ27fqF~#Cs =]i1G{$ou`J{1,+ah` CI1 2ƣA)2a!3yGԺCHD"o#ۥ-w$,NpGZP+@sZee:́2is> .]]@1{TA]kgcЀ,aE3h{hz\,9a$wƽq֩Ĕ)*rgATm J)[&{~Y/D^@JS\{e!fz}R E)ckVNWtdJ|u1Jִо}Xv"m_U g]I^XEydnT@1p1x%矱x+v]9hf>F5rZYzHu+JQ텴뻄uR?@xC~eҲx(fʃM.*09dQ\\iu$a,0~Mw̯_ |cY >g'>z|!+C/V-utdg^ƚ~4Ȉ: Jm5H%{VP&*c aRgv9f (TP/jMZq0>IOF2x4,"Y2Or \+t]$J%&ծD.;[-m5I8n g{vSt&Ò ~$%Cw;|ZJ_V&Pŕ*rNuoQY`Bvz׬~ìJRegdJh :a+ɚg )SyA2Ysżi Ȝ2JkR>VeU5c\˵Uk}\n[ByTMIhUE4H PC^m=i,}+:TuQL"UF˄|()U]FRvhh!L b#&EhsO[q}*r;(BIBQ큖ԴsFK0s&?.v?,\~>iv S?`bRsJuMjַ8iAO?u7! 5HlPdj=3NdԮ{~"8aM"3+a;vtbRܝFA!Y\Ê${8R& l6.tI-Z UI%UGU ٛ?_hLF@';' . *nk%A %!s-W_1W)蜣N8kaf}ȕ)UWW^рZl60$bFNn-[[tqtWQ%N7Z=ff=WP58q +Auxw[3G7k3G N-`}>z5s扬|obiSMS>zP+1w.STRuualN2Z/sO!ؿš^} 5ΐ[S-?]b`r0(B3Ԝ 5݊V0WoyP:vGވe 2(X1{&=_lbf#kWvz /֙zw W&LGG5'HnoHG&]EsWba6V@MrMR_]9}6@^r8S17sp Opm8 ~0`mfFij?x ~b2RFuGD32E2: s?m \FC%qqӛTL%JF&x3elPka6-0ogYZ w6wo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206?/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s;]·Iq n[:|&[z'z5X0Hk >!#W_Sg} Dq35>Ulv5;@ +:-x^њ8k:%R;,NՊ"M!ć[Ao 9R'_beZ%m{agηa?R2nV:gXOQ/0^<>4E* 4A33XFy1,(M]e2<4߭Ihg̾im6'6 QTETh0DإK>t}eQ ")$ FC/25[Ă}/ Rؔ|P=N)9) {w:&_y?Ƅ+B8h{sM+`VTЦl+T. 08$؂fy%WQm* 7{i)Nn}=u_eJ`zlݒ%sAC)ȈIP>lx^҂YQW({D/مUO.QHad`G:ˣuYV8FBˁ/Y%0JǷ6IܵzNX;HX|tNƄá g:``@L:]IECnB^WFy_= $Mx29.)1곲x!k[(b7IؠzS],c<& BmiˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېHG ʧ8 Uz\te %+<'7~ c¢TV,xr2o^: ȫ3$U wXܤXo0˓ՌS$ _Q ; #rqcjsHA_xwq*p]3/P,FU< Tž |M MaLkq檂-g%Ŵ@MMLqkw Ӊ!DXT@qgV>1%<-8a8.YŚN5`(k7 gcWqD$k:IsFxulh6fOqg䂃"|$BQ5ODR)6B ͵[H7gsڟS<QB]Xu{h(g,@Cǚk #5+DӡClK+x9ۖbw)"S L]]O(Mqwy&%5&jcJgJm+<̯)HD$V]P|ࢯAߔ[+'kXo2`BCQ#; ߙ zzK$kJ2K+`tL  'z\jH :P8/YMb\iy_8bHETLȝs^$WwgE܃IyӀǶ~JNHD }%<' CIͱ(]ͮ?(Iԥl*wKdo13s0m׶I__߅Zf}q.JQRjiŐYK;ϜHTqN,\0g_|3 WUicBGċC+yI&b}-Bbt$35EpMF5(ՙމʢlڼRoB&qp||/po|(61 1(f|Є8%"8òv/HR1NM-~I=!$)b6ܧ⍶0Y,0fJC:Te>c$ yY#kt 3M__ΓoSrp5/|<ӏ NfN*KF\!Z2>§F^C;`(/3]p|11ƒ@/! $], =8A|JsVRoZpq%1XLXm?^ӓ Nix*di=tsm)z#M4\W`vr"o\3K-ng!i(3P؇McFbF؇x 0^Sm4E<#ſZ]yoj w7B.lD1VS)URM߶u 4b͜w 덼dK׹qc0VUE +/ZIfnsrxu^A͐ iI/R{AOWG%Ym~yw{WHYD}-?ojF^ VaGŖ%_;9>;$zYΆ>)"L6aͧJ~Q z(G;|${v4 %F-Azk3LT 7;|O>Itjro@U^u|K I>'.sg Lu҂Km (/$ķRT\ `M|s-"| ($H%- ;~HN[N|l//Q uEԔ$0iz=>4 HHL:I*0s'BΧ 0]S*<&ܤ Q.F :.µi WK`->&1.ϒ?ݳy?@TdsL\Y.+J;ʐdW(q뷘 \ $YsĦ8;`qѓBSQhiRjRA>8)^1}Uq(Ό+?#u R__8K#1J/S>;p@#d 6R2[%{ "~5.q8p6b5vִN/Qq71*u竴Jt=1 5Bktń;w.9\+_/OjMvoJkal Mzn4Y)}dh-ס%|2 DR|o# |Y'm]O>RW5B?dQr h#tALe؎ wlu,??{je9٪AlNKsNC((Ug,țn,4Z Г?*#Dk(~\)}D{*Pwa;I)Ӌ~ tz7zm 45o(ѡ4xvT9D\. EZagߏyNQUigK殡ozYR1. WI}oSXM? r Wh+ص(w#zl߽jw"*yvI0`IvОasg*CW zt7s Bi>U,'uMn Ѧ imHܷfA6Ǐ&^Jj#ˣԋRZFwTI(K\ œO$+ ~?2IgP}yM>M:0 #_6iP̠BlLgPO ":o-M)͕7eU$%!~4?PHE}#Zk]{%7B =>ǯmX)8XX>i3mldԳڳhf"@g>vx{ 5}IX+pqU${B=Uvo0 u쾳3,xޓFvz7M"φ2-r`fqg7(黳˪8xVYLCʧ >~fcpҶ2@qb\Z |훜FK)]~$떕Ԛ[2>ΙH U[P.MxK0{AQRqAcs#]~se{j*E3DGUA08t|UxlBfG,my#ᚏɗlt&VNQ7 I1yL_u-v]2JM )ؤ-G]ڑhϧ:5hP ax߯T`>2&"N}e]ݟ$ iMCc0뿔cMm ^?ֳX:wkJ~0q'؎4Cg,;e}WU0|("PmBxxp 1kj۬ހ ^՚}5 Cːj8t L kN%@,Ҫ  ։KǮ]57sJ[o:;}yz"͛&*Rt\yC B3p˪>zzUўXC-# P21fa,l2mS; @RjE-_9YqzL`OhɄ'T{I<Pl&EG̏Huˡ5}l(աa2݉f VB?33HXCZ>fzeᮤo4Ub5ШZU?O[ o 'mͨ1D$U3Ʉ \8gYZ F& /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},AgqDO̔ !꩙%_|ZunC?8`ޙ}f.h{6I!K҂m<nj=Ql5/OYOEgp2L2u)K׈l'P#JhUVD0.,XQf t PSg!* 2~ h/E a-qr/:@ܓ!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220a/O# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3-7x`FWJu2ZYic oƖ஧)7j%/EHj뺆Dz `Ix)6 g*)~Mkx;e왰92yN.VŴSM*|a#wTdS7:>qc]ⰊVAklVF]PQ#![u^t'v<D]i\Dc%]%\m PT|Z{xp jD.p$…Ԯ8:T*B`^7 {9{ۂE?{)ο2WD֐oJ|KٸP:vtQ%}=@UF']&iӂ ݎHS+)]z (TyZt$y j2 b8_Ynô>tB(N4RTK>>L\)>bwc O'N1Sʯ0mjeUBmbc-Wu=֋ `tJo=p¿ ]jumM XᆖE?O|m .ocjjOqGRw toHS`Xn rB-E*X` /bSDR MG'xSY3eGW5C_3 @q?]46 Cl.gl,f8lOUr8+K;͋(}2sqĚua::EjJp!MVf ) B=F4[A0MՑA]9GJ;w%ݩ[0Cz5ԯk0γ%^9eUoYwSi_.'JNz~KrZR){){1V[yS/\!OU }X&xrڵ nD+&Ye/Nז!ym*^ЂS;+':(9gJ^Dr"m7Ǫ;֖nB1[\VV<29䔋W?|&eubKT]o}BvQ6tҰs+AJ'̰S\ksk>5RMsJ^d$ DAXfRPw$j1AZ EGy$:&*ϚQ ˆ!y<|#+BpCLJ < ߓOvV\[htu5m U"fKYSti(ݵ]M;?EAܤc}a#/h+qjěf()>0f'Reb`a[ r~NR 5 ZrAԔr^A3gz&1X51J*ʿoc F^h( g6 +VIZʬ3aNJWZ yӐ?GgI̓+렊emɈ"WFYW*)3c*eQHl|!Cf/Y4(cQck\rFFcQK&o!"#I?vgtjN᫊Ư합0-je9:7t*d4 r^^}[iW{&HZ7_~t3qq]Dr9hJ&]*BACٝ.;7!q]iS~ &k9wD8X[.KM/i@:֫*Bo.+9O$y  ud`mMk;/5׎Mɼ$^9wMrgMҵ[B+xլv o$5#7şoIvq>=6-x+mn~Ly"b~K1pp'f>؍w2Of qnh# ь7pU90OH<>S ʼ,悬X ]b c[لlћQ+~H~c(=l1~{ e8D%+C4y&o1C`!2fH FRmJ,{Jc_ g˯IK ZzVmV97 &P 883*ƕV ߮.U!'Յ P ~l ZnxP71im RnMt9Gn@b!vvT"st?Pgz_ɿc cO"&l U!j{YҴJ{w!ԠPR=WH穭R×}+bTpґ[6φSGa&a>aekOMv02VΩ"0nO 6b?K`DF84?%ʂH_3d"zkP+NJ|)5QHaWw*[TjykкBTtP}N`Ti+}L 0.IDxANI̘(A5XI0 LsLGx %=I)c\߶oV,9ܕ:>1~ xCrI UCdƓ|3OYBڼq KgWDŽ|G¦\ޢ3a㑬 W_΁.WXϡlc@G}>Im GI_Exʔk݋wYtKm?(yd3շmc`4=OvVaWmIw{ws^!e 3]d {=/aANG^ j'vy=O & !|pv#UW˞mU 5cru&ʍSI|*y0aW{DQn" Q-!}x=\> O3)5.v*pI~\D#6n˄7JEUjQ1lq]P~*~Mx3t H;"DoHG;CrMF5~i]iyOk$La0#aZ Nc0h?Uu# uUazZ@CJ9yTk#JB=%7suk"v]YchG=8ٛ?5`hpU jG b'uqrYU1LJFf̴{VGOTr ߲[?f;"GI H=ܡ|$"`[kl =25Lpɢ$%!,x"8-D:а49:M5V/wu~C!ji ^װay[F5E*AAݳX, zk ;Dd,MgSo[H}jѩ͖0]]*TR7#BrkN &{'R,ͮl] *{~/l)\?)PNzw!4!cn LX?8K~#C`FkՇĒ TCZikPmfN'r9@78 (/ Un_gh SvnU<={BI{-jwo$bYGF0l>4No}gJق$\7FcE(U_串5ٯHJʰVKm,{`Q7+_}N~JSU34K ThâM8X Tydr], ny[@7qmL.(O'0 < 1C,CLa_c+Yk&FuâA._; ) :/+CH_ٖqK. U/}+W`W/UyX *]Ph ]>ʽ?ղr5ŦZD>4DjٙT_]|q| K$.r,&K3= |+jCs,ܮE ;*lYQ*!g(ghB= EěAOsOJdUxkaHW^Qjb ?͎6bIM(]1Nn6i/-*pNEҳeQE7g>6o%T l6Rdyz,vn%y87|Rt}+mx}vKM:g_QQH0CGS5z1\OapsЫ@ #^nk6i=Giمf7[Ocsm6_xp-@Hp~ϱ4$cm2"[Y#nl-44Iy95!z#>KXWA|[#r X5ӳg`:Fhq%ߒ@jnN@P%d2kh% { e'!3@E<2QghK[Tz=4x's3-ju\![蠸C uZG{KXf=OY}64)i l& WcLøI<GWNl>uΜ=q#7okv$!3(>یp@B%nVz\u/N$-?9K?t2 !HMaW 0w2'h}&#;cIꚬ-7Ԁ=Gjqķ/yr$d/k(ǣc&edX݄֭;磡p!3q9¦)\ >Bjx2=~&O%.#ڏv)|_-D0r%o>o.3Ǘ6ωO;˩652ڑg'vb$O %Oe%gk`+BOb{ۍptm>J~l5%MKh5'_yM#H?O,!73`^Cm+T:gD;w=`ƺ==}Byߑ;vbr) WE6Z0fAKj/;bxNtw,93Cmc5e^S-B4٠$m&0-sISo㯾N(`z!ߑVlZAKTN8 \G>1ɛ23sC]ҖO$}W4#| z7Yo~6whA5/c[f+[qFpfaAhσ0t&M9 /뉮HT#+t +--P!Vogh)>%oj%hRG\ҧ`~EaXcK&mkץw׼`6 K+9/},,::=܁mw#qz ShϛqV^Mf$XE8 !EB"Ka n{[,(n9P֤~RAU׶Tnh7۶.ŽwWӉyjztEկV"}cZ{%-xO=5N3g@q!zFD`q ržciv_>F̪`x;Q 3P[^|˱I쏔7w䰤3m?:uL-T&0Ħ#!߁w[v52 6K /V6CY9,g g&f}ÿEAL@a/Iv-0؍ *itSv96u̢w> ^V6:W}a$ y\mir4zSTZ h$S%3Afi|l?vځ8&[H6}aVGrzpxȾhήQsPAd} dVvܒ<`dva_pӖa7r >2Ky2Zӄf+81d+Sj/kǶ {nL/y qb3YYJXdٌG|de! `Z ȳ5++f*!.7S n2;LZãm`\`y52 8~mv 6c N@NuEL)U=f[S &u=k&ZնJAlh2>QVck5<&-0TCKMXb(qcZ.ͻJ7x(|cEGX^;2嘒WZbNǜ FQ $pd9h㛜.$ݎ=h71&rB`]?k}A *qR7fy%DTN:ߤ嘠T `9."4iAP' cO&o+n5}]MQEI@_e)(wwt -XɾB ]\ǖE J7ݹj\w/5OiDoF )ZڲY)\o ;kpO # [!HC.Oݴi4SuvA0&aغi =&b4%A61wj-qFk!@q4r|Y/`+8E~JwOOJZ=Wti/-N-[ )+!s T9h$$`2]p&j_BarM2nm_w'H%sܝSCxtU&Ylyå38c'1Y; V5sv"gTaVRaY:[Mn7V ESܚ2dj 7+3Yak1H'W`!\IJ }TyGݠ{$}vڕg0X)eyq톩S[I/J[Fh b)hpJU![K#$c tZIJ9¦88.O˕k2f0p?ao ~Z@3 yj+jVuʑBD냶B ;B@3qli@~D*Hume 썜@bȹܕT\^wY|qsP|v)S@vaZX}ڕ]:őqTto,lj}P%.'/Cw3.JKbFgۘJd]{ʉ<νC>^"Tj#hu'L %{U.9!#hO0U1Q7%E"R *l0 *YNړ[%E2RnQ]X1|OLpa 8pCx|dD?im*Mh@>S?\Ep8 4MqˈL"ˊw yMĈS<[ `l?@?X0JՆ$K uX@|Sm##~*=H3γ;4ksUMQ1sG3}RFU ep]גI T~$ FC6\-<l Z'|DM-WmB5 ZtJ^7@f7YZRB{fyIY.$u`%O[c%zcdoB 4)Go䬊VqqPHgSa)~><Ga›L2GovI4,_ۜ $eίaNHcۇZ*KLfn*OOeI+G)H-љ"07~8pnF8OV~~́='5VʱM`V.DΘg6@&pSXm%SzLo٧=l!/l`aS_:'"D 3eUimT nHxp3+8|l)}JkH8ka2N؍i 7{h(2g$^0\~F0 ' }S @{M~s>7ogmr 0y < @H\kg^ h΢'>"h$݋iemb)8#Ȓe+>_ǓHpMkd(T sE2{-1`צT"rh&6p}߉_3qH,g#$wG['X@RJGx]YmDR >P{6IƬ?x^!ސ#H=P-if^6BM iwgfQi.ٰlM5ej7v$ҽ~c ϲ]BcYDCF \4,󔝶;鸦CSv'TA`$Ѩ/cֳqwP[QI-[727{A0?zi1\vdIn%aCu4pAX]9(v#0e?A̧}>,$j_`{Wjajr-s(Ehe$CcS\Ø CD7GCϽsj˵Nf}R-6'O|ُ܌p_N "Wy >4  -MFGV B){Kxno i=X0Q.&cÑ];sFTTYAo좸gb1.2vM,)y)vH͏? VQGZk+\~=KٹoUn/7>@'y.mXr MI|'DPWipR4-_:j\S1iWt 6)ܬJs]@\sg^@}jaQמ@֮97V{.eءˋ,]"uш!SB;wi)<"JSxޑL)(V<ؿ6@sL >F9=Kp񂛁Uy9=>@pdZRqS/܆*t[2|ոX:;UM)7f۵zSވԃ}wfH)44`b}hVWrtJ/l!尃D giUјBrGX+m{^oA[z_ )슋 +Գ 4QnJ`NeOK `[Ca^jU@51̘a*8]_YîlEq1D@_H.D6R go.MG]피5vh1sU( e$ՊiC@%Q/T`'v%udW~*Zoja=o^_nkRerq0kƨa nnZ _@ܮlTS5zQ:oDzOIaehG ŏPKɰDy-u%_nWk3\0jg=akיO'pg%F"2+f(2hZ>1~XU 6&ءg Ň>x ec4#p| bh1%T ,F`a!,\hTD8qF5?xHgt&i0NhtS2#FqkDVXskI.3t $U2H>n_;Qn./((. 9 ]P#gibX {;Hy|ZN4IK-dm>}ۛvWdC+K ^Gu"9=- w \|~씪IvP+˨Ŵ8 fHU(r˔"&GҴ9JT4:ྫ!*/uZF;ݺxl"dd5  M6:) 0|b|lbX3z~ KiEav3$aڹT/ $+mf\V6]NDNx."Gz]3 1b> EW9G?WO{ƻt31[]a)4"[5-ƻ!LB,j ;\bmle@~5{SDj”RyRsn¬v"@fFFI};I%^~ .\ 2 0Kn]ls뜜*Ug8JsA3! {[1.= `J԰.`0_x.V4xiIX){!U5BO"t8 lK:@SKb:֏P5®%[mLx8|c䇌r]}|c ?4㞓#l5+i)k"\'^[P {|c˝FU#R6_TRL@ɨp^U@$xsLw_E*g{I(Ev;Nt`qnk/"d X Ncwq@ ` ZO `5X悍9l,AK ؏tR/iwc }7F̉<## :ȳO @8>4;H8\U[`+)Z҆mH -2yHT~&=LQ!#RtL~ytBɏҬLCSwr#p#ً>֛ jHτŷ|V-84Hn5]XW[E3#h&|3|yeOڻ]1sV tz)EbK'Ut'9wE#0сe9w I[Y=R')(;U_O:qiZ3EG;Y2y2g׋Xݠ8_b]rk%K|:nc-4]8=^c|^g'Zc'ޚh&7K60+q3QޛY>\$~#s]q&ET4VN+4!X_kF:r`GmpS򢘑ڏX.TOO@&߯OX;Me,488RVBƟlT0BMbL!}zܐEoc'gE'mIIW_&-n9_;s^t VIP6 0 Rx\Ir;B_B9 ^ة6[j8fKRTrB`2=t̘-Pܟ]^;!Hf#u] ,[9! }H<0_cSz Kt0cr >kiY M{mP= U/ ~fo8PQ@wonC႗caaI6K4h!BުI$Q4eG& = G"Q[qܛ%O*eSWuBW' ,ӭٳN>=< qfiV1Ro[&nw 1U\۱6|?)>@WK> To~L)=J-OnZ$N( ]%'8|^H֥=(#("%Ӌ[ĠD:&!b+'ēKƅAVH:4Gݍ|ٷlwlD!L^uhQ>T D \avp Q8u M;xR[ԥ (8;*Ea8^ތٶd H߹d14r%]s*v?QrznY}HiʨBL?H~^#BHkNz‰qVUv#XF,soۣ4y,J>l/)B( sԹ`!Ez D^^iXh(HC"KK5`Eq梨 U5VΠȱ5:;&ߵ /宔55ɺDg2D}gʓ(Wt_r]#D6މ JFTw7r⋹4#U Ou[{Tg+|E!\t% ۣ=ȶCrE> JSO BG!{@c H } ~C+쟤+NROȝ !ޮifF[ix.=lVj֋ E828*q~+chSvAEycT T5L' [Ԙoqzq6~<|18ٻTfI#]ʊ51Tl}h f|1]*F8gCQӕVc;G{b#umqRһʨmaPZӖ ‚-ȲpU\En܀|{AMR@AakqL*\ԏ0MPJ'2j]+#u~wh2~1*R!ip+9v2&uv0d Ռq+(?މlcfx7Tj >*r @qǃg&ܟAgJ8ndhm$ZlJ1CT[Oq[[}۵I"|ݺ_ʕ15/<@6>ʘeSRe3 41#ו%ы5s@wpͻ,.N.P)/RwX#-س([_c@0YOՐ)b 8+Q\q(t2gSw^I"JiM_ =Zbz17J# i>F % kz,! tiZnF"Z5+/T]!c '.zgG~"7Ƽ:\N^ޫ 1tf?hܶ.J]o'3w5upԯX@ŧO^Ss>meP(8;'2crGB6]&bYeiY1 ρ5pbIip6|*KO~Aw G7ipu>":*U@=YHfj4L&>Y9pڸ&T?nDh%awYLSJz?wbL|Bm4VO5G>C0վ(PXԜPAΐ%`SWR"X* B]\\j՗^A|}?G'-~ix>gu W%e4Nܾ#Zβ<uc.h^!VD7m i]A#hNV*aTg3?t뻳6h4tR, 䫁>׶t4Glw0\_1@EHi%֎])p74PA{Or 9Ծ|7)CӜ%F*=8+6:BR'9= 2 E5@N8tޙ>/~䛁 CQ3z+TӽuHWCɣ1e'):DFE$x?}fW@EQ0}Ɗ2$  :pJx8B>:/A/.98^Z3%@*Α^injdj}3gHS}/'cvF3lBFbAbJDK!s|iiMgB*t b]u7gBIa ;.N{42:މ\u4E:ʈwa'Mc-Pįkf+;H7rvBܘ^_]yU1Sq˺^ʧ l}Շ `zebkaOoPE"pl#k^y(!5jD3acȪ4c*J MA?̺nhG2n 'AJUn=pwX6H˄irLt+,'$/V 1ܣA{ANȠJ^Ϙ$ g }-gC[XXMӼzG.&}:*h N@FSz{G|3/R4TOmf _enG Z5`myInG9~UM]lBm"2aoTMBhqdf%G?U{2Pq'QEũ@f;8EL+]v-gV3Ph|&J"m)"6X,mp{fjda/Af,ށɨRi[N^|Hʠ$@U$˙?A;/uLgOp9GDe,pw@⃤*<;= Ak_b5_=bw;5\\`e=O6UmqA! x 2:;< нֻ9z5CTO>LRnA}!A !] 2pY&X%j"_xvEU(- 6 ʨRiDя;:~ZyG0{a/A^TL4s|w҃a6m- Cө|1?} w]=RFR;^iKhZto}sڋ[β6BTk)bpt9e;:/UgZkw;ZjI-^N=$AS}ɍҸ~TZ•g)iCz/MD]-QSFbSwGl.f[[ۺ[el6295m{F"7y!፽ 6y4i4a~AhZ5Ԁ#\n`XІUpCVl}v\_sľ@. 8<@p-N3*xc]|LZ#bYΔ>\ymEț": zj$u /2wD#;trB u@O۠KR1~qV|׌{X|Z-Td)怍Qdo۔ajEwJ LaIEs=e@%-XZh'JxH&5/X4oݏ2x'4yC@,l֋@$\9|-7Rw"sL\c!uFX2^ˎ`K!&r,u)yHz%R>@نc\3\L׃/~ GG}}dv8&MnJ7Ok4*xJgYZ  f R! /A# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e=mO\2 l$7}̃ sn| `v~}Ы{a3kNzuw6iMè&H3c=eocPB znezjK~LhE/;NxHe.k{Փ ^$'Rqy#[ZVh:'ˬFO5Jmt

׸~ܫJ'rCLCIZ7@˭t]E,#?"3o%5o·nVz2 ,J2;vEd }V<yDHSS|A n)hmCsA..6v ATab2R?]VTϘYG ]`6x}gYZ'de=M,+!mb^טm>[n@=]_'1]ggꌹ7 )][9VG1$JeFx NRPHnDƿo:$Nb1rBXBfNUV+l&{9qШ;;$ŧE^7vPL3CהCX|*}|Ȃ23Cu0 #6O#vfAtve"|iNܦQr<5Mʍ&뻌:ZE#7i &׎h]- #馏>[ƜCY+[ }Px xML7mao Aq.}4&k>ݣ<סu#Z-g1E';H hQ L`ƒB7p (> Գ劇ͦd#b7!J`y~pp9bf ՅY/^b㔿k=7$P^c_(p(ӨEnv0V(6 dVL *~27G{w*"8(Aҙjn 24ӷW[3@I9MGrhɹYqQ=q/rضDDxNR̥pw+FlD]|NgLsG]kXB?qi,ef/A-4R40זS&#4&IR#ة_}S ̒zλUxl)U|˯.4l#P;ԻP@-ꑉ#$F_ 4w=7h~vt !GZ4kɆ9p- }0Ky dTTօB냰EIsJ= L "Uү'[\TH͊1*Jdϟ;h*4ܯgQ<zDu!*KKVXj]Xt}.\ƿ5.%MNŷ.myj6SlU5мըY *zwi+Ģ}w*sq%Gzh@y6I"o<1faȉv%$˴ocH?vIo9]" jp恎I^IPb ɶ#QO+a"(>.} 1>\M ޔ]O-Z7{}Q_MY ? kDg$&3~TC4E3i##6ȨFh>uelp?zN '1FoGLV²J2EBBZishCӥk2>̕z^Պǥw]Ⱥ,%OoMj[( bps͖7ب807cß҂[6)CE5i"RYD8|J!.*cd1,ETGsRG8sdbnhyA_#%w~ `\DbjSJ;9mۃk2&=a0yK9ʅ:9тz:&uzℭvc9U"B):> ae:s5}01 9, O n,Ф ' hyo4}A]{]\Uy i(Xw?ɣ<őMڜ2v =rr wROqvqKX{=;ZT[\p`?:RuJj7-G8I`0T~;=jEsZGc끔(1O-}!~0JHp({$]gL8ex2G䔱~.f)'Yۛ|H2H:  d;ƾ76늎 tn yQuO^DdH,'f2zѝ㍱WҼЎqDh[ 'EPu6K hKբ6Tg90Cd))4-E[ ;MNXsH9@ b&iHw!"B/|EU[ ᚳm0X8Ch=]'aMÓ+f)+wm+}L ӑ c,HQ.gxm*B S=L)(L>'Mf2~ p V_ a}߰n ̕-g@&61.P /tU'E'q>+ɁV.h{ jDU#>iu@R !˔SbL`Ir|;i5qbwTT#Lom4C}d1G>E)Bt& R-\ͫ;w>D8NrgL -ƏiH3Z[DbV;wgccʱl_se_SLM.I gvaӜWSC_)^1> I/Vgw@}?!ŸGp=Toufw`'C6y6/*,J(u'M)|FdHef"B2GCqPX%9|ClJ{\Q-x:tl1#zXݢh^gzB'-P+ \=={KNqԈ2VZ-5<0>sf5SW0nRh>GP\>^¸B鯈oِHM G 0Dtkk*Xc=QQ_QԌ}" pl^F΢mo>#/Sh^+ ؕf͛ '!H аc,0ZHELw;Cx)W 5N]'ء߻VA"xR/!;JjLLH)߸E-%ItdN -9cѶP;_ ,rцr˗9G/W偃:F?J"zY['*,C탲(^HQJ'Gmn&%i:L!ZP >#0'uBb'ư2;ͱ\QRv6Fkxqz4IƮ%h6 Y!EV,;2#Y/yJn ;P-\';-tȢ*S@1]m.=EU|>_dp$1k7m=,)f2S&V]1aؿ:cG)M|թA)I}&e?DȊDHֻLy1(<! A"Z 3:59ROC1H6~|%ؽLj,gMC.|Ǧ^AЙ_;"Sۡ[Φ-vd(ܹ錉zJZ C= AIf> FxZ{@q2MA|(2%Vt4_7 Q'l:k u%AyxZ>.>MQɪ $Ч:SJC mK\xxRYj֓ 2cu+x+߹}ƉH+Vax{ 7"y6I>򷡨y%Y( Hnj[Bh[)sJPRa#s84f2ZȮ(OyD{V l=}?!g]n,JTke8 ,'b5s 2rғces-@a:P\=p'@S@$$>kaJWậ,>ϭhp5lle镸QL-'fR$  Q=_ J/)eo7<Ň)!yނB/w:|ϱcJ 2Zd ŝ%P]Cփ4qMQJNYG}%=-Hs %?:_ 44%-9b]NY/!a][w2ب፣Z5zin_7[[1LfE" 6~UO/- .>,&:'\szN+,@lœSdN^Vc "8x2!`^nM`NZ9&&iѷ?hrIBξ\L}Ewt>^>񈯂L_NF-A;|г )J'2Sim9DPKGx]qvH3A_隸-ݒqRaf`ݫtQۖsa`(&geVJ't. sywY40`L~}8Q&ONJ2"|P H!{5?bRG!^t`Z5U!$Nh9$ձ38Sk3qUM҅73t۞C*iOZ FOiJ.:.I)M0z'rVg. -2v&؅_.^[܇K3G&ZCyZxOڮJL\O !Bm 8qԪ&*k/@|hք4i$=XtYf]n9di t,k xd[G"4~|O[kXZOS"Jy,{0E ABױDp+Z!x2Asd}7 Co+OXQ&u0J6cQP W;Ɖ,ll8C'?κ:<ӐEy!QO)oLG>fC3\^~l+7cJ*:~ʼ腡UwPR,:l󓔻ё#*M d;C2v "+@]N>dz۟8mUT/v)5  ||(xSjl buT$,{WR;(C/ZceWáW&<6%챥(v~ȨQ}D;ْSVٚ:e`X/wk܅ mIJ 9HLa;EժKDB"+;;Yk}&+IhWRl r))}w'E[3 [?Q:ˋ$h'G^{aN=,>PY\C%3w*t\U_R]ftd$fzU/=5 [u8H}m]. 8©K )i|ݒ}`9 y7`kVaߺ{{Deē4835-cѓ>pu}' x"wZsMOx0AAר|CT sD0P=R wg̈́᧝~ן[Wa>_4L%BI( bmӶ5LP=E3Vc3z>iqV[6}6D7ʭٝJv"8$u*WWn[MsapўZB}U >ؗSo?\I~-eZTA *Z}'Qlry 2oXFJ-Yp*e1ja]&_ŷ䎸%&ZMdpG8S7&Njbkۆ]=j,4UMa}iړHƖ8^9V lԅ̓LDjPe =I!tirkJ PkTG=Sv&7˂ .i5M q];J!_&M'ޚ֞ ]tuoA`Up7P/ZMS N~ʺ۠XАF6A &*e҃[{Fwz[]  }^L($VFf˃Ԍkrj @wq.Lirlw*BXI^ MAAL)7dm}Eq'|2rLDp KhtR,!|XDJdHz jF='w_ ^wSq.⅒3I_%t.Kz&bX}kYP҄7JIQ VI8IzNxsd_#|#ln%x]XB5fGO\)o)O?@xqer8ŵ /=".NH^\#/@mLX®)CoetR]_'r9_J+c*mÏ]e]l)5 N3,᭽e#~ TV}% g(t -AJ"W9RMIPUUq-RMC*[kgz4*sM(PWKEv BK{`9Lqfӈ9q:=UWA0v#Ern@E%7x1ϨMɳn+.TOe9{xj?嫥si6/+  %:\"og[6²#) a@ަ8]NJ 3C7R\eG Ljl˕JG_?G }B+g8F7f}*qϣKظSlAl:׹6| uPe"޷+F^e4fA5嚸6b,)b'Cz" .HV@"YKzd 뙽$}Fq6/dR%[!yL)s`2Ǵ;x:9oRmݤ<.*Hg_A6VBFFK;7MwTYEpZBalш/@uȸILXE5zhý!h :,gI\#  L j䳐O)^cx}[B-P]1 _@^g& #zzɛGS߫&_(GDAhCE?/JY*:#P~Lvj߹(0.~E2&f PǓ&%ļ ^uG6`Ij,c`5[p6`9R$&=) ޖVz[0(*/O)ozQ > ޙLӖ *Nm2}1.Ȁl|@Jp}"SlY_dsU=p=.& 97V $7$nl!/ L&m* s<ݷ,J]IJIAf*(wjpS (4b7, zA>^a^PD3Gvow,̡j|,"ې4+ә7k9bst_ +O4rW"hNDΧO5׎Η6!? P\7N)vjLmmPihG2 YHZi`q?T$ɠ-z*vW{Mڶb +\|? bv,:V0>>b5-~1l.ۣwD/pR*+J+A^gVT35FO" f%w$$uZ&Za.RS vˆBÌYzam¸ozYL[3߹kHNC}\cnZ^oLv ٿgdQFМ7L3+Hn)?0 6f7;Hɻ/fVexL+<}z"b-! td/+V)(gIKé/wr,w;}0K摳N،=t9},2̕=HØ6)vB ʵ:~19@4_zN"gqbXZ'6ij3,=U]dLWZ;Ǿͮ6Tʢ ʠ3[QC%;*ˆ,ۇa"낑o6~J :E`ceVm d})(-WJ9sJ[qI |hOd{.6 kD&KMV ʞqq|>OA391:,,MM$P⌵!&aBH!W'Zw6x{PLg@~- j7@EgteC IնL>ؕ-H5YiIr pxO+8,S8mɓN'Thؽlʼnn]\95Լz;NX)_!Czrr;TӖU]I{u˽ 1[@뉬Du{)uKcY`/SUWl݋l+H Iu `F>IY쓚!ĺdtEĝQCK28'< 6::T5I?씯cN@iH It3v~yv)Z) c\d S)D 39Y?6[CJ&r:pAd <2ԔG9p1&aC/ O*:A4Y2 / vFc%@:}E4 Hh}%X͞8J΁c|l{*e^\[qGˤ4w#buTo]ot@kCk!}AQ=2W/R hH_[D6 ߦ< Y~Q*--o]`Th|yC$(4}Lŏ*N\6X'@ n! ŏؿQLxXӦjnCp-|QnR5JW*F^BE %ԀȂ^ m$8/&,Eݣ=Ioxu{/^Sd#HI*U@p5NX/c;v$z5! 0}/nդ6"\vHy5lS{{.d\r9)e_e`d{$m>ћ<D-N.I%-oz)q -*N&IfɻY߭ ΣuZm1R4{ v ׺YEl,[Yn/`z}>> BsL e? "CRH~J206c!RrXJGك @H㵚|Zy6؇rKPƵB"/N. K 3;Me_|23JmYhU6ECZ1⑗[lr[_p_1Ojbx Yar=#d90l%{ʈA_"Y^pppM3r6s]9Vj%U~ ZXˈDvRn |7"/돂F\ ?aW0RZ8`v}%XÞ}M{_EHo(pķ,{]W{ BpoBw/Zn&ȗ9/x@=)ۿ^Lw mT]2 &xoG MM¸9zdyAvI Xȴi H22MqY|-hSh/w(pOPƌ.@Sf)!0x^]u:W jyR4?(b#B(V^d ,cbA4mNٜ#J=zsͪ/\QpU8~yd-gNwD՚m(%-u#}c5YaP͎9ڊ˥H_Fi[L`~xtJy ,ȼ)?~/xF robz X!qƋé~',L:8?9 =OM8.Nj|䙅͆o@?ꝷ>KiVwd—R" ?>h& ۠ffپdm뜺nt0~^L!ⓕǡ&k0M 5 @_a(:KoF Mº-1Țf%vws=ȏpl{Wֱ\&A7/_^N753lTycn*5 F VG~XydLE {pD 5sv2[h^.Ur#(Ϲ(ZӚI9?P)vV"4ܭEPL!BͳNȿSS1kvᖮaYAUku:)>RGCqRYXд]=z)z(#v|Oռ^t*tE|C˚  ~ (8/{:e%vI?"X_OF?<+FT܃"ݥL1~QYI{F?ėWzZu460}(+Y[qF6&=:i䅗f||W!8M#w}ř! wN=RnRkth{p/f[$*Mu`NęF].Äq>xfC$qF&3Z"v:^Gmǥl~̄?TC{x^i=+iL䘸;<:k}>@Rrʨ%Eg@v IK_ONR)OD l䉶@o߱O6ػKP^5梘F?< )m1|R~# S4Mn7rJA"(F%5=u{vIy10 _рۓ593| `q(ɀ~n*8Tg\ lEhȼ<wАmh!+8cxfFsQ93 >i{L?Ndar3Zzs@8fu.sGhBUN$"+ڊ*dȼ\fE2 OY3S" ȜӇ^qq Hgࢡ=됉\xcHnnE4c @L5  D_lKBkIo I .*\'G^ִC;vEe86M`T a1ǫL:H7!8I 5m_upx O |_ M=BʭtW= "r-B2alҺ2;VfYcD^P#Qΰc̜ mhyʏGlw!o0e ˜],/6nІu< ۃ(O up,Zہlr$$Q)j1D~b7H7fU4MV$/ayKDm78, swϮ l- IεRb #Ecf荡j1,6<\AKo3R݄qԒP_ab7P>,Jv>?MH\8]+ת)NJ$vG+֐&]W{K7v}ǴDUȢN~9:љO浊tzQ@bڡt^ALܐp%"{=Bo/d 'I$?W@Uި;f ,\;h-,H7VH +BFB zp@Q@v˽aVdE끨Khpyħ dg]}O2ٞi e O^ن;E[P}ENowG Fv!92Ѥ΍-,$Rh/#UtlY6c&$S[~8 xTIS42"e&{Da XpN7 Ϻb ciktC䩋m :u?p=]rcWҎ`ʨ)cW>NW a|j6rSS _+F;L%\E&WP5Jn8@FYgj'e)@}JB(f{BSM9j~'++(eo?rx͖jΙCT禊l<8Xc\`("'^Tz5Mt㿑WUM$:Āa98ˡ/^Y#I`X޴CZRόH΂YOڼ>m#t٨*9VZTIYcpջJ /u:6%45NM\@ɐ)DTT3=!l@2SOHļfg X.{W,Öfz4*=m#+/"jӠ@ O\͂-|pc+0#ѯ >J@i&2 鉕᰽텙F/xr nC)f&ns۸! <K13i7A8j@]o.:Rlfw2ޢ B\ t-3|NQdNL'\#NuQH:FVu׃,^vG ̖.N\բF/ @ Dw&%UܲE;3Q78?q")mޙzo)"25g7?Ajh fS7-ą]~pyz/j1Ow72gr,6tKӵ+Kli(?qN#UfY<.G3/UKشL}Hߖ8xZRuV3HA:iJ\Tq;1X4t>W;7pzR&MԄ,Zj\;ђ\*%Ղc}u#RF0k%v0˪Ju`G<˝ԔU>Zw(j.\u+ pW?*""icXNqӟ_r-n6\OR5Ewiiq//?f@#ǢGKZR^c{^M =Ӧ3ͱCZʧt c'C!N p5 yf)<\[8 L'_we fݣ/Pj YNɌ)7l&!9t ҥ#Crߍo%=Ǟr !2t 2m~ UWJHy' Iǐ2N?] bp~?t~{0Зܐ-Xa3ӟYn_Xf,nͧYPYͶ1sս*.J}th ƶ׈qo8͜D>JXy 'Hbܟ*0r gO -@9 }$Jy!)Dad!(yH76I]$땍pk}xh`<1ғXF)Jbqٕ\RV*XF!L/#<;v NߖGX!PkMLS<0ͯeSW }9Hqja2M¥]gpGv ffzھ~d;Oz$C 't^OuqLrCBSO&D#ʼ9vl.UMS(.'*%t\YةjVKNr\OɭC!E5lѿ9ߔR3 ;\гLqZA ^)>6qK{U'>E#4Il\tWT#pDsVqPl$PfUо3`uf;VR퉔#R̺bff 0+4 W݆Ɓ2VQI?==+IU?0AKΓcO¸:b%mUUea#tw榴֠ʖk˽R}lAlƴ+Ӄm㵽'v:\q o5U{(c{dܮh xLhD;FJcF7w7:m4X|]X=>NA\<y3a3 Tvo]KIz\[3zѶBR be V=fE6p&_,\?J5ElÆ&'0% 6^\Ps{ Fܕr!u0,$K<1=0>D ?fx,qlX-dk,srjH5Hq`j!c둒ѿiDFqH].(яһz׋:9.39~G10v,u tiZ" wģQGdiK7"#y4N]뼑МK\4!#k s2G!׷*1 |ܞ tԍmhhOD~SJB(. Iz֍y*)⒢[{5W#d'҈S?0fAeLBL؄{L݇'5PaӖ?v ҡG4)7rT@iGH 1*Q[j>V},Mͦ9?V΢*>³Wl$N2~ 2a=n_H4!]52t@})|T8kU9иk[k^eDfeL MՐ(evg!Z(cT' ~cKV{el .ԧM)aBFocWi S)0t.mg$cd1{pz3WSh*`m6h8]k7)+ΗZ3g^˂sߥbT$!&*kvy:,GƗMDׅ3Sh)yNً ;'!} #D}WM,YH-?[yhYˇhgq?Ğ!zD@μ5,}cҤ?-q,n -9 "VU'7h9$*x>#J5x&@ԍ>Ys,.u{zpl.&QG5"xXVGuqZ[.zF(uA9wuĨ춽`uh NOP: GhisXAR+0d&Bag6ڼHv;ĉ@ Gٕ{ N"ZGۣet86['! GTD֑-!05 *tʼ^A5/reCoOKU勠T(FE,hl*9!"ˍ|;݄\ǽ!p_+9#w<|k2B D NF1đ3ZEߵ;auDu)IX[Jj*Dh7,xl5$L0&is=4 d%*d"?GS #!ō7gW1#724T>]^^BX"G= >H@u<`ÅZfha&Y0E[cbo[~#Iz3cp,7 %ͳU0;kPm,VFF$h~껇ոr8u _/y1*WMv<oHڪYue@f>LcXBÛ.<N5ŬyX{^ceJ3 HC߰X0P(( !SDUd܍[-O"|Z:PݻaPjʇxD'֬;-OMSM4]]_9BN ^t\Ook6;ܩ\{ @%=~[T 5\a$VM]e) m60B:bf;xQю"v cI$+hpID6 sreJӎEk5P|%6⋻9®4+8QW1-6 売d{IcVB/&k5En-ƶX޲?6[`Jd;؄򧌥&uV ʶuFYJYR *7aI1N_5/̀1 ("txFOm{_W\ޱz(Xїϯ[&o Y6[ 5詇p_|Rmǵ.3r(rxz V|^lq_L`Yܹ<ƙ  8%N.&d ay9[ f\y-쫰iZn\=5'xGmyy\ypb8S߉l@%H_*" ?Zu񿣮V'J'clfq;2u3EP}#}\T$TGCR5&*IKϋS9~#DbT^'obA@#O%!wa1k |Vl83c Ր ڝzEU[<ޓgX/C79hJzxb=TR`10H{Z]E9M'%ad؊nہ_jhy,:f!I.7Z*א {7r%32+¶El _O(fᷣ8 Y[mNA(Y!YGxJIoVR&;BZR~$aF~dAڈL[Md"Oq #n)k tK7{TVy c1f05F8BlLb(ȐIa5AGZ\D+QWEugdNog5/DVs=+ԳPipRt83nFDZ) _=XD.Vly:@+~oXW")hNIMɩw-=ϱ/yZCrCEȯBIE$AFIyT_[I򨇧'a$2@} $3a2T Jr[N>mI])'DSc(;XF** ('$T&DUC&Tf\Z?|}Dg΢J9x ]}HS#1l7|"J ôxhwb}ZQ#yE}dq41P>@*$BF 8DRD&Sq#N;pG}z`KaÆ[gJ/?!ۄ/*s l&D=YL˅ Fv ?dtX)w _s p e"_MNv3kQ5_}z][ qMŖz}(X0D,t 8?o؜ݠsVH/F>W'M@ X)t:x\kZVQP]@Twlo-¼uQ#K}*nd;ACɔVE4^~;=7B.5my7OxQEQ+T -.+aȃ/g¦wRBU抄Zq31iC8;z N JV~p®z&+JNO+?"m/ɥ@]yx[Ed(v'iQvt=d~n'^#,x;و# 2(2h @^P1-H /ԾǁV^Z~1/W}Rne!kW 1 _ű i!bXhdAZ}Gw`)zb@oNg*iTxe6٫3ڭKlsgYZ kqka%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML "/A' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1*sDL}c/WS<Ȅ'e:YƱ^>Ǎxo}rCxRlly.CN'shStzo&^kqNJ.jYǝ ,`aRU %4r?>YWeJ̩@o~VSL+k؝1Uq<qHhdTfמr9Of`SElg4{ƫj!Hw'=wֆ0Ck' |WUŹYO*U;I/1\ou()Go:WErp4SI~˃CEvgeRW<ӃoȄqϻCcInjnI,W ;"9Ldj%Xjc O a!}9-XVFȡmS5GYٗ0Fӱӕ{"q՞9bPB<<1v' R JwTĩN5?d&fRngJGtqд֤fH=dZ@ZڒY1ո{o:; d]d,IZgx>QcQfBi9+n!Z/>H$14>Ȭ)5ro2;**.Ǔ{l}UXmـhvP8ju:ڷ?\aay[eP rV\$QbT``]]ʽmk ]=Hw:ME\;cX 8ZY 8߾op:^s0p 갳ħ{ 72>UXBf[Z9+wz9 5oswy9܀6xɫdTi+$ŧhexb[IՃn{Šc.ԽJ (_}tqde.*pu-4P|&T5Vj3ٻ5^v/&2$0pz[{X2TZkE XIB-KbypDt{;˄ &$ӞfUD n7\Ց1Se Ub"nӋM5bl v@K!}bahWN֘K.A$Zb<;(ئ(H$Fު-<OfLܹ/R/w02ndg=ݺ@S>#bx-,K4ᤁ f-eVX2LK_Ӈ+lqqX:t 90|Ujo5nnku!D<5)jX bv]+C]ĩ%YΉLHЍ⦭PSe*_ydovJ(GnՉ5l'6熑ݴ$M8$X=g#6[)">%};j^?P @q$wo|m:G_5t$yc枕DP'j5#(4<ױA9u,oLuqߐw2z΂J*aJoΒ' זC &)C`DБ8rYXy\kxs*'Q,ϗg)u+WjPzj bsbޑWDj~D룬Fnvd9;+z?ץVKq;hn*H} d39;\:r iD0H4#˙X3*Pp6ָKdQghWRm\ ĭhrm$ُޤ'jC<=Q113)WۼUQ0ǝpϤM鴓ud{ϳм# }Ot(?TV: 6Я `i~u;=4}ણKA!b%!|!q)L^_V&QM7'JB<Xp&(f{9g 5/FY'e_5 B7A}GC Ղ_՟\pyŰ2cZ<ɒ"!Vι9=6sX95QO:QK0-fG 2OxwOaÅ?텻x)S "C=28%VCwDEQs-'HSYdK&lwG(kb\iilpcYr:o?PY q{ ⷷ(?7A2K*o@wۢC~y .\q #yk5uAaμw(Gc w@χBoۑ$GԴwƤXۯi mQ3r FQ'zrl7{c]w#ZZi Y(blс;LŷYԠ@ў/"͇t=LRЏ3H٘Jܧ4?5nwJQ okg Nal `2-[-[ͿxsV)qM |tv:nNJA!cx ́>0s1ٹ,0 +8B"-8Nr4-q#CR7В$iZzM~S"~ZC\xw ""bVo|{߳qŦ4 BT1iEG)w;㔠 2(O4@%\2]!,+$ChmХ)\~u[rQq,YK}#7!./%T6 㕷kzADĆ%d x l hv AKl,#4nI]l{)4T.}U a.n%*F}]o + D5T|g^7_#xOKS5̛Aqtk48 E>b\"ϜlXW|BSNcv{k$<־f;]a; G<'(ȎF̲; z-.痟|+{ẅ&d9ӞR-%D C%2g\wSWұ>}7. l~:޷R4>E.p{ϋ-3 Jrɽ):6f>6nb$4Q2u)e]8=i9^Jdp_A ڱhjO)n12\k";al(!jN7mE*#(\N2k;LQ1@I@yXH>a;b~gBN20n_* 箋BE(-&E$gYZ   CM],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208k*/C# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;j]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3I}XIjʰ:Pѕ!3s/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ЂOƕ }5\qc#orzMLy?I|N‹d”hypm=}2K_5,BYAy2R"#"OSgHn#fn, 3D٫&ԜD~Dn N~,SK\H4ZNow=ڨⲂsl0ћۋ ZI JhH &/;g+@kL"7|a_V[1)71~IixTP&_[}i@ˢRĊń򑃲[2/*GwCI*CƭІ>x ?TR`]p 4;pfL# 0$ k>Fz5ƳS9gYZZ&/A# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! Z]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c`AZ*UAo]s 5|(ͱӸǙyP dF/ z]\ E@],캟뛁tD(ÜЖxӔ @M_kH/Ǔ,9eB~lsĦSJsqZ*jdNc7q.u:%"YXUD]#xG!oߔ`!C.(5x\Tz6?ثM)GY2īņ}y+3?`rXlףK"3~k3>=Vj `Yzr_Ml>6v8f"يnI%aNtĽ_Y3X׳篵Owg_ T.ԛ[ $SVA#eKPlP {b|2)IN/+rԺx_8딧=8mx_H_Mw܂6tI\v#匧rMj$vX/"mZ  /T#A\sԤ:焬^<J٘AoPZ)(w:d*CZjCw.99T0jym[7'4X:Y ˆ$"pedLEeuJT-3T :NI6_ XzbpAf+7#{ng*[LAsK[?6< ӥG SDZ@0 H$vF!;vl;fM`va0-' c#O8WxKiU#mOZQ_]9"`uUG.N*xS9Ekx؛:sԠ*Ii eDZz̓4"QQtp[gʦRF҇ӲGJ\<}.yth$>/UC Vfm}<#S7.ɪ9zEz \=ӷ= @_@oTEĘ͘mUY:AU"& KX E uZ5^dN hte\g\L% X8|$}t0Gu?wbB 7P̓{1ll@NG5QKv4APӞsOSm@+D*5J1F_W&}T媨Ț,[&r" SA*+4["GTR,_/ЩZbH*xw,`2INXҎ̡y "C).@rx&8 uڵXc$UO>aigGznsM"ˡ"@#AcbDgE> -ju5 %ޝcz+m]3:I#Zn u,6< h'4sQvt4HvY7bunQl>~_4q{ϣ33NӪgnVA/dwe]s֍B!3_bL;9yG2 򭫽rﬣH)wAkL޵jzX+2 {]=bDEx4xp2Nxt첯تr"0yeʗBG_]3=ɏaJ gj5A-OS9?Riv5# 7jʟ3RT s s`#፩ZD虨LM.=|SҸ!PUɖq{N[N;8ChŪ2C<ga&S.Xe+1XV~-͊9vL#mMT>Gͩ{'.B*R]˻^z=B L_eO*kC' fIMMsD^iQRq$hqbYH *{"9zr$;.*{R=&YGO}~T5y-hnsA'K4=wG/NÖٸ!BVBh5RyP`Xb? vM`~s7YfKBe_As̨CoC'}~Bf aGPxjbg4VUl/K1[I?,܍)$v/WCjz)DNh jÅ"#rpnioaDL؇Z[0mixޭ}qJkF]伎RK:TևݹP0#Izsy|(GSJ1J`x $F0f' ]&ym1}+v<Zuآ=Esp`@k\Q?MPZ:EڵDY-:4v)ۀ?[7uxBF0J%èˎ{f-8:W[n\]rHM8X):JLufnaWU%wpJglqt>9F+1lH(W0qvOx"Yx7 FQXnu,u kyx>h̚0_ώv,!tJ\fI|e^dnC bG:d 7Kd/~Ӈ}\;A=OY2g#xZw's6[(W#Z-Ņ1Yy9$ C T ,[`* XRUzϝ_qԝ?E4Mv@YvtNdD(smZe Qu %XɵܺCêW~\|r 5\)@G&rXQ&qEN Uy5&r,؃lVxogy8>'ҡDu鱀W2q P3:T| 4m%uW(x#Hr(-S SM{հmbv ;F2?scggH/Yߢ궅/ JI_9DmN|Be `ZZ aR;9~&u%e@k_;E`.ش2y;(DB.> {AJ);"U$Wu4e3qsiDlU!P* \&7Vvsj zJ^?ҝh_@-Ą2A q;xM\ü 1ɷ-E붚XN\k 3 "xjw`oE9n!Xk TWfNx9X%]aPvlo?ZS}^$AO%f  }fSQ0>#I% ܠS l@F("pgij/B ~-8=ۀ>ڻ%H%oS%҈hG66;'`6 ?y0V,X0Y) 9ZWO.Q)o!\ A]~ܳK,v)gSNus V';O3pCD;xb Vs4 5%HT[0ӪނФO"ƕt? 8aJ~z6G ߋ}0qY҇t+f?#'*Vb l[HAt{ qS̠Ng3 )ď0\tMɦ@E/#Taa1Am̂g(&jwbZwީ@}mmaT= p Vzծ LML;޶9gbKzYWN-ojuX7/"IlqM67,|l{Y8; R+{cTv{gn}ޏ- %'#+˺ 9_IFSёyic*.(?s UTp&./i,T۝۽gr-zmh71LzJUaU6iFn؄(|XP G e{j*J|I:E}(}PKKV&cc>ϥMFDLS!S'?ȅhn{?3٪Cq`W`"(½}ǹ%c4Ny#afu^s999=ͶL1@FcQ0!-fg%iF$Ƥ/M1Q\2Qe/g pPd{c- ldH~F3\m7+u NΘݵ Eݯ; ޿ \[LEm 捿ee^qyB9 ̃(DE냕*z [ˊyLsd9KrRl\G I qR|hi"!1KNTh 4Ҥ>8Ut'_7v\Q|-kE}9m:2}kLKr0}rZ8qhSHql1Yd`^JװW=;[1$.L6S jO r+skeu\Z&F|DΨ.;Qy 3s4$ͼhZRR' ꫮgZĚET[H 1wdY|4| 1kKSy,Uj޵ZE`L4Z"EWl uK,\fzҭ0  $e憀1Uܾpbaeqւ) Ȼ ,a8K  ɇWvh~ lCpB6_ӰTǓ|:y}N%[lZHoq_:6 1n+4Fl@ [xYf?Ml6lNt0atr/{ 9B+~N2>NQc2HR*0Q>T׳ }iBHXHo"l._:tqm=Mw)hPP4G6ˁ`QOz㋗(*Vyw2.KH.,|9S>cuĢE43/{Ruj.V/V7`TAۖnI|5bH(|'ـ'LʦT!̃%)oïeZ3lM5Eq>2LϢD Ӗr8HЋbHXx";۵mK=z% w.B+t͹pҏXz{4ߘjl~S݃Ԉ_f2ޕ&7 "V,dy - Iרީ^~O{T (q ^5Ð#%/RD&5F ]'ԻWV9z뻂ҽ¤է )\} mYb&Twg|I+-[:vZoPc8Q1+ w䳜\Ii->W7[?tCS4F?d∦$6opCN[خCd(R='q)@Vy((5Uhl%C2MRceb6f2g\$[)@.sj-t A//]zg b.U#vowhϞY9ZL5%>dӦ#}+٣gYZ  T 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_id1982./=' tHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 4]·Iq n[:|&[z'^}>OEoq{|?<[.&e\'yrO+Nzņ5w 5-S٨YGi`%5\uOVbzVԁaPsjGSfLwLKB`XJ 3B:',(9_~cd ; @%hM| fUaT U)N?/=mB)wVI_8"c ry}p1U~=m JN$M>CDF/Zne)kPb/3Y3=]؋")P>+xSr9Y%Ě["d? D[Krp{ `CNpYW_W|b꺼J0,. 'z|jCoﱀ!w^JtW$r>FգS?]TSb_TO|)%B9K4X hXۗpc_-\[X lT}gYZl-/=# lHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! em]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A.d8؁nJnI!TY2\vK%fw[B>JeAA!D"EN2W> TiY,4_؁Cԋ%E+J)jTuPZ Qls$uBQjFTKrd`hɨ(~U/t7̭sgHXM z#r uܙԊR׵ | F.Bg_␳\U<^9c%$ @B30WsJ.KmnaCڥ7JlܦQC3/V4k 1M"%8MզRW'ps2UѪb*[R2(" E|H-Zg;"=-IH;IQN&H)[HC贱J݋N@";Rv?1m5ԭX[xwAWvo U m>e_BOK_77T2(lD|CL F"@3Il\^-ⰺ6รI8 "W Mw: bٺf>^8WW.ю67G۞'_ p #-\ x ΉF *>65;6ݏ9/\W)T>R5!|zڞxI'56E@͛Nc$db!}8ZܥeŠ{m9r7Z' \>LZV.a< q'kMԽ!4>f[/ wYW37U1a VkF]HCC]0Ȣٓ '"m4ǼsQfUWmc|^׻iglƋQgXauliힼb09= ک'c 茚{GwvaLhy%՟r;h GKDw+ ;Fj,fo[B8=5my4nvϫ&yQ! rȰh/uiji(@9R$}ۢ Ԯż߂l~#'+NBޯoS'ɜ\~WLr(*Ј>UrHD*?mV xh ̗! '[pgmR5?@Va*c%r:0mO=jбiMkgG'ȶrJ`ユbF]~jǯ RHn]HR},SҔ:Üoq||lqp掅NhpmX_5*vzSsH8e${:̅ɩ}\Gŕ*qtf&YN9ΣPmr'=r>&.wC w ^ ( րC7Tziy2S\mu ]ͷFRoZA)N'fmC0MbWc^[0mg+*+U6\4c.Jfh(p.53ņ㩧gA|f{" Z.B!6VH15l;o2LSϺuaPW>$)N/+DM:Ŕ鷳&cdh~׼UXxlF¿D{p.HQؾK8 f`qjpJ;g G`RZ{My^S "y(NXq PHKj݇Z6Z祭6v*`(1sfǑUyTWJd}en (qlmi"v$:rW-z#֧'ޙτ+|+qIus߆Arq]fL7)o/St UfJ , 6ʠUG~*rL TG2+jY1Ɵ䬌qvrkϝ/x,8R#a2w2L> ˚;%.66d}!GujNRwiVJOyK@[?r7#\2X %xO%ڨ):* jE@M;b K9hؤ2V2\i\ۇJt 5آErr}KחV(l!S@m/}R3JocɆU?zLT ݅SNmoSK~AtTfY$tEc 9K(˼39i>ʛPg/Z03v}.\=]+&!C Йoȥ`uU48tHG-T'%C֗.n }7խb?-b2+lMy`Svęvɯa),9Ί`"]o/bOvۢhObR#ioxά`riՂzoPM}&vPZQTɉy;@5:uzNlXnL.! RMi3#mɕ< Mshtԛx)'>B=+ǹ@ bkA1KV<O庝sm -Nn(ir6t 3P'k6LTnLx}j'oEΚTdVz!qq꧂{JPY=.lyN7OL4J AUq0AesE4`-%vGaйPf"եU='ߤx/Ț/6ӾvK 8T);guy6ɝ)9e'oH w&^ ,];sؒg^:9֞D]m4c:a=մ3EQ O5AXc䆷kd#]C]5ҔcAי 0$蹰8/a4i:3׸\5zݵ@IR>@e@yG^ҤZBUs!-Na!Isj_/O 7&,^!T8bkua}C8 N:0}v;:"vŸiDf^hO`o7M^]ZT˸m2Fh>A?+j=%Ω$4bp/:#]vkw7oGsSO((Ƨ1#a#MJ>CBڏ;ݢ}(l ,trEH{A1gݏJ%6Ꮚq$IXH?P/J<ΝqpZ ,yq`#GUwR1%y Jlf*v#$70.?*N%С KÅla?Ƅl0 ^P ae_"q,S}_]YEjT_d G(O|vYĶ8q+fp&Xܯi8")~eĂ)4u BvgmHʛhVzfKvjB mQy WM?mm,y ioi % =~UWX &{Oq=vU+oaT13Q a׆)25L2gKooYuvvrp#C`<$,Kզl{ii?g 4$ϑ'IRpLLNjnu Ƀ>!Ld? L3Di4 nbӒyD!d-u"sN)n6ߦ)!G=pr%Ʌ2DW&.ȜdD-Dh|X@м&Yltq06dRhZCl!M:T̠BlT 8opbbe68nTE}p;!>ΠqcTuH^[k@ =4 O_=N?9!̚|\iQ y-!#+"IrN *2HnRL0/8k]KAL!r0Bf@R%V \Q+ H(>ժNG8y'OR {+/,>y7`<=\%mHjNmV4{S*4nJ~hfEѫqǠ-b}3aw/N~2zV,}AZ+k y@^y\oxtDzdRF\"6ܬK)Sg.Kv{9u.Pm<ta&Qg&϶^+ QyRϾ%KVKnNa6d7;ݺ! W 3_"{T_W _)ϫc5)N;J1!c(i~0J&)SbUQTa@R՚ª5I~r`]8}rᜬCb4j>sDK@3JLS+FOTӝ `ՐC(B9ouoEur"C{BUɲRr(n&Ci?FGv|̅TryS0XYE2GC"6TPء4j37qa݉^SO4yMN;?oŭPeu}@~ڛa$u 'b \((Y~]Άxʆ5.f-9 rq8HȾ_dXu ئ] gq'di ̺DL:[{zY,AnMMNR4>؂M9m:|Ф"t8ܗiC4H`dXvD15o.\aH}i#9Cm#_fgwyۺVs1Bә]٧b4#WzیRz=]3 `f@ṇ*p4 xQ<@FdЂikE*s$wWW/%|_+%|44.M y9c,Ĉ :{(y/[;@M62OpZ'nd3ZNbj!G'KGF2vR_QzԨ쀰$2k"f1Y/ ϓm"\l"ؤFގW,QL3NJjwT &EʩL]hL7 N7#@?ct#pNOT6){ђ~\|  WY]0\^SZRۤ_&% - nǖ*rrӠ-ڇk  /VcQR#STDPNyWz:R_;,͹z~` :2.btđ59+3AfjPfe[5H`}6Di  BI L!-b "O/Ѓ3"Χm[lę>?w~-ñe@LBCgJg4%30Ajӌp%kB598X|GF`6*DUG YAI, hSN|BrLMA 줹ʵT&uðrP@HxxK/y F?%=*ѪRYFͪ SipXF>rۥJ;aD2Z}n\=^Bk>{~Żӏ̈o X6X?]`MS %C&S \WOrQC5$:/@.nͱ(V LPGK[ F @}h ~,u5rv/,Yd]ȡ $` k+d!)GWY~-|[.8 WEqͺCC-*o i٨į}ٚx_Ejl!a|)ț,fj]z4pi+7ڜ9-`Cd!r3[߯`p1nQ p"un'̕gnrqe;ђտAҌC% k`>~B Ģr GvW`ijeǓpB*|dS]d_-#԰,:&H ʟWռuJǧM3Tsdt{K*c>:wu.!maZ}[ !{3yb!Jv{KH7B Dg6.Wv| a8/?iu}G]n!aH}i)Nd۔ZC{in?/I[ zsaB'z,p-݆58ahڞLbZVxyŠ;$I&~ \4_)8Va;5UGWĔ2Y+}qı ڑأjfBI= ԛ3?;:tFm@&%Z^frنh/CA`fñc󽆟hN*{Ԋy-ԗE̔#7&$ݩf"HZֆ8V*[jI[+Oj]ȵ6ϗl^J-dːӼ,.*m8X> PiI A εXљ~țdTh d^C#ww[i14]>GGlDVΠY!ΡRpT.Ba¿<*?Ók76N"zx?pS zxLzUJYVг~,<i=f-&W2ga̯R0AboQ1~}> fmEB,،?i K1B5cA ?ven㬪Vkto-5(:+c7[>pO .th[·#hC {?|fWۄۇFӆf2vѼ?fܤ\Q=wp`bdG'i|Ŗ Sj|OQA !$9'&;|@ls19Ega^iaeH)}F$3~ljM6d8:A \7v,y VjRzvr= >CeiNMSfh.t 7<%d*\n]L\^cнzf-!< =oc^Cu4jFwL]V”u JR/)S{IhZ[d >dZ~Ow>{9Jdc@IٕsE߁Ps ݩ`D^PGN";Q,~;( rtD*{H0ߺNF1̈#@лytI UPKb pftv]**/#A?iUxA>\VN,J>/M?Ǝ̡]`I?rk6sZ-ԇm,L5}Yiꦅ٣ӈpT'ꈝGZ0,W/\RR&8qúw︩)[b9~+ 0h#Ȫ[a:ãcֳj Tp͈m7;uvskZCoeA۾ÚTc⸤/*4,iAR[ o>̿h"sQ+J {aZ"c}կȬP0= bS\ff𥳐tD喿,Sz~+uN?dM:*1nZ0ZAlAYqfR--ݩ0 t>KYs:#_1#B<;_+ ߺt)~66KU3±@fgb.@S|>ѾxdbzmQ`OtHc3|^`P▴T?w;.cNIUTIѕB[pG,~^gd9Tb9t_xL+ʣ~QgV_alkOxHΛO >t*Ik_:ﷅ&Qa2Ddߘ&st}e}1'Kð a8ɸ(-B 6WMVÎoL1߄&~' E\sFВm.D>i[Dh2K4qڔkz4$W>l˧>CtH\wЎ嬈MVIL^!)&R($/`kaVTCdJM }$|zdD. 74LId\jO?HOkh,vxeb>HgX`ô?`QeXa19pG=FIkf'8%a%Y7ϚLa;m&-ٺ͏ԃ+-n4ض|eu K* ypOJ{:n[= ޻V1DǫP"iuj K"kZ0KZVrEyJI|IM.@[y~B1E-xouZc[pgxo'!B@z#mc1muBkiºVհOOmU[ڱM*+Lj2"{N9Ng lLubЊqXgzFwD" Z9K/Y<ש:4 XuzPA!SI̟,o[9~}#TJg!OPgoi@I*F2VM:9S0b b\ڨZڅ5(, L^'?ش_<a>n&fenln6_Tɷm#TaEh;WZ=ة qdI&KeR0JM +^,\r&RGޯ0ܑjiW>&!d`YUJ4ؽ Q ln"T%G%I6ɖ ;SܖSyդI*@PO$tFsqxLɏ';4]+6grsBVl{EBsH_$LK b!XNb.Kvn\-CZLAKnnV%S7Tj`ɏeVZcQ*Ud2&F2P#<-mFQ{lH; -tȹ93j} ]" %16h9<%$7oa [.@I4nn&"|bd#)XLt9^RWgl2e"{;㒄i0Vk,s#FhN( JN) YX\ 0Cw-G/ye KPʬ:g$٘8SY00C !LXk,r5/lSj֝rZgk)4A/mQ绸imvgL= AފC+G@ūb4MEc,t9JŲ8/r-Jtt`SѝLs.vB+<4~AbrYڮgrƆ*.l|s6Ow`>"-*8o8w9D`^M=&.ϮfAmቮ*^FH/Z7{?toN'7kK* n k Lto_^Vp$`\=-̰ =CwP-~f[* qn[Ec盧ulrฏv@3!DBidޘ# woZ\~IѨZ)a&h@9C,oh9b9pCjMeU 0#mlǀq#)պ'qPCκs 4cߏ: MdtsGU].@'\p+wcC xw(x )'O`',:tXt?,e˵L B-P+PcMdyty >Үd2Yly&){7|TQ1 q*DLX/"^q7Kw8q՜XS/|c ك2&7oktL7szze|"C oS~NtӬ|ca|Am;v-LCp2dJ9]yzܧI"dM:6^* !^lJ#N;$j#*o!"dоtFgPsn׮ғख3'-R]G&JbRMȀc[_ԸmUq%hk2@ s\Q <{V1[օјR(Q"*@}z3f @d)@i~iA0"]*a=QD̘-YO;ȷϯlիj*YgͰV) KQF2D{[-ɕҍ)ŢpU(WҾt:ulP4Opg0p@t+YdRBIІc|%=z|;ټ[h1f2󙶄Eu%l3+_UFFgM[kC"ߔ cpE2[nC1<2!d ܅!wޖ2,m *L䳼(8u$5h{1v Ͱm/=]첢\!'E}md(5ӥO#M?&4A02#!>˫ +2iHS-\+@#NB=l"p+{ף]TMB$a|[ჳLtaRQSlNGVjdŏ@yd >Ex.2|ھm!e^u+t%㣖Cu=8j7T ^?]{aB;Ig>y{01Gt_87c *Ea*aShH#jkheʪ"^UjPAeews*ycr$6uJmtpw %k Hei*LBZx4 hE':s%+鄶6;}yܳt|axC1/2'%'{rWI0)9`0oOu/XgYZ ;.9 /7# tHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA2]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`yTTzsܰX@ mIK¶(v\iMk=bKvFMDpnwaV rQ&La*qi*ȔOи\gR/.v^գ@ G>QB Y,uoшg};h$ñLw=L4 +}jO!IojcԪPbal%i.z2s(^1"9m1cϢ}{[Mv is Y`(l̪ k[RLα"oځa4e#)U@~d/_9A>;/E|aQ?f |B_ڀHMC7NSRF(+N{|'02 WwXϸ܇5 TSK+Qp#D+eXgΓ<#k$lJK<>1t9*m͒,EJzKIoG <}+];Z#:(1o՘h#p|E4ɮpZ6@v >-~(4 =9Ud .`GR{YKFŰEi^`~ yK#h36v-mZ?zu:of,ݺ-ڧǙq(`[&n_J;T4GG|iɈʓAX*3d7WN9yxgb*{DJiz1c@w\Yol9|/}@c27Xa޳J0]w)[ry%vڀ~Lt γl e_X,|(4v/GGm^11} ^JtP B-)ut"=ۃ<$W  $͋엣]Oq#>|)t՟ŴZ8{̵Z0ι6Eb 8.U.TIxM%J1~"Rՠ1D'D;7:UܝU-ˈQD[b˰K3rd $iE: ݩB'i@E>|)ǹ zN;ˆ?r" q/Wjmv/tu"B$!"6RYUSXM^]ɡТy%vW*<Ѣ=8㐚?p73uBQ@51{0qe&$wJne* h'иtɲ'1&RR8 ;3|x u4ATOOa5H9LFAJKQ^8{[a|1ݦYF4^7ӎ+ve X  0h)o G/4sO t e\_{hɡ^#q2Ma-{527f#w$uƃNLE<^(Nqq<ĶCr 6V745ferT,tnp~87_X]Hk r@м/)&=N5,Fq6i?԰ 59p}Ql(Xk0mS9<Mxi=uy1j[?WfyB<Hq^ >)WzX0ޤ˪.TzJAIUMD _Z2)W_XnUAS@=$=V}I` 9_%A] PCD䕟9LЂė8rYZ]5~t0uFMtPr`40xƘ0VCQk^>#RZڽ^#:M5#5ބ,OqtmZPqwPzy#T)`I™[W-i+ۤ5|A2Q'c9&T;> #6#0yDrSʞc iL0Y{Qarŭ="cϠQȗ"+行n#M K& a=1n,,ٗ? $NBN|Z鰏@ i`M/Y<Sh=͜Wv"g݇|JNsN-[0N_| 뮈d3eDdy0M?M' 8bF7"Qw8ga;,Mg`e Ha (l 549JW\pkq/;+<;ZcƧb[MmLjo`C̅|0V DB꿙OϽp‡g|5"Ѵ U_֐{k3b\)[q{0՝!?qU 4˻9P6#}҇ @:5 Jb4"?QC *HE+P/ &vnG@-]{ 4\a녞B&: 6׋})/ZH2 +0߉ kcU⃟='${8N#{J ﰵ^ߍ kl+roT)"(1_Rv g]h np+,Y"Zߊ4ℹNR)>q7 $ 8r!Y@"PW$:pg QfXԽoB8 yP.'-esٍ;P1>!/4?@uߖ9U@{xh1, ZE9TahՀ;|ʀZmӒg[^y#w[/.،H7@:߮Ͽ|"+b˟)/JZ dL8D:&SX'DP$WA Ax>_hyr'(hVa2bpLT n bfE_D{UHPÎlM.Fڱ5}Y8Ћ *>ߊgrhSħMY[G~Mj3ȷr֨ѧIďgΧp]$- +U!@Y* _ (t?^ {Ւ>,.:p%b=b&xe儷i`^c]pJ+[ULbuf[R?nY UiG,(m[ ɞ{@W2,iRkb OA¼]Hg)Ds ٘0\t${">}aY/bG]`y=,ue!Kz?!Lb\Wگ48 pXl&YYK~[ϥ9)>Iy Y Wʐa,1Q"8uNgVڊDLnbAL: 'ED\GY"`lP;J|8T` d qn]'T C!r|%}՞Ym(8qk27e8g'01܌JbCǓ}rT6@v^pQ-z* E0YrFq/`:l8O:;r E3^OTZ2Hh-0&jƵuX h–geX_&^R(FA5o73M6Cw-I.gQ-F6*qf!Cm$1+r*2epU) 0`L{UB Wqof=H4(14gG K@mL!4]&$e=wL kP/68oRK$q Xy1}Qo-J`&v/$-FEZ _98-27\Б[:߼֎mj:>hIT,r%MU5AW<8ec4z$tkcsᎽqk4\4I6Conm^4W yE.Jhhn|i´ii^>rjMI:`xQmrj24:C-)\Oʌm8.UZVڇ$BDuf{$TZN.TtˣDDFTA)\pYެVJ:*sJN[֕M̥/Fodp|U RlA#l #L5vljR0<8߭٥ ?[Ĵ'h1k7"&ZڕSX7cIIyMZ$"js5:t{|y|ϻp~V}G䯈rʟGdtj'=0q~LE>7@\T9 ؈ ẐJ͟T(4힀؛u"Xp_yB%\c et'6f7v~K!>~͇/i3π*"6a9[,"evݫWRV"s{͵Z|icmVE2d鷲ZdoADS%5COE|9R5 nםC|!>4㧿A4N39ZzYzP.L=G \dy:{σ<6'Z0_yq Hp|:D}z?hˢt&dة3AbO*yu%y( 3OX{V&jȇ}1JU?Tx(+Y˙#1,+PHR/‚c-{CJq3zl~#gc0I4Z+ x 6BS\3Q,r|4"9~Dޮ_F,,{iN3AТՑ6|w l68$U{#`4 jϮXe \yNr)8,3oE襩76HqB#hi5 Sޞ!gKr[xq!{,%Q.L;=5:qm7k2I*aj+~zW¥Uds&ȨЎ3 ՊT+w+a[?J}iXNv﬎hXJY*`&ŬLMɥgUXhJW)Ь8g0 z|0N!H(L !:ŽN^ K`XR7)V+V;0yRMJ9ө]e>#ON(uxWo}!ق؅hdY ̗f蹔D~k8SiS+d7'yFk .{L 5v+w3%޸^fTYT79ȉIn &dFOydA{.W5Rw(FPz8%e=B, -яܔW d]68@m*H:,n<io@p%w:5j~8mދr5^SBcm]/k}1<~Y%KzzY gkFP5 1h 8kضH 5y!Z9#ʆ<4pv`s(Q$P*\޸ZEjYM6#HH_à0; `WbpXK"рqVi j٬0\16-Zd'64./A_)@|^>(~(`VD2/ nzєD{vseF<ОKZLO̲U쾫+Yo3N`]'źp%wZ0=V{FH+t'[]ÂYœ9my8Mx_My6b=/%jyC jRu4"lq5})Qq}Y]'&p#\lƺRc%a蘭4#&aA4wQ,*ZH`4]=4en1QI[`@h#5Vg&+.z#hwky0Aoo϶E{ EC2` CZѽ-ĩF/jL),췠pmr;y !r?uhOVt`:}xPol[~OK:qV`etb䁕+oc<935,aHO 0ԕ(!cGвKK'Y:/RCW׎<#(OvUU:z:%e61  `gh8~ֻA#S\%4r[^n*ω8GC{>PKT3U¨,0L1Uƣ$tA HBrfwޠ"˰4˖M)Ke֯9j͟_u{C՘bS*}! 3]GE-0.)g8JlQK_N * $f .]ek3ဌVf^]"Ǖtx.2CE"v$ѫ K6P?}lv=Y 26xl/v!o GWs M#/@.3^uʗF8ڍ0T`K^؈p],TX"0a(_f$sHE|SE%(?YxycʔӽMߵYt~6$GG]ק:2|m 6 ɠoN|]XMs4p,yf[UuZǽ*c?zRϺ]Gʜ߫b|{ySW9A.tk8)dz>eJS!Ns`3?ZBjuŭ{s]1|eIܿNݼ/A U94^ 1"12m^93s9ߟII*6fӕ@/>~ D.W ZbC‚l [叴 {m\ӸS$U"Ì΅!ϻ9닆?RKƉ?d~@M蕙W>xT ulf&ŕL_|AʬZg?c".X7${ *-ҿ &Z'H_Irr17SA xp-wLuN}Ϊ6OV]wچBG$MWDc}nO~"lvT/Ȓ[Up> V۝>='<$_*۴uFl$UMp'S: dxZk;W#`OfLnU9j].)90dN[JWtr%ɗ 4@r6#FKjeeusݪL]#cOlMjv!3jSPo{5Ao3G; BMODS1 AK T8q[ٶ)3ߛ3h\WG.pLNo\m1ELJ\u>ފd֞Q.$U`$>ƷSZ*E%֙qe؅ 0P'd5w+eي~Oب]Sn3e1PxD%׽vqc >WYG J?+%tc7P9.(1rW[tfABs-|7+/)&! eEd~G^ (k>4T(4~900B;DBvSԊ"bj+J zJ :y./źmliՀsYt TdfXhuM2I>oo 7P#I;)J; ?K $9|YVNC96xL*ySIig\V|m6\$:^Mx;5ݛ9jy嵁q_{T<~>BKyOAe.Q(æ|!$DP./}](c]G 3ANxm}WF'/]Y,Eَ9egj' 9Fin  w+Q`=ͫ$j>u|?EI%ZCvg_{8n d]N)hoO Iz-$}9eyCL Dg`7TVؼπ+;we{k4YJ~f4Pߚ*/P$Ԟf9o7N M+Z w0F]Rr6 Z1޷^G`6!rz߬u:-72$/c!H<2uXPoe,^^"S3wR}>varN/i!u2{1~u +=PaF[bN̸#bQ2?ΡH@Dİݼ|"9E3\^3'2zl&GcK#%HEJ9\DH;/LjjcnbDIXަ᝜>1N *dҘmk"1^]5y?ڽ54rx1_!$_#w+>A؟Z5%&^L/[v.W;XRExFEFC!ߕ/?&Vh#֕: zͬjU 1^6I9w/Nu4BVTZFui5W|MyW6v>i.u1hCZ|rOK&Lh+j&MGKgu#gYr*27IZ+ |EQ-zn^Y0^9ԋ> M D}^^T3?UHj? v5GQa |Q@^os_pU}C@~phTT`Ggk3%IU==lUl'wEY1=a Sq}34{(!=,vgxm"Ov> Oޢ#XU>ybҒCj둼>P#<;BF}O 2HG %s>.o JР>[9ctiR J]9~z?'6/ syL0Ut=#8O!&/#-rMyB~w KXNٻ}kpm tSm꬙oi"7SNO+Vde.Rɷu][ƬGqP-gm}kPz\.\F SOUBֆYlw:ko(NINߋ cp&[ n~^k%W-FO"W|d a<yvrRԓY\rw"~ pYRא=ypZ[YC_ !) ֚F(O@,=-$6sZZ?Ǔ 3–}G:? V:x q2iþ4^,U4-a?5*5Y;+<LJ:91:h2ń_h9aʱ[ꎳc4aM:HgXX9ч~ӽHK1cXAh#Pc){cm\C yE*_8L=A~}76o$;u àΉzḰGf-JA0f-X0bb,0\X,J4춃G_/_ʺ K#a~P kwS+%#&eZ'¢h iBD?20?$n$^JDRMUnbG} N~+g{܇/mmRY!kC+D<]Cҧ:0T8ޯ>SӼ|.JH" @NRF:F-{ovLeg|Wo`jAO؂X kŬ-xzzKMYgL(E\!ݱf._C-mq C>B*>xd 8ޘꇰdR(@q-1 $p}^ࡵ'og]@V\\{|M^XbPr}k=0bb5ED0Y|k-D8/!o$#,NrBܑ\35aEX)!Wo3,6CUҨDk,6, Z~eo7 7 -2%g^)L"9r(.I tqtҹ-ӷF7s8-AE& wKZrc܃5xV/1&ܮw)hT e. Ȫכ>' q9- =Q|'*^6>9L-St6߶ee0S z@k#v9-9Y1FeA?/X\̺]2>* (OoUQo`=tK6 Ec,;ݳKc#.)h{@ҍC]<~1ZgE鶎zGGVb24,-u<ꆚ lv_A['M<lx&OV;4wJNHЇDB2pJDF C:&KrpB,Vx"RAKg\D>RH L)iY55>U)a;Y[%w/v+noXFX}FR"jI1?!ف*})wЬskj4|1<#r(E%s0$^ | v[O8%NA82HQ&\X yBncSAB 8N~4K]sț)rM~#f ͩ:Ȇ: v=b KT{pa3۷&ߴkeųg-aIN(0R DD%syaz57ioև7_yIKdu9,#+lz %-gd=n OjM߆s'|W K, Ofp %\є>pX{Po7.soN`v MϠjkmzL!^mkYjUQ,.*6 C)%;j*"l!R"+)0% ]]ļ<'`xpeIHU0ڥ>*fᐉ=.ԕ'$9 }eUtopx:ؽm³# AumH͂rWh+ΝkcÁD>GlUFum-t[/B秧1/9J1f pabopem*O p%-\ Gabsb+% Vҋ!yõ h9|vykd\f=R1N3:aˢ8Bsy,V5m9?X8Z;[At,Si_蝕0 rA̤iPv'2@eLϵ芔!/rs! aTC ɻUi:$1(6'zΝy ?HXǮ+"WqJeS6 d}Q,.D0q⊇ _3ݟMv2 ZҒ C*>Nclo.|&WlbϲC7S$}*OQLL=@N%*b-C1ܧ]o b+% >TQ J'r"v 'tsesDh;D*G(),`sL"h;he G?E". +dԥOH Z!uVKL*J%w@^)G8@&u7n=@H*h)[֠@/aB ׏ٵQȡLY CrI,G,j3^A߁CSu+4n&53('f '̌fNeI_*#7-`sm\פrйDi;[Gv㲌l,:r&K wxkg98I9k)Xd]TCn֨ @*}ܞQZN*=+e { u36 i;O;QoQ[-M KNG_QhwXa90 ^`w/tn# tTЩo,-'b%ݵ(u9rwE *rvR:_t55¨0nEDb6'^n8 8td8 14Z@#8DpR CF<ƹw~I9ύ4\<@j[/`& dg?QuNz;%*^~Y_(V: rnB$Ę TzFFTPD0eӾ.!rDdmnI詡O,KjILFM;oq6GIyaOMn%dֆ@lu$J\bk}Zqd^T? Td.4gRMC)Òv.!] kwAmY2_|<|n_ШUUӃZ#+/oX43ts >J͘.OޜTGOS WI] $v]uN3 =[[zЉ/>@`4Cj,;o{ڒU?`R0ftvdzv>g7[&zhPyf5us0(gz30:$ , he`h:3֙y2+Zuu4ءAqJe^C\a-ivO 0*zm!1Ɂ3*BְUܠ {D"QnUcnz3pW#=NkOJm 5B`p✶2C3Q fJ8Y*/uQna]q<ܴ1UbC nY B_D s.yLXAK;R~J[T зP6;nn%=iaԈ@#͙"İ%:< $>$1Ʌnq=y/+~bN`HiXbXwi*k[]h]Ւ~jOFu WCgTx ͚kC/ Йhݭ"V@~JJk;ѴAiOhd5FpK70GtuV7LW2mj}4Xb%΂*JgYZ >  >M> /E# $HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9I]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ex@hIx㭙~~B7"YGf*!:2"z!o /u 9Y,V~hZ^fn\R8^oL$]Vtk3"Wt4߽R< dֽYNn!+9MNI1("MЂ_$ c8/՚E߳{(*a >5~nP\5MgtL,MXsMYˇ=BOH62>R. Ol[f-(0IPS.{2]؊xvlaOv9eY{u^n׌dh1$5@h#{SLF{0'h2ѫa=BH*#r@C,z2\k]to3#XP6-j 5qφ5>B G&x\ќQ3x$ qJ5'AuJ^2MTw5n) WF 냧Croڜ1W[)&7Gx*{ ҄a JE-|="Vz`LvMOyXDzKdbW@Ea'wA1܍D b sCX:OW[لErQQ4&-U^Vrز)iC{@dő˾+,"MvCfC[#S%O]G!0/OGئ$m8Z~ %$.5M)eDQ$:l+te>v#pؽHvѲhikuLE'd$̏=nkKo0J܋/c o+/6&];/}S3e0@B*_(yt)j|hXfʺ}u^.ewraQ`M FHqQ{3KX3zjuᝆՑ_d,ftHdĐUJ \{64C7` cy>ϹWSQ*dLѶbNkW'Uvyi~@+mŕ:,'.4]`@%.e1m5MpS{|Z~]F->*ϬsEP/V <ߐTJ˷#Ksx,JI98SP*NFQX^/TG2r@L32Ȝ"]^m?׶qثMM{e|ȽqD}B.w GԼ^ >c^x{SwB?ofrC-9ٽGxeȍ3Wg͆+u(@חU \@ 㕀S.FD&|l$ũJ)q> ś/`C!.bYPEfХxי ro262ț%!{wMDKI s'٭; ìn<9 B. .4I5()5neIcVrvfz,JռE}qꞱ%WpͽH;'o$0KקK ͒bʜ V:u4dzgH\׹ 'Pu k*vMtIe\`8ai F{SA9t(m|?R^a{v-h!.BKm) A;oOږ,0.wvr;I!C :ts;nnNOv鹟ҽu鬨nQ`cJjJv^|)}ڪ_̙ᰏu&nkFIP L6Ѥzb YSRc f5|ccMAHdGj&X]/;F3,: Ij*#g? >^pYi񘠚86_Z,mp#z72PI}KQV7%] 7- 2_SWm-^$Na6"5.1'͙H  >e}F)Yaz?e=/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG</E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id210N;/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC_:/7' THOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! a]D?7 {?:fH\H qruI?K1S:#p%\@ZaY]%K[CN<2,w;eO HNixqo2E|;pQ](ړq _Th' JE%Lڴ[]J.Ғj.Қ%>kn`j2 D RO; e{@j I%2}nC?# fmI8zZi%\^XBgQ({@Oڄ@f5GK{|1[ZC.xntE ̼ J{Cߝ{\Nt;mHXiGRtW\!4ݼDF C YOLbԲ^LKG.$x#R~ K9xvLMK*On䀹xz]N鮽'X'ETL.֧xP܎\fN6F dv&1cGo98L?ͩeFnIiC@&Gk$yEˁ *5Jܛ !]2鵖i)Hc;E:Uwî젻] t^F:2Dkf`NLj+]MJHȾm 8²M5 +XC^I8}>EK>DUIC,9‹pOu!^L[;b^JLh8,Uaez8*^ |R[q.ѻ̻3.hQo.G+i2Al@Yn'. .{t^S#9JgYZ %b$ JJin6 } = y > ;b# o + Jb#~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_id~7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex~9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex ~G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.texI/E; HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.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'@V |n-.:x\۱w^9 +#u+}/h{2zM94*`V83Ի"ИoP>7/J Rߕ5ՍOyFފW~%ς S_Js-L`jܶ*N9|gv{8,HmH^/6*3nZuj$0Q^@8z 5jT ΍F,,Ժ!]0re/x@'(Y]ɔNgY[i_4Mʴ$-vL01){~mx*!t2(LK-E<R7"((Nn~C삘 G3,;DBAp,,ա==%VF`grPsp-{A.iawZU-IX4љ4ը,D5l9WjLy=&";.w;L™ -vGȖDy̤P dEN˄zPhJ㉾ */w]G[T;Ûh4+͗3rPQ8ʲ TUiH*x8zIcez6u zpJUGIu4 W_p՝fntE;(P }!o;3+!3jJ83ysw}T= Aя; 񕌯t.fny.@Ŵ 7v.~R @pߐh?@ݟ܁K8R]HZ#DҶE& ~^\gcJg=|ޕ(C#S[rh 8d /i]|іҋ#G.YuU1+"NWo)geNŵW-d O\AH7:`e]$錇AHZM {բZsޗAw6#lS'a\U= Ŧxs]]2.˪'kĀMTi#;."^n4u6W# fm)lNXR?U%cҺ8uw*Am+qZ:ĕj5Z0)t!ު7ՀX D;ygX#I g ]MgJ7$6E%&Ea7qN<J֢2fcu<^d>_z8_<`G3JǞ"r}'`b|=~}Ja ʌrRQEȣkyܰPb̏& PӍq>r}gOE_5qʌ{~i1 `b ڊӏ %WnhCl81W` :cz]% 'Jɞ-G+m>4L/ǡ)'΀z+Re;{ԮHߞ2(}Xͳ.wY!/-wm+{O6u[`T?lhR!v(¨&Z?=Ө#[b/^zg1%L9&xAY8uZV9+ ϫI? T< {{pE!w;@pa(7zpDeQ89Xms ;K8P+r8D_lJ,5/ ppÏf_!rNU& uUtj@) wV*uFЇLUh:5ZM 0 `GwZvXQgh-YA(6umuޗx4^ݧKG˙Tdg !AU`RYhW%)BLm^dߏc a4PS{yLyWj>ގ앯eN+ +K~\=pVI|Gtܩ=TRsʬ,:aE[g7GsZUWNa( jV^j Q[W)cOCT3"oT"V]w#^͹}A?%#3ވEUk%Jcb#WFy 6eI.3އ`-j9\uԙNX&%miu$=.ߴwRi ;Z .ωeWTrHڼMtu;B| PC_ ]!u}pR1Q`|8s%762oq#M4??܍D>_ؤNܔj ^a| K Ę;o5A7uty=4^/x,ۯ-dt93?|{Z_%-!Zá~x,!/G0o3N@6)|@O=C=?"G#h !n=:{{Vf )7wC?uV4zn7'3er C0 c& I6Hu ]IFހ 6V ofgi^yT e++ GUf3Ri 9_7,rT cn6ѷ6@zċFKKQ޹kdMJKFɬ_/ Pd`o35jcZE4a caV^^'gt4H~䘥B=FvtyˍNمscKlp`P_*eiHiJםYi퐲wJI,ǶZϡjZL5Hwzuzk>Iuŏ}ߓ|JrvWhK6W;A΋[ ,[g بJlӹG.i2} ԓ4#"v u?jtYk[vܳ^[$ֵvB4 Ty1Ç1?1( dCn+HKzAr ~S?^Zq@}M,dVxUfl{/ܺ7EFlJM *n%[K~'Ǐ`}׆,K.ԚEWxiqOFcB%bҫx^Tէ ]AhWd0 6+ׂWZ;?z^X'N+F^ es~\%O-=4Ferj]-{LB6ӤcuF԰*;r$B3GŒkaq5DO;Es5VYSRY|,(bzɭh7́z8 fcʍ ~lijBÜxGyg3VY䫨ՠz_ 6tE"1+&Ŧ\ߊ@5aF~ĺgD0&S^#1k/ ? E rf͔?ʼnq YW=Vp#|@\[Hw?kNSkw ʣu! '۟Ș=’8 !m7 d]az}(g8r4+lueqV2Y!y8h H㕽<w8%hɠnOYهӭj`xQ7 5_ G#UAu:u QdӐ~Cq&By|*pה%x:i(̂k}&l> S-iZH4Z 'le/&tx{>zqJ*9=d@ M̙b[[N/8'H6O$,&\Mt<>Gȉʞ=N p Z/yUFvR_uaHV@ŗrQ=Eq /}x~eWF =0&bzbnn05^aKx9$/ Hl Ϝh"vc*O }**ŏy;hݣ6u>Fw7P6gTR\9?n/% ˼-kAlP!΂[ i5E5Zdc\K%J `k cUl?(pFFccs#6,JMc+YAޟ ?z=G&3s QuT_/F}ē g&CI!'PH`S2Q&q^kk^#0RXh&_/I\P[Pp$l"9_ZJQ>~_S_݉SZlްT5A<yQ|vx3sw0^fTXC UBlYRUw"RH}L%?ږ\UaI9Ũ|0wsY`oVEvL4(FՔr#r!h-JosoWׅO4*QY/Dda8^Mw_BB'%-q{ d_'pV9^.mwf[3>W7Nii|qƽsLJEZug, V(-!(_|F]$dl9LmZ{I(Sj5wJK% |MHJ-D~7Zx*Ç CN٬V3>8&031XAɊh9!QH5`!_KO -[z0?RLT/aqcLz2tAሧgG cLYm'ُoo9fR's(*Ъq~s+l /Il(Fl3 #_~U>ǚo x Sw;jA 8:@Cw3>(&$6F CbpeW ̯%L_0v.E<6C&M^v z1W2>ouzC1Ө ӵ΢ P`7 &wΤl39IU; ;*,CwW)kS3-2@Z{FyN9;65C ځ%#B5 ?ӖzP!)V,`%13K xCXхQ>n;[Aςar4.)?WGq(݀^R\CVrϊc㾇x]8D֌)+-c^-) c3I vaf?u{u&V 5o݈\J"ɿE8(d`s^h==xmY9L *[%(&Na<]>u)Zdp2< rע;چwY8OvS^\sRf8>^oI,4U*nk8J͙\+{d}C˒(Ds׵p tB!8r~_1izŷW$pS<2*f$>8AeG=+z0ԇ Re/0QxuwB'|pH7 ܡ]`U \ rq1ߥ*sc!"xY*Q$BV,(1; xM+bm 0fH)nPfu|Ҙݝ4z U-*,OY|UE8kߕHYcFZ7tT\qs!63kh רkHZHHhϑ8:o)ap<.DpDQjx-wBƱ|ARAsm9Ј^ G%B9KM[:_KS7oXɣSwZ"(˼#tRܙ#"!MaѬQDXX?7+OAˮN7Vѫ@IdɱtB C7%a^NHj7fV:ekO{+  !4Hf6kũBe1a>K[ Á DKd`8}=WLP䘩o/@<=$Ϡ_H^pvUm[=( `L -0)/n+#Nê)̟o+l@fF88{@`6}Nq(B#(wTQ'x|MiFD/vm.Hi0)u-NdatQIR-Uy ԣ\  ';WJni;4 5cXARLk'FXGЁw܀^c8b[MvgBƂ[\^;ܢx{ /d%gd2MG2)R5H]e,H{)yy V!Kud9:> Ė+s{PL6^[%v_wbؒ.ǤwҲfkp.8MB)$OSpY7tte~-c9*~1-((LFKJߝvjs[s層&gž*!rJyQAT g1֤ÏĪVt.B!Mj=$nn LBəY|ZE#E_#r B% (euӘLFI˪c5(@n'df(׍Hksqt͎#J;}v㬻շ7M߷ oؽ F|yAj!31ULuYA2TɑlN[>I崽S;"wxw1&u[G]I"|gzbv|ɓB}F2:(@)2`;(idR1Ӊ<_|Rac:J`*SAsbΨB >^݈j/nnbMGt2\D=p֌5нy0OJnmqxp" ~[d(V]<ůΉ1#G x좣 rP'i J kE)d)(uCßtq*4 D,511Vfh钂2WGW_ XT4ͣFFZ!2ewKL8WWIRE۫oh6 0j>qB047;,͵ɎM`VydմbkkDPw7)lasu"ey  #M+f`7!1KMCy!96[dI&08AiuGzGOHX!^=#~fYy7<oHX<..%|ok >GL{ hwGoo1YV{|G\ asqAYUڞ گ# &;EZ?fKo[GiErVA1~֚ y1*6婪y.pҪR7[(r07R dp&/CQ "iw3,j"VBx@|C_Y.C5jӣ-_ *90eX"?pUQ|:YD&lS^3 APJ]JuvG,L;OC9cbAt7&#gSiz7?L`{HO!QőK _k^ñ').ӄ?$7;@/cd:^ٳ"LaZZT)`ూq6 |2m3W\$6mf3F3F%x4P-04,㷃o(x) 7S^AvQT# f2 G 5I!f(ȶ5D%tFcpmJA-Ur )/Cb%?H$\!+]ip~_cI{\Bqe5kN ` Wh;cI3]@#אm΃I sn-ٶ+;?b4s1#czySsܲj&!YоNu!T#rIPA%%>V1!שּׁ~D`Jb=H׾e]Z\V)rLī4]`j ^`;Ţa'>JUPƾl`d\- +Z_[(E$xōմ<[OM]ՙ9wJe Bɶ8 `V/QchZF}1?(X[wxǎUw;Zs;8SOD<צiC"k=KF 1'Oy:nscHnȋ& zFz2ڒ-oB!IĤX B-,So1%h9l?1y"KzKMћ|dtWm \*߶0g uJg7bg9ȞoW`\h.dUf.^J 'a$K? *g񽩱o=r/U=679F[ody:4wz!C:k^~$8ZXBv7G_JX^Q~] `Y3QAnЛ%_Ȱ1'aiT-G̜NiϏ7Xzlxid M!S> O` K'WT\VBBVFNL@Tz"Gw(?p ulJij& ʆG8a9g' 197${tij[,H1MD-s&]7XZ_QԧIZ$Xś8AD'27 7>96v^p O ?0S0]1_gCrPRDJgLBIHoeYG4Bv,^Y+Vҝtt YNZsNyʄ/).-;I/9M2H>m-tH?5w1 7y:B_`>\kaKsE 5W4\RQfmՆTWϭiASAJ'* zB^ޘ%pwKĀihB@/S뚟 btcƪB؊'Z7-ߝ]f +=߇ LRNL 6~o }I7 o9D=?Lݢ-j;A{Pg۽(ifZx4Aurص{ R F|S= ~R( YUD#zlMȹBl'^=oBbwaЖyۊb$df"x}-ƗMTI\xGkw^3$+bLe;l)g8/h'h_^q3-G5FǰŠvĞ?m"B gX众:V7ʾ_XӶ/Qxy;rhm> +,T\t Fc$߻) ,R/6Ƿp/)*e "-$[E^m<=C3.=V݌rX>~koڈyJ_:F 3(Le\3ic>hf@bؙXj%ډ7v8c(5ĆBty_;[ʹ>S_:&Tm6Ռw9%0̏gO0ۀ CujA̕۶~DŽRGt>l͘T>/}&Z$NW'EĤmx8"+O'q PP;-;њ]NHx BLRTWV3"p#XE?p>͓\36qQjuv갵B)KIyerw&T(V"Snf ȹm=#a^rr=*K ptKAk{wOK3wO],qwfXl s@Q-,Lp?Tl#:kIdBfcrx LgW2!7~D]5)@ioZKlXF󌥳[|F|J(RFS ;,#yl9*@4NuMӱ:x详GҫeQ?zh5 1+8Aq Jqr ho'M &oԒvXȔ l:*!RΠp"iv#( ~fK\:GY!A.銶 ["rצP MGhl~-fxsx\^  }$>?/fm|[^wd=ypHgq'9$`Q $GZvG] J>G$2MBcȊXҀUBݚtR=erbmZ͊,AȻ}.2\"uߵuGSNK]oD /4C[B]rny ~,]#xs(!a.b;Y^hn3Ug͐'yW*R˗$S؊0 :>5/ B&US:|jihYAT]= ,kD7j [tfL[Q?gNlXJ{[n Y_ziW_n;egyZ~]ftBՃh;8˯p=GNtp TU?2X%0 e_ ~}ivJԔDz5NX<,/M8`6A@oLblCWj(Oۛ`M?H#妎7XDf]5B~([d?Ü( 0yߓタ f'I`t'[7~+z`nUX0!HRR%XRr[7>(wwX^ء0IѷWkSb (Ti,v];vDE*|\{.?upfK!Fsl< ;[7mt8uEM%^T6R37/᤟@uh_8e{ K*tFe'92QgH:QqaE5 ;_#k}|,ҋs$Mx)ㄓ*"9B^ ܦ]1gWXi)ϕ( MYQ6,@]56hw Nڛ? Y![ @Z2]j&P/R3Vʟԭp̏i%E6¯I֓`Y&(ί!@$[e^=ӡq6iȩr9B9:eE'TƃYeFWSzȡi o}Ys~*tچYB8(*l VFA{GXTŢr0x%0ng!$sCT|}*5%Wq)!S*2 `_ڕsd?_XA9ָXٷUEI0w5M:-lZ_fYϊ\;{Wmχ @`=Pȥ/ ;w. LF#).F"CXRBb^y< ڤ=+ye"ZLH7}3aٮMZ"p\h&"aEu&wYZq 77!B1@`xWM}yB[NDdix`nI%HK_c`Ab ~m: hf䡎T't9Ië64Iyߗҧm-ņ=Gkz ~Dq\z- 8|Xe3bPխ&%"_O';+ds޿[V5har:stJPYN:|)tAMQ[JDs>Q5A)}g?U}E'C#K/o4r|jgT: Vkxʿ?Û_[ڔ>?] 6ltN9;45ҢUw<Wx!gVe}+Q١e{R#jzj?1RJ.82sLlgo+!X;- ss% fµ# UL=l@x"Rl 9[*%5#YHn̅C>[ wgfC+&t֞P>p b%uK%)B9#n<,zd17.zVQ0$npu*hSބL%m5$}/GWJ@V6D#}l;W*17{~c:XVTz N߽2 {ͫ_#/P'.p]O7xkr%iY̟ 5uKPsPW> i,b)2λ&Hh9N^ȋ^*2$aƐ4]8{ҋd8sܱ\W;1frq >f2EQ„a، F˨YŰ\:Uu-pL"(/QF,<ǥ.!}V xGy^C˙jv02@=Q& 1S!=7MkcFHyz~+ 2-iB^Ll-g7%ϊ7Hr5viEka!#q~Inv~IL[D@_!ˆ ?d(`e,YJC)x*lA3kVLSAAMؑ-S @`w`#DE&i {O.ZN!]S%ysFN# bJۖ8=Ѐx}rP)|-GߍAK]Wmc)W) TnRPŠ"@ &=T%K,ږ?3*T[ꂇ OʘMcm*hF@N]N,Mdd!4 tA(+W;kWaMcU{r[TY+]\'$*;nm!P ☡cs^ݧpU&Z]>G 1TW ֣T[UD`υuJhaLG !EY➒g6H7PȪ!ٜQjgA,aU6tu}J#]R~Yw~'ؼRacm6Uz_=)&_`m51W ז/!k4Ϸ@{FUZ;}St AK.gn' 1pf)> Jv `BT\ߗt$Rn\wDȅy_;-(f1N?`XH 8 b( .} ln1^TۢoVHY(qMqkym:/#(\Fzu ?:٫c{|m^!/|eEƢ;Y-16$e+k ;la\JdE/urz- g; +Ȯc\dfk,1/5DڤPgQm]㤫2"|Dq)CrxH掋)-Hk[N׭LضKKk"L(Q;ҫuJr/cg[>Ə~g#He ?m[Φ*S41ݏD̂o{2G/HKn;AqYSP96ȩ"_^1WR\>JSs>Xؽ:ң=j QH}Bgዾ1[߆Д9=*E{VO:.*'EӲF+RЅ| PRT0FS7gS)V?}=/yY-'P|dfN;ͺMf9wÊleM|]_'I#)nyO^f "4bH,.@*c{5S*SEBGZ/;_ &GG#G*/DǗx`Kjê.S4 .: AD|~ W|\~@n:F HxNsߕ:%Wʙ7/&mOH-F|{Ҩf4sZC Ա.C&ZsX"l,[\g]|`iTrw\8Gjrz6BIL ~\01װJWٲJq[ӰeaAvv#{;mvF>FmoxqC-&|vrT9Qh]'#O|lSp5N`CT˟{v^SLӑ-:+l~Fbh>2T]J1S\S!8aJT}RAusؖ"@\_!ܿM.LC[0ުlתJwRf!UZeMئރɷ-!sp yAX q}D(2B{'\xL9sG@%~yVLM%D(S8ȂDJ]i<ߵ2dԭK?c!}Ӥ$'V8ŚmW%WkEN M5Qu$ gYZ   nR-\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1*sC'Ļf"& ЄZ_4dڭ}Qݥ8ZwPQVl")ą!i! Pbtt{zrjFn Z3eܧ} D)7 ZH'"pOu}&憀w˷Pa}f%O߭'Hchw`tKAY$b8 tr5g=>kn쿁n~y73f.нG2 8^ı_ gYZ F /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq rjj2+Z;ҺJj,Z$lQ(WҨ .xnAVR{`%l- EMa~ 8h}&ʭsnOpn 0];i O6gß/~ש|~8XhfeJox*ϊM-ݚCeA"L*FLbKDSR(ۓ--Ȇ(\ Ћd}Acf{ǠSɾ"|\f2c]v_.~> _ AE]i^iiMU0~!ue)`|Rd=ˢ+av>ڕD|&ւ֡i>ƒB/Պ{S |S)>P%Tu_n`Svl]Iw,9e@.dJ33/Nj09ݔuEpDͿ',@*.e 5 R/$/ kY =|)MDɘ"2o͌[T^yQ=i߂/`+eALO)k)]t3"E1^;U0?5F;ݧWowUEj]X]J)I׆38Yc%oO%BoA4BrY7Vx(d+!:@Bcp)U,ˆ( 5﹪Xӵ| 3B j`@y4Ӡ];x=|ՋLY<\;syg T*MMWY.[#HqMi<Ǡr/Ϝ iuf!}A2BXMUh$}cS5[Kb_x`@0$b*ޮ Q?^Q ~1alhRBjR_lѢ\.En)@l !Agr簉~WIauQ!f;A;'DFB Wٞޕl1 ,TKڍ3(y@Sk\WE{66Ӕ\4! hn@tj6}*1ƌ2Ij68 ,VrgVЩԽhk+IQ`{og^d{!_Y(g>~z #w`]r(M:}FeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222_C/G' DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w[]Άxʆ5.f-9 rq8HȼD,fK+D;e⌐VV/g۪6cDDq ? Dw4LG&G` !TLJ {klBi1ມoD賍ynbTUGDχPna5GYp_FoF'U m=R1װ%*3*kQ:u|pԗO3|"IDg}.F#E4iM uz5Rmg]ioTLTkw嚵v!^oac>k d{ZP_$|k>`3_˧1#c3N8,{F˹輼uƼ6eizKW3M, 7J+taAuÈ-bQ" RyA1-ڕp.:WJѫOT%dnhLoSؐ>H&pG߶ (rSi+/V)J{G/l}0FF^A~땈iMΐ[oḐr`Q!7MpZ%r=~ۂA:[9Q"(kgYZG] ÐrTD86U!ؤ,r6`m"/V;oW= u? >` ?gSʞ3*=MvV^Ve@}rF9# TfT:ku H8; li=&+d1>}Wu%VCԋtISl-I`60 nOZ OcQ(_0>B RPS1)NU*m٢<.HPV/nKtC($-U@1o߈(mZ$,.B3{=_uQwHX+xzN0F3 J_9|%'TT;zWM)e ]׀(ί1,QymDۯI$Z]n;Rm[_ւ S$F\L2";c{-I}۝,' (Z\TDxKwm?;>Icu菑nnGc AGQ53a!`Y<Z98{u6`?O74&i>#̈́~VAJG@)j|{J~8YlvBO2)-uOg'Od g+x*"m7URkL 1um*]{H)Fzfoz3v]R18d?%>Y`۳̴UуQ?] 4PB19@c"$0dft;nn T{hr؂s< ̽e|M5k[*>S r|;bͻ'j*BDmn_{(sn,*C'~]f׭5,N) aq4t/;_,Ll> Cڅ̷)ɄXZb7;)SGT'׻l?֍4pZͱ-ѫ;9B~M=ue|;fD֒TWAy^%6}4xr^a:Dk~J9 aDsR uh/Ұ Zrcm2$?DBJ%H ݂LϤ8]gNn;61 Ld$k}4^B&0`qhaۻE|#Җ2ICtʬ'#qo2bU(M}˜D>zXMTDsufVYֈ:o#k}Q%:+ćľ ,) d2HNL 7Ed4y;.v2~MɾA",p"N#j<.[,/ɥidy HxtY)| \ẘYk|"@r5PzWq,؆9 gamaZitM\WYݹOMs›OrƆmV4V59z.B^~L*aLP`zp?\H}lg3 15HD9[GTmԑrs?}Ꮠ4H#?uy ,r%0|1Tk]-`Hws7ǺDaͼS0Cj]2aI0nT)G Dbwhyu!u57ay: @Ċ 1F#=lnapRqne.3cTE+%f0 y)pI^ɑDS=&f]0F7mi <+]Bq*4"sa Z$&07x+E%j<҇\w^_S_*0W%yt6e;mK?7Ҿx]Ar:dv# cH;ݞ%3&x{ytmZ Fv]'(zTAX_M{/̣&~ ^x/cwđ)h vʆ>;%N;xlP}AeNzOL}5h'3\)}گܾ Jk&JUzV/+{ZEDPINJV:^[;Di ld,awg"ɨW/sZ-A `j#VWswZ5#oʎm!6.[$Ai)%UMzrcXr=o`d-W%WY[J Ov1d%P-m B{4FK`]I){7.sEʟ`w ګZYEYY)yO8}'MY#/UaIY%kOGPaWێJﵵ0j'ƥxיƎ(F >XPH'4;R}̅X?W*ǫi6A"tvO݁}YVoBj;o -jcs%E ' KUKKÚ׉֣tTk ק~U;wdJ97[u Ԁ\W-WcSs/PFv󒫀 ZnW`wFTf /M р4涌CѿN 4IJU<n㟗yW%0xInfՔs o0D؏FM %`PU?~dĽ^) [ے R݄NJ&I-0NVjtHRzQ3_:†wd (Nbniq%<T>G.amټOgWU~Kӣ܌٢\P,49#h79m3HTeыO@R^4 uѺq,: O^p.3eg]= ۑgz_:VӒ2s8 v!JwIOmi]8GeXJo%Լ)3kS#ܚ='"DsEAACҀ .=UkYc %±\JF!9@%FT*iigGFL1>H =g/^6^gBpv"QJ8_& ~w m?z䄺|" m@FuM^ ճóe{{k|J:o?8ʛgb=G &_{ muW{6qNiKC ejhXFS{^|۲]vTic{77T,7K*ZGC)?{J_9ߜ>D%#'(Jَ0psխ8&2`$ՔK8754 b r@rXk)LxCw0)S˥J1xgy A.MѫOUVg;WMpNesU$NzO;&Cv/I"<Գ`'vH@Eu_<>03,*ޤg K%@iDmkyעG.OL"oOAnǮsd0ս#*WCJH. T1u)g z2qb>:O)6_k8j t2XY8bp풪M6 x,l- %wܰ$%uJQ 2nh[mភz,ސE-+^;y#(=y$q1nAȮ;_śv Ծ-&J>@&uw+. =p#U0a׳bo@_չǫ56Sfx0L&!V[⇰E?\i5kldPN<]=@Q8W@ &WX>cjK%-Sz_ӻ?=d!j&8jtu' #{q/x75Ѷc ³?<󊥢xOs;4zƝs<+^ s~t[4<>&M:0aPP ʕěuʃ,k)73Mm|W@ d1="YQh \du3:7"Z@.SIU&&v*mR9-w+ o%DwVBHY̬cUe -Ұ+7[UR` =IT$- S6.2YpOϢxTvMkU LM^ H)r}1Ѵ'æ\0ARtp~&Sȭj:)HcOdu)~aHM>RlZm*m mjwЗƩg$0Ǧ+pyDHPRTs*d673~= ^YS+aiUg&#&Bz?AHK.L1I~nPi8Hq-*#%4T6>8ѱNq%iM*rDC1tpt@/LV<e>~[b9qO& ]@ I4R*PД栵I֊U,:t54ih)̊+z*CтwP,"̓edt5b z[6g 7#G1PZ ou;3m͈<0EV2gM^-NR*  <:5{rkÞP7{Nu0s2;֭O#es^p0խcl =4IbRب-+3\@W 4vEއ]26"ա=Kge+ϪwR#rEPgVӹr 9fɶ! X5i*00Tn#pqBsi{70m>ayRl*lZ/%yCd,'Xj_RV^N:Z$: >`˺y #5lwlX6Mz="`dvz2D.\>Zv58L?&^l@a.w1Z֞D@ }hɗIr垪t%q )qf y -ha,MZN@%>}u Zq3+csZ2*anj$F5VͪBg;ҝF,ˉV.@ jA6bjA2۸w]:vĞXFMOϏ]kpA%&3R_]c*g_t1V̇o *2d&06BYܢ07osKza9zbLJYPj1( {[@4"{Tq@w-@FVr _ UL6Sf uN#Q7\UO[_a/( DWplz4U M}I@̥7-cCsbq1,HdrGP.@24I'pjEM}yK䉆*,B O\JSSbaXԇh9} xƛH.;-_WN/:%%;4k(r3x2jfq$ :OTYd`N:?ޟ^@rr(f!\B2!z-p1wВKW( d+O Ʉ]C&VY];*.4HFȇXgyzpb ,N7fcu&Ozvf_RZI 27Gh۟`Ӣ0-j3# _./Rk}Olc,1 G~,mTӗ܋\0>q1gs+=הR j q U f*{9kSo\"IexW,޿Ayj" +J&Aq:6HV:]icR?ڒ VE?s>%[(_-NgɝH &55'+,\|Qi6xJ``/JUʯafF b0=82nϳJn<ϤF-5c~S_%gOLk q`sfd/PwX%r9P_%\̖tq~fa/Q5I,2Ŕ'6>pTO&oh;ius|a+gY Nw2jk:㽓8Bd%M?i}1CVs~K  e*>Kǘ-HȞ69|~qTt@_$Z!X-̅ []@ZoK5(}C *V?ezWgq2ZQ|0>)`@O_ ${BU DlPA]KEi*I;3VrK @;@oXziJi2gY.:~R_w.xKLbn ܸ-6UD܇J:5:[ jva׆ D 2t;rLSD-)9RБ㻥3vIZJ jth)'j'9DЉmN * e[_!A%TGjN{9G{c÷bN nt]'.R"B?θkyG,%\0Xayk\8]Z : ߂8u ѧ;RW~|H AE}6mwDam%gs#|*8PP+Zj`~fxx=ěc|'SyR+ 1i AB /JF\B5V2ޒP4I n?dB:P'ѱ.-t%4@;j?vnL=JQ{9ь4T;Q; NHrݍ292vF@ٽ,?V}feԧ `J0.־4~'3T ζIK3ǿCg4.騻t}J21QQ%Ul7WEjJkyՌ$D N(xUT7U8#7IL^\KɚKmO%{?w쁎},拾Dƛ(xXDk+6>X:SE!!}1vQX~ :3NqUDhV5u $޿K3mBDj\,qFwVl092Lw2D?p-v/t'$GC .2'aޑ-49Mt*rƔd/n J <ARU 2ͶljJ.\uxy(d7`waջiowb&\oa(t%a o.g27NPŷ,h^~b-k~Z aٰ0=WZXO#7MOFX;;}IYop5!c(K9 qUBwi ;+ww2w{ޣcjV1zn1 +Yz[(/xkW6mϖ̎M?-&k %"ڰ| \^=&D"DH2mb뚺`hOj 蟯$k_CLVZW[*xìQ#6}/l,0l ץaLQk~/ކ8hԽd_Yo8ck17x|Ԅ1 / l1B$H%ks4f#M ) nB|^*1I3X8*DWӗpbr@ھ7/gCHRgo1~xIM?ltdFN`K9ݢ~BdOTp$F`RF {\پa1n H@71b KsY(3jp[b9?N ZkۨݣPQ%|k2yzٯV>ܠbW" 48y%0^u=a<o11uc[^zU{4Xގ͹bP0?D$G8+;q pzKȴ`;uøe`fH '.i==|fL8)*^#D^j, < ,9L.6\ $8Z0u00Czj#δ݃KTGCfsC'`X/bojCIH+!_ƨRmJ* &(eI4RζȾ}XA?ܷ 9Jdg A/>t#uӥ$rϹoݯ"` _y!\˵{-p5 #6KsWl(ixo~L̃aZ"QiuQS (8Ƹy[yw#~(b':/E 7W#gusuR>:!U8ƝP;` Q?CHkeTQ)C r(T ?Q}6Cةm(@1bL'sN~ܢ²BC⠙7B7 0ꐯ'v-SETrؕs%Y^՟µIAvj 'ujX7@ i0}PLX7iӠYΛC-&ump/>w yˣTPse65J 0UsoL"4Lk8F 0 OUUʱSsgWRlge2`F%Xy75Vތ3b璔SQYګWK` ZBvY&vmxs+)BT!(_@S B*Xv>~u+mŎϺ),s_:}XdHf: 2_/UͭЎc& cLߒ0q Jq\rDFp#ix eU-{8.r s#\(wxc|As*@7wkl^)Qe^b?>1TM=@8"HuaFcVjеRFn ^!v8jw)g™;GmY|(f'&; cmL ަ$\޿ V rvrVaL,b5 GW&l' TQm O8q(M9, 0գo_ׯf{#}*!w#xlMzL7VB~őo,UHI隌}>ZdV w_9e Z;>;(7kZAJ\ߚLz^[.!E1xțc{ipUzh\=Qbd^tT!auMD&O̭Zګͥ*o|DTx&|Ik ̢0fJ,rD02mֺ^dyOyS[sơH/ލ,‘@5m~eƜDl#{;G_FLZ4Xu4wBC(Y% wum̕(hƙj,p0$Ul!lGm `&JTp$0VJɵJI";uMr7pZ"Q1(~E3`ǼN8|: 2-U0*UQT A'^^ OI~`^Peo?0wbzԈ7g.INMAW4JiiXPy f8Xut#"}< H@=d{o"O{E[މpQ5ykof`HXBO|I_9o:zuK/u[7Ŀo-)_ S3J,ƒكi?a(:-IW~TU!mQeKijضX3 ۫kӥ?@+9X~Yl=%cTpV)#W;a?Ӎ9e2*QryЀ`Y \&Oɨp:-si>>F x3\$T:}%Ш=FuOmQ!a %eq$#tѬzd\/rKȫx:{JY|Ҽ+8b2/cӁȉ(06OĪ.G^ju A%\C TjS4 PI(3F4_x ?*W.lwRpxyg>T1׸x,5x,Auv +jS7@&(H˾]Āyaxy&Mx\Z+0 dxuCcVO Gn2(TD/UlŘ` 50t? (/!u$+zOO%2z[`Bbyh0;Cuh2=mT6'di٪lʙv_4hbt~Q 5{Ȍ]Hu$v0SGD][<$-/i\mxx趷Fsq_Aj#(ߝ;Jg#|,/*6 =۳<?|r2zeX/=Ǒ9ܭ6peƘ]V@@sv萛tmab[ o QjK`*Gt mX=B:V'pѲA3ف@=r*ts63nK!ޭOImeV o2yDf?@Cl(q[HZD!O[ ܦO|dS‹ 24!Z>yE5^>,Y npK63DgnGh-Di8Jr}R9L*аdw|~J9VRt!Ae\5jG#9%}.ZUfL& mI-}V,0+NVuSO|=Wtti'X*\n8t[5KofnZ0E"CF-3ƿ׀_a K`R k9)F$$eEtbDzm[V&$ܤmڰQA`pI8Ƭ4 >P0l{>'E焢u!d@x8[x]gP/ՒVHE$M^} 9)Ft|QDZf_p" Ep 4U\XP;MKJāJ5<ؼF!O.]c2]n0F0)pZ5x-V|Sf2uޠZ##HQ7A=,wH\O Z*#yY6n?(=ZxO  u8#z< ixC*Gf^>NV?nd1" /t""JJ!Oq ?ExITi}.}uY.f Q&Puf9qaTtH*b ܬ?-!:e::|ʒ\@1- %]ђ6ꛖDg=Md s$;5Ѯ(@`Elobo%zlUu܈tmTwbEVcL{u;J JmK]-ɮ+(GgYZda5f296ef705ae8e2f021fef64cdac7e84befa1d11feaa6b69b3c952139da2ec72ac31efea97e58a f4782c4ce659c9f004bd669b920e4ea06d71d868