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 D/xTTd ]/ HOL-Proofs-Lambda:threads=6elapsed=100.023cpu=118.032gc=5.0847zXZִF! ]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬ށ[:`Q:Pҋl1ku2BU|s刓/#Ub|gTN07?c"|RdQ+zn}ᨶl >]i:Q\HK3fD5-j(="j17~-_6{;݀>qjNBpȔ݅:4Wn d1ekX|277IHv{]jmΛ Z{LXd. ļY,%:ٴX %HŰi 7vq CKRa &昘2$8.~KBՖHh `je`oYhytISq#¸*+5Faw{i,ia5gYZ7zXZִF! ha]ŗXiɟ11bu)a2W5KԫW1zoʝUc7|l[\<3.Jz}nQ EA)ČI}Hm:N7pb^/LI:1LÆ."5IdCۡ{htƼ<2%uM2oVs C \D`R+WKpحgcNb?ӂ_%(akjPqn)rRw*'SѩJ/ڇgmux85h'S|ujÕ67T ds lޠu<pgYZ7zXZִF! 4l]ŗXi%pjorsXi @.xLxwz3nq="p0>Hxūw~ T٥dX$ɂ\v*x=ƭXL^wFƲocԳhF\91IT3CN 9;6BnU8  쯶!< ]WOcE+|7[Jz?&MN8w)ݙyi & k VʿGz<?RWo|H9]KjxE.R[ II ob_栭VdXLgpN $ 6OPBi36Y A%lu\!v#XY||9ҋSJx?1[b&$>&##52Q @-9-+QuŃlIՅDSNw&Ra\8((s3wK8et[fK}ltXS{G h.NG'vܰKGISIE(͕(pN Az}6W^u҃Si!]^cS#E K8eҦDH<'l8t̆&m)jŀm-Ԙ%{0yXB`ni/Jiこϝ^,mIhICtFRI?j|C (х 'Ws6O\җ,b{?󋅷9̒jAj.ҽb,v eOE']Y6^,+W jp@IzNq_7案7=\Up{=Ƨ Hfw?9q*GIlåu-DNl~__w3ZexhE7U7l&?ܟjC8%D}\cNWo,6r߆H] ){,KqxTQl ] '82KcSqX: `]&&#KqӼ2ʩ #F`zFR(Ufį$dl^n*(DJX Yp)ud͔HjoqgoGo_.CsDR& e Egއ_J Y6k}[=0+VZ?0\"US.Q|1!IVB.&XdbsW̯9Ups~܀@He,r9 PE^>_e-C#{%D_T}|IմA(&-$ss!Uцo>ܭ=,w_x&ңr*Ɑ€'}eNӂfvD:Y})vMGGBȱh!D UfKE4b< _W^*5 aIqkPM%xxujsDpXP䴘F+L2Q~RrL#?]F,doZek<5I-ND 7>暵W0a{$^F?X缃#  8rI / HOL-Proofs-LambdaEbdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!          >n6 } = P y >  i 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.texF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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,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 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 SS*/OE 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex7zXZִF! t ]A-MՋhvG"uIBm5grwjOE"\8q89U3}/}e3Wң ˑS~ tr#|JxSD] - T9|LFs3gF5XuaD$N,?kR%p^U?ѻVɒcd>Rgz*+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:LD_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raYKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, {{ /G= tHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex7zXZִF! L;]A-MՋhvG"uIBm5ɭS+Glulbh""'^ YǵI#|;# Y%u*87 ~Dǘ5 J_7Pw::JaS p_E@O_t`P  e&R1 _.`X\EԜ2Gpv`;Z6*@ Ik#$,ymU K`NG UGhi2g#s h_G1=9ߞ_Q\HהpZe~F-8n8}v,M| #MX`$yS̥'zd )b=:ߨ0wKn\mr(n|B<S-On kiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ . /C9 THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex7zXZִF! U']A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:Cw~߀Ɣl&zYnd׻]|k"pLH1w~*sb ^=0ސu*.'¿_3uldUŢCU*KL`HCT:X:{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ 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מ)^ΦEFd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ ,_,g/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216~/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! ]D?7 {?:fH\HE :i'xRGO]ޥ9R+6#׻ĞSs:CU>42,)I bD&&rr(dSKfN>*bE>؅u_Ta]iǰˍG0[ڤUꉁ~[݊*V?YݲKz覽(3&.jKv{y4l;<Ъ{ UR!0!(A_}\9w`*|;5EjT}1Ki?~vN<,'{@b̏D('F_8R&lV:ɋ"OflԢ^WEt;Gs s~b zƤ? +lnc :uy*#s8xAYnLg51&Ƒ|}*{nh2k~|1S5ogYZ /=# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~?aD+/.mnO0zxv%0k(>WLdHc{(-:JL$k" 3觓,V؁)|NbN|5l܇GQ= E[ :˃$,g@"DSIP{N;Pr r@-f-G>%~2i?ntÆ`͝KЀ1ȁ|bL+y41~FPWml2aKʫ!/R.AOm0htB2HY6L.x`.wHVGn]/=!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\7lJ:%- wqsU3{F5hfbL(2@l+ocH6K&퍲H]ޣ\*>"k C)QN2-8hH.(K$ 8BMEm|^OckAQ/!CKCSp'okW.ܺ9((pCxCNY9Bg_%舵hyYv N D&дknLak ,6aN2O\ V ;s/ShHzV̲B S6{$K7zv_=^iZh{+DtsbޝGF)h61u ! ^`R_ x܆;d䎚ɪ$oFtBj)XKԽnB-/&.Jqۆɷy8򟑶REF5 ծї:4)9N;Gq+h.dap7n7i{BNynwUb`&<~f#G LR8Z^,Ea*&¤eGuIF7wZ1r "uaTfk6~(#`:J { ҽ`37IMN=jC6=Ulv"9t y)=Y}0z*mC UQ] }- S0ZI9t'z6`q0fZ@:ָ+H!,e"A:SGiocaah6 33|'q[_5u2겔'8Lko<9?65M9Q7sBǡv!LÀ ?Zd.b9/)@]GPֳZM~65UFB\?&bSάE,!&1x[S}}+}l~dVxݥI d蕞9t>D85HG LdO $;~;3iT"X%۶Kb<2BkQN&;iw [\M~yެx&F\k0^qҿ vO- ftϰ5-8.Ճq4ZMNgL|;&mG*HRbФx*ۅ_kn S rCW˺X$eX['c+k!QF14/Rp(^p1RI۷z=CDSy-Q *>(ذ[H< ̨[5Heu~1<:J>*;GW=Q `'r2.xB]W_E>d&XޭJylנ-ahd'mUim[lcy,nC9R^5tNm‹LͥX䜂NcaR2W˳LŜzrxFnW!u&B-wCӝ%Lj[幩QBz+r#'9O (ƙH*,T{?4/bShTEn|5M=rKmyB$`q^|\ߚA+u1Ƥf&@zǿ1>uQ>-гThmR$ȵAoo_9*-8 bP{M܏qL<;bWl jң7>0C.9oPi̼&4$'T io5/=ZT*n _҇Õ鞆0{I*}C{Lzl7݌@CuƔfH@%{IdzŶ23rIrfh%\f%h2l)5S;50юe|f׋4WmSa|Qx#nOC_$e.lC. Oafich["_Jw: uCL*yI4O(vb[CžW{R^dPx=IʇV& xπ[{3}r ?JEHK}:ដ\ rmٴUAT L Gs!Uۣޤ.+IFy)l*o¥luҜ?jeq'{߻=vs{'ǂֵ6vylxޯfE6)9)͏F9T$=o/\1 J0/hԀ{&sc\ε](ObT%Ue(l(EfޔGh~l2uaPUJ* tz o$TBϮ Mro=(/HfX#$O0uBi,^]4գ)ĨU0kxdĴUstSb"5*qX.%HkU= x-¡>捁pzD83C4{|dc~R1[[#,z˒?%%i*}9qv?, Su8Pv~`DE*T;;ilxײ7),:7:z!qĉܸs7s 0Nd2cmI vi㚍q;ݶ'KJX?FJ!l'/'?>0YГ D8KA5Z_1|xVDϠɼT$cߦyl v(W[;W>T Vz~qF3 +8=ؘL)ҩYu]:dtG344ܲ KXdڎ5\i.]J'%T]jq@Ux 7Nt;Hvt@n:? ye)g ͰzMJȆlO\–תܰx;:G+Ul^qb\O3eЉGJ&He`e(oƱӽ/ o=eu+ ] !WT~.+][OԔP1Anl6#HÓx$2oYLr=\m u[E$f]: r^߫DJ5Mqҳ7Rȶ]-;5mÜ`8$ٚ*@$K犷@2?ӵUe00D{"^YA\C.s#5glRe>ܲ(N.+yc/?_̻aN`!:\m#-4Fip4C]C#Y=4ܨ۞xttOukMKt_^5~$USZHHoC/A+ce/ ;.HB=I/yR l'LG¦P(gGڊ锈R4wI¼._ԥ m9q)va_v܀$jsB[ ^[^Z:#|4J٦0)#ߩ9 ^Y;T@eO; }\y;4~70b~R\7E'\õF{ zKoa}KuCwiK `3˩Qb%a/vK*[?#E#<cj?&~vPTڴrC^@K1[!̦ 0RNe8^߮]2U-c[@.R%z`1\AΣGAj3!NjmDG?.L) /70CS?C@kن) n>}=3;a(,3/JVjmxqHa؁[ۑljsJYșu(ha`ٴ-xhwJ0 M(W{U#bjkx~@@܅ugX”pW}o tyh,)͌H Q18/uv"ᆌ@\qׄ&WG>W'ԣXc]iTDcaCS͒x_CMLVrn5SL׽gYZj(UMKM[*M窎%y?MG3B7eUERz9Qh>qA1aw45 K RLr8Xǻ2o)DH^k٪8!> t ׷e ]ʩɀX96eu$Bv vRteJjD"'s G(ّ^g: ϔZq T0};UU= pAЩ S+HCt@,3eB/$K∌FWI_Ûg6NJk ڣEAZَ 1¹G3TuG-s|Hc_wFEcqQL2wjW$.Xڽ"ۮyw"Qsr-X7/c.:Fખ(UW1]IUPnZEHyݺߘ/<9 ,/?#^k15vŊ 2KR}"ԑ3ߠ±?؏Pu}12: u3^\l+qՐ컞%ZGeHgh#@T.. "$M{e(7uX'' ӲMTANPyQp%M 'YQ*ߠ} *0'r(`,F6IS ZHIFq4|(㾋t:kukwhPW]u,84*~Hu1엤> InrnmarV́̚1yɿ*G2~EP]ɮ/4OkGpxiAt"3#c-G)1$'z( L1('y9AZ eމ!MTa/b #e<1$kb>3µ ?U7^q[(RQ ("Jt,,o{,aAە\?KZaQG+T XtCfgYZAF󮇖ަ OE xcD/IJavK@L'`xad4g6cܔ2ݔ|]|.(zsnk͔Ɛrʗc8a&&ڰV_)|o:=:I:2ʗu+-pf4'ۺӅ%/.tw_]3ip^3N(?#(Vy grRQjz *Z %HW ;Y>T˭рd yehhc*ԧ .+JX8zZZ|lyQ)ˉ#J&ZR#kfO 2\ >| Lֶb@qq(#xbpLmzU}+dDyUUd~v_'opm6q/"[?R!AC2Fr9$ [WF}Cg|,nKCq"3I!NP~\b=gbS*C4l&pG֐6G5 Ӳ0vCom ȞO~)d">3r?b/4]Zd6R6H]7Ÿs-QHbQ jGE}zz&d }&jTLݺvt/ʺǡ=il'V7d ~-m~LVM Sz*2TفARM\ 5Sklwnh@%n2soJ!NG2Jذ\~$^4byxiW*a zgKe> ngATTxN)y@dbڻqmߡ{yZq&اΔ! . 둓r:6!(_H I?O-Z$5wAHZ7np\0_)j:?R#K%f1ɨc2Yw*? -lu\s;G4qdl_pnX+N0n̢n:fbk>GfZ^OpqkYF,9Q$zVn)DAR5Dϔ CD&W] w>.)\#>O^ZE.paĝqCpin[ VU ^Jw:zQ`C5!_?q ԞE!DeTն \ddRKu[Lk');:;u*"ky:%QהZPd.Xt<;¼gw r TIteye !ux WwD~?% n-"E/8Z@=KczYRB5\\*lHZx MA@v-ājYI~z#d!-pþ&b} a:FaflC?KƊ( e¹BL7zղV7O ]aZM-[r |:~kPq2^%M$A<1=$&Hཚn4SxV)h𵱉{#Oɳj/21dF*]5@cXQ\dѠԣ:!Y˳3(:Q`Q=R+lҒ )5&u6p CI,ޙS>G#KڙW&_}.{ypG{k#QD>|zYJ:0ֽP2I +S5wlWc0x,c6r|}1x ̥IW(GA`n?.82OD5Ŀ7(KƏD#IH`3&NDEmk-\DZgYZ __o/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'z"řNGyoؓ!kyxttz{TD5EUf_ݎqw(Y-/O?~ރDad7Xs{|OaՕmtfZo13]sO$YkJHݩeY(&m)ڟ%nf#Ot's7.ḓݟ*"C{-zcQ4$W8pTM3<uJ5w*P^h/]5i7C2f5c'~2ZeVhi 6g~PNR3#P`%'Go.U^l]C¹4 cA#2ٺMmgCm4F5,ބ{ihTziSLIM\u6 J (π;E~v y7dC(wS@N@?~fYH{pB$^PT:@tmPhgYZ/G# 4HOL-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هېHd)f-/|+? l;ۨmL&}"Kk&uhzn8wyEc}KZ=еpv1][`yrg.]]eR'N.޻ZNfAo7.( #*<ѐcY>pv&&O}]҂&׭uiP@vx<c$agΔ/Yk?@W,o>l"VqSRhW+̤愳H7@ HǺN X:# lSR:;7t^\&t YLD!U7yRA_ 8hLB=H* (ڵ Rd4SabRkBٶCQqׯe4 ϻV\gl[ a <])eLNFml3 -A-(Y`3Bb3Pc,perm~Ix3E!7z4@*dxllK]sa0,Yz ;LθOJmdR~s#GgphPw YJwJ ھy δ-ä F$r6x6a rO_3HkXKs 3/C+,|7PJlg-KXqI~־޺˙'PԚ _azZu| hT\dV[ʊJЌm~^eEl8oxhJrqbEܿj}yhu@`'궤[PEV*,k*a$2k,,!.NYy bv7?ܤ]4͕TQ-Ȫ>R8A{^4E!)U|l2ʲiAϗIcIADö.PA@ gf.PJxlGc9u'@fW9'<qmBSHg;Jۤ8$pVymZ>}iDKbQ-@bzhAl2Y]R}/%I$"5WRW%5}l]%O p)UqMIE1{e~}?5) Z8ߵB`e. 56&>R`2 B L|+Kレ̕=;]p5X6f W=U9a\E  o}L=vĖ] 1X`hvW^E\CV_W>t rM؈M6XqӊSI<~\eӊM'F7ǝ=2ݴeLg))ZxtDhDd"$W%% "L؈>K.zEdK)+x> 4UL)TzL-o Zj8DLv DY=*4.m#s6"1<-6SHL^jJ hˑUaػ"hx ^w#s*' w2Z`],=z)̐x' ʌnON 捌 *,$qHyL&H؍lPnC-/^uj2'@di@hdm$إ:JTIg_Pr| S*XE$cwxTŖ˳%JdGףzV7u˝8_Ԗ>ׇeYBGlUXKr#؋|=UlykRn۲QN fvZŘR$u=* 3J|3_Gӕi=v;;fkJ78wsqSU-hKhٝMk'[\~ gy(vɽ m 2cv"#AL#538ȑ%n:O{īZ݇U~Ղ8+[ok (>Zn,uRA1g|lho 72"2Jmt:2<?2t&L>Y*Iw)לQ ͭLyJu*ڿtldx=^ɒFtk4Dn4U{-aR`}1o5~޽+2a`ϻHeɽZ[÷?p|l3ͺOGcYb*Fc¾l譵9kq%F)~Q !U^|eQtm0_8+[ɜ,@Q256}I{qN#,O.f0l{ C$%0-;$w.EzRjߠ:d$5s9Tb"(yNj*`n1s{I%ƂЂ1v ۃr:^ϙs#>rq|1 M*$dʒMOP @LV櫣>]PP_us;ĶUK&ޞkӕRxu^a? P)7$O3"#)qqǴ[{vrB>{#}=j5m4:=7DQ? CӴ^˘腃 ݇Œ'Ye?j1/i'WEOzd*yA]lڙx#h kqB8&d4TriB">kEӻ3φU*0AޖH,-w{RTd׾XMzaw uuiuG%)4*ΖD6-=FV#/tnv^$ j=FRdJ*,_Ok2h^f9(|GDm9\|+<ww5D3yȪb,i'3BM8gL/JRSDE@6w2h p]sK&WD9vtx/6PXM:K _u+wSys AcwJkCf~q7N؊;jY4S_P|Dݟ=z ~q;UIJG@wPUbNNd4Rj#c)SO ~ups-D.lVqN^AyP0](Dz^R+ۥʐA947+Q`s\R1Y"(ДC.!|lFƈE?|V]8e vR=і.Ƣ-b֡rފT,8%T1S!H:_Xw6=; 1_n#&\a\65Ԓf%ak @9IyQf pW l!*ĿW'z冴Fn 5 ,60!$^LHTS~OxT~e?Kjp!Gҳ.Y!%KlE(ۚȗ \1{-/@|E[>#B6b4M"mL/MAw`d"yŒaxy1$t WJg,sH[4)z@֕϶Ŏ|c咀מXg{5GrZL|hen~E? !O abvL7B8ny-T璲< H%3W;Zɱ+9vjdLd+(EL&i>@j\Ԁ_-9M0vǒk$ĶjjfOs:%i=5\9}p^1qR!R|xPh -ӎd ߼뱽AN3Ʉ 2OgYZ B& /O# LHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! A ]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgvB@8ZLQѐУg9JqgnU8oLQ*y 2pdآ]6.$_qgu)VLNDʪv]+GD #|LTE@P)jkz4C!RcqDF(ICQi-DukK7?4!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220e/O# LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3$4$!SGBVE.K_A=x~!a#v{UX9^' ~B9e7dݗKݯipA@,-K ):_خhQjUwooovE Hݨ=Ӌ5 )K|rV B eҡxyxn0L@C;ɃwC(u߯ ^ G(~0jIjzkO ފ2\QPsK+h'--.'w'f$}u-r()CН'BI)+/!XFh !/t77]$JhY 1C$sa@RV%>iޚSXLG_ʥ |dOMvzL-1CT`>"FNf:}u3hJ<Jן_( @4rӽU}"-3<nm‰(HGC1)+j$N^94i嘙>Ӓ TS4{!OckM5z H ,5pptzl֪ {Gz^ijVGGWxvYBCI]aتXrS pg4X4`cZA^sëu-(G@0BOh38Eu3:Wl{b>O.7!*vA3؜OYUMPlu>#-yxJ9 i,޹^\O`=K8GZ :H8БAƑHo(h]+%l!tJ.|EKmp\ץ`9P Đ(NV_;/!YU|*@tBѠF855^.eW^boS8y^QqVzzno0- )Lgp$dp쀾azzg)i{z@σ&dz@`niOoʟ/oK޸KV􇄜xR,, /#r?vi%D R5  per ꀵn8uE9Ըb^Y6ļczcmk2S% 'fP, [9^DHIebwHb AC~= Q>g(^h ރ<)131,Թ\4ۍ| -"E$[)nu;>'傛!NN 2"crIht%K8hc =YYt*£%py`x5qL4*74R8Js\`.k>> J}aqx`—ĥ:te2J7M(tI?rN 9]:FF)(h =ۛptء;p@f԰miE'_% ?[3N$Z'͔ x2YYdeE[?;dm-)bnn !bT%3M ؎T) =>d@<5ڃNd0$,l6L%eB5;4D.S,aږ~}Eb cܥ4#yZUb E[͇. se~+fҜoWBƓcyh~7=[LfADR 4SmWzHB ,_}vlotdj1rc_ePĀj1`˂>z*mLKO3}hx>\M?7/l D΅dZhkg1i(eJ`IT2+ѹ-DyD dYy*UQfrLs"Yu)\dG[ñjdQl>cƾ>+cN\N|;owdɷ *vmK (rC+pnb}B귦k}tk{QHkB%(UP&[ 2 %'3: >ئW?݅qc +qIz8]W#d1.02JYyL{2gMp*}I~#8iYȠA_ʨ$1ܸQD1tcCX[=Z4Ua<NUܦ-nE!z6]Ŝ .|).AC&P>1@liRY nuQ+Iˑ(1|Π>P(1EGj Бw&K*Ja]l%_*S2qc^խ([ώԇ1hE Ƶ5y)_.j_exIZoY60D3dJӇk\ o=O)#OF(RUK ,&+]b$q#wȓ|e r@҉Qbo1E ȚWzyJ&5PKr;!Ppg@϶ƞ]w $䉨#,ȸL[ZTk,+-$'FUF3] &ƬުXę^1`+@MNqB䎪\ Ho3P\?}E}[~ӧXAǘU2Uo8uivqƋ yq8V\Q(ŖYQ?C%,"pfq@Y>v7R8yc9YI0g5-V7.ӥHnDܰwRtۛ/G3n<Kxͩ)CSN^$ EQsyV6qx< R.1tb ͏:zВgs31Po΁K^xށ.W@F9E0’ T_gFMѤ3gںyLXb4=< -. pljp!GI'phi0Z Uѳ{Xch X걯}6 c %q[I$,Ѐ'{. - .-)-`̢m ZQkNH%k珙(6*v>FW 1ƴUb!7_/t_s3(tIn-qQI H|\2Of\-CAN:}"z^e(Zqc#/mH.v`bq C0]=N0`K0gilt8߼zyS]Բpq>SG B4 B-蟷_C\՟Nj45H@W`})HyD Kx?rKBEήVffTߥm 65dR6CZ;a9Yg+dKրy/u+a2z5Oc)~7ߚ$vkuWI}#uf7f%9m}.&( =|1F]\&9ܔ}kK7Yn- 6h2㼫_$&p)Djy,R�!f. ݰVLigj*]1IKg>A:{gCٖ)0;fe_VF2K @ GY ) 0T;`30:r[0oBh?Iw-n{S^Tom"$&#]ڗdE+F6B)4D1rPnKt>Ja9*#3)뷝AtHAO]_RtGtDK \ `y_+7GL~Pw\* 1>_ؔ&p!5n9X/RyVZ_ &X4ނ}Fa؍;@6[3E}v(3j̥џs8_vcRddfIW־!'bӱL- nqeivW*,^S')hsq Z`1c-M .*ȶ5Yɔܸ tm, }PsxV]y g'l0ƈ7qs?<7혊Io 9rC+B OቅV!ٗ _|*iͬb]oœ$Ձm~߄6bC=obUh&x 47P_Ѭadd2gxtх8{z@JE_S1֊ԋI/vB\|hTuьEgꘋ4YxFGF£^<5ֲ!V"ܶ8RN]k52xK0`io;E`,(mC+C(H~m ƟTw#g>פej)\J;'W)2vu=P!$8%]id։(b:[NDXp-^izTrC8~phqvFcJ 5-5kBk&yo43A2We#7L Vh =O&%^7HDmJS߶ 2TZz,o$NYd8Ji-֙٫e=y~\z{(55iI;yBbL AVQ*kcȯZmE`j@i E(DH~FO]L}DA,GsMҩ/nJ<荰>nV]|2`3VA }1h{(='͎s8K^LFpʃLJNNTF)E2j}ſ+:҇d.Y1J_k? kԠaȲ2d:*֍蒰*u#~5@-0FKA-brxǍi_g-K)fR4`v80Bh 9y>]31sd>6MKj4>Y3i|Dr+@ly*`|N|^w&F["yV=͇ mu$_ !ͥB^BLJkcJ#ѓ=,iAUr`>Йko`=3Ml)[x^fT_팢;Ppaʻ O<6,jZEf6fNDӃ $jm MfzBpypC'& Lk bp)-<H>ʽ7 S˫f,.#/,@66OTG-iG BI[l߉f|JQ-Hvu_#&uA O'i9M[A ?n ikL[tm7yG Nj+&+MٕpqE;Jj4+ Ņ>٣#7@4cxޤm%s,f T\'hiv$b(EBz)V`ޑ8w7^.~+ NTjQb%-]lד'3ۿ޾,q*'Qs0!0p4n"Lޭ3If9_ JC@LLMw[PŽXq CcM0K~ӊf(ʞժ]O񗊵= _{C)M̟L^%˩MGrշègLaozBCvUDBjZәI}[ SxsԐ@U {ޑL\h91Q"}= 5=iM4Ad-8 5J<3cA G;Hk-J vbZ ipS(?Б zN嶄NQfp຀si &KHkܣ =ҊW.y?8t&pş\{n+%[ )B={*"lӍ]2}8wLebGU$ Aq~S.:cʵ[ghY9dwJpN: ~Pܔ08A2$6X{vĆ+$4RaͳHbH `*ƢYv&vw7?auy9EykwueVaP78&EW48gT%;nDXƁ{ZGѱhXo&>zg5fwrI\Q#9yX `Dӗ4 8H\W٣z ŊD~6vwF&FI-O9[ 8%4x6܉dI ۤ["YR_Y]2AQ!a%UGxmW.]Vs :G6 * n< hQ.A7 &񻺧L#PPay 5HM2cɏ3fv{S?^L ̅ry9 MG%D<6))4?L%dqpy*XB]@cDI^I{G/ﰟW~ D[ Xru6hg ~K˞>m:a{wuh;&|)qP\P3CK+uE k$f=%ux G֗QU#t'0g(1(|ju~-9OU:D{?{x{1u,kH\* \^Y^GWAd'D)HmA՘Xt'+{l ҩP9D+GwdlU .0 Ped.\D{[e^~'+Gh[DN݋L|܃t:dc@6ܪ.}:`z|~{5+6.9fh+~fvNš2" Izų ?3bw-M ƓmQA,ry?RX*h$V&B-ZR*Jy|/JrT ώق*kc.4 #6\3KFB!=^ڕݘQ:[w R0}kJ^) o(h xy#@hYrZg!6z|l11$kc89ַS"0um{7,ݥ\Sۗ=Qrn``5F$0pi = Y&MC$kyN# 4sPE[c_9{`sgpPEK\@lŚ;շm)hMM8ELW 9C toq_`NC",X^ { p+ЀatqR﫦Iɯ 1}];߃2-;B8f_maLЁ1 p՛mW˺g M O*3ѱl܌Q 1:K}c Ԧ_>ػtp4;9MJ:..j`Lr9AT9R2ڭ^殮K;XfffLɬ+f5 *̥bf:*lf}u 2e :)w[pVQxų#@K#:t,6BiId@3ԙO֖[؃JhC\([u~ET{Qv` 2Pܷetb$&wЄiVԡ`%(zqE]1I%#ӤTjG*͂c7B*K&TJ^jgL)!6Gh;:)(PCae9:ek`a؉8۔Iv2!IYYTTA_"ĽApm b W=P!I?94cƋr;v-uSv"CWm9w,}<05+gj|;iHtN^ ԯM,WWvz!*);wskPg+myǼм@Ov4j`[dzs9ՠT3>Q]-.sjjŪ֪TRUJt1^V6Lp5NӖCQaFh^ !m1U(~&[n5(+t9[ȑ~ 98n<OQh˖+2->l'!*4yX}MYT/`=q*,݌?褔[*,bXI>G$긷X l=*0'KS jPu۴tlўQgc Au개A- sVE2}SӁ5bg %gDk*89 RK!޷{/:W96iJlܶ97ո3U$媤`؛`ٱ+`9]lNbD sL\>=Cmya$;Cf k|2KTZNֱ˺YKݔAy3aad3Y*gO]A!=)gPR/?7ĖhæIG$IZ)[~ ih} p&ń!! fTZivУ1?jt`O/"[ 2\A?mټra\z>W`Pȓ5wAr BPJ6<&㽓nCbb>$p>#C82ie܏XwWJN mFb+}TXɬAa/fwЫaFuέ[t=@ B~A $|C`9[."M*ؤ*U_HMɑg'i! =2rX.PskYJ1]BQ=(~`mz] y^CAU,̗h4f/fޅ䈔 C/}-8 ?f+dD*{́9&D3(<ʬJR}] .Afp*n5`.z(HF>qqkp_!.@ PD>Lsb[F( \ e܎w~<<"%Ow|bBl@l|fMr]g%.zl%$&v6L}- v52|cXPJ#׉%Lq 5?\6U'}Y^" j P@1T5@~pu0G}4RӉ ߰8w̶ A §#Ւ0мsr6Q_#F2YMlE^vtEg/͖mŊBأ첌mr$_s̱I ]:J~biتH ~ꀪWx50%ĐxlIė t}ރ~Lv24~속 2sZhU5"TPSuz.a]~]%5R{Q8yW*[Oȧ R^RBދQ TN}>T:=\}w^!+9}EoI+snw«@O."z6yWTݿ i=[$¦rǼu/_iZ(MH-42# nU$NC|?NJ=o3 hM!¥=粠>; YW˒ݽ &?OlnI'U<Ѷ"A@ׯTd*J{WT:_al,&a⍤%>lne|?=84>~/_IJ?JMfzU1~a'P7-Or둉P}t3yiU1KV~@Рul۪f[m- ͳפ a/nL4?Gb=6(BTK ˘~Kz努߁PC+ IvFATYZ&k,x .2$5c7_?^&*Q X3qLŀh|p?ZflB-v{— J2l~'B+g+]|_WbAt^pŏ yG2ک4gK'3`leǼ%ڡf+ ?^zœٌߊAqɭ Aa56Wqͣ=z)QIriV&ёv5aqn?eN۠:(O2k5,ɐak΢5 )it = TvW4eࠬZGZ|rƼ9ɪ9hBE@_9 4gT,²|rz4!TS-=ޣ}x}@Tih)qOV,L! Zi%bRŦTYbIH >> T^(#ړw_!Pr{Ubf'0Ǧ/0&46p Ƈ狥L{lhŔ&eZD:#NFpr'SHn :zqM!׬&v8WHNCc2f,:.msw Bx)>FÐҍ[ꯑ~,b}XO_vuvE.h蛟`&3 v`jTk+0݋XPDcX'IowN bқ< ,nDڨ}a-+r7a!:52)JqK㋆׽ uz-ݴX#;_}J36:~X@lާSjwF*+pHՙP*޼rm*.Ej&D<8gxf s/(2.i|RN4=O4dCi=ĂUnboMqKqq JG5 ᥉t?l|qEo$0a9w^fSԟG!-]-‘ ZpwM^P/]_ ̼$)N:`9wIp.xGiڭ x~#\yUFDzGMw#zȜ碷?8CnB>x(0!F8t|%i _"ćJܜlK&Ȁ(Rf- ¿F OY_KLPg1R=~ Yנ[|?! :lP9G ^2}#5AJNwv]D=dCm#uNXQd6Y؄Щ(PuQ!7y?~:2|\Š[4.gvW=З^dsq.;dcj \9 bp Ŏ'i>đD^T7D Dj_'VVtf{p6l$enzY,vjwѪ)gʱ-86sS YGsBGD'aGB٪JP$NFrPy3uoGAmk_rd$Jצ^nNH/-&E/\gQ%IN#hKJz*|VxoN}|#LǼnNFcA6ئh2-NXBP~>v&pH`*j;*37fHC1;2jgV6 oJ5V_齦-iXh~y<S> &n.Z[_!4uk:!]2pFe7ZNPknl/-Ng q#T18\a,8:}eY\[=.>B`Dx83 p`A u퐭TU:0Dԩ\ti(Y-6ENUU$xT_}tO]w:J|8#E1A'3çվBlCtXwkP2Eg]~2zX*d);lVcYr] M[^U=mМ<^JO-4(BmsqС| 5[K-o\=:,q)nEf;1mUis1G+)R 'ҹM˟HkLBIV2^:t J,8׻_hZ{j Y<PݔHƚG>4XKY/{MBCӌB"AOn9(Qmh%+.%yz+sQ3)t*J4_hR=~|__EԷC;>SKER ЖU[,5dWM^ke0g'yQš5/PӖmZ!ԲaߑET(d!%g{t|*%@ڇ3.k8 j0pfFOP$WfP[٘UA[]ټV+ $@n-`00O,!*׬XTO/BbL2D ͸N=T:_}~ge8p%"R&|\Gd$OH9t)hdMmV?دDYT[} i~"IÃr tܕr_>Kf6k58*F4}WgYZ ? n  Z?{! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! bz]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<}vpc-8{Rm^B^X7-'JeC{9rI. ߵ:ܔ![$z0vTq(-"Y?I e , |+8=N ATά\U@V0 rp# Kډ~`WpyǙgřS>9r\i0=Ѭ-ƨv*r[R#'~9rRd53Dbla)> p7L`|ؾeA} YlT9#w)"?&eFZ,Ojiۮ` ;VBH1hP>P29* c@"'@Wv2GəD, c'3Ls ~ §k&CRl21iEȃgYP# G.Nς~\E홰| 6jv3؇e:e\h ʼŋTu"C ;nڦ[u$ &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'm/l{NP囅IRǜvYuznC@ofL]XZTTB(+TjQX\ʶϴU{:ćSsWL.0a4CۻLZτ1ӎƫQ&,:ypK[ gNe5O3$ݐulab#iK\_CBlxeij2lDxEbt8Cമoߝ@~h]C'wD|~ynZ5XOdqS mKL/%XX_tŬdRXu44z bό|{m4V^Jk^xJ73's2ΥP  ېY5%.À6s@gYZ'sG (",QP2shz?RA$-ww(ĥV]UToץNQט BofB߆$JFKHaYLH㯖ZI[vztMB;Աނ,# p^@R 4ڔ+nOW,J.vU AZ#i)LK~?u]s1Yť0mBUl9l7Ma-]U?)7b誶4*@I/#tGH8*sB5 )kTp]i~;BoL*P8u )@Z _4\qAUhS+iHf]A@{쾼q@4CηEj'n;Ku4]{ze&F}oP'ǓGA.Ⱥ y^ć@ZAڴϟ(<")dyiS{ o(uP8]tOC/fD60E2ZEneN5g=QM9C ;HOuާ4Rg?K# TZ۲fi Ezcǯ–g[tsT~eƏLm߄Q(?XTx'*VybQ lt!d59ڿC_!eB~". K~j5h)ڙx".qCJ=\Ќ[\ gLS<(3PM3\2Bd;؀C[8 S5ѾVD"@ ,(Sgυm H_'sdL"X)(Q@n(Asy gu.LέP/pM2'u0[ !;aQNT+apMRI"T sq}*lϙ"@a%SQ ew-uҞ;zT.udܟoGgy7*s340Y/vwa:~tyʜ)A+48NdFpHH vcϜve!q6^$pr- J%T>0H`׊5xfL 6K1y8_Z5jrWk^ `CfȾO~ቚZ U FDT7RdQ44NMOJLu!EsFB.P+)߲5"AN-EBy5qB 'o<]<\Nv©:r-n,{*W6t LfS@ۇ20T3?> uD=CJĕ~a bFd:nZ9lfT5]8MJ* U^W1YuXyUDO|? Lyz93F 0WdF8wSQȕTfCzz<%kIEvuu;{mvOï .mW^nB& u2Y/Drzo+Mh7Mƀ*P'w$If(R0~="{&P-$)y *?͞m{("0ccn-$-Y*LT&ƛ F3TC#\mrb:[Vj‘WXg0Kʈڄa:URkRnH"IL}n1=$\(=;5/!8~+kM9uߪj:Je Cuu mvޥ`<t`/=W"R㷀h @>UJ6rvb] {>&Og)IH kQ[. *b@<+N5 m0Bq~^(4kn!(D!x`wk@76~%vJ.L͉}AC,R.A.0 _ڊݴ~̈ ߩ_b!uIEoG-Rnz/^~UNzڅe ]XFwsp/O% G/W0 3z^iA&9KPp<%TV k .qAbQ'C)&ȷC??%xLˋQvN"(d^ZsP9D+qJzeyhC-[~qw>en'jшHkV2?'Us C ƯOW cbQz)򾳱lT``̲J^9*]/_tM2#mb<4vHh>i2-J  i}~$qRfjΞW30>Ƭ}d4ݛ~;/Z@sBRrxZE؈±  KbLKȆ͔m6cRu.BVbu/ vWDPh_͉Ԕz|:a ́Loz5|R;8O// %+k&Uvgpi E~tNym"0;#U[g޸9wTjnLP՗LՔeñazȗ|CUF4|@Br@B5-6jpQoqUvc?``.۰nd)F,&/% HWvOlЍNVjF1e_YC'V*=i,'v /Z^CR֐T~ &, J-b#=r^<87tZ2,≎j>ӌ; Q-S>\&2aax8|JMQB[lX<N"i_u]ZNNSNo{$ ]$A[Cf**g#m'ȳwjJo~aݲ<4n -Pf2JGIf"(O7Ԉ4du aR@a[{ApWtk/4A"` zK_;)tֈeXٗϗJD~5@ӱgMv$gSߵM ɏǽߩѥ*n`):J8gld|;"[Y ~d-ma_o?n mvRb }Ek–yY:].GINXigɏ|oZ(S(N9XSaHp&D%F${6q^eRmlg8vX:W2iΠ>j̳fL_aT+谔._~ ?})iLľ;ߨ[$ 4 jv h?\l^Vbaf[K`c,I $ ]Q1lЌďhCgK[r̰sq~m d4eostZ`|S~\Dn/K :2 >V)RאXQ(5 w ۂT Y}x(b7R0X(d]gLu}nj s{0=@|C( %vICuhE"u첼uOͩYOLlg&4s`X$@zͥ%)69nBi=vVYCᏒ'{r]{+,R8d.Ϟ:&AnǪbZv*_>[G1s|EBc;~ܕH_%ՆĠ.~o֕w]OO _8|j;/爼'VuwDְl (^YC.gՇB]ĩ(9(t0]DLPˤO7 @]F]z{>nگqdPyYP*387 5ܗFc|LD'mbf]k j(΀Yx& Y- A/wQג4 ܐ=/d3T:F,Q;ā,Qs%R˯RR#pBX* #Yҥ=2&bȁ8'bq cRӜ4ś&,ZgEdRga)Ղ $Z abl4_``͠oS9mkd#l} {ct%JN?&-qXh?P ;w#ľiY@ߨY6>j0پ>q2pmW+ޠiv*N\*k@f]k.qy3%!h:B@W*L.Ti6%-@HAYl"!6] A&SFTѬCn#UYk7'f:S ̽Rh5ִd 9oޞO> Z'pcKC԰N}؟S;N~>ӡ6WF8tEId))gdWv708XČP* <,m..oF+Kn8%g\HN[NN6١Do˖EKǍ-5MoۀsjR[Éz6þ$5Fa$bGpN$>5:X$Gpj%tK>Wu:_DYY4 c$uOo5Bʺl46ԝb;ܷ3O2^P uDQciW϶q쏪m~dQ579*f%פ+zI|[0Z 6 ^LڬcUqpq6AV_!AxM ڔK)f\MͪiC,<$P ~&/mN$ ,?BH\G'M;$Us I8)w%Mj6?t}##W|O&w7Rn_btC'nyFֹห4uX 42C]Aʞ@ (,%r%9Q iԎF$?mV-[3)o%ByJ/ 1v@Ryي((OIb9g!n(^;FAz$a;&4 e] 3(hˆ޾>(I+JʥHt9izTeVƜ,õsws0{#kmm&'Zn0%o7n||)Pw.2btwK>T4[ B gQ9F B3ܹr|{lSWbн*%w|vg)3.r!JXZ8)?+\]YުɋQ`NH{:0fٲ"OmY~wm+:JTC4*81qb+arbZu7ԓ* TBOc#P[0)E^!# 3ee{f|1V 6x/,p82r`$8PT/UH܏/]u%7z!TL>5mEb2IFVVzV{_0pI=`4M]]%F ^*Ek5UG ӈw6'8dv=B{v @Dr>jjr17+hiof!rusP,pFJPH"71q) yk@vEY/BɐK⾽bƬmN*~+1AX\Li! ԩƿ{ B2ڐiZ|S[?4 ]vQEűE4ŝPNN$9ٷ N^%E*+ϨyAo|-[,Zy 5Yu S|$vie>|i<*nkw\?UM,rC5#,uÀ+0)90 zH^5洋WsH ~6UF#><:*ͤi4Hv U4 d͎rVX\u+-g#/9_ كp1$ZDzWe .Cbձ[a޲ Kb3`8 ag+_s zĹlpR(RG-8 hoFѣ0ϸY*ŹG>3<04hTĠi.US[rW+,0n33E%ד#7דvh^!s^M |^ZM8vph9X.[wd9]4R~qMXc5-pB/H獭ƤIJ#-"oasHGQR9cכN߬8HȴPXac'E!-hb'>3͎; ؅} Thil >$ a{E>sK* T|+ I`.(";< YǼ[#'ElqXR 0/l`<]u<7ՀuGsw/;6<hOR~ttX 齷7/ԓqw03A7נ([ݚZlm ~lsZ";bwEdDɴyRN!0i{ar(Tp7} KXG9"BJ/t]SU푎q&څ?reݐ Clݐ@2W{YOH-bhl>*jR :%hPA rT&L\gVH9]aH_q]?KB p»9y=ol0)ob'/ZiJ"W|\ۤE/NW1AmC_ޔ2]iw}-&᪋T,G >؅PˌT$x| W-RF#u3,6j.)H [!\%<8w|LIA?ʖ d)|٢Ɓg Xca%ȆӠuR|lٟ]tjb{Yc/vxc]R3Aw@ʪQ)1X,W4*2n.r?L?y<(Q2A,#39r=B ]kbbWcM>c]sqGVlD2˝w6,2n([)>$`tjvÌ-}¿dCnKc& JQJF좄ryҹEW!YKQ8]xLQ3Zsr84y[izT M֒7-83yV_}fzwIOdWo˝]Gwe7 8&rJ],rLjXѾ?6JKX[Xߺ4R“ݷ3Tc+s\dj:L` qHud|CLPi qmk3&'n %͂']a>KϊtAMw\ilAzZF-|^ {+47­UAriQ|71y AN}/7׍b6Tmsi6Z#wuFm?C`2֑0,ڤzfJ`߸yERf{{BXo9"nмDHY< Mȱpys[u} >x&_dSNNy-|E7 Ўn 1l(؉g1'io#ŅIlk@U 0n@ /dd'3X€QD/і#C| ϺBck1b=g8w#tA$;e.RI mR kdـ+_~loe}=&ؖM/] +QDbQǏSM>@ӅRJ0݅) 5p [mKGT(.|`A) Rh*-#XStfNuq(D$tT\8lQ.1FZ$>lpƌ% @,)/QƖ7MW# =.Y>5%Pkk m{Ԩx gtt5PKؤ$OA٫4hy-92QH[s`d,i!\w5CT MUZTG5yW`m^w= #GSqCͱJ~+t1Mȵ;B9oe˶Іd2#^"&5YCogSaaat&tp{ #6lǽ +~M ǔIkty9UMv5 ]7zlKvJ gwn47gԭ7~C5#mX"PY`(L=ǹ?]H)hMW!?"Qxo\[Tj1&F}atKn\Z|2J\V৪8Uڢ,)FHO$} V;1!*|xvʯX6P$#dO?īGewfBp7JOȩס8pkдTo2ycN{U;@k}*Fl_-f)/`*"3utZ|}[o kedG>=/Ͷnky5E#ck ᅈ{)|:i$C$j-/1JE]E<tLs/ʔ "*n}69s_'Wҟ21B 72FbյlYN=G4D*ewk^='ǁ[6i),aH91:m ,n+ql=f$ ׀P}PGWX'%3yD' __d(C}N(r$Yc Uևz /cE5 g^\ڻt6u5=9]a gcd޻;:Au4u&p/Y1Wc1Ĵd-*f1aM@UˢC=U;۹Z<35>uו<0D^TAJcڬ^ ?qLH*x (Pp{\aK`jEϾLpV;QU#`8C ',Wb8*Hw%*d'!yX%IP:g;ԪvDNSG5eȗA8A~UKț njC_>adC໻3{rq3ovNBI3$tDK3|P4yPȞTRS4CJp E ?cQTb~L!Q&0eѱFvt2Lw@۞ӓ էFNa|Z,d8{ѼV~6D Sv*PRW[bWuMgu}Z=ȼ+m&ݫ {7ᓇ}Ґ~J hdg9:С*36G(%0XۂkyoT9ohs ܂u<]s6=pdץ𵍶߱hv#1p~ƶӺ#w1 S `,QT",3B[e>#7 ? X<t ].$]XH_R32d9˩i&mXJ1 I\E# 0W)! KLNh25]-^wCs2L}8V&Ԓe&dK)'5j]Q%LdRX^70:۫ 1HFL*6d*%t<ᳪ假FΩDDgx0kY)~[Sp N5сc=ô!,q |Ui=3fvOB} r7PJf 7D@ pdt 1ubÊ.Ҵ8ZA)pVjHvkfM?BJ}ioY*iHO%>:˭Kߑ0?8sT󰈐ӈ|_r}C}z\nJO֢W o.ºlpO䂿 U´h5[76  vX#GR@Ƶߑ"&Kty6pb⻞#ȓJ^|Y !tf,5/ౘ+Reęu)~hɔUu;rɴ>-wh=]>[5ʃ%ݛԺ0!8'pu-l<#T.83kOxfq#d%F7M9K| v8kj 9awo< ۖA:ro¨/F\.C}8z"a({G{Ǭ>1j o1U-W3 HzUƜkrh_ZVFŠE1, k8DUmkΒaԆ *ZKj@v>k]4{G'WIdܨWl_H`eYf.g}T|:l +-BH 7W<ݯV<L45 q4X}?G*\;zAeL<+ e);-Ϯ&S\i0+q&Ł&2giH(q,eeD ۏ) 9<mPJ$u:؄ 8}eWM8?g@x:J#gh4b}ChE5 P.833m~I Q>@>J{K('ۀ-wGubY'*[M{|t5CQP{U~6lQ׊EaSrq.q$n9<ѽߥzuxW݂+_.McIG;ƓU>5)ʒܚAJ]Oՠk@mkjxNVSI:l@)8=ѨAtΔ.ɳ((/Bp] ߗ@1s0wg 0oXU$eU#Y-a.Du|Gd*œ00 =K81 桋"P6M|(jH` Ew d Ce9 T%jtXJƦ!im+׾VԢ./JSrWƧ1 ,%&+V7A 7uTyG,zImCE\Uż.sT>|2MU%g,x 5vf~CJ$(?7TFtaoZ-h- !:E pH-kX+Q ce\U(=MY%Ezz:05O qv eT>%ut@dȯB>F6JDPuy-H\*]\HJiMdnoRj& -5#aJ8exbWyPxC/lq ?@xo*{Hcf0PlՌlQz=u|Zsd1k%HAhlZIP̲4Y*EEg`0nv&@MT6Rڈtw:N!B< W:-SBz1^"/Pj຿>eR0&qV`GQ bE! @_3[sӆ:k5}Z^%ֲD6;cs#4aLC)WJ>3uurqw(xLŞPm(uf6YXm\T:J[}0 r.A6 V4\@U1*C%?Ӆjy0-:OiL<@uea_E/V]h h* !Dl6[@ wLz,;^q zJuڨԾ@5 +ߘ(UM)Iq>5\SĩֱT3JB1l>54 kgDm?,k(Nd.->E3nݎA~{'' GUQ#&$lx֩N6L]<,pę7(%P%"yJX+ؼD*j0SxjzoXiqpq:B@׳8[YNtaûRZ`5]H& YlWY>OR5HgE7+9Brs>Ĺ-U^4Ms%d~>AwWT;@˸c$Qı+CٰE.R[*9u|XZ!<@_&HdXnEmq/&<5N\@l,mE'7ٍi 4ںvO͛UՏ7`J,tg~8"Bwv$c _tԒ*y*xMRr ENrLy9%#ȒmYzyUvAl1 ɊA] Tt-oVvMDzׅ[XvF|`Sڶ;K@VS~wÅQyphBۡnˬ͍Gˀ~!lHBR2 b\Y'yGbZ,ps [;٘ EhmDiHū?Afbnk ؐ4l KGvYUDյր8ɤ|&ѭk@7$8Th\xb/$(k2n#?Kse\zpyҮęQ (~ o:87َ)` %hi7coI"Ϟ$_]CT }}[DM2 l]ں6 ANi<МщĦKC$+)}E}NGRoyދ`F)GJPrگ2P3r&,(}Q]tz^¢9lǑ0m[< S35y gڟLmd\FDy.CVk{3_W@Ub"U۹e-IJұ7Xq=/hԶͰeTZ<󨫏lIBdX1|q8J6;a_^Tک 6iNOnAvߛ? dU ~Q=z$߰Q9,7;@5 5x+t_{uu..`mJjR ZA|B!&Řk"}tqH?fq V.?N&𬄷Y\㇑wJ;T)j["5@B϶nz(U}ǧzp3Le[^O=-3Z{FTE{%ux[c͸jp9W-;8*AT@D9;Ƅgs}hE4L^#[k5FvwBj=!OHڨӟ2eJii"Ny(%y a- yYӥQQ1tqUcͻMNb86ii&F#5>LMز/: Ǘ)͉VC %(@G}z4kUskGJqt&cS[Ž8S2TSe~ݐ0wm6j 7#}< p|WL GM4< 7X_Y{ӻMoדD,-?2ƞc|ק!,w#[}SV=8Xd;2%7ΘCdAto[G`ߩ4>N,L?(¶ J{l5{iI0!"菚anuo=,ܴ $Z+B$W)EsJȱ@eؖr?mm>dh/^w^(;(6G ic>4vwz(C(>"TGPN^.z#s`KPs]!K;"0tќQ [(Akz??IUؿ&m;ӞҚJ !Tx;#kCYM*o1733cѯؘ,8* g2(7 Zr<})2|Sؗ5{I2ǐ S\^ 6!ztkEwj͹]NQok{&BHBN%[IB?+%^aVXi ֮Be,߿[Rs 34y.)ߤq&l;\OȦ yo]3wJmsqaWsAvmTAIqQ{f8<j]Á $yÿuyqI2n19)#l'V]B2vJ)b`\84iyй05 }^$i@ 戗)*"v~^T,1{)OP xTj: KV:iXA4K5Cm$߰0;1a%bI'a2t,}XtM5do7T;,¹ /j.Anc|· 4\R8DHOE➝L*Dl^ʆt-V*N.c};Ѽ Ν$X?&lB~ؤ!j"$[wONF_E#u:^I4),Nj6Yk ဥJ_RTqH;[BY0ϤAQGi- a=iޒTXyؑaz%/cL 5 $ڟcTؒAeX,dhK x\\Iӯ6D8ylon'$hd@8Ow;)w:/F!;ZXQ+rUw6ϻts@ /5 ژA6K(Q,JS:Ij;ozĪa;y}ĭWVξ!sY/IAy;|Ai+]ӾfYuՈ?p3ǃ< m-~]4ʣc(늽_DY;llrkHe騃4ܖMS!L!ߠ_zͲ|B#^>-01La8kOAqE-Ul;dU,{b:Gd+F'E\'U; N45Q6lAD%ᗞhI" SWԻur30 R@JdMM-keQp[f4BmV::#.FEnyV(7ͳ5>ʖ& a#DYڈmxĝz}tJu wԌB-ы"sG/S`GVul&zCή@§H A)](\=iK $|Y#"!k\Lѧ\ˍ9%ou&Zo.GUn,s>_47}dm&R\Ζ+"V}7bw^DF8:َ~O |W'%(h3`.ЗFbX-pK6[ 0raaHlfCx*=jrn•;*aD&H`m{I>on`ttѸkUҵ7QwDDW.PQYٔس*adgTl  KP>$բus|.ۧEJ;ZSSʴ4/U33P`i.F6YB;ႼNƥp6|?J=vSPғ*o/,:aǼl;J9rQ͈ޚd)>F.гZe fz4CT0MTe>(n.l#ŝ&LݓN^XIh.<1qdK]+mJ`7oSL\v9R6 كe5y@(ʡIM1o=x enlʴKڙñ< h_Rb[7يceyP%2d4+*G=@-w(L\ڭK˚gYZ ci ca%/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' 4HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1#E§8"EB}N$q#(VO+:-ٔ&[xnzɡEs^_MLf9FxQ`NRv"397I /XFK4J7j DW=} VO]1fN&tގM&tHÎP計jQT?8$ ) IXK$6!iSSا7yӵb,j wQ%aS oX$=) h,ʹ3Fz 4퐊IB?ƂjºN2`,k> GX$I1e^@;>E,d$./AY5$ 9[ZNc\c~vƌp?&|QgR\ s,rsU(2zERQOZ6 9( SҎ8;o#B&$8U78z޾^ 2YR -A}"]_@bKlCaR}!ȤeW f[l,.y`z_:M+^.,@Ҷg( A*Jwh']%_'&词; ! &+-Xnbxj|*Z؏' a6{Mgd-;eJ˘o\6?)eR{ -ݤz> YbJ͝ .͚; 1MtpHm,w*c[ˋѠ^ Ow{vvb<:$˦QQ?\G9e 6]$vO0ֈ:FɈIzj=PLJ=&f7)BghttD4$dtǒ͆jb1b3("lk@+ C;Y#ȍɪT{wrЦqP2݉eδg0Fco?˗:SmC0{I V0THqUX ]R*8e:e^ .IЉdi`Xx#;&#n`("m%K1LOAA]\q)rhEQ7<*jjU˃DNaȔy[yKb''BKXSv @-:"^kp!P/j513#b 9ʘwSK2j\(y4%_^944sWZ<Sꅼ^B }%#YwN߭ _mN/`GLj@JȆfK~NVT6 M1QhS|DТSPq^9w}YK (]$n [daQ[U[iGK1KZ0-oucRcwqj5*8H2ߊXbr4*E ZGrQ%{?]2t7'j.#y W;'!sO$"%*u@ѳ~\j9E@A|\"Ȏ5!GbJ1vT*\ c$:S2!mPFX%Qo.{]ؗ0~knzػ&_ܐKi-Z>(BLj2\T NoFo>,M6y C[o!KQnɾ{) i X+V@KT-V /FDΰM^R}#m( ffvoOCN5zMXEN02hgPIJ 1;_RĀ`]IQzE#݆ SNVe Gb Om2=ۯY}h2zg}?Ƃ*S1w7|l4|<&='z!Oh>'( Àɱﭷ-٦jFxlir'Sڷmp}{~ҙ,`jSsAU%3rp-H2M1M!cQJXq+|fC N_;ՐG,*{}ԉ( h/Ag 㴧XfZ05Ѵ14L!EO9;Ak3XS,|RVG#;r٢6ζ#pZ7Oo rkfXxUѬ֘i}S틓p>d.82 92'cd)g3exΉJ (=1RLyzh-ltW ø-2B&4.i:h=?햝Cv<`0,UtӄyUVdFI2FOB Ocm$)+_~Ͱ} o *#u?ҁۭ/צ-%sfbz 8Bx[N>zj*zrjM?F)EDj` ǧڔ<(zXs4 Y"CJ#)l"PVnoBgI"ߣk%Pap5u g7X@oM ~ޫeq 8MD8;(oY(U5%r@C$hZgV2?3C (v)؛hQ %ŧ\u_U9uZN/`M&qR$Jx_MeIְ;9}ݖ>bHSht"e*U'tS|W3O5 뽴g%eNUOҳ͇4LE |`'|Xg mg%uq\9I-BCiЀIwcDKǚ9;Ѹd?ti5'75s4ʲww϶.Dۉcj>GhrdB[uؙHgLafxP*^Fti],XVqN jG&,췲W>jkM\1Xy/3wX'h0l2>v Wnt<̝Z[y~KP(pS]aA_W)綦gj8.Y]Fg+cc,Y f9GX!F#$gU\EaQtc?Ƀe:x(Gԟl ?v`Lw,_WTu_?$}OC,Y6(xQU89AX:fƘb>VT Oe=F 6-2vIv`xsA;#?)%Գj(y!JdM~7ڡY,Ж{׆o\[ 7ˑA|N[-=otk|]?΅`74 hA>ѥpaL,Ѵ3:8ɕU..7ˠ=-W}C >g7in 3dB8[.f<\z$VSVB.MBhøz7.(s P^T|b>%-Nޭ1`x1M.o@egXt<[~譯Cb#"<3j2#`3Ln[s:hyr$O샪01хv IS/x'ؼ(JQKJM|ٗl8AQUL[j߂%_sb)(sx "@}Xk%AtOcWkxE8^jd%;{(W'pވ jϬ49NWa/cU9X Uķ|]1ժO F;p=[&5tvwItV[i(> _@7?^4=7 Zbv!sYA{ } !c=3_` GSJǟZy($YҌy1e*MC,zk< //:fKsBO1ԥ󄛱OèSr9030$)}nؑ ~@{j퀔3]79^t+j/p͜kQ{7T~x3tkV#%]ɩ{'|g̀z40kFfPQdLLT&{fgYZ  3  [}8],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208S*/C# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u2S]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3ħ4zqVjIJ<%GIMdH|j:?rc6nB|wǝclQG=af2#Zn۫CM0(UP\$]@yu*1D5J0$9SpĜp5 (V/%FNb];}mS "uے\IjDu%BBFj+6SKYny3^]҂oCG7R$+y?*0UkpO)G;B& ac4 }Ǒ1Իd&=A P 1m?m( 0կ[ps=\)7*A~Dٛ_a :9?H9vĸijs'ޢ#F,xmZY#IaMzG XXMUgå21^ <{W7CF+Vl8Pg_Rs3"mkv^8v c35;|J.V Ծvܷ8Vs\ )`ͺ> Q~VWpK.|$OKln麝z%:R-[9+-¿oDS"~^3M IWד:aT@.zVcmDreP.L쏝."%ZlV`w=/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ЁfdgY޷dӑ^yX\ʗ,B6Ƀ?E\5nCos4uu)*NwId }9ZTJ1ʧu 6]fMר|S^HŬBPfO}  R-g77K6捨XT]?H`?Qrd$/l$weRǼ L+o ϐ3&V 4!W]Ɩ]EtlIIL~W *6e 0A.9۲~W1=,@>)5ƃ@fn65b5_o>ovn'=]ATC-u%';DggeC Ey{k)({wI]yǑ9gYZB&/A# HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! B]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+cL6qTwr֤'!P,&*1?ܘ*"ؚA|F?Î-1oʞs{LB g2*°^tv 0@.nl\)'y*QC7c'qw++.ĽnxDw[KiCSsծ ":N涗Lx;zFP- &TI6/FOl}f=l繞֝8-wҚ'bTOkVD}& %<' vW޻ zXLs`ag%mIo_@<o%5y N\mÜ,US!o r@icR6j)-1G5:amvAe9TZ2g~zsw;MC[VIUCn;ǣABy9vַ!9,8޺.Y퉹yN3}“uʹr`D#݈= sAok(XhDY4!'bQ / /;g'`Ն$e彂=R=jYK4[9@X9Q fijy_E Z͜\ra—;򨓖BOW?70Iƀ&?m/7wp;K,egƼA?/+ !kS/G4!||3&Z\#X.LĀ1%h1>aW2f&cC+eqE3/ςZNc&=i%L='y1byqMv*'&u']5Nt}lߛvFC8D:*Gߩe(6=UyŧI ٔ(i 1B*R= szlScYW5ǃI{gQBANN%yF : XPi i:HWC'\lܸw\56a߮2_|(3JWQ3xyK ӥVpR*+FlRFˌqm_6ޮLL|YtRעe=^}/:%^ւGvgF&Rf\!ٱ}JP~mѐ.oX)K.#Pc60'M˷O\q7^Gܰꜘ_Y#ƅ40ʜC* 4Y6uL}?e)\OXp3b_}UK~0>`!/CA(LoKZx$7r{&}*]'J k"E구[w}lM6 ͂NY6ƧOÙh'ɬns޷5r>vhJj Ct*iso:!1@~-zbAڔyOVyВ?Чg(PDf6A!hFI#hJT  `LC+Z/ |d{նghB<+؆:n }\x;%Ʌ{JC14_7-<% }fg˟NBVD1 +%(>)qcdՖՈGoz }#3jQ֓\Cm0Œ(A QZJbHpӐY1o-~Fn'Ǵi mCŔqR,ﳻqߗwH߾/,$y~ѝ me8O)m~>Q1z #-FW}3gK$3`p_>zϘ#CϴStu~ki/T3-n*U`KåinOl_wG7oD$f;x^B\hd6&`Ãwd:ҺGOНtYh,(_cjsAb;Bw;jv8K9 }cj4W1 'dY֓ľ@qwN= ᅠ7bJ$B3|UWsFz$ި7^-BQU8ڽx)Zϼz?ɒd`5f5 MpuLI*LgRGXfU\cRoob8,rœOiuҬ&.(a/T6GFܜcaxADze]K*boR;XQC4Ehp 8wf"PRȀu5u"b7fFZLbQQdRSƲl9ӓAx(Y+{N-xE7|r!`n}K/~u;M6Lf4M,Q/S4K d,Zswb#vf)?1NAiD*JYcl.jR {2"~ kFA/dSWY)*@>n!1Y1uͻqFu) a% V2#$u-VyTJGV͐/?@;Y֫3y>OaQz# 'F7gV@^K4$D fS,/a_;ƛ pj^4?2R0'}\>i%^DRrjiײ1.M*JKȿvUj&H>:~TNj|0kHeL*ՒtkK3)cDz'_Dkj?k[- xH75?'1"pnk+5>^ķ|DJPvK_J}RyNn&8֡C_T|<18v UtZ ]9Z|ȽYU)_.=iMC|AٰՅA'#h 1bkظQ x42V!lV`M2h}KB㪗ftyуT׽ Ӵk,"֍UKVG) (8ZNcgseǣ# D8=;wcL~Nc+2ǟᢧ>q-UgyPb^IC / GodfY)pF8?81>V;?2.Tau3Coj+ VDa-Z}KHR 87ߖz1.p I6eʝ҈˄ȷ2xʙ!(GlqCOurU=kB_cc>Q' Fl=&G'G9LN8룁6(q ILGJ2>L.0s`z:DKNmW%jnUO™K 7HuàȬTz*G^6Q9 ]RXUf>RR [tk`NR^Kd_y~5&`{ IF1(0!89(*x8\TA(}M /MVteK[xm}{rabi. d_|rvV7'ɕl)S[?}lh$arzLbRcZu7Z>E8$hd;dC|[ rdFu|{/yl@n#xW!]Lmŷ{ A3i%"AYá,YQC`q2T$NxqZۚ-A6l#H]iaǵh\y_յ>X>?ʇR;keJ Z 4F*"AB{ҷߒjtjS0٣K #7sb@/WYƷp$hɁw_wg6k@jԸ*&TA.Objj<&O!7'EħmQyJ2[LM5TghC/MN *G(`ߟq>quFVY+=|IM"%I* &lNOx95%q6ٗI<+YZd=RKdm;aw bVE0HUml^N:ij::h:G_./ 𾞢A2 Gsui H-s˲v{Ja> f/s DשÌ ]{2Bo¦-oǍYX,ǣGV;7|zsK bIR,.!D{#R[@7Y`rŹP_\Xĕ+x{ e`xp\}%c7OA9TtUOy5# ~hעU 21(fDzguT`>B P`yY/hWHoG8R!c zDnҗL/Lgެ1| o Rs_ u'A+ ugYZ  Hc0/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_id198:./=' HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! :]·Iq n[:|&[z'^cW} F_,LQ7ql31{DFJ=2N+̺\ y,5Zw+%F[)%i -SFutt4PONa,϶rg0C?~5]甂QQ'!) 1 _)0d \^C& jEHt!-|1q{La D5G5 )YdC4i^hMXk/^;Vt ?p j{Xp$1lIo3&|{!_IxvK^Pe;io<<\<Y->CE]y10ͦ@OVF`(J~xmT%qTҝQ"]lE>2cgj)AnfKjkk/ʂ*ʠFHʞig#%AmqN˻F'C|2+ߨ}wPGqYKdغw\JWB ڏ gYZp-/=# tHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! es]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$AF_Wn )V7Ag s<'dlh'+(z=#0A|-ٛRj+vKh\'=Dp= ๋GBKƓ40Rylb "Ҽ!j}tş⻃W(gl1kxgɕ]ǿ#D )ފ[VP,#)+bС ?CZ'@-<6TW 3zA5п]^1lތFD}JXۺ6 (u좤8Efl=T;gcs$@ 4RoNe7|LZ8kR](Lns7}d?M#?|t=g9]ΗHGo*MY|7}vGT[ucb#|lvP1O#y1 bV0ƚ`"{"ͽ_8kj#g;e2 WgKIHxH<$te{&]Kܣq%7e6q%[I R,XQtV츿 #kC7PL®5J) 0%9@CIt{l 2k'V\ue_hwx\*m ;U}Ƹo47JaJp+ȇaR5GCË~hUm@qJX>IvL_:`y][$p6>솝gբlW+"obDXݍ6q4e<(jT;bQ.5PGÀHQzd`$[%iȅ}k!xq47 6萎Pv2ԊІ2 a }BdI;wR)\wE۾g]b,V k LS'3xj#PHJx"#` \ew*cQ;)YIx0*j*"@_0a{In_a5 U-qh^UgWUUY+e퓐n)zxxi0)B U[c'>\P6C AnV}HJfԭA)&o?`C7W>[MA֗iRqm|r@:C@ve! 3ex`U r4Q.عSP' Zhu9Hw4?W쫫_ʱ>[vRң1}6z51̈6^hé^ҿzJp[ _3iDfdT}MH,(o+m8[׶#2Lrv= ~ŭӥCڙ(#r-pk>稓ʴhbD/+@VsuqZh KrWvZDl$&w.H^2#*!;R_OE˱c @6acZ}6{0,yB&PxM2tÖ5vhdב# \)qJ|FLи-M:U\mki+cǻV/~8_ZZ"<6L'K{ "@;V$&Y(8RԐܤb_֣.ENXtک󭸸y ,13rݨQfgm/8i5/UM`7u7hθʮW|fKAh۹W1_@H3ۙ`FU,*PW}!0bWrzVKZ[0MYp}UaKӨ;VeJ.f 3~BHc@FǵyRGgenQt82?r7@4?XEA0rOOJC'%/B5KmE=n٦';xJ~6q_MUO@]K|&0(jGӧa\J C%r  DSCݜ;mCz !ɢ6Ϗ?ixKJmH`gJvӃš8ӎ>R8Mibcl4jz| +aoyXh~. %zuW]OQNIwݓᧄ}E ,1mGM=a*qr`K0yJܳ"J^Qf&'Yrw0WjRI=ZԜ{H=W 6`@[T30Q.wŎ;q8&Qrk* 9~ P>{T= ?޺ۨͿ X{ [~c3Nw'/ @gYZ o1/C# lHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! o]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdSY|b/m?x'8^{8Gi,EYGetwN*G E|o19]J,Q—VR )vw0-3*j*QRWDSgW鯌8"ewibfTe(эz,P:Hx aQvMȹ-`D3/zJm^A;(WFd n:G-ݐĀqe‡%S̨,>i']_AåK˙nEBDD%]Bb/llZ>o ljVQ𯟯72A*5$J?~"uιjDAH> `Cds$L9YivL`G>quꇮ>zkB 7-+?e[]^W%xC؁7T0Rg-ԅcHaTAmU*a\JS' M9yDSМ6:cؗfG#y:;? N/"PioOdX`A3=Kow&HNK~Y{Dy]4mv(ri?E-(l V. jmmaŮɆ{L>S#Q5k$.k຿%$ZjIE97xRKGHǀ]#S- '/MWJzdp9@+-g>NM1 ,k B01e,Fm& CR q.ÈsG8Ht+Gk-wgh>D#Nt rLQvYN&limbX΍x{)Ed>bj&]ck&^DNsHt./^T"W,Fd\߰/h@Yh$yLNo &5ΰ-?&B=^YHwx}˙l$$B3~ApPV{^>r`IMi h^|4sg [b<  +7Ā˶!>ZX@rL.a LKLztzii+V1yVv} d%-.XU*F g = o_mӊ5a}'t4y N6Z'E;vb#o&1-5 ^57QvxVB&uƸ8-qYPWܐN9!{Y1[m^ DVY<X=mA^ډ8Pm3rxDX)?r!ЫFVPyDoB<2{wP+4 s?ڮ2 Le4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id21812/C' lHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! /]Άxʆ5.f-9 rq8Hȼútʓ×D 5ߏ6i3vCee]av5g֘ڑpn%8q&铸QEȉ`cX~sHݒ;p-ÅQ:= \ɥr+ϝw.bN 3G +x~:LgÏ)`Αҥh)W[qѽw-Q_@S:NͶጕT\k$Vjck N Cֹ;R:EzZ|jyH 2ImFlZt6wִv\JF 9Ǹ*`k|~}8f Z<<݈έjNкw|/[GwMRwU~;RLNxzQe$P<^]NׂRtb) = >I+^ܦ|y7F= -Y31(%6ټXQ]QM^dF[Ytۙ i~ᅆleNGHԃLy(dTY w"*6b50fj%k&1H-JyQ3u:зq/NV.waփ-Ad<|f}㾅vU0!aif%h)6L:s8:1پ ~(ŭyLa DޙF5󵀁 fVHŨ7m!+gu@ vny55l^ As EmCCʗgw-J̎0i@gCהRKܱGfY,eTRƾe2T&8f.e a" rYyv8fN湁-VV$QbBdݹK @o=I.`݀b![ly>wo_ޭk|㥁aooP2oC)ux4k:TbQ-Pi1s6P_,UK%LDe=Й6 QZY a;8'vMxX(V7m})1M̍pT?@g-5nРCgqƊ[$$m(V։~㤧|ZoFmEOO\MJJ[ŵTgnͨaK5G(%n2g̓&k3.AZa9MMۥd"Ƿ|Vv\c\u JQLeL+"464铀ǵ0y'QJ%&&C?F{f!`;Sf ƈ+@pl$gFf)Zl Ͱp^.H UkOM~)0tؘq6뿐]X.f|pAziviК0P?_a8`hjLv<E0>) ҏA'2)9MdD"ZqSH3uXDzEd:kn%!Qv ʝ$?&\g6BC#˧ڲf<$"WIvwe]Y1Dwttp *1ٵd2Qt[m,Ǎ):kǯqI@ubAL-*`D8_ڐ$ت Qx'?$hPhϩ~G`X氓J" y%/F<#]{Bj2fV(Ú iZRc?UNT3nR\*R)0 4՜,7rQ K/#q漵 %P~- Ԕ2gR&G|4L*x/RZb!v0+7<i5ErD]miIoŽJg/-ok51lr/ ?F.%` WZmQ5ÿ\p*0B^ೂ|IgSRC`r~Kڜ>0g'S_ane$!.&=X&9uIFe8n4݋j[!gYZ6EѶ0+I(uxV#[[ j. z~P?tE" i'x@ʁI;ahExd&e%=ݨsDpY>VmQ7㲃`/<,S h)hMz!ACTDȏd[C-o=ߺ_]mn[#Xk v IRW$~. 31㥁?``3̱^{S F?U]Y{-S+WlG>,`RbH^7Y,~O|`R:>TAmҞmSSNFwJ#R< ~ Az $9dp^ ş 8vX &*oIpB~+h&m{\ #FҜ.Vߎ& :$9Q2 8%bf(Kڐ(|F婘{#&鮓y1p䚓QՇ4a)N.&ě5 y*09!W!޿&>ՌC_E]< =xjH_evaĠpSf% biH,:AP6{ىEl?o޵_~3t>`4M\B5PtEv4HFK;`6S4stLtkH_`Fɹp*t]i #-DI(\|~_fq0D̪Ž3 `2L{ 77p–4qMPT}9z&OqUrPfgۈ#|C?xr1O/*v/Ē߱HTJh3+,M9gMAL`(lziQn͈0iV/-YJE!~Wvjo,_MA[A&XhDp ung&,p.T3beh^}22 q6)%aSR7BW)ēΙZq1wUZd3LȢ{k =*-@k{e'3 $'W <`tVo&+ X( W Lw.u=۳U["wTw}f[Fq|QFp'8w[]s n5>=Gt{YmϐmD ;;TfPVRs{.`fV+? ˚-IRpb{iإwwUhN#V0n> T=V\wgi1,DW2@%Կ 3+"B& aŠ3Ʉa&$n0V{nB%l0Et*gпKpVS#ڮ+v~L Z(%40 {.Cu]f %QwT91Ayw}IF]NMK~4.[T'Mu?-~3$2FVƚ)-T`xȁC)H~k [cFUjO~HmOs eBnuXḧ́Xj.mqko$qF[QU:SmQ\s[Tv 줌AL5/H$7WSVjoN Jl v_Sgtq4(!>ꜤUf}V ܷObƨ?-Ma6p#gSNw0m|`&) \}%gs)o՜#܃^<ۦ`1hBP yyceZ}cM0p4|E;xFB}vC,S'\${ vYxRi1 l,MdT qm6UtRmU?B B}sFx-Tҕ [#Wi 4hۗ x 2fCNh[;]?ry *khXQ 햙tQu\-MF~`gzє`Mإw^`>ۈͻM!.dX:+o{:kOP"x>KAsP*Yi"Dmpw‰[aBr?y(ن_.,쿽ARG/ \tCIƬxFyRrG7"@=ϱ\~ھlK*kRG.Rga԰6.RWZP;97L UZKoW˟#Xęk`ybuN{af_2Ԏ )@!Hk T.Sb=wùۅh1)Pq_V֖ķ 7H`σ+<E1o~ͧҸZj)p,Lu䌎pMpÛ4xUE-$B9RaŦf'/R`T!+\m=e=֟G3a[$M7ݟl l1BRg:@־ i9xV]\K}nTt v%a"^CD0(ז!kp%G]7'0MYQzo78 7`!\4CH>p1EӍ&e[Wv 4R/$ק*4 6Z8S$ɴk˩t|GNA˜p[ ;_.jnlT3UlwFj.=X\~f?YgY.^Lhe Wl})\үL<]\&+`˱xrLij9#'U[Q;+j`֊6uj: !۪t,+.2&I|YQp,~A9Iӷ>}go$qmXt_| cPkWl g8o1ЙztYXj<}a{ȓFZ|IF[6މ0e:a)7<-=pm \GR't=y4[T:y{yGUi t aAB-Zlcd 6]? h l4㗮Rk54E*v/m%+1뢒wK@=Գ˳yނzXAWXԠu;)z7#TkC8"]qS}-} a]ڲIYw(d4!=4y~X5@gNW9ƳpؠO׿߯XMb,&2I8]ebF`^PJS ]' % oݠ>p$ |8O>VؙbY/\:;C!>>=T |rDmX1Ś[Jp"ӦT.PGp &_ub/!H䨕[?1z}K9L;Q.hlP613~k*,q˩|$/oΚSf͍3'\fx)P /28BCVx}аT:. j=iQ/dRr>\<8ps(i_4}9,RKlPM8 3%͆F_v^.dʽJ{ .Xx>c Fdn>!7և,5ɭ|H3+5Zi1r}X`5"J31,}QCw?EKr2Ү:x,Yǿ ](uvMoi]\HW{F 9VxyҘ˅' 5n*&'U/˦uلs!\ ]^Q,kDM#k4 l6%$F`z ;C}RՐ&ȺFӵA[׉k2&#NU'*3tN{'Q7V~ƀaah2*AH&Cuh(ʳ榾VA+/=_5GPǠQoة%"xODuQD[n4T x3BgKnbH,:F'dk^XYhEN#-.Q|B Rb&|w>ӣ1~}tvϻH͍'_% (|'ykL: h>l8W$9F{":]1*xꪢErIQr a[|m:};l+Yss4I ul7> mZj]a77P0XN&{˯^ݙ}nPY ~y^ 2osoP@0li- Bʏ%Ac/Ig7 9 le`C[14:xE'V[` lu\ Nmj?^y>0ɵɰ3mWi=BaxI),Kݣ]b4V[ZUߖ zr=3^'[Y3#xvF.&9VjL "ϕ/ p$=1"r'^(,=yrL=hSOFAFvȀ{GN<%r%8b(Xu>g zLY?QnNWUOo*Kfp&V6#'}-ԳDrU A*"7kWO"Ҩ3H.;ר,+8t)/82IQKrgenhvL+"K*ÿ=ɰ3u!S0wGN4MlK)?0vFKNEZE)ͤ&a~+mā4f ;L\fT9Қ7B v|}&(ǩHx&E!A;/G=cSߓ X k?2o\U,:PE:~{x*3OkSIw/ ֏ &uΰg?ЇQ?@ t 5r&ްF)TO. 5nOeaȷuQVNvlVu:1V:7@T_YAi>.I6HɒnNX b^P!FR c׊nbw_9\`J/MNX.ɮaq}(i2uՃ*'|8PxŻ818˚ː :ϗk>&'e~&6xvD`]yY-q`Ӊj ?6OX(/fEy}vCtG+IgWM|LKydZ\"| Y'!#}|<^pj[$FҽgCFD+dEuTE^E^F a_QfVJ.;5݅5 >x"XC:x nru --H 4{h+hmOEp"YH[69p !U-ga $O\ QƊcr{^*L I~ ?@ʚcτa3Jɞ[M>,@'(OIҐcІxUE6CE ȡξI%@dgC6,v([lV^izpU8yGGfCpFQՑ݆ pS^3*ɢU7J\mq9)ۚrC!dp`Y܆ GC6 vWG"r9.HƁU,v~tl@ghKY$[(9"J>Vt`zp!M >%ڊeқcRZl{QZZsorT(/hzзpZBZ*?|h yunrxdZ-Ԟ7{B]-KCi !{nYu #D MC"A: #rBN \(P^>@8ng;8' x΃Q@ f$jq4ʓF_ _%{KKxݷIP26۬!LӍx.nqkPu-ROk~wu. 'Pb,#E5/2ohC?A&(%V=g K=B2pݢ WOiD gYZ FlF9 /7# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`zL\ٱH G+t[?%Q4eWm}2gK|ClR2hZf_2f`+Ϗ3H 'P X<OJ(I͉q$lPorG򿗣8FoC {L/˂&}ސ|$(y "(~hƝ^ O{o$ <[q * xS(!&'`ywAb;KPwqU5#ogF!If8W8/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 rq8HZ0Pj]L <$JwݕXcH1^zog&]IH$fy2H A‡rBwB(̚.&ƄBp9H(lI84f喙r'<1J-(M*QIOg3ޡ0|0,e__S"~#QJy܊$xǍݳ۶ ¢7TSH^CsƋ^OҨ@Xeto/tWH3Hgv`=unђu培иv=ix0=]>']8 8W[e8!s'XĿBYcq}{Sw%RcUGQ[Qmk?@M*Ef˚K!\o)G@2;5ikWh]!QS?Ȁ?4#-Fd/Vz߯S$w&K[tR[W$g"jn)uknf?E<:"Z4v]bBN hz$?T6ĄˣZQ_ w 1h"SXNFց,ǹlZ.8v<5 M+򇞭M8 %MִW0/Y3ŋg^*Kbjݠ S%U[d9% L~ ug'8o]W,VS1e[iIpbRzPfA7tLyQZ'Jx>LfÉ\Į8\0lDa@;#Tb!C\PgYZ)5 /E# \HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,']ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =Cܔw^~*ѩ>jlf t&py۸4{$Z|Et|x6f]ܵ]p|F Eyak+\z\-Y6];^Pˁ9H ^#@l@B8U>T$-" Q)5@)!PZ+m.2-zc<&Ol`T'o!6i Z5Ho37=SZC />ӵF9y͝#&*&^c !AͣӒβD}omXݣNnW&WUP30_C qs|+Vr|m!-,n*쭎hB Uhc }e7eMJ Nn # r'81dx- qJC†:uۃ.e7da zcPv *`8u?RLCyi|b<h4qWک۱r(t}QF^.;p@эyΑ`AQ.!tEH4Vb?+xhZ biQRY ѻu=]{+jIQngE2Gx}/t-⺟x/.nicKm {,CA DlRPe{4 PtC4XmĈ~ۊtcL_R zЖT6%7@KMl[ʶh .ҰI FU%Dq虿fQVx&mGc z{HDqHt@y  ª ,y%@ EK+g3ֵZψ*U 起S+mN`tמ5W畜OBmncѦUF=w ^w_Ǭr'={ƾ2)ڏkuUkc9#v[O;}3Є{Aʌ* WҨ1i&Ƥ"4!* .:or]+ )vnJBfO<[Ysviq^k ^u T ++u[HĹqjkp?ĀTJ8W/T)X\{}!v'ý3Xk+G.2x# _9׀0,ڏ V& xcu0xd. ŗG>_Z>OF%]-tj!1-*x߱ NCo`iv信iN&dR%vFxώl^ f1, 'i%ulc5~ơCp I+%"f麨ibj7m Gp&B/󝆎_6Aiwu|F &c^~ N)cK(LUT!-1;mJLa*#j,0uf7hmR) {άp0APi7>59W^j vWz~H7)^"ٱIEI(xV7+ASk[f<(ˌ|ħUWL6$ےݖ!b WƾE3AR-GHTa8 2̯[[,EȫYp?DD5!*ҹVn˷:R'\ǎ90fzB2BKԸ#K |B9^Q)=S!e=: @`lڝY7s˵VX+:hD[z\RD>7(=2}ގF2-DDR}>@:!'h.('sOTBt)^f-#@~ez[S;A kt5|3wi^> rdIWWqoݡ+g~B+ ؾ)mNu~ N͠"KMRkPkWmg3kSY'gcgm*֔Awހ@IK,@[3Jɗѹu$dpr6UW4 yGrǙ_O}nnDf)AC0r]-UvtG|"w{:tcEuQg=v`0jf~D~Q1` Ҁ(imB6% {@uk]N1}?ȪX$lU+hwmtj䤞 Zޖ{Je]l9@ԐA'emOׯi"I{/ONyԸ}m N*5/2!^ _(2[g%_ޡ^\„7jQ/W2Y,:Jʰ.Ԛ%J4vR)X+qdj$/gқAC YAcU oH=Xkֳ\dzr׺;VpgP,>ڲl A+s}&.kuoi2t3 ޢJm"2^-~h1:9='Sd2: = r}]FJVȉ#We)[q`l ɖ8l -z15#ÇmBV/N64duo2nu%Cٖ0R @#S 3"V] z$qt4hC e?t<~pZS2|:7'In/G@3$-~.d%WHUu@Vl Ż 6=|^]ƹ. wݠi,GFL(ny&1e0kZ̍B۹O&_D&RU.6j;S8 ,OKGX.v8/bdyl+Hed%1(4T$#ubW>h&Ry>vGO2$+: 2{1FcreJۂ6k<0WX\Z.tbl "w?._74Tݱc7n,X.6x-1E]%K_Zt%8WBw﹨qCJlmxSLuU.oz*=zp1r1OcZj(64Uu*S`K?ƻip @HAE:RT#٬j̈uy.=Bv'XɔKؚ=qUtl_A0ILRO 4t;Q+,1U7AT th[6&ENFSH8QG]j!q2yA~h3C;Į s:E׶{YI$ U8_'A(_Qvhڕ/j B䅼r2\H | JRAR]t`_0[_el 1sR.qsu/3Bʫ8QJ`/Ⱦ)F?WyOzvmҕҝ[(o [CpgՓ έr|uRI73%O"y؁dyZx8̩k$P,t&$x&Y+@?..q#n%ڀR"dբ|ώrDam~c]<#5\ 5\9 T̡y1 Zv+]=ş|679(TpEBknS_=.M7va/ajM#:S4ozb9b\ $ʩGj*eyK\e\(8/t? UT 08LAVl5}c-E%eӿ+,֦jT)^N> &k0Lk+Yh}F, >e@vx/!O݀-%3n䢁 2[G#qw_'`M̓sT<_A?yU&Q4!A*PO aj*=I>9-rc3&>)E-Y\gHtIIiPn7[B>kLU.7SUOks63,@m  Lk~LrŲ5/LzO[ȓQ&??ftp_o┃[-MfX2ܳ`I}ǀk̢U'w]if?x#qZ[eKB QI2jwYWmeex<9Ѕ81?vlIn W2!DZ+9\Y,B3[?4u!WY{r:IWr$=$%LO L[2GJb km\ϛL_rl B2?T~k#k.*v{'v.MEd"m8}*NRB>M'(7Ii/8KFE^2sdKd 95z jه>a"6=HGvIeZyiҜƣw1wDr?\pew\hN`K|XM#xh~p hs]!H,i5*:к%[!qrF9dU;q"] ;9|5/M%]]>q0l1JJ,%CwFZYݙ%7iNn"cPw>o o#dW0*EXRi&z"'ze˘PT_vARf١UDlwo*Lإ[P.y86FLMFy ᢬ XY f3RP鰾VKh3;+87}Xk*'0bEE08"( cSAA&M~N6ϔ 2y$J- q^tӮa y*W4s\*8d#'~%is`pҗj=Y4||b$DX5'b6t92ƖQ3`E̙v|OX&QEq#梂δ3iu<|p7[,˰Wn›eƨj&'7bjK1"NtG,;V,#%>(F-jExμ-"8\tW^tks%nAnmQK7l\PՅф}wfLvm'Ю+>Yи$0[*>AD;~D0| ®pRO8zSV'G1>ux ,+a$n}cW5֥y,r DZ_PIh>M&˜ZU̡$Gϵpa*NĽÏ67ӄ kXgVUy\.ح|o1C\s 瘁Xiդw?aXK.APr://IXI/N{ю|XdƲrA-q5Gr8aLzk#=\+~e溏4N%Y3k<\2hw&*_ ֮k-o3]WwRkeht(r2s ilgxx6M(>L83m1^rl9a=+*4ߔfd3TQz=.;CM+͟෥vsRq-`Fl)Hϸ|FWM<9$@/l)9*PkLI+̎^m̃Pma/6AK'VUNF|):NnϦV.-lb4sd$Y/ aqbK*HaG3dpeF頳\S^l$4w0Mx+W郿HZfQ#uv5Oiw2zkqnXV-)xO-y5?f(g 7mmR~E2Ը偫J` Ҹ}4F뜅WP⽻41B@]7ZYsU ]/]\V<ڼi^x$[E:}L$Q߂:r+< \uoJ O9ѣڅ)XXr ߻VEyʈK~0abp6V<Tys ɀhi U8]TEaQ<# t[)O+CVs,rbm@Bև/<°,4`1}~٠sjUr2ei%Uֱ(@2a6VWhy[OȓO;ρ2a #]B.+5d_߻&9@ gܧf WuBki9L!86%ЏjʧᆳfEqجa흇qGWXXga6,y|T) ZըgZЂnB[3)~H9 }y҇7agZ졯v:.ȈWD+ wN&L5^@DȄ+0?#: oY]whyv cf>QE".~=yU ʶā?.`@e%YWmȮEhf jCcո).O5>`NDYZgNh}\B5 kxGrَ1Pl]7ͼy,c1 mބݗy=,QYQŰP@JìWrp.שN^4]n^>DPhYm.?|1ɶD<\dkIrX6&_]k) $Z\q '9EyuRѵt7uo|f>H+ԇ۴PN~oyPjv y P@) sL \z>jAGشdIi rZB9Oe?hǵOvuQ-2r@_GaX.;g0?B_JSml۲ 0e{5,ĥ}p zluHö) ޶l,j'aKQ. uy?wHޱ"?Am/(/ώf ᔨ*ٮxόFY`k21sxlH7{!ytJ2,S*)^ΩSo_v&ɀHA k+;)az4c}I56Pao䂺lh׋g}SGw~4_gx]co:]2hU i*TTZ[cIiM-.C&EIA"{n;C#ARȯ[%b[G8Oiv@n%u귐?3HK{vaLH/;U)'# wmf8W+3UdAH0,.ޟo/΂.-ت-w{he܈x%.Z nv[{=@MR,<һ2jo-m@!^m!9zp8ⓛ'φBЉNfjջDanl$ ?M`bâ>@\2LRSuk1 晶5[:[1x^,OGa?#ĐmvOy/{vkHű?Md ޿G_˕Rͤ0bߩmk+w.KhE.ىƼu3#sg>?"2r*|V+f1BުAhF#ܖ^D$6?3:ZY%'q,Q(5`mz`zEjRJpUvq:(E"9^91" !k?tT>o EwI3] 7mT _zq>{RW38zm ܣDG5y)Ε)SFke>O<^/BVOC/m;{>ΐczkILi@d(+7VvĵT>އI bSFFR^,$6޾*~bI ;MZ)kK^YQ]p[E0=ЧQ^(YZFL;ʿ3(Ze$~pc׃׵ZTG5'-K$Q,Us(]ߜ#٘ 7[_E\ȈB[9#Z,؟K&! g3(=`mt DLgJi3X9I:AS ׍${&SL+uBPr18I+Kglcū., S{m@\]'.cE@z7:M*;D{V&%]^DTzޛH:YfkDC&񄹵\rA<׈FAcyG/:GR0NLpA @eK%w-vh vkWH{+y_~dԁEC^y&/\bPa%WaPJ@#̠{t:#Ʒ> Z.rQi9|uZ&x= h΍Ӝz#3JDV`vz &;eĶhA {2K(!Mmv]>&> odOiw>70%#=Bf\5A*gv7YK+O {!V U,Ћꃤ^EpU2&e3}Kj"k~"Q=&>l;$$uxuAصn>9{hSaZZ̦;k+4t0/8HA@&63]D*Tb9@eV~jug,{ã^.][0e}_>5ѧCC!kp#qwѳ)Ȋ- q7;+!hz s-3 b4(e@HEE)u4~[ (.`)> pN0\G= gcA/'S`<ɟy{M(,Ne믫r* xe͑c<)ׁ#rd1iwan q 7G )1;W-C*J[ąS(u^hj`8hA!= >?GDNHWH,q~U{pY ;=.\7>B"Sw[F j9AT6#ArJd !Kkj\(RK/s\!Y/rk.qiu,ԟrE Hî Ӿϲ;%@%٫]>_4f٬ /Ybǖ5Tm.LJ]X|x{l'SI71A<%H fP0T'L9DG/PôF`nϻjT->Z'rzstc\]ii|e=&r;x=In3j-[jLXX?>h,+lBQzM'0K@rf&pEAny&qX݊ +X&,]LThe6"Z|l]Y1ٴtm #_/祁ڄ2 ?Q+Uӫ[i1=16v(;W)ȼ wƻ#e|ODg_U3כmL7??_傴\"bI2i[X"!.u-RZ0 emX F-0(x6W}llj"'4.ϯor,[!62Px kVӜYfп"h&̲cx*°Oٴ n_q6GOOgN34S?4KuQY7e(8C~AR0,1-ӣB)Б̣RO?wlji_Uvg_^ęr!Blkyy'y^vbRV fikK" bQ_4z׻g4#͹[ǷUt(p(dYD Bw\0h E'mzfЬ\󇍒2Xn.(4.JDՁJ M/r'Ma?>$i ۅbOyJ; ߞTImzB3ugd a)4[NЄC۲c<Ĝ;J;Y4Z"p7Wtl_I)NNjT,~ߦoȴKE^:4j|b : X҆ /'鍙x:J ,0EaB]<o<|) f7i%+, R!WG*i%@g5=տʚNa"$NoB\cx^55Ia\2Ŀ^+aDzCQ%\M9zyuU[SQD"͋t/N>&iW{vҥȴ1Y\ڍ'?qj^ ]eLԗ1G>0A'y.ewu""MN(C #[?ADcE0x ^&lqBV`L7&fhYhɛGێnPu(0J#UIrלfiʝ2A\AWwgYgυ%c& E6Z2{$'Pbk+cʍ)]tdB$á$Ѡ?j8cy\4ޖL,Df?,l9[o|GSAL|Q)躺Khm|5߸w\s`C=7tb.Lu$LMQg d`jӨ6˃Лb8tM} J{O)Pi~ g)kY7#A'oqX5(405^[ciI{g٩5spm]Tz@.f* +fŽR&ԕR`n}_b3N|z2 x0(y< m8Fy_a1:/]bcrՐv95X}M&`/b5`LަPV9COi$!fԑl5 p JZ']}GFNoc[~H0v~'^NY(c7Dʰ6PZL zpGhfęjalnO f7i9и--8{y08ЄEܼDX2۴_jfTiAܧ4TI=LA.#0gesYq. 7onN6B8AHAaEzZE%~o sҵ%1J9E'u@Ws̎]Qcb L~.RW/_Eŗ "/fa[koe?E"(o 'D2ʜ-he`,8ӑp!:Zy@uhq W5?ܦ0]&C a^d9#E9Jك*T5F90Z]Z(m_0k;w"^ ڏ88 YVk^+ "-ެT&TeRmqm_1ܧv ^o4M~Ok,4FgL1ڋyIzFglӗ EB3 =Y5+]z#sk¢|~ޒXw Ax34]"?ZqyD4z- RLlB.YU@eb{5LBZ9ts}= <gqWHI9۟qu3q?j? U,ƀ )w0QM󨉥 :yeAhڤ!DJxuW W4:$-BD>5J2&2.t^~bV+Z&$X pcx[VQ13Sg7A YnMrCM\0PHBilrC~4WRǮbaJM/Ϋ5Q%Sg[HS~-,"ML\^_hfzX#o\Op)WO8j}% eK-NM1Ts$W'8y#S\(W#eTϜ* SUӰj2_[șߒ_$s*/ٛ ůTN%s6}|=(W< l; 5&[5 nA}.,%P<i' 05I+G]3Hy|7SEc .᪏<}ll!1qVnPoGC_DU 﫳UoidNotAJ}v}6d?A/x5+4Rm%&j`}#hPGk8'*!uLMP5;8Ӓ̤*[jpnz"i@T1A7ioQ2 ^(b@dnԨuoű%q_x3{}9YYjY V@֫dZI^m NcDVwQ&T;$G~"MHf.lʅw1o3ߦ>-tPwG/}ĕ]V1jU}U_P*t[gYZ   u> /E# tHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9q]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4ez8gc5);*ue1.'BIP|`#v7:$|{2\}qHO,rc5cgVeJ5%~I6ũC PD3[0P!Fr|_%N%{$w]OHԹ̇ڇ)U9襀W_?h2<ưwrtg?anGb*\EčK7MxTV dax^:lH=g͚86W"ˬgz1DƗA.jYp?1'B> ) EDvN 7E=3AҾ VhnrD9e/{Z FI{f9G*;Fֹfo7X5s +) p*5LAPx v_rIy)3`>gWU(r|ߡպnx)#rĈk[Do_SV;ףC8q!4{'aMUO*+hfZCt~?CXimTSC#Iw#TrC,j*Zݙ<.|ۛ+]ƊG #C ;c&/v TNS%T$imWICXt*bϘqQM;B(Qp{Xg:qjX$P*ۋQM "/*ͣpۑo*r4Bb43cZdCxtNS.m&wAʚ ne0G c O_׼6^mCvpeTqf1ł_Y.!jj%5 89'0r +eeQs*Oi'v1CLl=`p}-{Zn۴Vo9!%+W|[ӏU}\}? OZmٖ~Q4\SR,VKZjC=7+1zdqtAhћ'줆]߳chZ1}Z4O0 b ލTQj;9S%0 EL90њq bn*2ibېuE{Su;NލNDGiy`Z?"ׅj -%ƈHi}^#;ʧApj\\OOzvؠf]ÒȬ]jĸj1tN1V3͠ZW Q3k?|?*v%1"L: gb q+qF"=Kׇf\8@Or( Jd0fS1n@b B&Wtz:PxO SGɾ,<@ sqLjH 6{sF7v@c-.`|Lщ<0Ă־:'`(Q.c[CGTyAO?۾]Ut:'xhD믙٦Fѝ6`̤J(fx?񻖁|-2+ډSODBUn:* ؘ>C]^mǀeWB/У֔/"`R k{QրMc8l1cУl$hl=!{*vݬ{1eVFx 8LQ~AYLYnR4~e-?Ψ,Ī\8-amDcQц1:s$A"h8@Nh|  b#i 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 G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex 9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texUEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.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'@xpXd`*[wk۽3{inܱ?"j#[Ebİc|Zs&KFӜ ^jI3Ǹ6Q²bp(*HS3~w|(Zq}+// ʒt{\jk#KkY tYf`ot3q)e4 8=Ƌ!b\Lb jD~o#upˌ^+~?#V"} WKRc@2كTxOX~H@50E/K=$ /cY&4ΦYXA9-UƠm?zyw;iT5 _Tɠt PY&^+YJ vxU[>(̙=@Baڒ\Yb)7(.w* 0.ɂa/b_8-ŹJp[T]u/4DwOO Y- u{اdI! D;S /\!E=+OT4P\ ]T\J+[u#@OiNR-L ;Ql6'ylݡOTdž2Q"sOB.vbϊF\ؐߖ`+kنrE8@OE6›A)0G*c>0td,'E reKJ6c[$E%M1Iv͞|"K ^Ġ+W#ᡫQ/֧<|.Zݖ\;$%E" p}pkWCa+;K˝yoT>- =&'B@-ww/qMΌ *mexmQ .oPK4}@8uoTVC$"4c\UBIsKqݾl 3,,"5r6گxҨTÿW.NCB0-5<7P7$,|@MJ(<~d>>@jYg_EY\$!"T|G}FM%q}Ƹ9Sdjv8 G]W4ԚU2(Ј-zsHSw`AcO%jg`ƃ](KciKG&AךVQSu;>Xt.1aMcwV;fq 3{jK~g۰AEgK}5i^_/&r4:(̱Ry>cخvgi?"6S5چ8±De󰼡µXE8ϘC:2y$,Llp}#; ٻ& kܤoK\@sYZOf܆ٕN5&E,Fã-p9f`}ԑ.k+x vqJ GZ+ݰê6J:Zgd0N[eH;{$QweQxwC#0fӳ|Um'&RLy^)R>;¤!'Gv0lH#,qjة+KbiL5-PZ/> !Ȟ/s:"c4}en1+o.+jer /sܽ?ni(kϋ17]u-f0`CrK\vM9Z@*G5 X!T}o̗`6jbOtvrm5qJ2XH(պεiKG?`Q0LLE .B|DzA +/W u_ ;隡4=˲M - ~xBVr;9:rr?X0kIK15Ҡ^d%튧5M܏d{c58H(V@SIr~gcҸF=Q.}?M|[`=KNdUzOxSCiT Jgs޲!B-k@S%;E!5K—uCŚz^]x0qǃT7]5j,{\W9ɰ5t85X{o:{Lb"a^i\;yl3~=y"DE@m7br^6obcO IGR pfs պK:⠖NZLBa[cd_BCP¸v Sb;7> Kڵo]шڰ(¬~䛊Mk,E$e{eēeGB@/R~mRZ{0vԯ6CFNmdt ?17w34cN89ӏd;S6YbqS973vb@fT@54>nR_ȗ ^䱖CdF':0nw=]N$u!4%?";Oߏ ̆%J7֏ ԨY]fGe ʵ@_<Np>3GBI^T}gG#64 )+~} v>\yHm.Ep+wou[允-X J¾Sv}W7BL&)JÁDMB߼*31X|qNe'}ڏB OiuOú']= :, c8u{E%j["+Ŕ|"ut[u>^*ƌ0Z'y!QS.xK{#:nv5+B59θ_sHi)yzs:I>gX-*7@1:EV@#As-+(|X Of( oIG"4kJ7ҥ8w-u5ew(@h[" rM` *+l*3EFD='?oͷC]dI3ExHnϗNshP:_d1=!# 5C#IPx0\kKd1yP6 GQYY6Hc>7=AA(7?/$K$<gQ dpi `8J-$T/ ՠ'՗G.$MLM:; H &oTݠ2I춯*h1QV=GkF@W܏g EH4I󖟔hb_,'|l򯮿~c .JF$Rv!a@WI1Bqslm'էG2+8coMbzd0!]jZhTb[Qsu7OЌ.s${ v6)]?~RPWVڧe1=žY2<26Wj|'{;&0@*$yGz:`bsWv(A0DQ {~UR~^KP6"G?rgv87%,? p Tƾ>gV{q}6V346kk[SQ7vVywWEɶJ9kKQͺ{)K[+sdnxf"9Pm]o~0zEcl;%7KH>i' E!ۄ@3SB;u +׭%kħ,G K wBu;;lZJ4{k 7!dHC6Qm?W' l/<+k[(Zz2?Lmp$4 M>"WCJBy._@&oZ і'+ ޳SܪaEU 61pܪ]k,~'վl7Sʪe˨ 3 ߺ)P+C[,,.kQsS]?&x8sN!eEM{qsa S 6X̮:WcqqωiWZcxA_7IP6.-GR~rP\ũUtN46`чh3栄v{/9n]qH{o5MJbG8ǥNQ8Hs KAt?B7D4$$W9RZY)?|Ͽ*!by߿&/^bPLN!N3aZ]ΜHq-#3Dh,uM+jMpu &fcΦ~{ 37X馥ƌ|$(9F|T.FΏ^Znsi//xC4H*>*ysaBcAa:RVbs@IlQUU.6h9nK0T^m:A귙+ #o ;,>rʱ#nK8vCE4+b]9Ekfg[p"u&ͯ/r;޾ :tjG6ό5qs) *>,eT7:·w=Bh h`FGXO.[WQ>L|<6WgJKP|4±ho|fSƈ1Qi 1lߧuoL*MIhœc*?n:Y7#T0ywף}=HhCGBd!%- &Ř(&Ty_6dd$DWH)+c_-vfxlĘ͢,IVGiWm}_o-{RI{c\% & 86_}]*{1q&Z |HuwNyj:z[E, /=rC:#ݢ:ʗ tV\:`L֭ci29e`q#+Di%>T&BW[bշ3Ո(M^D< ZB/erE TdqkG&i尫TWF}k =Lu"Yc&o9`f^.U?ح"aFDQJ4^,pfhs@ )X+R;7Ok7Ŭ0AC&P{'A`Ԃs""M/[XUg/U0eމT>\0nXf/mIr{|>C! (j_P+͗nxHM(Rw%0+Vagůǩ.R(y{h&,kQ0cY_MVj=밵v\$2RrpеNyyCu9ެ@OQ9oԷK橻ԹhQ {OV piƟ[> ȴiY*iWeSAԨCd.@huFİ go'=epyQ첼-]MSеp 4vu qirԙtcx3_\,Ŀ7<ÇgGL`qØO|T7ey_hkzq ڇ(^? qK*ڝmI|WolO\.n 8-sV4 T?oDnCrXI2e*g&t¤3tQj Zr eEpBSXRNЅy!%k.E>i7DI6v3jhD4UTFK \K.t)̛6o|2mv >x飪Q>C?Cٱp|vPJJ s:d@dlNP-N vߌ[^Tz0$X/s/"b7@Yڝ)9uwNRqRLL4(oa[X@fj 4JCu`,֜ID+m=}_b(cqKs(FL@fa4,BACc!3UfHRC݈Sd^ H;L5 v~E}l[IH&R-<(xzGOrn \3F_Xd(K %]. |5df).ͽ (gq{"Éw}}Ħ^Ah&?S sJj6+f@E^|;Jؓ)8˽tsʝ- Vm{^0pq.ƉR5|Ǔ[ۂƘ$b[#;t7-A7J0VFz#NXi`+9kuU\zr õ%2*TX1۝`||C漎4ngVh̨{+N[+d EL#/;o|W6$; &68*eocP->jpF"IKpvm,?Ok,9lQ^*26)eJ<)!TٮBv8GHKz6]"wm{I=T@%AR']˕{sN _T>[KGCf ^k-Xp3mq~ ?01\ݻ;,  H50)>"֟J_b?/~A.z7j,Pih@vD\a7q-{wґkIu;C^7m2mQӲdUk#SFw_Z `+6D? ;|PfFF#pFAvqytq%v«OVy}/͡so].^FD_fS =Bڈf eb#lx,nhrQI#yK -ε{&}$>ϊN4G8K{x/٧!!U!2+<]o:t#X>p1Œ539O V/5xZME* _Ǭ,}XPbd ?}/Gj9oߨtP?:0!}y徤:1cRONf(sIy nc-q|UaPε#k1&`l's@~0J g-[W sCXt0@q8)ݦ4v"ת_ipV^-; = 2 pHeQ?C-̎@R?cyW%2Fb > ΨBؗDvHq$Eo%ڔ/RĘsKP)6O^S4h&- AKtxp{n՜H'2`,`%0C/bs[ csL/]ebkDÿ2l 1\AEMC[$dFvl&lEQ \I^ՅFhꆧWx"(6b*!KX@#pNn; AwsJhМKX[ lԈ~Z6EhO%ېVvw<`̄8ꓼ1m(9oTX,yrH,8+[Dɍx,WwRj?Uiwzؤȳ/1HH)&prK;~ $bGŃA[t̼f|oO}+Q_PN|y?Zpog~`UZsi_$DDLdgzȀ}6bmܷ"|TUw'U>߄v7xi@cocPN9جCcMb /AfT͚jhKǡDKa&̝8Y- p~AVd/SBbj'fo6aGb0U|n&_tL{1ΞjaH5&׸sQvSjlJDݸMngV\BsW}wj)*2^׺7A'8[+bT1g\1:2aAm݇d0@|<0T\PU}Y CK̈F_x??%A+FӐ"9X`dC~~ X]ILzW&s4QY/dP96 WJ/`lN8p2f|NJLWO΢(ۂeZղ`3*J.1b˄ކ ZD_TFLBtjLU/K`8꾰z\(ɇ::F-v; يQaXM<|!lcq Ԇ݋kģG17a By&KոT%Fkf {?2/vYtw,~Q{Mv^nmtLÇz"* vVwXZ+׏-'f6:[[e+ZF4l`3Ľm!eI{頂yN4vhAޕYH>ы0,G<'F[ +kl0¹zX[)j[R88t36ބu}IXtrj6Tc5MSL%yo761VKPVJ %"F^X~tlh> i5_g%]Q7^kb= e()dFZ¡Q4֑@ Ha!row!Sצ/Z+3tn"}棇6<9?۽Mqt ڎ޶\I0}s"%gYZ  7 6B /G# tHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f)2]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB|pCaO<) ~i AeJ?ޡ) w;.qZY\vg@*£uo f2m}-w{')8nǰlD1M+rےaBdG0=Jpurԙ XTƢ$Ή]BkrƈO~.ʌ @}YT 31{\8Zn [ҶXp3_'h|7;Mw{zB IKwi8M3-njCa) &nlHd;ɞPAރf$F0-^dB p~:qmDjxf inLgSXW/^NAu( =4DK2lΣԌA hAӴ@q7'deR6nklQ5 TrY,ONbK${vhhTٞH<.e ͍ղŗ=}!V3pU]nz)uٮ|PTeǪ4z] #Af2׌P6rN84oa'\JkvHUzx'Ry f+dk|%%c7'WRtV㹰h,i%SzIIf"T VpK'_9GU]U93abM`'^񢔞l R/9&qH"խױ";1i<~I99DŽ0=.حa?Rfo$Ո7~dC#I,iR$v} 45׹2FYWY-ZR- A&> ZFtΠ9kK̚zYFatI?jgUj;v zMP_ק=k9 " +MvStymKC% s_Aƌ^w"mxq l`JJΪk_w6:z!Vt^bGtԖ ڣ.qyD-j! 峞ɛˍ 17QBe٭_iU~⯩a틒]ѭ^Z-?R i=fvדm}+4^e!ҍ e2Gl~k+͌OB *a?9 ;DT[]HIF2,{}~ jd󷩝DhsC8.@RnqhZ7fx IʑmiCXR*^ޤ֘ b{l{D.Gm<.E56!NK6x9 .M.7cC"Ka}qw1Wu8 ] JѥO+IβQiPD1` Jlš^6իb3ں)Y$Dcd"l8lϳJsiYs<~MvdO{,N SKX7so'Ln浮 -d"ρ2Yfnl Pv2!(퍯ߵ=$7'#0[8! {5 r(Ror79J(㺧Op#ƒDesj"r*8ƶ KP|T=SQgYZDd7ul;+]4DpC=9`gr\Z,:X6nh;ñ]&WyF%$zLi]&\zܮ:hYw"[- FPqZMȼD63?u.A-o<ō7<\~X˄IW`su G#Q_,ID67pI[za b/5gᰌJJ+&t4l";gٛ\v65ek:ѭYs=bGS`+ Ħ:D/$iv7h'$&~f,%ŌPcha)*m{)],$xb +{-}n9.\M" 4Rݔ c=v.J1we_B?[|8 !Ax'H]o)B Ymzƞj.-h[*u,38+ڔk|[>TH_KPGVH7qhkBex D%u4Ĥ+\uyTTsH|ۏVe, Wܺ oDnI7qO#= h9W6F`1U<}A%kUJFRM` fڣ>m6槃>D6V?fQubuhANʪ$g>h7 _#a xHP|"RhޅVЌ"ƝZϹjظ):pk+Uh88;`2Q1:9j JlbOLN$1+L 5 x";ssʧCXfȐb::EzQ=g)!Vz{{8؅};S_C!AFfixYe%pR`qh5!A@DB07q{*5Ի5dMOG!F6_裊] 5bT5;1 t(FeR(fT??o,dR>[1a l6^;pDs|[PM!5*JdEAIL ֠] @n]TU[.1Yi$}瀞GM>(i_` p6SD.yW7 f-rt.W^Mc6&~ul8<"WxEoWI~`Jycv;V5P[k=(,omk#5.*׀9摚R-aL5Wi,)lyiOAJB8ʈ0Bx`ޠd.Zy pI뿘v6S 6 KT1ZeYG# iR]”@E%%mXWMArOy梉BN|xCfӘtk:"쉞j-N>Q^ Z6)cab(SupP|Fb\ ޢ7y(޷F[r4mέ{eUudR\|)))Sf'$;h7BgVWnaCn &I*SJ)YV4NP!OY5hV ^jBLYX̔3zC%`kbw* Ąoyr rL5( >CTC9pUt?.|!iťÓw|x-υC,mw ~F|f®2.qYMd8րUSnppUy| EN MruSkF]ޜ=~BvF%ʰ|G͈ZwM"b{m2}X*zT &'}+4˕$ەDk~qye%&C- &;0u4_)}Ư7A;HqJXWĜk!E\0ZƁYTP^v~GS!#Ϗ%i"=wiF醷@oWD[/c<+8v̖尥 ,򑓉-ch0,'>s}W~$L@1heKr!M0QZ TQ[~AeY?it䅤 l=9Ec@Q+ŚCGP&Ͼ>[e` Mk!Xzh Ϩ}?%@`k{b-_n -Jr, Fg -t+ ,o 6s64ņ2BFA Y3_vsv:OI-NKC<$G5O  D{$փTum0-F$y74CCEN۞tpW_M*a%ydt^Ž#I:$dGJL44_[(\f1mIN[C+3p ^udX).B@֨X\* ]&E4?\Cit9{V=D{ՍHtYdl6U ~KkpF_G k_qe qP7|(`dG|c+j)/I=2pc uY1|D&ѻJK>0+rkRpkm%jF$B]*c2?Mi WPr+pqWgV9eCA Ql 6鋱T2 ue.GF_ uP Qc) JNG 0eӀI1>}ǤWR{>őF^I!.(zM)9 ǙC/ R|ҭlIď``bH,} }q(XC#& ۊ>G|J8i3a'`fD$t"7#xlc{:($xG6Pf?RguHy&&uAnRdzg;Yk~-͢ ,[^!Dy"cP/(|aS~5OkAhGSOb5F6PVl_hԡi YdF8oJdWa!V[q& i3M_#tvﮚt!.6 u ޤ!j1oq{X ĸ>&-ae:݅,T/6cFQTq(ʐ4ׁQS6d!:I!&e@vt.$L_|O G6 ͠ś$3΃ X0tXDݨpzW^ŷA^'vg|>,h$1ΝSW9W=?9=g~3 @X F| <@Z)$#ŒXF %RE l|tk˵Ts~U4N[x$yZ(t5mL;Y txOʼ DۜH0LXX;pa]zG/˔s &mLG6{Ċ #Z*"C"5c7ǎՉ:,9DsHt|"=*+.}$8#%`bkR8'JX>WBt= !JRCw:KFt\u.` t~ [ޤ/@0˿J;KY ͵ZM@ѺJM'}"#$QAixԄ!'P~eɎZuYM })_^o7&ҵW&^/U67ۘW Uy1lZП"?"ĿgWLo6 ~Z3.#}ۊ_ γ 36@*m" imّ݊an[6ĽY\,rQ=ho09$)fI,UJ~S{a|`Oqsckh{m^>'y{dhJtL=2DQSF]㸫yDwH2w׌Ƅ0EB{0<~ ӊ\s;eBV)2RVA`[D{iN ؚǘ"+JG3=FЧ!N>"*O>xKO eT!XϹJY_ ]9{PGɪ5 Tqr`b ycr t0|i7ђ!̘du-l6c^sTUHI& 02-4) L`b4L~`07ar y,iC*'}}Y{io3^+]K ` k8ޝ6Oabt_1$yW:8BQz>H?\2iUwv۪$;޲eכsϨmX/̧,M9GEI6Ǭb[O>ʟ:%]uφB?DXoϤC,~V^i0ņBs;JfĵPjw8]8ʥ@/QE/Qgr/s{8 ~΍{Nki :k]f_'s*;0Zk &^-AKO7@8-̷3Hcֆ*KyN@ǒ(a &x0 'EcmUlNE自Cּ,sjzDg# 0<{!pk^`^=NԷ`2p!HvgŇY'""tnY;6c6 "~m05=_ZNH_8$ōiShk:4L/Cap㫦*qHUDHl,t+UHP !y r>gS U6oLc'U)2̷M`m[8GGL܅4],z ?Cɇ]  GrnQ0*ˈ؎2V H:S$2{NwT6b9Z]qgۻ 4&S|@;ah oha4Jf EXP$'NД4`ɕxR072*q".Wasl#jS8f0kDxC/LuD9g-e'z=?4Vaŀo>9ïDѪg(IfF/l'l;~< WT0Tu)%J~xq >f,]g1ړ]Pp<:Ki1wӰA?Q LC /fO~c݊rJhgUff zkk3'rW wPOEݍ唢Hphm]ߌmFj4 (属.7ÞXdqgHmF(e(]gN.M:YflUګfFgYZQF /E# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq r޺76?iG//'v͈^?oFsj~"rpA1zA[\eR5Uo,.cl#8z63eTwDӗr;thL+kYy4"=ͥU I&LFz*0[9-Wj8wC?l~4Iplۖp ߯]?_hH?Jeң9]iwv"{^rEJ{c %zQy(8ՋN问%>+-Qez}x|XG9WP"l,&i e^aB<t ,N^U$L [)4%, tWi%ɿioYa5VkK{IѴ*#_d lBxaxb1hEe'IM ZV)>%a;\=8C^Wsm\ޞmQ74ɗQYA J҈t{˨y&u,PfUt {ڙ`܊$B\sNJ&4+)but JOnwݙ,5 qjf1̲aEͱ )wݾSKL\Vɩ8@=aH\ӱ>XQDM ]JԮU6ԀS媔TʵcuFwCҏ  ضӼrj$m'x/+E3 4Mh;_iRU3t::2D2YJcr~JS7-0kO-/]cqS`P&uYLUS(oŕq ~17xGxHL[k9Tn9mQCW)K2 TJ>тEK_'\_N6Bot|A>ׅ y;jItOapMD8ψ|UR Z)ޤ]D\Jof~k-ߞ,~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 rq8HSܫ11iaq <mܬw5b@A( ye(Y@YJtSl8lr&/9.粎SkS_I˔ 6.5s8c(pce' R1L(0-4X* ^8ymy9LcĞW5萵 - r}LZcdG„$ hBpȨ'|᨝612io[Y~gYZG0*JowtE^ T#mGAM-de9hՅ='pQ+,Fa/ϨpW@\ħjն(WXZx{J֦jd~[q^u s-mxҽjۨPKs珓aj V="ƗHG?ZbA:XWwfQoD\u@ZӠmrr A%83 u}m4>h Y!,cwt)MeebD|=.UBELB< Yj xbЪ/9-s?Y7K=`[4/VYd 9N"ysL/qAV>8F'Y8''K&4 \8 KJA#:nryqT¿yP0J16J{i&~]͙~|[2`@k&ҭXٿka[Ǒ(3/u2"oMXSCDGT_d|{ E>:]wҿCg-ZipzsKO=:^قv#GL6 Osڹ@]=xb`37c\KɌl2!"o:[Gǭe=|tύ=[C\w?jG~ZjގV<0?rGvdKgnsbNZ5yP7P/[#T-jr+X3waz=eL6 `7T'vXZ~}OryshcŘ$,SMbRVx#xVI/ $&iiT;9[֏'/p38X'/0˞*I`HєNL꽲\m;Ts}:t2*W};ѥV3w"erѠeԑ`5)y4G9="f"272l/5.G.0][[f^TYҭVlg hֲ_όn 2z21@K`A.e"p˴$p+[~a춦kk{rmc#5t=RS`G?] &dte̚|LlL|bԍW$yH2 fʷnw. ߩZrIjIE^ȿCUIiП?{OikYfvY6aNCfF9RN!zf%T|~RQ~bfCJRJVtLK\[C-vk4XO$Cmwe2n`p: ]J&>FkQֶ[KLT+%ll\Fx QX:bnLo}ĺ6Cyo_#B;vQ ypBx%>}R $ܬ l!*֔?^AgYLjVނĮYewqX=t(i=?v Sw/GR AI*^^Ey{}p~r;R]i{Jf=&(N/0"GG"N_K`BuM%;HE*|̰W"!7[ `6·0Ͽ:;1F Bxݽs*nX*M&i_K4񮉏\ó6@N?'UZrIAS'G9pBQZ*#hOs64_ t}1+yXSIѣr2ik tJf,!.}~K!zjoiYh_ArUxRmh L}6.@`<]0QC|'MJŲ&*R$ُ{Z4]/N uD#zC.cif-A.4$9ʣWd`菕\ޥHWy0/jvzDX 6 )Wge_m%^qPoy}ٯvC­;%$iE@kĪ=m+Y.Tݣ?ޖʖ0i(I'8).g~98n?Z mnw<x[a~kxO"`51Н *lrVjB ;Y[ ;0sW{bX,`C>f wvB6=Z+g;UB3-2 [fݑݗ#B$yCFG 6QER֪}e[9efH_KEFpk@ȑĄK(yf!%XoTNgVs|) nc^l%B㱋AْyaK K0oq# ׁ\AZ vWe7z0A,]sZqq?'VU̻.? a؄rfYUr&Kb.nٍ֟.]:"pz[0E{q%Ge[ RHS!T?<Q_՘>b$ݟ_i%@I2碑A0GdFkZjjn5_C9DJH?AfMSZ##<$sشQmOs烹3: 3_6A m< Xmj#%ɌԭO(9.ٜX?!Cٛx.=ccc+oNFlwk[+qR92[u8aO b^řGA͉ rĕ_E3q%|ov}m* \[7_UTs=\\DֶWU ܁ZL <(5jk(`H"p`EPBNL텙Ǐ#t4O8WUNlë#8m}$ EIkPR56tcY(/1>{m{w^) lO}G}}ޏ$?q| r nǓ/s\; 9Fqiֺ*Ǥ,hCd]lm(B 8;YaTw ;%B/DZtcә7%d*VM":mZg.7yq."z{+ f!|"-k'/H?F{` Y%/DoF֟iCpΉU*cr58ShO褓6-WMEn@0K\M&zO|3PH`5g)JS cOGf,NjTRh!od `"IccևM2&i ~<Ǐ\ NC/ZעTaYJs˧ D&z-j 4D"FxeCR\͞V "^\9/eW1MjU ,0a=vꠛnSoN۸Fmش[KM{ fNlZ83b9MoQVClН3 &[$1C#Z}G*;b@JDD$P8 M_;"zv_D$+\;Ǎ~Ay܌QT3Bx"٠"%l(l+?h;ԁSVAe)۴% < @г=:Ōx| %#/'\5K9 lL2 m܎A2FcwHUxħmD6fb6UUm7=c(#)KؼxD/!yKB@}IY^h5ںO' 뗗{Cl4'${Q8Ms@i׾i%9NIUFd^<2nҾ*(%h=u"!v{s&1[pQҽ@* (_#҈O_=tF'tNUO%j+Hv1 y"a8^JR!uz0̥Z D.Q2s4rW@;O&>`#'j_ġnM+6#~0Z N02R݈3!F?OJmvB:Mi%]SeoGYhg8mڒcS5| TwKBM[LA[fھ"xAp _ΊÂLوaRLºSb=fTe?^ ;5RQD 5A5~l5rPc77!TER24NbjNjd0.蹡6Tƴlz5jfkʾ#]%^gG|ږtnu^LBxԉ̊OS4O~'¸'I4 ٕ ũ;Vy" a(1E۠Msz4t)x9 TIrљw=!Mվz ؅*!!m[1;JJ q-\:YVľ'Qv5R',s4Z?Mh5y:TC-t_]fQ܏ޟ UA@܂\uܩi wPi@pzZ 9,"Xѥ*}PAԙ3eU+*e̼Sэ7&mH8-X~ֲN%=D|y2t4VaG0J.zCff!gߩF~j \)# #c޷S+na9@a/Gχ‹/?Mu;p|yI8,9b/i74YkI>erO-%2dV{"~V%@֨C{~"R7ĭz1%DlV#&* M2"LcԼ-rB#3߃S=H VHm32렽w _FRDdHZrF @>cKݮYh"bP(Zr)#uw!Q*t!Z}龁ǾZo4X`CAt*H=S64g-BΈ6%Gv Va!kÃ,?iT`*LۭGnmP?EIM-6qQRu ֛%qjFm֏.,?@MX<>oq62' ˸ֱVo!Jȶ↥'pA(7?nHp?K_ 'g&߾4jG qؐH#A#abgcic;KiA؃]npoĉB&qne:x @⎊NNig)풤xgWHfD4X7oDeee^c!(oɷݶQ4`C IJ `[\h_7/ȼ!6Vtq~ *{+I;{P  *ҳ&\JeZV[aR)1COc}]pYU*DI|SkA&? N^ٺ!1mcTNC۵[=ijU1z؍Ǡ jX-$)GS j NR.NK[ .ny*VڽO(LnZJ,O.A*@H~8G{JZXKj_Ā55B+V&@Ks1;JYړXr誮 U(2EM\AѳOH(t\W-RRQ|UjQOqH TmwijK !- +=]*<:)G nO!(n/qmp,Ͱ |*y ɦ/gӦ}0܉u19=CntT7e>_ڂB!g7I4ۊP$BytۻOsH~BYE㰿!߮xw$oEs{^wWUҍ3tn{y}II r-WD@"̒g&$Cl-}(UZVG _{㬫t`| ;8 4Lqahʧ{(xahZtj Lq,ϯ"B#$_}:moS LKr&,&`M8JڠdMN#1ת8my&gV3^*V&{Zxa ocAf,IL+o9×ՓYg~ϰh fR W,`H51zc(s׀oA0hةVoJPWm7B5./I1Aԩz.CnM@^wBnSyC#$`K [Zcv=y6TJM `RN:~κ2!~pE?- OGk5f ¨,ɬ/!muNeU׬f.,`D<񸺈;hmͻP@pFE })3X=]iyf^'Hר=yy9L,F82p}0/]F,7Etel=st:W*񀸧lǧ7 ~j3bRٕcXn$K.uR~ФHZTp%9>v׉.8{OX]ni $;ˉ>z+Z>l'CYO>suEx+1FGRNm*yMwOѥ~7S*W^x x1gp=0NypN(_0>Ju>~=pmp2S+&gp `INNBxօ|fjrnv+Q}=_ MEpyhl [NA2uK>"Oڳf'&WX!jq0Sq|H-~d#O}K&'ùi};Nvj+W g7S)bkrr/{^6 g{rd3>0_%cYuDV_2 p%^ZD>>D8IS'aO N]]Н =d?#, 5̢:&/}YX Yڌ:"KX"瀝SGѥCTÎoG[wDr+op%7?bB䁣Q5Ym9r%l%}JM+C/'Y Bud?>QoRm}@!#wh=9<0Gɒ}]5(Bst"|84gd_bY VH_^‚`D j΄ԡb+)P%eT,wݬWGIX^oJ2K3j "5 2/ȓܻ7s>fv@ P!C$nj ]Q WkW5FBq{q& ~\ ^Um_&wR29[ ZdE~-,{Ź RX'M|# F>՘A+ߝM0]wjTs8:*DW_:2e]t('Ө S⼵[{=^ۇ<65$[%Ar_PGW'?&@'=%ӥ4UyfMU) utjwg'OlP-QΰOFhJ(&eص- QWd Z=謯Y2 mE^ nnj]$}ܑͅ/#wI0۰B2Ͼ~Bcl|w8'6@TXv9xK\V?O xFa43*0S e3vE$X=żlS]6KCLW8_Z ʃen$4t3kCx{w+J붯2oƩ{OSYs1F>TƷM|p4Tl.\#eY| A K%P|?HbLI hJ|%X,|xRJCSv\n͢ãD}U( Q&7@5SSFmka `7#`TɯnY0)w &^J/1Dl9XWq5M?3E8NTy4Mt|yLIHNnB:SLYG&_fz'׊ޢ;@X:& q)=:vq'O#-hʛF߶:(^/]C2p2hDT-X'<۹Tlfn=kN+;O)a Z\d= VU?M~Kon玅*/~]TPUaVdl=֧sŒ)q:_Z{73 Mت7p\裦| ȱZhHRzQ~ p0{cViO4136X9W5J1Y ~zo'͉P 5# u;smD?L$`\^=+8K|!Hbb?,f +,TDܿԻ{ h1`'q?e\cY@Tfe,UÒkEj;x@O5;50LM #h3)L_)8*76BW\0n8gt BvʹCbQ!yM ,.˙Ԩ!Wb9v~P3=Jz _.Gr!.h9 ,Yb G(j+W|+-^X|(0 *`(EھPr;)*FE4V҃j2U`eWU+Lӹ<^z/򘑚ᤄ:꾦Dlmrtu~h}ipq! NS@adƿFr0X v+UR_r!@IUyVyaDh#0!0ɠ>qB] ozx 5󇼷NɎ#IVUKoR8XzI]w8ո`ۭ vsYXU,-\>`K={anL?>y6BŦGo!IܧcSemG't<ҨF17 щ̗f*BKk2H*e$i<t\aȘsVf’Xu RC@2^;@RNbsXM0ЅnDAG8U"T 暩(ah7vBM$뢀 @GS=?d fP(>aSaBL }~s3``tQ٠ JAMs+1#LE#Dd[.,9xK$;߯^M="T][g-ڎGmq#y,wߕQ`o2Ε<$m,FH0gYZKˇ꼧7S!E!lq( W@~Ÿ:u)-r} c+>BqE?27F%^In' F7bB/u*ԧdu࡚ާ.Y$EV ~4Iķ<_JSC pd3ȉ:p^^ qo'ߋ*WfquCD"ȣ ٷHV*dOlW2g%͓]p7mu`i̮tzV{EnF^4t?dl~e LxSHqQI-miסCUdq3+؍=`P՜<0؄֗YG>_9+$RS ՏG:1-S-uZHM`ovn%I5!m:MzA[蹣id$X C_/W:E0hC wͶ]4^pWO:TLg@,ֹGi HH1eJ JV0Hal5iJ+q']:1!ձ*f =6jziMNmT?D@y拗!xD5?OǸ// пc4Օg0'qHkqGXȅȋؑSdwS#0_|U1AvslgsPI+ WfK~uÄ 0|,p:#q}+XLf8'j?V%*"xi-->100`N7;5/Ȏ]b/fg_@7W~k' M߳1fֳ6W\pX_FfUuf7 r =;*:WbnSo勹񾀻i3E=<=Dj[50Qom2ϱa 꺊Y'Dg{!X~ꈶ]awI]/uXJo'-WɌa"(,$PK.hl\2@o C |"dL MbAӻuu/ti0`S}M5 h2:[A! g\ֺw)V3.r;afu ſ9g~*U7'"ZC? Y ¥!@3XG@N[@}`B7b. p";a,H/P( XtÁR)ռTp4nuJ\`*oRhm]GY"`)c^-I<5?qH" FU'z͌[c ʑvb pۏֻef(e"N5`M-ߩ0L>_Q LheXl10٧ jeN3wT`#$È!32A `.;~3:xtQ!v7b"/Bl o$m ˎ'hOZj ,a} +o0 e#b; %plQ䇜YW^a2x?iAFQl)םMOP4mTOU Ec/Sdg1i, siձZ]sp+i9 u܏)|J ~է ,\ Fl9 &A1,YE]H!~E Q}p]fu.Ir7NTΞ#q!CpGv3"vzŨf9RXd"07ƇgZXg|VK~'`\u;ym &,I*?Az ,mDɨFܶ^V;G\x,i+;+2,mU 2 'r%%+AEƆ¡BH4uLTU=| rq$7#)J9+@+ǮE(f>U>Se& +/jK?8V~%Lz587%l<#+@ZsaIɟ v[ y^[6<iJ , a:e*;KO3mNx Dv+Zq*NJP\2E@pg~OIObjBwu˅!t[)/H^UpR` D|DV r@*yd2;yS6 Q/"-<>ij&%׻fE{OHŇNTf_|p ?Y|Ψ&'_a e)OEQGk:)GH3o5-nnҟ\JYk>= Z-MҪ<(nv{cd:WEZV"hmv'@:ٸ hlQx&"+2&߫MrfnC2( usT;c.9榤U MKN7uq]mcb|P/Ϡ6q/-Q-z{` % qnc腫l:ƞ$&F _^t?U7DT)?§v}U|б4L5#0"Ze/gYZ582e7bf2166e2f734020166461ec3e7da0a3f963be278b232693c4457b48f35ed313988dcb46ad67 de06d521c5cdeea7f44e2e0984f9b8719f9ab897