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 /v&ymwwns-QQY1=#o͕@Eɿr3,! ;&2ڠG1"pG_LPeDG6GEe T9(Os)"unu?QJgjiܵ.!yuY^+3ef\qwgYZ7zXZִF! h\]ŗXiɟ11bu)a2W5KԫL_urcZAYd;\ʾvx=k r#k-ȄB D Rؾ~@a̮Z6 5q8Jsrەr))#JA4(t\~ȀQI J/kl-HPb(8&mrV"JPM\D %,@PP"&'D| 8~?!(TlJJaCl oGbc*rHLʫO>n>`p?C0gYZ7zXZִF! +I]ŗXi%yt:p\edLb_[1ۙScS/?A֣TX5&^^qn򣑊 ̕6yGyDt#^碢\1Tb)6aT]i"Av:˹Dɪr -IQ=c*t 0W.4pÌ$9 jriw1[x4V p]~}?M9|ʡߟ-#3\VfCb.ɣ7xsx'. A}р{bNX FUzfT#r .춟EtK|k'fB X6;8o2`AtW{hnpO맑Vgi!2[4;5ubu 738O9+Ef8s/.jWʏ\6hU1zOs}"a5"vN3fl,`9]9R_: ѮAajK)Qx~ ^'48\p: /[*]7@>@"a6R/MMܰEiպ1)>8i Zm}n}wX]'8xS6:ݦa@D%mMR[]6M7?11 r %}z \$pw!ڬO/L z& 56At3&e{léFui`'C_L8=M6`Fh|h%W7[3ŨI$!Næ-Ȕ/ɄSiʰńN_`iu uズH.mс*0%qS x+UPb jvt'oTt+%j,~8MV@XbަYإ̄&Wu#Ȣ_Dnf /1>sR ٿ5XL/deIiN=d8e4-4Y1UQ->Y(ɢK;U:!&VjR z ڍeflM2DAY{/DYyՋ Fr-dΝK'%n^@,:21^N<V L@+2*);4L{-|>Q ,\%+Zc!zt5:{clSoșolOAHwޫefWG#R6꫏/eqb%DN~CFb}5e0[Q=>UoIJ\{7VVbc%N-ZH(RDꈒT3~ݶ8^]w[W6;w9iea%׳q/pm] $Hr;1:|P7DB 5O"ro)՚^u(mQ]/<,,] vNxnژ aAQu\[pSEsyL.!(:{0Kו Odΰ7X_rJWm^' [26{L4&v'ڣd#ii524DƻUE3mP8 [, œXY|'ԨҀ1h=ݼ4b۔_TVtK|Dݶb%UVL2. V͛o8׽*dD d%Tw+Z.S ?SeR{)Aث^jȹQ`[8'K|Y :߳Y{_B5%BЗ,3BSŬ% bZezYy-;eڧf00-I / HOL-Proofs-LambdaEbdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDctBB<>79443110.,,%%!         > n67 } = X 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.texF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-P=</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup&  m hq%pأZ]]]W61Hlҝg4ze+1S錄uXT%HZ*(/ ͯ mZ^?)x8簣UbAg+:ʋTI)ɲn El lDeщ#ջW-9|=,- ~Mm'7)zCWhe(Goڤj/fz $NƠf ?u@nei&4'|.1J1v/Еb-<>eAo;7I}0PLTJ Y)K/@[$7~ qIAmB76?v@i'hDnkB7Fd,Z˖>qơ/t'"Omv'ޅK@eSu,OzuV [+6 IP2a݈+cyH'd4``S %[?aiRk&vYh@oRj92FÞ 9C h@3u@#gB⒔)X2].NZw L!i6qf`D49HkvlLz?ؘ_܀~~0:! 4/*cBG Dʠ7Anga/RBYs@Ɔ;rJ Y gJ(eqRf̐5C/8~1'(:->[HnҾ9)z*9Q┦_!ڶRr<6~pIOO pĢr1`NDƲzzzиS;(!mw nI igj( Ta6y_Y\ՆndPo oVi܎'(lK;M:[R|[0ϭweb P;=kcqfO^ZdgQ?%k7m''IkZ6oKI ^g>Of4.`ƱZ}u댹OZr~blP;Zyf N.N*bmJ KĈ WّS#I^4amN }$ձݧ+WÊt}!5Cv[*Y qy(19eÀNbO@tx;|y' й ^p\ m./w- vm@] UU#jFhP[uZu7AYYaI(c$Ai /ݻЍm1WTۭ63i`Ss?_. 讼GpP̞6"J<36qdDYK͗'0ۍ,CxLN 5vqӺie[^EGbk 7E}`O_D7pe"g wy3?oQUz4 N$q|k3jB64gA_:xA%'?*??([(h ҷcYawõlQSz H!@P3M+Kz(K =]?$='G-˗F  RܺeL.& Zmߋs_*4)dr"H:O~H#+KixWtݻmZA.'×fR@̷][-`5hzNۆjI0 h]uRdW[B:gK,'+qE;%*y:F]ӳ ĸ/DαZ\É 3U^84!2&-3TajB}JD,ZDb`;vۍ Un/e&z) Aj0oM8G9e0;p7PͽP<2tEDSX2:b2U BG8/<1xP:=ZbBvdcȷ=d,6v;hF-.zO򢉇1Qțt?,|&3,Y _d}Mu#[[ -o 73#?ѧ4x 1tҔjA]H^؊?h ϟW s~-IxX3ڗL BPBjƇԯDD߄2)㼓5/v5] ,h{obw>2rf,:\D'q"!ZCl⾪ʼNSX]t)oTK@g A3 |T#2Q؂~a^s>$֗Y(-EjfLQ,6 Ef*pQ5~1TA`,C@Q"n%i`lÊ8 2Tan{J 4̕rM1xi9}bATj өgvh#Xc/[`݆5ZhyAB lG ILxȃݪdsZ "mɪp6=g!\flZ Qg_ݰ8 Y==֫UynSw&jYۆF>fGByS o)$mI-Rw;3m@,|zl&s_T1F%|TyQ);߲5E2Őtj[5Ts{W*T_C63pQ=F/(I!āt CfEw<أ1Nzw:K~h? upFnmN/D Ir7}*V_ogО ^Ý-YsKc;vuNO`IC.VXknk5'.ء&fDSDp_ "L,mN- :j[n+4IEH?9J9Yf*4!$ 63joGoڂhu'ƟS 0Qu3DB>}Ҩ5ʟHt W79߭VH 8Fr'B*_|E9-O)InkjsJoUWU> ²B?Wo# | N|dk4)  kTͬ҅Xc*ݢ}0}Yl.[F #r.ʷ'|#:}m\;ҺoAई/ՀeTDXB|t@B9˰QR(lgYZ ##Z/G= $HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex7zXZִF! ӨI]A-MՋhvG"uIBm5XB4\d)ij2S8l@}MJ4bX0`WGܾyyqh! ᰐǻ&LeJa Kmuf pQ e fK>f5o75c8 T()>c\Y$sngI"7ځn 7`?ӚPka0I'Σԛwʔ(B 7,h+j߄ZWg\'x̝sY5U΍ƞڦV,ʾLƳ)hSJ;r7;u$0)V =`}tĨcL+b)B'A7ԢtѰRZ, 4<"0[t %߷ +@t!œPoL/6R#I+xf2{PkgCtEY6ay Lư8*RzϖʯhP2 9jKrƙ @[|n;Ao2l6TrJqwll/k:t|Wy"PKk 9HnCu1oSP${ߪݓ7/eAjWrnzLπ[>>L{  ),sw {!<}G$l.LvŷoY#T֬FX[UE t?&(Q%@w)֨5q tϐjԅœjyPs(|qP`0tsh@sjB'zګCeu]gݨ(bL, ȔUyT{yM'I2` k>ƜȔT )LF6 ,kֆmFHIM IZPL.qMdt; {D0)öP uja8a. [RHOsOrƤ/su#'!s;#k7SG΄"4|1<хZe6]?<ɸqiNoPBOБU /18o' ɗOH AR%m/H =@VpgUe(yF|PdӍ>_Hfg N;S2ecRi-aC 6|9`'DP/ /DvVi}gP4411҉.uӅVSKFLWi=qj뭱c2eMRI%^QB9"YW"a!s;apg{;}h&n_L\N_#]D⑕ QݥEYx\}AseL/%RSZ0ٲV.ȧ;=JwW|f&vNH>MZ ;2UMP%y "S?.y߿p RӃС^6U-o\0mLQ$9u'|+:Ilq D;绠I|#?B$ z [@sB4hG$2.Pqv{v2o}QDZqr:23#akr?eKp) wGQ8W]™guKLؑ},zFL?oSt~qelwVkP2yp3\HI=C{Voј~h>y("D!'.~;4kl%Bn /$WoQvVdv%rfJ6+*:"Aa2vwE$}ڊ'`';S_^ EyMm״` Ẅ́!w^p2pu7 [ijŽeKޜeŏ¦cF4] yRA'rkU9E*Ȍ0# /6{'P(i%6>bYc{5//)SZy~vų Em|tb E(2SѱJ<4U`4269и-U!ĮX; nM[3i_#~.mJlw $7WxHLa=A,f'pDDct|[E:#Lz29ZbjZ +{c$W~rWi2m들 E"|UXe%n:sE39ugYZ   t/E; \HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex7zXZִF! g]A-MՋhvG"uIBm5ȩwQAWtjJne .#z°ZvYosP{Jgmܜ#; Q͏1Sn\4"m F †<*^h!q)oW[ RTɢh0D+Je!m:dcV P;zQh-ǝUzX(F2?\+-8أlkkFJ Cl ܰTu@0vW2Hl,YBMBh/zCK WB~?`NXsl\SmԞ{M}RTFnpM) dePT ckdEYxm_j%|ϓZiܿ. Efz5'bO4_D:ʤdIK1%]1Uu+3yV{{): ۸ `ET uh9B<_ߎ: 2RN*/4g% 6cej]rH S'6d[Bt2*rx=0ēt7٤^wq#/Dѥܼ5&cIzç7g+|rh_3['5]lAsI9\ͨOaդj~qkO[`y|JȎk~GOqOG8ʂ9ͤ>2R fwʖ s6oYb`/ -1t, dawn1K`Oyqvcvdi3}Bh"% eb^} 1-mP柝e9܉+SˣIw "#}^+&S 83j`檔%)Z-'Bciwc(HR$NREڅaIԕ+ԖE9-W!A7q.R ,.~dMIFWkvmrjQU xD]ǫkkh@NΣafŻZ)3ȟ(IC9fxզ:CTȨ^K1"w{vI/:3!H珣4iŠ\m'S=B4,dCԑJBZI{z%싂~,Pٯ%qW2>ٱ ,0zoÿ8!Yc@6Μ}f5Fj}hK,%M96ydXoZ?.OL]uaw.J@iPy0SpޚvD\#$MA1]=栉LTa&[5SG[G5B>UJ \M0lUrq 7=,T@R%+poE]09*/{JB'xrVEU# yԬ[x^G#^~}ܦ^ԛi?-@5:J*`'㞳|]3GMxyZq~hS|.u h~fW4Pf`7PRmy4I˲( C@ӓfR_w{'$eAF:M.* `PbAޯ5 M#f᳑39tFJ(c|he{D;Ϝ`(-9wN->L>sj8PYjU4[Y9 ֐$i | 2d\iJ .Wh@0V ;qʂШ{,GT/'jlO#z:0@E5RsGRY>@JI+<fӇi3 ,߹U|d~(7b1qzIҧVf֜QPZzcCrAlrjp 2} ?A Wy-I&$ߏ5p@>kz"TvR%dī<)K& xgŒDsU8On/j*㯠ۈRAp47G{k!fXnrL2B I'@+_C> 'p&*'s̓Z=ϘDQ! _ӎ]E)-<CdUW0Xw6?[y'NֺݴIsU\1x%u@U1 r 'ge Vzč^R`gLU?w[fpQ+ _4 Ja;jCMw rCn͆S !W^p sFzv !Vؠյ/{6(:HѵxFe_,*Iԣ_21|I0ց抋{VTe'9Zwʃ=?t`Yb@ ì5nzqܙl,$x"}Q$IeC]_;U.sd/pSMWM% åYFd m 6 hf2Q^GT\$fM_v䀔WeP!Ц]+bAOXT`uI^b1ֲcqrR0ca=$YHϚ7͆A:q虅,`LT XZ]J!.Z57K__3L0FDJ/n )|2 D2*F'C6oLX/[wsVP c<-N(}^%4xcz]ORǟtLkĝi<i63&ٯY;q~ YwK[ʙܥW4F$8o}yE$z%}^i&ssNƚbE~/aQV,z/yӛ~tzfeޱr\M =k\gFjӡ$du]; >v$9༵&QLU{ ydFCC'?Ħs n ~[F2ݓxK '[Evɚ湘QP$[)ڎ9* 䧐{q0,:9 ; yOrVíQRޯXk/eG@"X'LCU 3uS:lVRʴ۝ad%M'|RKm[;!o;do{Yλ ]p*jю|b +r^9α)^HDϲ.J;]Eh+9^:S {d%fԗy N֦/ݩ{b',V*¨w5S CK0W̜^ R͙ޭ[ 268BLyy,1R$_1x2<*B&ų΀cJ0%yUEBB}ȕ=I z> .S֛|_O5^ՠ6o0M| cDG#y)c*Q^{!/b@/3:Ԥ$aV1leliCbCbXE <ꢰ j!Tc f%iAݔB-¿6^" Cb%v͆~dLFYiAAjOiq3SlS\_E 7UJ&A*Prnq;bpG6L6d/ \p^[Y($3r9~Y`BփyG)\b% O'9H%5K^T~e8*9o]U\O[d]iMp kʼnn'fgsp|sL<itZ{̿QAѡb=jw 6X@8|G:**kP&òoyq[B pMEi}1fFWWık|B0mj]W[g *oeZY0di4=?,Aᛏ>'ӝ\]9:㻦q4sehl _&)`dAs1oB,mo],7G]ЧSְ3p68}#ԁ)=& tvT a<z@!k15sLlZP(5@×̷eH\$Dwipy s6)݈Bݐce;(^!(ί5^5G "⹭wi_EwS Ao4펇U_D>vɼlV_ UIoj: :% )co tA]@$y-^~tG(6U?: +^뇤:cX?bih#ImXqw>3@ ])% ;Y8/J/a\KC9 sOC=nf,NuQyH.e&+byl^xu|A3gv7$JD[ݤ]Ǎ`v=tf:*%>;?ٷ0qyq.Db{V)T9rE-eCiEG~=fDĬ/.y4JTtK V$ɳ'V;x&ܰt*z8͔]9}D͙t JmygR3չ:^ٗOfQ @Rn[M{mgL!̝OIܰN!u޾NK0-BiA__#W,D_tw=Oٵ= pq^B>/0~R"BV" n+J2 ֪K=9[S@&.dt"^8һPJ._Q "~*7}Wհ~0B8lPb򁳘:aKQ ۘtmeIZ=n9mx--m[bKH$R+*ovŅl/_iS8'Nm%p. 0:FQ=⦎kf$N0,  nQYYރ|f<Ck+䴹NMd Ҷ;uhOvqUaȪ^Gu+˥KL&^jȶ鈚ȡch|NKi1 !!D@x#>,և L&FUhn=?JocpRK!΢PopZ,@ra# !O=&b6q5TtbYg7I |$+҇ m{zXoVo:-'sEzQw P2i?cوi 7J'=pPR !8mJ"`kyIz;{7 VO׀[ApǡC:lO1HE۪ޑ`.~~\1鉗,γ*f)0[,ݾZ,iU,'`@(}V.2_4 BuߋպJ^+Nmxvst~u>׆?f ^fpW^9,1:V{j4dȡ7*dEAf$eo.La^S謎Dӌ{iIuCERrrae/@. s?7 6q.HHL A-c Gh`CБՠaw3{_*2x;u#qyAR gwBg':o9bv7kX-y+;DU@K$kW )+Z3|Q}6i0*zB2=~hC!eq㈅Dt ;q&09 :.+t5 6>zy˗= 5bLlWN z.ɺ=uwBHNzLlsX s65I_+a6πJ? $"Va@)19#_P[/xkճT[-U9H6QaDgOJ*CL:F0v¿ByIdxk=?aY| 4=jQU~1ZA2J ` Vl+MΉGq˽1dpLj- kQ+[ɍ.ɮw?e+.A9`"0O%68r|?:qt ]9OuS/xUh,U+&svU4= 'FORCg)brt%VJn vy,=uM|:ݰP23?wYDӲRW A%1x+wʫL|v7s- B~昪X. Ҥ^єT k{-`pcrƊՍ=qʦ!cM*0K_S[~wui{^:ʓVĀ7v ^փlGs\^vm|B `eXOY7(gx/ot\(oP-*BfeL 1jẄ́PQMg@9aqkݴ%OTߴT?"ʋ&?)n*ګn쿛4R0kA/_h፻Z+J\@DD|+&;H?Vk7J 0v&ʗ]027fP kɁږ K9pZ#,T0E>\_/M7YcLt1+Dep0iF5m"k_?b-_X|-q@d '."4Z:n#Mm\sH$MDuUL r&f,KѵEHApa5TK۰{W/Ex6udIi\:6!^ dޥ'=bT4yd-b9DzbHa Ɣ֢׸"ÖJ}֑`#ILlewcX9q;Sf.1ⷍn%̄&=icΔ8sY]|.ŷgYZ ##R/OE HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.tex7zXZִF! b:]A-MՋhvG"uIBm5ȩ<7You_&qƺ=n27+Zv>bRւ qmjGe &>}2.:!4ލcƣ MUڵtYTgU{VB߉C/SC‰A^!.>qc&jzYXݯ6@|v¹2tC"*nKH@Jt8 M;3zݧ0=&zBfҶ!5pDr\ʆI DֽV\pr',X⃹ X`[4^? <%PUE1ȃf;_߿ $FøvD5 DtOeHSߑx;SMSJv4x}P"+wY RxF ! )ot8-N+IL*|آkkH@ҡڕ@CE(L$Nn"ff?2ck@Q+PI T ߸*uR)Xf*]7#puش0{O=[j9 jk&&]C+Tvт-qLqCoL/+"ARvv7q`Zmp7+JCz@)y \/Ev 8Gs{Wi2 b/mפbG7$OF0Hb>m`}l/S59aclr; $]4*?ثb:y93-4S} @%_@< 5̲̖Ɉl@($jN [r<r,<0GS*shMͩ竒yX83MzSǵaնY3uƕJsj{3kΛd#]M)\{?ʦLhSŀaϱn[W{fbd]@49ӊf0dɊ6oA\]57o>q['}pVi{a TxT#NGoxHfh0#mן71eݜq!赒%YtgS^2v]`m$&^?kc"k_˃$RY F?+%Q9g0MW8ѐNZ 5eNtNSwLG.H+raRgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:LYKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, l/CE DHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex7zXZִF! { ]A-MՋhvG"uIBm5T6Y)AEŘmUVˉtѻ;"eֱf!l1ƎnCDz{iYQG -;hXȍ}BOym?ƥ\Z%ҮoA¾Ԟο+^ޝVzAmW>T[ (:mtDY [  ZێqwS/ 8@Ldc۳!GLpp_d^khi)S("DB6:;w|nZK? 4 =GhXHrD+1?;6lbm] jMEܟ 5T2/Hds\F1&W::TMZ]2Ӥ=° C5q6F'C;O&64тhFpT<-޿72)~FFMw.ruka;yL̨l0WTe KvF*LUV$'s.\mG~PŊi0#rcd^eӣ97Ӊdcv|qprS_O*BHGIMtaq0QGGlVVo?M`V;m 7FjR+dQF& "P,a`pL4;Vg92ZzfHSJ͝,MI9; dbu4UlD3JXdbT:Y=e|M`7l X+y,[La:/ď(rHV ~'+E&e@kY{1MW_`R>[8% +x+3<9 %ę|36v EBD D{tߞ5PZ;~Qc?INa{IsYO (񖁑SL6Ϧq4puEV (< iR^ A fIc`i_pW-XM'(mW8\,䧸GQ'H;;wubhK1|Y`dпkrܣi>EsFxH.qg v~"%ۂG(Uж J䝧k`S?i῔Lkx+v]XQ Ͱ_x9fa\Q pLƭE@D|s0R%C+ƀ,0A{ryH&Z}!mw}Jp2'pP)ڀ^;U;ϋRYmTA5#BU: ql˰h\7/)єj ц.WjneKv)E47x&4SV0mP-4rxj-t[E4P!-yRtᨉ\|MDCpqF>t/!Kp\0NZ1> k"R-]oWaXW<Eǁ8JK\4l{$WLnڴ1} gYZ 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מ)^ΦEkiؓ[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}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 ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ . /C9 THOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex7zXZִF! U']A-MՋhvG"uIBm5grkܥ88ٹFqR?̘s7<ח-z0Msёf [cS #z-{ĥgpNhWw1OQP$WTx-![2s0'U$d6^Ol,Nv}<6t+[\n,o^i.0/f1Wls%k' sN ,N2:Cw~߀Ɣl&zYnd׻]|k"pLH1w~*sb ^=0ސu*.'¿_3uldUŢCU*KL`HCT:X:{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ( /A7 LHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex7zXZִF! D]A-MՋhvG"uIBm5grw1Y厝8l_ЩوB]O߇eyˋO˙G8 oCrV,w +t3}Pub<5K]Tp B5bBS{SSǝO!PG=9N"Vz10ayī,0okWXSn9e z&Ͼp馄0y{{CB@=|,>Fd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ @_@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\HFǏž:vmz1Ѕ Ķ~4ηVNVy:R٩1v7WJhXzrkb(đϨF9J $XkHR ~| 2v7gP!m2 ΝOv8$ dQAFGpMcKn2 dP?'ݺ|ڨ8g_`=iFԋTR/9@2"Vp%ݍįJ!> AK'̓lap`\F݋6S>kZ\W{ KDr3. Oig^LMwɼݴ5./\۳4{h/$ћD&Eyrd47@F?![b_c!1CCuۊLRYSV/++O鲡v–(4lݏ“Y%^aN"Ⱥ_ r2$W$y^#<0O6>Ypj9gw0(QUt[PqLAfeG&D ;|iDLO<+^I"k/X௉56ʱgYZ} /=# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !}]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~ i4zO W6pE7t$x|V>27VkҀ4_PsTvC_[9\EȣaS3߅f?bJqU2B{G0gGmЋ,yȽW%.E}8vB+A_*{˜yd-jE5zK'B=gxLwq9]a?,C mݎnB}v'HL&:&q|#Ū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\7c٦^S.|@c<1KZM3e+y $ݤ۫zj)u󳢈C9 {A ԭi}8$PCAlX,w`VTgKܝM-b;7|&gp՗b>O>םdpH,MS}Y1elKhJg|SlT?8qۏOHT.>)g+^Phq,;(RmhL"iCFuvxvZhVu%~hvsUKš\]`U^cCO6Q! sQnv+i%w=0Ԉ36!!d&Uow#i GO$QQab#t!Ӽi(\VRъKhUryz-+j N& ?թ=P6~@4|mA_UeX],7Ԗ{ׄ>vv03HCPph2>T&"ŋ.JRuZ/ .F+躛]r>"78xt t{<#dfe2MJV͝5ZN=$boR L8G օch+ZСߦ R5:eh <ߑZQJa"Kg(Ƿ ,aUTl-cW5흂u"c4O$tJ 5dNKOXgv?Bhmg}ҋ~C_*^EۧE4Ƌ$dJyQKtT =]Tc\fPJlh5O`Sy̵^Pt3O:]-i-@qϑ'؂S޲ AFVknSt ]ՊdQrawWYCj(^ʽ9R9m}(AYBkl}2I̺PͿǎX.>kqԽ3xFɔ{&=+Dm cطL~8M)qI1f=^nEց|~qП=VP_%59ް<1 ^Q:W-$mS딷Gdz^/)̲FSho^cL uʭib\\H 9FN,BYң|S:cxKr_r|eDbᚤ~%U@~GN4 vm )1Ԭ+Z"|/p "~ V%x}Y8vfM\`KX ko kB@1!ix:'ˉFFDgN aA<E'ےۍ [q΁s덇'+)vT,"Ub됳bd"7E.C&#nҤIiIɗ\cc}rOVk?sXE>ָ3i4a9R f6P/uҗS ]Xc TF;|/;O1ѳXzeN;PGHhA%@^\j# (AM?#83:fև6s>$PQQg0M $ ᱱ2|;_ɌS,0.8ߤC$-"B~Lܖ"D+8lBv"$2n8-4.')jy`Cf $V]M0W(/۲bvl?-{ 3N`~櫴t9_6N_'fK%+dbڞiaq>q2 HFci/[wZѬ=jQ/tEtyLQ§I\'emjX#}_edl(vj;tDW0GRW8 u4~}ݒ.C] , z(t#r G =oxEҒ(5i ؃V3CUV4l.^]2*觓]& 7%iB53>\T?Ҥ+p/ ѷJR\;o'byFF^!r6ڡQW_b ߍ9!ƞY 9 ițT)pzŮ9IvTP9 "`9էZ4ݷ(nbrLkn`q&aGͻ" 4g0q݈MCSy#\[no\5l,Lڹ16IQs3 ;\ E8PbҾ~~m Ъ9m EE4*O_BJû07n.a:<_(*E|BG|r B`+Qӑ1SØ]5OG QsLI E1Q1@^y&tLBVm/Y@B۫wEMÙطPH{Ւ>xv'Q/zkDuiHďpN*GxZ'ƜY#"RJw/:a~*~e9#Z&.󋖘c%'n;|2k2\݁(cM|B5\~>t?K%+pȿy0Om;E {j& *jMH 1KchcrFYvlr-ΛW\U͐"%>uI'dJty0SjP@bϛU71JR$Ԏ݄UHX]¼=EMBOs;s߇bu"ȚμzzXֿ/5p}VRWۢ?ח];q|He_>9ӻױ:~weS"3 .c&1, sRgpQH_M}"islyDo1s=) @2"c!c(=W &Rb1C]C~33p_˱%RP*\0DN+c SHgE8P(%禭5p at/p8k5eHr_Ԧ*ˏQϒF3a!&pĬDilVC=CFRD:B96FQ49F6H&AFZr> )a[p ܓ@`<_rͦ!^ݞɰ1m6G(PP[|2Դ[vF0Q3S[~am?c+`I,@Rwzg%gO LQuGS8eu$^Ls'rIY:)/US_o5(i9V>y< XK1|_Y"MAMp zuwqHecusM!?ʴ l=KH@|]h!uA @6Zo$GcYy|7cwg)k~ە x݊[P'oY&~$q1b ,K^C}K HԤ.@?_VqIWX%v/ "T)8 fC-d \!eHm&KfK4tZ0oF]^:Ҏ6aXH[ASJ({+IBnf}kí4iV`l"+G[5߄VX;99Q+ tM=x\Gs)чӅVKY82ڵԉAv;2=294&"Hvf8԰~ >ҔR,[gG/}rVj|x2fgPM@ 5X}wrh#Wķ"p#2xb}z׿RGÄGX?R|)fnHppkHGV[2=I>`G2nl &kgu{4_aD%4BRP9.W|kL'O 5&<`؈ _ GJ} I-3 $G (%o`]}ѿL{GCLu}BdW"rͨy ;%V;qx9bjy_ &PxdTXX0RzxM (Ѓ)A붯 ܛO޿UuKd8}Z$$W-Th&j#.A0[OϻoO<ұ,4/v_mhQV po{-IkE%+$+~P;P/L9CKĿ(rC"*ƯdQgWPRAYbȈg-WmPxOBs=_z4{uWU5bTtvZLmI׾X~}^c*33H['tqmg$ŒalSARw3["I#ɿ{3 VX)f"ZҒt^^9YtYqE?w:5BDz"!x.KH#XSGf+w! P'@?TK٨GXSlIdzEm"^\Ws|4(C†S4'7H'q _~ VW->E ?͊ywA\+]=] s=vB7x_Q@$ *\"zV V@gId ̂qϨP%|/Ong]HjJwA0bZFXP#ZQny=m[Q`W=3tP;-ӷgIG~uH'K`EަG.^mʼnNZ0!3Y%~jl敞6v8MY/?5٩Dp38 `31GwrsKPۺSeg?;_rlц򯩜hNxhձ]Q08Q_Y¹`Tkm'Flc5Anj#f-qUELD,'S0CF Qׄ!=Lv:0ЏC#G@.rE@(iI*50nȅ,,Aw봦~Pm>ѡ5YA N",7)9\W׵T5+\B+|CQ׈2q5&*4Z점nh9uJqfH0 UVjxW^JmVs(sL뼻ow4J"ԕ9vIW5MA1Amt2h HD;v"K!’q3l .bc)8+C@Զ?\bed! y :֋N~'ƜrPqIzf?)R*]Us] b$t§WP ǚ%)3G k+-S2D'bŮB3WV1B^̌J!xdzUTdc= FH?]?^?X<Cݶ\ngYZ!m)QiO:gḛF[u{a5/mi+Y8A;1TX1>$C -W?┞6-U)`><EwMĿ>ѯ=v{pX/?ɧNb1w::Tq増:vk! <ȠM.v8!# t2.=d9{?~$3eް@]<'R1OHȉ!u_zŵ7& ,l"É\i ͧ.ݯ,WX h:-ISI38ܾ- {087wɸs$L`cb9U6$1/^`hNs2]ˑ)a8w:2Х0h5Z"ڌ}7aswL !@o dNx uMp{"~Jݱ6{'ԐZ.-px as6\ Uu,2y5O(s*^gnάM3>Y+0S1 `la#Ii2f⅋"kq$QH? ٹv3b-x®T@\7j{W`frqց$  l S}9W9]Q*{g߭Āh94& @5#T7dBs P߿{Obd&i.Qw{[ B Q@Ί-A>[߱WF\N6AM$˱ v-Wdv3ruXM8b>jՀzfK׏S:|{Zs}Fĸx!R F  ,9!'uݩ|%Ҁ@OzF<-}0 IȸM};&X^u[F< |իЪ BU'2]wHh deu2H;mP);seXGo)lBv7cr/*^&:Q2Wy  Á7t p.̹;L}̈]E<]&JxF1d 'R3*CށnA&T 9&QK%YzF6 ;i[ܡC~j@<L!Z n䃷 ;?vslDC&U+J5ϙkeѢ%vzkTp:<S뗍T,bVmH3]EN(`u. Hv#^.IFa6m ,vaFE`)<ƨwd3KO۶`Ǔ.S4Ɗn f)y#i, p]iov*nhB_vYS,W0p5d=*o!_-RJg (^ 8?mr&{&\w1pxp~Q̸l5|sB#o4ͅJPAv<>Lvsݾ&.|kWB tDr(r{.<z=(gҀ$\ s!v4ۃ?4f};Yֽ2噸q^ýh-)H$w,CP2B𯜊IX#$)[l>KT8݋"vHY^vn\ݱ "n{nS̟u&2pIANtK^Pn h6m7nuCö.I S=@)z8`t" 3DZ@ZGX5! .[D %ba"<۫u خ^`h%`ّ{ Bbv73Jpn9 i6vp8Zb ]*|\VPDS5w-g'h| fD֝@'MJSqoU<= HsY̐|H]EZY!m~*B{^dxFpa[?M{0YVa8UfplƵ˧q]=qS~`DI~ 6k=e㢍!̬P U[];d{qmEY?]e}v}g ySuowF, G?Ewr#x~@aN$1b'! Ao7X֙ %8)@{\h9WU8 ɇpn']@j(LlW5& 67%t$3$)]٭p_ܪ6HHN[[nkTes@IMY+wb)̚9PGb+i'`3Y8%/ ϯ'S)PՍ 0zTlq";|0=b,/x k:,A.j@غ5a~8JlUQu_=#sV3ɴDf(T-KbgYZ {:{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'z5Dz|{%󇉙BuG!Yt7XLY9޳=YZp@/jV*(v9@2GAW$P!}]߹6Bc <u^V EtM,˿H7͘>ӅB6gEeW/R V~ϱVE3ň8 OVY]e` e _ $٣NFe>|A2MNKL|hstsKV՗l1 lT89IuZE! ۫E[@X -{m+„3u@\NAX@Mzc=:A&]iMuZ bGT_]c:$!* pe!:ÁKbSW  ծl `d-?M&w70~ާѓ JtEͦFj`0[~N/A1AY` Z+No+)Z>/EHwT??W7- ;KQ>9ndjKoBe4<]li#=r=ݘ,eV;m!2a5Y]+[ʊ:_ AJ\|mP\;f& .:|$Ƹt1prhqNtr(q&Istt\*C3kopg71kk)(=z#Itc*! PRO3vkF}aBsX9kXQNl84d8ormJgP+m;r%&d,U$8A[NYΰtGl D88oA Xsx0 fOȧ蚮UY\O?-@pOPnRgYZy/G# |HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! <x]ˠ)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هېHfFXeyN*0Ls3 .'|R@qMWTч`Y"Ll,I3 r "YFioB[yNvChe'cXUG"a /CI1ߖbZAGu(ChQ(Y $8|jඁ aT/Yfi ~D/&n=<qyσﲝ+AV_Ht)'k.;$b W'ݧfPFgpgs1T LXAVc_RP_J~bP(TaGT(5W) +m/)(˫T/C(\M,RƧR{H>/-K u\]{VOs^E66g=R&i;lz\C^,k;rTXzEeV+4 %7iJp+p)%bm:yma@GQĻfs^;<$mpٓB]gn@ēk"O4 # JHA1j(g#uYjj<+~6șg۞SdQzͯ&lx=6$b`jg{fnPqi*jCxXc+%a% jٞw S@ ;jj|.xCʬjv4k a>`:A&29_fv{eT钟HpD)5+(2>@xH-aM&놶wuf}c!.Q;*eWЧ>z*M)y3Eܓ:l#5iCPs^*hxX)Q/)jt/DڢJ6@ D`*siNYTԸ:_p 8k+ \@>>LP4Hs R[2rc(Xa=ۄDa+VΥni R^^[eJ#SX,tk?K [dM ?Ъ~Dv`߁L7[0)nf&RCŐU-8}$^a& ɐ<4Bya":{Q TƸPkQDj)y?#0[(A-E0-Fo'Dva23"&XcYhm6WzyI~L?7WZrf?#ۃ]߬灬E0\8*-LyVyQo )ϗP(RTmÈA:f+Υz#2y@HU6v˖n klMQS]LhWsf0&b`m.n?e X6V yunꃸSAS? [P34Y,2[ZS8.iNDdG.GBVb"/a\eY1ntFPF߫X=|B.F"HHifHuW`LϢАO9}&Nˇa`wdmM-fPlǕru3tAc a&%QoivG=EE[qjm嶻pwD9D/4౤½sd{r L0-z\7L;}K R`{ЭdM7s)#qt8,p`SeA!tA sC2mT2Y^N^z#B{k˦u\+ L$l&3[ tRYV#3@l)IV  ~g1YXM0kjMի,d"*М`mRWlv7ђ1{aىDMey#%#WGẸH9uZa4eW& X4o^:AFtkWMI>Rh3:CCA Yn6e;m$2x7,xZ4'pʟd4W5OdY })ۘe|HU4'cSʘ7!܂/ !JuH:J<&>9IklYgceͤ]wk8ecHWh?n&pe3x+@0Cu=_"J5Rn^*]T oe'g7ݏ+V6]r0(qN}ޑ76r۰r2bVG@ 2A98|瀗pɅ߬UB\s. nq#;YC:n!6K1A2ϒnM z(ʍ.c&*1=z$hc>gٰj )Qe1ӇA/Mk/I@l C'v-[v:I~M4uLDb] ٥Udz\紿q2/w OAo.mL@qId5 ۡ" ߘ\|ғY!ՊD> jlN'[)Aq/)Nmf5`]yu%/c|H1&$`߆C0 DQHΌ<|1ےH`u!?B6ʕ_9 } 5&9NB: p6ۏ.>gդ=l*8hSLuٗ:v~ư7[';!n$0woip}H<^񒯣u݇fuܛrnښw7n8&f,1Y7~Wxo6aSU*n4˼7Ozͥ7`N^ͨεjru$-` $Z{<2_=dPZ7 㮽J#sz\4)j†=u B#Cm$Q(JyYiomvem 1pCI2ֱ>"Phoj׺N~r1׸6duU8A峗JyN^~!a҇MKAJuqW|螊WL|qNYҁ-0:q*|JUѬh չ,h/-2tb?+.8/~C*[3Zm|mlN ,Ib[z:NΊf}GH씕ġ]>,AnU\Vn_]Ӑf'c.q=r1e=\Zk4QrXm:F7CN dQ1qD䓙$; *@f3N>6gG++rS: =elܷ7K qgMn Yo5YJW.p?2R<\ܯFB(؃I"FjZ̅5LJtdа9)+־wGLsڨ/e%`?0b!NQ@>l*OjTFdZC`FQ @+ctĤPbc"{&epҗ#" !Er\c-Z$QAƞg:紐@QYPjdo:9Y'R>jgXlDwT\(2fJvDR "[]OϠv1lTMmb֓K-^SnXBnu{t8%8l z*BiL侳V}4Aվ*qLp-&5iFLFxD({'זDr^1e,[%ncqjݔIDX$Ƙ@uN /4Ʉ pWgYZ :Z /O# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! AQ]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS0i`-=.-yqNݬDecoz(ІIZ)Z¯Om|+eYYˉ,׮AN|6yW,9.n=xe},AgqA@Ʈ[;}r# |p .u~"mߤvPt5{!zT4Զb1\^Jx{X."dfƚۜW(C-T2}CXc* #-S)|Z 9bPPZ[Z@ojͳ-W9P`e,XXr`^q7 pjmuK]#V-2*E [4rPoH##~mK-e03-r.DxY⥕[ެKAW˟|mٗa\sS }d/k,&8nDN7y)o/NF0n7 ]8e983vdI^,CFuY%r6M3PbNt>nI\CIc751k]9?W`So\wmMnRsM@,}/\} |@x>x*ùZ>ٲZt8*VH FZ}֐)oc,Uske{1b'ea'0u*sY>:|rh!eڞQa[c$pV7R}A^NG%:R?"Ȧf n\hTX8^4P)vNoJCH\ VhqHmJ_+kG  q M.5 T&2'4&o2;V]* >Wglu'Avyz\*7 ngHM\kh[6-􅠨?O@\V໨a|4^R^sdwа)Լ:&U*ͩWPP sFR G}]R^U L LXiRw2dDu9-jflfޔ Ц]mL\Cl8TTݦ' :pQMt6fbgFxL NRt+EIKI[\eڛ޾TCM%YL"ZD!Mn (By{-I.O\ fAR5.]o} K7 >k}J~lw:d֝5ue8zR( 8&67UT[{wsޘen@zjYtgٓMG+bș UeJo)f-cO&r X1_ Ә/!aI*%cڠd-.jJ2ʰJ"Jh~/e?o&+K:fPh), Fpވ=^m:v!FkÿסhTf1`Lt v{4K FtD>N3uԱ5fʋMqRH փrx\-lWҟj.DBdݬp4`zBَ7V~Q0ގLpycTI8fت_EVξw4ﲁ3/M"%ŕj.CH~>I\A1AV7مx`O6LR'VْIJ]щ<6L]WM±Y%Gܫ>pAjy"DB):-13[mzx%Qջ0V+)bqf?q3hSǠTOH/*:2 .IkM2`v%x#JQ iSvRRT.IqE?_0&i`qJUe5(= աfsH;A^xpSXeNÃ}܄v1]SAr& u9Sz/.v' d L[SXJРipKu>`SƋޙ@)x(2FU^PFq_߮nHWE,>j!  %_qʒlrρz1潣Ɔd^p*!$akVjXJ=4,B'0Tc6F6BZw8$x |PwͰ8069d8#Q^o )('\pVgu$z{u ow~6`p '#ÓƦ6fc|UIo1Pk "g=%ͤ<M)e$kAR1g-&uQlbr:HPmę@,{o#)_ꭤ w/.-!Mj؅[JX-WV瓕^7]0XEay x(k"q9LqWe:/o!2F#A'&t:&1*jW)Ziѣc }[pv.SEu"b"mPSFH'x95xO)yzjG܌џя1@:_z\쿤e1xL \O |z2fMbTs 4a$\Y얻=DtgG-"ɌA|;qiCz\l86s2oYyݰP`[ {L _|7pE&.kyٴ)A ثf:\@<Ǒ-auc"B hnzv$z\p(s Pp޾_GǽtO&"A:A_C;j5.i%U|\P @ s uX^ɺ_5 \~ex'(4} a+xlp47aM@=z57Q2Sk*vҳfSccbGLiw$۹N<{pj\i@ᢒˉP9`~'+p (QRCdH6u1x>3jUIw)=[nptHEy+-_ՔE )sfwBLco%߁N91HO1HU$P|n|Qm,0 IQ [ZtFJǂd2 t+*s7ݹpǡ:MgJc NU\=U&rwDO5w [012BNG2*"fcI}2>טѹj.-BiH 0X_7 ـ ;jje?zFMް_} \IjOʊJ5#?An+'4k.h+}1AX0W:Gz=e2|sJh HݣmN=RyC~S\GjFٓq`nC6*I?-}qɒ[#.U@؀vebK\vlEΛ!8- ֕ϙ~o^j@۳WM'UbtT{'rPz^<l $Ik}W9"OCs^f JmV bV]9Sg *}味 9LagΞ:817|T:C  ;U8úXgRY\1<k,xV,RHGO*2"ܵ7^@b.K[-]%a[3iʷpךSdcVs;6&./MM#d|ѩ¦I aH!ڧvW)ڧ%$)ȥݺ/x T^2)W(ot$cl|m$V5Z+z2d$49%ӣ w MlJ,K3Q<\;^K%rR,rԆqnM |(n< 0]:G]׬yoR  UdD~0A Z^hm䏚9 Qlw73PMإ ĵd7fV(({|sk4a+;æʰYxw(9NwlFl͸v(!K#z@֋jm3AW]2ϧ?5AC.:=:g&NL? 1vi_,a0cBf$C1]:Yg=|6v]eN-b%ک$OIXzdO;Gb)0z7]׀SWc7`} U׶ v>ly)\X}/wݿۗC- &g rF+<q}X.1K)ꯑ*rܷ?J?)/^o9rZ 5ꓞf{q O/m̵ h #{&;<suvEHޢN(l?ΔKM̅bB/EOC(D85I \uȁ."|qyZ[t)2 9!by"dO9+5nBZk1(;JK=P.#w$l*/UsK5i7sIxdTCWՔ4P"f| >|j.6nFO+iQ2BsᲤxEw$DN2l@iS4T{DИ l2.;v#DŽAI'14~iOK7jן_^#;r?PP$*sh)M;IihPX5$4j y%9`Q7ѓIcWrS:hw-V\HtL)-6o 0:E?\+7TCxQ`qտIU/UydG鄭_-H8Ʈ~bGQ.;BY2 )i~gx8n.B'I6yn2 {`ӣ-(@q_&Ū7.(\.~ Fihݘ @^>+kŽ/%lp7$C:mrg9H ͹w< 뫳_Me1dV^bDi.-B3z+4gw09RSQ+M=ݷ1(N($Ѷ(_ymI^lJ m<<c?"0 `{-,VhJ.^qvN 6E:73fCЇ^ Rhճi!rm7H7{ 4U0:>ʋTSlN`5#[1)Ã}$LnVAqF0Cf=ϥR:K1nJ$W6G^<;uNy- ƕ[M20?'D[Z[ZUC >A0BxV)]<͏snyqcf̛UcSym3ńVV9Y@p37Kh&(@lK#֩'/~ & ^4?2MV2SHvC/~E!H0'vSZDFϫw@6&x)fo#u}pwxɴV"N94ňK!Ms9]$u޷{d -<seckM5Kp4pH>ƺβbZRFS̀ݾOjMO@R+YxZږ;?u+c;žH˟-S^:=^=Qpjд1WST$1}i@]r'67}剅C,>2%b.QD/&=Qa.}VaqSTK]ND٬hB+: |F` s\ & >kp, C]u,R&y!>\ےH< $'1IWq3:=44$Unj(#^ xJ>Nu&1|YZ [KS@{li7PzVh%FThHT+n% tj9yt-s Se1ŴA^2XiPux6.-?f$#?cE/ f Arz{ %{Z9$Փn"JUN^I:x&mPoE'[YKXY||C lօT U.J_~xi˂-fKe$-m,Cj}k0Wtx/۷1^>8[𔆥g9ue=]j?- 8U 3Q%sy0Yk3Ǚ.5oƼTcۧxJHeI,1kv ]SRm6]R>uM)ޅ[RǪCadݔ~% u ǦS7,%I>E{d_ 3Omze󺖑Ҵ0z6ص7ݙJ0m%'u',&[^sIrڑ$M$NAquSQ|QNc1 wm;KV•V{Rv]P޷p83 |T(( ,E;@-LBG3,WbAOb& g$v#4/N2,޹% kЯĥ]䴋@Qb_c*/mδ`8286Ǡ>d]g-^qvԔ#<Gs&m{hCY}S oLQdfF+JӬ=2,i0|x0^ɿ v0Ļ$G{~i.ʫ'?ʦ[ƞ%1Zb FV,)|23@$\ uB,?V̙a-+xxR*v4F3f3h(*>VwjhMz5bY aE 2s|漕뺕@3hHBDHN0T)O4g؍dMu \,qNi% %S_ R* jSpm_bG%`8UgLN!tqOKCBQ,AC-'X9n\+lpj@19%:?Qq7'Aߴ[ocMr)2Xtv;7{ *z K?~`iw릛/_ ,/M:,liK_>IA<eP$5=0f(qHCv_ 6,TiMC2ݷ|m3Fh/*P?cbw?ؠk6$xaL푡RtdI.zIib]1OKpՂ0Ueҷݰp'x& o:BC@}AelFڝL;dKq=,JvP\z֭`Pja9궜Ҥrfd 22-[4IB;.idHLF3~v𲭌)l(g( j(,=oAVQԷG[ʉv 5Q(-ѱ6g ?=҇RO|c=;qq[Kca5ٱB^f)'7QMkk _qsa2y8})OA.d8 e-0-heζFJ݈j =iˈ8߹AnxE3:G}#>˙> =9<Y-tW^PGcGTҖ϶X(6t+y $Uҭ%ˎ̰M0IW$t_Y )YiVן{;]4x)ą9?j.#QҎ=-֮$t{}aڡkRy9oYK Z+vi!,_fSF#H {:apu?UZ6-cMWz6 q}0l1&e;^B9:qS$B7Z6rģȌ[(Z=+ ,w!'+;E@ DZnڌ4ҕ$7iGT.(Oa 3T"H.@EWE#QhMxzX)7~6nf3шH5ڵն} (N+)" ͤUԭ!tn1qWӽ!PV]tOrD0ύ|軔?pUZ@ͻ:6u!LwR,oXEsQa~SRo XR|{ ٪ݴr\X`Ő<6ɽP3ѤW//* z.-Yej]Q/86w?,a&qXF 8q0R6+lRB B_Žee]Hw?>k56 *nKf3{i8w&`G˵I<{A*YU8uY{r.F2v>VRaN?jk tŹ!=m2|5JM~{<|k=Hc`_L MD :` @=Q3s^IIJO!5&_ƌ5⩣?_SqOyukV*RGڗg:δacI*9B'VRs2yp6kum쵿wF {HxЋ(qo= h Y<##_h $&`Cow UrFߨ$nɄo NqO3dIjMMm[_X,OE &P'²En>r{H3ɤwLrzYһO2Ii;|8\vOUxE=[p3҉*hͧNķI49i4“?NJ681-% % Oej^hH9ҁeF"9M&Z*!b@5 +gMvM\ko?x_@^P "|㈫tV10;JSXb8TQ{S:Ȟ3Ȕ ߵ0Mwó`LhKcϻ2Ѻ<^MxbSk*<\@%dl \pПa_gyUqrHZH8[m'>w}buK\b^MPsӘzC*]c[0 =m*XWbKϩk7К~T cBm Z|FVXD2N|w TH\L!Aw>؝G+%V4^v (6B7NywDDL )M|ޥ%<Y!~匶54;ߜ! ;?7byvQp8{Eue{L1~=FseA;}+D-F e (z8ÆNWULl&j 6ɅC5O5ZYS<#MQ*ԡE"|-^؄7[VKh\ʡo[Ii {`@cpZƧ@>w//.:¹6a }]^/QauS7ET zP:,G+i^wq3WA!X=K`Xam\Iux߃IѵHX \HP9KN$ ")BW@_PzNa%&]`<1%V's8$r籍u)ɪh< 8YB\iu/s.kk6~zp 6-\-d"ua-cZv[Y:% dZbiZnj /Y.+DvY  ϋF{s 2%᷐4x@a*NH@`ܧ/[ɦnklD`{/Wۑ\gcn ݽ z쯢vmUOt,l+.G7Jcd׺ӔWh@:۔C\;t66QeRb ŸQnRaG|0&5yK#%C"hyMJφ `)/ }`uedߓ^־dl??wbH*q~]+K!i@o]dly9XfSgO We ۝ A aXUUXDǣ2K/GFS&T-v\&ʨwl1e%Ht6=R XsNq* )Թpؕe!җ56LF~*SB@ 3ӑ\DVPZDI<7p~P3m6y Fȷٳ8!}N&3/^P8'3qC<tdWM.|X,xF:8( tT_g:1Y) ^ Z&=Q]v~׊3-Dgʔ1v#.b v4|!##19% Ro?=xUlļqpm͹\s})c{MN|ݰq]ćۻ\}8qPX+ T8viq ".3VNyʕLJeAǦ;^Xev[îh{ڿw\b1#?apF]WXv= Vsw!Ob`M]V؏׳q`WZD bR2ȷiSv u%=@=+UG"&9*I F#:oh!xvnIXm~) MG.tk qMT@x/˚rYde^$sH_e> $KYmQJeDѠq`- 乭4ܹ+խ,6$ T"[?qɏ ӷ00GUF k55$Zz_7 튈5GtcN}pulE{$Q5䏵?{݀Q(] iINS dpi;!밗 G_;0kL@mq^B'8ͭGhRrեxUD3IbFa zT:=6nenJrM){QO/Նb3xykfdĪ=ͫ͵ EX]|!- 'A'itq6.&l:{2$4Ȗs,ĉB34UE6۩צQ %OC̾N!/X!ߋlZ2gG{qͳul D 'Bpl.. hNPZv(mԕ1.8j3,KEeXwHrpGMX% OCQPz^'p Ⱦέ[#Xq];muWID3mD)d/ڲKLf235y CW ]p9gH> ]MzMP>C(iͤ-4 KhW$w耶A~C:06(ˤ^~Z_h촱NklSYN&a_C@Гd)*|R BO-&$+~hܟnCYn'doFy b@qZ~(Թi>L(&ؠE-vgw\Г~U/91E}( ?a {kN˦B"V &qOAj:ݷo$0 qf4a"+n5f#= RJI H /ԲO2v`x[A ^Dv ::_ '귯-;!i,"9K:G.7s?6`7_& "p.߲p]{6픨Uwu򁌘 2JY(0|3Uw2' tF_?ȗF]V],\d;!mߛCK9; Q> 8U:M Y!lO Ⳅ~deg inlwKt_Wr,Fc7GT˥A;:ɉ-AWt" bOoWLd^ġw) 5<]R )a8LUI}U\,KQNnr>vHZW^)ʆ {ގl R7z;sQ1P/ 9G\s_ o$}َ^GxŒ=MOow ^ӐrP?If kk)#%*՘Ԃ%-KZ?M+97蛺#aTHf[7;KW AޑC'pJ !d=\p"1x hl@iaѨ a*gZWC Yڮ{XRΡ/VWVC-moy ]&Vű30\\%LuB:3J iw]R=v^Ò$wT\D7=(2*﯐gYZ o f RoC! /A# HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! bA]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<~m{tW jr#LNƩHp9ˎ|\Z7X[ 97G@)P6vy6Sh'FLOt?e˒/ST0RzoOh D%ե8 y›>ލWǔU|sBTs. (wa m aQN#v7b /18XhXkܹ33$ns>m4Zl~z̀SNjꧡvy)"/ źJmS OE&6j&ೆ{&SptK b;PP-?=s^Ȉy"/  L E.[cz\ݫKQhtSO OÀ؁ %.Q21Zy`z}&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'kÂ+Kl:~d)LvQ "lGe隦9޼3{kҵcZFnm'zT2 dCuSy]l JxCOon>i/H!IrV;旅2|=qmpvӔLD&a},4Y^5)kXYC}O1[p "ØmD_uB5;Gê0h#}"m]j a /v⿚U=pYsG{(sެ& 8ZQ2*9L (ZI|BS˥'b%J(ؗ SLrρ4/3tq]8 iՓAl19Qv׉o+zf` 7cK?c4o:X&~L{L<3apuH4]c:u l#;T.ݤ_4 ϦupM'60gYZ'5;eX.=>P)Dfx/ˆ<*0DNG|X#Q>WI~$ S(<}Rf+ϫn"P݈UXe}/" ˛U&̅jp fp G{xtޘ9K0 jWOl+owB,%"ѦcB~MjMX-or&ϭg>0W]A #Muݞ+#VϬ2Wp%jAKAHI9ӻ'Ypyn$zcbKQc_h4PAWֱFپhYmkOS5A]I^pŒmq+ 呿A"WXKA8#e$r?P-hY:}#鴌>(.n%g-UBضI727˕H=q%li}bǚ,ͫH[,b9jz1x>݁zQOTKqIF{ "j "9Mmx|nS55kG5ȟlB=?&V#K>g,Ot.Z%j-x7?c5|?3HNlW ;fA;>,{#`T d?讷nCI+>-< a.l7-]"T!*~S!%3SmkFPJ*3YSgas<-z&z?<qH7Se;qA,F.}Dq"yZm› Fsv5ZZ63X`1pd([4}i"|54p!}B/ؔthUMN1==u"\YgsuKxٶ V0x@Xe4"mèAarTP1-1 Y_.xW+u-416X#xq Of\pYA;Ti;Tܩ񸋬dnZ0 o(!Tw[U*tl⡏L4XӫfgihԮhXaTuu``d=}mw} ?WJh+aR0N]{Ե)C3? ·(==dv)ۧ!#rC4y9ƝN1vWZADnl🹌/ك =6*taaК1?Oc6T[ѐ<ȼ00.QXb2$77RY:c<zON]4|CP9>>\Of'qo(kus䒲;"K#*k[^rut+35 Rr*m%fmi/hA-~uqd-4n|v6"SzcOmXTFFX+;IJ/YN:\Q|"kLɺoSQ6Eyn cg3O)_Fɥ6[ss$JC q>zWuU3WҕmLRK]l m*[V&0LHJCI`EXL[ `хYCS¢SZn)cehLw_"ۀ6x՞](U y+7Qs4Fٶ(ݔ@L ]x:0x~&S䪪 94UY4kEvop3s edmXkCd6aE@ҫ8yZE.A]"K>ҋZ(l9]Qev  7@s!!؛SZ`PB#ÛdhTy>,b5i<]kތ+9~pP3067gc}$I30ER5BYZ$9Pk4kS[4[Ld.C:ӱlu^0F, C-|[y<mhS,{Ҁ$δM(r-/N`FiBcNDnR4֊_kd-Z4jV#X15 UHHzQ1pWŊsAEJ{i7'|z ݯ؜; j"*a*% ('`)<"!Lkϒ6xeOW E jS,bh$xpD9X[/fƺ<~9c:6 #ycw?jXbapw5kwbڄ3ړ4(lKȲpQ|1Ă7^l).(=¡V&1~HT1Xˀ-t <#U0 -~Xd_zZTIqɃ{,ɚR@k9*b>=kR'G|7c 駽9T뺮SJHp* ė߳}2Z/[`/AOLN27ݟc Ҭ],(T"PA M6H/_7贆 1LM!MsP=fY< ܠ&-\&d@Fel0PF+9MZ tU,XkQl`_.}÷<1e(7` B'W:'\`4."4H=}Sa9dQX>y IX<cŴ@q$v"YT%Ii^S }6"t'R?שPD"NXs}1_/%3Cb t,qwLK/h. ƈ>fy3j^1XD~ :@[: MM-#t=w0Fl\7{6S%N\F'TLkGVR#0#Ɨf^%wO*zG'A>61pĥy%ڹ*5ޒj Ҍ| XFPheji|n!0ENCi\&גּ"@ jƻh+} ^&uu_) |R\U|ne_Bg#e!)rU73z,IL&Pj: 멉tv:37ĮX0u'&M(”!B[jn_W ۝"Jf( ZT=6f+tCmz_Y`?:n >*o^_Sb$*B+xj!?A񊇗hʙiXbN *.l!1P94Nn|ttFmJ7mՑN+ŹIޙeI9AE)M#:[<;z}NsQc3IyE?[}=A_66Hmk]e;Wݑ`*֦Υz*?LKOUSLv 渟;qh x~,υe- ˀrV nN{s aK;~r&-+h45=&+8̩|য়Rٖd"6,l`|u,UPqKU6L n9jvOOX8r$jT yYjBd76pw b"EGA*}  淫+@V`; @yܱg>Eyl'ia> 70pwZAʐ+w [;.Bű9 ͠T0 (i\i ';$Ws+'gBOE!ViC@ k(Q;QkPf{8ș^@9wlo&ZQw^G57hfAUp~N -P5o$ @ћv݌,u?S![NbSJy^nuWU|H+b-Iɿaor9)gM%#8ە?Ņ^0(t癩\af\Z<&F4h7y}>޳җ~vd[fhG&QrbaW҂Í*)+ ͼar&SI31J4w:pgz|..^W]vrh:=0hφp՘8i+ I%͟2vL"@(\xm5궈j2ߍmdutim]\.CՁ l!Y2RT12.-3IJo2S`0j}YM%ҍC3OqxWrfFڇpaN 9CHjp VᰡqY[y#@T{'%}x)d1j?m,A`{wo/1ȅa1f5~FA`iUiN҃ <Q8uM]!ˆ2M$P 89ZlNj~|@z}tp?Dh 4?pѡu1W4Y{Es (e8|Qoc}"qORy*>G|j7Z8j#p;^D:l:?]DtL\CRi$'kq`餭4G5s?/ iHZ{~"lD]fm%;u'V)^"b:dΣZT5" 3^_ߑ`ѿpjXy~oYd|˂Cԟu1XNt~ &Hx0ƶB%2 gfy)4BE=6Q#ݼ:>jGl]C E1 >PM}E%2P=鎟sl/{0C-BEt8(FNF|l̕|F`a 5 bb&tW` /k+5e̓E?nNcV\Aϣ}_يS" ["g1t9cgӽ͏bTSLd$T` 9 M(yvG?y"qvkن\`b( ң[u?rҿh]EC/IɌٵ: ,d]9 JNQwTϿZŏ^4Hd1503{Rӵz ǁ:m@,57TA/R gQX5iFP]tA(4ND4Щb $ڕA Zvyd3̖Bw*:9Wż E}0 "+!DuG oT$ls&BDoX-x"2=0$Oeճ CTY,f̶'/gMK47&\t(8a9p/Txe8)8:ؖfwAWt<ڀ,IfGEYVeb&\!$]'$f͛8ޮaF:yױK]’T\Q|{ɠPw4s +\{DQ#}S_z!y 4nol7Q#n rIJ*ā]k+\#ZIs諀x;\osiV*ܔ`̦TFq{C \>eݍR+POͬ;0UӨ?Y=2fEL%%}Ѝ+8)GR#6ca`qSXwn`jswM\~ll16NJ ͬ 0:T@kv\vy |J,=!٘BjACCu"=K n+"jۑ"x1F!?ߌ/jVЙ"た4M[YkiINp仠OYFiP"tn>юo-CZ&Ҭw(sҟRk sJ)`81t%SZg#7ry+]MHhCe %WjJ_%>5'u!uou\U-c3!ABG-6E0zPg"?KuJo쳣?Zb-6R#!E_z9AwrbF Ah>F`ߔd ~\M [ YXD6 i|BI^*:AI$Y% "$ dk ׷g^K6KĪCtkDȡV[@{%?|)ҨAds;8U*}eg~-Vhp-[dE$IBL5D)re/ ,v&3u~&pw^60~Fr$PS3k~։A !8W7[f>qRƓȖӲYaēa]2_7u5- yHŻ A 0f2lT=oWǗ@|7cց M"k=ʳX.\nt_ ek)3RPZ$#$ݯD2PYYa6E2\>:FC٧uehIߊlQ!\lz_;Y⟳ 5' [?͕H-u˨4TF/BRV~,LqNW k)IhSB.4Z(!3Fj,i@] d-]hҩS.⸜~XxuWn~H(/lڜTuQ́2iR獾?"DӶo@e֮_*ہx>Hp Xu[hֆ YĽR#}KnR4?wiM7Uܝ 0d_ y yʺ*OdžJ"a'?n8uPuaךmv#):5Z@;7(q'${0:d04YCC;K_۷8B;7A&ͺY |x!+R Jhqs> TAm/Wk;𧹂 L ee#<Weڮ7 Q?"Mr@bOчmùE#Xg\ɾγ^<ݲrJvbMT(0&\DEfmFs٭:  xKEpXyq|eRС&ti˹˿PMU dS,]1ГfI5FiKZDt\~~2ٛ^WnWU-~ɖ_ts(Ano4$5aLUuJ֪dȉ_tQ0r,=}LFUҳmYK WnllL'0L)*%ԥfn>UZobf<̄P ̼E7 ]PM:djj0fVa\NR3: E9N9sV},Wut^Yئ 6\0ک? Ϋzia[w$SzqM)i&(^ǧ"Z/(G.-uI$<!p-dCӚ!9 `'i?meӅ ͪ%'WU`їbrYx0JN)Aьi\y1eʫ1H0]8^$8KRB`om%q|J/Ѩٽ˃];_z3RIap̂jBg?8\ǐ湿ccP6"i"$#jT}p 9/N94Cͨwo_τE~>4潚/[UO`!`wR@`i)emN:"@ u"/X{i/ĝ0#n/ kRo5aa"nyW^Rm !,LdTϟ( %2fc,QA%1U (٬Jfٹ@{sˀrHkwA#05TLS&y\ , ւ - G25>7/?HFuH>€p8T T :K3J aIxyFI1$ ƫՊ UԻe-}+e7K*#O4I`\74`6R| k+^}@p|N DCGa?_x!Q:k+`'V QSկAO]% &v;MX}zg /OBa;9&?O-P0_K~+T  bNh|T㊏Z`VKoY7/FQ4^ |ih=Õ0-ۼyw^[ ժ2[]eHO+Iy!jkvʕkf<[lL٨ɏ|AB4ruR[·rU6|}馳*>]@iM$b'$nZꔎl,J[1&_"G3R$t!n)1ѩg:W7>/[2I>T#YhU.͚O4'zdtdYҹ_"l 4imD쟱RuNQJCS>Z&U":(7ίFI_0;d^o+H/Py=M7uOJ"@enߥsH.p{.{R$9~7}A_g;>Y5yQJCZ;܇8;VV.:X:M]'jBu@d!LBΗ-<Սh'w0TcH߈dz2>CƆ鱶MQ7ݢč]9$E4Şϓ#~MI;2ɟs3!L'.. A.65o5@5_2f%߀nnwMN4VYE* Gc*dYwIu%y@iycY, (C=ᣘYCx*eϪc#GV.P'nz3˧P({Y+3 ¨Ch5k[~r~G|e(* Ԕ9xa)b'K>Yñâ܀s2[K?941Zca GwJ.![Nug婇,v=@Gs,h K2d^֬Znι:`/G D,\+hsLм6Ki#55FG?}C\Nr$&%`$/d2,#9xz_vNNCTvtנYI1 y*Ǘv|kTE<$j8_EmF Uo&0 D*#{D~TɅ-]VGfR>6a3; ]"Y\pU;N}OjѴ1%ZZ`+n6+J|n ^P#Χ}La3K>~uM~.@*([y,!Y=Lwt%Adƫ&h@ %j^  f>.f8V 9 ?aKɧ~Ne{! qE"zy+8퐕N}T6(n+9KT:: #Ks F_QDՒFƙ p?#0EZ%7g/!mTp>ufY4Y6zzI?a;>By'G8`ͤrjOqZTTO9LQ^bZ'H&8 ڟB,&ѹzfٹmomFޝdCэvt(2iR9^ԎW;6z\_I2gnh@D>ݬ~jkshKLE=_[W;λ ?枾'Rna#3؜dP aDX\Q|Eb.:?ՒqDYQ.dYcD. EYV} |#s Z1f?bRTyU)%fӧyeF xA2#㐷1T߷uduɬ gu}K.r˹_EnHU%SՉyxw,?*g÷yGF/_xaZO_kM1ubZp:爂-Bs¢r $]?-o8%FM(8 Z{ mx.j)KqRg_;҃Ozrlh”,vDg$9B {[;?o[V2I{> O\1gBM4qqurm f>$Q7W(h91x\EjD~[h3q!:]^K>+P)}ڪE (-8XT/؛ձT m&pN%c ^W!+F:̫/ڬa~~k2 c7 MQ%Y/<͈VVEhbgcZk@9"JLPŕI=ifh;m}R]\x俳/hcTцJ}.4\hЗ&~YZ-2a_~^ OV闺E{=e@D=ڌEqݷH %sW@ʣo8q!J1GB)X*`RzZ+:M8IU.C9,[TtDu-x Nx$tr*`"IFю0W5wb81;҄V))yDDEU]yު@D_Ѕ_9w^Ӟ@oI@_U_aj΅&}65r;71ڭf7_Eou,P5w d#;`ߔmms ]-"9l;-ƞ~r*v[rS'!Vgւ2 12ZmwF$VwEx~v4yr@n' ;c|P&S=s6?Vxo ?m;&.1o7HI7Ÿrs۴_1DZ4j-0&W.!6e! splSoP.ccbW`DD;ߏsǗe!Gg0 AA kXZZ8,wV`pWä-::GZJTSo>mG(nJ#x/, gSI82Hpba  u bWࡈWuyd|yՋV-qWRU17` *#b4@b_m;bJ< ׻瞃f4U/&bZ:J2]E. ?foUBցL;[Ϗ)KyطaH>Hԙ$QAFHqdX W\?)梨SY,|m3T>+k`T?(cl0{N$WV虲aRo{f230Oskl34\1zǍ_̪]NO7opsر0Ynhڼr]f 稰< /'ywW$Yjgd&,!AGV;."mM롑R"^;GEtv0,k oE&/"9Itz UƵ4zXVVw5Ep!5?N*kuR-"#:$߀T`]P#6k3= Q3Sdzc"J{cr6e]jƳ[*{ 8*h;A{ͮ9y3!r1|5oPb<.9s r Z6/]cm(!;!j٪ީz̯J։#vO+CO:3mo L"ff:@{̐8!TJM3eu&- `Y:yxC.SO]q3Pa#A%/A|l&z+34PMJNb/[U5Ǎ3GXZ暒Ӯ`V8z{a4ǚzLnub\\RR(fI?:_(C~[=[3i(fRՋrs36:gF;y]v/l]O;PF^_Iu"P_ =OSے] (e$n[}mb.Jm/ "l3= !}h! W!:‚lg&[6g#uhjF @3ܶ9T(a d!v̡n g[ׄ6C:>;ԤU?s<AhD6ol=$ c?f9Yqsˣ^`ڪ1#k6*V&}# 9л}wo5q& .6?mۜ_2 ̲1Nد"ņ8EAAE`'f('/_DD\Uuk7ſ+Y7g_;QX {3HsTlGxG!&`2u!preJgsV  @C1r򳜨GW]&iLyA lT1d,ߔR>BsBvzֽ'>n4YI%W9+C9^ ~4SOqki t[;fca@Rwj8!qPl}S}M_nLk*7JҐmj )ȉ]2k4rGwOKi 5?xX̲@'yj7-,D&VGXźs(aTكZ#!ݑBP擹Ij@$CatF^ W* /ki5D%b+8 ux,zV6ymj+bCKuKOkEQHKDAlՔveoB!PJaKS{ZRzj_б^_V{k}٥6ϲ H`Z :ЦIU|x"+^{$  @^p5F1W?$]n X0#'T;[S,3.C-xXF[nNu`ђx+q?8Z "q+b=?^KUj>c8epͤcKD͡;]]d.;mUk7 R%ӔjHh$F"vź4=@r7*K^٨QNB& mDjqҮE D7 /%Fvax{>n1zHGvFǽWf-BzrMEPxo.$l-f7qeyd/dp)X8dWZXucnD j7}.%Ƭӯ{\rHx"$?Kͭ2f5Ui`+oF{mndp Sϓl@e] 1șjj) !kf۠:ÑyADMJpZ녺bC *cO K2>|T5>Sg"g L5 gwIvuTs3b+M予m tp`c|ކ/ 6߇X,n/`75)'\!aU1fi[kqIM</;lӧY؇SxZ~U64oAt6HO)Z3,y&TYa8-va'" Wa$f?i6>B\^*v皃I7aw7:?K =C[clP?Դ V{|:WȃgFat"E(lh*t_ ĩ8䭢[*1|A&A,+\I[ II9_p?Ͻkԉq"'?4p]3ξt}%t:G3zwR>1m g$#;<2`)󩧌u̮`h?]Q;|?7XY <Sab7dB߭t DHMy\31JÌAJ]j} =TmO?S#ek_m^-)`x2#'[)nܰ8޼˞u ane_\+׶FÀ g~U^wx5f*$D z$oIߔr} =#Y6!':[ʍ@*Ad5L-{j[{{ȗd`)UCVts.擈!U~FK'Lr>,CR3 U}<'G[Sʋ;3b{EB$q~>w!aS[3RXwNW_6c>"\SRp)gN 9ajJ!0!0MǢӝFCfHJg$0;fVv2T]nvt|Z8;,I?.~oâ'nذcVפ+z|ũ y>"IB?eG2Mcލ/\!>Kqbkz``m3xai%dP|]B[+sGHN b2Mu,,k-z42ƌ?hvJW|f"ڱ,i˾Co0Gd@y>%0T甔*DʬU ;?Jhg[u/1qb<"80a!k,/9K:׎wJo}$j[IP M 8wtGB%f!؛r/$ռN"6mHrWvP޼ %ԶD:F C8y]O>#HP +kN&.-H:XYY}v뀀Z Aw)C ʹBhl@9-0!h^S!ωYuIW"{ĸѶHz5VƴF1ZZwX k>NNT0P|%"*ftj0/{yO Y{K6<DƲ7xKtŤAr>8,`֕ķn֔ Afs^ H+ު<U|&(UQ{a*K&-ޡ͚!rP`o̙R]X{)]/4oʾWKSZ aD$Y-Uasn96!f1ʹ'4E)3bFZ۲ kd) PzH*:gxm©poo~Rou 53cBLčHmA1bAUXb"A <9yМ* ;C>46S8V+MҴ&s.l5dl^jpxbTu4a`덥Q]b+"V]mb6siڏi&10O S_srp fZ C+s Ah(Ed0dLa.-(0AW`U6!p#ZpM֕61"җq1 oB]n87/l";MQ߻r]SK/vu B3!N<}LIڭKegYZ kqka%/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE$/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id212Z#/A18HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citationsMatthes-Joachimski-AML "/A' $HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1#E;%kŻ$RC;y9ϦǺp^%F790Q#YJ[vI@Ǧ iB՝nE|Ez,-@F^dflz8HrDZ;MwOJgFGLBg?m)y3S-d37WR]AWit#MV1j?C%7iʻ\ h3Lxnn-`:IRV%ۥ! >ekot8B5{7N;E\X"6DJ["ግs8n4ཡU-G>J,k0Yr+>zGo Tbxk ox h}{30Kx?Ij1fP ޜ}@&SņS^!q42߆q(th8J1,׸̓6W)U+M렛F\rwnea;^- :j"gJjhC2OPze׬>lӔ9֜60}U Ks=C(C"טc';;'h9Yrn<ȝHb _*/ @rn3r+aJT.]l~0}t\N>_?1( #=7kвO0L1}xӀbRhCtyQ ܀hMw_dZu5Yx6wdQo}8mKxQNK/&k!/QK< X157e%3lɭä21g㰷R=r9VԯWd5Z^7b⊬rSʂ4H i"gƱd׾+!Ox7Oeds1̰;5Y#Y3s`+!IFWj0\ -N w w5X3겤{: xZ me}?6uvΕl~0!iK |y3H!AQ.m͇8˝Ȟ܂Viqt{ [^Yk3(.ˠzF3,k6CVX BgJ͟OuP t8A3yVUK\d]hEpD;q]CcȘ{+-ey͒%?[N<@$JOED ߂-j7r3~U:᪽ ԜǠUz)"}EqE Uڟ?3 ;M Yt1АF=Ex;#gHI~"]G^|,pdI V&30 ')|4+hۦLPIk@x)V0lѰQmt SN9mubI/!&'`Tñyp`GpJJ B"LE'`5uԹ찾E8$j886(;SEUJo3蝏s48$QD:>qqedrPk1w <dzAbw,9w5O/ )]8v7ú܅@譯|{aՂ& |\'Gaf~9)4X%O_C۲ւg1u?GaK|ޗ:)7+q<6y=l ܔeb՛9)wgV:u܏ɳo\͎Nέ [3ҞS^,GA`>*w)lg*8GFʫMuUo(3sNSYI,s~޷E$Z^{0𗳩d;2Qq7%n\딾JzЗ>$]k =l,UBSߜ"My] hŹnӼEhLRQ[gYZyP-Qڤ_nciCbpS)r F!h$u](rOQx 3ݚ58BKJl V-'4~>{; |s>O}8覲`8Tnl2?-mq"l%ુ2gP<ne1v ;6Tol@F||vF]+Ǹ5[r[Jy?`E9s*N#nn$w:&-_ΐiSoYodZU"pT" EZQ' UJ:ˀ:)򸒆|e1 Լ~JsJq MUt e82u*:QylX~ԯ&2e\(itNXt!S3Ax 6Vm;)9Ԁwջպ:Hw:SX:B\3[DEth]4߹*VYRmsib?ϢK׺sJn֓/j|0c"$T4Bڲ! :Ї[$-`Z, ; \K%qk!Z|&Jb~@1OKRF,S{O[0-zg5eSEgH!p"h/v4:|lwY/dj ut9΀NOGã [گW4S׀8@19,-Iyc *W PO!Ɠ Ri˞u^ǹrősЗF{#ŕb~@5ͧԆh /cv<ʁ%<}mfπo yj Q7'T>JyDz`R}pC93ef=OEMN&Ƶ|GjBo_2;.eTdfu]V{4sϋd|4/k68'm/Gh| ( vDwGNҠrXmxE^JTVmܓ0t(ºiZB?wF~t*%/.bP?59q/fUY 0.1E4o7۬K;жGIZKH n߽8Lur|b_@// PK%bN<#Tn7AP6L l˟eq0=ݎvy^HvG^ke Pd5k_n1&X8VoװQJ"t攠a=tly^,1$-FsVC3c'Pb@M?Խ훴b.yQI@\/::ؿɊOmjo D74,|V(U.g7"ĄTN%l\uA]7 ( .>jARxghɮL,"̪-ݎuOJ1NX_ v/DQʏ~f|8*LxŇos& n m(+NTWHhQ=uF,9odh+r˫j}<㳀fv21] /s5i<VS+@1F߂w(gz Fmti8W1ZjU%FrKihZnP K3V]7 T U'T;z= ͼ[Bʳd]u[qyo]w(LQ8 8'ȼ{p!i%g-إg+,u<Åzf %K/LVi?Za.B0W#"{3If5;O#ł)\_@0zY19Aؚn,zvPWmFp6]hm“2Ϙ[RYHn 4JE2[{'!ߐ<yfwߝ6Lj z=|ݹ̢澦1$X_I=Mmc!uP4Xsj/Q `H_Ő1w~w#&:}mlὴ̿ᐅˣ*g09' ~sA ҊWf>ySұ)֟74};Mnք lc̊;-wv ]Y$@6/Dc'՚՞a%Ƌw91}WvIڽҁ숣3\AVP ѳSc!I_+8eWe!vG@\Gյ%Rz2V:Suw4M9Kwa; izwV m(cvm{:`[E1 |/RM^.~B)H$mUF7\n1ldAkeb٪P4~׺.ģBI^aGgg4 a۩ >}sSZnæ0;4' *;\9@V@#x~eR5j3ȱ#Px]`ݘ 6䄔Ms5U~YB4PMaq/V!"W.WO1|IjR p_@fjU{1>]?$@pݼ/|bJ<.Ƈѽ͊qs&pLft63['^k2~medJ{GcOQ{a7  J)NUDj>n?v>K!Ba[|zˀ:.Z{%S SS{MyIO.=@')mgYZ   ;E],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id208k*/C# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u2j]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3שF},mԱX:7Lrr¼Γ  zn%v5vL/6L&{܎IEm#8%tkck7LlDZZpkA%z݁Ȉ͗M2yYKVLVAAFwS < EΧ)Y Y¹K cF)\sFex"ޯtg6*8:[2T0ڬOuY+ nw/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:I? hȜG4 ~_ܢ-MØ^!HHP95@wݧ\l@vQxס *ݸm8fq?PBW ɒiÇ ¨*33\+p*e)Šs?n> ZoBEȩy.% |He`2Wgϕ޵V+7jƦ֓#BO/?76RFlŤjz#qϿPƞrD3zkדL+:;f ɡ"\Q,m8gO_t,u.IlyLp)+'+ v`E{XR39OpE|drkp\N RHQy"pZ;̠ԇPQX\gYZb&/A# THOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup7zXZִF! d]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrqpHyzI d&W$zߏfi+c 75V_V'4|8 D0/z8b4mPo<"߳8*gy9QaKÊeN:} A(&T4s&D޾ Kfc֬ slNB78,ú7V̡VX_a8k罻)e@ɇ6W}V"W:lr=*VP fIse n";FLZT5s]I]@t~vx,0,h{쵖oS&|W?f 0Tkڏ՘i'p9s}XpxU\_ ?>ˁ0G;Ǿ.؀0g@Iidb)[jNz pg/>%Kk pgen?WNf06 雵/I6Nn _.-ٴ3b*ۤ?$53.(0@9GyȐKVTeh响Ct.*>GW6]SBdY^nyT{G9VL-&L9ᬁ4A gT_+K, yKf d;bſ>qs: h"/,+hͣә\s4Bwz#V\bM$SHӡ (G猒֑[%l+C<5aˆ[C+gF_NB=i=՛w5/ע{L{թgo{@ϵy<ɎP A $\J ~Zmqպ]Lj8)APi5wa:LzI$8RC+jKhU( ,T/> ?SƜ AuDT=*UQgs r='8C' LSIaƵL_L {;B\~ "-tX{i0#`dz$zz 6 pȠ)!i|})]E>dgRVN-u6ppia*,n__Z/nZ!QjqS+>){wMIH⩎s/UЂ  ɆE7BdjvWM!9 +YMmw 9 # z@m+pi9gnEdۊ6 PvjDAcvn$}|f?\^Nsץ0B׊1;`FD 1SJ>uB~>c+g~˺]m_X~EngQK;QDtCF!l`gT4Ŏe_(iYJU#@v+o) &agYZ0O+'zb+/q^+A41y#s2>:岎H|̥r/y'.ۗ?*ŋX$0߮05ߦ,:i0QAW.+o<@X$ CY^A{Wԭɕ~'lI/v Thw* {'\6Vp<ٵ,>[_^R>߰ju30@Qٔ-xi@=j=NhЛsrG D{tU 'S9 {6gBm`v S (N9ݛ^'dڼ#MAV=N̅),"O>k'T5[kI+k#U,soI(Hmװ^[ 4=}lS2R tn9plocrM~mz%Z`nZ]0n?;pFT5ͯ^%_b;.~v mf;vT ,i)WȰ>ͷv aVc?rE,q3'?'S7Ow_4:m){,Ӿ8U/D>,{\~suZ ^N҂#A:񄑦$tLe2pJɈT!ۺRoO_;c03gD=9JZSwY8snx…~`+f"cY}+bb#6SMDJ=տmm0FZ ۾=bP}*,gJsDYtϹJ-.M4cR|$俬G7_?@5>ٓŧ "%Fܷ- 7-ܕnkq=S AO_oO `~.s=D-;;HL?j({rX;pՋ6g1BU7sjMf}.yP0!"~t̞trNZ;Q/HdqE"u 5I)NVNC}508E|J#"6d}ҽ[w)S})G2*G4VB%'&@D%rU<]˴4B`I+juml5>jn z3??|`$dC:=9a<@zR3:*"Uk1k,GEo)kgz &:%v0Qdz:+e9c_ 6z&#SpteY`[&q?]iwÎ/g)%l>+n" Al ٮ4okJ&QÇ#d;V} "Z$:oL-ԬC0ѩzILEܗ`mcGf>LnSnԉS|ED KLE7-<$T E=? ay%~b 6[DN)Zǧ٤~= eI/R 'WݩN͓ )nN5VBd* 5wS~h߮;Rc(8xLJaq} 5 lkiNT[zva8o<N`^+Xgodp `UְP,00֫gK1c17Sh4y!V'*Hj=+m#vVʗ_ c,oN);9j wwyԡ>ɞOO_C[C/a L|KVRvSz];P|P»|O9^h!~ Eܨ<}by3r(J%5b 9VJ3mvL=[mmXҕ+;yxԫ~:Me? \AG8%)M3ݜqs `֎Ջ6oDžOD1ҥPK{oDa'F^;g+ H6ƕVew@0B~ni;E H2j̐n:~5o)?K֒+"᜖'BEכQg`>VmHR+O'*,ݗ:7YL#nIĘǐGKB ݑv&?-; fXnG:9%8S OةݝI3|PcpD)"-D$? f_~$Kr>Feyݢ0Ϟ3wd S,7;e0KiLy$]$N#N;yBi DʏNU8 VBM9'o+Ve#U/ -'"P='d1s]$K.Tm 4I `Ex2~63aPNAxqs5Dŷ|vZhWM$͢`|$w#W. ~Ж*324U=9F"Xy%@bzcMmF/=GM6 }BQW$`7D3"Jqc+"/C r, #Oe PR^YU/̸neQ&9ح\XV;o+z2(ZSy\cټE&}|48Nv P#Y'@g@~uKHdP%ۜ9NjB'tS5amo=#ZsvG(cGJ=(F}(F%Q B*iB[eNLG ڕ 19XRV$Ǟ1߶=OM4aR!&Wl5d^9FGZOwfAy"mFR}3(=&#}gd>bdvx]@)7 .{xSoU0! "J`et x+߰ǿu?ôVBVy6 =/}F 7gQG!ԦWZtK/\Z]Źw u #\ϧ;I_צ)ø=m 'h#w-eZÙ@'kԗ䵋mrA6`xnƾ7 `Y|Ef:7w1m8 JB{"D!*ߝB٩V40m4t*,M| r 6?\޽F'wdPK<˃lpH3j ߚ}oYX R)@;'j#Y.5݋l"-5zfXby]ǧXW݀K|a׮'JDnYVTN5r-;=]ё؟t>y- a 6R<vN͇K87Y66ZVqf$@5^{Y. raA-s6J ͛[(>M4TjPTov`g: )P%O?eƀ\KEi̼VZj>̤Pɍ^\+vw%gI̟=͒1%c$<E\~_k45GgO.`łfF*K13EHqHe('Tr^}Lr rE`c% MOՠP ~nUݟHޖ5M*&UdgYZ  dc0/C!XHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/files~~/src/HOL/Library/Code_Target_Int.thyF//C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id1986./=' |HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages7zXZִF! 8]·Iq n[:|&[z'^}Xߡ%R)bP%~e8L\Ut ~J|H5 :\Sdiq@c@uY!~3b:=K] HV܂%OZ"-*4E5`COHֲ8Hbޙ&-t4rm8^e>"MĤYUڌc*C .gYZX-/=# DHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup7zXZִF! eZ]ˠ)jk2p O6LP=͵gl5f&Di5b^8th.X .kN.; "%2ў3P),Sz!Z T K#MVbEsO.vdSA,b.ٹ G>^SwhJҷԋZAOP0:(X'Nv+ tY?f/)@$A$cig w!ѿ1]IlL{&3Gl+BmxW FukGY} P-M~B:`zidć ;za.7Zm {^PV/{{fl)2 ؐ`6$U[IJw6؝if2du*-,6 }dugJjKZ];lu9YlV5|Rh!Ă(cQi[dB9 :QյF"[UVb\} :Plue1ܫ1oY2Lz>ut`^&p- _aq,7dֺZRPF+=o=8<Ρ ;Yn,ABqgeF; QP ,o3R"ilfhÒ2'OHw OO%3*EMoo;v}6 YӨug)]!{Gk"4.CBj3˃xD[+q [#@Ѯ<^%v|L-ةVC͏ YWJ:B\ȫЍ -Ul >>iLy#븚/tݚL+YE~i`X'Yd]ǍmAk7Sܒctjvɝ兘7,\\-dڋL4Kt4DmC?[a<lӿR ns7~#WGׅ }| --ǒ[ v2Th\Xt!wѶutȐ絍b> sLG8g`/u Z u|{/P@K?0^vv*%SOsx1|')eX!70xOfJMYVbk#!)..$ȴ- 5\V3y|iM\4"|8?UZP@Gi.Uq*!ՊT1waLJJ ф#xys7ɛ丿L0EN(Pر 1]2 F YIAeWŲIcsֳ.Si902B!60޾V|V#_cl*"JbS roecꍷ1īHSlF }hz1Xd6|M߻7Gsout E3KubFҚ?lf2Ͱo7}aׅ" ɔڌY ӄ6O"H$FD]|jdq(P8h 0v$H03$I]ŲQ w]jᡁ`"bx*vs#\m.xs9Ȁ&9y"|T;i[KWdw^UʇcwQ;ozZ<@#~YrњpZKXY}7zPS^$MnaBBo-=(ՠ dk,fNT7d G6\(/zmDwv_|=wnSQbޙ)8{PQPp./۩dǛW_'DlF:sQ:тn8B)T&\FDܜ5d ONelFem8Mwhg&\7T4w@C4@HmSMK6N3+ Y3τPןaȳr/hwPbH>4kK VnG0^Qh<(\c+nGCڟ=-d/ :`.`8 ~>mdNձ14@6fLvZ&ƶBtOX M f5))}n?봒eQ;Y(Bc[ CU%Y')iJat%}V>+Nvu!o;>U!Rw,:R>@EJq,a\m&x ˘nRsƫu]X1]YZp4vγdC +}EHoo/=i]^A͒؈)8laBO6%]7am» 0*t'6|*ٔs"zچ[Xm3ͷnjXR!aWꚾJ.J<٣^ `Ġ.O&Ǿ`qܽx2<5 sUkg^8Cԝ-FN}uA PvYx&4ϷUM;0T}%3e6p ?;{9YNݾ'i8'ˠת@*Wd(΁eqicXědg .BbHAJDEvžߞ@jI܊r@GbȁF"qaԄU5cEYZb7< ƣjՌ?v47wT)[ j@(€ |;&ā$Íg'pŔͮga*46J.I E+/"(`]Ui@">"b#i^Nڱuf΄H^re"tSlC[e]Bv}_Az&lӹɠvR3, n6lq.i4  [q(VpTŸPOahz1Bv?aC;3i6uql1$dae.{  MH9AHzF1;ȚSF3H 1?Ew;SRhs{l{4/5=7.hRT}hϕW/ܸۏDbV4nŽ R=ƏPܘ[ϙJu01ھ>$(luez~o=ci/mO?&F owRS,JPxa+Ёf˵mpY;Ռ۾cy@ \=Pp!sII~-EAbkl>AQ.1I%@y!vz._K>w{H*ɸ<$'O.t^*u߭ܜlƦR*>͑k;q@DDF '%V%@F0U#_$t{X[<&s̤1r,83N:6KdجُY)1WnM: N}1r\%cI1Ku:?ʫㄔ3)-?<nQ!"Irӥ^ s  q`\V-i:Æ_aߔ(j׭c`HL7)V]]$a)Zg9؅l$,ҋ0>FA[X{v+EOXJ#s^w#ڢJ*:rma¾\ ,׊!I"I. |qv܇[`Xj3|avt'r0cߧXG"Un=iap~Hy ?1Άli@h+h6$4ѭIa64!bﭺI@ 3g: 14π0[W3c_dZ+/5{u*> COѱ;R옉e\@Aw2*oQ`<"1s5$LEr҂2q !7c1},?IJ Yĉ+G^^ZgJ3x ~Sj3de`%=G u6tp&ᖆ#8وi:3s j- ܼ]}EФ͉}1w瓢"Jul}U%p3^7q3uygE"p3!V8GY?g7hJ,/a?D_Tt;<=. cgeh{a¯_xMP|cLwy֖lz7[ Ћ.i_r<ޖ}s"#x_ 0Cݮ@5ھ6}M bI+>0c@ߵXh>wYm$jjR1^}V^-0\1Ʉ{|^a#|7!3bZ+ȋ`],Wb]+,cB2-˃XV˕䒪8Q sO&hmQz볢SœRLӌ&DO|qȨhщ u'*xבdI9}Fc㫝1KqݫB\Zzm(Wk ÛsHs8X9D^ RP |6e:/ܵ1pYt^F{aDZ7&3ݨ1.TS_s>p/;kS'!N\,ucVEe,t!Ia%*ki:Fɥvi>5Y?$+{B$e ffA}G6aj?ؓS,1.ɸâ.MR*a{bZ110FG۹Tmx%tW. :qgYZ 66?1/C# HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! ?]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STd4ڋ}3cu[խK"癇MM[8!'5\KO/ȉJ}q3Ij*DwcϨ.{-5sH%ΨpXJsp|XQ)Y&.*3!C7 LJ2,qT~/B٬F4uvB)̇Y~ =vډq+qi`}܍7fTC J\,g(8_EqhMtoв['L(R; nຬtM*o4VS4ÖTK ѝV`Bq'OԀ'Aw30v4[$+w9HHNሻ];=E:{oWms9Ϯ[!ems֖=dJ<0d*c|uOZbu_z"0Yt̂j7"J@kml<'KѶbdw7YZ*E Z<" %Ϝc#,C@&OLeW;v};$;rw])]O/ې=É̾3kcxXi )9k̉z~$+rQ]ч/~.ƒUO yV>6#B?&'Z?e6.*E#Pz ʦy 3?AA$f1|y"CC0.Adځ N=:Ug*uSNJ6$bLqN$ejN }`?jG~~lcFV0y2J~uyp;|nv3$N q[=z#`K8lER y'df  8ed &?TڋJ"TYMT X.)" F&"ꞼD{.3&9㸨cJNr8,< FP(7]ƛL0G@|Tw@3}d_Co#:>?k|4CwGiA/Ak:QK^ݼ޻ 5ԹL%d̦y*|9ٯRf]d<"{z Qz-nΌʟ|eGƣ] ՔƠ)Ίw3Nձ}mm;Qw!=?<m N_ 7j<zj#oidBkV6/A3PRNYDM-M<=6\%{޸4pa4JCAXe1QܧDvXD=Eف=Lsmw,y V+b|_|t`QKphvNI;Dϐs{t!Y"3*nO+%!zmEĬ22-4*%ni1@uDPq"#z)BFIjt1W;Ӱeba_oʉ~Ӎ+"w:/%)zrz 6C4DuIl wENauI'% i(I ;!/x!Nu.f66h=4t;8KYtG/o:}vg VLr6AZmy;Yտ<CdᰪZΛ^,]bw39ۈ_ZGzNK2M,rN-|q`Vsn-EzB3QmF`Nd}r Kl6/Qʹ?ᄠ4.$0;(ԋΡqEkg4 :4>8/ܗ#)j"`]{ɨ K"(%H s?5',>=etۭ rnJ cl4]c_M^w _E@&9%QeL$oBSsS<첦 BCTFЭatOI݌ED "w6&k-?lx~E4F^Aؘ}ީفVy(\n\^6244g0\FUjyãy b$kG sBii-ȅc\a(9ܰoe-=\|a;Zl "GthfI,g^M=D3jqfd̆>nZ,|yxb @Cʑ , Eb$Vwgco#ܶ8[#"%l[iչ20 %˒ ҈f6-bG+)-gvc?%˟=kGw\EcKm3C |8mmzR94ܰ:,= .ğ-n4 ɦvcң„jq$BQkpt Y"":a4Uy8+b͒Q=zrj*P{l,@e6ӿG.oCHpZgs`bߞЅxEgx*豁[5;)N[[^y$[i!XǷ+̙ztJa8U% *oz9af.fM?bxn~SEߊfmP8JRƵq-2[,{_ӎDOM|;]W'W9gg@i^Ի6G H~yei7Q#Ԑu)D }vcvu$5I&WS3Gk`+,WZ?U!̈́61@pߒD,'kY <rԵV2sgNzmNZ`ItxRRP3 LP{&,Iz|v7i. l)TB#!ҷ-9QI .b OQ5ݗVS2 jЋuLFv: nN4S^UJSaQu@2>˩rō>7`}{xU!}€,f$MuFR#HC?וXytWmǰkjPsEl C3\te?iAUe=k/J!Nf-H;Џ^ucL72Em(l$YJ8{V|x&,{0(ir64@?gyH|al@%{Bec97o$#zf֧sN\ƾ5?sEzs}5*lL:Mj[(׸Pa%L;Qq(fa yku{N2]q?N ?՞U  E҇N{FOpI=|ILǽ Sa]j<*}.ui˵}+b#KRӂ0v? X[+U|f7-R\iu܊,O \n ]p4nubT,: Y*Pu*N>J<-#?it?r+&͚*[pMR6_XKLUZ^F$nMȂ\dbKXN}ɖՕcoF"9`},#LN,8!D13Yd:WC1$3iMqNKR^*Yh_==Rm8έpw LFz.bo>E6w G6{b:2NC(l@>aQlb>>,>P&P#G eR!31xRHp\$ ˹Pg˩wm^wn,N00JGlF]H ~D͵m@sLAmQ. t~ׄ/+|=}S>uSsR֩rc#ֳK8mW6A^#_ߔ0>2o=ZJv0` g1tzHZ,[HH(Jv;#VB>r #mPX S~Ըyg"0W%a]'U+YҎV D [l}V1s ^yg"3z~rh4r|\u& jxONKn䗁&*]ݛEUFNڿqض?ە #ʷg*_u?5A^>;9)Ҁ'~ǞT.fX.x$`WBl&hu~^{fln 4^9i#RmJ,IfەlwJ(%6ه~Pq[)2|3Ct8{̘p 7QA2kEcP\ۂdx5s :Z,f҂ $r|;Nr }.l2wtOAWi>kДx0^Gex-pl[=Ӓ\ +lz@hWO|\J7uRV&FA.b)f5"2ؤT 2& l5 FLH#pV[:m(\D{G2-Kb qEY09+c+x W0oCx^EpkOwdr+132jd^c/xڠZګ70ߟ]5SnZo6}GnE682[k+lt2oR76{O'45`pD{ V7V"WTEiScC[[x?{#+T+xoŘAAaj^B@`}A_tw$=]3h5C/O6nl+&B4d$LD*nmBtB+`WιcOb9c#OtƑЪ~95nZpZHA=ȴ((WXZdgxuՍ b_ewkSq|̳ Q"]kجmНsR8[ =(N{ip::50s-`&_Sͻ6ԣ` u>DlE̾)tZr >V{ebG/,.(t҃;%XnYTvCZ3?_8:T>pK`Eo` }DrWt&ih рl޽(dD2F ,ӻ/4i_26`4TorV[ꍼO.RCKNgo Wz9}|e$MQL)<5jLswU"bۊAI@"4&rlk(Xsd!j/11xfqRms+ IjAY 0Լ?RAVd(ؚiwl؞F1wժ^che_o"쉳ucvN֠6?4'OnZuxq b4T5\{&5uנ[KCsưE$.ov<%[p #O+\NTNpo*3LwSOq1{{Xիh!)&򂏡#ƽO iCi&1&_cyn/!C *IM0rދ)CO=ʦP\_7l~}s83j }"%z?}B[)]kIłCpNnCJ9!  T~R)R5fЂ۾; J_c}St$;-LV #Y|%F}-e/1h~k]"MC5qv4*^)XzuWi)%S(CF*26pV"LH$nfŽ2 3<*ʾDz,j\^lr)ޯΪ> ^]޺,)F3|<뻍P՜xٹ4qZMlX=ν@ʏ҅6!'[y J' Iܜ9v?ʂW|C*~ hXFBY"$PǘT;h"ΞM/=MkrLv r Hl%3!^{š*\[qw,BG+4q6h(<_U1/N>NkL)}Vwsj6:NiJMd W+r*T9i/p݁玲P+NBFMCm&RMeEa"d6RvC~̮˜j /֍m%t ׷ﲽ]_MJ@\yMщ+P2>{t 8ܙl mm A:U"+eP5F¬[{e|_źgL-ߩ\#ZeG|pOY܈TZgdS(8;j?cD;JpQ`/ݺ]/|*o@rkqu/rAb(K+r fqԯcx'FD\ sq$kI- lKvz&dhA.U}m|ԩ.&jPp*/he~ނ,%5/@{%)lfv-4][%>;=Sڔ41Y{?n L)Lq8^ޢUgӹmhp3Frm'Yh#4#Nu]-kpio=!TZ@:.!~0 2ob앟/ FG~?,?@dT^aB~Qb^^Q*\& IqQF9)[uLAFCӣk?b}7cd)լ:oe 2o(5?ܗ{sZ`0%n|)kAz_4>^Iva u]j!yT͑r/hĝܶEfHGZ "ϻ򞾈ۭؤ3J-9& sq/:^IIpfݘuH灼CAZ<ٵ0sy]9ӟsa!A P.Uj@'X%|nY'Dҹi%wb3&pj_nѐw!_HK ư:| R?t9.LZX.#jC'BaW4HAh߆/N?W:҅3u=Cr0".;y2%_PQ?@1p:t14wr T5|:P,u]Zy^$6Cq| go.Bٲ̭iAG, ?'&b"Iӗw%5XnyE[iρVrl-qČgAaFL[Pb iָ,1%l\}'kk6TfsbOWF,NYt/E@~Iq߭:}!+#1kDot(F{|Ws)b%[! x̡c9ڜy9 J$iC ^+P9u; ű2%d=Ayj{aP5OaZ)SwOq0ʵj~hnS(@Wzb ;kuP)mU5p?ϡT8@VtoG`ԁ(h\5LCcQW.#TRQ^K>~f97k%4nd&v.t׹F.bR[o^׀٧D=xEE t0dz" ASh^ԠL@l& =d"C|ag͔/݋7;s+k/Gan*W(;ZF-m<9vD|]6-9@Z=qxĭɱ,z.>tu.LajqVSҫfPqH:]pauic9-ɽCXrF)uFݽ,*,R 0x.)Ѥp3f,HaS J83k+6A%8$vս33"oYM԰d|sZcn+?rAjF(WľkĮh )L@w ?V:ǑJ;[xdZV$Bgnj,@;w <ڶ_nÞ!]uVc DGQ.r}͉.:Js ,~Zm|`UNxK͉$hjwL]ڙԾs8Ne<$"T"tb7⮵Iw=J|kAg{jreb~xtUCN sszF!GU2=v26_+́i%''SXR2U&!DSmeYtXPa0~A#x{%To?V8q 0g{e٢|Pa$*g f j7#@]sdj]fno_=g>1somF~E>?ᮝ -[QƖR<_h( ?ZPv_k*1P/+"ՙ(k+>mno {rP" 3-|ɻW:2Wrg#:5lvRQ[  ܯRfJ[PfDj_?t * K[kGKi`nn!m8-2Yӡ/A46ȏ61 3݇}?`1_~5[M:sDo cŃ(ֳk o &u#_0C"Yo~Btc糓 5h $T ft}dOʸbjhv33✚'|?ަ)&\`qlsq#Zz_FPSl+gwroex[Md.?zbΑ,fWV\_yG1Dn֟#SXVâij:X_E1¹|X( v[pY.M"`k$s;!RDŒ7Qr|/+pAXǫxơf ?qY,d1 'J Ad|&7ۏ4]jjT%<<<̄ADg rg]9)`hiDL>fZopⰗdT ڷ}3SV'3>YjRo)-*DVujAܨ15ʨ W1DϜً*"Ӏ+` N5lۅt!1uЦ,R8d:cy69' `Katf"^J-V`zAP֐S+s{d+ hκojpì2VZ0Lˤ7AԺ km0J NR4wnܹ5<: | (PU̦TL4Vdې6؞*4|b?GtI-fpcyoXO1gYZ 3F9 /7# $HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹAK]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`yV8^TV9_.#GD P-ėnÒP%v~h.Yj~|mXdg7[LOsތң.QI[&J$S bFNLwxϪ#">Rx}4ezw2a$$" Mt?.p&uf(Ѽ)R})Ve=17_F|H 8P~1:&8W8/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[IW7W_FJ%; rdpy]_4XePzl /qx2P\ e׍`TC'rjp8eFPZg^^oxZʋiI!yIgbӐDTk2cT34 gY^]gg4spgsTuZLY\gIfH_ (Kl2..7@ӮyTPTLF5hDaQ)ȃY`*y|h`Y8Ι0z*Yx ۇԒBݻ$ݍ&WthV&gw(D]!`zH>ysG7xlm_渫u~sMF#5Sx\XįDMHڇk Ók?8`͝p29[3}tϧpm PދHj9¡ Ãl$2| GBaC$g[VnϦT< s :gvizCf-?" L *hZ}ι ] fTB(z$SlWHm?7@Y Ǫ6x%]CS  -FuE]V[6UįG!˶ϼ"(LXwur" dCO.:Oh'ѓ3lY G̣It09ח/X>5!"VjgYZ}5 /E# HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,'z]ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =CܔwN.qЩYubJ8U.6ٸ|pM&$5cZa}v[RB>5d`@mU[_Ru_7U(C[ȩ,{ZBd"EPvSIr.q髪5Aǃ(\32ESQל Zb?2^sNC&%Pcm91h+QPdH뿕"> tugX(?wBAYkɬǙVUOx_qmU1" G 'AAI\h-p{M+=$*y^\xB?ok) sVpKٌP-;!KYnMς">+pҤkl!I*jSPEvJT1⩿}4.oL貭=fPFܛ -1@sJ?w¦ rXۡGeB@, {rBTW#AfieQްuevz:Z3o]s'ɻvY!׳MHxuVd$2k\ʺP> 7GE_ՂN_|pUWJ1rkyBm.nݿ5De)کr%N1z~S kFP(պ{uw>8dnP`+_O"77?h WKjVR=PlOmNlo%BYœv.yPAXxy]rBlc ^Hd/ѴET6>͡UuT8 /`3XO2& 3\}(pfY +Vz-Nk'U&r3#*vmW^ryopCEf9Mtۈ-E%AKȄEy%/5wZ*h\2_'tD+~@6R7ܢ 2HpW{Ɵ {3nlzBKdѽtx(AvcNtt5|{}$4EPqYET lQDȆ_k:Xڴ{J _Ƞ([]$4MO>?l<4ۆսSu"zsh#,3;Ş24XW*Rqޭbu/^B4#>aC0d0 #]PUN_y-N9=\7R0 #ZNnQWC!tyx֫oT t5iz,eX0 0p_@7 jp^Dݕ ״Jf?}*>Y ܃502Xs$k ,.R-HmFʈ6S#G5]G6[^tIiVX8ˀ> kez3xs4|Ԛv֕ºoIF#z@c=#(I6XsR|yԥ R|YyH*eWoqp^>/EyiE vIb%QއYN[ YB4X& آV1gGiE!Ȃ*˜p`hfs@6 EF̛93oc#fR㔮5wpLl7ubh@a%>9R Z `}.>7| _Czv6pT,J4!1ϖaLTo85i9YXɅ\0<'pwE )#]`zCPo&Q.O:C`NL ヵ`!iSC*SF@ʄ&Zv#1  ;&ur:/b V9W,"XB'gc ,{ME:6Qo(rt;YkRky]c~~9$w9%c?]T^ظI1@Tު BSw-f1'|L2DӢQa ԑdadS\2n{ x^d5 ZZOص ~:`UՈ.6V0^VeD3X ٘C35!Kz8)1rrS2Qv `C-)a<{?Y eG"|_GKM >{WMiY4}/XƬ?CaLw#E5%!׼c_xQOi%vX~^!PT>JuM$ 7:rex٤E~RoW2ܖx΂ yiPT&p.P)zlGqS`O:xMh-je{Qvʧ8fC:xCnoz 騂8aI CpEb"5iJ^}f]3 ~B%THA5e[a1P8@MD&(={2{"iXFq,foivPONށF% ܑ`g}FO{)bX"2O Zx>+`bDR -'Z94ҧJЏ8_Y uf|§qa-UPR&ng$bź'M=/X*6_/%*+}9ӖužDe~d?8Nlrm=T=}+}%Jj*)Uĥ1ϤhA\MJ\ɒwUbE5gC&(w%IcUN/p(7OepcU-`/HdUЙDnG,#<}{nhTiEaw`aYOAy V6 MVMğ2{v:x ] +ck~-F]Dzw儏l^AM!6Mku\s2KrhPAo"TLFeA{džT-bxZwiΎXå=lb)#uAoHjHjU-i !X/ 4OVBdHZg꨿4|wɨǰ(Z;`+xc!t(L?L[0u&3JqQi7!*+{6_0+d4R\D@y_(_/|+ʘo6r ܠk6asaOو^&P4v\r :lҗ 窃0r4I>>i:GA~0ԟ?~,`e*K~jHZk/|OR ~E0ŪK.߈U9p-G|eVJ͉RxlucoQ|m~\n6J@\%!cyXr?٬qv g7R)>&,.B<}̕'BS:`N10howZbHFl 0T]U߄=[K9`K| `7|9&%4C31>j2+X.`Ңh>WbX9bߺKe(3ys3PS=&ݰuܲΛ$϶nb.lEv?ߗ $rQQn=bAvw{ѨH]u7@CAU02"PAOyDu2oV*X73>B/@Пjr:>D5_Ka?\Հ;)-U Sg;rPǹ={ס\#rj5gP@uTxC=W^áҸ+kvmOx~N‘,,U[F t{5,,Zak׀*V<$D#nGSQϔ>`ljevLJc둁R-S٣i gE ^{ޕb3_9>tDI8iT|qrpx<$Џ;rו%5ԲXZBBB]|#ؚf~m\ͳFn ,6x?R<@'6Œ]xUN=)[bc]Jamm &KNI> 5N~v@ZTRTPQ+=Ogg-8z䱽^1UbK>ޒ4B0ԏppL$WEj )Tgh.īJX]i[eA&RPE#4?¨ IXC~e~ꭗ60Ů[!en+֓k]pИ9d=F,1Gp X? 4,CJ"v#>Os}-]4 jIIjLwri]k5ċ/x H[_Jxlgvk-f/ oI^!YV $.>nZR'CqTR`f\"4aOA濌 0yV=L 't攃Pڮ1z@e0FW/s@/ __(+I)W+zDkeέ$n6dtvN&1Dd.WYHCYߓ|,a÷5L;ݢ3CG(Pk%L%UJhnil-5tR uHQ YlxbTV'0r2%@p_(6W{UxHMf9 @{ߵS fh0Bme#U7)`YY#ɽJǶ 25>t.ɳ10+J9 "ޅKۂ˱Ɲ'Gzs`k7/Ƌa}R;Mñ #zU v:v=gi}HzA=PBA~ #+(EAi`(0%Te,I;{Fx@. j.;)`!ul%8@dѸGMی.LQ8߶ƅam?3rgu.zaϯe#"ݣ>y nE-ߢs<1#@4Bp>I]C?coM0b~ ?ą֚mP4E N:lMGoF6V/7f}zY{vCY/bW㐻3m߽~gV~"xI#n(|rA!MiWS(68mcuhOМΕ  ޿dˡߧHc$j]CAI Zb1[US) ޻zhm@ }zc --&9nP+o /NU#գ;G8[H`~s.pjqxύ=alܠG}8 &l]3~C09dd)s8}͹7$sN50㕂4IuxJ֗["9\j2Zrq(ؠP٣|֙yb.o0+ӹ0|5eIpgX1p\L ߗNlbp?+߻k«\f彀'7A Uc_[9 JFZ~ \.%u)/I/4C@g42xC߹ CxۮW FہuܨnВFL| rFv+lRT=tw̼ytir?%A]=ި'֗6z zDԄ qr2 ;.}z yG@O*_qo zY(xv2so&,#ZI}{YAF\3ѭ"0 JGEtR:Uȭ{ X+xt\ޒDƮ9ժ5 SsUЁʟOwT{<8v3q+{3q3laq^?ph: 8trex<׮A, **RT?xj y>24* B܀*~3Sm;Iޤܳ(UqLX4aHIѡA>˃V߁$GD3E%Z~I6*r_K۠b$eaƄbذ{F_u%%'՘ɺyfcYO)CinVAqy T1x9WDV{c[-7`pZg_zE08,^+Fysy!rC m7涵<1;V**#?(tj_AY21=mn5PlET&gmX(BSe&v $Ny/xRLH@Q_ _&XOTY^jf?昞.AGyrlsbrxMq30:IzLM3\-ccżCGxCt8-`JP503]qBJVQSӮő,66?hTQn=\%n-C׸_fLN6,ѯG_ђ B5ױgO-хXgjKZnybjNXotvOzymKXoIq-Y#BC!%ݚ]\푏Аd48ߤ@N8 AjP?E~}{f"3m OgeӼmSVZ/xHkTZg_Hfj:bk}Wٯ} G/Uᩀy*QT䉕-TsY`@9%Uz;9uX/\cth X?nc51 w?V%6T?;TBd0/-}N uVv06jM7g۽p2WGim*#%1G`m ր(Ý'AbWY,r?ÚM ׈+0ic:)qY` 7,>m9Z[ ײU3s[]o%5%qj/B^*.{' Pr1"6MF0RZ-7%ꡇLq5P)`36kPnjib[%N"b޾9٩N\[ a4S0C[!nţ zۇ}/>M gQ#BM!&>GXFUHAX/xf0zq{xdžqycvq& [0kUP a[G-f5}vM;, };TeеvlT0^\WϮɳiIuM?L mU:bKz]hdν 2e/7mڸ?SD.b-PM|9|LJR mҢ| ?vMWJE6aCߵQ/cm,S`pHż[;z퐂RnAO<JPqQgN\b(s k>ܯ?\hA.u4 :fِ<4Nb[(DlHt!10"l13 ]E l_/@m9j 8)>IwQI"8=|MYeޑhG \h!XWleb針2sA34j y>FѶ>XDb1ZG$ 5H '`"-UaWiH^u(ZH.bytf=]'n!3ŮAFZֳv\XC@Ug^2u^ukh W/%ƥNg\B|7O< D-g6<)&^y7%pxx_ovL+: ֬u|dZ fP#\Q}pKp^Dr/fVyG_xl`P(iCCc,*=fŠ0C5P’4IaZeh佈``VG|wS$k.3P A3@}?}3I;17/^;U <2ڏ€zuxPwVT!A5T57ߝD˧A??vsrٞ3>!/rAv%rWob2B4j`Іa8_g/^@[,U\MeQ\Uy$8W3Y:'Y#J?!q r!CM6E.ix}m OrX<9f&; љe})C|>-{:sFgb72cy.҆dHV9q<<ijƶ0pC[k$ȡCTU3~5mj/^ z -♘c*ÓA&cȕv"v=B'uuEX) M{1;d Su<`$`'@2MNa Aw:8 8M?_?Lױ"ot*b B"yz>ݠTA(ܕ adױTI8ab HyاaMV"Y<=[H"LG_92`ɕL6q-[8ꡓG)|1&s"FK{y:[}L>YtP>\W*nR461F@%#"AS:""tV{C\@d-^`u{G [ ~ܱC[ ~+ ݿ-.ք)/f#=BBno~.7QcUbMt!tj0 y;mm:2Sx2(l*]ϭ~p#P Uy@ %r+8 { 薬%5rר``D=4W~|}iEbSqΦw1ȘQ,ne η ,d_HydL}X&O0Hp"a!(Ԅc)ݝ gci9#ŴDFhX&P $ɐ-*灅i+W|?XimőoVaf5qxg6xxߗ[u( fJ>Nl]ޓ7v- &Ŝ'䋚X<|d3fi}GJɶ_nѦ Ri|Mpj\yDYwq^C 6P5}ޣhz`Z@^7;CnsS3r#T|O}kjChA5CPPeͣ '0z<_BffVAz}d}\ԔtH@|kk m,ze x]PJaJ'GLZ]lb?h\#CW+ErKnν;=׮gޱ/u(U 9{]N;I s:}~+ڇK%boʅPi_MFH(.Eq \28B$Tj*qFU/N,~׍*dW+m!n3ՏrڥFN' p"'hT f"1=:iǷ% ZKr\C[v6:,<0QW;;:b~[ݲOvvMcET9o7=/~ާT/g#~o/QnÚ)0"P]CǸN o %pV|pivsMV,R'ms(j;D2Ss{\'Ajkh+'$^% {$̦T^ecp@ k1e5Պd`+PRAGtE5_c[P"L%RNvbB)|HagcH;N,oMjI P.f)3j\FWo^& KDc>[ʍHD,-_ԇ&<+5g"fnhl4}m4,k:/,4LJ;@p$ # edc-]<^@f'~_-j(}x6kчfM 6Niqn ȝq|½/1Fh+Z"EW&.J"QI^ᦒ̂ xHd8rEfdBgr+Q8 ˙9<^z"0=*NS%%yb1/1R1{@'[QG^%f&'6%_WMnfBb&`0p9< #rj!l)?IEY0,x4\O1m77iQ4G}O i{OG*$ӂĠ*=ʇÅkL,wgGW= #dN*+YZRG8wJlcAgw.^?*ԝ00w_& 3|WVh:APOP#nC1-1q 4^f:& di5o4s֞D抮ڋo?einaw,PjWu+~czu-  4͆-D;i?  n%\TS'zKǹ3zf(`Dc=(VBCm9BZ5onC2 O[2]᪥4-1x@\KJKl ̑Kx_+qJJ)^i (h{<2D- RJ+|c,o5=:$ OIsMEIIv uq2~ r4-bR˾H7BB`(`\kV;U/ M]]dzN.[VY dѼQ $њd6%d7]1Ygj{-01D#O$CH1&itO ҸafBR.̟&_: Sh)UK-&3Yد!&siKCdv "7r=sy;>to/`а߁6?x^UJ%#a:x Ku `2ffөø~2S šoL|gX?zG p90ѐ } e[Ur9׿'&/!vܶ7ؘp4rS.pΖW8|P:(9K=B/$JH;@iznݚ,tzቛV\^I;*{gXcfeB [@RRpf홖BaBz!FW-؁+NH)fc#qesuAߢta8La%Y*m|&֊f \=>:BcL*U''1dwj6gYpZV‡c?vԺ7.#rfpgֲu: 8*0ʱgYZ v  v> /E# ,HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 9]ˠ)jk2p O6LP=͵gl5f&Di5b^8thFaT[C6<ypQMUi&cA5NқEm-b:'n]bdf9 Yv|g6-V4exA<3/׮֧hbjA0$~¸x,\1}!Y8!wPY=شnnE-6L^N-;k<-kuߙܣ"wbB`r-x<|4z;G`.׼MEk2-5C#?( laX.bJ&lXPVP벜TZynxˊ+5*2(V|/JW|L 3AmCZ"3)NUadôWrQm@k<<:C o*Dߕ}NթA]x=T!wyCOG7E;m~K@~&f3lAQ$  5ʭ}@WN+vt,ѝ uˢݹՌp%K5QJHȹ EO֞Ʒ*sjA5oJ*յJ጑~N>EBKN(65A vwigyyZ&jfZ?`dkց›6)ddG@SAn(1Y>dYF|ZVjqٰ[)*ê?rCZiRv[#Gƫp!rsm}_t(Nz`E??#k) ɪSskm欫^ʜid- _IM[0^4!VmU븲Y`K6dBk-^s ZQ3n.Xu㸘NhxѪ~XdbcmQ8?wMcuɒ|z27Fץ,,@i4ԡ$" 9 _G7dg"J3z7(:Yn|g4n 4 R9U4r@kdFjFBB͍'/p+Z(@I=r0__Ogl|o7 n:Mجs~0vvRۖĤ^eW.\Vus[IgKd&h=4feî04g sbږ߂Sڏ[ : +̱EB 7n!#,\]ލ TAk-HU`|ApX7Oݝ!纉fӖxO3?ٻ?˷_ԿeԠ#y5Y# ?{)XE+y,¬f58PޑZhs@(msb;9h7~W9b0%M'<^"&=. `k~8/ xûxFT ?-$Z)NhN8iÀA{{۷ΤbӞEr7GI ]6!nR^~D&|+c9X7z'%%a*_/ ȶ-g+1T ڼX4>ɧ0Q1 #t2Fm'ADo#tI X`'Cbu`@ ϼ nM%Ymuam/OU|*,+Np9z<&Ht&4[Y{ody\@dY\mC stH$켒lv\x3T6_7nGA?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-IandCc:/7' \HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! e]D?7 {?:fH\H N &DϊHq7Z, i\%sƈtt3$au2d8'q#ױ^;!ItR(Rq_uZ'ŇT ݫ nK{??8 !Td1160bJKWְ5F!(ͩӢ Z3A  N  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_ide7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex K;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypedocument/LambdaType.texK/G= HOL-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex "#z7s/ q & q 4 e ! ;'i # r 5kE/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsH@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messagesG>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markupF=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/filesEC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idDC/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations#F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_idJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.texJ/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex </='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages.:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup-9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files,?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id+J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex @/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages6>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup5=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files4C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id3H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup*</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files)B/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id(F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages'@̈`KTa# 2E*7m1h(ܸrsֻN.gck֜lg|l0y&xnC =HG,eܜʴMq=#Z]8'h5ޏR'7vMj$h¡!W)iELrR=pvT@^5?ywSG!SϽ} !/dd@lQ/qȅpᠥO'60z35VO~P@Hg)+V_~CW:s%ԓ9 %= HA2ۮ!$7 lB<1D3<#f=:\0И zY}q'j~ZHWJBcL;`ٚ->5V”]y-a !*m^0Ie܁u둣nɦZlnnb "Jlan\$ƺd'1%oi-B怲>`dYZv%lbۅ1@ s1PN6P@?{ *OL"_ϙX'b$N?[ ?"|$L/J*T[(/b 砺:En̵kJ/$Vz\{=*I#o[h]`হ<ݭx׬mgJz*%!&1efdKNb_eR|#!x S4Xl%gDHA}J _Ɩah4)DLFpVsZa5L6-bhxJț/-$O-xٚ`pъ -u.}_??m|X,Z꯽52`ǡi?V׽Z)2*]\Ưvgwur*=I(#t;!'"e~1l]FyrK:`d4EUYN( 9B; DLVEۭs!WwІ/hV m4 %W:s ?%mu(=ˣElM } L [.x z.{nG S;`z C N@.h|`?s j_ue/ynvcP` d8^g>IGV}jvrD_zN3<_͟RjQ31{ _r^ܠߡOmI 嘝L,.WG 5s]xKC,SK=WE!?[nKCEX8,u7ޤ@_ZDFR(o^Clg4*a//r:/~͈X$j5,k$h0AG=Rǀظb8ooqZ hԓF߲XFNb s+9M W Z/IQ$P_44wDV)?tMQ qνI`%#p,e}3V2xL7|K~%oBuo}ܭB(С"gH l0=)DLd1M=YK| n;d0u\t|4{ ^TsAGX%0"i%S8 w WK.(%WEm*}K˱(N#P}ӛ݋3p$%;ǤR\b#D.38pC[)@$c j-|ץvt@Yp~\Kwe ixӲ^ͤ ݀k-pj#B $ʫ]Dè7 q:q׷Jd #݃G d(C6#FP ڽ O8ZDqxmh<䖂l2UPOFںkhY$w|S+_ VJ#>,.RCeҙsi Q9X<j; ,+%Mo_CP/*xƃ;2l@76ސZ;"&CG[}a\{~}U<a_. DisXڔp\VB҈c:'67оqm_vCeD:Bfd=̥>էOSW`GzEHY ӋxQM0/s( Ƭ喺{ <:AvoP5 yU "{I=2Q*~r =]P)Y>t"QP8~R#cMZ~Xb[kyixm0HtcRj cM^DӐ8'O$9?O&/-r!nmS{hu]{nK%1Q1~ Ɋ(Q4m8>VeDNq=UrC:q=49P3eT:Xuu-CL6iemPKaՍ1**%WqCܭs}NsNVb{Ns-mxRhc+[qNĆh~<սY9^_ٵ,^a;89 2py_it& FULؿQ լe-n?yPt@8jL<:r޾,-YM*o!P9~ 覐$AM 4 X?hR8ŲUvbUUK|T qC!Ipݧ:>z ؝WZp#b @c*vaȆH*Šֺ~լ,|Fljۥm*cKW'?9Z IHg}~螂<42 ?14|aqOIs4bBب{o7,Nw)4]"S<_Vb`TA^׊ m.뽓ψ=GY4-NOe=Yv* 6ۉ`\9Ձw1{%*bc\7_ֶ. z/<"2deBVfd4Dm "&eiŕ~ڙ=d/G TZ-U!jG҇3=m7u.'ux>%`$Z-ŕJLJFFO_Ց@sD=ϻL]P \,L0ДÚE\:~I ft;d炑\nggeż5=X5w557VPm6!j0Pi8Ԑ_tC*.qYPrrnSDgy%pFlŘ`ao'%ݵ5!#}?ơ HS+xF婝XY6m:{ńk?Hb!o²=bȈ5(䇀:)ijm~2^쒉[xHsn¼dүyq&,C>~G ;MIgsULJa":SED7 8)TEB1kِxwt^Z橠m6sݷJOce;"b4yb^XtQ&r}-n^ʷ>Wg+_lW3mMP,UEGYR2? zWv=m|.Bi%_!F\9vDtr<Tڬ{#c\Mˇa!j5=TYek"8R=ĩFuњ gG= M}%"Z dt E/HnpPZ w8"C``k/("\ASy-m0Fab~~ ͠Zex s2̇Aܥ/d˝'@c:J\(@xwJw8R0>i0!0d@GG ?.ub )s(YyK H҅hP3NW&]t K 9S0kѷ ތRE?cnt2\ڨL/ eDj>ȉ bCu\(lfQ(vR?W,{r6~f;Kǜ(ʬ_6 Wǝ"PdSOB/v'ka[_p v``GLtuPev9%kHD շglϧZIAj\o >S?Ň%)9,Xd }}NfMӝQ n[Sƶϲ>,־߆N6k- E=H1e༂X5ѣ %mhڕ՜j΅.)x좓rƏ Gپ2 r9Ms o-,Cq_#|\uu9[\BnHJ`?a Escxq.Q-|X1(l"}D߈~G&><"/Bk5R%oúo\x0d/ɓqѝkg9ޡMCpAh@cB uj;nE3nSw/yWOSUݺAmD2)P s\$g}i,Dm3-O,iP<|wHvc­IDXESgf]H$1JgQ^ eLo&(c_{(y ,xO*"w4b{#F w٨_x]n*y؁~d{YU=7/[uR)*fh--ǰzߞį8TF~2搣/N\j%R9úIsquoJʥKbq)u7VXClb)|o50w)Np[\x'nM̳;2*D$T-7xSbBH\;X/5B2dA]>fb=Aּ 4#9HE@jo=ڥ̣o@"tP~0P@K>;rѪ .H^a4\{Of{0R -9*-Ҙ_pz:7)e$nAqЉ {FjhxeeeQ-1"sJZJ{`4Aj}n2UYNW"o+ ’B4x%r  YJgb s8q/Lę(x1p;$?83 cAos"cVt8T Fh^ae;tndҒqE_{ VQF!>9.AhSCw}g"Z4!@0֡9i9\pXcρdhVoLt1Dw!ڑq1zHܒ: Y9ckV05 "ߒzJ "3PMv"7,[?7F:zؑ] ,j ACK MiJ0z &d?Ҵ)/Ѱwʂ͉Ͻh&T] ƣ8fTjo@B {a@+9-Hp?6+fNS9p.ؙ4zG:n.O~jtqjEbHҠxBUBu9k$,n~I-Wv5/;m0HWf4d4O4Bj +@jU 9g@p_'`CG7<7 2U]<~ 0W&*6e""WpSQ,br& >$ 2LVu_Äd/cb}3Ǹ=V,\H ,M/dR^JAC-Gj&d`_bXq 8oJ( [7e!8Y>;uZj\$1B; ߍz2Xt{ fx:].q=TpjgwgG2 ֒,5As!Iw׺`¥6)ou_Iqڪd.N(|dʎg (}3_XގvX㠐Vp (4N7l 9}s-Ӡu4l tv֗uUZ!+# [9&x=􆜛_ 99ERpT8`_G{io Iգ Y(i!ApfG9 Q>٣٨Q 墁Xc!^~o_,al4wIZ`ޙW_`ߦj~v Hewyoibqs #-")_J.bνk 1Tf-+4]w5 تSQ<5O]wCGIpJ ]{'$a#.O2oi#g=*ot۩fvlQ%nd,J3aAH ugA5'yQVO`2yuq N'g" 54.ƯοeCDc>ɰڜO|>yz}`FByg\Hb OW)]@h`!?wuSX? @ıC4=/u?Pᖣ<C$I.h"f~oL~O$ۤ}F5s6j]-&3źQݼP\(DSEw Xf>vxܥ7aEe (u–4%OSc=kbל"1Pxkh{wd:!EXgϴfH C-'LpFe7*ݐIF~,ǶPۚфG`JRԱ FrBώJ-ט;hn8z˨j׍hT,@Rw+C6'IRNrrViV|rR˃ACP*;GȹB!9篳 S\~^W1);1nX_Hr|/q~(Ue~Ʃ-:[d -}qjhT 7b= +׌V'zDz̳5̭φǼn=.d+jEmiH5h(V&/)4` 6ڹp(/ tgpSQ\ǫC )-;BOuʄi¯+aHԿh"[{\59B]}6E?K 9[}#(ޫG)&49IBW+:񽉪KŴ3.&%ӖȼX㎊os^pf:=!x*anmw~ :u\8C2(]ŁlvI0hGp*n5QL: ühuYtڷI3{c=K6a#.aP0wՌ\D^45BM_߸;)RN,g rhJ~ 4v)pTo9u+?Q@I*m#iPP8'p NhOQQ,^3h be<l!h8+,Jw39kvGy ~D݄8 j 1{s3}aQ9#rwf\k-ЕGc2UpF]~ܫZdzgјMƳ?Q>P1M O$Q@ Ȭ,#Pt缑]hT3_N7]2)0%u}br z`V2 lǪwVW n:WC4ш@ ;oCS4>u9XR{i䪭%ai6 E'\HZdxMM%ʸ0|q@KBW=/kڧ̩yN83O ,MV}dr pgƶ"GAZuSzIO@?ivҨG-ݪڦ4/^X)eh,"-|^d 3rE>Q oZX g*6%p9ks@ZjMn2\(S쐏o@ܨ,ё.O4PAy+rq97G)/&tE= k@uH7A%<uײ\x mU $zoQr%f¹VC_ˏrl̃ Q+t ز"Abx#ezJKkΖ)[lpS㍭uzSEle?Bk_?VV7Ȃzoź0Je BCﲣMt Q:`#s4nM2E' > EֺX|Fl0 auW}inT=JfT}uRG'"k["g8(~CvjfXR{L=u#I]F6+d7>X7yjkxWQcl(MaώuN9`zq*h4i,m3&@xqVƠhzep,g!fީy[9L5A YW  \)Ԟd0GQ=b2=-R5>-u_ ըSjPvoFc3lh6{'"J,;Yv"c3kj-ibCP{i1ZG;^GPN?u,PEUۧ{^(w_du8eu#D|DD9mqvfAO/-\*:?^=P]Uzɺ Nz2#`MP˷pqh JP0OHS>&.Ҵ\p?ft }8  *u4Yq 3قjQ39}qպ>1d6mY>p=: TL=lbϩM_XӴ.O\֑Z?Z%XA*%\v+ $]1#o⫌ϲVE)6N8ģA&u}^'HԐG~+ͩ)5~=;c[A;շJiVeK#"b9"j@f !6볉jHF&mBM^ː;QN$z:&.0\m,?;#kjC83$gm1UtcNSSg:W|Aji#e,`>/ĠOtQE'WگG6òc p_Mj):qX51#a:n)3 8I=]*I|C9 ·?.v`Py&][c1 h~ei珹 A &_[fu0p9͝ByPFi^Ι웛Ҡ[힞ݟfcXV_)wc䗵#MzGSC , 2bp O]1q#,0EZ> 4Drln8%Z\4LHWr0I8ѸI|)ő03pVVCC_ HtB!މK,C˛&} *! o)b#" 5r ;{i\`Lm[n15ҷh4$lDZphF|.d{-04Ek54ecKgt˙HiU7V.!P)F5B` ^4e؅V:o#!htUݻ)22^Xep|P0AdPʮޗb-KLѱo=mx'=mߔ (z]4bUq*4^`[䦌VIQwkfsqc8h#X*Q:t_L&~4ü;o? n A,n8>]tnIV>ķ^g)/J%a$.奥dԺ OAҭG͔g':@8̂hqM LXT_f W؏Rd_H|5$ dLYJӀ2'k.ǨOz"lR%8?w]{?L-} -\[e'_s{hFNywiTp2'Ѯ۩-ӞXF^,J5vtnȖ.35OmrRwq=+}o:cA7[B3ʯJzQMBz CgA/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH@/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id200F?/E' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages7zXZִF! C]·Iq n[:|&[z'yi!Nߘ)v>0iTNrqV\n"Z(MN3`SK:'[&x!ȏījgY`eiR$g\`"wK"*{EaK;(2C 4u-;YU4IeQi@U)"};&|:/¯g/DX=*t/#x9p踓Qi $01՗B$ V@unUWEfsfA&6g|4N-;?)9SUaAQu®]/kNd  1إuھ{L!v⎘wf /]##=&L'rf!@XL k~wɔhn{2`,ik{~gyuVi1-ȿHc  T&&o :T h{!']tƜoQ -F "3x^nI)Λ67lZLɱgYZDڷ٘'ס&Lw ha Ʈ7_O 5[3tw r|P|~mu)( Y]{ (%yղƾ:Vo44g4v`\7$ l$6GPccDm1y'J18kػ (feY%}Y$­3`2|z2Fα '{(E:Ɗ|'ӈ5K<_5<,kг(tR#|_wyD֋YGT}55Hθ[1]uYqVΕ-ɄӃ >>w}UL29o:CLG/=h>j х(L;eC\C`c= u2nѬM"4G2ϓT Ppq7J׬97:rm5yJŊH9:_.*Kn$Wj!B6MOvk5[U˞ %Rx,O^wH#v,{&!/llzWl5Ey8tjv(#`fC@Ze+̅X{دHhLOS+d:-ѝBb08OsItKm(h STk}P7BB;9p#tiS(WХaLpO6@U*.n00|]`XUv+IƟ.[KX`H~oN?.?l*K=C#vNs;~_׊8bפ3a8oM̬@F)ҧG(ǷA LW UkO{,5Yo=Iu⦻3)?Ӥ nJ#EÓ+[.f!0W?mk\ Pba^)lȴ;V/v_+Fww\ؾ6Zj4[[dy#0•,ŽPO\YƇم@,q!. D^с֐SkW)f{v|c浻wK%CᶲQ& Uec%g1e + 2H1)nл36*x)l7֪p]QAyma b}@"hxG]@%7Z`(]ft$c܇j7ǣvq0Ucl-@3G!j';0Ъ#co uN잉\M}8ađǛeY淼r܈Ho}{>6{2Z_GcL6 Ad.lXQ=B|0?D$(pl 2T;iŠG ꧘2x""c ^+-dMjQ"a}X`ZWή1 i 0;wf-ZJ"]罦jcd~ߔMq Xj ڈl+hъb0QI(9'HF!V2J֥uʙClȾJݺʪBHy(( ݝ _3Ry<I,'f8 c^apP:Yn;p6¢$[q<f4Ϣɻaԋu.ZM3W'cU'ESf<bUKB4UB$/ m=wi'e@b#RgtZM keh2W 05FW!/S:3>*",S,. </$:dgK=נA"{6de3hMd׳`\38MA 2'gNѰš;>{&}A`$tKmeR38,6/==AF# o* pv-̄F;~" _gRؾ2[.tP<}t¨C4۰;]X$ @="BEdfoOi96S̕VxX ?Y 2TiBoΑ? Y|2zl&#ݦfڒJ̨貸/V&?3σϾـ>c~PX]х mSPiGHancrR(=IU[CmFF)]_(s1J'xBl$ 2]YRcnYqvitƖ콦#j&Yjv-{ ANd*a6top]Un1`p@J+1_ ϵHE>Ky>/Q2Viŭ ]P8+騎@8!E ,BT׿pt5V ^mZ.t˾!rkt9xipmPPkAH쭤ˆ"(#1 X$In1,(jw樂YFLowȆG别OZl4@7/^0d oR8kGG |V!M}ZWDa.7x9Ԝxk=ZG^?T|c+k<#5)ˌ~ >va͕dKpL HM9G?:RZ*Gxs}K]1nFޫjFɚҸM+3$tfG gn*X9imz1ű:U8E9wM"@t@YP {= WcpIFOkU߲?] ,nzjե|X[*n 'j\8Q4^US:7lQ ibxFߣ h}zܿND (-"QuBD+$3Oo5bE2o0btC_k;bbSSS" `Q <\ٲ*,s2B$^ÄQ˸m]GHPƬ>XϨ\JX0T<+[-Ҿ#Y| ]oGx3C"GuJk>:ljjk4> aӨ`AHz|+P@$E7+ϋȡF &voC߯smo9.%_W| zTCև)ѾeV^dbk&;j 6P%xťL~(2NHYy'dcMS >pEQ^c j8͍sd̬ǵ2<~]3g+V8ѫTҫ3PMF,='y'õX|IJacNs ZX!ȯޱ[)^^MS>GSnCfW c+LR w)Gtm޾` g5˫e360D/;\%E}ښ}a'Aq:DRi pvݼM%=_#"f<^­!Ԇ8Q@]CE43! ;c=q@Rr⽧I+"MwFP=zjMkDsӌr dtċS¤ ŲھVv^篤T53 (%K:ƽVk[aǡX>:RhO{{Tf8NboZ-VSIW ,򑗁Զ pW'}Z[ä ʖGU!MS ɗqvW{W{".yk9k6{%nJA =^,q >(8 (nνapD. 4E#O}3pA"K2ǘLS͜LKAVObrØ}̇Q4?1Y5ykHݛ2w;N/TzK)~lvtkw~, bf+fl&>R:Llu s6 a,p'r&+\Dt8߼$koڌ( 'G1:ҡ;$K`62T&Arl` gE/9,3:pw$'Y9 b&ThДyjç_H܀bX5Kݚ^e~_Wm͖mWf̚GK=N[dTu°\L հK_f_bvH$M $0m 1=CaR>Vg}MJҁ@8| Q@ؘs<'݀n}2-jy瞫'je@Do7#xp͏`҃{ХTM,^'MDXg*m߸NOځ_Gnb~B,\B%66+9pΦzZ;1;e;jD|!6;pѷFS%^@6YpP>CIlD AyJ`0OMOAhةŶ:T Ө6BtEe|e>=?YyTܞཏd_r[+N/6jbeW깝dWPPq^Ȟ v[t8xEF(QtFe+S ~}RK! {P^7]Q~5Xt nW넆[^\Lt⑼I@*uM^y М:LO٪gP>@F) YWfd }ƲSgd!Ǫ5[1KB%bUt/1ADrWMgrA?d}=NޏU d>q#o"EpW ~o&k}ftg щ$3Gf>P^_ӼX j[ބ8nك#og״/Ş8R{vQL"{9 蛓֞YIo m.Q{6.eB_UR&+=Cʳccnj%Cw)B 1[8;sɲ\2re%4_\/NT:q5K&!z77#|}짻1 ֡EаظaPnYQ*w{K@Xk z먲j/5Ѣt0"Id?oԗS70H Xy7_XkValxԵk(ό=I87leZŌ cbճ^'m0+)cg.rm' CÿIr¯Qt5ur(pf bu|Ԃ}ot5o}5!3~ݦۗ&TiPbHmg+!uB,8 OhۄS'f4G#<'oܓܟܣe-lȭ@UB;ETU= "A:E,G*kRԙR!Owh*hWlJ,w4a\!{L{Pʅo"d‘6A{2LL8qAb,zЧ _A TַPi-ξ0V8q،"WS|Uz%d 2jiȽhguII(Ąu!t%o@}gw`\9{#L(\KOS6'oX!xq2}x:z1ߞNFF9bd`Jf8s-,ϭߖ!*ikJW)wY{(0{]Wdjd)G #nYK!L6֖3q+ %oxt^I nsGafM}3]R-\OŠRa:0sdE}t=b tԁ&d*5@=^+64&r(LB;0H̡*/^jDqfj#Z"D&78oN o։9ykʭv@@ZFk)L{`S!̽ܙW\6ᥞQgYZ   nN)\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b1*s7eJ'@%ZE0,Jv)ݒ\H1^Fv>ɵ_}nB" ǍsoœR8θa)>q W( @'\ս49ۇ*ge?l̡(hsPr F_nQb.ֈp'Шv, ]'6|rœO&uAbs*S]gJ Q͘"ae߁u>axA/- `KRn<؋D@)t @lIBۥ]t"1{Hh|"sgUuMl#]s5m)-k(! K׉:C㾘kS FqE8v<,`w,6^8R auRDKwsc;GYpKp$ߩ])0լAANʽ6bȝ1h@sp Nw)!Yv7Nc\iVSY `IpQjLs$ziġ5w;{jߜWvgD. mɫt3 cSb{m]I[8=43B<7m{v;jKx~wZ"n5nG_CڲQ'a i235#? $e,&櫙dzLs?vefpK^ҟ|[^aG(!չs$t;W}@% '2{K1GW!ڽ'z8/XW!0<*c DPi,6rt/sҸמaWd=i3SyLXȟ&56s@Њ#YHR!I"͒;d)V?X}By9 Nj#YxIJ^{-X?3%OPnh4Xѽ$ f*&HP]H@iddQ؟Xlht]w,''W8Y[ުHhm@6<Í@RErƦE[Bm,=VqClU#`)dGiϪ"H G?#p~e>L#Y|vEEY@>rX +F2STF8\R(NIY{=ˀ,hS)]Qn^vpz)2Č0WC h鸯 _qF^Bnw-ų3a Z^Is^zjf~Z]5˒)MtzC6Bi{%.*LHå\aojqR(7zy;@> tqM8_Ai&XI@ϧOYOFGQ,vN& s4B6l4g[ t$+9a*kS*H2+=+y 6ӆ>ZmS)]c\7B򞦗莶;pD,S'X5]va[_Utˤkj5u3NkO"AvjS7甫TmA5}nT}ɫ(΂kz+gIb^R2䎒_jQ;澒G "YhL8ϴIי>r2]gF$09_e|{y:cYfj^paӬr~}Օ!l%pNjj* 1'Nj1@VFeE/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files~~/src/HOL/Proofs/Lambda/StrongNorm.thyGD/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id222_C/G' DHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w\]Άxʆ5.f-9 rq8HȻ3ԣ!a&7! ^.9 J]lq&-N#֝ڞLZHndB5xlnlHF xev݆ОS˳# b%W0C~*-׍Ʋ-`)\⎧X?8[:KgƖWRLA )֎ZM#)sG~-4ÁyNXjEC&ق:ysd:,6Dn~\On\蟢2& )[k>4/[Y~gYZGlH.5g 5 ρ]ܶ'J:E 9n 2ʶ;>SrO&FYV+[;8M #A>ɀ`*PҁU?@Q7_2'bTY>"ZRsw#6i h5*m25Y`g @5;IZFMsg nyRSq1JښR/%&hٵ\s7Yfrn SUd"R uԌ6H3HW"Kc`1RP% a<$%Nd .\Š4*6ych=N28H?0 WE/Fpш޻j2ӁSo\$r[]8O~_fhʲC,Od'zG˨&eT,+1kbLO(P81v?Im| \m~wHv5O^mq t ʶrʄǸkŏvx,Ac2yc5qowgƦQ=sϩ>험tm^0LJyLoC$NAweorElmC>`F6o0mcMh5۲/֭,lˮQ(S۷,x@Z) ub)DzON;%/UUN>ocz ]q·'!/{S ԝVXAʸ guS\z>Hd,5 GE^=x6sW6DJr Hei \< >gZ[[n psA0OW._Y4"Gs%> 9ܗvI$B4b=)ك2 <ՅHZ,- LoTY,=[/듆.,;=|'<Zs H?3#X$go7x)W% "֕znDT( 1hXdOc._(P; )G3陊X 09 tRzxK-EC6UFgkh -w+ɫb|WN6OoE-YdYT0@t{ykA6{UÔڽƌ/Tx5]LGTÁm.%eBgƍ祐dag'x%h9YyDPݐfFc|KLQQd?\=;DH+857SfΕj篶Ueaya8}3ӷ5@PiJ~Vu&LjeѥnZ,u߽~';ɆNAQ,+${pV kɵ 6m!'9*~i):g[iS=(-f:?MhzC\0zE(-zQ}^MAɈ+WS. P\hju")a*&({0^ބF|9u49b|F@ܪHd]GԽlb`G6ƒZGYrzYqVJ)b=ɴKkhQl'J6/=4M ZF+į9(GdQNO2=OB>"~g#ء']b1_>k`2E"0euO|f/kZJr o  z" ߑBS2KՌ\%WA-UyĤT?YL/kOQ_Ά=rS5WCw2-fHP7]s /WnHx>q7@L\-l.꓂ƚus&M7q'ց\L߁uhmG S&HaN̑7 LjKQ"X+#\Af$=?Rt "0H7 VbD<]uhv!svF8rp*DJp9ׄsOڵƶcθYT ^/M_ezA] ,;Őhhwd2T +Y빶VU?J@f0h>!G&gmԴFmRb/El^1Z.mwLT~ȸ-,طGIl~ĄQ.5[1 -w_8鏿^e0w^5ʃBuC:+e\(ۨۄ d673oE&~GLWu1i4' "*Xi}.~/$n*__B3FXЅLΕ8oK2 dC< uFʄoܹK#T4r_=\1z3@s#< pbS3"(yw֨6lWyͤ7[k"5mF%6% `õ]u*=*(X2wxz࡭*etq,*V</tO6l| `㾖h;P}_N_a@Amړ"} e6>4dmg]ۋ҂O:#:\! r^5$o:z.gpI_,E≤b:֐NbBJO#23PzHG<; wƝJMp̬eD+T:Q łX'+Y0Q/pA%{Tv}#*wQUcA EEb|hvǍ*/jc)7F(^A)10,'#O4%[{|>(bqSz`ˤ[P5: Cح.h6ɍA jn&_eq;Uɴ].%p' Z,9E!\*6]x^4Wq?pðL$τtx>18 +}B :+n x\Y+lșO來9{/_-\0”ժ-&(58"F"l1aapMAq0qPR$xk R/ G$kJnZ?+XKSSjHқK ؍'jR68d[7lJBѻ:*l4Ubl>>PS٧K2Վt`ܽ? q+'[--0Y=]r}]7e w [EQȞEB0Br~abINvɯ^VsHv㙺v Qӓ 2xxdea“9ozqj8 4a֢3}5TQnQ2⇢!zlS"Z#hw1rDy!C:=-zb:Yw[rD`]?A(Z(ˑ;{甲0ĐWl)3T@e[=q.T=:{+<_s V)%)}Px^#-.Ғ7+Ν !_:'QGpIru>%@4zT`'. z(,br]˙)i'91o+qE $?$@$f,1`[.u KrCƝ9nu޴,%_"\4**gi,s ez1MY^va.nU c]78VqD8EӬb:vW=s꨻C t&r&{=vx^=pπ.F uC"D+F|#³`ghnCXj0d/,ߔFW~aWOV,tU"h<),42w̔Y-joT˷KIUWTӊ餑$qVFI͇u~dzBJa,Urb<(\{%%DxgBP rǥ^K= Uymid~cSJvKNl9q_\1B,jd@&Ie_ 6rŚqՌ%\l.G$kU<|&O]qd^ o!#ٕ 4v*1!Ys/S㉻| ~۲_xq'Ʌl7tvɡRNbٷ,/ Tm }ߪd-A[V  S̄Mbn!넟${bLnz[z^ @4ag_/ke>t񟛛 b]4MZ+*gRΡ^@Llpebg LaqE٩L㹵M/ZX$B%#i.@RףmPX *ȉVh*Tk| F IC[MaBBڂ|WdT*m >M!0DradWΘ<$_'ޗ!bܬ:D}Useս(kpa@gc<2R'ʶ\UI1ʓBr4r8 l "xPh8pbA5\"iy|ܑ:S6,@:y Wӳ;IXBNg8h dᱵt{fHֹnSqd`^prCJڝ2%eVΰ"bɵwx6~ 0 BcS@3A>OJ.ѝB,k5@ J* d iĀ-V]ҷYt-)JĢv.w1 ɔr sQ-Bوpܮ3M A p1',-2It/f-h6 3/9I M_H\4Is]uEi@$*|3 >.?$J? 6_VO{:@>f+ԏXwPyhKHaz4*u좟''4ҥKG*7Fr P]<;z!&-U՜1`Xes=wS/_ [IU G~gA,*񧭛uP>gdGjh=W0 ™Y+ } pNq1? %﹢=lalMYhSΆ&w5RL~1z$qY"z pƟ)MRNOj'G(_;ksYmWC8E<i2+^xj;9IM$8u&(C(xS{2 \{4N&ޅo8 O-G`+/[{] /z-Cȑ2:;s1nk0mdm@6􅐭n5(c +/HTU*̊{2ʸM=Eh[ ϖE&05ǹYJ(R˄,95#{&$-:2AH`_@bso4Mx[Rr v0*XzrUIBhOjJ T q)uL-H"n=X%V0} ;y, `=A!eSuR֮d u{>]jF'UBSc?e7?1rÕ,Ⱥ\^M2dPs/YXf1m~S =:3M{U; M7E aAކP@3Wںi ftbRx>nֱg~ (Ppg;? *Td=ivӥ7TE1T Y9^WU6n,Uv`kbPE݈~R9\z&OvR1Y`nʍMg"kъ'y6Gܲx5byNM: 5`eΦOKקdctj&ȢKȄGyi81=0Yk Ѹ'%y[ I!~@K/Yߑ` [_H`G_5%xk @EA%٪,rM ՋOlH?9E3{S9_Jѳme79>[F6r }uue%=KvgȞ#{VВES $ΡTG̼;k-Zm˜Sq f]CO!0Vzx]E7V 5d?m-9A-Z?p 4ܞH_ UZIbN2J$#?]4Nel=2Xh:3IE+`m64S81-S@L^gAaQ%Q cɣ߻,r.O 2Ptش`FWL*]dqobF&01lنL{Ъ2 QwIN3ۜ*ה|$(atYKum'r:0>~΁<3 Nx!sN̄Id?WVsn vp`7(6l2yZ=})EA ` !uΫ3^2req[_Ŭ/*g,&"w`C@W(?4R9gJǠB oq1/|Qޠpb[Olӥ@]L]0es/"Ԯ;Zm֤݊wvoVkEr4X冝?~<eo}+R;ߦhSf3ȯ$@mKS@Tsvt{ Mn:[Bũ,HFxŤ1I}VqZbbs: D8nN{ժd?l#q'P݅+@>zAWMm +ǧDh(mf4N<|b&i>@ϝC@Go!tPkX&=ܹ*S酛)ƤH&;c Ꞓ2p'A=nZ_M7"\~_;GHI@prgGM{-fqQiԝЎ{$in- dsƐNOLcdc.`^iMmL6k4!nY{ rгc+/*ĈUS{Lеg:ߝPCS2v 2!AVsqwYZ0H{|l&=5 Գ_b?LaXYOz6f`Q;\M"Y!."Eչ 'f(+āKV|%4IdѤVGHRƴmaT6xUuh*L^W1뀵2g˫#A"ۉӶCAh]N^L"̈́YopŢv6hl'V7H\l׷V= &hXb#,n^dRG YQ~XG $: /ЗmAJei{mJ2L6a$TGԱ<јlI[-`;U_!u|ohC9&*am,ZvgYZRIn ,y̆rKo[e618D5F6'$Sh8,ArA yD|D5k]:VWHlW+BzBbDޠh* fr1969q>5tvy4g%ŲK4^H"g+[pf,Uz&~b,bxe9򒬔H_|x!3YΕ>gFr-/ !d[罂/-֖ A'Xg\ 7DQ-H%'+R[\({U?Ok_ V=^ʂٯGӥ'ǘ$}̷5+A>ۄ3A2^*DO1%co,={.j]M締SW ( {:eFZ$Ɍ>ď^wv6&:yxgb*z$?>jt̪BOWKCﳛ#W?0'H //+91o٫{C'5PL:!-Ӫ |~K2e~'Sdܞ'~8PyfҹG) 2tgZKo{cRd+$&TOg%8{ޗ= EQg c2}'uD;PkTA`^VUR6HH`p+Er-0lOIz?l? xQ1>iuA2VL&'vZoNLHq.g,N|$R &K%dH=lđ'|Ec8֎]R<^Xꞿ9.ZEUY4euRmr}iX+Ɣ#eWx>t}^bCrRv toPHטo5K-|`:]!dn^v3Ɔ̪`^:fNj,{'Rd${oM/ 񯦨%˜6QDtHQ 8m%&P xV>zƛ|Zlx R yZ6J|ʰ>|AWxҿk^ămM[XZ̘jٔӍB+gߤlR< }芓O1l\I87uZ#NѻF5<~t)֋8 e[ӌ8 m0Q:2_" 'Y*47#3<]_L?O(.3:8#k31шhҔ\%<5**5|Zܽg ?6A5rಟh[T^xӒ2 cIh  ǖQ <1$Od^~njctZ@XXWeJ&vO1"Y@D@yYzL˓ :z{4~L 9`T}7b\Ns_BhBQRCY ˿ǻ8cjk6M[DEĒ9X:Y<vpVϷ-Xo8o,x\xc%%Zеw^"Ç"=>j tS{3N88ʕdVj9_1u,Vu(oy,.XV^E']4jv* \c:D}~.d;WȊ=Ei? Wi)iʹ7S Ӧ ΂7ml }M;ZӄKG%Rkh3$E1a<۰[WַGYw1NpՏmcsNTیSq3A<2H¶Ǣdni\(5ad;A_z2JY6_giU"lpZ ВbA,%xKy` s `|!2mzqJz_A-X/A|j"|ƊUPǰ+}g2Tp D~yW"1S'ٲ*t$g$U*:RKo SHg? ˚Us8M;n^IF#yD<:ִשtF_B5U/]ak>\q^ "ځ6M1-xRte ;^ Q*dPYT1fJ[-Bc]SތAMt$PZ(BU2`"wE8}޽eUgd0{l$RBh+>݆_/lMc+-I}A0>Bԑλ9u8W O#QGvS:65c}. *b t8lX,hofBD@T lENn}y`~=-W =r[d[EHhIvan*y7.zuu!0f4Bfv.&r-sjcuҦ0t@SFl$@*E,טj M~LĨ4XeS Qʽp^nzq ݊&uLstK-!(Rc Nuy*pM#mT5:ȑ”ۏLH&!%~jr"N-1gGE]4*&7L EY .27]gYZd45035e9c8c35e23823eab4ab63e0d15eefa6140710b8413f68701024af4b7f96ffa488ef0904ab3 c6fcac957b5d061f7e5ba73f2ef588e26885ec61