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 [/vlD ]/ HOL-Proofs-Lambda:threads=6elapsed=99.051cpu=117.464gc=5.3687zXZִF! C]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯9@}w.ވ8˯\?ڒz#1dӍRE 12HJcxF:^Ey0Sd؋$uw 6"u`|AU4͐%b1 Dp73&e[N 4^rF WB37E,,8\o)`c e& LF'O9?%ڂ]Vɸ:j!9/j^WY&uδ`X7["8q:cvc Y  6QL#}YCAmD //Y%SQ&]R uenS'rF઼{gm͍{ճOeSap o#EC]`@Pyûf_yF3/CԧgYZ7zXZִF! h[]ŗXiɟ11bu)a2W5Kԫc-;@pGYM-2U1RgnofgYZ7zXZִF! .]ŗXi%;O{~_{v;II]έ9!u>$G1̛7?_s!xȶ7 éb~ N?dI=Y(7+ǻG[*J}NoIfU2d*i"튒N+O }Off N7$CŴ`Yj+Q /(p[ 5 2zn8&d| 6AT-t \9u%HVU'Li.TxA{D?#2VH,'o9G<2>XDA짞<{H鮌AISh8,*'9wՖ;91s}9~!?" ]JZI9vKT38y/ ]Ջfa({jF*פAK)$[A2N|OpyB.  ., =є@B/3"yRzY̗?XCr#M\-+׹ &[_Mk,у|̰ ;T>f(t&߬S)9[~q. Tbvs}H~ di9mUp˜"ފ/98@(sxe lYP1^4h2!6>KfK86;%w|#Tؿ 5qLA['ztFYTǥ-lT{<Ps',(%JO UZ݇=MoKi诫h#ō0R(Nӱ\ׇ6y7HT@Ne>¨ئ7"V͍9h%4])15 s -i*3 wm.mT.#i^k:t6pJá풋,7<)c(cƺTOe<[ lNq83S ܄yݢ )Vj^$BIQb!ޥ!ЦeZ3N##{r3 71zFse^NSط61@fg- NНa4Stn/cAjqʥubW:$Z~ ? '|Qd]NOi bqQ&!WQxȌ|D#NuasDvCrI5-N@TKڋIK͚hO^. ;">*ka򾀴KwPfZؑcp߰~c#&c1d2hI / 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 Z } = y >  i o +tJ O :b# Z [L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages2=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup1</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files0B/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id/</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texH/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.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.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raRgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ ]] /E; 4HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex7zXZִF! ^]A-MՋhvG"uIBm5ĸJ>Y~bZ{dV[N;č=nrn%w꿮.7UԡPWpr'CFOѱE!mУV?u\Roj[L A~З>Qxe{(b*M4^#Koţ܋+uA%JIȷ''B0~UQK$ #=''zb`?lrKZ1{maCb,9#ٿ̠fn# XWL[ w96fȚq nR,yDž@e¨D5Ee6 ƙ6-J2ky;wv +H?< 4C |je[Kc^#elf;3i9{Ɩ"ɠvs?pqd^Iښ{N!VxJi~3L>v}nD?J\`LY`;ub<|8n_b.{zal'ur7"Qk3L3PB."ƛO0èt|>DH;* ǡqJq@>;\XJ45`#J"qZ:ѿEeHq/Ru%۳4IMG$7Y3p%Ln\6sGEO(o-ȆS[bK|?gR "|DŽs3[$ J3T$^Ra֩9cH/}7O-#&5BfrQveãXI(P~ BeԊPF3y p;UG" ң"!jȌ\]ȮʟV= gF 6N h ح Ͽ d*^`zE{=꺼ڞ賫d^#2Y, z#هЧMDli,<+>.Bdy1?ȋoc yç.XEqݪۛ Q[p"z~;._VzQW<*o=?X9ڟ-P%#Уؓi\ < Od]R,I <,y\]pVY!Sn^dQ*Dag/rNPrl^B~=%W:|x^ZAu][~~mWoޏ_W^oh89i)0Ć sOOxh'xfLh~d܇_iy.K=1S͏ՖNQ؈>Kyj F{-9#U[ ?Ԝ9I _x^^+D-H7WU q}V`mn@$̗1GK|҉T)$КuB;|HJ,p+t(E[?O$!cVC ?%B(vIN;( W$`R5 !8F'S;D M: ;$1Uwgzs Z@s?Jdw@< z,0{52=AgHf̍"s œWV!|~U6q `]A2;!}}Od= GQ&hق+-u!:ڙ"G`}:zkRs֒!) ⯑DVoa6H/eZ;9;B)+|ǽՋQxMh d\M7V}쭠L!)gn ?P3\,ٶlO GP֕!g莾%eAv UE+W.0KRM9u33v`hu !$Uf[O嫺?e Tγ&6!s|ONS/1-nΖt%9 xgNQ-}B %*bw:y5Sٳ5]Te|i[ZVpFJӬ!/-Y*36~כ56=3 m/VHu#k, ExjS# Ƚ)7N4^w˥e^xlT_Қ̟kVP7οZ$F}L붔sʹ6٤4kSK]TDrU Ƞ@<>x^e6Uɭ.'җ~X܏*W0Y^Ŋ$"@TGwKGRLUL nu w9r%L\ZU}azH2geb@HIoі :'gYh:i֍ݜWdļ:ly%$t)C6.\\fz",A_|%Z^-Ɏ@kaMPy?ؿ%D؍ۅes ߩB2I/ѹSbRX/Lv8H `ZTq0x'[1] KYl%ܺ*")P:E=&e @|h'[f]6}i Ou -5v:g=s =9۔}r!)#qW'ł ĠɁ|yѱ/~1L3Gb-QҦ|c)x@. vjjӠTwʈ봻?e4! v=#|e-S]y榾l` ۗksu s$%׷֯Le , dHeS$c}usI}M>> >@9m8H`鸦Bt܃P|W /6Qbx11PZыG&b^^n-3Wf 2}ON„fNȇU(ۥ&MoԃxYoK(zo4`$OdwT7t-ώлóaͶA`a6ԒWw̤Hd xZ_:)%0oL;Mo'{0L %Dt-"}6ZXI*aHΔ>F@o JE:7i3&vuO>_Զ2t{[ n`vhyUgz]gYZ X/=3 4HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex7zXZִF! 8 ]A-MՋhvG"uIBm5*oQ߱6qg B?%xvv KL}o{}5Hq'^%Uk:V&5:x´HZ㱞t4zM^UJ]DnPFU)`s )S[hTF!u_@hM,mN*O}8IJtlu_GS(7bBjL`S"L;Z*T=:IU*.fZa 2OmTszhUkgBG H}X3& // Ǭ#0pQ: } [TOX~Oci3vU( _?Z8^JG|&2 1HYP^=݇B"d0"C8((+ XXYZ-@_֌|qzŠ@꺰l&L+#8 PrKIeѺUI,%(xM^÷\9s2HȔDd=P!=bjemċ f۲' K^yy{(F-|0hQNeJ(&qd}a[ۗޕDmo;-Q{OFyrZBP霰-\󤝷F#`]u`~kh#M 7 z fNA9t4_R BpS ~YTcvMĞ'|vX?-m#kR9,VRk>F3B}<x-nuol`BNIuMTՙ;X1.ZOJ0%8v0TI(^ >vU..ٰ(:c_DdF ҙ@I{ =BeЛaw]C3:+jlD"[ 7`^Yh;X%(4)FN#%{)\6U)LC=SwNDp%A`8+xr0z}>`e8WZaӜJ"$ځh'W,!R_+_i-O5YS뻯nj;N`:ːJwqjl\푞Q9RXa*_ .ỂwW\l?:%cxOHt\HIvyqf;jZi@쒥y-#r L:ȼ~\x@Cza+gckXuTE w@[6Yap%0u@ 1Ajw {t @6t&$T!(iWuGO"#i-.kkljˮ?^J#% 'mw-o)\3lʃ*rc]hWfRetq 0<| z+Im dyߘ+zhxmSZvYdfF}FjY$/=ZۂȈhy1#$@׎NL'B=zVc3ylF"G։fWHמ)^ΦEYKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, {{ /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 ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.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 L_Lg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files~~/src/HOL/Proofs/Lambda/InductTermi.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id216z/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! |]D?7 {?:fH\Hdp/:QW4h VX,١Yp$y\89bGbTKC*8(ҋ]+펁U^Fӿ:_xYXQq,~66iiaP MLi#oL| ֆiN kCB\Wwƹ8\Sκvs,0|lftCgyXY,:JI~sYF+ i5'9Õ3}+}=h+GRi~}2"rYbW8p2 ލxF"ͨ@v`g}Gs-8$O6/Ivhv1=#*K~R1!!Ifؐ8*YIp6x~ګMLU:ta=492X:9'Jx'S꣎uf3MT>ӧDjg5FXQo6Ҷeo]d,S`ogΞ cn{Ruqu#}hЇ첝Ř$B;WLdHc{(-:JL$k" 3觓,V؁)|NbN|5l܇GQ= E[ :˃$,g@"DSIP{N;Pr r@-f-G>%~2i?nGn'/|K܂isY4,{jFt&unȣ<߰\~8$9l)#2-4`@Q]/=!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ቨ9Erᗑ}GbBUK#5F#.~\< &;fw,\}`y}l?Kjׄ%mW(.>&T댇<,A7xfpG^%:#a-@\T̪K9́*:WUNȋorN`cFaOG6%C Ao7ݶwIHG 7*Thw|J&{\+X]%+{j8)~889ezbZO G fv[%TӓNTCD+莥Vw42 3ƞ/QZsZ6J%Qϫ_Vpɚ$B%-5g~ecӗ/K[:aU,LN;$Zm);R2B%߾0py@[ӝiKE*WcsV̷⃚>q*EC YVd9SVz{k h.NkT$5C(ŇmqM%a$*y֞^\H,W ǢIwvf > }99\nTr͘Q&t_dRئ?pCdy.j \HlZAmD3G+pY˝2ɏ@ J6_g.k{G,xo_ ^@i^Mc~|-Q,H#.\*qޭ9XIlLL;6$PGd~'ԝm9N%3NyY14M[I`0IrP{5Z,>=| ߄@딼Ҷ_ E%MVFH?DPXzcbNpV\Tυá6fwTp1KI-  ѽhcDZaeK_ҕ^-54<}OOwlE91c-N|,f4bѾz@͉Byc>>QHp t܋1V`Jq_|!MetEHh+'=(sJ=85)L(h PUkCR-2]m4 }@^:ڠlhu^Xm<dyT6 * /A~\w#Gͪe(TI!]>ܟƩeUJ~I!r ݪ,!^ec6lV@M :0 3E zFf[v"4kUC!;l'U>*X=CQG}VY;`Qղ}6 ;lܥ*;HSNOߏ`SD2HXeBB:7!Y$95耒Jyu*rvqq =QmQԴA@X7| bJ3#%=n|..4CRcOF!,L,ZȺP_b@JiMO_BWؕ"Ȕ%TsM \:juV8*mL:6@(kyRYc/mLS7?%ܷ{3Fsb.b3xcC .ȫkL's!/4UvU/Wܐ(cwGM\U(ۣ?}?`D[u9:ǣ#{}E`0]mSsײ{6:| 2acI~F8WW1D%榇wSDehn[7y)4C^gJv}+"w!g7ix8sm5|G6Z:y3z&UTK)zT6,9B-4;el$wl>H kIYPl $&'bh;9 NE%dG_Gd˵Oxctg'm`O~k ^!P$䗢c4m|ܓE5qkaw Ǟ=D`Wg%r\F  [ɠDC}ŢF {H!҅Բu'vǺY]]s^ xe .xTZU X+nm{քxC~STuFSRחv~6}T%E'DЪS[L'zThlxs>ެ_?)w{۹}/%sGPIO(P*Wײ48TExCiJM]52%mf(XjN)1]8MvoE %"R1d]JоQʏ|;nZvPsm@fnטs^, VI->$yηsL^g~"Us7qk/A^hJ/O7z A٥jߵY1@ iv"l/hKܟs ޸,:.rѠvhZyhzI6,P\>0? -#fJ>> pw!@VGƱNCDtS#̹wt2Id&D J^=Wt.;)BûNF I0e]Vл\$'e%Jnh2͂)_S7u:chBS"@_yQR}J9pե].I4 4NF\:갚-4e-QvttYdZeirYe+DjrP oʣ^ gKEΓ(VIdier 2*-X%zR |qNC¾,-_75| pg~,&vLroIb`ASSQEIw?}7m}ŕÍ \rW.&Q!E>//Ut= ICU݇A0ʈv:aua V3vA_=Ejl5<JZf[>#!g>wjà)څiN!( HED Goj siHG!s^c-JABіl8Lp' y̗Qh ~gs(n+jSYWoՅQRYAņ3Ϳ,}n2L$ ]a 3v+@2<fkLܩkۅ&~U>4 *Ty8X*^fn[ .\9pwKzsw?ye.7~h[(:p(Jz#A[DSЅ+*hXڽl_ Qa;Ot nPYeFc2'|nkk@l pm 余xq3k43!^x䏄R\x>nbJzM >̬3QcjJ tlb*'4 \]3L&@&CT8OʙR=є̯fԫ=*o?2 W Rꆦ!km4!Ԫpx" &ZPo'ZD^]I(OօoJ5Lٯ-=΁uH/ޜa^,]0θ{r*|Ѱ3v 6nta4> waTq=+X6xǝ;8Ar& +% lڻf936: SMAh.O!+Q;c 7DOQFEgm\a^%$K/*愡% $,36Oc8$fX@ d`٣h.ԥYU'.Gz)¤zf12=:5 )]p*|~fũpM E# v~y=Sv2jt]jgwXqjVGD?{#Ȕ$@h8xޕ;Nx[v 0~S?ebx^$D0O"1GŖxtT"},DΏyp]_2%,9^GWG;m1ÔVs@Iݰ8q׊T؊s$!P.g)B:\/銾)df:yNSgܾ ]<c:,/əynӧ-%||, FYbnDԛ9)(U(}xw%놬H\# f VjLBsdX ׼;Fho"p!Ï\jC'KChptucņ|PMpxZT\!^?g39hxiF Nx,sGMc_;gq n H>p w9rt#I6maY1 { C3r6xe_8<o5h6đET^G`Q*kKe;` =^Bk5 \$%˕W IiOÿSqGkMFk g0zG C(i88պM: ~{*5J a8cš1PB?xu-Rf5$ C` Nfw.cպH=d4NG2CoXCs~,ޒoEsfGMV7΄윓$PɇA\qClH',EübS-+|o&Pɸ)+<0L%^.h6ác"K{(_n'-_,-д4t;b}5 LD@V 1:qnV_ybFw|լSbS4t &#!PJDA͘CB֚y7mo}Cap[uKT`Adx}Ys`MRK3MKHQϺZu|Vv&Hj ;+7 +ҠgNml-ba8B?O=uP%*T.`&V̫>$4 Mwwojb.mx'*1K+l{@=e~E^d֜m>( S.GHfuF(lP@^+fj_niw؜KGԘEF| *6:G[H1d̹zPSF5C`ዞL]*s9fg_snF#h틙y?t)mp1@ͭ]Y6P 13X.r\Behp zl 9! ڈ?l25Y]I7iy(Ft'3OV̓@c5+oDUg;58'ɭ?PGy0Mt?8N-\A1`R\o0p33oԚg ;&yGu u@FEt"ypp a]'Z_%V"SRH{„r4U9~Px)Vw]ak-z;AgK0y?O*uHb~m99\4NP fP q&xYJV-/gyY\{ܼHDbY&=YropV*': s=S$x՚cROf-of2g/ `oqA%k#3rRĊCZ#af^^vѫI?.zNhRCCQ.R67.qR1te Ȓy3߲1JUMsZM󂆣^k6:llIϩJBylS:lY@pД,%hYGpO_ۑxqbVLxuY88uGUױt,d;-y׃Xou3e:ws/ @ʰ/ɽKՇ LՠWzXř~Nu+9^AM8E1|}@"48cH7IGp~&>W Έ%,pFb m}F*tSZz3f>0TH8QH U<^:]!M);n2_"a xL?C%T^T, v BQ 0 "C?=oq@hj;1Tn߀hd m#{~7\}pXʾUv9y "jISOb}oyk,1J'_68qњ(=R1)s Wi,[}P"X;fm@4;I3@$Hl'a18hV%jWi_SG~:b ޤ]RH*Toʢ|(O:"HjS |qULMq>k:A "r [pB_{ҡ] Ҷ ؈&aΨ8vBxu4Dy7ǝӜRDՁrȇ*_KFEj"L~oL!'#eB0?kluP(Q8+,Y@W6iT q엻K܍ۿ<{eys)H8O|pIc,:MȯD#D|R@7ho 0Uo];2U/bfYݸwj|CT\pM3nTG~5 uv%j&ۓ"?sa4H1 _im!)CB%YSEJ%H;4p1(XJZ"CYZcKw󃜉>q@nf>zA]Nڌka 4z#&F8H+\%£;7S~˅zD}N榘m9;~D`^Ǩs1SĉOvw p)`:} eY1}22)y5q+V"01촪Շ71eNl }8 {3*UA{L?ri g&[`E?Z&8PXϕSOΆ+1MKx54`e0j"1 )!; n$1 }>6vP񲃾Iq}Eox!9arV a+ɉ:~3⧟I/OƑ7[7R,mvO8OqjL'>y VlJ!|Y9H ,C-C2XECj&y'(nhB9ᵺVRJ3珸uHw1?'`.fr+7dK_ мyOD'3Bq6Nd L,F?(.G1w<'̺V Z%XRF15{ehkz!#W8+p qR 'td|/K,pp:w >C5B˼'Ykf^` Q}fl/ d S>Ro3fQ\Ũ}ބf{xrP{ξ:j}H;w8c>!֜x`%z?"HKkS}PqCfūU8ԒJ׷?d䇅s@WWW|%5UKr 5p##M ۷p ΋!=叅TQJSp* 2M%a}3R1m083̓MJ'AUqGY^3Pҧ50.?N`?[HK%Kf5 7D EsZ{ oGRt`G[cgۂQFln]!rWuZf3DG}]YߙD۸@!IՆ]I&4 %1YdMSgؘf ź\T Bfh%HF)|u&r[y>h kU轁lWMz*IfKHuv:8 T;t W,ҠP?a}Ay z1zW^[eĭLCKl YZӝg>:/:rK>W~М\4 >'惨=n&w#'_[I|<+"8p\6ȥZg^8$c Ox<}ODԒaޏ%$dLk.w]vvjm>j6П4i2:x& ?ILkP{zT ZmZϝS"CT-SRc A{'0NxyPlzwdr.h |IPYὡ+VKC 7S{Rv+gl&7*Dzo{gB$`5/ހ*d,FWe@5٪Qn!BI^T\?(V\ ؔ rvka2Hy9XGޜ<}-KgYZ k*ko/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'^8 +Xb,!4 aSB,T*NLw@#c ]:~`/Jh+\'$( *L>aڳ8"`ih)|K x%2rmz1`ޮZgCSV=ej;qZ; :$L7mp|h(pXO>`, nX/)8 .EnK\HZ ɬZ>tBPv2NtbiT#r?js9 Hcn TNon瞼$W_-;c2zPN1_ V$9;B̠R}Ay5Ǐ" mU wqOw&.BΠ4W+M%"*#,޹82vG aںq%F|ٺp;RCUՆ?v#JUkfԿЕS]}\f}i:x/X~i7KǓZ[V:={|7vS*a(/}b|IO:)eAU˅4C1f%Nu^^I% Z܎ܗԍ@ĉOq >S zA@>\E).NkL7GnrݴLJ8o,ּ[;bGi0u qA+D*Gv~e4.R.[y#=KJ5#r &U撐Y|LA[%1;% zѡG< BE,^([*FAӢǸfsa8-OΚasY\s Y.;h6Ҍ9=ao~4;ܧ4#I0(sN?q;㾪PgYZ /G# HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <]ˠ)jk2p O6LP=͵gl5f&Di5b^8thvgA6ȺUZ6` фӹ,-}d5>iˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH.1%5jk:a'BPRc+KXXw J@P~fvE[o{>ߤaw}QqPAG- |(k;$iQ!Wvݡ8ΐ=YΏ}e4ظm)ੇv6ol.S'4 F71EV4 n{.e)cҕ6Nâ^:(EX$kJ6x._to7JqeWӶض#Rnw헥ԇD߂"43J1R8A՝h2ggHLTdž@]ZFRݎ%ǢLC&:jGq!-'-9$#\\/J3;Ҳ*}!̼s t+zXLpQCwXM:=S%'T \~5 ՞hPМl:sBM[ [gK Lc/# eT߼9 թ=X.VӘH22Y)u~}uez0w%ќ*eO%( 1&UFbl\r74_BCف14J1)mZƒ:ajB 91eyfaų>qP|B (5t!x~F90q q>~Bx$wK/YMK('=B &Fr*n? 1l8}apMGE"5CU m3)CrkqsR67j:#³2n~pH+ID[x|>+H |,ә|G+`3'r tyjQrp_+w>svky:_+?U)5l'NࢭE>ɎY&r2=E\ۋ rQ62W pFË^Oe_ё@i\ps*MW.KEPudG=Yhʩ[ڗ!Z @c;"|=AȻ;h0~TL6M{:t&r OisŹ95J*/GEa Kʉ(\LrUukx[1=,!Edr/W2#oqeb? Ycu(<$u߬\ e 4mGj ;U1} >ҹ9yK U^! #hyX=icW<1'*gEC̒w|miDg cy<,r KDoވ.Q C&nwmj= yɘs 6kx2!6iI6W.8ZlV3t TTj$T 9)껵&LJ}VW74 Snu|-N͇ ^dzJePUm\S)kigwar ?0I4Ȭے]n }XɓVcݰ"ΠmIB5GiTii*q8?@,4ǀAŽqx2J\,OVUth&mhe W?OL衂bW6J#]ͼVpd3UdzP r3^z_$FFPZ-jF<P;+z:<#X=bWyw[4o:b?R[t}(>z袴k_&A/}柸҈Oeyٙn824TGoi){5` P[3j A[%,WS{Q0c3,:O X・<> M0 68 u ($t@t%rNδ^Otlw=4CFۑHni]]`Y]ϖ f.y~ӮbzD`={޸ص|7k-_] ؊l/kj{k=#ʡVF17_VKeW(vL?-Cu)P}5PLo㿆 }3'ئ4i, P D5.4KK콬<;z/ƣqɭϜ AGP?;Dt@!@l9/xk ߯oNQe?Aie_|G@'@ ӁhxnY]?v`gƖ03y!o/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220}/O# |HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! BH]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrq2rvZԊ-V/ {JH !o`7|oS߄쾬h:J"&JWeO3a]fp@HN٧K:0 3= tڈBbura=*[ZNXՕE̯D.!+0SȘhNpכO'ivqU>E^=Ir:+pmnk]-p\;  >5Rx0 Mr*E#sz@ϹOpĚ!|͘W<\G:ݟ !zC` ?wKϗs4?='jgxeJν#;lT9;v,܀q^+}pOR#WxZ\YpЋ\e {( rDs^0a,w62p.~NQչTd`ضTc'g[(5@PN!|՝4VPǨ8jkW߰_ $E8K`| $"%[Li6+9#c2-,DT&s8hRNjpy %ތuƠ(hQ22RZ+"͕F\n=&7A Qt%Ki6]TLLt`e& ss$)_Q=%~kghIη\WAQ -sKJuT_oVi#u 1"r~ߜH`:zv G—ŠJf"ВC]vffX,6ϟRѨN͟{}]{.CC#OHiH!:hAME=E~Q v.VU,;bADz$s^+Gj%DͲ3ӰL\/RJ>ee*25=cFgFu{i 6p]רv3siuʿV!JϤq${r#UvAJ9Ѓ).mv6T=/`azDW:^__EOޔ_#ɥuI<5;9&/$|2aIG,;agu o\*yȸxc}JJOÎhv6=ny6U-!! @8!7kLryچtѸ|"h,(42N77LZ)h:|:t6 V`@FnNӸPA d"zL}A]&݊]ns'3#\ǢNtY c@ Uyy?L8^E4tx&+═+Y#OB#*NY~cبV&pcbq\4apf* Pͨt9D_kXs:vFWTIl{RDmyp]NG')mGJY#"R_,x sړE")2D*r#Q*VF`zGSP5$ C\੖Bɕ󉷒uqQiU!vK23љ,6Tҟ  ,m Z >k -裼u~ BMUf>in]S`Xвn^@s jKrn ԹM:.jlJ*>{ў~4QW"'#m:d>,AQ Ru+TKlÃZm>ovw'Z*aUZ- >Ѝ S˦a"..?T6(BA4-#o O G]2؀M^D(dy}3zF#Cgb?oXUjjSogMm>lh֤P@g}d14w)<{Ls?u v+jK\&o/6bW\U( ^1E,zP)2.,W=AFz^ylLnPe ZH=jaP3IV&A>eb+ؑq~3t27Cp Y[FAa? v\~;ebe MHҳ> %Yl%.2i¾Dͦ x(]m6jðY[`jWߞx*Dyؓ+t~|i?0Il"0SvV|H#KY u,(i.^gO\^Vt5> gZn [Gba}$a4p1W)–2S!i-( b8oتlZ"oB >C@o}&ə,wK<*Bi + z I>Ŭ^BL FNVz7]g)ek ,¦G!.6k);Ieq6Gao5A&]ߩC=(T ̴ajh'zq2__>dI]|Io!^6.-4iQ\\:ax@e!.Jh gUcYHyUjY]܏Ge4u1 a5i]͂Nc2>^OQ4d> 2ZEC}Xx~cN'SU&.SINKʢѰ|Nj {{,cthQFQ=mٙ3/c? {:(?+}n6  /VOıMZ? uMKbW_'̬θ*Yޑcd>xt|Gy8w[!Gw?SK۪`OI#oئĘŠAy|Uypmq.i,.U8_RW5 ߑֱ?_}e`}b}6%](vIsj%CM%˘*"دV]6t,<_TB4QU7Y9y~#.߃Kơ 2Ȟo:(9ɢKWh,9Ph:*B wB}^hp揿ON"lDi|!3{Mh$(Y2eڢͮmگjpp VnRByozb<@Vљ]vR_/OCjG]9j4=Y[KLnV-@x3Yr+hM?Zȫ1>3ddq$'[k6:SY[3mT)ˣ6r''aPA65/l6M6T9Y5яSN,OyBr%Y[2QB1?9Uvd}D)cUClSU"qcҶ)*4;+vӬ090r.ekvz!Pֵ0$P{|kR͓)( )L(W \j2S>18:IW۳~.΄iklo3Iz$v<ˍv0H1?Xk6ҺMsMʆ@jBPN ~G Ch1?OU ޖw u8Tk9=ij2 :,fb!f=TVGQ8`(mߏڷ mYW;#[u$ t IwR'Tl.;L^`#B[K-~> ZA|ps;s<+RE ,e6S^=za1,'6u"#0sGQa7W-\#A;D`r]}{I걡itoYϖuYYZ{R|Y[rqb2 sʥ#HDYZ:^)[q^7,˦$'1G^y.ԯ9rctVœ=9OiA3Q 5qI$7+h. 3?ivqSvml86H}( v,4 Lh[>4 <_ Һ- BII͞Ur̈li^k)%~mp]C[|n^+'3 M q9jƕtaUo݌7ى:3^y_΀11(H^0R}Su04sߐU0[/㰄ܑ2 2:%Y |l|MhRC'l)|:gl߀Q})zOGu-ЦA nD*PL&D:tUޭᆳrfE=%!2AN=vo3w?2L&~vL9q?x $Ai;u\J{q-e=,F.t~b#$h$ƻ7~P|*,Z dngfz0xdPOrk1o.LvCP4(ײ^8]L07d%݈ O6:HtV:hs.ի"7w%HADpB{~e%e؇NKqISB;5!QR$F'9}ԐU^"OB'kO[MTƢA7#̨͛MR<jas&P: {6鮑۪:&a}^ l̾AS9Y6рWk\,,Y,²;D^vda[gNWZ~493B?+kB,kB"T q4#Ԕ%dbOVjW h '#1e7 =ܠx?>mw-АDɶnnh'8*@V xMwR0$WSFoFŨ~ɘKXV3;+4pB<Ҝ]Ɠ]YWB|.tG5۩K.KL^TUQ]r7hIV,`ڽezkL  s3mWZ/$]gF. n_B5MhY>Wt\<]6 Bϯ;/;m!9A(N(E:=w|w Gh$5esNXH jV+U*I=5; 1aOVp{<~iAbpvlv uWE q[d8|= !h}W(.PT&YX'c+=ӀANk~sDNVucCwgeY/?Cu,|]_49Crt{T{`["{ڷW<08VaTȘz@j:}9 V+l-fBr5^2#OC>PϹVTKod]u]ZR\O:,z}1»ꦤ{@TAI $%QEҨ/IdB1N)906{~n@ϒ礪R܆Bfܧ貹v}|\7a ƕm{"pm?/lxTܱNgk/IX^hYEin(cZKX@GR`Z6zwA[)<מ+'Exx)W@b܆w Qrΰ" p.19܏pClϼL8iŇREFL[xK 27BF oeL>8XQ1EfA]#UOr/Ijͨj:Hn 蟣HHoxePtK%?O WΘ /im)^÷>탿,"zAT6e-PU73%9̭/h(6#DDcT2EŚ*mbkDe=#X:5h)3awH |6V5U,muT=O C*P߾D4α(\Knyh>A@Q0Mv췗Q8f&zsx8~دkS ~~@ft U/l ֵBx8qҸ}\$?ߦ[0,VT+RS̾`,"ze.f`k4 ڙ3lujL0wNŶhwaڪ4 c_$捵y{ |CQ 8z0w՝3bPaalN;Ħ>qeōH#m+\wmAl37'œ\]ih;=6{E2z)*2Pͤ_2͢nޛj3dvh4@/h!Qz#u'ŗqna 6`;zӦf$?OÍ=(yg=s!~Y)K %GR?̒ L R8 VJyNJ$ḒjjsUSWJ K $XV#3*x}.QiF<#7QtKa8D1l3")9QvH/8[I"&I\AYXC[jE~mYf8n1##I`z4_wGmדOWk1wSo,mq@{e!bBZY=5F{cj`$tAYC 4C3 n5Dfs P}T8NRk~ X@Tg8sa76?HT'i;b hG?1KoIJ"LoE aޝln\iՠ4e_!8K*O EZp()+E(Nfg(M;KWj)@Y76#M˒ Y q$τB^r~"J8 sm;иs 8y񄭣):6aBC=?EQ6!Su Ϙ:%x}mjѷQܢvs'&EыUdqw ;,ĽeDc/{?*쀲I3f{'xb̐YIY[E9!. oiahjGTݷecI/C~ޏjݑ/xXVrJ 0<ՇDǁ_WM3Bujl^?7yQ߰؏2퐂Xlɸk ~ۻ\ͽWk gK3!4ưW5?Ms'[=(L.WP* ' |G(XK׷oSs[kL{ȃ̬#Qi+PQjEqOd_<'Ӝ%gtXs731,ԳFS+!i \d/χ;w0 M[(򳏱Ui,[T Y?J= M7Է[thM5ΐk FGd G#YZ)%L;ě*k^64.@ Y9_/Z~6<4ܵ3SqP [$͵q,Q$r<[:`h:_ܵt2zKQTi:[Ѭ4ce ck9@?,O ]N-ja(%M0Éag[-cqweiR㟏 &-L6wZÐ1liEXQU> pKQΎ0`#DWߣ/Ϋ-7~ sRi08#J ̘e"T&7#F\}\8e~E`,1µ#85j7*<"Vp=DQ儜m<RX~ FYݔX_J!FHmKTk33~3_X6(9ty浣st &(TgEh~P'^ n&Smc{C-ZVI"1 Ä =OXVCЈx]Ȯy`YX gH|Lb=|ۙ-L 0}ӍуbḒܷݎݜmC.%K%eA@7-7]d$Νn1u=,Yϕaˇx* 5/=j&xmLdj xH**-(1Exz!.0a\p`aaבC4qb ؾc`nc^Ϟ.-ՋMjj0KϦjqQG[Ȕ_~5њ<Li,yIKfGqG?}bWcCQoQpk/#<y>b˳< s1CuŨX~AY_eCsYֽGݒmwPHJ~ s## kWn`:c#.%~1%z'*)yEHIlw9CO5d.z^ 8WK¬ĤR`ƦWc,$t((,oZ MNt/hº*S:fg>'Bu;*hOPjXCt'yTI}IPBs*%5}Ҍ-iqYZ!g\lM[%|Ȫ0X܇jU#PBFۗGSvO-@b-+VkI)l؞pp<ΤfԒ\q@hX?4\b< @ٱH$T6}^#>&MJA#8xk.'\0J\}LNh< a-V5zX:ͅcp8#k !U/STLJe J.B2`L6V+da_޺٦u 2*W K)2&*}"vUsmh]qlyQ1Ë&  5Q Ѻ֕Vkg ;vt\J8S.qb@x1wvZ+5g#qpEީ4&scCmmhpo՞YWR H+8j+pb+0g a&Mꣳyٱ&c} .iԴgҹ4dNer(mgAX}t(O: $b}xV_TD6t%d {3V/g|_XEjr~xgdkHُ +c0:@1yLl^EPtc]9ţ$f禃H :R7 +>iZ 8gCzLtI%[-BQ,fĦY!\whAf!7j!&I!߼7g j󷖷PŌ.f0|#|h[[e#D 7jA·7*~,C,)a75G.檔Cd2 X8.[%}1h>fE&t 3'N˱s(*d6#Φԝ%{GT jո^Sh[69^#Me)l2"]ȳnȯe+F @f,momH\Ǿ'0>ΞqV|$~@{\D].'Gh @y5?,-ٍFS$}^`Qɾ׀*VPSyyٴnyʺhL"'+:NTI\!~kO')[SX33ow09}mj(8#K\ΟsWBLXFg  &^A\",g*;Lg7=3zNoYzj`F:<Ɔ"¥336fJYR9a.žyU(ȧ?弨1X` ?Jmam}noVKbPO_Xf]MStkTV9Vm§PNtȞhLyV0rûV_SL۵S:R ,WxOdx%5P'!z< d~wLAKx:+mƳ-/a9S #߂BZ-lnz)w 䒼FUG= ӃOPI%oAP'p~0j^ƨ}U)aEV>8kSğjkTg|O{]Hj3mpq (U&{wO[J/$ս/HD\dQ(oW[ըD+*5IF'(O~c 4| !^[[;|r|GzwfC̡\?~)*vPA؍ ׬a*5BcvDQTfXO,\ǃS սx/͘%rVزqo[J-@^ƺ~W`EBTkCN0ޤ?08܅/Bd|hs'|E=xK0YVE6y#Cu,Ж0 7Rת5.S7f1d\520*t Jrt18(F`R ޮ29Qd7(?wfyp1>, co+P)k2g]xcT ( CA' &"=qda@bX}xs8ۥҍj X#BuR_]`Di"(ZO${o2:lAo0mCa'2g E P`R']qQfH"}fuY{ʬ=4/!R;)BZ'O/mvQ]<5#"eۛIgeu6@Xھ`G=@rA6!x E][/1 z~ᇁ_s h 08n'dwK𤍤a?V|E.*Bg\OpΰC#pXG[ގgIx€:(#わG( yaUGARtn*ppe{f EO ]SuϳD ~ew V OE"orA6dHب rPF-i37W5 h8^A$IPKG3u75ܔelI9VbyBN00?>uM;C`OEgybB2{ v Q6B}zGO5p]f0'Jx M^0àҎd puPJr˟PA W0 Rᣫ '{޼NAvT!"'n=FZ jƺd svl3D5QG33X#`7凘F~ܠ1T@VRCJ@MCsb #j#Z;dبyh27s+7NU`7C8m=F75*@ =Qf?C|hP3 TO8Tkusr¥Lj'O a$lPe\EcЕzD0Su_^jqd4N"zvj(ق{:f廾jp`} ~C(5p~SCPPr-?6*Y2&1R'VK;М3ȲLz 8Q,ZEfJь!= Ԏ_qNƒ_ &ߦX0DaSmpRyu^kTG eYsTdȆ]=tL>Q(5׈LQyЇC:Hlg+H<->}hWVXo%giH/fJJT{"Hm)xm{"X$t^%)19g.\#ps8Y_6&7cA䛋\ZH{V56M97Xu+$LK+[3==ągz zCGm7OROit*>1*bU}TpͱF.FQ @_[R 37qUAuZZ[CVGgO|TT5%(w%|59t1ssh9ܡSxӻ36v\]gxt (nf‘| O =lEݦb$"< 9(|"Xb2@'yI'X|Ij&qXv,1;!s.Q LEjWF;XkzEI6҂Xbͅq_R$(âIz- r{;(0W]aU'Trk~x )旊>,~ 8M"12_v^Yث/n>_1e1(x=vUkNu'I9pd@Pi]5v~BIufSg' kۿ!w=hl[s],hquw(DBF*6T^򃳵فFD+H;F^]Nf@<.s7Sҽ+;cXUSK@ILamzsF畚8{֗úscuȠyһ.W-Oi2/PҌLf~y!^$BD4x˙ȍl 2IW‚*XUfgYZ g j VgO! /A# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! bO]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<yP)QbzGy)%CE9+8Dnv&=1z  N U53eCsߎ]%yqh2 so{ A<0I\j"RRG8Z]{2A1Q:o oCrm% _ҫ#G^IM3U^0/<ͪN彩BGhC%QwCQ 50;8rYP&)_=B*Yٯ=Rf̀r)-ҐfIj>eE%na|0 2`#@^7,5)Mqdi&0w7Q#Ճٺ܂4 ˒!-PTk^#r] pH]&5hl%MNa|:#=Hhc%9טj?4qMR&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'$Q4TR#/>-hY@>F`F#]79 S\Z -gH%{0# qZ?Òb<~:QxdTLcK `5Ѵ>(/$H4'J+FJC;M5Sfm 2$puhIESBƱX,pk (@ڲ|3t1QcQmme S˵!SWäO7|_k] Ss}@NJ54t>Q$sښD5] PnO{ejjN~~v[! ONm1{}A1مh k}ȧXR;\5=8SJAa>Ij|Ʌ_!ٞ!k6kgYZ':˭Juvӻu$o4F؀5 31-vԑ@$lv5<ϲWg'|=I+ȅ^ ADv(mC]a G Ǝl O)6Fc?aՓ@1p鑘cAhU~AZX3\.\l3Sp콾^fJ p,\(6+'Mtvl/=*f4x l8cx$ aҔ ;n)T駅d:-sݭUlERHݘ<=w `\ږyTCqɽ2MEǷM({$`eO_~7 +ps15^#\T!)XƼupIɺ}4e  x5Ws:Ìz;?[hmA*>?_eVo{L1P- E( ɝc^#`(I3=G7 濂V$zI\ |q(w 0+ âv%R!^qChtuJ?Ծn@\Qs*\ }\yLH[] b|ݮN4~ajH2J*LMrns+=74˄[53t50qcW**ر=Kt@POobI.T0w*ƭv 8 ˀ=@!S=&+ G{@$N>6x(f_P$-@ؽ!f>t |~ax(62tU8 .v7(b["2zvҁPadO +eR)*,;&V0l 2k2Ń܇ϸ $ obtnd-jп? 1o]L2G9 ;/:IKSOCM+ĒN~|hfIk`hϛuP\+Ƒs*Yu1P:" ljx>Ii9X>5T7 5]9{̦ i,-:Ļ}7$fzg*k:ħ_ < mr diPPt-rSp*`9hļkOnK|@I)otEA^@%n4zm4Աz?єzS-#o=w3MI6yu1lعޮzR i& DZ lb2{X,(0 |7-lΝ2z?8bAgנ,aV $ Φi/v @җFUܣlr״NL@W9n)&x'J@I@k}eM*i+1p n dPty\|ī*;40& `̯%!fhϽ*wcD$ zQՖ(lIAv ?gyMPH")ڱVD`R*jIq@/,hS8t>gV]V[m?`k;RͿbН@uOv3u,(Vzb7q۟z4`wɻ s`D\jw.t1Fd$$7j,C8 ,ACxc<]Yr,ߜ`SXHg 7ήt3UG-h7J'Z$\p.0 j#gZ_ظ9ENܷ<$y_lZ,L)Jܑ ADf% >Muml*$%hR'1θ~LZ#b}x{b+Z,F׉d[Q`wF߉ݞ2Ǟ y77h't\Ex9p\w7ϰx$KydI-]Gt$ bTf4/ jF D5P{^?hMPȤ nEXޙ=bW~j:93 Ij~+"Fc6w֠ޛhw]ˆЯKA @`HMeC!?DlLTHKQV5Sۡ$X );H-K!Ilo`hSskK蒑(Ax𙚞fn U*5{} -;AX` Bmttd\yQrGIǽr >./g-ٍ2A^`aL3Nj\)a :n@F˶UfgRI*G 6-HJaw@u'PNNV'"S#Zҥ8~cՆ=É _Q}HWH3O cSb1P9n zn~nR3Eٞ~rⷖ aEO&t)e' Œ5UHN~URDKc/8@Ŵ( }Dk3͇~c:h"Pzwp;9vdOd`()^01Ӓ4+UsJxq*(lGE`wwؐjcQmXQxqm`u=#2QRKK-曎d c*osQpm9Mԏ^_$VR"$.ō=~gKS 55p!nu~j|}*t,6`$g4ByS'&JA(ЯP$Y ~|`esF Plg՘s*xoz yh:$9&㷦94£k+*+N ;QǵibCb-[iÕZ~0 {'m>9׋ ;(,U)I׈"wgur(@" rsmߦJRu)OZ^w8Qȅq `XQ%tG~do~R3 aτguٞѸ'lq={i+7AC`{,oИ Ϫt# 빻t'IÅ1ov>Lf8L%`{jL^ 2nއV"< 6;( $!T)ls{Ej#tz‚AHj7M66xI6xdGS/{V4R([1IgH~͙;ijFvmZB0 x?*"@ L^GD8PGg34:4$pHzĔKw, ;d&οٯ-{Bhz,&l)Xӣfba'ﲭ {rZu)TpB0E/S0\piޞb[fTsb.;D=DԀY" wg4$>4$@ ?Ya.NmnZψSyc=1ĢYJ8Xc x p?"2t"+v5pvH/*+u%$@ֲi;aQSܐ#t7yOJ K+rh1OxY zĠ;YT膡?iD* ٣mE+ĦZkujI~,`OžGǙ/8]@ǺY02SM$ÌXagvVBx|94e% %ʧa43B[n>K;sɫq=j@1'ic22px9&Qaޜ<R[DZ_wv(e4CsN; {6 dk GObڵܗqn^a n)U`25n_.җyrπ~7wxq#(T1|鉿\\ QjۘeE+kӪ$6q76`3 A,]7z*\fu>"fIh8x{]=ԄfDY[s榢ئGgeq˟ E&lct֨Vwrzv?&+\2gB=qFrz|EEr8[kH.Y uX3}A r) aDvP>bw_#viC5[_1V. .v(PO!YwX%-.~p2P" OFqV%_46\C~~`+*( 92 =y=+c4G?q܁j.I$`Lr%T2]\{<<:RFp9PuXƹHtIyrTURٝUZvQ:'P /oɚ5d%]d@;ȩoP7۾{n P#յ |0߲ ecdk!veIN!Y #nkr mL@InM > eEdďF0R ]lX30% [ \WWF{"7p [Wl3,[}"r`]PfSiv Hm+Noaى]Nف6;AsJ`% r½.hzʴ[BAq1٬aqb$.Bb䂦5ڃ?z!ѫ7`#~Iw/=b$8~N`ʁk$ KAkDjADԲBaܽUoİ\?МH)& d.?řZ!+D(TÉb#ubQ-Rl??ɛedga5/B Ym9G$ʩN| .٥Zqpai2 JQ/kFGjM٭lu;FSyPһ'4Jܿg5"?)|ONQ=/Tt$2.Wg?yV&}uvnդ"Sb GD\_@ xeG/ ;ek0cO_˕/M^> !&7\Sr',xRZivf,.ũMkkO7/ U];8*X׆ x }Z\s6~5sTw&ZUqTEkN2HU vjZ eqY;LZaoi}xE?Eoa#bKu0nC6KRLm_tkg9l`̕!?h{%o͢('>i$>& L43uO4v)=_.g4*.~LS"_ ĺd01wE"1U3x]Eūtm{b2#2 =>),7zQ\H[f+==zd!@ZfGH_0D Aϊ"}l8X<b׾}gVjEʣDPA4pO)aHhiwIxf3Oϳ_8McnR7śS'{2~6×K"" Fiw2ީ.7}GߪZ\t$=gȂZGV(wd%OT17df\@nT«%6y]%Zhz3pl8X MV $׿1„%Ǩ O;QT}m wl4g4L0/{YxPNuCIS0{Fl 'mLs(鰚awzNNzFxl-wPSZL :g=_;&s};D4\N 2`RsRz w=gjAxGl;Vqv# ӐxQ(@fDo$'aW~dˌEmLVvRp챺Ƨc⻪VP\P8C:ހR@\\h6~ZアNS3o];^{(A-P<8y%₊e_9! =pzB`!( z|/+09Ekbo.Q wksCr]$ߒ~Y„#c^}M~j+r޶͢"#HHn,/5 cfl;î'Z.X5&%M())\z^yCqd$ ;bm֤Eo&bjE E*XAI-Toj7ywjwlu:CC{S\'>\nHj.߱xȨ&Yҝ`SP.3lafiUB&N]7g`"]e#ΫFE402xѲyL8du-b4nV~esl= i^J遫-;+7#csb,؁`!87~wet`} RV;_5fXɢ{':A-=*?}VE+:MޟU*Y7A_дg֬U << XcY W:wn +㩯K,*R-x/':^?yNf!mf5HLEו0,[¿죏.Z[0-G W0:HE;;R¼Z 1i_ʾw"w ж $=-A,ҺxD88&uLzDZbz`4kӏY@΋Ya.h=N=`QgߓM#y |A9bZO8Xudd8ⳇ⊭~:QC;w QAms.5La90 "&cԥ= Rȿ UlŻ?G5av %cI`nBʓy0YÐvZ9WKi:^QdW5Swje\'"3.v9.뙜lYt[o/}N㖮عBzN3 $TTUV< ctWܧW]7}\(?rJ 㻠SLr %HŽ{ix*Mg Jpاs 8&(B9#/ ^'q\r-42G@MT-Eo#6C"vjRqbV }<3bQJKQ id YDiҧhM\X\nۯm~e5ެ @[qp%A-i#^^vΟʗY;6.,G0\޸3 HV ,{C׬gV&:~0Wmbնh|Bo#WHi3F-Ac#=Zq6gG*+~t>B ,`@ajIt\8S:ֹi6.06:1[K#(KIp).T*Nyz ^ʌ+ݘZh. rDŽl4V.9%AP:*Y}МI-y*W8.#Df`#r5fQnL[u xŭ#A )#K[p=/&.=\d#NIÍMp7t˨.CQɔ.c[?eH<}L3X3Tl3h((ML&(&f&rЌ\9ʶCFAw|c%9Hx-5Nь+4:]Cd0{blߚPoIu}<?<`_+ 4UO!~VBSJUE|'2`|*yUnGXߨw#*(FPӱ׎:pFqM:#J5'woUIj L,**nH_GWz,` _fzKqu8o4FHE;lGFjurjuxhn7ʧ% ۞xs.@OJ|GPQKwrr0}GUScR^.KGi+T/yn"{UA4VTׁ̥ݩNk^V l%*xljP~ ϐڭzRl~+fd_#i@g#QF?9Qfcwfv21jq\+9+%A)9}} M$sr>,jʵbǢ}Wzt?4-rYhqD9SѪ b(S_ lnoLx&-r4^T䋘h~v>nW0*<2?ZS>'@ՏK{vȔO"KD{$+G`bvo7#QBn qMVz/< q3}Ɍ.`!UH1_\$z;Gs^fʹTHBR@Sƶ.c5%QΩ`D[hj"1v]& ]8ٲY~0=Vm;ڒ-7FfgsW88;0XҺK MK%0^!tGH-s[96FH@W靬ڴf ^܌Ut|a*+EVx~p3,2mpIڥ^ġD|g⟟^Ӑ,|hm˙(ST=ўR{Bܶ`W0Fjvreʜ?ph{ w 81I\k_\@:4o0@L~胮 a"ȼ#Y3.F\McXؠy Im^t#nht"'\vǖ^\eN 2P'ն1O ϧ=.GvQo[f(2dRrDfrX2i}Ѩ+~ŷ ]7!e2 *Ivp+Z(NgCPFzq (s뽕wO5< t܄UcTM+2BQae/M6q9 PxC@t&3f]iL9,ARMtP6Py>(];X8TU&OH"}2 Mh(ށ h -@#^di&K,\J (:<`Tp)4;En⺥]V.QǭVg^zҎfm-=l֡3$֦^JD!,QRdǙuS<3Ƨnr.: Mo PoGV>܋)ڵJn7$˂E]K4 Ϫ >f-bZњ-;hUQT4X~m7s RcLRrak;O[ ̋ǭ6+B^o %yؑbݘ@n7}ES"zSG{[82\ W>"Ja'RUƕ,53~ f)΁P0-$w@0A( 43XP w"[Qݢh-f~e"+Vtݙ΀IT ܈xcCH`g$OZtm7Gݾ }ZIiȜ}S{IZ\[fMȹWf`}I#nC!v_ezs՝~ >.Vˉ7hPnlE}9*$#K(@$(N%5. Q!RH+my<$0shӥ!VQB`%Ir;z0ENn:|}1@OѣosT )g+"4bn_JK3i{M3T3sK%gle2 ڑ{OF4" +A "r>OS=ڥuE`j2QӨqm=cu*C~I/K-jjɥ0t4QI k]<+z ߀m$r.+y@l`kyxUj2qunPZ$a522wL]_a ¢Q+Eߐ?uGe9>:w07ǍԥսA5cK-V:M  LMHDDC)k;&t< .R)T\4ϋ /`Ktzb1d7,_GֿZ"vR, D1y<دiMM=.S ݝ'5s>\Z/2p/:F(&36y=gG ʴ_'PC+.<4d1J| ۘkcpkHV:UT ng (1Dz>\B(O-Y;;anr1HIEA#4;wMC(h}FJ`go$k<j/ e`BPPk狑T΄LrV*6)Kx!wBg9lGTBqiAN嵽4hfa{Yt.4gU zV|;jY`Vv P\ʺ<$ud3ᖈm$ߕ|̮o'LPf@Pr'$8gvx8d#(jW^2Iφ2NE{V Q8\畼Kb nΦilGw^Vx)WLNq84>,:w;}R<i]='1sT sc v\dO(yV|R2&(H_hCF?mvYG2z'Ӄ HQbip5~D(&ЇÑ22[)#|>%X=0#7~-8JV~y'J2^7uUrԞӛp̙ѽԋ@E(Kn29O_:rVLvnW+^m" m-A7CFҌz-.2@)v4dĘb1*rAnǪ:gvf-o~_1EK!H"pP* Q~CCFs>䜇*(1<1;qrJڛ TH0Tąu7itEG3;t|LVNP9m6eK8c_=Y*i9dI*.7UL&-)OD1_L'X ^eU7ppgLԎ!'M M77PF{ܯV[sZ=K架w5.wdm{b=/Cvfr@L vE5h[gcT1FK©1+E%PW%YHhce? ynaJ#PEnK(TԔ%Kۗra7;-Ɛz`)b~~m4|@0`DX:0:;>Ś!Pl]{ 4ʰ济K2Fr^`>DW40;+V)dA 6AȆ %v;pI;mΧLsIKc8_.9lnțÜծĴcʅ"Fp?2Kt5|=eæ5`{P˔0.!ݰs#^<+0WV61L1gpHɌ5|lC-foCF: :F{+zn뗭*H#ŗU}I?}2g` -hnsnצvXkmw$8tF@(2x^pu.๖'D^?IM5n|eXڹNܶ WOX`dž:Қ{-FsJkq8|?eZ"6+Mz^zVX%9V5iCC(0QNmToo^aR lks^O,)˞QO]7=a';Jgiu@ O xp9jD&\5ʨАەbvRY^7/W]RZ#REHL}8UZŽ٨msmi/I[&5/+XҶljB.1z >,ݸ"G~xCa^lm!A_2۝ٞՅU#Bw< t]L"UY=#GqcmHi]S0ʮ}q6?){%KUJl:?Zv$B0Hac3cjIl )\(5 urE,_Q+dL~vn?H)^N0נXF1X]}sżčBW7V TQ|M е55~BTrd]U3 ) >N׻e)Q5c" EɅBCʱ6(Ɗuf8u)n7SgUQ+,:K^-99C%EW0ˠÔWl;<vTI{;Ø}7ٰM͂l(i3DOgl54BYLO +;HQ 9 llϳC }^r:y_mثMZUMO4"ې!hB!cκ]nY|kR{,TMcT|+X?'\yW4Z 4&_3koL80pOwc381\]9FHpt-bN2kO^/ITRLX"tuiy,C9=BUhy[1]Mrz񗤆] Q܋YfS)@ӥ?'A hM: b~Ѐ*xڎUZ %`+pʣr@A`+vu0!-xaqMW&]5A&٭n,##^8,F9ODV7c^\6B#XR64k<!`#f Wd NLsx:XIM/Gs>Yαv}9Cpo`ؔZM@Gwy\Ru ]lV@\RI3HZ"OzCUMqE{28(^gD͓b fUd4y6?/n5Zq% 4EΙ} !؅W!$4TvuW0b+m"otj(CHR!߇VGq>D_J-$ 8 E [+ 9 /RK|N?NϧK>r̜rY x랕$6텫З)lUziA!u\L3ghŭX ptT6KT3TfzfY_ #U^ MK@]ee~>b'衊T?ۃ$Hg2|&.SJQэ#C/4ސۇ Ȭ:@#`XG騯9d~ȡ{΋|Rܔ7 \%"^m=Ѥ᧧vkW>\f1UUë!oPh(:Ҥp.JIKljcvmt -skLz4nwx<YЕ9X<+lQ4[[\5%-.Ĉn'^B|,F'N\KZ8{oÓ9`2F!cYoNmuwDzH_6vb(jYdv#`" ہC{M\s -u3򸹨6kBsPCbKa'84cnBw,/%9x?Qkj2o:O64Cȉ.ã?߀X=+(V0:hʔJtK7c5l-bO4"|2]Q]$e/rj??`m/765;Z򋫹u 7w_񡽊 ].wb0cqzRh^m{;5$Z;1:?OD6'ٯ0%; '}cOE84<JF ISO^~u.B MO("r(FN/[~% ;JFEn }݇EW&8N/ńF NK1SĦ.MdjALM;nWs 9b[:R~VBk)ˊM^*UaǴ^IEb0S Bob2y} mGP#A>eӵ{c!wbbUxQay6^ʣ x\M2$IRKA$>%שAYB>1ܘ0^rl#Qw~) Zr=-q+ft!h&ʼW  _&gC| sD9!6[lr8Qҁa;=E^?7~NfpFE4vI;(m~Ai@^FQ_7qZS1:yK<#4%GR{{l0B[e-;@ʳX@ =ra1bR^wiU.Gq+ ) $s:,9R8mk?)/J6l42"1TM0m?&ۿDW Kl;q\R 3>b*#L@7.Uspl#vu<*U!"H0$ H[Xo?;\"Qz@4,tPB\'z˄lpϰ¼dmvR I47{]д?z 1 - F7D[}"7;sX-T6~>cG$<8⍉5Ѱis6;y6V&H(!\m q^xdֳn("Uw 55HOۛIE:L޲tn2"=1NfzZAA a z7k—[͔Lin1ar<(ǿgg/p&0֚0$v2 ߠou E%4#EXAJs\^K ;md kPPmǻs(SQZWLEEr 'ޞ'zcs6/Bޭ?WL|,δqzT:OUc4l%mzqw-cJ]/}{{+F4QR[2'LqLo]$WC;')x$X}Gx!ta@0 EU ۋdM}"߄B)駽!j'[%ȿ7NH^Zpq ӱ 9"wݨB")EC @いT('`!]{՟MJ HDݑn XF Xi/,'є +;p'ZvRzw^<_7(.4\*+f11:\QlHkQ)t?&efnxk,‹l(, t B7ludڶԷSb߷^@wPnb~4uSQ-6oa]m|X-OI ScYB{kH zE;C} ^9Gn45?&o`j 沉'Z[gy4FwAPMյ. C k.>}0{YvIE$p@aG2vqad71PVaBF,;;!$"m^R,.:e$k\p'D#NsGq9g=S\'IT  TNr}z|:XXZdW.{%dTa;[zJXY\[ŀe|.g@urSaeA`I[8GD#,Vru6M;q<՝WlP7}ȓn/<[Ni!W@z!#0&VI}hSt]ԘӉZ c%Vp፼ Plr%*nv,Դzcsw@d N3Y<Y|^.T͒&NfT!ecd3Ko_F]762.|$^F;Xz|gTFPe+aHFqƜrx|[YJ5IV T;2piu֘+.6鷐yV֭!R1,$VLjn^p]"s`H6IVy☪%@R~ƒH`ƣVFP0Lr }Ĥ 1/ F_p ' \ͫJ !1~J9nQxdzD)6jsq{tc8{6A&,6hd<#ЬdRMv6YZ,,1o?F@l6QHv$`L,0fﳺBZ' fv5b`zߦx0ُo_YNxDTgŽxcn}Ab3ooUϒF }`HQ3|=z5}_Ir#fsy& cû-} S'ҘنB/+M$ ^2#(fjFhJ;Ź@]&2@'R!#͇R2?pgtX`|x=kN C`bZE.({6&[E!\e0kv|[uyǑUӴ˂1bTF[𸗛XH:hOfwu(CpxⱾF#;ev gߋ̀#"O`Zs4Z]1EX 0anq"!@q_>Tb3.n(vteidn3NۼIi z< ;AK2Lq}`$mJ׎60y*(M{̀u~2ԁpai~߰/SNLlRbYU"}|"t|m}6hYk, d`ũ=$pQF"A@>R3ré췢,U# S/\IJ}bZ`̢ reaۺLLAĘ+N C!m0J?7eLѫ͇[`JZIϩ %x ?.ߟ5r#6hEskM3je$JM'ߪAXdC̍ /}a!nKމpy'F^_]j"ro&2f%7@Ow^Vtl5wϥ@%Bt~rƂ?^r'fB0~zLmr(~¥@H҃svv ȟ+X~VװΩhXXz(!u-z ӯ&RqӚ9 r>GF()2U&."Tgm O~B=2SIwNuéu*XR BWDG"/w*D9U(鿕)Rj&k9Łc|Fqr*N;X-OםC}`~ÔC8l$_!ZsA 'prQtcdjǨzXTÓТ{8lS.H@r9J~X?}.Hͫād@1س?b_OE:' Pc6bAlu@S@^߈Rw ɛe0jNd9jj G'-<]K tɪڭKFagYZ gmga%/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,"dh"g|JxLDNӲiUЃUkozt$9px^PoҏZ 5GZ4{gurNфe;}/`讎.=NF^̍3S9v ׉mN8B栺.}غhp{3" rAuS$=G$2B)/6.[@f{m" ozP4vNAigY nc4@!FIE1Gйxe\NjLef\?[]:`غ54@&_N[# `fg>FԾ _]`Z)9 y\;²M(Q;!$LxGRT ~3(=G#v7ϯBGfCV餍RZWWEgMjd 7K2R>Ecudp3fX Rd9n׹ :T6< hfjXo y<(iXCurBۅʢqtI?Dt%3Խ웿-tD5_: Y)VvXܵ+ KZ%QoV+FP|G5dŲ ` p N cJ 0g\棓=̜V#  .pԍgOIQڥ'oN8ҙ$0(on{n' 0*":z}P Ԏԋ(j*Šfr)n6ތ.*8lX7B4U9BDdB3 p/v@,>YDp0r]gOե֨R$+|ˣ;ݡy ^=9DXkl0LĨeW-~j-x"\VUg*RbpB4p,l1[¦Y::`o7;bSrdR_k_yNia˴3ax2W%ydX]EϞÕ+-0`jD6H}#BKvg8 yf2 Zޓ* z"C%I׀э#knX.d8Ҝ:~Uh+FnL̪{0MB #ā$`5q#~|.Sʅ޼P~//'137&\9BM<u: Ul 邃hS']9[2S-̓9$VD.+({ฮ4@`h Z{N pyvJ8N]Lx"gZ2 qv ()]w+y Ua^Nѳ+]\r\6fҝ?eЙᔺ{\_ f叶<<oD狌KhyÈ@*7_V%Ds&XNx >i(, JR`xy{0@SV:> wU㴼F[Ad9D"`وz[=F}LIAV*\r1IJO/ ZrR/ E#}\yMa{$zTh[HRTEeJQDKCrt{I%6֡(B5 ϴeQϣow=!)eNTMiM؉$R)ݺFg8v7_42eMU 'aBf߅1ר( >өbi'\i׬ R{щ~VNѸǿmƾdzoq9ѫW*TZ:9-942OOM{1.Z.ߠ=kDP~kPƒ۩<sq3ܔI72lK*AUY",FJ|(dߔf&lbqI54UEwTu! (]ҰrG~jLm nI"|AUp\aZIOqDE)xi#bESޤ[Yu޷S[TJ*I1)%5uY9pBU"JHr"*nAbs>%g^hK*UDج(xb 09ضHIҬ~zyۜ6o1cEDj?O۔ d!J4!agYZ>Ϸ{g/Q5.WhUG|; rONB lMU /e;Sb$!S|K8b4T AR8r ~s$>;e@t 𕞫75WSq#uJ%xv`v/ ! FTq=Q u|ޘC5f-+a}wD3շPEr,j$ɳWoУmyL:ζ {^]}$gWwY!_T9̴VEIqE<n:\^Pba3}jw A㊷!"P*nwixrk|p%;s=S)cZh Ӻ:{R#٥ Arar$XrZjیbY+- 2wo K ۼ_ %!(m#?%m/}KaB3 G$oquKN P^F9`eu?*pYȗcz[(juQF~Ѝiي|!$]_voN-L>7Ua} 3rϭ1/!v04%,H@6C,+ͤjBVǯafgf݇"ݠ(JPLO&q%4KL0_cH:bR1a7Fȉ B6,xޠ ~6qN4H&QK=M[X ;9oe;svOzl7SYSmӡYeA️r?]( q?J"vh錥FqDt:h O]҂&wFRA? %˿'նĎ9bsKبfOtfct8J=ۡڿ--VUjA֦[eO)MkP-?|}DP{=))cPVl΢ 'ia[dVJӱyo2Y֬Wx%z!/k}QI`ȋE69VT$Nq'S4|lE<0bS$aU`'~.OD #o1\DYR {f'}(_4 { Bɥ#C4aGɛ/g`A}Q%JJ95LNM]WM ?0? {i&_0L6d<5  <̚~ ͸v@Vn{$,Rk}NP8k0Nt@#a AI-qmKǭةpPE +nU-Ez3@5@})3fվ %!֚ VGx23TwX$ɝq1UMMK |ePxU}BCP!,΍%:ocs ֢EduIRS龅=ZLp2p> 1+O]6iʶ{kc-DCy pa뭑!!V4k^oT=- PѮ3M,n tȐڥߋSR#8ơ9LIslK tAu.fVi DƖB]U6i;pl2P!v*G{H$tS*3x4=d M%+ñ @s8MU^HC,'/pF6\k( ([ ўpM2spݻlth"s[ANo_7|GZ7~[JaYf~[_ZDyF:4AfR\(O˿Ă5ԟ 2z +f{ZqMm/nJ yp\ @~WBROO%^guĵS3H{cuq"_>b9c3 r/}˽rx>aD :C*qЭ9(){@ r&~^O3w6X+tI>3/$' mKd ۔XwtCm;GA,idC[G푲;ރYܱlF I NǛU=[9I00RfgchE*VlaQ7DJP˔-gW|cx`R ^eHռxR "#C< D|ly;|R׼6,N=>ˆEo'ގ0 ZRBk忌Poz-b1G n +y0eƧ!:hX fKM|41b6FtRD!)VLe0q>,9w , fI';6-h+tTYq%VEX'0LF⋙  =A$H1޳<Ae]hEsv`qD66]mL(4 #6$.QD͍7 FCE}_B|@VwgMUi{υݞjй9;ߍ-9: LڳK_A_?19)w`ysCڏ@0.n@T3MEF϶՝ "Kh.y\ء´g,"°;\)4@xϫfjtbYq )n% ȧ)ܬV-BdVW |h{ "qIr5i~\u)"p&(XkExwSY miލyRK_'nr?Ѯ}O9:WN-h%O.5eVײ &({)p'z# ^fi5kq sP{Bh.cm+s:w*T I1\`V<^!Dhr,%y<d!TavS,?10\۬% h&~U%S\ {~F<ٺX6^{-OB2 ]lxtQXb鳫4sϧh6avT9(mIT\@FDYO)Ѣ%~'*By6+qd8h_)BMY%BJͷy}wa& n\3~ #o@L..Cf/4дِCe}`Hƚ nb-IXtړuUB!V/ ?[lUuWEc8,Bv3YmVbهg+J>YO3$j9C+_e:B#-?pt*3 C1S*TAĉ{s\Rgqa1Ι@^r@F V^Yv8,,B8Yxi- bWfʙ4:|O'5O$\oAԃgzgC.Nܠ@^?A,L2^cC o C$YX~a-#vrgȷ)W]w\e#V_Bjni5EU:\L@|~Ł ;i@j5|-V0r9D&+^Q\**F|hޞq|FH, x? 6=:$]e,O^}|@))c^nSW`?0SHf82T=Ȁ|%D;w%gsxĕ%P? }g{wEI" .lwf%Ą]NEⓂ W=8l~U,hb+fy5_9{wT87{qlZ5N Zuq(+\_aS/lW)VKuԭmn" |w~["T!󒠳Sh0أtjh=v Uuj~%? MӘGD%?xfɻXd{~4?K׿ݹӳtU%[y4X+V$tcv p} Ϭgf`58-#B4l՟NpDFwCp)>&S|9mTb~ 鋔s^qpmn諾\| Xt|JQV|}oY{ r^5mWw/UN \Jyw&u;6YIEj,90K4/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Ϝr*qzz/E'g-ʙJ[0uYBtUOkB/L|ɕ4V6vaVu%vew.9;rCv?>?8J %y5u R剢)\8Qqs?N8Π #\F*u?ۂ*0g(RklZt6Ǵ͡lҫuTFXL t~5{-zJA !}.hg2ʻ; I^:_P?ϯB_ Vŋ';P`ŧCH]jiaCZX/!ѭ_ LE3W*.o]pWU&z#$iBP.NeEany@b׋899gYZZ&/A# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! []ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c;Zqa=g7HB.Z* dhGצ h{ޯ %~>!m12$0U>/0j^p=UMG):atnasH\|O,:#Ps%`}f~3|I=wMi6, ."Zؙ;#'ci~".iG4eY< Bfdk;T~Rc[ q^d 4@/4GyoBf5Zr zl/?qijfp;YTVEզ*zYUXozvytM=YwVy7z9$%HaOkY5iyhjlCnšOx]->IK%wP2ZF,*n]R#(Wi2_'R^7]'Oؿiz"çr e 2uEMLSN:mjj08Husz5~-ȑJ'x#H]n#!S2=mSK*N9t`)ZQVOŁdhgU {TMHkї(Ef%5ŸTe*UlH,>ӻj v>uxhDS)GDUk=ZC-Q9R\PSdaNf(#Ƥh/kmmfczއa&p*ҧț1$=0P[-GW%TPrc<֨x1CxIfI3>Eg0+ԇxX+jHRjt281 sC^}CKGI55b9B ӎwW1r /+{JrY$"v.V]LK "!|UKy-1ܡF3~< ;tJR}ge][Xu <7ʀ;'觼5ôMqN.Pc͌俈r5b!O$1Q]Y$RĽ&F'*+(@UO[ t>˰ (3-< $wsŝbvlgޏʢ"Į)j!$Z[!AA&Q?CBXtLaHt' ;@qka-WT`(|{d-jO9R)(^;8gyrB,GR2>Rj+}2F:#D QZgMLǫƸHjSOL >2:TKT8w4H,@Xo+)iȓJLR}xX2oqwVɘ?`/ÕG2J u=I뢂(CۉFKq&8"B⎘G\ w{ۑ*==zԈjS*-sD)sm|)m(v_L{P4QyiPFj22ms[ Urn͎Q(kY}\k@pwZ ݸ)/eꁕN~08kU`~YVvR&}k m u28*@<ڦwM1}lؠk`&')#d8h85|yn}.YP! S6b 4ŶhK{y({Z*T!,Bن`m*:ٲKdY?7/ܬg~qND\y[#v:v8t4R=)Pj3JԫP.C2RoZ M.Ŗ@i9x.|K"i_nSr:&xP|W>5r2T.-#{?/)'=džDOBe̡NtEn9sQ~80D %o>ÿ}Bj?Wނ-cTtT/M_CQL3T~ʮ[zրw47ǣY>>~qchLMHA,hF8x'ZyL[_Tw7n NAaLJ(͞kωDZahoC_ %V!9CcSpbE][K)8҃i_0*^M%y߿ \Č"CSS#ނ"7z` 6iF+́k #;m+v;EKO-\I*wq-m?I'Jhi\(Jy4 +X56;1'*Rr.m,c?":h3޼6ʚ'2fPͤ0SJr&$ᤞ:MϠ_}4sw̃Dmr4(-55>])*PIo`-2^RҋV uAMAi;6%[nlcMZOm(pdE t`BVA/D{"CBL CkQ-z&P#ya"Ԏv)na꽫7[s{4x>Z@cvZ]X?|CQS~x B(\`uJٹyUЁ].g+CfRl}+l[Qzul^ fF&l&#wS_-~cFw<@bI@CNUr񼤽OA(‹?B6?nK*}Z/6kf^l+#@XZ}w^򣳶>Ibd T" η[Zn'H⊯ASO L:b~{m{x'4yzH~O:4jb6gy @\ KE۴&&kC+uYF5+'f@&fH$Tbћ_s;i0DQؙ =u3-< Iĕݰk'ݙ' T7O}e܇%p3Ur˯iA44A}zK%W3wNN"Dwb=,e6T3'k;#aoZ mk6aKJXn w)%_|00V:IJlԦdnT + ň[j&pHѴ yM0 mNt!-1Qwp'B!W.Sks(4stn rŪ򢫕q8e壞 ) & !gYZVpĴ#BoeH&- ʀ/xGm|#'rgLlީ+XcAsVݶ4!gB_Xfݸy9kw0S#U$IF0-L#[n銹`[ݤ\#e88-k~C/S j_&EF&!)ǕB+e 8Ϥ=!r+޲iK8~yUom>duL$XLL}6؏щs14H;0]kL,wx3#iZkx*$L*)$>Es \RHu:n_"+d1վu4w.!x B/XEK&|X\vn_Tݸ8j"kz} 2SFs(c4_py^:{O % %Xv;Ǽ[o`6Zpq75Ԕ+~uL`*6ڦ~nL}Qt-d`L$<;y a#FX2j?3?="Ql%bࣜ8n6@v 䜇TxRQ%ws! $`}8#[WhD\,/;TMX$OhN})j>Ǹo`B@:XܦmίY2R9:Qai<*bF|$)ulTwk@fq%t)Ye:ܾj;4DV5())w+Qau`IbUhL Z+ GxWFJüF) ;,4i2BiKOyWfSi_؊og JcquWM7ѬEB39?KRH+J槰G;4(uvFWEMW]38Ѣ OX!(il ~ @ԐI/bpg״z0 )x3>oy9FK$V 8 j #ԥSwNHSVoTy P,n*87vH *-)l& !ϴ+AlE,uUypبNi,O}5S a5p,2 !Oև~bA͚ӟS0B6[n;DoA^^:& hkA|!CdGl$_e-QQ5{MZd׆N֨Qx̼2jƻ ׍G7hj@ׁsRхY\;dxy1^ʅ~+/.v᏿AreU;,B Ƀ$Em:4@JrBG7(il$ڄ@r56 `Œq8! `^E,[!1w ұyN3V?T఺ `ʋ`)IT5H{ K7WIZ DՀ cJImrGN7D dF*!4HE-(TsƢ"U)&8$M4P89FyŠO}laʇ).P=0 V҆ l^HI+j8LUZȜ[{R}RLYSVDއ0y:+ s~^Bac?ޝBB#B ݘgh/t]jC9QS(&B&L]ڈrCIHG(iU'uO<N]lb|?'řفᴲyMjkv >^VwV pN-Qv 䞸|/%)DP}džsDq;5o;j6 -^qXwӇO̧+HhH'VR{({1^~ hw3;7疲 c%7\D޵ٵ^pWƯ=pS .ည `l#A'. 7i@g !z[(9K2x5 1,niT ?enݰ#ṅ$hQ= GQmv5^|dN7˖,{O'0njz7W#8ݎK/bgXHEܸE{oag:4|k{Oe{|ȉ y/(lz@my.U}|.,׋b)/ ,.`>bhg QYlĿ "pP64q SylՋZjk]|$L" Uf#+Q]P߰LP@w#t ]'AQ .DB SZe* U1gU .P! ,}Wo҆:;,#kp?*g\U BG?NцoYX@n(o/^(Km67)2&rTgt\ClU2v_5Sd=o}uٶ9Ǯe Sgd>'FTbF`ٖ kP >1W<;aəa I e]må! p 4ie#TZ>(%(}Qu,!-e\S B B JV>Fۭ٪6?l"$i,3gAIͱ 7wKjz4Kwi|`a!T-U,c6-aFI|;d万fwߛ 5L:]NtRp :m&5)vFgR'p-emjrm-[yMu知e–L;,C2JQ1)%aX pDI䰕~k j7HSm,e&suk WW V Bʇ FO+S7f* Hm'L h٪%?uFSj ExvBc^a6]1%, Bފ3v`p4SnJHv2 \b? Hr`>~wP 3đ {rU fBKYvXъ:[OxB?.Im\! 1tu 2)vDJ^.ҫ+gYZ  <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_id198:./=' HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! :]·Iq n[:|&[z'A(#Z}$(#4,J] $V ˈAxꋤ3iB#ֲh_mQޏ\oq׸xK.""`KuMF4~p噮h6U٫J=5jv[i'hlpw&Cȏ1s J5gFK[`Wf cIHY|o6a<@%9(q|!H,dmZ޸j!0>w R-!^0 &OPϩbc=4g]Z%Ȟ1%cidYuhEz "6W'꼾``wHS: D;r.߮%fdKeDFZ:R$sٖ>HG,AF!T|C>~KfI!Ȝ48<#yCdyMMHj_C'N7`O_H8"[R2['y$dOxa ڏ gYZ|-/=# HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! e}]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A}FCt-6KMk/WPTًnrڀr^ѭ)1毜@z'RͽRy *w tˊ3X#[O:MEO#Z9A6 F,L~ݏ@C!m'+tus.s𮖼d[ RStT~*g;=` == "[º74 T)\=dŐd6&4\ZhVg'mD6xoZqMiX@E}W Ȃ]I IM"&QEV1Ɣ2([M zЫ̓\p٥D|tCokpYQ:׷jnWzqYy!V:tvUqr@8,\?baPZ,o/:\Ep0g |8|ᗩ֡J%pڳ-磠5驜0T[9sǜ:M1=kvWLI,afV2Sװbk,P`ODYA^kJ]LqQ=J8\S8Bp#.'&C=\Ő]y"뇥ywH T:LY@ kXޖM< cd˖TMMp\8퇟 {Ar'DYNd) &ug'drzŭ5wp|Yh\/A|S gΰȤ=p2? 0>o&5-ERKS`4_"N4ޮk6_aN/:ƯIk;O}҆5w"ƜsdH7|t&ՙ'<* O2ls0 yʆgU8uQ #i`WV.JK' ;΅ȅ|ywAj:ZuiiMenWatr a@)F),9Uutّh?yg9\ Wo ҝ`cv䔟>"vp*` SW9p"% C ia P{BĞ'l=I[xW+k|Nbh0Kf4 [{ w )=%!/tД4s rb6'ԄH_P7(*^᫰NCJ`xqw z4#12&rUkl\zk[5(2taျ{VǸMi @lfU"Th`dx׷zPoTU}y~NJWK؛9vdt%W.n2qo+ Kip$ x[O$_dmQQ0 &B|sRgriQK^0\8 iUS )Hib^tۤ2Ok kAy)6,|a܈=I|)8ؤZd.'jkzua5,]HeRQr,]oEH>N>UWW`&QZi{%Zfb2cѫh6އ]jisx.QW-V4R<ct,Cy0,O&&bYsJ˝i3ALf FۇD(v(E:pH7!G 5b $ % g+{xϤl3I-*T(eW4O?CIBŇ'ZF"f"ͯ MJQ [(Į Lly]vb& }% :άtsAk$7$ˣ{ {}(mzێ7O hz~>)ѝWKwGpz-,SPn|e3] |nk\FSןk|-#v}s krzy&f'ft@~L:L(Î-?]ޅ㧯CruGkXhNoDiS[y5닳GRbX=*Rw_pZ Ge착,k^T6;d-@?!ʩ}W,wgt+&1Z`qy?2%A~۳2\M^@ vڕMXFc;֟`sTߒd*7lQISCsP&)Fh\SY\艬 jlKٛ4V"ڔ!s9z2z(++"4f~Je):vd݁ys h~֖ߋ4ֳP{)& k(aV d\΂s^PQyQmX%ֲ6=VvAFB"Va9|Nx -['=x5+;x%c- E_"p5s_1 +8o9WWJC/IN̈́#r]|ȨZ~HA@u$to*c"WRY @2Y`8_ɠi%2ramz]s/Ǘ9Rm0 kc45@^~1J}ZaHzUJk8ɜY+VƿBb{YC,s_{Pu$p `7Һ 4R_$C#x9޲HЀaVKLIgW|ǿaUAOft5-`t (O}ZGQ$bLV2w8A9_n=Rcrp`PdY-ޕ{E!h{H5ɁVrOaH|@qr"FLC4Zpd!i)qxԢnRD4e/5K8V|n(Ft^mu*" ȡ542lפ-rqjJgBeMY0eD. 7y/߸0*VZo:_4 \-DzUgP`+sezޖpOUN|6Ku4Gd>s=BuKU脚YBm/LـFQ #(L7̀+'zH9 yYTBo(MLOk֬1(GQN(_OXXC}W .b*fX.)\CosQ?Ym If5_Bj; {FĽ3oMϪG>QxZ*IFqlWݷ޳[g挍lܶ{_2Z4q ~}߹Ԑn4MXc<4lJg[phO}qIg{Z3. @%tpsN81MHBHNB|p'B1x6l4K(݈EB(}+30ƅE`eEpp%?xIG`3D+G$  إ.XL(.3trnnHF->yW"q? ٮˌo ȴ=4̸6ՅxT.iZ`+6uHX|m^:g3ѝr{ gHT<8;q^W >o㌅G:b܄H.@)h+aY²`kmCzFcfw+VX & {$SwwEO}n1AlBlerPtkBYJ/`E%3#Gq pU0`C<t./Co57;6Mf?";Ȍۀ}@(m.OWێp: c>|- k=[N@hֲ\'o?Ɨ-dne(z>.W0ܱ@+X4C hwvb0-1bu"㖤tCiO^=zY 9+ݻ=᳍uZEm kP ڡSd0؏VF+6m9.|%ĚcEƑN'g]۽p1Ie/Ga/`ZYT">ݴhY?u{`vq+^qNH޺M['G0.A7i|˹%U}hH,RP6 ᯸ s*%w JگBMJA74;OR2 @e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218=2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! ;]Άxʆ5.f-9 rq8H֨__HZk;EN&[kpBΫ 愼LXف]6)'# NTQF, LyZg2~ xHu~V%<^^:~yIqjh8^UGS .R<[& Ӆɠ3{T2Kbe5D?QQ̳YtMu{*5Od%mz77 rvfZ>7O =JCos3JqkJ ' A`{Sl+XL,?:Jnغ9*ZˤVͯ s;V"Qr GnmAbc6B *a6Y"O jmY.r/oj"rx̘{gW혟Gk&~(G۴VW+7Xz=݄3hD6vɋ"{ε(- r_FCCtXLBwNB-د^5(hZ'o~?g){JhGoSCO~?|ӰWldyx q6Sle̘DaraK8Sk ߟ$Rzycc0P5P̏]yB}_8ۑ{ZoyqݑaMT gթ0;A$T1't- 's-0!Oj|]r@;[E8mAѯ_5@ ^҃]Μ^\ K{ړ"៩.(&pRaڢ?b,5y\\{0 +/n1a4 .(9s̡ ?H(GX0B^YJPS?&h!CrFUnvC/W?CO,ǥd >fr@ьUcrqw] "/;l', + O8>LmFEM7PWO&[c|Rr b#WvE#Yt;'-"JnjdK ߞ8?"1ǮV#E@D[sceQS\v!Cg4]}r"$3FHbkR;E-ߗ@Wmz ATs9 XjB~u:1D~geskHٲ/cش+Tj#:)jfuFu' y5ӎs63Y1le,| S'@j;/ykBaS]A(Y\Nm_`&3@ .lWqus`} 4EzQ`pg.>%K rrݩ"ԚSn#򊡙GbN (9gd:dRZxԷi| ZXS`S>[JU-9N*q,8H^E<5kLN:/ q@Xi# 8!sJm9K=a䭏D/\ v@l3\qQqN#o v{+%|ߺ@ OyÙ Y1xzVTizh[Aڪk3@31Wgcxvb ĄwlǢ<;@c?dzgZ=MilTu>"Qң8fj}vGezN,* O@ j?XR?@r9sf,w|"_S%΍K݋UgYZ6~P.l)a)2?s 8Jwfy|tn3@ sqNʐ[сBdͺ ]'R3{^P'5:=o)ZDhƪk%*OW|&˱.]qVn g*hb~7;jV#ƀ(ԋ ]cKUZJy" Q\;DZAOa uc2@Q_C~12E~+< aoSyy}~T'Z;-Ȭg٪3ϣ[܃ϊ uMt2}rݙ~R8=я>vGYݢU+oϿ!)gLn %z|~UGVfbU`jtѸKA YL\b4nKA/^ELq2@{?uZsF~gD+|=|X2d=o,o(Vـ W6ӵ#aYlZ {i9MsoB9QDi ]Vc2md_7PY y΢y.>"0ubP|d=9wiC-Wγ@|xv73gGԻb|dPӑ;ItZ1g s$GECWY+PBC^@mᗎ5֓j$&`-&q6$ON5x}@XTE*)V^x\LBN(݁TM犂_ǪvlV}=f|YO'BK=Zo d ܾ˵8)dgB2(xN@8G2V%"D4 UM^4,þR|iA>^]N@&kHPIP)} rB0cbWiŮK 2ϗ,q%Z[F^g,ȋ4'\K驟6ִ t% Cؠ43S<% ?{S0'1{Ens@n oĥ>qγz$E/iI1lJ胳j SH|a^Z]'C76#%a ˉmj,H+pd mSM'Kժ44-կMdOx4@G3=5&E+9QbMq"P֨Xhr5Rs2Jr|j+c p I8nS3í _PQuq3lIhJO$(|dNfD(O؈.?Be⿹n#be4jaZ]@WDTZ]BP®D3`R8H'w#p$uC5K8F-xnb/a/s $N8`11PLL1H SՃ -];=PzHRTC5[^ekt Hy=vmQ<#jt$u].;ICĚe> QuXŪI8zARf͚-hϷltvA+pvDqsMQJ?m\~tJU(/)?4U}mLA')oRٽF$ /Cfv 88-_n3AA,_/(g>@@;w GĶ@Q`Tro|8gP=`>b^f?ȸїFv:f4ȩ5=*"~%|ퟨcAl`u?7cW#,NwEmHf%KH+6GSGU694<{sQ^S"MLv刦X앶~/(㝍ذlN2@ ?ny,AQQn'07V SkMav=7@%(Zj;W2!\6Hs`1);sA³xIP%D)Ye y'%~,507te]M T! 㣍ʔ^4g {B{U,@px8_Y`@WG})h-JWSF,:< %ygVv3W-)o 5(JN)~_rr$[&ⷁ NOW@yL"_uvUt^#qYYŵ>LͽX9'Tu @)FC }F~-x ~e]sVȯVla\ۀ,EH6H52Nʭsu?ZZoZXK{E|YeF\h4|5zE/=r= J-hjsjnNVzȫ KTN.qg-OsEC*5i)m H`f=w>=:p,/ @%JL`Ŷ;nՠ1Cx,<ȇ-c7{~yI] &;׋Ցʋb->0bO1Qm'K]+zJ|c^>*4fAecڼv|z:5/EB"<02[cK8YOIQ50 ;Du2"~pDJJkK|t!nhNyշ4|$X'qm1)Xde e:$r#R'mD k6TC҃UDH2}}T1/[WΕX "_+_: }) eG "nqXM=uwEߛN2KWMͼ4s9CY6#w|B$p2p7s؄:TN>,EË|.1:(!ouƆ3D2>kVTWZ LU:Pj.സ{ 1 ׍ 2c%2e"[@hZa+wqnNQ=P@kc Dn޷w^LH.v轑:7R;x%<=օb9hɎ}1Ţ**O568c7 W-i1wX)>pΥrW' T", iV" /D)MuH`ݱ oa ꌨm[HH5ϹWmqe'u 6FDHvlȼJ|گ@=U~hENd%cfUn]vQd1kD9$b0%K<vJ 2! ?MB#99;:Uٲ/jG_%)r-3w뜄)z6~}&ZjuNSibyA~u0%6~k x"lhFV]stsSW49Fjx|+C=s^D}I.J8\Ө%qrp}A#%E*(2aߗÓb a<܄!JpYhxKE<F?_٠얩ys0Xne3Ҙ|XpoǢ{RY궬AO)1m`3sfC ^/XsoQ /oβ*[VFV,a/]kdv^7p͠y- $U-Bgw`6BQKl1ALgO/YK@2yy붺/=$\ E-8:q-c6JeWY*O $H|&^%+~eUU"BdAx*:`b!e_ W},>6r lXm ǣbvPAz14N^t+O`nVivz |PqCѲQ ܙx4/vV;8PT7U]|OV8`[ 2\wsy)JaY bg&Gz O>:X! .4r橍yw|r`ܜ1 V)*xx*yGXf[@ݷ#-/gou\2uo鋳X:hf~S WXo7&=Vlt`* W 0;v,we4_;^sӤ!MًAjiZVX\e2׌qI^}C| A]ZLMYq5Ƞ4ȇ)`n {0pcOuH[:K߁Q*88\NbLUj^ +bkbBUgIpPnޏ^}QtjF +WM]ނӵx Q͊V !@C r,`%AXd  $ZR#2;uJtf8MtEށbh+]~h;> v/{ MY{`ڷ3K,aQ^C F)e<=wi|h6xP8i .KӘS2>ܓU^?5^xr` Fz[Îf:a2`ڴ}\&@j ~h Ѩ[UWGw71^_M5yPSm"_~xr\[`c H=n%R.y3~j# 6EwN{uh T`ЈV :gQr_ L6óFT]SPR!@*]wU`g}vx ,4|7cNыsiE^$f{UәGe}a#oҧAGWƂ_<+KU)w!z'BM;"?QcVHG>;ɬ"ȋJ%i6wΧ r{$ Qgm-駴P'h$0YNK ?č HDP8r{7L$gnE Gl 9UD,Ddx&j@ubH7a31dYKZ=UbrRU*a=wQN)`wbqTM̙/Ì{Lyrۂ8؎bgoYM)ֶ!mI^+J4Ea%܇$\f 1P^r+[ܘ;S8% eh4Sv+H魦mL$G  OEoXբ Lzty"%ٵJc(iVqĠwVǵ "Ө7{p<)3ej]Oz-.BɼB03!.^}:xhpiVӀL߽1AJ4:sx#OSX2}g$6PrFUS$Y{'4:Ã`RcI]W]py"˺݅}lyI5C -X7<%GI8 )PkEۮލ KuJhcUe74s nflmLjypt) XuGcBG:# !ix]bO{$ Ŵ2mD(RV+4HaQs'DLEtB gODNd 6}u8LyݍZ CR!ZJCvְNCI<S)IRq{t4eЈɤ% CyA/Pqc+zONRgYZ GV9 /7# DHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹAZ]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`yE=xw*}wt9& F-5){uZJQJJu\nm#PV/<=,W D{V `ʡ  &~wo@@DGX=:HSլ<vyB5k%o,h+hft̩OTxT4oh鍕ƢS;J1&J8W8/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@7/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id214>6/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages7zXZִF! :]Άxʆ5.f-9 rq8HϠt S2Lަr`m UL#>T$u. [Yo ^H#X"O& z~p{(ݸ  TC}G^vyL/Tɧ1e_{ŹK$wt'/v%<L F vgu#nhK~N#hmgmK U2y?'Gp9Y"3-f^ rv&e:ߔ YS8DlcUXu zXnI\4{ HQZ?5a"PD=zuW y&$uRq%P*a(EĚ]7*xO!\i PrLVP2~ 4[ ǻ.?RY42x2 C;dA3  ]j:#O;TE]N)JS |bN+7n{|ӎ(#Hl3hgS -:9|LGViw&сQ,l$e,۰ ٮ; Yd^xILsS+^Fَ3kv0(m BZ6Qvs ' 8~6༽9pٱpw+nݤPl%%ÎgDcMű_>jt")E`"Wpr 2kT!1:'hizػ@RXIXd0Tzi쨊n*V&jƩk/il s]s#3y@l!C\PgYZi5 /E# \HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'f]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwMq{5?R4{ 2۽+mW?WzU_)C*_ !(ӹN{W2Uo'^9mVx]./ì}y S-^>ݱy>ݚkQcc@1P)oX$!+fF . . U'`KfQ5>ajdYF$[?7gA*!hPI)xY9pW)tn EY([cjҗq_7B O_(|4#Vн6g0<ẉexu|=n}**Şi[MM)07h\2m:tS׭LP{Pk݃͋N=HfSp&.. :EFHMx?}Hol\rQHz bFDZ|p1e)[9A-7̀oC6kܝqC&&eLQwkI-^pݕ,k/R>>KtS:82'8B +'!L4~N͐. װ!C>IPM2_Ņ.:R-#M5mAp?ާ *ygÝ:KJz8f_S!uGW_OPs'r%DJK-)4IzCyD5שʂ;r}U9'(20Rc MeMksJ˚azR7DejńQՔ }hFF]m+fb^mx|'ה&c 3έE.3ğ~w-S Z1|&E3<^-JJKСm Ҩ<^xqNkVѽ?qޖNFb K =YCqEh3Чu b$;5ٿ"\4"U\P!f5X1%6W+̠qs p+D`ٷFcEhTa'-vmc Si7+B~!(JC9>N'P@ "q2o:RDآ%XReC+٦4"F#sCSqܾYtv8,b}Rj4+67Egb|~ɩW*+佤Z:/j.|~/ gC4G*ڊUڬrT Kx;9l7| +>z&؉U䢾&Hҵ=\mmO:6?& h''D܂ v#7'pMwT 򭒋 d3_&[#: RgE+6Sʠzhsz{,m59K>pA{`eKL ƄgRczS_byk 뿵Pd. Ab$rGy >kly%ix?hC Jtk\?OL׾51WgĸЈƤ٬B!=</;/zoփhP?GH)[QsH)/ \ Dhp An3ofht&6[IBxLvZq ,7dOU-;r݄h :03Ae<^b\-e7źG׼_ EU$a(%g/u5 8a8sP#n>MOB r|y/?Z ]_=HFk 'R@ 8ѕ '&oR'y)w π󡻊mF>TTrmgC/9]/o2]˺-P wT 8~]qK3 p+C6I֦)0d*F)rPd% TG/q 4=0_cݦ1Ay/9$T]q/(fn**@Eqlq3"}b^WlcB 7;) ۝{2 ?pl,7hL_7xiu+?IA~>I-(=7)23MYmQQ-J'Ц?|FHݔJUxٓ*Lf@FXӝHSQ+l$va2P|a-E FnL:NtAzSc؆RY:V5bj3DkRE 2E?eZiSB=x փR:ۊfM%_VI87&ՠW6lm$43T{cN h/_O#Nʰ mť}|>޿~RkLg[9BrrϾ8+w#o |HS^jm=:^yaa}Ǿر"8"%S_W\f>|XƯn\ƌΤH a/L5x.$:H;)7G~L"ml9vi/Ah3AN/׸X9SB$K5s/^ldn*^n' ^iUr~U*E(]}[M++>Vt>dO;h^ؑF t~C.ȈJ~z+$+}Ljt[#"`9dx:+8+pT+F۩17iM~(GqEJ%:E\۩GĿkR{VDGغwIC}^ 91~'y.*VD(i:Tٛ܂$+VGE;>[yQ?7ieD..PNC} {\`3/r^r'(?W%ShWǦppr]%yYg?!ε $Ԓ>?pN_MƣLn , ;,"ٜ- ӳ$ *. WdrBSDY"wv`;)3Z:flɗ4zӆ 0U`bn9wJNTth>6&ʤ{QSd`D .p0&sCo*E?)\!ݗ1y'-D(v80=):%9уMc%e5; f6iz !/UMD<p944ޞ=ӐRXذDe@bw3Mw̔ Tlv0X(},jxfd}4R0%d{$:=oܹ Llۤ<> * \+;iy-%Æem<lޭi[)h1$Sd%k]@fy_>x2u.ͲO6n?OƝ:pg/[D8 o]5&FPrvTy kޔ^[10sOcjbЦ8qBo"et"VjV{w L3Nѽn.@-TN&Ta`L 8^ESURەsǷ+7Ht\vQA,jǙ4V00 bK,Xy'A-bJAQ|`ll {gZ@, !6*3½n&]unc;ncRKž[]T( JqYG._LOhK;&+ ޺&ruTjToӅ-Bwg$3}?0+I`m%&Qhw"=z0x$A(.X-#dwi}P=Yo(0iY``cs% x6%9ǝhV˛MkZ&1\UЭ]Lr-9׀i }[\ 1&9Z}u*,:_un1u!g ,Հ%uWR`8\;PvSvxi ( x=N㻶=`;x~@i+ eXIGZ/@*2%/+q=fs[7#BF=€i8ѕr.+nM0N(J` nbjr5Ǜ!iRA,.O+.^}x3 MqeiFg 8]՟'FbXMJHǝi!Φk#|G.OD J8|s6dNGY?[N02W9J*}_U {/F!fm~/RkΎx ?kĵ[*FI3v*öaA4ĨO8*} uƦ.B*7^GWn6RN'C??y4+2Svw2cC֜ <>{ { \ü^6m <|9<;"WsK"*f?t_uG9>i^H>QyCDfx o4?A76724;(؟l~IW; ZWf.^K[Lîa8@Kp1dQĩ Uz9NX?ry\j<.ߌGI;\(:)rHH'l:oqز$^ؘt>Sy^s@NHBՍٯ"săR-6p+u-8ZU/J7Z7"*Ra}'S.*ՅG9 r3@/eDQޞӊPmvG>Z :KكpSt N-+}O}$(5J4u N1|vH`[=ƆKzlr:;( 8 6T`8۾sln2h̎ sZMDO4EF#lȩɖƋBcl6?۷墄ǯCTN c#LI&>B% >׹UF|/GDIɃ#*;ߕ ̓aXmN{xBa:D<;h3DariY'~FcM8f8HDFx iFƢ޸ #S4lpS ATպ#J1 jdٙAN Lj9dA+ s6:2mbLˠ2`e¸x79r$9>0J3ۺ-TJ#y[AA;F% Yq ;Dƈ Hc{IFI]]6o)"n1ߩZ0m!>z ]X1N 15c"&ȜԨjaRv׺/)! E]\=8~%͚,{j&A-Pnu(!Qa($31u|p1+SM$Um3wvc ]m#S! J=Qw\7uMVw|6oN-85 D!D{biǭC=\ҹzX]Žˡ &xs1q=3, wfW]M8) ?ꛌIr  Ivϓ.Itp~V7)}܍-Do[o><`Y @_#=YّQ햡;*2nt@ep0wco@(5sR^LSU) ÇU l?sJ٩gHwf~ssDwl 3'ZC0q<^@6Z~[4a-759jEx"G !~W25У[A_ C36``",%*ʭ/mחjZ1Ěy;ÐetջrN^{0 ~MN`2683-peȥ̔6<-+\0JĶM\T+3q0*4Lz͎8;Ś[TqV)&:J#Nߟu>ۚWqʍj9o~gR]C˗v̽Y r]TQ0x:AP0'8_m")SVT!IlU "Ʃ|/\CN+/lG94B ?^I#H`6LYp~KG3#Y=Cs-:Kh|䚶q3kVۋR"ot@=F'1P+,u, -F:?GW'PAisFA.o`x(頠`P+bA: #C`89##ğ'bȳx`O + T8RG{nYq}1yLӫkF:cz/uLT[mUX62OW9:/ "Ts2`w7ѕQ*dRpif Wke!%q@ B A8c?sх[]ui%usDf %" έ>s!,^g1*|Y52ȾBpSh#ozX^ڽ+O0Fȧ˃NPM6X&V,{6H\NVXS9$C) l# &_#񜢵JHVS>/8'\)D8 ;ệ9]<$Z\"O->W)ww#9<9 TNRX[ET[/wsu5|{ĥX’w{s R,{;&BC#ii:6Oax [68־ f+_d35ܧJ ++Ԅ}g|=~ܺ(U FoǥD2NnhǕ~jȊ-]'6'sQQ}gj0ZOfU;GO=`"xM$ MDۜFϝM 0- ^V`0_8d$=X*2A5y*gbc7. 7s}*$dWf x7^ gg9nr,uj"MD@Dc\Ik\\`ft!5UnOTA%4UjF>dɔd;1JҦѼPïyxmvtNJ+Q)t0jN@Jr"B[XfvC-M-BXhO26v .*8"AO|gw_9RLU:t+`t*˩̞M `2_  tMNih(T{cWX@nҍ0%L.qFkX!,wt^^ZN tn_v]wFy$C:^%8s [ _h2TZX2(lS7<Ռi:Qnyg`YV=^r*9_^/nFA첵r N,6/_v!w bRrvΜ f5WQ~RآI\HpDk*Bnݕ)OODrksSΉ8=8Y-~ X ^Ve/&z _ɉ+[/,>p@xlyΙR%1P7HH5̴^=Hi_$m#OV,aWu9f%2CT"aKh$x~2Lە/O%pKKH_pZMDzo0BE5w~-p%htTşm<(&|b] #,O;i^B6kFW1(wۻˊ8 ȅYv:ќ?řgJ74'l{#,iݪ .RUAUE?ey?k]I*N u\ ]H2j@#kAFm籇҄V+uf XքPq ={|2`3kD,^7q2gUyש2[ő{ 5`KCpt́S(:lE*i0ۍw., <5WlY͊6 62~+laGFo4ȚOir.M"lqM/m/HRp;[]/ޚʸrkeɰ6 t =OK_DOmiJQmp#rl`ihq+)l)<ٱs*WI*ҷ2Xf٣C[eF/f@$=l-T Dyur %Ow^9ס~8~dl8\C.xskB?h/'bgȴAV񥂔)4;ˆ"lވJ= h3w7J6w>=kHh۩Xȇ=G@/a#E"1}:-A@n-e#8+onShPuRnY4:j%mL7p1h|qU;<ɾ4-"`tK6+n4 2 W9dwq{cG䨯Ŀ6&o0届Yf:,3/('gTku/#4x{Hx08%9DBUXWK B!3zi wc4.pŏۆ ò$n..KڢGO r/*/5>X+GH\zapUXcST^D>%W"FF Q%TŎS6}QoFʑ갴't43=mᬖCP) %UOc=6yKۜlo qbΑ=Nm"h)sED|MթB5. {TL@inT F)"l}1(G`^2T 0h$;WMk':)+T!qC'BַBb2~ p&f qo_ۊm2u0w$̬k!888 zj:8~CktG.& Np,^}L(4cKORw?֖L Gm14p+0 @7'G\^q'Tnx;kJf?\j3NǔBan Up%p2!mAK8-K}DgǯJmuTgN -=\n˭ye'O rWR3wIӼE?ͪj[I9~qP^lxt`Y22_PAbh)WZ 9 qP pBSP0?ocmT<}(՞BH؁ A$f5|OL]gƍqt םZ?N|6ire a3.v1 H!MtH]_~15&|ɯ:gV z'ݩgGL{>^>\A}2d<[Z woJTK=5JEYdr"ADqWY9:5YGjb5ֺ#fԩ@z '?779-mh:sOds&YtyUZ{sC5od>|uGSS x6^Um. OOvEѤTg; Vfi<2x.?O|kJɇL ]$l~ql ip%4kzO⾟>mXX\EFKCZ:eHA,.)dT95kz &S0ܝj6盍v3݄P_)Lc?D7m[OTwg0#IvD*4>a,/n@mF#IҦ^oT}fcm̚h+~ɀj̦?;Qfc%JsBF'yPnAi|Yށ41DVĒ}r`W5C ~?emZ/nAkFI%{HIĒ^3iŬCAmY>S_B*BU;ߧ'A!\7/v-\eZ#B+LgID$> h羌o4޵^W-/"\9|Ri )Cx@Y:Cٯ6'mV'棷 eOoZpjUKC@Ù/ JBĕbuU>'kLܞÐڊgũ%Y9MبJmB"ԚQh0TvI<(ǟ*J/? J w201fwm6+ӹ#EzܷˏCX `7l B%_l5ߗӚZ=\`sZԹWvkmz4|֒׎B0'.C ρICWJ=*2&i+2;HzuzWW՘/u8]Կov)cق \O֗]HL Ŝ@ sELiņ+WU^qfc=@D z.u+8cs~Ž~bg]'P0RI3 nt/2nCZ U7qͪ&|?"|яOqG lCL)\ȱ4 cj'ҠMSW` c?!d.M!lTN 1ԫgsJR 9'w/9NĔL@-:ݼ}jEg4M-Y2^_\xdCۿ$AnjGt+T ZiҔ%Aƽe]iZOW/S%~%A$FIXHXEN^>Sz QZUff^;2`N2T,'e0qQ'5%h}?l#oVY "W{2%;ǁSSU$݈Z!8*dRJ#0Th/`$\zkT 9A❬?I蟇Q³5}뚓xAI.0 "q^|cw}C*gYZ R " "R=> /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9;]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4exǽnpf{=ARZMCQ{}=;!=ٛI6tXբXEES厱;ے#AqX t۹zymc`MSoim8c2H/z:JpW˞н>ҊZiق+~ d2bYg7):g5d+NFE eMYV6%oIIf G|AK]"{@Ha։mՈٔ܇BD'P&==\>9%~/~NZ|-_;um3!Vf3?>nXć^-WBBo;sGץ_`7C\RUJ}fў%޷>z$,mwmy{$c!_0s@yC3!sc1,A\E׾O/G__Rd?6p⨚ [ 5$4Z>T@tؒ~tLBVgbT7QD{{vg: k.z|3Ojqk~uz=ϫ` d]޴qQ%N =NeMz2*ᛒKVS# @ m0hO[B6_xD[^N0]O&d-dG%i:h~z\fT8zlw3D@قmzVd^v!t%¹d8E(3Y^B–RƋ7o P(M#PۀYu:ݿd={#[<9p(iCSDq.`:wE:G2l7i%.%R&Nj/Tf]ACF7fjT֨6;TD?.ΙNnk*9[ꢯ`xgs[lq*0 GK]/y p/H [+z._9R)A>Jk ED *c \e> .~ؗWxzI4ߞҲVfP=5l8 KwE"Ä!>2"J菉!9&>tk[@Y,sPoo9Ŷ1w ĢXRdJh?.RD$: C ]5fXŀ񐪨Ů]q\XJxo8-(`ZK]jZ|==cythD Inɼ!&.+ATKn>Ĥޙ)9Df@vv,S2/ޫ]ӦNIرvU䫺5 5 Ka @X-lbk|B/bT7>@R6b/]ژ5Cm嚍k%|7 D_J`Ow2ݡcX>mU7=FX1L7JF(аvO& λ?H<W<6 ~@(>" 'P_O^,ۢV\qI:0/zyr2\R'2PJD3K4P(\NWSw-<ȏw3R'n>"$=  jv߃hC[*#?'fNT݇=79 gEpX('0I` aM{̌p0#KUPD7es"mЪ_ViKc2J13Y&"Q0sNM#[S xEFh,$ ǔr?L ؈Op gW.D?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' LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! ^]D?7 {?:fH\H+20 BMsI˘ci-^ҡ1+K*O Wy7hƧ˃DZWoPJ5wzKaZ," y-^L!+jL3%gk`%"^K -=1Wf"/>/Y{?qk%:Vf‡mTEm,"XmD _)*[ oUieoHH|P7:>N4^! bD}f7qyC48U:#&G,FB&~whpj)dc>d7zq i Dhn>NXcF=?{6gN=S&Q%Gfވn;^/\' ̧8c##OgYZ %b$%Jn6 Z } = y >  b#i o +tJb# Z [L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id :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 G7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.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.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'@nzٟ1r~zԱ߱f(rD14sgU h|c %Zf.vE$!(0굆,s`Voۄ3&}$n1@ IVլ[>2L=DyQXg.,Ո\[HRywLn{2s̸9,B(z`X@*ByER;v>9tj9"G+E|\{ jPIASru8UU e _ %8,ǿҎh(v&F⨠Dʢ"mAބ$Ɠuת_)Eq2&M3 TsV(L.KKrp\#CmYCD.V1QSSoMσ`9Nc aS؉vuuF9ew|"Oj.O >/V#3SL#ϩ8E~+!L [ϺYHȯ H Z  E7}QiۿDeSW=̇ D86_|9 A)s7~p\?Em4ȷ؀1U+d6sڏ_b*z kc֮vG0?t@Qm2%S nhrI]RSqoTJe摳B(DȠ̏̎{ W,|}ڦ~ILHzv+6֘4Rf݀n. 'M4-֌[R wH^%61d.J?U 䋅z"ֵ@Ь5&kiUہϾO4ΰwehYH닍5d_}~*cR싿#Z'f,z ROwa8D.1_w Gk['|:=$$E3a)_$4$Gu=s5גV^_۱@A _P / a9&$wz!ʦ٢yáAD1xA[twgz 0L)zsGp[/Ւ d\[ҲԮ\M^fz\B|C!n\iyřL5ÿb !cH;/6@@q*5LPQ(Q׫ q(>rtl<Y%PUMdA*သo0AA3߮m!6`՚h 8W_?"~瞘PԜA|noA%XTЅx3Pz`G!S;mZh:ޭŤ@`F?ekќHBB0CY;.!=|,ޗ}aTܑǣ:OJrqa LInONVJGm93oGF$>B}ɛ#Xl**؋+U aWȦF-Rgى4j)UGkLWGz$蔒 \0uMJPqدӁ jf\Sd7h["dז 0[/XYiH5$o!Bv/ww܋㯋;o}PF^>y91Ԁiu]6}@ts^꩹YlKjbԾ8˰|OO8 l&br̿yDaL w$$ *p2k PU ݼwS:U r>ZdءqS"(p79N44\ HxmN*綿RNNR=@BR]i\fW>=&}c9 /o P 񊘁#[a_~Y)- 7jw /aXw{% œD, bJpEtLV;/`Ql.}CfΛ o6d| I*ϸȊJ۹3$^MNs;~`hT™ek8^ qKj4OJ˯h&`z'YnW2ȀtN7R7i>q(#,@&:&lw$(w,Rh>wtKlLh1j҆_X]e ʎՀ+3 >@8}k6HYrd4S` cZ9JM>'a7|Yz-w_tR+^l]{m9& 6ręUy#;>pAoJ/}VtIŞJ\1Z=.mNsZF#pq4Kҏ?}ME/b$I\=F rz)}an |A? *Ap7QRgSr1Jd.@bƃhչePGl g*\P=I WNĤUxأŐhwiT́Q0:m7@c f>+Fĉ(;_W_JVKD$Nީ-9CMIE5>T66&Ջt:W2bsLe3#G:]Hmǜ+mY@FPҮCĖPB("I C*㓙u%8*58۸bӷH"] %T_V"X-wcJXjKCP67JIImLt+:7Ҭ7讏WHxx \onD爰T`nsS\!X:|#qȄ:r/GAņ'˔/6|L2Y"[[eAou >n*zHzɬ ڬK(j2'@g<9"$K5nx9rI뮟mǷ{ȟ)mfi^^,E=-N+a8rqˤަƤo:z+mޱY [@֭G+4y&BKk-^ٮ[+gǤe]W) ?)=A hkZz$[kVV%htYW]%7r t=VvM! 7NS$] }yCpB>΢buփ߉gHD[ٳG8>"5Bɛ@?\˪:&22_:p8G]ǬXbeTl9ډJX\)fTzXq(8apeT@t?@B%k|͌YdvlnU9;~av!`[w^X QK/ :tqbuy>P:+B)adxae]9;έAsɵfT oԕdŨA,j/a#ˏdQm+.[KKpSQu@6+ 7$@Æ\e NE aPoTS]n|=YRE=$MQqդNj͓(kHDZdbJF55]DfqzY< F&dwΈ,.QXr):؂POh)ϑků\V .b9^ ^~e(.e& VjqV3&۸4L8tW(Hgc>$EoKn\җb Lu]%ms>0q 2^P)c+ ۍB+#R()m$# aleq5AMO(1%Ooo+%7Ƞy 8ʁEMZ8ubFD?bQ+wHa#(gwukƉIg3櫮)x#Ҟ<d `" ?9,ֵcۉȫ)!|4v7hEևW v:v]iE=RWrVDO+KT;?I~- ȕ"_<Pnx'NsߟnNB֓Y7 KHa'֎} + r؊0Y<%ޜ;ͧ ̪&MygZK,o"%o P5]X+ʪFEKr_v#ՌoXv8]sWI"J>Op]"͐mEIuWoA]`[R{Q-3 U-|6Nv٠ۤH0mdbf{>-Y D 3J-ZRun@`-KZr+R~OHq&SQg{Ѐi7vMm[9ތ,ֲԶeVcb0Ak5jjGXqgN_@AhyIMIo5[οrm'yy:}v@={,㞘[o iXXPw2ilm1Ea>p5qy/3&^e+VGsfG_܍sԜoU CK]u`r^B7t$xdUCJ1ϢqrFiU>w4ܗRl(bQ~{"hIP| v{։d;x`?yxB u >u+zKQznYhYsVXASv]` /fTPj` eadYSB Y+P.g7PwX #5¼lBO)2 +euA$sӥ+r6!6\ w,kJдSۍ]Gի9~|ls5 BB]ʘUIi:y}vRb$莪~LŠgB~=W-Ɣ8h$G )Rx1uXs=#,jAmfw %)6*lڀ_\"涴\j0˾,9P3>2j?j!#@)UB*\Ep(ݤV']f5̀ 3-hŗB6<2]z kEQhP$|[uw@ƥ|x3%5Ct aiQ0u|C7=oV<}r_%e?w[j;ݧ"9j2S\ayj\Le}P\p{XSo m'vFit_qӃn6'h:T**$OWWɈ6fvB0FU17s4 vYSj~(+D /X [t̥l)CKֆTsT\r>dP>8->H\h@V")%h'a^"Ec<FA)W(/r`}~efy k=[? hpGj~4$jYrEF⟉O7S;Ԗғ(f.gںqiTI!Vfh3 ͭѕ/ngiP`zѧ8$e&ʛaYyU)oO`=n]j*LB!%%6llgY)zG1퍽c 3,i~ud.R~|9{ (NonœwvwH( %p"HyʘU%&z\:ujyƫQqYAkٍn $A)yvgGTUt]^ I\Jﱯuw,6B*[$YR7cuOVD=io:ŅؠY5] ] Kg=vKl-rxP\NDͳ#2d=?{8Si{* M9B'X}E&5S99H륏 8$"me8ldBjޘ!?2Pˇ~(шMHw-LWnZ?Nє%17F(;۶Nps3DzmSܦo@T)֏ӝll $GИ?)B<=)TnZV$"_Ho#zKU`6֒$-v-b((="[!9HG cno- ukHĝ^HZ gBJ%nR^kѸ*axR+C[Kcz UH_6j!P7Vڮ.w̃6X7<\4_Us*0 ~%Sָ/. AVƷސU+v=MPN R*xhҩ6ްFe 'V9 P…˼%IdXvQBc1CUC(V}% ED ^X|:ƿQ9_&UF5v`q5WU<@.5r kh q7!,Ͻ[fhx&M)o\Qtdk.,39b$It? MCvk`YDuW?Z.xuTİy  I<ɍ$ؠ F y*D&>~P9Gp)dUx{I!qޜ#(AqWmTkU)KF! Kg]'=1E/b.F"#ζVIa5%_(frF|Nwxfkt<{ fRzFeA"MTkyBR{UcG įP*fgV+Nf^YRC-*>AKDg8_2>V|@Sn!ŎCnp(S^-BY0iΣȤ[P~bū?GŇ`G7l/p(xz~ <(A7}MFq^?WyW֩FϳcҀsAPJ|>հ/T{94owCd΂UDGLf$ Kkp!@-J+1, &(A;M& Ezhg= ^k\ NXICcC(У<߳|-!&..֐Z:LwT֊嗀|($JC Id"sр1Α>~,ƈ$(?FkFbTÄylp.q[Quf[CqT\$67/+ kE9lTGB}B,*2]ߒ"l 4I<,!}n~$ٙ78g(~M7*-"npԚ3zFL~@`8lư%p`sBK`|U #meFi}`U{Þ[f~ncT嫑9F&CTۡ6OM+Aʋ\H!,Ϫ& aDtN`/:#16F`_Yz/M$yF8S!?˓Hf3_sKݒ5.4І<}DdH<az;]o% e\dO;h?D <#f d)PY)kN1ئ1IvF?7N`vN#\`93K>ߞ y?SR/[\?3YY+Qt&+ "u͋9Q" "Q'g)R!/q2!Kj-`ZwQx'i=0(|XUOZMfxsAiP -)`X^\"J9jy@Rl=-sZ #8f1xq;nJ3 !cq^S6:P5zshb~EӺ:*&kkBPw϶i,Q9Й?7`LCjr"miUgYZ  ; 2B /G# lHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup7zXZִF! f)/]ˠ)jk2p O6LP=͵gl5f&Di5b^8th zb6E3kbOdlB/tL] G 3hf-&xӝB*Ib˅X$gD+%Ka=/wp1@;S9kT{&: )[d&OI"n[#_g<2ݧCرN1??Gʢ\lA | 8gb,UdOs"fm?Ȃ| 1[;gh,rT^hң($3\IeĦ`ɛτeM>TzM% Ñ5=jQ_=_ؘ]{ok(61zPUn6 xDžIWWa];4Al٧u /=Ly1lyVJ+Ȟ/f:}h&FA5s|8KyyY͵ڒS6 V._0܄ʲ_YHl%TKx7$|6:T֔{g.y*mA` ${LGh#7&o)x.Թt ߯Ti 72cf@rm̀YIMyױns8KRyNiiJ* OA18/PT(ڇ/aRD! {˼ikAq`eyuuWߌ&aڊ܊`==!Y9, TBvWN_cۥ}[@+򳛞ҢI/m(/ r!ϱֶߋ=װi)Ks[@ܞ;LYpNB۷QQ6FvY)e\Efe1LMwaSL3ƽMQКqu_w2KDŽT2G},Pi)8[f}cgF(UO{IbJlO򥰲v[4lC֝/y߼ye’ o쁮+H/ uQ>UCvҧnK_M'Cdn1S+yV>?v}+$g"#3?"CM'鏤v錒#j.7hg0`)8(cuaP^ofӢX]P ~ 0}<-H\_\KB5q|_"{rob14&` K&rW~Iur4Wy:=(6!TIV̪<Bzf˂3YH0GIJO2Ylu\x K^scwQgsF9n[CXAs'H#; NIOYΛBG0]tD4P:YWOMjE^|&\.L~1ѷWh&q˸^xugJdJITл]>XWAوǫ\yo;*}2p:RoZHy=u?CU?O8v ]ƈ1ZNJxKSˀG5%kYd"4S\WRLr";Q+U(A(*#BNe,&959vmE>dvf]5CgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200B?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! @]·Iq n[:|&[z'^c%KvJBh=AUL{v5aؓY,T{f d-}xL6s7S^D :WWfWMU\}QPU| -OwŐpS'I(F%+O>#Ou(Nקt)fZ32 (mb\y(nGˤ LgJ㤨/I|v)ǴY/_rk2-]q^>r~}ʗlQQ.V>'uw>8Ԫ;Mz*ּtB( 0b^Ey9Ed;ŐЋ #ߛ"F'bdyh,E%Mz ׌m~1ǢB'M9e uHD<-?4db>ce DQ*+Bӽ'PhN-U U^~A j8ʫ:  Ka3JBrWsNiWю4w裋m(Pa~6.k$7>w#}DB0> \ig1'y<乸lI$73*/Ϛԑ X 'ZlaV땨g,[0bbnqv[Bò%eFPt -8>FiDn%2yݑLt3F-Z޾e-oFITLn˘+} Xg$ v,BfqڝL(k\av>ya\| BBIHP)t jke:d l;lrL͵.P.A",SFߤiY1Ib W̢((1XVKP;\&0Sjj9n /K/s\oo[6ZT G3ii?S[]tXg vu4˾(P"WR;䚧_;wvtxj~e 恫_+74\:0H/4! c Kw)%z;a7:XqBP!~ 7N#><&lQ3ΝVwc:4f&,_[AjdU'T~Od;j#tharg.ٴP¤awa,9MH+nZ[r}R[?D P1*Dt\j^*q7:*'peO2R@ҝ-1`j[aSz,Jvef`aHm+b``zĢ9>dDq{Xy@c*i z <}BbSԻj"SO:@ BeE>8d@Jɦ,UXv ncL63 b <4.;.NDEby'/4T"=tw a.!IK|e\`dt^f2SڬYxnt[hMm!̏}ru{rP诀xPXx SL7X߁/ 0 V\4a,T\ddug>ҐX߫m9g\ab 7lC 0vaTUk  |XuP~ h9y1s%JwV2TL1@保VOWaS3$w'w268\nˣ cFӤ[mW=c/=;V#BOn @4D~Ty8#@KQeQDj⊸PH;u#Ȟ0ZY5oqzϗ&y]7LDgY!#L dS=UPZH'ةRJRi#EM6D ~ NdD ґWSlAZهI9M/HH(:#B~AHl=i ެ3|Q%'(yDLtŜXI4Szh]?)NWN)-.ȮumIz>ώ-hm?~hБrU>/^/նR;TWj ]HQhay[xݽ𡈯w5FjC֫Fzk# uE=LJ/}SwyL$LW0lCn/>SJ⹜f797*Q;D` ;nBx)g,U-z7(/]z0+4d:*nɓUQ*Gڳ>OX [K՜ނj;l>ZEP=rYȥ_.pGĪΑ_e5KDЩDQg-giichos3t!a^ CvH6zT8F|ŌSaJ}~q2ROhbrafLd} M/=ԉK2<8F$R-xC+^T1-ꛍi1!G7xI|&ahHf|~!݀1D_A"STr}l+L'U,Ei-_җAǂ h^j=9"yvJa@Yc↉gZ>?0Jb:/9Q1^J Q~qȖ߮C eEqE! d0JF4p[3ǯWҪ#l2+UwIH+7Ï&tɅ,ST 5 `\RJ>C.fpB䠖 Rj,œ9̽Xs3 n3gBQ\YR:y=:6H`)3,9`1P] 诙wC7DŴHccgg_LZ׉h`\M9]Ȣ&~wm&`O be^{t@ww8&Tn9^cBt5U̿ek=x _ZkN z9izfbxx )=L17~{դO 4喵2+~Z؟x+#$jy4(6tΕb'bWHpjՈE&~y%uOXO2{n)V0K{Es߭𼪣XzMS7a3H:aWPrĩkJ,Ɏ "DM6Ѭ@|M;c.d +^:w2q1NVo aUU&*6hwd|2l\-zeD pq a=1/ɨ̩C?ϫ~HL͓ޟ ]Rf 3+3v3/FwE5bѤ> CZ"H \TaXǪai䚭=߸UY8H$e<۹#еELafes 9Ř1z V^n2 rxd\i5HGA{U#SgMf{By>@&3o GFMh bJ !!+̌p;Sfn  ݤH5k]}yw4c9] ۷&F$l!Tb̈r`胂2iggcQjGoFbޱQ"4_CqoZ4+ %y!MZr+nD.:WXP0(XaޝLt75ZV06*V 1L5&ZMQSg~I-^nɿQ2 sjJ8 |v gMfɝ61NJE^*%tiY $sC@h5(<q Xac}iKG!*cϻgHT){6w_jjehLGb}l?nCV50j_GЩa93?Z_UJ~cߤfp˓eĚ 7=%8!"LG3.[*ӶT@QU4}Y T[q:5J{\Jl#hWa?p+.Y'fZy$Ɱ >etvL'R)y*Z޽8)⑼fe0;uN4\Oz6]n:+dvk D!"/C"iuOn1觅Pĝm9v7%ċ*u`1ٌ D b?nQ+s`ڼ_l㻔hn܎qDܮSuzJ2>qcqwpNBT $kιo2N+WsGyYuG\åu G-~:U($XAٸѝAb-NUpHM}s NU>Ȝ^Ff`D˴'B, Z?vzj-j׷nH?oivʖYpJ;?K@LUcAd*S& A eEѼDq[%u@Dbǵ3H;,/tYM9%SA)W8%F}Ь?t~?s]VQ;>ա\vp_vG+NmtVL.$g,fYN}i*:qJabHqRH`eGwpOCȧÒf#ܢn_ Ur?2j(Gd(\;> lvNI;@ 1F ?:@ u`0m -x9V&f` j8~0!#)ݳ[dsI'$1c/ŭKL1i1>}ēSϗu!WL~gprhS&~A*%7C{br{#bwfS5r*&hK[ MU_WZ&/4h㳧Ҵ>VϰEX2nv@؍4Eҩ LElVq1_%B&4њĮO R(bKx>Bq!@ m TcG`R4R%QY>&0$EK~@Ou#9p L wF=bĸpGy}ҘQHz(UIQEpEyPr9>ue3tቾ\n*u );2! ߙa;\řQMPP*KBDi*3PVr KVBsȎ1?+ J-ӨLOV`Apg/RVo᏾g(g=^[q)෹ԑlK uG<+nDh]\+#|/`ƒ B16Y4 Xk9}3@As-\l>7Ut_ "Ú?uֻ9q[p`ҩYCzh89ikr0R<)gYZ   j\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML&G/E' THOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1mXh g*g>  y|*QuN!G#M#7aʰjUg· [MX\}^w4ak,fTh#>8zx\ T(țp Q.VJ!ݳx^xV$~Z6^^)~(E2PΝ+ }рKʣ.oU!(ZD 0jRWs lgM)Mu/{mLbO Nyvؿ=`1keuU$fyjb 4nH$d)V8&cP|*2Pq,Nmk !ȏ+nOlKxuA 8ӑ~Ѡ}_|;˰8`e|Eu\լ uӺ+{ #`6x)dw^u4ӳ'1|wuX;%s=w`Qy$ƻMmMh{ړ&ggK[v:å{ uEx ]{Zº.t>/d ҬlB d E'[(TN[2Npw*$Xiݕ[(:OB%["L>]d_&G&6 KݢA%?\D+T{F#cI/1V"c3 ck}nQtr_ \ gTsJȈ@+|.w7z;,[HŷhO0ifF7]%֬Pc7c"u We_}awf qL~36.}{jWA +qoYܯd փ`1HQdyȖ9Cw]3bN$qkꇀSn@wv;.ճyƑYlŋUt4Tu҆S'm[L>-uDC#mGgUP|"8犸-}Q2k M%"ti9ժEFy|t獸W@/25˳2h ræobN~٣S?8)&2s3{kx2L)(~W JS۴oqiMQLdv>!c>ɣR k/42h ; "AR?qpN=F!kت{l[gq%{(Jj1 eg࢔<}A~rԖQ݆DCK&I@v!$ ";uKLƳ1oRj7zU>Zւ#r"&dK ^lHG@0y5`4O2F/[%74V8;ͭe""ap+f+eԔ̏hФ ֧ʼAEMu=\dϡ`}0s:0SC01 Ͳg d#)AŅC_#g>R36`,/-m܈FeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222cC/G' LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w]]Άxʆ5.f-9 rq8IR1V:J +eP "j)l^Nj:Ct~%h|~p#} +hԣ>UX|6CP^Jɵchn8>f 8]d%Q!$I/rX"E}[@k\nhÃZekZevqb.UXP.df8j3߃Ƅ-*מC+n^N5W'1a5"24azQh ^L;B LS"a8I#ڻ$jQ먗W?S?%$W.fV̴!x:0nZIń<5e HEy8­˹$laqޙ^ kƼ A] ZBF 2vR?h,\g-S5ZΣu<֛<ȹ.L2 bL3ynPMCs EIGLil\Z0^cs)=c@I,bo#4˔X֗!3(.y@|O5tK} BHګ5LښE\AtQ:a~w0,WW0w> FfG#.uP~WRt`-ܦE)k[Ad x`5fVK&zM`+-AN]#KC|[@AV㭵-lK)R\,!+Aڀ{ f] T Y&؆! >;ɻ MS#74+qגZ '2jқԮ*"=Ih6uo1ϝ 0 ,QgSDY4JVqTQFzVU*:r-Rt;͸h+yciBfU2O֩D hZԗ+7Lph$Fy{#INF?F[ fǿe{myRUDM@mwкjs2aQf\}]U9} (,^] S5tEĒUټIŋ+bj8ٓP+7 7lh!Ĕ!G輆k#rD{M5| !P(\ewllm;l.KIXs^gMIAc;޺~?#ϘxF3Chb$=+a+Htt5pQ5߮ A{2 Fx BL΁ѭn~^+[jU{6f!!SqQ;FZ窓7Vm/:19 xީ_Nz1m;T >5ڤ4`CGKmG?OcG#+ ^BxPEr \LH1Pd#t X RrrS1 /`ZjW!IT&Cl}'U D)\Qcw$44g]t U0"Ξ*ekDx9g4B<ƴ>V FWBܧ¦vpU+/E7]88Pb{LfjD\bl&C|- &+@n]q@9h -K]ltOx>v\UMnw2G\ޔ_le.i6 w^E"UuUX|DcRD96EIKՋz4m0qЧ+e)e+¬^^}`-O2ӵB0&D3yDX+:UdFY| wNlf{BN~RHMdE6S舯$י)6 ܪ\-sWT;8k~^#0 $ps'-G$MLo^OE;ڱPnzѵnLOw.;fv`| <0RyyPee<= =|5]=!Hز(hӠ"} 3Q+wZ,MR>#X,ʬ<@jvBnl 5aGTBBR|;^ٜƵYu 'G2mm@Wi=|`w^'[MPG8UO6d7ܡ{li&!xA]yb[Z77Ү WmR#";<%?w߁ 5z7ΪG%ʝb`>0V8P$9 y5}}[d ѵWyx*31r{'SjDGa4EgtU%K&)'s7GTr)/7z{/'PzL&~,`K;|"d2"8=1IO&ݲnii. JW\CMXVu,ϫṁ k! i]=PゐJzi6 +mݱ^->=8fL3P&\ՠY >h~.[%B =L<C1<,oJqI%\NEg+ JoU_<qz<& _:]/q]tL:I) ŠZ.VڀDY|n+nna }Ǒ%ѓɛ$7*"I+z~^8ST<<%bP*r @qDß-H8ni0/H5Nbx^UVa kݾfGB}c..rB]d5 S%jcEA~Wc!>?1P%ac#ԩO[G*T@7ۏSv#53PӺ5[,v[`q'-Y4ߴʱtsE:pQ׼+)\EFRkyjlN lS _pO/QlމN߻ZKE>CKQb8F ;"$L(˙l$Q=.aoq3zu Q=tkf~HF3>oSڮj"H?kfT_ Ć}Am2mdtUhG9 غz ]QN s sI'D.Z8.cCB+trz+M*uo̊ OB+ŚPqaSPr_ RhmuÙn\mwǂ|Ζhxǭ}EIor$E" @yt&Je+BP*VбULC2s|!(LD1NrK{)j"Gڜ F$Jt8빫# \όDCSh%1Di3g$2ih4`;ҐdEjqޥrxW3zM;9cJWG-Eؿ(mZBI)*UT Ol0%asngυHx5 2Lbr]Yd>M4$FGi5֚49㜱٬gTE x(V+Beh|09'Jc<~UIq"gU6tKQő$q.ȻlHkWH@pv]Qc&MYIf">t qzIk`2Cͭ,SQ z;[DXOȉhv"[C_ }r"o>b4X@bm׶B;h6; ֣*j­y8="ޚQn0A>̀f~'Kh(N2d;E\;ɃH^/3=P!(in|%Eb_ڤ(aÂ}1R/d8≉[:ϗQvxyk^ a@ep=I)GHd5Icgmi+ .& -/_AZz ڪLV_YO|cNa|.jV}t>ΫQљ*i{%q+i[p@$NV8lFBaoI;L RPBǻfihMV ;!u(y-ϷvȒ@nYhbu55 [^EyS˄\ZwP+$}2n %%Dd6ڊ:]V8bHb'IBr@Y<"hf+&Sktd3h$p(!)N4»( 0J6ßIfh D/Y<S,U!ͱ+0/m,F%\2 P^3-3BuǞ±-):6R};4(.3m4y'a8JECnf@MZԔ3"&5,G签r++Y&XiT"( iQ3>֬9O!pam$f^2abb\H's>hͫRn`xPx/:ǛG]\7 pf0te3Ck1%Gz 9F-IY&$nf~yb?MmnPbж=)ݷ`[Z'fqo8 u|#W a&gRfq hJJ!i̾.8BAtÁH+(u$Hyu\ gR(B;^r<<WI?ܫ2*OZ3e#gM.h=pl8 ;iQ =;WyK|{o8?zj#- x. i\< 8gh Ye']^x[TƏ~^?b\ZJsiA!Z` TwŻ\+OmU,6|vKGQSc~G E2\%85.5AQڊ!Q?o^hMں~ݐsL0}>D`Ff5 Ta7Jk:e swцWr 6my?92X-C09mL" ;/booѸ<Sj   0F/GC{w4r!a۽ndc+ |wć_j*L@KQ1xf٧6H1W2) p75Nvp5dŌ`wi8 Wyc{.8Ԋ+qNt=01 vv/ 9*E_1p$8]vn>̳SҨ{CtR+Ӵ|H-H٨"}]4B_%M:#"+"IY2ly bAߙꞱpZ)WK0ҝf_XgƆ^_QaS?$bK@_iTbkCк@҆\wL{EmpvŦnD(n9n)q.-6J5߫{3t:ߎ?x #`Хm8{UO|Vܕ3FjI{S1܁kXTd.,Z1p0jw#?KnƠAhFxL5E{iڭQz-CpLsp-ᶖl%w~dz+\0(>tgO ;7ݚ#q+N4I¹)S,쇔~ s=Olt.OG"?[c_b^;bD^#/:1ʴz5c$J'L ?r4b;ؿ7!E'2.ޜyLNk<8YT5mG3!4\αJ mwL&uG| r2QEmÚv##&bQXl9 :IaGP ?|!m}QZ9:7``CbښIJ7®vM])IxNorbQL\!QsOQ c`ܯ 0 827b}J -jC rG>N:OoBcZRV 9fNExk(5;v x/c [PqJZLI8b2\ H jڬ:Am)|DV R-I倐w׉i1ʼn?:u,h:O ھH<楦ߟ:,hu@®%+#<Ɏ!DZgLP-2F x65#VgC^D+c13 2SJ$2,BKg3@Mz dit (yQ }n^)0I2g-!'֝%_-&FQ7eZNzؑh)D.WD,P$Klk Xv3ꉊW !(iGNAyeHr.V$< i,;BP8y_ _.gYIhVeD؆0o3 1neAhRNkgd%("}עk='J쟲1cU3&pnNU=sxRJ/&Q&4?#+V/R_7@OGx8HA 1.m8*ݪ]itݛ:?T=Y Wg·.Aި#8L#_%"QD{(؟ 2Q%Bz&w4)1ڍqwsu&9N}JV9VtVZ(Ţ/uT{nD#+~6Efwt@1_dA >tOW]tpvP@U ^U[-+uI>gdgkY3ՌpJm4g5P/z$Y(Tt[NaaqլV~l%ٍRySX$}3AnN䧑S[vz7P fTRJׇ|oU6-w4Kj܄9Y쒦+x#Ru_OޗzpmnO[n9jrp;]? 5jkg?{ {m]< kvDW:s MxpD~ Qa]33ӜuH\PW1Rye9-Djp6$@Kt&JPru$bc˦[pLpi0֒pP)EEӥ4vHCQTn)}'_μ) .sS͍'moݿF1rB6H9%2 ufFdp]Os4:K&S*en^7 DBXB/ BwD,53 u9S3%g0s”rud(uKguFueز>&,6L#}-K_;0O ˏ,Kc[Jxm[k,~G_/ǎ{z119d[LZ6LJ=CKɑIL)dɣ =ŲRe%GFX Zts΋4D9LO&45܎X0wA%`,]%P+Y6s"^s~E],PSF9+t d4hAs" T`_plX-d R=/^6 3$aƍOS>VNx_d v[NYMZ@ RC۶W޹|ޕ>'#:j?x/e-#$Bg9?eؗ\B1` 3lˋ8j'R|K 9(GbZWOEʃ+CHt,\UXuH @|pQ14:=P3c[Vm~u K',pa_Tq΍׭cDAZuԻg :$֑։E$|;-!UAwNQ :$1؊"V2bH$4%M RK)-{gIWgs@<1a%Cs/9`&¦\:=>B"2'}PXLm?;W5~G}b-/wʧ0ߣ7_zead++W=y/ti ~|%LDHV+̻9bOs$i+U=`Qn nAk?p5n6<)đ8DɅ͢-29jc zuXcQ p3@}/ZΗ\*޷Vw1w]3g}!nZ:UhTގW{eߍ{4YQ5d'Z2ک6b]T`a|uP;:3Ρ0`˼y9ױJ,9$O&7.ts"{Qn|c_"f*}Fč{hmYiIoeDjOeE ̩ʮC6_}ƌБ;ے) 0ڲô+ vS<}*<9tҁ4"A"vyCGrꝥ FmsAW|I:iӾey62*~ (S$=7s e)-Y2QϜ F1-YZɘPq̥0)_C#96w&DK4쐕NKRUNZ  TaշU2)V>Cүw*n6 UdKZ.RR^ gy&sA:R17ukMLb"Ɩ iϣb-u؄=[NT(3b*~s8zkQ( iO ;qEǗmKpCd29/bQSJ|m4ɕ\1t?wL*ieH1YG}%a1h?$vmVb[^9;x:ƒ 쏛fl04#StpntN6ćx;v.)hc4;0~/Ѡ^Wл[#>KbFӇ惦+a JK<ǭ:`Z1޽s#8TΖ$Z+j`^P%QۣsH-?PEFV?;:>ݫ=sW5RH+|O 1 *ݼ($Q):x0ȉ|c~=EjGav=%^LU\*[f&<p'lWb\wm.ۥ&VY[+"ƾ0KK]wF܍Ȥ'1| :-H@ڋ6ld;xiYؼ mMʈ3[ф sIA7kje2Zk5x.\I1νHB3Dn&E\x S0`"DNgKC_FCU0ȠWZ({}lwA/o^ϼar">4U g_f1WQ 2H{^ "oiM]͟fnj9 _m?fpݠڅ(90zՃ'Z)%Vx9OBK3W|񰱄#`r`#- ^E]{kP}z8-:#UtaDꉧ{*0+If]%%A9)f=kwx#\{aMbƦtU/'玮2:`ys u5`JPS̽{&u@nK2?B|%hzClXH8x>skZ ޸x7K32VHp٬uc(W=<`S&O!Kd_ [#Fhoo t3" &Mn1ZfyhYE6~g *Ár6N^K)CSTj+x &|9j9$q!Tx!b4Tu& &Nj5@ת}WEŃT!,r'ScB>텮^$66EcM2MjN}b_ 7/r+P؞،aK+@F !B(XR*No_jʾ{3Xe38SA\oܹK(!K;cgf\-}dͬꈙ㿔p:WqF2At5>/π0 s(N/gm,֌gYZc%Vy;"}U?9U $hg٠-I]I@*T9]vZZjGOW]C5"5: F6XQ! /(^5'ӁN>qsoY7.{ ]N$ "U(pmG0xgoE@@_j;i)|OpyJFj_{iҸjd=An/tA߳`{_Ѐ8s{29\as]nbԻic)J<_F;JPq ѤOdwo˨:ӣwi$j#7ILԖV6s,ҝQj 8o 3OW+1á^U·Sgl@aM|#ǜ((*`K' ٣ JȺZ(P:Ҡ…]z=(vry#E*we1 Q1 a$ԛEsfEv0&{romG/k/2" .hu ErNԳnZ^&5T;a4ѥ> \hL4#;^3xuOZُG#> Tߝg$E j=ͽ).E%`h^ģLX{ [R<џͺl$iVU ~w|ОiTJkwL4+feAzR_jBPsDI9 0K pH娀dy/~\8lv&J]9j1$77\D?fX-Z&W/^a7Zز+69'7-J̲lgpERc#?a,x_N+, p]Ǖ*iz樛f6ҖPzC;~lMekzdˑvS48+&{Y*dh?,PR+姨M P~n"O\oXݱtFƁ(Jky09{E5(6qԕ|,7ifޙ攪 97lx"Xy2X]0_ajmL޿5Fh]SJj &o['Q%kqiK3z/ =c'|ʿHtUDC}B[Jx~6K 2cB@N|Oe]i+71_>62h{tKUP<˦$*Ṷ ?`J NYKKr.Of/BkK?b L]gt4cNlB|pAd4rbQLrh (s޺2v.Dt"/$LH jJmKТey$UAIbVVY:"Xu?&42_QnMl1`I2 )ӱ5'd 6i5Ca@DƘp*μAt8`v&Z[|M"tbQ^PWMI?+P\#eK$d #Dfk eTƟ0帤_AzV ӯHky2? @yD]TϪLI?N3+ZiPyiKÿEIi7˺lf¼9 4 ETRE;%bX#V;4pp F7iD>^Ӻ8) s?Jws.Wι&lj pL|\M7  ?NYgA%O+q/l EJRfi~HՅ`3w%@Q ׼X/$N "9rb.Qϳ ̘t/^Ι~N!yUou Y?Oki1O$;kFQ[p*\7>ְ!\#ܛPhMjCQZһ ZLܻK7'~P1.{;;Co&(2\aVO?pW[=() ht'%^f?锑 q^/: eyh@>}du*lvS; r|(v Ȫ43F|Aذ&DΔ1 pHw-UnLH3T thprt5lWgXr|9x)\)lg3|=HF|2Qq;#eeE<bQWZ.hE$Ey@˴ l oːMQU!<>er= // f.YӖ@ԔSlJ5jicI5یI zSsvwAʿmgB(2kS_^h{v)#m(7r͵#%T;j#=qW`tfڶ| ʼE03z/gb!V޾/,^PUURO/G,~Ϟm%τߩAl1@JY`m𛛛N!Qڙ/{Vyv5\B!>z)MwH {6N3xf3ڼi)`hȘ`jj^8ǫ`s8ȫǧIyzh5DHPIp]t>F5bBKr2mĮa0v)Y--`R $0`\61|S&6,'@gYZfb3a8dca6506dd789789c95b7d0e37206795dc12de877691d4f439c54add1e4f3c47e94a8527bdce bf4f55bc5463e6a3e9ff40a6ecc3d62f36b73690