SQLite format 3@ J.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 --H/xdLd ]/ HOL-Proofs-Lambda:threads=6elapsed=100.395cpu=117.269gc=3.7567zXZִF! B]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߬9ATdrt2mG&_ ,c-}M-:{z &">+t,tICK*%d'I ,|-*Ѭ_,RfL_B.FHJL(J>G-vё!x pROu5zjȘ/`'УiG߽iؗ*>wf?lPiX~#Yxp$. F.si%WIgJTJG>"/1>jFa:=Nz8mJ.%6@F/b©mKY_OlA>7D0 LϕClv{oIựgYZ7zXZִF! h]]ŗXiɟ11bu)a2W5KԫEϘ 7AΤ)}"洚 yua9vFE'oݡ]hU t?^[ 6Oٗȟs+t඘E͇M@:lgUE6aҤ`wQBJ;%(x8em_']FڂŽ*'wp[wDK;g 2n կkQk;gDvv@$WM8C#@#P hWq;)b-B=(O87[Taґ8R 4B{)ċ BB/ \6Mԋ yD0*i9seW/%5lRӆ86;E>E` ƩU* 5I# s+g*'^0y䦫psСZ]buy ֮I.J8q?'ܴ+=k4A/x9[ZŠ'w$<4f" 4y!'^Ԯbi5BÑp\޲ա BUqgpwE}8|kU bZ)زG+G!ŐQ$L us}`s7 A.FiN8S!!gtsxȃChwn5T j%igWC/a@`XGt^)SYt9R=I&?.992C^vJc]OH#|W\H~q ЗQR#3$H+ڷtaf;2J)bmRiEb4,f;Mt$&be#,y\!Ԓ0A{_|-M  FVqKVw(;}1-b i[&噏S?NS`Țd:FXς1"rR_{#'bv: 0j?"i<46l ͣt&{9.0{ d|bDY} a*,h5em#:? %6\E^1I!U#&V77g4#.q0ʀmPHC6MIaɧRԎhijg\}!5 ls#*J-!qc |[pL#bLFXY$Gd'g U +3@m\pK{p9A! kVnxK3!TЛuxSGG@f^՟ߨSl%YL.QM{\)-"?,? 氵A]ԾQ$HFMyd)i 4iQK8wٳ9L*Nܐ,~ac~(0thDH,:nlе.j ^aP[N2qu 噄"ܤb"?F ZАtTABLT m^^+s:J6tYdޞ.D7jSSߐvhn^@"F|O.y MC %O'#9;{( ߍ$Y?K\E{e۶_Wq8E?*cI/N v(\B1cGq ZȊLX8}*?HqgPSnH-ܡ-ׯBrzZyK#HI*IM,(K,6"ATќz%J / HOL-Proofs-LambdaIaHOL-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'pDDFBB>@<9:5311-.)*%& "        @ /  y A  y: ~D  |>i@tv: H }I P :G~A >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages;</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup:;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files9A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id8A/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup6>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files5D/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id4C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations3>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages2</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup1;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files0A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id/C/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup.B/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files-H/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id,</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages+:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup*9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files)?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id(@/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$E/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citations#@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages">/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup!=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/filesC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id=/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id>/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup6/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.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/La?T/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex  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 {{/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}YKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, ]] /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מ)^ΦEFd3O]>$p%oIP =be=`E.ynnkW )sC$)l <4S # 3Ev ,q1z'' lяX)K4`3/QParHПJ5O>2;|ASį\54Blx+n*F;1fXVץ=7 ,moV@R~[C(Dӏ228sLn9= +ۦ<e=Er%vD`0 mfar Mh0sp% TUf*C]IPqZLNEGsj[̶1c;ڕH 199I7}bY (MmJ}d8>GjGҮ9+qZurh*bkMc:p)~"'k ᛗ&cϵp_5{iuc[Ȟ>5Wݭ0=sbvv𴾆HW:%Y6@=눩/X#h>|,lɖnfև;aۤѢW![$o[g훗P>&1Z9zT}'r *$.[E,px{9 2OU De}\!'K)+r!stWv85Nw >˂5NP-vXkKAd?u_v7M9 X*3ʋJ',W;c!p.~eu xNdXSR-wBݧ;rʤLLAȽb0!Gʙad+-]}L7]#rbrqv )Cט F6>lA  ^(=e5!v_,^zD52H:˿s)7׹_|5P^hU:х8.BɖFgCd7{XH ,Gqq\uwQ?4ͽRmb;y9Fs;gaİY)Z@~pG7lRc2;,h\HYm=wr=vxz|2| @v' QYVybb'H_ 'X/7ڬmt, XîgU|hHr}a|v0ǫW2'lLɯ͈UdeTm.!mK%V.buA{O9*s U4OY"&ͤ4St 'u\?e"u\ &QB:h6aإpKwO׃Mtn@Q,11/!l锞.fO>b >TO .% \3) {ך1{=lGb!!VV4:+E2y1ӥҞiMAaR;ɮyPam~e""(8U'#.2!=1Q20մe˲(NI0Ҥ6uknn ECJCsT^$86/=0:+L'-V]VX,;S8;iyO'~zbǜ_>_o+=B\'yi-;شHvMDt.FL #9p9+;ÖL~ю. Lq5Qu\v$.r5׫!mUMO5.@),:~X"X6Ū_LA؜Wًz@mK~US\[R)I%-s@A*"L%YKm_; iZ@qSL:%jVNyu:F~|RB)igځw C4W#76ajx[F%T^rh Tz#͂M?{q;Dg $'R9B{w $otxRlv9MOJ2ZB&)JD1YRu]>_B`LVy>n9|̣Z@|VgN않V1Bnq.y%ɰܤc-bA4af#u[*9жt( ČRNÛ4-Y RB nLjfMn‡2zO&b 4,eLhrm4uìH`.YgYZ ==@ /=3 HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex7zXZִF! RC;]A-MՋhvG"uIBm5D"~^2{Gӟ!Չ:HH)3*fRB\[ ْ;~܈`ndA8fta5$G NGUz\(uV cK@LrXRtU -#bgZ8=0O5eR$ We:\|!E[{ ],zBZt>-R*{xUP0EK`b2Fzg/6L-+I"M+tEuB̺&m? ʛ63V{h(E=m)ݿK0 u;x>xu@]D\a`5*` ůzkabTq$?#4(:C햴' BzRRE!sO`.~KtOr׃5]iiJm]pbW@jQr}0t<]gv_3[Cl9jIEl:-[k^J2 ͅ&eB~1Z@.p{oJiSqp`;Dv"E)\q2SI\`w cKj?B5p6dFIFP}JԬvP'7Ǔ{g:.UQe\SU}?5 ƅd*yTTui(B o<oN!'MZ@QI+hx,vP=OPlduXc%1 x.x 9wb#G YPBC~ײ-fZ _Ō#vz~7V9#R $d[g8&*E@?(<`:[5@͍|L,]65Y~WiK[nϮ>hӵssP\xb\4 ?ȷ_:*m'&YG/5)K/W-"Oo^o`6WJX `AWB$'8Ĥd˒gYZ57*6Sf^{G f9ÎWjhÖ9-+/$'爘Mґ0F TVLM9리 <[!NdpVj6_ /B:Zx˓pwrٲ٠\b Okmǣ)a`Bfu/jyZGHdiSqiI^f*;z'3.vAbMQ@="QX? [;{0>Ы?{dTyAX הhjCUj8pO(P$`ހ[B61"rqSIn!(Fyy2B^ʸ}7/ CUZ1GM?q:YUl7 edeD\/+J I!LY,SBHລÑnd'"ٷie-JIgt%wMӘ?:pWKo;4"OL `, P+{THP|Z~t |l۫A̓#]E|C 0\ >ivzZ j#Xé(X.VUO^Y?RPR 6p=MN]B {H4oY:P-?Z_ìI׿&\MSͅnۚU;&@v.Qaa/Dp-C*+ ]O_< "…`wuGLxU߾k"~25j=U]PqۛPa D] ?Q 1}JfڱwC{@ SQ)U`sbangS腮NLoз#D5Ys"!(ArsRZ!NB׶[Gf! +FE\*8T^&ôcjt{X\0y7N<)N|-~}i XSWPwNju [x1|K~} \I1w-[R)@݆+ro/53𭟌P%)jG̎6oPXNi0e1niQTᢖ tt;{O/츀l8f [wbwҕ۩Sbt64'Y`r;w<-t\R ܌89*]W4s1+)"j)<ȴp<鱨 UJtshĵ۝PtqP3@>TZǻMEk8i/`o1M,?9K_=|/?c!䚰YG|a9**S1 !I-gȚ87JRΎI΂v)ś}djHAxiR2~X7rIe]&J4gt$1ŜNT8ar,Mݍhgp}J,_iә\k>9)Qޣ]JZ,S Ev̐A wi% f+m!+NJRW,f,J!]R+΂K]/gd 2A%>z7)D6&%1diR%J$z[xt%F5x'~o (7] W)^Vy\#qP6o`>a?76aA]h*ډy}ҌuCU|&S5y_мld\9xHDhx/jd9=biCw#rE-6ALQ$˵e2kosGRL8[6ؑ<@,%(V{e{Z%E?$Cv8Ym|<'::)$5-#+κN|K>gPBC(PlR$Qr)Zg%K9H:\ "x2z),ybx \ϱUԾDO39V-ž1X2DaNkZ _~^|F~wV i=!w!y gPi~ k[$ׄvǹA'9jgњL*a {GGjw=_!hyޚcw]|#FC7E˭0>Ĩ5#OՆ;:$R4%Gˆ"f^.^e'#_J͓P{^qxAY] 8nɖ/dB ^9{ew[>eJJUSsR7xFkDOL\cuZ2V@PKWPz=>9TzIniN~winFQAXPLZZ>ĠH%uv1KϜtnNH|vUy"'WwRūn+2FL,QW Q,F`!7 x$D0uV߂K2!v}['S|.xǑ ~Vg%]Bδ CD'7cO넲؈tV`QiO,i]^j jvԢccy_EY;󿕨)f#qC3bR.,uHyeMxKMjL>2SQMGf-Wng̟L@;e7f NTOamܪGMDtwB G_AWv &;x7Ed'HaJiX]m0rEh౵9Ө /̈́U$s޹Rn%QCď9F6+ }MtoOn ștTD&Xm>%د&ʹźCYED F!~3MV>_?ՅR/+!6{V_ 8gƩ#UzyNmADe 137?36"FjG%# yYKڄh-<ϸ;! @HN.O65yA3]t3"wmL?%^ YZGhjt@[l>un߅`-z+iqK+KR3@ »? StspazDS_`'d ۷h,ԟ;ϕ}5"G^SmYC|l3FUPħzb#?V., yMMù"\}"(&y!lfys1%^XYAJq]wb񒮧`::g5԰0:ozeQu"f2(1AUMm׍xowO6qV t:؛\YO]w$t% kkMl/GZDkhp ]R {.Kڂ^<"usã\-& %hܱIk N>z[]VG(^/i9X綴"};D/FbM"9=RO[< -kM';n_VMB !}h. H`ӍDM)a /Xʊ,bÁ'F[[hӈ7LT'% ;sk6P4cU;`QOL;,ID԰ZQuxw""~RĖ/+۹XXg'Z라h<p!% UM]]dNd#wލ8KI9քx;6t̩k7@vK3˿J5:'S.ع(ksSwJ]g ,$JzBSUrYJo'88V\'f*C&)SÕm ;Yb1,oPcơBO{󾒩+Ia={%(S;$pŅa:퉢q1LYxDp8j_i{^4tnJ`1O?1hXRҷEPN8dt cX?O^YӏH>#tH aGN@ߞ%|<"ً*P9@+~=eg sd YzBӼI , b85+Vsiq%w_ }Ó~xXIHz A9Z 5uJN Ƶ!p]5Ky)%[B@N.h,!Ett=RN8O΢}ȶɄ0itRvw'R7=1im+:JSanm8&ѿ51)j4JVz#d@hU,̖3ø!:JWRXt2su/|yȉ뜋}2s^ W!xiΙWw,WP2"K ê;a+{mNh>OՏ(D-<ኒfc7 Ԋ'PB&t/KlX)E菳qPDd+&B\pJh YJ1;(|Z~)W6%ZBiqry#Z {=-Iw%.G`b^c7lIu$y/K!~4n#cK)jDXf8v#ڟHܜXu\g? E{7qKޏh֚*UK)7nT-X@CT2 :tw@r ]Ip9ɚJbӛ.xnI?%j:FX'[&٦p-!̬c,u|V T. KW;99?25߻Vh(YNtFo>P~7k0iC|Y[v jآA?l2yT{\ʗ[s3YUдǪ g {sH:M(z;:oVܒ"FNz>'3 &r$¹9.ELk)M:Ⱦʏ$FӭI>NL4Bl^0Uպ' "׫g;*.hk媓ykF,X$t닪.+jX[N_kS<ƈ+zS:O+(F\{-L0>{Om˸KwfƆ"¥0?}Ҏl1V<4t+kc}=~ήu j-W͉gevjL"%8E"3b@VˠKK?1BTQb85XXHm$eKRvojοf t K}5heC-0*%«*$[|gھ(Ϙ N4]N*m2hfn&2ИJNyވr'\zVd/ (sk y =ZtFXzp( 5[;Ķ~V+ZidL$ŚA;]^wfw6 b)ɉ:ep3XBBxu$-IVUje8ux8LW\vCYLv$uJGq8"c=Nh+r*_jA=֦0D/]c_鵁A oz<|gљY0[C$7-9}+gl5کLh. _\$ZW'|k%mj8.]vͿLϾ缓r2g /&6ͫ06Y6KPSI^Ɣ?e 7WԒ3Q)7BT?nwXbN>w{-"]a8,a<3 aT7R P3xE0z0]oAOHx=|ʛzQv8J~U$Q Ze68f:!uٟ=sm]`O3u.P-4ILkK>9n;<56{@H@-yd-i-~E]9l aڀH<(wEhN }\ B\W kԥY:x͛qRҽQ${pyw# 4ĒQIK/ϫ 5>\j ŝx겳x0M4LPA֦fLߚx2fuY3=O#<;U~҈ OipYn6 cm9]GFdޓMϨY9yT 8 IL}~ܲˤ46iI"GJ=1oul|՞k$Ȕk!-AOo1L?~A@8ImLF;(lX#teQ gYZ Zg/G!\HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/files~~/src/HOL/Proofs/Lambda/Commutation.thyH/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/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"Pn&%Zpp˖v/.Jmm^y u,&pR9uל|(Ws(7Յ^3iZhI(Kktݦ4OYM:(YoAmNdgW+5]0#녤_d-#YRΫc*OnxUnHuԯ:Btj:-n,.2\'MfZV2n#$+X@ȅž@ŒN^ܼ,C|Z54MJ3hLڹģ/WjzA``5A*ctFLz- ИfITcWQ#/O<C:<" ~DͳYd>c;%lO:u/ۦ1h53Zm@ ,ᓠ[望S wrA$/C:6}Nϋ[^]^1si+>Yh ܧ+{Cj03CE JbxHӐ$|q9bvn" iTxz' 8ؗY]RDE*@RNRu#/sh'KP#b1fa\@~GXI ~ "?pqڴaZv ^fRUhtC6Cِ!]qwsUr4epQ~r@& ԓOw=A496-0M}S Qs S9wrEK3L-7ղx .&x vk*wE@Ąw}Q= k:0vGʴz Eޛ6|z`0HW.w¥-:`w479塟1ލ%+`6G9tC|klBl1Ud1kT׺]?usPTyխRBe( 7rp_ s:qNȰ]ȱm 9>ر28e"< `8UͻՋ͇*PU$cڪ8*b+. $>/B6E YϑK 6: Pkثl[oTa}* s,c}qP7zy\r4ʰ6a|Pl=5tt"}U2mNh j+K`y(@O}-kD%&Pl?3IAD1UXN1R A2f.l&)gx?PIn8dhidW a5ᱜYǗr ̧q3ű>bȐ=ގ$&Wr 9kˁENܰ|N%3Zs<#TXPp^<@U#p`4e3  S@Te&q*ױ*8򪃅;T"紿L=eI\JlhPE\|ׂ< $O_;Ŏn*&!!D̾|o[^l.|L?ĥ)C/z5xB !"OpRyN:;)$p+ u/Afb6/if h)rqh ۝.P!o2`2o[{;toTA"p_Ξ֏E1 f&/4gn; sl slqv}L-~7t Th;,ҿxC%v-aEuF'z!Z %_ƼJ(z:688ъY4w4tV!;'^*м] J8#͒Y!ȗސw_uOl@ SGYfJVXѤS.337dv$h2eE*w0cr/ ^^q;!KԔtTϰgddܦ ˾`8!b28C!5A.$.J.+iJ =ɟ!TB2iwiz k=I-&h* CrHGUa6"0ugL>|d}v>b C݄eLD[&PU~M7tkznH)k rk Xr:>v HWGjY/J6QKng%'&Y?-ۢ|GwāuGg1fFxAurA e{/CBX,T 0d6|*nظpts<]3=l`6y!!ԓd†?2גO5!~]O}ƚR̿ڝNK1]9)lvW2E]'NtҮqG=R/)z}&q'}U{Gf~&L3ɨz欎k;JȎ,fp82oK^I! z8b54 HpU+"ϼFTD,^ԵcXeN%Z hmB7\RY]$m;HU.2ڪ(_=l("AȀoNY@.~y&8w艙挻W}^W:@( t:]$sxVF/e[z+hqtcţnʔ%|gbˉWf##W{a1-5iF5_8oS`8^츙+KX/NA ٵBa怪 ~0LAx ٟWaaE6GaV=\i`!bOh1(@J8g=yS3ѡ2SyGo5SR7_5HgmL_|J`X5.B`(!!}+9D 37A 8uTŬK湟ej Loɛ}R iԛ,dK3©绛"[H3\;E>2lYi!(pp-|_ 4k5x .瑓H+`<෢ѳw8k pkF0vS(ߪI֙Xi 5hG5bFcʼn>W>NPh%[n/[D<2l+:hͪ(j_B Y44~.*@4n vVZ#@Q++>HUW~oc?5(!GS\_>έo9~E8i_jv1)FfH˖A} ę\QM>w&7Q& 50I7qe-ꘟ4ͲÄVL+O êak\C`WGK-BEVhD`YY"Poatq dT :B9y4H!Y @)>ᵾ'ݍGwLyֆmpi \ 2y;O*%VZL/SؒRv˓/u5\e_YdFE([<9 }#VB(FijuQ(;d9y˝"ẸFAh2dC.3a+ #o [#?pi72 XGLJfedBKg\/yn"DQ)boi_ok%γ .KDPMNwCB j *2%N 3)`!؀c$C#Ā2SY`=w0,; Qqfl@Ĩ^#<7AP3xG- (2ӻri4D+hHBqYb!R b_S/0sC2rc.[ $KZlMlduQ1u=1v9;+)􏱜 79o7.Rl!$[0F7JW\Y>kюiXNkGQSyБ%Ƭ#"J˂!mVnfa\B X)hWT>Yxp {~#4Y'eN Yn>푂Θfk4lkr$.,ihzŔ>B[Tȼ_XÎ|,\s:Geq"sMO %EN3lBƭhlWXJ4' .7IiBXb G⤁:7(;&CdYY<*IpBAǵÂRBKE~ ߯l`B<좒ŵjfέ 8܊8~BXӞ-Q'j쯠&&?ų#=f$g\]Lw$QjBpZc6qn'E{qHl4>0F7. UȵJ ;k0(ևRǂܐeca+-P=ʁv,UYع\K<|쐕$*q: |p9cERܖs>nw|r.-HMW Cy*$&y7/Xw\DC``EVOֽڝ9t\E\H'tr ~*rCA齤C]эNw N[)|BqX]loݳ(I9ia*ryϪì`/cw+k#18.'FK'#4 ʹt`rna d?00Uc3G{Uلkj/PMi;+;%t.& JЈUR)!]GǜѹUJ|6,~a^?A(hl &Q~PS(Ų'tjXe ┏/enj–I֗ɣ|@Hz S`AsY V>|h>{8cYQDap=7r>>,`8NA*hu׃ȚpEjܣ}Vj4ɲ[ ؞WGx9M-TcN* Uh-ZCh.]oI)=lj#=Т& ܡ'$486h2|upɐ..FJ)<=㡰2=|(gCzCgm-NnGx bV& n7CQk3@5,}JrRQ/_jGZ_s+,;<]6l~scX,a5+CM on>ZCX,Ήql:Q15cgYZ !k!& /7# dHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup7zXZִF! ꭹA)]ˠ)jk2p O6LP=͵gl5f&Di5b^8thKg~ZX&\-nsg=OcH,ߵcN݀R+ڒjl:Y0k589, )E|^,1xa_Jt=p`z^GU[np?n-"_* %49_R%ݵ0&mVa5m> m%Egӛ\n _+oDq\EFolwҾ~5*c ߳A_ʇav`YAoo{9K͢D%m#'UQ#},j̊-,1m`A>MW/7!LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files~~/src/HOL/Proofs/Lambda/Eta.thy@/7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id216c/G' LHOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages7zXZִF! w]]Άxʆ5.f-9 rq8L17n'^|bU Yt&bpSNL_ ePg Y'tny)мPi%yכ&Qn5c ( 4Hfϱ=Y|\I_p Ss~JkAig>o<A^dƽn[+j~hUkImc|h#yU0G⃹Xt93(n.a>Q= ӶYSc]r{L"c5AoY 3kS=m9Mlog"wа!˂#4놅Ƥթ50g{Azmf I]c55vlxu(L+ZQ ;AAߒ vf6{v]4Xj c|DaG%ftC=qvS:#Vg9)gSc?"ۏ`>5FPz 7P4B(SZ=ّ6d-8Zf4gFr"j,kmZ6/ՠ~]!5lÈECǢ0պHoq5ZM#ƨ)%9W=.ΐ%o4nkN(9V`;/w(()_MDKeO Sv u_pS(x{D'M6; Z쿮mrͅLYws!0` pz*edwI,DxVg;?{QLt\1?AҸNcDnftu} t=&_-9!`vemUsT7sǝi}}jqIdV]Ճ .JP7YX:^eɍ3Twpy9·U7okˆl%wGwXyo<6ߠ]utf͋@ʛf}cG[83<+GH#` (^莅&-ͭEcUP\Rj xb8swG8P]St \w,|WyWJqo^+W V;EI51lMO o6+E9Ʉ\2u~$2z1oԵ>B|>E۾^rMg~G+o{’we6?ty~>f꩐g1d%4&0 9[m7b1Hf 2։}c% /MgYl.X<,)N}`dDM 3bXjI\& El gL;Qv^. f>oFn7-GNTB83?|DZ$[bE* ˝>>F9(Ҡ]=[\Rj,JuNR[ *oO}DcoV!x[ fn4_Jc/JEkpP2;@:4ij?깓_aؘC׀6Ub c -zf*y ^~<ݵvp׏%ڄ!V|d!ҷMBen|"G] @վrj̗9:OW]o=w#7Q5DޒBj s Qټ&8~z^P45-wT(=`ݔD^si*l(uaڦvh~J{-C-h!wO7LeX~AΆST2XZPQ\4V~ &kA2H>'v`xp\]97YEI#.CE[1$!vr6k|ڟRzgzd(5vT*=H{׬-2l]}Wmu6M nj$,f쯗=Q:!uU+ߋmtU>U; խm{a?XK/HƑgMZ0S  2;PWz5V;|la\s/Y!|cr*+ (Fyʎ|[A{&ѕ8:J@q(ôYD93=X$ MMèz q=uѝ0V֗sS#]#I!SKlC᭙ :q9xw5z-RV#N^keHǍᯚưPQxşT[EE &u⟹Y|_+޷'?GLzK)b F ωX \Ն@^q29<ݜ A)~ޞD>9d)|}P01P͒qiæ\E#c׺gp f{Gk#8 ߺjRMy5]W%( $kK¿~Z/\/tCłÂ!#%ɿR,5{He!iqE &nϐڽϑkVt%k4څ~t|d=u 0" C]ncl{= ;' oWP<*F}M1 .CV4&Vnc#_'}XO  z0/0V'1 K処9@{yUk\I=5 Bnwr;.2W "Hk ҩ6YM2軟Ogྉ8La|R9EuuJt#締{zB? 66_w# H[+uBt9ms~v{ \8(~iairM5_C9#J4vzl?qɕXqFP,^z/A2Qsg"eO[rgg)34O$LQ2׿`){0m- SU9q~uK ɣ̌΋TMz)15:7"y$b_s,<;NB|$V/,g_dQJS*K?ʾ('"]"{?Rd{Ws+hk^:4.m+M1sx Į3Z$-Ԕ;߈x :񿊷{5|@sg=N=}dǔ$uoHl1CB"Ab,e9qť( džFR+Ps2 8W)yo M`ydr ،tǩf]+ip]\<(ay>|?kXgYNmRWĖӬJqF cOo ŋHWiaj*]X^t M4$:E *HH=gANi^B¨qw&6mȊ !X  Yd2mL(o^.np&hof*zD{Ot|$nnYCt㵆ۓ| "Kt.Yu&_ޓ#R/Yf#S=eMUP܆67WEG:h%+p gƭkJ+sr=k'?IxV?"mTrBwb9P S㞄yY\㋞k7?0wrKؠE?->dhD=-W봧cjV&X/udLb=+Y2NA_@[/e "Doä@AJ_? HIʷ޷WoؠߢKk!z"{Jw@x4|º{ ~7 ۆ)%R+ɿm@'r-QӓaV-z -Ќ5\(821k^Iݠ~UQIg(%^[=ngn&Θd oK# XO ,9tGŸt&f™'r-R#+L*i-k'bT&Se4}QyMR0 :nOe]qnV^ÕEwz}ZqOkE_v>IνrHk~DJ НB]s?.iZ[v;]Zǥ\hz8J"D,gDjT%5`N. Z:Ă(׸W ZBD^> UTPChӼJӃ쭂E1Je+Gրؽ^:p\ `wޒ[@p̙Pw7$#-=Jt%ɛea3U)/u i^]rV47U7-qH:D;KLޗ D+bӿ.·(b[@rp=氪]ngx';Gqpq{ %+>,`@0Gz~P-tFMI?r= wN ]ڄgR/CH~$6 V$9-FXP-_bz=K}!!pvQq bN~4Yk]{pC'UGC | <:ϩi3q[[P1q~uo܈wlܸMr Ј%~҅i8[0B?%>UGu!QYtff":Ӿމo&ta2A*%DD|DgW&əRwvA@.c-l5Tጩ:VSZ:FI ke;TԫxNK+odPSAsI3oDdun'>?࿷\_'5I ]ΆLZ8rck6.$]#?wH:gm,-󊾼s:;&v\폱NXE̺^&F6v_'8%xuj6^Fq8J!+rZ ?' U ֨ctx,¦Đ׹n&R mF9x=j#wDu-,("w.w51)%;Pϐ.dOH3Dk fVeHQ3,Z;a+J>&Zwo'qGzEiXYzU%Ĕ\$6i1C/٬`"}^LDÆkS2Wu(IXM#dMzk2B>]v@M*x)C拍T.H m rdcɶ6 ?` H-?)bcf95~iH-R9oyo3z-HU1|SGt*1"{67;Mf`[Y0QlxS5=ZtLB?ȷ;p`mKU A >> 7|?V4+;.d@% vA([ .㙤+!QPKVW]Ҭ˗^-DS=) 8G_%ۺ}aywܜa(]1^"MyKFjڗٲg7 R2v—%$3+~.:nD5Xhgު<u= Anv2s>w@צe+#r,De;e]qGVc:Nw#Q1`]o#wtyAoL_̀ 8)?!L\ J!RY-)۞sI#t 7FR@Nj$ލ%Jn)Qg]=R+ ' >f8o1| ~nֆ;vӓrT/{t5v| x{/!~/Ph7 jlU[b4͘:3N_BפŲmU(zU=Y ( _>^1IWp>a\ܵ%Lܡ쇑.B.\8M{W ֕Po{r mY]0 -59@@VFqgq ҽwK2s̓}1jn9L#^>`d1^f((,)Ut'-SZ,pp3yzl!\-I.!CYS3K t|Sjf)|3]=&a:H OeqJ&K=,j{xq9F|QJ6d0^dWǩ&v $\Hs lېIEIC&i4##* luc ,LZ0POW) d}Y H*`ɚϚz y:4ݛh !@41=v ؈?V\j-8u ݫj?Fm r6pC΀T'/>iK1x`#4Ӹ݋g,vS<ȭfKzfa;˩\QS\E(?bA(sI0icGI|giqGaZKIѥrMb6t,T,lkLE⽧%TT+7Ȟԡvcy)7v+f#Kjo)z0\Atv,/g4㓫P2!=rl52>wUG3IL3>8ʓ%2Y6~3Y IȞ񔹋IR7x~R|*I$)3Z\}^{fPպ~ ׮32{ګ]LH繕`PnB?TwrvI%G!Gk ˡU%0 £=K%IfUI.X̚ zy$*PSdtOp1"o715{X" dގH9@ 0|MWؔXB,p{zl{B)Hcπ~N6saR]u-. (PGPP#TݗmsQˏɬ+E4oש0 3;x-rɫ4g|C IUܶ(QcGu}!׏iE`=rZOfwqq͕m`HLzwe\v=y! 7V/А43U,7 wjNRY z~dq;S:l.EϓJcF&eW~j'xs Օ3$7iVUn ŏ-@ˆa(oi /9;C{] %kt`4{c[Whd].&BnRQ!C,xB7 P~皓ҽК|3[OB5T6}fӠ}vv''3vEIyYGO4)J~x2c߭a7#zOXr;-$K&qqd{S#{J~ Eh) lvL @gf/J1m""4Wd~fv\`Qb!~:$DkPYX5y6Kѭ}(W32uMMMiJ8TfrG;~b\{.e9_K ub*}it7"6[=H U J=DfӮٶyB=8]~EiVC_\GƀZzf!H'XE ^Dq}#swC ov#p9ֻ5K׻6N,6KKQV 8R\=R@h?w- x0!85Rl; )UŴ[{B>2 cgLXܔxDY\{a$&aXa~s|ڈeZѧ~j}{v`'Hi(2/Ya'ZVոvibSf?r`8}6hgjD0p(G23c}f9K9ou+Ն0Biz jh^^nOsWWс.׊ї6Jw:n3dzӢ;̋s> eN-^WR^V:oKj\[LYh-#uغ$s8hS&dZz%#?b[Qͼp&HC"cCX{/L,BSl56暁wU\? m /hX'ڀ ֙{4 J~ pn0U5i\ڇ"$ XgVMPCAէ8e&AtetF5}LzBTjpvY=]1 62Qɛ(ȿ\|\uv ﹫G `d3YN~6Y#3uZR; ;yt?biWƲxi0^['LPirN)8)c!zw2/9Թl[|:3\%[틁 gҟڶiTv1u2$%c%E&t33fnX%+JNb v]Põ:1<1%Dh*/Ĕw~AثN0,Q%Jœ}JG*]bzN3;W,jq@dbkߘludDyH##+T+ 9ct~QC}&%fI2jF] SjiVқ52 +z+uڞ ub)TrIMW[+. S1zul~0?:Q+08_(O%&N ~Π1?M [uvރA"2)njFY3wu'lZVx\ ſ4etLWp>؟?kuSLަSceSМRńD6 y2oC?f/mQ"MVr>))plۜ8YH;pyN]g/V#LScBtFj@Q-gΝqw>Tلוц&l]%YpӐ+T3>8yf&pSAWqX@#͛>#؝Nw-5XkMpO rƛpRnGGSD^C;]eZa0.g8h iměT̓)6NY3$`s[_.\j'.+G3!ya.ݶzET_k}xQQO6T4ㇻ eWgos <L Xo55;(+jxI5ieY+E;IMK-9l{[$ue<3[xAhFD}OCHqbJUrz5Vt}`5lpYO6|Yv 646M4#~èpN |*=x|1s9Wb橔 !x}o , Z@wkcL?u*n^J xҵp I3힁vDvj̽U?!Nʧ:ܮ=qzFU9Ѫ?j+ ZE9Tnp] y +g>Ӓ[ cB R1 J!)K=KkU~7; J/ YuD^Dڴjq!4kW{BEf%51PS@x7ZBBq  G+ +RX~~;sr/\ҏlr67,L.J li"&8^OqNB&4UdD"%)!^̲2|ev"IZlI]0t>T2c|ګFp+T"t{CI:i#U\g8I~>rom ~4_"`̀7RFP:P"<0?9 {D²#߈.Y8(>\L-9(ra!kԚ sB&ޗrIB5EJCi3Jv :B8&E4/x. &M`oL:Y"Xڪf9x^qxVZx={Z\.FΩҢ:`E!L_y56KLӪlTٵ 6^5J@3g2h^j j[Tpu>ZwR ~'T=~0!ļO4b!ouhff—.ɤ>wKcDdۿFULZ"a##|8$|Y;V47BT8*l Bd3bW5*[# '$rLZ_3ulj;ad~Cui%'%6Ezt"]kUWk`cPJ0w!(4 (*.mV&*@Ff83Wգ{vdBY9`U-,%u MH>$+!a@U,Be[4 2O4bYK z0E  d=j US.{! t,?̝u&AǧjKxKU8-x^ :R>Wd}; C;|M1ەdd%iԖryoD <j)\`*BDd'{Lf/v(#9d&ꒀs'ೊ 7k_.o5Kk$N ڇ/XE ZDACLE *T,O遮&Hս!f_W(< }Z s> Pݰn ł--ڝP/\ u[hD-м}2sw#8rCف6C0R\(ʉU6p n9WgrM`PoVhh$-6ܹ? p3r+URd D p1^<ۀ 2ZgvvZZuGyP":u~Q^?&j D$,oYRiG}N &L $OWD]Z7aalO!?g !2ڥ*oUN08" , "YLx'ױk鶺'R>@ RVR j !6P!M @|3 Y^&CYL6/hVCNo T)V L4gOKt\SVo([p~A! ZUE-WBOl$l⚦O÷H!>tz?\^P@uX yl^cw? "$X]vD $K6.F[̗C>۽XL5»φ,;Qk*m}}Jf$՚*uܚ؆ H7l%ZpI~KU-y zJ4ljMi#MTvAfF턍 6gT 0B]&1[ì8RJ\o=\Lq2Ձ9{ǫY*UB"\ RTQ0%4i u؁wv<سK841B-w c逽b@yӶm]K%^e'.svU/16^)ot2>[{Ԟh=|M!|ucz]sI1JC'hMu`>6 h=.p)e\mhC 4~5dGiB 놕oj$t h~6E&xB3ł*qTgYZ  " %/e/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id220k/C# dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! u;l]ˠ)jk2p O6LP=͵gl5f&Di5b^8thrtj:ֆE jRfڜX/jUؗ? "d'L$8C-ߥr`YnϜ_lZGi3(Ii#h}8lj[eaXvʠ-7< f4U]FTde;GHg JS`Na%Zԣmñw@1pԼ=[P :V w/8nV J:-ĹN[ZVe1L0JWE"m)"R;EWVT>7>"ImDbHi!A~@mhO Y)w/w Ç$z0M$I6_sQƸy`ߕr2=+ݼ=5!dCQ/̩@J}c#Di+S_Ѹ!,6uC.8 'orrVFdN ur-6k> dWӖ=݂޾ƒ9Ea|YoQʱ#c/C!XHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/files~~/src/HOL/Proofs/Lambda/ListOrder.thyF/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id206N/71*HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citationsTakahashi-IandC[/7' LHOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7zXZִF! _]D?7 {?:fH\L8aS" Kk$?_-]kFfPّBo8,57 "75-;s8)\QK^Vk@>!o.,@Rz}do&Ӽ%^C?A1t3$FVtV}HM&RI2('A2'9m7 S;l \#܅_A5\w4[>]A؃P?0k f{pP4m 0&2ZӾe1ns}{ݜqgtlGmj(AQhӻ^o.IQ9;Qx'(dd6אFK9F#R{+2ϟ󹔓$XZv4>BaSܐkx[z{GNy²\:nƭ%DW8c=Q`L߅W7DmZp@6j] _oe-m|[a*#u%- i`DNCV"\뉀0' -QnU_KiO-BQ?n{MDOzIXI =C#i~"iJy|! PsV 7=2\ K#@VD\;aksjM{ {MVOR+h@y3VFwb=H*?'.,}~J @KM z%En}(l^S~pLX~qGtC(:dNM>}[ŲNprqZ2:zg|E†W%tjǼK<=}+UL۫ ȊF5vjpVIn_6WϫC ǦޝbB5_WvyqJbiD1|M@U.->/rocxUo44<6*e ?÷lu%+?&GRG'=:g3@Iש@Zi6(vGH'åmU\BuHdw5R7=7Ż~e3M!X~2bj{ |hDeSh@GB@$DN$v"'\mVtP@K~+FbFGGvt\αߖt6%9uj4 $pqQPs$:wid/wh;)ϥݣwb6ھ} e%f{ɋJ)2kaaa,2..Ȱ5S"v55<Ҙ^.fy>y#>?L;9[Ki4?fB\/C6ܑ9z7n2ܔ*Vwm.Qj1"ns( )AKO:1HcrY9H@ؤ_ȬvaUϐ_D0Eѫ +>e # !s|ɆNEW`_xtw?g[^b;AA賐 HjH[ƭDƂzu9(s_ Er  T~ nu9o*T @[+\}WKyeN02<2.kV/VW$m֢q#ޠw4=绖h} L4oZ.ZלJAm~f } jW'us OP'.Nf.!| fœPmܖ$5>;jn ;zc-7x?sfE1"7cv]s/Hzmƶٿlg@@5F}o)Bħ1Wߴo/JsdV0d&ACdOL<*t{miOzb. a&QDАq|:LL5mG*p)2u5'>b)~Ƶo@:V*qNY]gkj0~] lnwۂ "x-k2Mt܄cj,@%x5čBߑR c6}tH3$xB̞Vl0dW@n^m'Z*g 1JaEܐ}X ofz<u_m.g-}K&,0O". B֥~ a1b4ea,U&}1[Ul= ˫"uY ʡ2+d0:+>!0Am @S C`#jM|58/ի/Ο[ Fű|jܗͧPa2Cȁcavi CJPt;2+ D,m!s.e 컄Q 4&eZM&1Gp%wǔZ6fյM[\a{h5[.A5ibӅ;D FˡT;/Tr2EF w,h_v+1-Iz b S,Ej̕$\\&%%1Mz".3n)̨bxuh>2wo㳒 Bo?ЖjB~g/{XkݚkPn0x$Gu( QTjNTAϏt/u~WKhEǤ o䫃7K%*hŢ^O@D[`1dld4U6C$ma捙&LW|Qek: R n!YT*a D7?wKa.J(~c 8` )Quvlo膋3(F8{8E߁R:|{sϾu&YF(%yQ5z?Ww~w\u-:O:hWQP1ApZdݗ$2HV4q5zj+ Dq% og\v-sx(i{ûXx : bq+$v)U=v}( uLaCm[j=m_L ތ zL Kgjb%{1MoY#ÜW1v,;{EvRʐl52RH'ENucw_Ob1f5v)7ҿ+gx9j3e,0[LwBUXW~H1ڝ}퇾|M5NI(3.<ز ~e.v+yYQh5a.S 7mq,&+R"oB +[|fEy P^(94ڐ2wIK0)Z18fVz"(cPK{'ewo<0:J C-6J]V ;B62TgNqmEYS)6 +ԡEdYU]k\M"}U0۟4O rPn\|:z^PSv(0UjeɯF{O( Gf"8 , Ps* ,xPl-Bbz[F \u* WB 'Yz gwh Ȭ L2{9M yy=`{?Ss3݌EYMAc5&n^E`C"ez &kuHnO)+>j&;z %9~S2b[L\ 0=g9;DQC 4x3Esϳe*&uR .2>i"i;o2oeh&Yp~ B/N\YZ>@+u3BRbp;-00!ݮDuL 4BI -jPCMz}נ6/~wd^w1eJL~V/UTXrT(:& ) t߱gYZ%yXjS+"=uji-G3R>0"aޘe(]4U]:oO$c]e( ~ #Y4#D"-Z0#G+/m4(իS,\ ZO&J؍;C|2CUZ[7k&f1&q6t\2Ph8IPNԷޔNT jttQE5즐8ui'(h5cN^h[FR)$\ FֵzG,3v*".cmllUgiÜj'Y_D BBIdCa)̞H 8y p52cT6p@$+-KBVfodxMbsK]GU2yhR#:o3Zҵ-Qwq!chךpQY^Y. Iv~P d-. Wbg.XUIprL'3$hu 2Du/JS 7(J~LB^=k_-~6joE'HSd?n-qӃo YSгW<5x? ,5̬lƍםվVN-gZ,Aܼxvi m2lGۆ1%y½O%4ӑ,`/u&$72HĊIIAc(7ѣ(YSm@RUo! U+oI 7md$tsaBbK/tJ}x{'3rB5(Oe~8e֢R:knR$xJRHghzOvcWF&v2[D[g? c`0x"MJ'.WÿFπ(D]82vC3u$>YH:Ip`68;6`;nΡoqmN(=xX[Dmf5i1cg'0*I`+l9WG,Pl^GoE\rMiH&YӝnIM;=tx!ԴMWߌ=Qfo`y-\eAfDob 2(KRF8l 'G^]cŦyX wycՂ/A\})U}'# ~= q|C[.|YX0-G Z[|mu0:a7N)]${ryly/d88؟A-U~v^tR'- fW3+Kݻbg53\ظ"ܹrQiɣZ;)? F/O/kpaCwseY˄hćCL_*Qei("|Q)ɈU @5NQb7Y rIXK\C@_VY*bEGsYTϔ|_$HB5,!?kMS-s b#%%q9y_DT&Xn+9S}QLbIV<;u-Ð=v%M8ep XeLZcBpL>0J<9pK f6Xw#B9R"yID7Cq7?QaJˎH!UKQ@wT#$˚ vP?6\Pw]0}gIĪ<R$(x=lWvƀ_R482kUY*4 ꅓQǝQәu4}Ɏ$ s-'&gզQAo)TIe\,f-'EUh'F뵚rsY`)M*4(y(='3WqL-?{"2BzPw~@5O'0Sxs{7-3#6Utp_ pN_weǵ;nT+=Z2 Q;QIÆ"Z@1a9KGnV#7˦)ar(yT-^g C4ZaXԙU*0?˸n[LĄFtcoȈ0NF߈ף40J&֐DG3jͪMKsԂk(Nb`~ս is$ٍW?{fK%VK3Ue:)ef\.Nc=8H;khVsZljWwK̹fDNMl Y(g+^} a;=Al3T\q;qSjWΦ/s YnqE\ Ii@!̨ iMA /˱'.\c*'OJc9| cSU'}#(iY.B*AnϽw]#fKxF+_o}D",i'Fކѓ !飋[q U4} X?3,\?_m)2)|TKE9HX?$OWea_@YTd-$ *?5 W&KM0ٳil/*p@ȱM cG&@ 09DisrX: h"`4U mtv-mW7-Ql<ΧmcV]<?RÚ̋Etɭ* rPtfhq|祸xU[_a}v֗/$/[KkR9pU+^`NB)H06E{ۀm#d= /fu*Ls~Ӹes;hiph_S)37?o}W9eƉ.\Ȣ8-]<%r!GyOܧ LAF1͡\R;$mRG*#JA>R孳\$5Omf𷄿9iVx+ծ݉RAb z bG-r8XfL/l$ߑaҰ[^ T رC(mxbXOͶǕiOu@-hMHzUx} zގ3s.1??(_x< 6}E~h5b,+:ɇϽj7 o|ߙ$@kN7}e<=P0RV"؁r Ǐ/6lj*ALZI골_% !`LC5tQא43ɟny^9+r4ee̿u-PC|FSk"靲V@[טq,{T ~.ݤvfF`(ڗA%cUWd޵3 P2Gw8m1!5VmYI93ġI<`"O<$prAf,MYە;(iyt"AT#?/bdUIC?jK啹CH?yfxғ:L;MU!S5]C_k:E_n{ͺtPtnbu=a72n š0xB̶6 Dv* v;.(. L\JO&E]yDn:7ϫij>'A$M >(]mg%m94:NEju',EI~ >40MB[*j$ <"~V>"u DUtPdɹx 2ZM\g~˵2Y;5c81IF, ˚3k{Mٯ|"ў.jUD^"QkR`Sʁ0- }>ѕ{5n8I⼶suHdV.t_^ w8ɍ}|<?VsgL Uk3Ӏ^SHR/[U [3;@?cH_ϳ X ^n^J k[0)>Js KCm;G_G,BqevQ^ V\,2ViIch'(_<P800Y6 żzt8zq 4Db(!Z-CǧՅUQ_˥{?#w}tz͚b.Q@u*S)Ltjc11U$cR4s(*S aA)F݃o߈+^)Q.Y0N,pA< _mZ'>GMEViM(y!ŔwűD&{NL;] ‹,cV`E6^I~"j[_6>19/ԅkNDX݉jqQ` -1rC> qЇ-4IVsgzwaMεtJ0ֹ*dO|g@{Y v}fM|Y63v5>yB(йgۓ׮K]ڌe.7$B +RG jDHZZs#zn- ~A-,>=29oG?>grf*bH+5V95KMokiO^:ڷ䑴exRir)rWC|tx3?Q:šfr#[YM$"cZP klA١!ެh^7Gƒ:pM˴KŅ''3; h#w`팳ơ [H$ʡKUanMŭymqKNA&Yz+})TYWVfSڅnl*2`71gQ6p_CGFzЌ4-Yc U.i(`t֦Ħh ^2r)ϰ>3ۙ|^9kmF)YtRhc#wGdÞx~hl×LaE0F"Jģ¾X:|wi}1->&q!&+*\9cvmX:F1\K-00@(Whzx ,22 .UAķRS9Pp릦Kj: 0p:Uo:KG%Fc)4JT-y(CVo("^ Ԋ[1̛{0"E QW?X>ipA`T)4a6`jMQfS{<ԏl-Yު xd: (S`A{J)YtuY؏:\ %Ck,ԵȄJ9ސ(՝iz ƿ 4ͣ /`s }6 ױol)#ݵԨ 2]?Vgo`zvyiuqY~K`(+QyJܞͳݱ;ݣj̝P=4UG )<_^8 x V qA(m,kňߡY&<"M?AIHhymgN"1ej;^"ZKxXoZw+̘MM P}]znhs*TY4؟!gYZ /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! ,']ˠ)jk2p O6LP=͵gl5f&Di5b^8th5ڄs tpOQyO1*{kugu e?)WTp?=J!,E̡4^7U_]]w =Cܔw_\u z(h?Xaq`¦0)V EFvSNfLW_ w=O jlzF yf٦3>Iq#+}i* OM}Oėcv^tEE384%B.7A3^OH9O6PG񂺎 ,Gm{T{hbmL?:;89yM LvTg_S`3*c3^y_t4C=&@Gp4Ѿ>pVLOɤ;AտzwMڿhy9k,6EM﵂%uV)9|v ,BB{*RCLP+?> Y=&ѰARl\Dڜ̯_*5_ޑ3qs\ķ$VR hǯ`6HF"G{`~"O5o#@!^h>wƹRB8\ԕdmK /<\hV: "'s aIRYT>C|rʺIvr,$U#>&ƾ0JsrQtBКZP&SԳSi(vrmdZ_E`|*}_1,k|߷R]0GoepLE'@15=-x$RD K|e } ps=ͻ6TYۚ*i0k nHr8"ϴBXр&F`و=^YEg$+O\e*{knx5|abCYwo7n0merӟjY4īlJe?L佪2l^ז0[XeTYB{hP&*&{Qѧ%3iss~,WbnA~hy[Z&&P|gF尴Ҋ;Ὄ^6X'Y5_1# 0ಭu6E#aeWg/ o*:e@~A'ou:hznN"􏏣P/=Nb?pk$=̆ t8?kEڜbt3Br4FMw"8+.ӆ݁pTC-iGċK_ w/2V;"b$%Y=*ZR 4VRW]T٩6L< 9P/ D6YeIgbJ-nPI]6$/{s@N/G*?hCwUYOvb,vl_&C #Hor+975zi=3m{Ɣxe(kj` ?U(S\:%\'ϛ%#4 兑>zE?Ebtk%"P>% 50+&G;70Xh}`=sdMb~S-lՁ] =% (ZnD^_iʴS\].'L֡Žub[y-@o!cs2\xx\\Zɞ-иZNȸ]HO]?WKJj?fw]0t\c'0sRmԡG LO/-\>\w^?t߈4xx]-Q;ӐرNW+#/6LZ#VֹNpd$(p9m,=xo')|DQΐ81~U{C*iu;(MbQף/^wI44KO2f#JLFu-Wʹ@5<GESLW7)L\Z~' sO͕h,˻؆ovUx ޞ =86 *@.([$6jǀ4B$D'تa1Pp xB\E3pa Hn7Tp 2SG6[EnmSOh5Y ;U"{!ůd+xi_,_\hVGM|甭OfGBIP:nbi*q8槙2>(9/z\Z6r=&Ⱥ2I&I 9nՍ`0! 5W8T#+i? )b.'([p]\4T uH0YeS{;kգ7{rpZAֻ Pa LbTBc݁;踷V3ю I Wq`kȚ[7 ͅ &`IJZx?T#6(jW>Uۭ1X\iAnaǥOos@x|:\$CHǝ>/BXVܛF؈,9}Cqmno_xx,m ?l2ɑ5 W2ԨsLF{ )rv;_X5{InF8SQE]`CK6 Zch.*99 ^MH8lҾ?&!xda8b&:v`p QoJ|v,GOA~E Λp| p䝰Ted@<]@&CMnTwy.J셃p/YSԍV cw/1^Y'4d١ߋwÝH 0pl5$~@Hvn.۷`UKΪK287e)z2is{2n4͒wZKFD~*XXon9+S| ɏzBuY1;lz:䋗0Ӳ#3k1MORBj'~U,G,W-bWV,] :@zG~M's ǤµR?3}qB쿷A!zz IB1CO2rbֈc=wYj92ꗂh^f*㡒YPՎ6V-=ԝ_ ?T?mޭG  Nd0s,W9*>x͟3JqHsνVWC9Zc=.GcnI\j3^*9#^dDEPxEq}unjWU%`=wʋ(iIN?LE/33rn6$J[>|TNZ}24D1p nhQ (ݍy22{H*n1LrāL"a*m丒^b6 RށRGo-\iB9gQr# k-њ.`*ZN{UD1`tv@p jTїe VKwhj %yD7~3IqyO ޠAt?_m2@"iYFWkvF8ɥʛB^H!XRDu/nlk;F]d^I ҢW&d)dqoV@0u1Sv?m ?>3<q`wZz˜8 ;ieBR67-հiNB'@F?ɊP3\Ui<&c'!ko9; } Nar@4s5|.*>DҖqYQub(&:82GM_Ԑ՝|.9>z~KyE4E:>>=ZY~YD@\rs 5U_0 Lj߽}fAw_񁳍|YQ;%펂ݴ{sP&.ё4:PamHL>P`пZ@B\95)"h.ѡk>Bʂb`q3](]T}}Ye RH$Kk)Z{)ZCl K&Wȣn:B ,haǥQH/yC\At́#F=+(?B|D: 8a5 z!yxqJD5~aw+唄?!OźWV/6#wkU2^VDdj؆]m"!#`@t ~bO׵ Q9'cZ@ ,BJ?Q{+}V|İy{"ӵaA&h@G]KMmԩ!3nƶ9? tm5m=o \U~[լ9AЬYh:liPWP Dy#)n*@ {Q" {̨>ۯ0Oꩡ?@Ȭo^r rTV[븓_ر/|>ƣ}%شJ߀l̮B%+Gnࠡ2T̫3K$$9l0x13YnNKu1XR)XcG- Y${ӜNt:0v!y+|t5Ӯ)MWP ~*->fͱBf>*yND7t94 ͊w4r'jP?΂0:eo-b (Af|/| pÛeљlةXY4Z$B /WXCj%Da2CwHTK|K10$4?YaƌjljFZcܱ8 )fYDb2k")6ZMCzTGu7skRLKyCN*'{l{f-ϙvkPZ=/u M[Qdz5hkߟ8 {$}%fӡեX,*8+M+z ԍ}g-jY yyw"HKY+MXӞU.Oov5jiJtpfBol)U{8 ܊sS3XAIvF/үx"@^^}[VЉh'Rq2c˵o,tJ4jѽFo-JjHh1xw$QI>G nGy:6[ˁĴ1W5U%B_ZL !'&Tp)˜}cA8k9r 2$tJ`QsI 7S(G+J3VbßwEl:쮜wmB^z^#ςBJ,+/Aؾc;4lhPmœ3#P7,U8Ry>s]r"M-)lAJ?QTme}I;Iҟ,L5k hiJcLo^}gp'휾 ja!I=-}ÒGGU=?ͭ1٤Uv ξ&m:um͓^|qt6u^%. sZ x@O>fZF5aoo>x6@fV|Lh$_M(ȗ~ӗ6cQJL0o'%63lSR3 ==g@a凐1@mB=!Z|fh=ր%AvX)QA ێǾ*ecWa~O˱}﬎sf+D 3-FWT:Ә! \]:7dr>%bk DщCRC9\/bp )Ix1́?):ܼ j|bTH"ϻG1*XE}4OhVqs.#@ >s*u]h9Z7Q}Cx8xu1H@cDE>W2'V؈M7}텰ؔaCr(C jbo&0o}/o-YyR f2rPga""rºB] A~^Zw\%,'\R)46#b#g 6giRG)Yz˫>EHjʍp]@\~K߯ɚ4 z</BX<TLs)jPÒ0{M?yd"vK}xYFM8cl*ʡ]) [ϼr2 eQt2uL? Q{{(\"ڬ4[0|Cu(jt(pYQKɍ9G_f]O澷Q̚z:d,Z fLR~8E/`}'8 冯EkUwxdKojZ߂Ů]UP'uLq6==ƒ}TYmm)%_{" &d b#|ݞCO{*f{c\vcEݼe Qò6N[#- ?9=%c]'r;M_bTnLX*]õȘp+i]}c{WN.7Ǭnz(6 +/*"quOf񿟶*"p{ &"82,0X7bTGHBޑqwf=Gg7}p K;0NθYh- 4ع U7UvmSGRb_ ${tA,΢8NYFme#*+BsOwEsL\EZ uߥ5'qV:' 8j*^k$rId/T 3@4Tq)zֺG?= Ƀ ( > Fw7zJ_]"+!ZSVEǐv~e%=> ?i]d%(j 乵}J/"PrBJw 7LCG%~ǘ>Kì "#Щgr-n:"_UupK( `稾^wj~0‰zcU,#4hq5_Õ^܄(({ǃ{%?>/ dY-1L"w_dX㗮"=4{3q$Tj9U.r2{{0)OKdC˳.R[=׽a=cV/YbJwj"7Hz~$ī1S&:Ӏ<ɣYre ;LЀW~ڲZ6P^<&S&ѷQ<'a ڃbbť^%#4-FLcR=U׼zQtG:r*EF]pʖ+~rKCm"2W|j,?u=Юߘ=<פ8~8aNg 0-)@VU~ݣ6%@W-F_2𒀽Cx;Tr/=pb $@3x -liƝ?C*}c݆UV ,r:veɊluɬ]0b+6z.3m=qi"PS:e&?: '8xh7rpcuTCCatacC"64#4്y]gFdIJ &[yVs\µ O KV|Ea.)&OUl@_/6c|䝲q[W\o"ڥfӉ' 7F =h|I"[6&4s,ja G$ЍNz49>T-h+%izdo @_' ܠVa_.bXs W3Z#akFㄓz%:@ڀ@ Il;8WyI1ISm 6=J؂CakQެQI0,hs~Vv]X3!ڦsWS(U W"Bᦞ:.!Jőy`WjcV9A\NCJ#UJBaH@bGu67K@𖌂)\bFaWM簯Nt|h#/+Bur&%0WoR1^c YSpHcXy_f:$A/Kp}q(eޒf 3$E)/tpa[' bԬL5o͞=.kR :=:$"p<@ة^ev4I1_.==jDOccl}gZU0Tst s̃i]cp,*!P?OOWiv?vJ # ɧauJӐdSd1KX.]VF[% 5ϻce>ZϸM*[w0Ovd^cn}HQdzFI3N"q]t%U GQقp:Y&f)]nd/bvJiK mΧ3׿}e @G5N D`CYxt=SK2Q囩Gޚn /$of4{3jkGp~m$ t2t b=X(!r%-kHWz#"1$&>ʚPƅ# <߀P?+y+2:n|·I$g .EfӌR"Bh`2{Mq0ע_NNՓbJ,zX,^J7k!?ڵ~A{ & 7آX\Hd\ޞ(yW,UG*]iBgUyN%)`'WoR&6X6g.s{e/;V:D[ԟqњ Kj*XtMWIlrCPy¯fdr4#D["9r2΍gQhƴɦBc/Z_غeL 3 ۅ&/;fG Z=Fv귨29hz&\SWzu6+ orE4=2V7߷1H-k/ lpo>A棨QyV yx9dowUaDWG.ຉv0Rd2Y@1Ouz}a]~hf_5*͹*~BXQff92`;땒T")X--k" g ,v^*TXM }AtyBl̝Qtds!E]?MIB:¾# 1]Z)o)!?}K5JKEotkm\mJ÷.'hŦHs6ϻ։J{}U/GmC^L^8a6߮`E$/MO`Ҷ$[Rҕyc+&µZu"-S_EDZQ^[S-ī޵m㴯/U]iN4*"S!#?J' :7O ~gZ`''4@ b+b6*giqXƕIr]8ORSQѝ$dݧxy)Jm25X @#H5'uPk4gVu]iZ$)RǪ`4~َ[dj%QL ^?tcL_L0K_q$ zmJ#S3`Щz lZ)nbi'+2#gnX޽diŎP׊پ  ҵGhx)Qcohki-bSlh~H}uKil] _jA gBu.s25j0%ߠG0@K-j 3v ˉwq?N_N!a&,5 <㵝=̢f%֓0uPy"$N8Jy[dhWe٭t!b9h3W+[\ԹZqoK䴃qtP[G(&3e8 UQPg kt hwً+M +.0|9 sW7f_هQI =*: s({lx?5$I|v zmbEJ3jR*P4Oc%?V=$ޠ:oֻuQ͍1܀d>#6dRp0llznNE}Ys"Whӆi۷صhkech/U mI8Bxj d\ťCW3>StFtϞKBVOzg="NAu"eVj8ldeAGU1gR;zDCt0b^78*Iw==V>tT!m,gYZ UcUe%/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files~~/src/HOL/Proofs/Lambda/LambdaType.thyG$/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id212\#/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML""/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$bW=-S_tʽc Nx$yTGpT|n#;O?A=rl⟀5YX_eb# =wT''1wMKFEBsуմW{bJtKcglA39_g^n7cAƜa_X9ilĉikC^KJ} 1qCZ8F %RİU\@ ɕe✛r/41DەS+4( 1H&노;fu8c˫=aQ#wP=^sɿ^YkYO*r/$He >"ئ[0A-E30+l}PyRsbc[gYZe! /E# THOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&Di5b^8thS.^sd 噷oh$hsch\F紓vXѯ5IZd(qݓkٝ+EòJTa1!Dq rnv⡳]f9Y ;1ж"V&fvKaRz\99=Xm7Cq+2ڧIiaixQf4m_>uhvJB#ӂZs ![H&$$=Vȶ>ɀ~ z$&%.\TP?dǨ<0u70n੎@LWSTʪEMvӑBpG:ÏMxsĬP #n:H?CRrzS‘nX5 2DZ dx.ࡳ&q^Qx!dJaRT%WF:- H.&vx}F}%ӻEbcEa=_S51[,fw̳G#jn(myP:Kߏ:@\ozLIIe >+rg|uϨ pR,;K BYiԿZc`uOP`{L. g;o@DIGITQy hQ),v PD-SG&d|4ݚZ(Iv-x!z"1)AEkR@zul9z+#9H 8 w@1Eۻ%"za'4;.y@쀢8# hLAH|h}\{Cۗ $d WCz&ԷEYٌ-8۬*惣U{k1u}ϝ9NO\Dȡ}5 (V_r "Qq[欩. ʬ>_=,0>ݾ*kOƅ4P-^'k6͋3-4*"#&ll۳Ha϶_LyA==0L=I{rYg>.M΍wuDkd^tr$=k>&`8Dgskk gv~85pY|xs0wilP茄۩B.a^j=y5Qo6D<꺠/bjl2fq@@G&^FK\HP[yvW\ֿPu Uw V / GPߥL|t3.|:"ȇdD)yt F2$X~Vut,\Mmf{%C+9 }ȟX8R'1VB IFf'jY>tbk`ZXʮf_||窓"S-uu{ov='5h1Vڷ', Z]+~-,s~/e=,$蚰RGԕDyC[GwH{@<}-|l!5r"e| :q:3h3/TP0ZMhMLυ5qi=6fZ]C#Wر ý(YJ\=/bp%b +[}ywd.רR4,QTzOa%i %^69_&- + riѣk v0ތv *EiLa:?5똶rlg ב+esgοO}c14Qw?D ieI\nȭL܍pgE1 Fzw`o׼V(ZE|Zn y 85u)VLzE}z/yV{ǭt P XmC"ˏ_S`s~)3HYtp19%@ &q`$0˧ޙAڃv*;w/YVԇq dv7bͷ\rygHphq#nAV]B 7E}]er}K-la|D;RZ H,РA:M๐S5cH>[ 4/NpgtoB3<U$Xf3ߜ0Wn Hс[4} M[2"zᜯF Hfe1J2N=>aƯcb|$qRK{閗GQI/"a/ڍp-f-D&wfKzJ1~cP M5R"vo-;t$mXg/UPъ.iì33!j. @X$G:&C_ӛvZv^9ytبU⊵k% wCsݞK$dd>}7ܫkWO#ri6&kh{ ih Ƥai\pUDJ LWƏ|B3RrtC&z%Us?OjS<*B5;)i/1-O{ʾ:.$.T7"xX]CJ>S8 TFtdҜژwl4 G ϶ u^j韏H hjp@[q[rAXo~*㘟42]4~7QY| <|:7)\lN`o+"l9lAߑ_0\wUm(|K9*Ȉ43/ͭ2}a9]׬̽`FԥSxHGf8ChLHskѱwGfhfHȞDFg64n$):U,Ӣ#4tE{U%6iZ2b]iˆ.7+Q #S@(x㵞`3kcJ!HL[+Z3he4'Q66ElW\rs[jRƔ/`(ne1{߾\^ޖĮ"XP7N^,1< .e mY Gq£݆ 6޽[9'2y@'~ KiȚ6;/ ]_\U?Oz!9_rVڼkSM%TӰ|mb>jxJh;¾>JD (:+ +0NP [`MqIV/t Xz1R_VY xYe/Rj4-7\U&ErQQ¾V5_|Y508dH>PRpKs?/(Mrs%%n8Pv#H#M8nDZzQ]d02V(@;!{,Z*လ @hBIKQYn;O6|f0HuFWGZB)T]$iN禗kJz;"?f yd5A䈢yXzhf&-j>+:_U^"R )X>!7.7a[Қ'h$$43oP4^Һ3/+H0u/Qop~73RXP״gD6&Ó+/Ep3-HJXZ~.XۆP<QywJ+K ,'P*:w3u5ߑhFU:fe0pa 7!r52,6JL]"kenNYGc;9 oz?!#!ɬ}-J(YhkċowKB>Xsp|Zk(q5s=UI4ҦL!$+;5 K*˵H3 3 ȵдӱQ֒-@_'Kjd"c9W5TG~k2Ac":77Ĝe9T9!h2<%3Td*χ|M3kQbSYXkf^FCS=9﹜xʳ31He5⟇0HOMDp?T~6\qr\ ! y7K&j1 ʹI%ǀ:g Aר\q+AZrK!&)bJ=u qqz}%@VqZ$%[0u[|xy`Ny/+j"ӛ:msE甼8sk,=Cb.FTQ[hNsN0j[O Z?j~Q.5K#ɗҾZR-UvDejG(Yd@R4%D%KpY6DD$WAb9OB1p@ɊD5uuBkd*%4𘨛Wx cA$6G_1|jiPPE'ү1A,"W"!.;#8!fO6,Rdg +"*q ZJhE6?عJHE(촧ϰi-:N.PR`T(cᏍwV520CWvL:y{c!Onxbi9+\3U-*mibvlfąCM,uC|LzO حoؤ֡ؠ?W?˩S+Tm|~ )PʳW]ۜ6R[y|HpӢi,X< rW .,gQ[#ChIo̡{xNTv0XeviK ƟJujJ{6HBԍ,D0zPAF" 34Ra+B ̱H=9>'iϾl,v'"(Uyo} πnʐEAexOF%?.O٨nGGG#L$lFXg Ak0"De:2!ѧz=)ʼn!Kdfǁq).qI@fSE_j> 2vf_5JU_[SA=)vą In[s4BnQ6^hƛ,X|aeBH7sQαoq Q`"E}tHlO+?=O W.^Xn^0 zmi7J&5Ɏ2љ?M @aM8P>S!D1p(z`,=A\94UoAءc;˜cvw-$TF\~U,W⛦LzeԎž-N$tp7zg8dz丮2)!kޏtv$\~Ra)NdJppR+!qe)e F˜ 2Rn؀PdW΃(qjl^JӑK4mеh1|E13Mp"$k![eK Dʓx~T**2d)G  3Ѣ޺W QzS}r=Z{5ocyZ'SrcvYJ0CPf:TEVi+_IZ-#v{,f!rSTyZ_ -Q+rnh>VA g'TF-,ٯkI=Rd1 &`-Wm38+N+w|EY)Ҧ֥eI"#cN2I=yAK!P.>2~:憄|\9!=T5Q9qG9j!A*LɌJn58@W,˃گ!LNGJ }2ӝ8qܪ@Ð_|3e{]~W|zLoAmY#y_g`x\0eM5\2l49j Rlя_~zgr3{YѓJM"-꽐=v 9$mr)ӆ xH*:\fD_bݹeBHu>[]_󔌓ft7.(_爵&;#+19*9s\LwzpQwqj"fBl}ud=ǙuxK~ ()ŶcN \0@&6Ow`4=j܋kIaPǛKlB%10w]댯mrA2hV׈1=w!z`99,|Dq.zXaɑ^A]eo^;OJ;~U#[n#P.ߝsӢpmBTdr]Fεl=mCuޫ GJXlf11l;jT׳M2yP_ &Gpv,Bb>3JӒ igk*Q$v ? 4R >k4#k ͎9(أX AGk@HBy虾ke^A"3zh{^=9\جNX7?#{ CT³D& rY%yFQ -vZAշE>gZ;o{'Pm)F(|<{OAȼ |^2cL~UR4e>xD\y71B>O%Bh;6;;5nĀB&rB5NikNNw/sS'mڑ/AM7Tɳ9ő^dcaek̂-2rq-sVU5 ?sB <5(%b] 6ω, 9v)?W݋Ȱ=7 89!VQexW'qAؠEND7:TO̥Դn%ViR> Y+mPAHȗyRѧɲXrD1f{zoF{yAI =IkQgWWX塚`;/@݄&*]6yL`܎8\ K(u^)a!,YoSCj1{zC$x|[-d߂n2*(юZ?^Yob|! +Bbc x`5R[u[l?x&A-|c_W<4(^е@v`Č#A)Wt)瘑dq5ۤT=09 MZPS-ôShRkZ,{r9KbutF6b.P6ûÒ $)s Z`T@wl֜HZE՞4f ѧ-À?d+z|F0~v'yLnH5ּ+P ;QX)P›;Eߢ+C|lƒ'XO0iZ%n'2^Xrʛ2{>1u7M̰Lj8/};m#k(_4&#ՙޱT!BV4`ml.%ٍz1{"8L@'eY^TD 043M@]$+֘# ;,fi*T ׽B82Q(ޣ-0l2{$!8CZo'+Ō6×A3poL7)sxk95b`%e=#Rl{?ێuV!>iNcEނv0Fr6U=9͢]PhƳwUyVՄҕ}Npa>Я-ޗE@i+z22>DXxfA곢yyŝ`Uf+՜j禦^\X{įE;0}?9PLi‡t$l jj{Fv`#*&CF-^_5]Mo ^e":Τ_#o/ o&Z[lY(H+.p{/GY(7z#|.5{q2щ߉y=Pk?KHAުRv##\8Vl]#>F޶#2iє)]Cy޳qOoN[wܹc4M";$w>%m&РqBJrぁ0ZtA75qtvv5j=Nt~$e+uH/:%5PsE~ߊWlur6jf6XO9S`Sy2WTڡ܎ b2zkrt_\XCdpAsĂYn5ChϦ@XtSቐ{vL+f ]2`;pr5 0HnU鄍]y#"[#R˅D>3g*يx"8# ()%ca RsT@'LǦ3A0ӣG2|v?Sjǯ-:8AS>s/s>ߖ"&,f ' C!|a5e!ݶ&1qVi r;CZ'U1]UٙK4B o%?[M>~vk6V)4-^j48=QU$ҽODm̭nr+ OБִ"cMݰʝrgf>Rp:ٵGOu{ꄢ AbnJA|vx1YG+*`9ɯɡ,0)R? lUnÌB[_Z'ƒj̠C/|Sp@~zx~iYU 2;M8WK&0#_64ǎzo?oF8]d[;֬Jz$gH)gV^LJ/TMPi]{[~uNV򵦊Zwk5V^)l_ UNCtT1 }o4/),xbYdlgӭ 2~V ~@t,!<?FCePҩfQU5$ v1 Jaq 1RN j35Pm$MŅ ,N=fG!M;&1ij. =&}RQXSK|gK&:C-]Wav6݄awr=bKJ/I)Smmzp}UmDԖ~ p8Jl3J;{ZoE7["| Hj@Lgw7V/;PgTOb#Ba{$giiftXUE GZX:u847ɀb_[i^zk]c^~*!q Ͷr<@=a%ΝjӶj\3`Fƶ1j s=NTamvu0ۍ`}ڙō2,lOLlաt>K5˓o2);pꕱz*2#RP 1,B#t|CݪH:o _o*Q,#H'bUQO2["Nu[rzSt0qp+wEBS烨\8\P;oJ T/KhjhniI&xRe ^h%&g>!(2CgUvFDdVf#2d^#xϰ!yE+%{׿K h_)>;JН=/ȸ JC"DPs-.-n~ ޕ ==`BMdTטAʿh&@ph9߯6k) P X!y(ߠ5'&WAsWLܻ.pN  Sg0/,t[MP a-ׅPW'(>-d)+@Ab_h#Ts`΂hF{>C4Lu/u> dyɈ뿋pe6^K˛ɧ], 9z T~`ҝ̳+Yya 1'&Dko~p8QhWB/-W:`P(u}[^,NAGziBt}*1"+r*EhYPD1ßoLZnxV rC1\j[n?dz"EEVG*i ITT:hshqohݭ+T>cJݐ䶳 6H5QO*VRM;HdC[Jw~4 4E'r kjkZW4`K 58qjŖhC#\v}Ȳ *["Y Qa M#ԫl*06Sf LjF^O=<8~;S#Зv"y-^P% ^I,r#T ppvn,8/-fYRF7]elٺ}:4j9˔΍V 8_zs4Me 5AU@lN58&pd7 sJ(0 8 c< Ƽr-҇!Eߝ݌m;GX K٠\yAc%D< l$&Կq;UC8^pb|[ s0zYna28^ȍx}.܆e_ THbQɧ:^4>v#pNQ3@Dt2Vb[\3%ayvxi1YNtB w^"[>}y_lf/H&|wʿ u2ӅVg|U?N7~([U/م뉦${IOeƜ?jA5E.̃lɇg?>A;ٳe=Gavt2=pר7"}*hى`F4e:~aNY3R+YN!~to9f)A+O ~{0 Oa@]#q;9gn Omm52zl 6Nc.[Bq|`R?pC1g߾ʢ$ʼRDu:!p>0vtŨlLHӓVBpa8Q‡ϮB^_~%fVZvtLPdL*o+<եA=YG+cOHsd:BR]}b`?C6*iZ ^,;1L\WF%H/1TLk%*,Bu[vy\ u^Rvbs(c-Kn$E6`<ľ/Id$;xL;nm c2pMV獮d?6|8,#t*%<&P30!٩CI4lX/`7JiB/vSjл݆vo*gu6`&x~P9+w;vIc60r[2nGyٌi!m5r_-@\0cv02ms/k f,x]抡ƿB_>< %%= Ag?CN d g0Nt >-8V#s{{rm]i IJ[ML4"1}v.vnagUI0Qδ!YLZd2'kMJSa57썭g5zjGXJq nWCd+0:( hr=c`X0Ki*P > (=KT ~璣]iY;>mDYʣ4Bvujc,OAכ9RvoZ ;wC1M@z@A3ۡxԋL } o࿰6*8RNKMO7 nV+ZąokYIUNF+*Љ``jto(vh0 RrAs4z:ÌlE[&XoRgNHTng7..5ogⰰNmz3 z9@p{:$)|jsf u. -I :xХ13Y9c&ķj j`ÜU̠k>旷{4`ߪZ^p1Źؘ] {d BZoށU.hskv|[`+W8ՀLٙK0GGEؖ QlTFz}hшDt D%AJ_.vB"v 4"'8 =s:Ո˲\Yy6G@r&$j +v",d|;Y,sTIVWw$p{ń!{. t;u%* ,$ꍕgq>SɮQ'e;":X&? 9ѶU{7cLYGGVn"%IZٙ 2n@vcF :H/:P%֤ϙ0`2nFp(%=iى"NY*!%鹴N Sއ ӰDS丹PgD{=>qM,hY@\b* UwbcVj`Vp#hn [ڵ~CYW9ks; Z h'W"2˚ݹrMuFkk5-.CZ8LZDw[@ϡ[i|s(<+g@YF:d dT1 ~!6DzJ0:e 9jRj-iv*Kr@(м&T3L+DA36^_{zz8~#رKWe3k7;̞}4"M!!nm}!5>:V/6vZ_FE|Z}BA[aV A_i8M^k 1TK먾bժEZSt4XQ\E$bz `uT<)!Z1uZt]Z7#PX|ʖ5{@;ԔC;\D \G@'d (LU|"c`*<G`l Me-=snX8lD("ЕD1h2}°,JN !z` 8ïߒ@e^yC&i3mIyE3j%nS Ҷ&9!(}hPzܕ:ݲM.RJ X\pHE&ޒ hB9D"qedK]x0vfY<~P/Ao)e_D$M<ɤIN: !!xJ+4:(_6(-x$94חyKȉiNzB<翧Őr^~FyW) 5X4R0 .jٛ5'U?e1Z7CԔ,YB9\R&"@ЗzSonP.{^=7ArO? 8r?΄ `ӽaepaJYX(\'S;>wxs/RΪIFLMJ\9G]?Ou0ﷺ D_t#<J5=DqVBƃ3$^{ȡo}L҇AM.]E/ rrۃ?tJ{ԩ`%)<;]AKϦ&s[x5'p퇼;9CIޜý|/>Ov2ة~&Vp<eM3$!:UB(H_`a nenͺ ^f+˅n t'5-Ud*@a }3f&Ȼ?pdxQp߉0Ɛl3䔬5iQC"ƥ:$k XR%gj2{htֻKc0P-~b>&q&$I0^WwCQDs8S]D:@& CyE%ДTgHtaSKg;YK8㇭o M}OH2,X 6ץL4 qj^{X0Q5f^;V/h.nnnDJ%ayx3ׯi qs2^4fDtK.a7,X97aTAJ;K,GgC lM4?ҰI8aP8)Z7k9`wYV3xhEA>α~qc?V.dž:J:Gc*˩PnJ5XOaU,DeLx8Giܽ4l aZm@U,?Y|SW6V`җٶ[*.XC=[cNЌ)!Aԑ*9]+euY#;Kaܛ++z }t!++nkΩ pBS,?X|c;dʧbBJ4^d]aG/[ G05qQfluO3PPs[M#CH_p{Ve pb7? &I=I2k9Iu7o5QBkꝾTT5 ]X_:_\?$6a+RjJN"Ŕ͸#˼ i#d/tqlm\g|xa>%q_طj(ιe9q5n'}Pi^ U'6maPdQI>D"S+QxPfۡ76v6N ȡ`k%E3?(; j,faЈg62ф7*YTȬv@)Lb_qc1Ao>US>r.KC?ZUB;7,~Oˈ}J\ )iJկo8%SK?޹w'{1?~RŧHv-+j)k˱<9fsדwNE "0)g<0L3Rp!i0<`ͧ g\;<&75 )5 W-rk4Mux<(eX`AIDg4HMͿv]}:=WZp[MS/^lZ%md +oD.@;^7GboS4y|\Nb8x{B'@%G*VHCMUO1E.#\_Ёf'j®$*-FF^2X:n//CpnۻbZt[TiPh )]?-*gweuS\" ٛ* Sx."Oa)$+~<aWcRixzPUt*!I%iin:5[0{F>j&sEE\;= Cp <+CQiaFNKA1|f9j`MPY0t [pAdE6K4@fMx/v0I}iW$8~'W.Z^4ȞiD-A!s!L+eͰs ״ͧde-_NE/qIon !}^NAQ셃DYO,PuF*$oU\]R*gJhiktj`$j9ˣܦ@1X]ϢjQʞ.0}p7(5@e/`,6? n<8"c9B4oGs納"ӻ w@$' M8ҷ]l5p :y_tFKAN #Jؽ:ֻdVqPy ŐaD>W[.l8zޑ׭pE{OͮGbw LEg8jt"֮WƪG%flNȂSadm׆O]^ofY:UtpG xf1VƼ*VnBS@ck1q1m~Xϱ-'.Y2:>T)f51:_J,22 k EIUԡzub9}3ۙ)+e%_p? )Ԁi);JÂ[Uy/˶` = <H1r@) <+SQ̔I$wJ%.Z䱊f# ^@:md 'gxy8' 3X(_}4JU<L%=ɈAÃP\vM$xHwq{#Ds/$K,ܝAVFmk]6O|&^ Æ:e157]k잚tXi®hANSdͥ]FHT |JzU5"FV':P<>]dLS1QSti@7lQ_A5 o80€ŽiCw`PJ\ڤ*qat-L{b1JE ,X7^ݮ2?\[HVU+jaڂxʒ^*ϊGQ2S.gG9^*'u4q\$j7ҒժFhO~8SJ94aJ$E cRDr눺~FWY M'v+(8ڻ}Oms<mu_Π9%O$ruu/@O0Xn;r@mV'K5w|ɸ-i!BF:E9(tkn*UJ'\ -G/y&2仺wVEs$%D͘[&9^23cNU盰V5Frèq_1 ˟pml>w00_JiG庁kԇߑor_.c‚½Vcc]YC)Ɉ m8 nzJMV!-s}Ew2$<]+`b n->B6^h)z|݃˳ɓ03ak:e`+[gCOHs6 XċpoDPͣ HQDLZqJ[L۾cRhEJQ(I-e;>qF5/Q,X-vޚ PnjI'@ <Ef4M[7ν=#MәF莬n6xRF"cG<LԮz^qV9E#!PR;P G屭ըɛ!*≿n4VzO"iUDYUdRQ\WH/|C3|gYZ  4 4o-/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL,/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id208~+/=' HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages7zXZִF! }]D?7 {?:fH\L6ҮG 0?/rm 18kjə޶,e,(7x];Tۊ < 7ݻM U4F>U۶ڊ*=8,SrA^ *moj8Z:W 4j1 ?3{=LO!) +pǼsЍƚ[<ƹt"i2~c k}.8#0R InL*Qg9Nx6iĤ)ڋlvN:4m0 H֤ @Z`j;Բ&Gh/n86y Cbo?[ME {LV^-FMu>Ҳ].Q|?Yt7HIZ ]ѧФ2ףC4Omju o5LgYZ}* /=# HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup7zXZִF! !}]ˠ)jk2p O6LP=͵gl5f&Di5b^8thF ZnsX^7%%L)O0=ЄVT*-\Fl]s HYɰ:g'|dUy|1q0xO~AUQC :}!"+-*ۈ (o-V֟SG)H7e6yr*!J~.Jqo]ᾂ-76//A%Fa>5?PA!t9sתq$Cر׻L D(W!PJGHVn\9n?W+;ԚP=;91VS -Q^%]h:wH:GnD^ULNlF¡F/ 'tF}q-0w+ 3O|9hQ|z=M2a }Vd4mRDCDJNb!87'|~gw4*G-a6浺!N]PAd`pGkPEeÒ5$nX^ aS=k}kAfgNdI!XAhx65Mgӫ^famUvG7{Ңs½-51A!~ȡ>%~@4@oR?W=`Wkdc뻬Tu 6{ݶV ܲ[Q"P]h-3`T(hJ턵%4PSY΄(FX@[_3ZosQ,翝=Ђ3/ԓȒe㓰ah=sm Y H\Uyc Āfpa =T=MR)_FQ6$ι )V4JA48{xPڨ7We7n]MH3 8 q\0 cV:7꒪2so-h"^?z1޶;nm6ո ͡3,NK[0ݰUb@ ҭv|Uau\8KsEB{{Sl)5"CE~7.Iߞ&pjn3Ф )=32Y.ԏIg,p2g9Ak]z:EFǘH/eN=Wٯ?ŪGJ]aU_.u{y7~Ax>'&RĴ΋TFИ͒QSӿ`TkOC6bƪq.ȩ*iiHǷjF3JyY>wl7vlm̲E9K==H6nW y#& ` zq0yՅ'dVɂV'qMODBSӜOuzgQ,QZ9ZiM2Gm6gi [1J?2F1#aU9VRC9a; 5λ2"uG|ỞyXZS%ւ7d+gD1#\R ۘ]FعFG%ELS$]=ᢽe&Wx4Op=x4Hֈ#I:ޜ9!1qÄ:602b!O#OJLd):Ԫti ۉE Qؠ!|&ZKպL`p[Z}ʟ E{zf+}k69wJg| ,H8#A5pdp0O`koG Pa+;!꺉Bp[IaVhۜkI,I\ol1 Nj)ed'ʻ#0lg ,=gin t׷_ײRXRLG.!|նϛs/Ū{x -2U楠#l'"=A.T4&iEf=[3),5S]Xl'$u z"9!2Zrr> %,o=fvi.*e'\дO0(v-SzeH7+"L)LQ)瘡3yȹe>YFs9zk|8vfd\ n-&d>G;tw䖝ΈVBzINH:YO)r'*IתXَGSG+6w|i&*C虖V,ߠ}f`$X&[[EYQ"B?$i9b;QJZE^X5z\s>b1z2YW.6LCδ]FG_KCA+Ė6txM?/NT2H??q'PSazXK\3-NUbgǯƷY긬oVIlc =4Ӊͥ\xs^f u43o`)w*x'IDiшe&!m=T อ8Ww<89h<ޒ=9ʀP9ͮ痊$z)2S֓L|N`Nh}=K8e^7_v7飈7"`amdgې {E)Q~!VX88ƛ\K=x3UC9og7k|y/=x=8DJgD=,?\0yR`z[v{ToK]uIm0 /Ԣ Dg{\+8T]L4V(LTY5iBҽv)w$CV PQ:`4NR d0b=ZܿW(\*v{9q<69ihǫAd8ɖb:EIEQw%1նE*9#YR8BBoPBk+}T#`niMTEMeB1! }dU4'r0>AZ%bu\kT.D؎|inw Wp^LCDIkE \Bאj1|^*Ͳ pD$e'ѕ8 Bމg9 LN8[A_5C4ͨ«08@ʏ]]VoKVeX8Y 4&z>ك S˲-m8=NT]͎c0aW1pprI*%呂<@k3. 2 >JʂH| ضjxT'a.+A:j5uAl7nqY }B]){WHvlp D0ysHu%Ya_*e+%zkgz]"7,6< <<3QcJG̝s۞ #}@cfw>ajK1Cfx?n !{y6`07d_(=GN-뼀>M}/ zK;a1n ӞbV3ƦE(B(=8jQޡi I+43Ʉ b„gYZ M+1 /A# dHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! c)]ˠ)jk2p O6LP=͵gl5f&Di5b^8thkG_#3Lf.\-+ _1^@zL 0TDPk${*ɣp 7#l/+e'b^P4E e<=E$OHc̪:R ;=DF{졢]9qJ5irѦnbڼݨ DT"A{ z!8g&ͷ4 X{-)B(e5M cAg'A}oF v٣5{RM~1&{H)ܨ NUiݨjͶ^م2_oOj< XgWo k-=:co)2h{l.N.-#%"yR$ 6sa( [ͨ@Ėr۹TYVf^x3nsv5bքcu`[ K.}]]G?] Pz.WuA rTW&0#֝ZN6~>pl:ZoEGSj 7Ar6k=ʠE< ˤDmBѐy!*yס F!iCܩebpQbn܁Zby1ßwD =h3bT=G`pf.NubGfӂ.3EHIpfKO\gE*>1*ΛcmR <C  쇠Cb'ФM{WGMgТ̿QJDRhxF֒jƪ1\-hlk}4 uhQ`-%xG9pW0>#-B~v;dZ{J ] ycm)S w]@|aϘ} ՍDNqKyMޑ^ɉE_Tfoj.BҸΌEǎ$ =/JnO  L`xVm-n?Pc5i)H4څMu~RpB#j%`_;9Z.s)Wz]iۼo͸aXH<53C3j۬u~ghqfS8wDs@FzbY &}c~n ѣɠulpB~](1 J< Čoi"Ba%.Lu.Qp Ʌa3 \kDI74l9_-# w!K&V*É%|kܮ0/@3-檉җ#2jE:byX 3*)G-"{#`%\3/{p&?ﱭ P%'P E](S b]ε .#(qA`~3z[WdehLȇ0j u-vDg\O8۝!w1 l%K`.bmH{H1(1e"7Ŗa.ܑVtB;o{0yMR;)lD)*䜬F%ޠۙ&L _y&(fp >?Hn/5N0Lk0$mO#(Q;UJ׽"dJCb<;.TxCя A\S/XhwHRB8]o*Yt0gqDۍyÆŜL]W 5Ϊn37+:Z\K,lf̌2$Tff,i{ 1mЇ(O}nH=($ {nƟ$SD\SOl=ė#t}Ք( ,8?j'tbny>6?_I"[4Hـ}P}VuZQ0@{'FB{`!tsN{S2 J>i j:*:&X_q"Iő!=Ã^\Uq `)1`KSE -uBTPKn91$ZI'c%Me#Y^Bk%Dr8أ YLC DbЧ10i'%A8L|fcn1@=6Nn8g៮gW5nǓ'TG. ǝE U8 [Vp)QT~b.=x2iD+bVMPeЭy<+P5#vB'4V)FME-TajWp cz[}RsEri&J˳qڶ5߫x3ش)0\) &‰]IF 5QL@+u GsnEmg_DoȦvVQS($ڽ<ZL8<x(ḧ] bNBT<IvKKXŗ#p%25o/:%{ o{Kc0hە|ܮ*Y.@UĬbD+Nŕdp32)dPq'g^S4r{/i8e[.rxh YZ& \Z9 a^ M Cfo !nZN5|K/: $n'?@cs$WI,yLKg$"Ec 7Y[tڃ`t=a&x` ^OrlD?96/8OTJXNpPw$?pNN $"G;L^=\"iw$\gߙ;6MT6w S!Ȅ7D %Q`۸F 6-|hpsZ'w';*_KȫFrJ8 W\Hd  Adwܕ':T#pIVG>4Μka1*`_=CeeT_BpDk^Kѣ< 9TY2ўB R!A%nvմzh*gu3b&$Elk(eX6#t.BF&:۠+LD}:kޮ,MKEᰐxG9`Upoe`r|>U>-) @'`Ϙ#07P6O8g{,=oL;)AxWtW~Wԭs7ԥvEVvAQZ߁yoIt.:kAg,8^G"QLb|RPYX@K1{yB@<=t]iw;ыmK glﰂcR^;ltm 9oFǺ`uRqT$uV BCs7V$:"}e.r-hu6bSO9Cꆊn0sWӒW֙S1~`&^@2e{^,3;df+ q{tK{HA^8%o$K?ÎqU CO~h\0/"Ȣ ;6մ[P_ŮC"&ޞL8'V}cm;WJ\c"J~l'I} LorI8by)rFRBa6)ӻSKm6VZ(AFE Bc7Ly~o[C\6QFvRTUE;*:Z} #$pp+} Xm\\+O0gG 4S9 u/l fcRP+?[QǤ?C57``sߚr\<:#ot㈛u}62Mm\C3`OQ;[F:>@;9dr#Ή1JWn- ?MR$6m֋]q K92!8IT.G&ߘe"+]*GY!_+:d[HY^%Wt-S6T3>2QĄ5ȗykeM+bo_^\ +l~eAg0Zbiό|_4yV ZfSV6"B|LJ`ǖ =KA {{v~,vi|QnjEr٦2L;~ xir#C| QnE.co쎹t+¢\0;.gJ0V"*Yǣ"{xaGSI<ٲ ΑΛsgY []Qr8~3BK:1St$THDziPM_&sekoO؃[b]PZDwjGt.*46yӊPH˸0ծXR%LaιdBqAZ :]U*{K c6 내):{VC^;}у*Й|}; BR"(  9BϨg߭u<% *twȵ)M:kBu?~V :Um|h[g҂u%H OM{evrGݧ5eY5 GyY4-ӵÆFX| n WCP~#DJa/ ̯]Y>qcxiVz@ٞNݳikwg >@; %U@wUހL(Yqk|R»9{3Ks'fJ(vR ?[3V;du_=SzUd̴ulGXM:Z W`{>ST#p8YGߏ<p}>m"Nu-?ޭ$ wg%GŢ߉UtlT\fY퓛r{)+pDyൽ c̒mÏ>G4~7VS)EFf'I { ^ l~o3j"4kDufvڒFoEe %FA1|_P`-珷\mH2>_b~ x1Ih@O4ȫzƝhuWd$xe&d:o`LNj-67X]PlMAؑ8qʮbs?.c(|īUt[C['K:co!-`Sjp2~4}i_Qzd6$%GOB[{`,GUZx DR'=@*B\5аL&bڽ.= |Oҷx ?-Y6)a!LPpiP%Rt-rQf]R&2]E*9ێ2&jQKu٩x-fNsysu |o ~;bV-_r&ΗGFʑWBq S(Nӥ6zn),%THį_ RK7}!Y͠,lY jFX @T]iįf_ ںq +'I<. 1Cq2?aC:gTG4I)p^ r4u)pf.J\K1K -2UGm>wh(IEGq5 N[ôZk73~pXFdx<p%O%([]?u`rhZ^.SFU~ln -S?dşcc4Zt*7jǣL?(RvBLOVlDf7ry\֑U#Gd^:BsZJ/}r"2'&LE4( n,WO3̋$DnG*!ϛ#g#h&KD>-Q8[qګu9/1f4( @+g&nGOitO{9 5v ZJ@e6Sb 6#u'&]V]0}_<#zsaֳzA#M8hN2XF &s+Y˼82CYrRai @m8D1?tH2JxWb8Ohzn+T0a}b'M bU?8Е;J.A|2GmmqLGS}2#~ Ju.> %xeI%5z(!@Z wD S&IOAiuu%d%›$D骡%oeK}o`<8bQ1'u;O#֖`ryz7)n4$N6ci2wnق"t$}LeK#}o o(3tvj61~W0PHc[ 1!Jߡ GJ G(S"(쇉k;D{rk6Q;d#_,X 2M  +Fź`zi]ҀEh?9 #\mcGC~+ל(z'&%>$>3l*/O<\uiK&_З&M  }>_` 0Ҙ2!s/c,8#ue-0爿(<7"5ѝ#iC\4"&ioJ#t5&cCNrv{iv(èvxL<>/;K,s̎c PD+x 6mAB]{"$Enq:/zQˇ[706,ټ]#qz;ɶBaR z8yϮ$"4ѾJ9yN9)f@ȨY93Œ}_])+Ql̼6(oC ½s֓D*trM քڀ/I!l TD{ڀ>R(YBEpشHuSǢ}EM ठNRiC:?ULpW ]Qۋ?֩NI \!){_ xZp|'ZKr^V|ΈXHhk$CkJu(Җ*>|dJ$9I{Kȉ>؍rE# /D0CeLo&dLzoU6t;`f: qVTO` 2IaU: !XV8-4L}5Yd¾g\HQ˕g<̱>o<3Bs\zOOr5G6x8Lғ KQ 49a Ǔ)4a'G U@b){EX+|@LB#Iu`ɸC|Gb=C9T~S^>JGk[>Awo|1zWl J\Xd]}ʒ){;m 4K,oZnb*и8b@>1KT#<oƫ[ǰ;j>giI}YeNO?.s7UλaDjZF ƌfv kMmC"j;$Cݼ}A*:ʪ8Shff'r%;\kA:;Q8 {}7S~ܒ)9i{d2QRUXwJm!/)02vƝ ,vF@ڹIa<.0Zu֕zZ frH3Y85@.AX15Z\-y.uϋr1.0K˕oqjCUAn=|w!"pD f6S!z@a]IpW>q6dHr9oLǪ+E4n ͘b̝Q!Z o7icH$XaʁS1br;gO=9)b$X DP$AZIJC/8 _FZӑЦG c·q== 3? n3nW… CLH1H㨑1pOQtcVgn G VQq*i6V@U["'ِċv ØuʫDH4E^>!]4v{{YG mP[pɯ{ۻi1Z^~EtCݾLc,"9ީ hl))9q˨* bk.3`!vyau3iـ ~ˊRqk;y7K#<祘&m .Wϛ*HG'(Q3[L2蕫u փn(H 7X9,̱G$X#pCnʂF}f&PF6V4ic %@8G[wu䌈(Z%fZMXM6)`YK0T>Eﲓ鄁phţW=4J e0pv$ܵ%G`WWOcH3I mx[Zv[~N$Ɩ\_VFZ!fk0(>Vs M{epP?(DC%PSz+n@1Mݒ|R.zsb;kTs7tvcVh 0%Emd I7Uw}x:>Zנ,7~+l#ᵊ g|G8X :),A UhRb2!pAE\w/ل keaUU^pN7 OldZ%zQiĖ˜9.?b1eyO37χ,×K[ IAܦ~BY$Jtރd>>-oV2 ړV*jw+W^RB#HP糇 bq9'vyQ)iH=XPlzj_Dho;I" p0N0$@) EPc\ÇA6Ƞ20OG }N~?b>u5,̨G=t cF=ߐ+|iM_3`lN2;OXAZ} 96F~ DT-k)ŭrT`gxb`ݢy(tw['Ym iã|\<˟x:Z;%=O ܥkS|*7~X(s4ÊM "ü] 0Wkɠko_ii135Q4= L=.'Iq^:<&$zh$( r̩m8ɥT,7wPJn݄ ޽`a]+,} &g%"]lw-X`Ke~O*Bz\ 6 X 64kvˏ%i8'i3;nUnֿH 並TȨy#&InaHt0کI稷ORK_5`-$i3䏆O9S `M OV ˟/H;UYl"TlgK" Ԥ>\ Ӈ#9)4?Nzu,D3zpl6z ;AM:UËI1|%=D%=~FlS`EߦOEǞ Y){(:cɁ~= X|9>n v͝8#c։avg6g `F'ϰ(8Zu\C4xC%eH5 @FX?Q-x(3CK׮DOPE%vBk&ͻa&֗W_s*'U%kDma!Y!p(P@po{UOP g߫9zW6k]G` ꔡ7~N)r0bM8)%TAR!5h~iW vDƕ9 loZ@06'4͂mA,)q {`tx 3}L)CuTYל.X>cŦ]#'WtSRnQC#]Z7>mn<p5:QD&{ kF1,2c ;8*z@YUaStM}iwQ  %yM zt_S~MClrzZ8j+äX1͏r iM~Ո[U#g=!xމV'\aLCU*)hڶ^䭚Թ4_4i-~;/}ENW퉋eV4?&FX|fU@[J"gq/]Sﻼ6ސ[![qHSя>r#.DJ2F1p:2V:0š&QƁF(K"#;qwת"<鶏!2ׄ~Y+k=m#ѶC>SR`p~PuTK8!pp(kNYM#-km%#* ~G63ZB((+sl.I p2 5-PvL1)OJ|ݕ%'^m)"~gSt;3%bmXwJQise`EBu_?;"PG;_GIBEu,%ߦo+?iy g'صqZ=)5N֌I{~Ľ5w-@/*7ۚ U{eC%ahs؟/'ȠtBW D^4&hf1ǴPO8eXnS孃s]0;)LiĔaGoY.^ s .lD.lCh_!#1rusBZ/ˣ(JW҂ Wy~z`Iʙ),ײqJ'ڴ] ׍hjf2,sDRނp$x k\>rT+:EmE#c랰I1~~EJ%#%>=̬B(^yپys  {s+?Ǡ$z$wPIWG]n8;GΥ2 XXsUE8euR]F?_M$CQ!mܱai|QmgmRB`]f_KG2Y{Vgk2 *^yΏG=tv/(/1 S(~݊ahu?aaP2k$M /30s@mJIj-< lfU }ʛ1#ߴ ɭ=J2da%76RܙSnz+0\uꐲHvK-tVѹ~SRFrxc;OtWzڕ^Lfn LT~tMLqE,FACӥLfD 7PQ5)rw$ ɇj[׳8NE"}!JNc:DњIAFwߞʫ0lᥩ@ߝ&=V=$Tc2~i;\߷Njab_Hds/ȕrh 19e'Y,ov(:PgZ_zlɉ-YQO\{}1ai6nc^b< yY4w?[tq:M?r^߆*fI]A#_Tޕ !gR|s'<+9ů/EFLZ?N!:p?s/A T21.ZuH2y'.Hs,Mc$?]* Yc{~@bvNBǍ $,]ɶ;AceOAZr4.C|+ S^f=|@aǝ$iv>aXy9'LّQ%9 |8)ϑ;;}Ek|Sz}DJUG< Z|@39.{ 8$t^ѼijC6L@{\fJj82̜6SAF.ΗCAf(m*s㶝׌ Kg%xƒp1Ob8+ TW{w CU#,IĊe͘ "WT]ryKЈ !FH,$FbN7c3?b˞ŽAUֶܻysݤEu{}rRI ^˭V0p2ҍֱ| m-yC%NA` 8[ELIh6%e?;`~z0 IokKc ߗ°Yr yeg&EF,0"u#!Kx+ : j]_o$ E o[͟V'V<~B{kĆ Aoʀ.cѽ8~R!НKA~J?{G^d]AP$e`9,EQդUq>NFU [tYny@Ro?Y5^J-mT\20[Ivz<7ux"_̾nY,6,Wh(#KާK\BMXR|P-[өYdO]lTxsoCťJhgTS>v{>hvOJ g;YaT%:ML)GXJ^Ox |JCKvm9A}L]]pPp++Jư Ҵ ˛̫?][ (OZ6:iG.|&{rl-|OeNdIMэ8_;h+[913ZV/P1{F^K_W0S1,J-E*"1h{ru3vǏkC98`$'S0]&tyW)x&\5Q;3~"]x3gw?4_8uWEME؂gdd'|ғ4伩-#ȔPϐ3pG,gmb:sק~0S(p|G=9|qߏ]R oS K ?6 YU/G#:,fK-!ʾ>fH,lUȑD0ȹ ?EUd;,5ʋ%(B+ev-qm'Yl7VBB} y bКx%bZFup4xЇdc"PUEtS si&*v'lYD%T'ut`SsɍDE:E-KF08^1`r6]z\}7oj9$_IThv͓Ov :͎Vl#pƑZ*thOuMXu+Lz 5J0GM=Dz*8Du3Z>aXZ"E(z- v ެƞ19&xA7b-^u^lXr[ O\։DL;91zdxOᥔ~5o `8@i=xu,k{6 ]jn­t k`|c{ ~&D/;cHiKB62Y6.JoOz[w|q)X7҂߽YmC_qٱ65tOͣZj>ۄ#gM#`-{Mm~mmn)]~"@XZVWHv5[̳KA=U> EE!ʼ&z+oE%'FSkj]"sA@ .*& + SUx[{@5]qbD3<eNƢ1eq2>T! {'HKsM|W(v,CQEkaffSv.TM빒,Yѣ)NCɤv4&#S,3ڤCdD:\K 8ɷZr2kFn (RyGޫƶ,MDpH"Ű*E7<]f"(L)W.-DyP&]Z{^`.U*doà#$5</Mgm aȨH9D%y mHT5ߞz ◎G&2(R59'0\YcmSȇC.lwP>tdzv%0tTKqH3wWF/B.S=n݆Q51f$ȕk3^ $-ij W ŮLƎ+y3_kr52]w݇QIQZpz*lJlPC;`m~K)BZR7tx "5疸V]NN#R-Iw ۄ؎5 G>?~K'X0}?5w@Lp9?v_5,nmPu Q7!s͐*Lg뽕D:_۠y#|N Yk⸥_Ьf[ti`lLEp+J6@wyѪ?lac!+"$áJH^[d6CJlg5}{*Sѽ*!mY¬sZ#M@vg6ІEgO jEeV˘](MzwкUXAQ$tެvo$fWj}[bZ<(2pĮ6,zوQ2,%j Wp0`@|.и ~#p1sxycaäE'ۓ)Aj=I'iل9T`-΋?4ؗӼG賦 %!wYf=æx@Cd zv |u-z%SC %3nr ZlⱍT.-)ZOz\沲= )(k$~3-#U; Y.,pRI0ל5.ffL" =C _d^~` n\,`Nm R5rKJ9jUO%@;h 2$stweϛN*SBͷm1͐zhԖcek~jL.fzs_$::`RSȘjS2C?+Pʶ$2Ɣ60 pD[EQ& p)XZ1HpgW w zѷ ) kbGC!۽6%z VMJç(S1Hndn3,%WXV²L/[ w9޶WԷK3~4TpTchA\Uj&Sod9ĿF?r_KO/ ʡ @Zf/oI bEYa{/9|N?br9Rm}Oh3;%[~0f`lTV:wh|;DL5EBk2qUp{`kCa] { 8۠49B1Bri-skJJ("t-*VnbZ4\cӘԊI`7{L l-:f$jsfUd:[Cj=LY3`TM~hJ$BwJ$LXK1UUi@޼-2V[#^u%S$]QĴ~D<$!29Q}ԏ M⃙R/Ls1W<۟i!-V)9^&c)y&&Әپ} e&V_f*q|\:T)skm92=2݌L yPz%0Bu=Tq!z<βY"IF0d>=?NeSW/e0UWIndQOW_v \ycY&:0oR;4_T1^O}gmw".d (~tnÎlfFhLNdm A ߶* |P$ #5o S %M#|wf]ZJD~9Οj`&g=j]E2ԝ󦬢7%ٛg泭*ysr)@ "`ʧ+*X膠@N_0JQ8R tO6[ҋ4<׋%%cs&MM0@"hsbGV1u !IiQKXm'LXW v$6VH`Sa1u11]C'2o2]چv(Sf=q>p8Q/s6xu٘4wsyp[+vb'DVkxchTW:BdnӨkl70&ǫ$>fe%[BŹ7"AdPƑ2鉜:ߍ2skI/57뢟(B݂b6&CШ+9P}C=նH͕WԳ([$"|kV'XhU19\,j.[ak.[d%7wÆaޛ}uBŋf{hvY :6]-eŌFV5r-؞eF$3 nLIt0,A['gcuugx_fxAEp7) w, MZyQ@$R^| 0"uŶ%k}-Mer2GxyS԰aGoPu9b(/T}_H&ԝסSt3cnO$dXw_.bb:)L)w^[sޮwGPJOS8P)4v#2":,vk,#C"Xr)4lCZ5cRy彻ܸF^Q@u(k٫h-(}7@ (3";{-2k$FOI"1[e*>w8_i$ۙx?n E[f$,GOj(͈)RΤªL N-TdF!{Ey6J?%^f$"n A8g+O(ݗTocfT蕚Tplld/~(>L FO^CcJcL]s^&aUpTJ$!}*i*`&~q]#+Ɩ ' B/٘Tz65Ѳt=7_yT(*璤#a#csYKd eȳRAMV(t3qpLl`v>ͼ&!sX:J_w ǔȢBDQƤyʋ@H7,-wDo]k0~Y9 Vf2>oZu.0 E+_2c#4CH#yNX=؉-nzeatSCFSj5y-m6^?GOŅp;6{?W(uQ].F %%)L|s9({]8~l W r%VٲfqK\5oqqRxYgS(f# <%H]X?HP?yߚheq(~_䴲μhĩq.ˬhg@7ET>K|Y9bZ'KQnX+胢8@/ :)%zڧ*mzYR Ni .n r5mS`T>KFzsC"B]Т1\&w U Gu/11,53OQ2mE]cLt[e!K!QG7֛ↇ8V{ԘE#7= }O`4gQUrMݷֿFh*{6{#{>`mM:C֙tMj\?ՒK2R$Z=zdv'3>^9Zhw}%Kxwc'WgBfMD±Υf+H[@FMa$5ԕflTaQb]k;C}7:,[ -#OдRf;ÚEz7[-P"s3`==đb>aR]0[Mt i $NTmxKÆPmk@ ,Wc !;#UWGpvmJB}Ȧ\E[p 9|i}XE -%6jdcSi[3}w# fsߐb G >Tq5u[ʊ!XD{Cz`QUn/rI09\".n QGW wB)*jr `QG^\7a!۞HGRp"L>$+jy%ؿ@ቁlBh qXL/({_ϔ:l{vݳ-G&C"QUIl؍*r¬h-zt+8Oگ Gz(jqQ^ǞGƞ7~0`?0 Ѩ. 7)XZL|hTˁgB~S*Մq/l/}vnB+E{2Fs(l-.Wl"G:mWHh]TtCso@/a㮥M1?7L2ܜ>SKCӇiAO(OXA %ߑ5Cs;**&qa2j<#cZ*Z[ofK#JVrvu' Ψ`lQ;eOw2VmD "R5pWObx^V&jbA\E,)#^oNFumR~l<<^kz慦o4_\r;uZsV px}#\вnx?G8pN޲.`g4]+(P2q9rh,E>x2[ΣD[G$~g}Xe32 {{IGDs2oJH-aP#3y{ܹ]UY\sIF/wBY8jv͍,n־3E7"E4bO*:QGvO`ErO!",ϳPH !/b$XR\4y>#|yX4kbnJpAcޒEnv\Q1$5e[5(\Ti귂c`.(J 5ǼHn9fWŴ"MMP>pDʛ j'h3*%Fak_op#ˆ*dሥb3\{*&P8KG2ɝn᠙S۳'N$e+@XQ]]I.j(4ec `-ДYGEWxFwͬ1iХb8V0T ~)s>ܷ/,PtcM̻IwG?ށ\v!K<2QOfGz Jwhh+jf M _=J`uvѾa R= VLm67c iѶw?{R8%QвHV<eSy;#!1Ms]Ztk 6ް#u}~"ioW/NPi۝(/*;-0N? S03 ݶSxjB1]B޻\gn0!G\ |p^u yR7x#e [?jK$VIk E N갰Ï-Wu}>z&;ZHՆM{51X^,'/B9kEp0nKג8K΄X2ƋݜBNjE":Jnkq9lw I.zZBA+WVɱ!MLd2v^Sx+F; yӌCP*%vV5J!|N3;E!ZEgX4LH("rٻ}sA93.wg? кn4/ Ö/x72ɼ;&֊s p@z-}1yvDTWټaUF *ḰH85lyf7n[wK #KB6:"J(:n4T¡→'N:hDS, EAh!Q?HsɆ9GbocR]6Hƒ@*BJ&1+%>~n.&d`;~&KeӚ tfS.0 &ygOZ.r$IVB53 2ctMtƍJת\$ /'ުy^O?3 ᖄ됫yAI]+׭cR78_vC9ƶ'cOlJAŴ[ sG}`}{?vFK>;?aNbc"ʙq X}_Dˀ;M?,W[lٕKv{,V_f qk|j8ھAYw1%7lOe:ȧuR>MЀsuwߌ&/%Cq~]4a! Ng/Ր\ ] f2vaf)aʗydo׌b;24|Q! }L l|v(GZQddw-%IENnL ']_ G] &d(!53R$7- |)='̱އX9) WnPaD -^{gYZ |&|a9/A!VHOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files~~/src/HOL/Proofs/Lambda/ListBeta.thyE8/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id214C7/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s>]·Iq n[:|&[zܒjvkc3Xr(TO L[IIw\|@1c=hhc+g=FJjꎚ$zXJ"_=!{sֶ,/eDRc䧊X%f<%$3b˱$ mGM9m6!1!t*$:y 7w>@N\@#Sw<[ )A2#߮5KNf3+./z]M<5Ә&ŚFH̬nѯd-a/YkOϻX/$߅c%tXuw0iu#$BT')n8KHob=EyzllTGrΫ8'F>[$ou=>rܫM wی)*7|$R}!'ba Awv G/$ :yﻢ$ '|\jLyMƷDH9t}nvztK8)5P2jYQRrx*ҟj\~GtC\۵-N^GPE-ly&@ Vw'&]׈1֢͠棾O73aXQ"]X@nt*(F[9A`m"R;MPE`zB<^xܸW y8@!fF%¤&1ɹvTЌ{3ߥzୂEJVd%  vO(,yMuMНE]e>hGWyY 1MAly,t> '6ԦF7֙ҎʌiˇOm/S>jTg f^ /jd('WKq|D*Xܰ+*r[8n $e [ poyo{6E[51 ?&k<LWZ[N!ݝJ^PfPهېH~Ke38P$7kPbRK/qϞoPZ/0y\"M :byBl`{4m\$Uvѩ5m ͔ / d KVe#|9J=S~ةVۜ}VKw Xs] G~=p0 jҳDp q{!l@K|VDKo07tE&9e:{W$0qnx >pqq,3La\[I;* $UJUFa֧39} i|m!ӸyKD3 uF p!&-wѦv3WfMn;mf*1&C$6YCs[{RlK\M$id_lKV ;r q%Pe"yL:IOw5uE{qraEo@yluAD̆w|Zޚ; +<|k_O3uLHߗx 4yCzT239+ /"}b9́I%>D ٱ^FuTkCTrd#En 7+uPerlE$?LZu7AZfօ~nÉidvEh.yv/ǹ.3&@`Hw!^d*n f3QGH=aZ->鑽 [*^ FT^i Ctv9Í77!7tz@'3lorա#f|RhSW~l f ?XMB,<= `<<7LXU0H,'"[yϘ5DTYcs8FoXMV:ΐ%f`5XIL õgJԕ6*)(=8|Xds&Tyev#j>T`pX't%^ !*p I9 _714hg)e_Sn5勪͂}{9Z>0,|4&d턦<0q5̧<˖n䲭$?;3e\]rn" i BݢhM3DZ[ ~Vv]K`&s"Ha 5 >PLݿ9RpE #MlM1Pq.BacQ~VC_xe`L:hAtWaHd*lO"N{Z:'AVUH/xϙ8n#xu祖9zx:Y+-  A~MvuAda1ӀUIC$W38؊2o5dkYL{${JaF 8f Tנ@{TbBw/`tԩAg t^]H Ųu-;' Ǚ7`:\^KS1 0NXe:Ly PpZ{L4ݷ:wok*g1:ZNʄAbQy/ugkdA7c7d=94(Y 9AMAQpb.O"%Vp驛#AKںNY3V!HK,jz~8.0IUzM+?^QՄϱ ]uuB"P·Eޢ!6(}83xJ}97bw\B#*8'Y8<MJ?/(КJSY8XqO}SV\㇥)v0R)&#. ~br.{e#|p RtcH )+s"腨pQUȮP~]JkL8WD4mD*0,S2YM9& ZF^F*Ù6p~mY_j'xyVSҿSDqzr !/c;tf(hb)Ԙ*ۈ0~ëireq&3*˱T\%$p@?dwfop(+$|EhFVM#x׳SC*Gv*)wqĚN`im_{aeO?y><-bm-Jsso^y\N+o@W>!~ѓIQU ncZ >r (ҽ;i,f uw w"M!\ͯo//B%I\_ݥ,6d(ɻY$}@XeWZ=tG83ncu6my0DZnjZ$Ca! 'Ok|(W֟ћEpdxp˚+Ah57<| @3ܰWc9,+Vgq "P.9B6Ⱏs˥O cƫK[z{BnJ'4>&6vCTrK+QǢɢa^fNQvHzFo1DpY!HnreWPPayB|]-х wp^HSphC!t7(@_B(5_췞}z=4Zg ZQTB7>.IFZ\">z6RiȠ{'.;x5gn|jξm?:f l  ;" `&SGI명vνOI3fL%9)sՕ U"Z2G8&.vupͬ߃D>{ȿ%gRlSѲl~BJ≮fLE_i'{Qj|8O/٭c qb<)=e6UWwRx`d6?& ”j+z2љQ8cGЅ"Oͳ\Z<])mW{CyUE2 kps0ӄ\ cWd}gkY(jʪ ľ/ֿ..\69bsJWA6Cf򀓗"tˎ3N# ,.K>xÜ NNǂӥ@+F|=sҾڔh&u(9׻Q20T9jqw);A7KS(Klh8}ݒxB(NbƵlQ^@.&`ig39'_ GhkX1\>Fq k.,v8%QC^"g6-`\Шӛnȴρ1m->L"GZ:H!/GLA2tBEZ0Q?LwOnµJ\8F0oSPM Ů RL@GV):F=#:>etgM vU!bB`Cұ ] h1#n^mrksGqz~XeFôy~Z= C^5=GD_chyVg@NbOe14 c2,6nViiA[qTWuט@tgh[hh*s$Eа~Q@"(9Zܮ:߻J+U/ QjOx@oA[#kOhE&Z/0iw9YҐaNc"c(vǕ3P e`GsY΢Cʒ'aFUGl9&2X7 XinE*XHq}"x]4kIK?\).:Zm,jqx1UgX ,&jiؘ{s USbSᄏCFq oT1'%;eeJ%42aښQJ"h!.fD@&<:btN]g8<';zgFPiU^uFZ ` XׁaB ~1m077Q'{0hS grWK!PdlI8+}wX 1qFxqA[‚T9g-qxçPV5޶f(QI ܼyBI4)~n'B ?ojjk 8Dp'52~Cw`rƌ%>SZ*%۱-Mi`|.1={>00wO67_*/Y o>{pH\.h!ݩr YW4ؐic$.r igYZ>/=# 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/)@$AZܼ-K\0=yx(WnPeN:)%B nq!b +]yP_?+ԖWs#c#ŝ:* 'z'_nn]qa|HTg6hS;:W:ޒ]/@96'Bt5nq{5$A @t-mLx"} 첑 'Z(9q_!S$mm F t#cg lLv{]M{Ts膻zl|OC`ѲIh ~I&?js^/~ ׍xڐ]¡5Mb 4qbL;8Ŧ%te^Ay==XKR f.g^<_kϭ}**h W=>x ==/J׃aʺ\XK@edF#] @MLXe ۩I'v㔬ᶝEVLkrl݅ǟ̅*/ew1nj. EVauGɲ׶wEZ<4 nfR7v=3+ 67忛p\[O.T7, &]HI[V=czOI ,h2T+w))|Kp}!‘|t+gʫg\ UsHth8_-KV2[N)@bƏ WD1e[T1}ÄO`4^ ƙ^g=J@muz@B:LvDmlׇNWVAߧ-qW_}@!Nc>^hia@A]=/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC</=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id210(;/A' \HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages7zXZִF! ]Άxʆ5.f-9 rq8L4'w"ppd'wO̖;Fޛ! Ym%m!v] $T3,EoqX4 «C4%"(<4櫖NrdHV4mMyV>EaǠy%-ftWYl/;g1v(h `o9q6A)a\]0Pӏb8yq҉d_A!h9L$ 8V][&.{}qTߪ>.(rm;K;6K줞Jf'-w!`L2Vg\,dbL]O'$[c/K>M4_AOXLDQ^׻R16N`,vQ!|iD ûW.C Tݝ+.TpM !XI(0ΑoJH )=?K>9O^-G9õw ۉ/n,b\ȢЏ佯~;#U*؄Ctah`S}[IrO%kV^7԰r*TB>޺tKdzETC E,QV.pm5'psїsSAM;ƁD^t~r.nCq+&,W۞r[q0 g+xZ  l/2'G I9Z#t='کTvcWj4 9*3qaT?b Ez@Β= "|>% o /  y A  y: ~D  |>i@ H }I P :G~A t'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages;</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup:;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files9A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id8A/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup6>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/files5D/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id4@1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citati?/C'HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messagesC=/C#HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markupB</C!HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/filesAB/C-HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/document_id@C/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup.B/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files-H/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id,</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages+:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup*9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files)?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id(@/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$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citations# :'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages">/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup!=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_id :'HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/messages>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/filesC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id }#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_id>/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup6/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id P7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex P3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex P9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex tG7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex tK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex </7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.texL/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texN/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.texEHOL-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-Proofs-LambdaHOL-Proofs-Lambda.Commutationdocument/Commutation.tex %hE|? t 6 k +A = h O  F E {J/O1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsHE/O'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesGC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupFB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesEH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idD</='HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/messages?:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/markup>9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files=C/A1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations3F/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex>/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages2</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup1;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files0A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id/E/E1HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citations#J/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/StrongNorm.tex@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages">/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup!=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/files C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/document_idT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/Standardization.texB/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex ?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/filesC/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_idH/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex =/C#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup</C!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/filesB/C-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/document_idF/A7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex >/A'HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/messages;</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/markup:;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files9A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id8y E,ݳKIF zMW+lho%K;`ZAR$Ok-5.orUoo AF7T[bG IWoXb氉c145hjs[lGֻ>7ouZ9QG#*ֶJJuRVWh?sۡ *l?qt0KmFiFKV_E^˷Iظ0_m V_B smM;2ɫ+B!J|q)5]0!A00tu^)x7/Z.M![h$HJSN2&6VʬG%NwTD8%m [7n)DWڌf/3zȁ7=%g>l]Սgi4  a~6$Q̡{L,ښNaAEW_wYFVY R39uRfRMHM~4Ā|b&0CWn9|WM\7QbyLj)RBїc2b@AT<]IY⥙ L[?iIQגH^ܥH|הU=.hPlCǡ!Wxy (_,E*3&2̈́WyeDpp8BE]jnG*/_J˫ z$cAVD93Xv4u\ pxh@B1 /%4zw`>_3X9$M{Hz{ߎVCt|cN. aQn0M$l qޓz!ry'dQh{Q_V L(I^-:ǔvWߐ^fP0MB{XCLy8У& #!__Rq.nr5Bc 5SnսnGfpiNEP +GNW%pGB& +8ZlIFX!zF!fn\"6<=m?lFI؛,j.;<n1JG_l:gM.;˿T ۓ $򃡱2s费e,%Njr ;'8KsiRf唨AP|-4'猤㕄aeܫPhSVQCS_Ց+J(0CMvnCSa \EcѮyc,[|h^٬~Btz?26khE`ڞ59R!A$>3Gۃp㡯xoX+%0!I 2GMvoXf]۹>u30VML̖IR 9lCf:\_jZ>x>A ^iW'f&`ukDi`ޝW SjM p%Cu1i{1_Oюa1& eK BR̹ x*d2X ,)Z#ݔZHl1Kr|g#/pLV=g 7}P(#%ڲΎS)㢼$]a]~BzthYGUҧ8۵Œ>A1BRͭG{v7$TXEij7-r3Q(su0ޒz}J gARG]J0Nҟ> Jx\J }ďpՐհ^p5 ?ˊOKa5XᰊZ{V,JGh.]S Wֶ(,ӷJ+|[ȧsM S",d/J&yѼQ5Üa^[r0@TI]ܕfS'd>~\w?aT椱4-Y'u?LOJAljwL\B9% tczXc6Κ:ݛB= jq VLiOډjJϗK>)_!G|2tR}'ˍdpA[VA>Ωs<;ڥDZAqXp}SǬ"pJnZUO~ȫ71+g">^63X}7VB|j`HOD*ܡ9?G S *:.ָM} \O-~:C.Qhe5+4=$Lځm.gp3焢n:05zRh gK >go?a[`ަfUW`uFj$vx| `HgR+ }kḚ]:LLM9BD3a҃ 3qՑW4r!pLNB6l X+[ws{sR `P irW*, nIGʚ%/;Gi Ɂhg(܎hl)ny8<9UCXN\'~ӿ[H{0Q?8֗)qqryᰡ1M:gn/5#VOzqlgCȈG*6~/aXS5>-4 H3O :IN~L:8s8dg[f 'A7`3^D|{,W@hdvAD; 7k:WbSZ.r`~ f|w?|%~~qB5<<}ҧb%Yج3ad3M FǨ$Nur)گWRuhBdJRǚ𜨣y,w|t jaQcfg=}'t.A-*^C-P04[+lasMØͺ@._)"[Yn$V2dʃ`sMm|gߞꃢd0 ~?BB\lfɼTwpm?R +^&&-W leNb;.靁-R} v:M)(Jd#'|͡R1:V*2cjgt UWQUWGT5UP۵PZFBp8QcW9#u-K՛_=Lޫo ;voT@[h3Dv*s즖e5Ut\p*2/ =?+D&HgYZ OB/C# ,HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! M]ˠ)jk2p O6LP=͵gl5f&Ddpt)^ΙeqMtKKvC'칌F`.Be@is":_Ym|VxImI*^$V9r -,; STdĀydȾ׏gk y>\}XRQM 1eΣ2m!<7EP !Cpz/C>d,[O[.gGEHOzǥ.g$e64fr՚*Si yRV!_We@Β *4H*[`v(!S[rzq I7/ >T@X:3̨vƭO+of܂9%̰6 S Il^P Z tPFWx0mU Dq|Ewj m7- K%(Ѳ10UG~pn(]YXeaԪɒᵚLMCFH3CLRq쮹}TX{2BǕKoG뺝Vcfb(Y%w~ nuH3ן<|AEoէkudM{\'{SKQz75)`1[V PH0x̫rτBL뿤(;&>U^a//Y3ppiW]|hq몉l/J[kb"5;GԨ1 \N'i8=#66xA ;HBTvKůU!5 rQQYWXSPBIH ČCܴ"b'3-ҳ*BdDX^LMKuJԂTMIF'HPCL* z3 z޿?*mGZJ$?%wr/7*cKso. fFT'~m'5⍤aXCn d, 0WbX?GǹC b$T<5)rԀr@’PwCɇxqSnmIQ~ |)~)0dJ 7QTǷD4iH1.Ft e~\t|퓅;w[eG0MXH/BGq`7,9<A-dCrQ!2J/놖'hfH < EUj:ߺ?ēHBbw)/@S 2e_aH|s&HhW 9{0NZSˣ:h;$;ΰ1ԨycѫUCw+'=X@nS0lB/RN`%~I9_CRىUR+iTϝ,8sY+1e, gm 39Np#7:fgc{8:+ImpgVyKwlЉ)mG"#$1@H9}l9,6qA_6Fɰ#rCs4ڳ{u'{Z%'bca9Ԋ hп (ce] :xK bٕ#~w#&r >7ܙଓ<v&}yb-ΐ>A1_QqY3;egMǕG^Ch5d2*O0aP`u}|+ :Su'7[)2bZ ۜ}(MSt8ojݪE^\pɋ% ys/hCİE90ssŜ\KZPѿ H16従$@8xw/ac E&S5h˨P<)°ep1H!KRO7`iWgn `MEh(qCBo?=6M" 4zK!+yblƯATGg!qߜ[\H{7evoɱ%ՖDسsآ*7ec'?fscco3Ѥ_?>\B+0=Lw~#bk eJaXArrMξ^ji_HѕJOd:~űPdX,t"%F?d`Bcs ,D풤iʝIݎ c5Mw8y~1L"Q{#.Fg( tVv<ϤW^~(?o BES^3=SZ/!E]fHIC_}4"8dͻ,](*cKP $fMO3Bk{9xXXTK ˗SX}=~$_ʡϠuΰbw~ޒL0rOp >ddQy-YKit-Q#sqr3ioHc< T¶N8b:I%^Q'tϯcxmG 7]:.cR\6ܲh|#lЏ{FH])،`JEz"doy1/ʙDBԍ$gv ,Vqd e+N 2%;5K踮_dz&͛ Y涖'IB܅:w| 9JQEFZmdD$xA5 W˴4&ܷZnՉT 0Xk Oؾ8aYd]-]Ջweא.DzQmJXpuo&: {Q;W͚ J:~@}}+BFM(42X3'Ү~0 ~a;@FXRm :>MnWQ[Q4Qe#qy{T 7߉D^Gb&\4#s:Q}LEdr̀1L@rB2lN'70!ތ̾B-ՖcO.VζGofl?swU+E5EnHm(jSQ,v@Ҥ7Ƨ/#|zH*ӜJVV s``n{+Fvya8 s ͎$ToMvT:oi*p8+=2 -ݾ}Tnsy {-iasrgD!$U]>siYu 1*h@i;a=G,phAI BABl>9}'%s6bF7eR /֌iavTHaBЃl/ҁZa"Zgp5ܓmq8WRw tnHcRMݗ2!a`cf &OT{2dȍlšDn>1Yٛ2 y7@)Tx | %+}Ӌ^K $ZXCwNns:YGϷhWdyOSA"ʩ}-u| 1 P h(I@:qpEdμx )1KDFj:BY_qy>:z"|GIq|;( ;.DS\dj&X/WftQ"s ($Ky[=& [9"6aFR(8vɘr2gnL8Xr 0č,UZB4fl.?O`}b1=\NMO͍4?Ed$Uٽ$щ,8Izb15GN3tWfOxZ9͛%(FRuj㡐P\40dnGɘ>4"rOy-Ϟ^E IOW툝l<6ԫt.>]Y$8b|/}vÞM|'%=.!۾~!9~P;,] f> NnN'>brp#; 6sZ~(|ܬ-lB[\w+-YDMX/GۘA?3gr%ksfKh: JuHr!HG&oN-mV{Ib6ЛĥvPȽkITHf4y㏍%U>8 v=#" U/p^LI^w.!)ܯf*¬S7E*pU"ԱZ%5CiøJضaך~Q.+m37gsw2AFP6&rLye9(\I" B'elF/hS 3dlEH="0^>r"fIDx9EoE/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyLD/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id222EC/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF!  D]Άxʆ5.f-9 rq8L15-yo(^:骄rX$ 5Pb :q?I;{&n>BẲgK+-~\dTb#%<*I{MCWnuΑmOŒl_Wd?{ PxJXP({=ōɎ"%X>csTn|*D3|37u=1.n<{26E8ƃ7 YQKw-޲K{Kԟz$L8ťmݮ` ".JKP)ع;I:~ 'KBC3r$3ѷ˽b4du>hN4dL`6-2^GW+ƅvݧք&Z,Xy-Nn\*qizU%/< 0Ҙ6?O2eKrҎu/SY}L{0l1F ޠmޔ4Y䞒ˑFҎfF&ձUU 3Gކih*xW/I^8qd^#F74mH4<5d&~:&Ѫwf̕}d6uaјO-i_>["l^X?Sf-'0>]KW7Wu좑M}03/P37?2gH0¥s|9A$uc[/t$sPg+vAD8 udTdōSwhF͌<3d;1\w?*c*$]Bbpٛ8m9( F~ fuޣ^5Sճ D>(u(t<wo+ &0eunUohGtI8<$PXg^ɰ ۜ$`.)EOjC&C]Y7aMn[ t~ܟo2_VJZr0:1SMїmmݍHN̠(\cB9$\ ʤL = o!3?Dޕ< (b`_MCâC`y1u93,x*ghve'GM#gpӷ]\B˘APR}q?Li{ٯ!rCX꿣lݣz;O `_}P_(u3$7N g XW 212;MEFb4c<#[E;ā LK[d4QݔȢ7fz|PL}: /39e`? 6۩x$&hGC7^l"^\_'r FD[#nCƍT8];ExC(U~S,=uU &8a*d }5}Ψ3M8XuC YN<\\؇yth|HD5Qۺ>,i6:72$wyxa9<p 38\sBN7=u&|uFV' 'QOrzK~Zr8YX[v,|2=rjaa^03)KȨCc/:0?K~R_W0Xl֤=W(.y|jo S\]$VD 2x?)0Mi&y]'GM)_YU iW^PA<󘙄ծh2BPءm(᷉o3Tu~To׮SH4 g<|^_od%qVCB+ [ʱy2*GSVn`k5@GD *]yԶp,zh(Y,9H t7I2v}/igAF6ӧx3,mZϢ{/PIӴ͂bBisB,`k!ڂK}[>4r9HÑ:0knQtgU\t bM!BZme,(;ؗ@Kjw;  `q۲Vlj)0I'hT'&߬3Y89MyjPTXnCT"jϳ?r۲MZ hHDː)؆T3e9EP-(TȆΝ΂Pw$J& |#^SKr-[~m~K1 _w斴< d,DuE*|Wqw[%ݖ WK6&ЉdO/ EF剾&4(6@mlLJR.D4(S$@Y p3:ry{ʷL-[&Tq sLv2_rxP"2[eLvb☕c':U@5rVSeqg%%/&F\Ű렝I._mGlFKHT0~ZxErZrq̲]V%򜻪XS\5GЁ>q: cfrn߄+ʈkPP`2W_ _sڮ곭 |iOx}(L㥣 6'(=.0M8ɋ$}Ysi)XIZ xʑi`7P1 4T0}|RbH I 뾫?)"~]+z ;m#2O˪wC )ng}(u!`9$,);j׉0H!_0c~MNJ뻺W?Ԍ,#_{)Bm`|PI /5y E;νg(9buQswbzǂh$O#/o?v^q躩T"c[HeY\vAaJWl1RoF-WIfQx?w7;$PͯjX_`# KƎ;MC ]R/SMUQrOy,/{TR(bkKgZd=:{@9OhP`}Eb#{6^4*' lR\'D}5P*Cdqor!Is1eKT=c獀^l .pX#MGbKz dr r9~d gۇW7 ]RI@&>PRGWћ4ӽ'M @kTVPUu.򋏓CH-P|0Gbg|JEOV7n'K0pN o^xIUZ^򃨪y}'K'}^)~tg\jə SPLỻu,;XlߜsKo6JK'#n $hE[}A`[QqWӱv,w8η}FI*Ȍ&A zd);>e Sq2K~Hh*K*]]\';b }ňB/^˾y)y#z;CX]EF/LL2j ! Kh* U)}6$\.q@o݂M ̀ +l#'==GiɉMgBIׅTo"8zEPHe[(m`7Hbs g@nIkD.k`V̦òKI^!=dgfYCka#h؍0ɘ\vTc7:&ߠMR(RJ;չoS|"۩Dv[jsUN, >lUmFv͜׺畨S 0p}9r8t%)kM1\12܉_Wuavo2'äN%;=ʛ~=EU1Y;]{‹5v5jRAsml>_\2a6P4=ޯ'{?_K94:LetՄAݿ`t(O͐2Ȃ\P*nW|I![8v)U&c3*퇗ƎySJMZhQ`Qtc̢;PrO 92vs (ɄSrc+և.`jYC?-^Ap>WqӏIK% >4X\I(*Uc(^;X#/ʨX~)ot(dG|ui=6EC3O0v/I+]jpZX!S1D:q 5jQKϘ >5> uZVܫ.bkkXC1ϏO"u~6Vesd#n^pnv ^FӪ}4ʩ4vJ G>ÜRqrnr^~s/>Ĥ(^T=*ebԊ&R9Y qs7[R[)Axٔ:M`ת}T歩 Wӕnc@H!ۤ7!#k6g(qY-Ɇ(^.a 1 kyћ9T"0cfwb\dʔڙc<&N =|0;]e[_,/\%^ix$ZS6h|81\phWͩNU,Y뵑kEC*ȭBVKnȬQ=FMRs 9Ww<\|Ksa˾`>0*av$\uuinPg5h_ǿɫI> Gz1\NXf•kdû#R`iPb< u|@!8gcBܽb{\x=̭)QQU@qP&myO~f ȍ$[U{z\ k$yY{OA୳|RuE-v#g߁ˍБ7cOP #zBn%_wqQ}^PiwgkxCG2G3 4NxE*8 ?a gzO-`7o5u.J/=̋U}Ca!]J}8'NJ? ]?3nzs@d#DMKF$͚o6%vzP^3$$3y9r ;Ma:W k *7{]-_;7iՈ\#e;iЪU<VP9h)ie\_<*aX#͞z0JykZބCWcѻ?8S!(7D:Z Eo$/8 Q`HAZyX=)\2@i~ģEh!X2)>2#7Uu 3z) ROӐ8/ ulsMqs@ Gxt}ca_ūa)UщEnщQ5].mUJ&3z3T(7 ˧Kzi &5cwzm-]Лo .*9G*W\X}t /LHaR|hN8ى~Gb>ٍrIRD#VkNhR鷎YDsIQE!1ʼnF> 4LՓXjnd^[y9: &Ҹh #yA4]yNk0xI.(\_ɉȮ EZz{OH6M# 4vOG H,=yByKڊ̠UnCl a",/16zخ&% (oq:CS[aЖW25ooىL +: _9+վ*x+ ϽB~Y/K7gsX\u޶2ׁծ򐐟‹.ASmD0_m`@ <*mu- t @me;K5W ¤l6lR{r3ɕvt+S7x$>P=z)8q6k+wGp{ܯ2 - $ź4*3??ﳴr%NdHj|(k ˶V¤(p#}Yfaqn`X WϗC9  io=ES($¨,Brõv$nJ18줻R7R#ݰt)۝DžAZ=y{;"1A=U+aE+ELNDg;k.Ц4=Sm?ʰXc˒ǣ!zw_hs~r(Ĩ8;o HS{_P!ÈCLx-S8āi"0*+Q¯>vIg֞~qVpFpk3z:uPn/NF\R"Jw/\y[Կ)jrwA w\.=<`2x&zM=]VW}+ UMtX5堚I wp_;TQ8ucڎ}.Di0ƙ i7?D[&\z {}`_C=]4FL>-}&9k<9B"eؽHm@A~{S_?`}8|A"rR8*1XKtfEL.f,awԷ8(4~ƨj= d NejB]0T; ȏVMa‚lq,4)-g/Q(.5\]aT./V8? 5zCm퓚O>v<xfw>t}Cύ]r 1P[ARYpbu)؄eIu,ט1Oi.]HԴ"  v FL8sv\h?[5Yܹ;hh>[3$0GuUTkl(c6*wy.M9b;#,.LD$<$ѳ!f9!i=%yV {Y6J?#j] rhCz^M7\YVK ,)%nB4oR ."۹\l$$|\tu2gto7TШIG.|C4$6|I3CqJdMU^/ѻĕbZÒtuYhQZ7\YqpgӀ~s6(I%4Ȭ 7R5n Pqi[w@B|*)Oa"H)yc<TU" )fI<]TP녶lCP"Z\`RK'~j[U벜ᕃfGMR72I93ox#O%jYh>o?H ! =}&h)pf|';]>#~,:ra}c=I .C1%B^Zx&uvwAT}KZ&/V)Vttj{C3fB1M3k M#ms*U,_Ş9* рV-7 ;mx,~UPcs-zWMI,otw# U]}Uٕ*d ` tiTg+V\Vxyst9;Hݟ2kNU_$)Ѧ̀13==Gk߼7{|&EBtVxI9 #^S~M~h wHq UX )F%*Kԍ|!pu>׌뀤xKOnHyL~$˵ mR~W"L*UlEC 92vm=3MICF#ݡj*A#m g^rG9\>Z4gn Oe ^:/3a/k=)dp.wR)]'6S勘Π [ asFvQ)A]ŭ=[FelHFs9E݉fT(-}uGSR(4گk0ŠZNog{}3(v*B6bN͎EeizSʬWi~u&gI)GjZ|(yWm{C'ͰZP {DW%xq Vg ~MW~Jh6ȳ*;}pff8YݹcۆE`ʴX]6ES . S۟ i2c<̒OK=o mgɝUw7 ߦ1w ˉ}ssb4K2\-_guo2Lr4jN {;O9z9m׊*f'(Y뤌*@2$έ0J0ӊ-~U޴uq6շVåc~>3 A # (B t?8π \a-ɽ Qc8vЄg@8<],lH" YaOwaK|NT*KN8h9ئ#IogxӉG̋{#BvWWv䘺giuI0-혇p h0y$}\e sFTaD AnVA({m1_1g9=BK%3򀙸6k ܢeӾ:@bd,~a3+.;~EnHe F8|>5L"1X[ӊP~\׶ѦS;CHV'A4RIܻ,9qU>Q/B7u TbsH˥AUtk:T] VSr * A*Xy8Te6TQJ;i&FAU#“^djOtdgz̦i6t('eE4tM^Fwnvִ-e ,w.6oy7Yfp  ~fk!`; Aǯ%{hu~I1D{/@S෹]B78bÿ\N{2@՞xUѷ:$˶nt m#{1W>1dG(G=وz9DT7"+[@?J屩 #{_D`Ћbg.d+p,a>W;SG,^`т25U楠\Oؚ*ŷz5,fGde@Ib'?q,4xGR$7PdYP sNJ\E ǯnp _|pؒY槠xVZwuAUP[Q IHEYHEE]ѕ,?) 7:khd1x.nkV/o!%'+Dd`[,h)}|s?\ шklrГYd1??{26݁ /3%e Gc9l>%ͲJH1n2q%aǻԄ"{ׅji)1E,MP$H[[vX/U +~ԪB(Zz+b޹ʘէ3Ur)=6:~K~=_i3 ?wz56v 5t[>}`Fl $VOnfJϞi#nEAjGf#}t ٬0%M 0،H_X,:SPs0 e[i,mue1i ls,ǚ .dW~ggil_ԩ'eԴsW­Qv(f&ח1#t$Ԕi8*ڀq"n,# 9<uzߦuUB{9ٟ*" SYxj7j8!wǏY~6moe-|ՁnZpO 0xJaX*Ue9Fg`*#d皗xVFkH~6MO(GxCXU H)%4ZHPC o'!\u^3Y!(wE@-OE5;]w#D9>eT)8\Sp,DĠ2F з'qY3&nyqHRA-]Xk*olId|g_Q=<5-BNRskToi*/( ۇ+1IԳu{ "qAH͍97QϱvʈZ.:>S@SI #>XiŤ<j皅8t!BO`g~L#ݍ&A=1xI-]HM=)Kro:;p -6"Z_RVs, D~(\z]=C 7$.(i *ts=V}6B@AY:]7DWQ8͟\aBB%^BQ(4[fҮEGjgaoSIZ1rUM{ e(I7XPR4ʡGkI-V7[I 2 ECلRVq@E Yh&]q:I^=MJY^Yo&xJBBE, ~bAP(11g"AޮO~΂Blys6+ju~! vjB/鼮j~ho.vx`TePwqvZ 7+C^o p zXL*ac/(LzJvA0 4ۘUxcˬ@C;~Pzy͚R֐CHpz4!Eb/Qv\KLEnJ`1HMB2Qs}C1GYm \>EP"CޣDkv'hTS컢~9d(FEe ҄UV*]g}j,k \Z?=ҽ Jwzgo̭S׵_W"h#mZJA\֒qR垏;G-5"ZRe:A@FkM`(~?d8>;c) =Li}ş3gr%rvdnZLY7fPJKK4$%zA7KbpNEm #9K1bJh*pܙnOZV jU.{ŔXAmsЮv C{h>c%0}?yZLbR)"(kê^HM:zzWa%?HWǮ.a5.?+v( ^qJF'刿BGiT]+PeY ķ$h=E 4Rx#qҼ'ëƧ.r66 瓈1t?.ʀ1ƅC{5\ηY`脡iwUxN/v|B;}:'")Aga9yMGrP-V:^+sx2M6X-REpuΪYN|H6)/P 6X zM +{ (iIەP'HGo~e.uc_J4v R`J+־{*|?k_4Chi0RxeFǦBsDއt6 )JFP=༗J@36Yk 9kgwPsOs7+b/Ccb r}=JGlxrCetp)ԋ(i#NmJ]J3>.;E)Z#m$>(%ւ_vKyHU4+n|' Ն^/bT;ۅͯϵh I f90F5gL@VDDiFa6 kX@А{3hQĪD٢TuK ID?ER,/<^Vu8%x0q/A6,gRlCI`)d~Uaṏ~:Xzco?Wi+-vhn h 3P,'КA̕T+s_T?Z5&F;/nwDhp6kcnl-dbt~4aVrf !<P0 r쒓I!2/XT'EQfT1. ]yMM&+xbՐrda&(H G3n]ywJC!e}v4~r0H8|sj2s~XZ%]B-ӎ,Ge増"[]0kUSQ0z'upf!N׼T Rw(k@h{}#I^ _{V@Ez ¢b!]g6o9"DujxSa~I UMs/:]D?Jj4"a1 JJk ͣ C@uIIL4R3$t`Bc \da?)9h;aKEHQ;cFޮJx2ƿRi@S[nd7I/@l)1\Y.mF3ab;~Aj 7ʪqĞa`{W \l14DT0u^UP5WeCVP,[xݙ {)nR|;`y pkSvѬ\E~lξBKkgKG\I$ `_Oix f|Uww] |p1l 9BcX{tR7M$ph9C 1Q$pX} W0Y.hMӘɁ4M xT%tm<*đ߱gYZ  Z hH/O1FHOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citationsMatthes-ESSLLI2000 Loader1998#G/O' DHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messages7zXZִF! ]·Iq n[:|&[zܒj6?z.alU&B$fP죬 <!_zo])wX>&֬,pA X.IQ)$^EAR}͒aJ`?G[A ؎\RDH{ cC)K'W\1Z_ /YP#' G!ޅ 0e0+)igp>}/]t3Zb)R*}a"%x4Gז[J=5^iEV S߃ٲBò]1;Ē`6 +%T6t @kDoJͶkR?"!,~0zhP(MIR6 gYZ$oe^y'?lIcDd8ZѽԹK\&]}~G9nm^#Esס-||. >CM\.YKi]3 Pޓ8+E8fHa{ܚЈ3tklުZ`b37gp $k)*x F ^}X?=}QG|f@J LFj1v5yP̀)U1.$cqȃ(MB*[cZMg %qLE bv[ڌwrB_N> C?ף>ALkؖяwFoֺ&Z'YA]  ޤI,"E̪l,sM_Mk WB \۴+Ūr{\^욐o)_7s~a8o=8+0.rIA9!v ZG]|^  u`M0^dZ\Mw.d[z2n\P:*1V}偉-rAXSZUIʂBe(-)Jۜp'rh!,άbaи6?@4Qgk|B* AtFC;c5*/srYA+лviL b&糥/Xvถ(?l#:JM ySF \zg(0 Z[mɣԦgSG% NӇ4D#=]uw"uI|qP.?wzCƯn_HfCzrgTZ:NGڥ7#W-VDVh# ŝȕ7N7jK+6AEaGЊ3H)}יDx;5=F4sc"Px; iw珪`tqLٶSf HQD>ҋЙBEԠw7+9cZ(8\j+'zá7߂2n }rpo*R|fĻ5}C,#$">F ?* g'qm*Hs#w[rn !K[|KV)nz:x4Wc`޹~ޟ}$Ej7s&USqW=nBk01F1_/ "OgoK|.q7iz l8z.XثpW|aip `Y3TmI0!,\`D;Ъ:x~ cbh?:8'& Ro.`їԮu [m_Ե泓ͺG\);(%[pWRexT b*Bھs3W 2%@ƥL`OGYZ6ؗ$D ~lp-1@?&rs*#r9Tݭ 츩v}c{<]<`#f\o7יsѸ~ ͉NR#rtש&(ͻL rs4IUq0:& o ҃!wq-)OPC=# Ӏ>jχ$$HW"eN6,9P(̿ \J=|W;efwk{8-y}|"(+dg;#2$lɝkRR bFYBDD-3"X{[8w:KE}0\8=LEhϔu DWDJfF$뼄\S>Xpx52f>HwNƞLlG_nOK$0c/x;ohzK[% z7dPG#q"&NQLp5H}USa' 9wr!_"70\d[pr?xabGb(a3Oʢdac+ץb@. $@ f̤8O1j`gJI`IՖӿavӏ8P mBL晵JLQ8tƎSM=$0ً'"ɡ"bХ$a]8_tgwO3"1+_L&DvUb~=P%ռTִ ӾN:XJ :e:h`DIJ!\]Vm1%(>3Ox@~&M "gY]!Q__LC w2k.#YW'(jHh膄1{5Ƒ-"7/QϛԳ` dIkUuXX@"%@i"X$}YyI.6`?fPdFABqnY=X;lČ+ʱYYYo(:t"㱨ܨyU{@~Oܻ**z?5qC"_D=5j4䡋oOcV5Gbkm[veZxn-ؐa R5*Ta֜>IXu:Xez-.2z"P8sr$^G>Z8cI #i$D%1TVpuNk>J=> ?&]H!#'-t4X+J]PKIO:D2~ٖo- AU'sk_+;{~iIzke/ j8P@ iqdbա ɬ*-p2v upU_9.pQ!} F,EcZ3N1{'isgrƁ&m1OJ3%X#{Lmv%?x$Wy'WrpOɒ)Nғ릮.0VX\|bJzޮUjE׮?5~B6aͪ o?+mc^Md9k*BW=A:C"PL(.ntK(Û,ywfPZNrea}@[BX㯑.6*+(9-8YY| %Ώ GvMa6K0t#sE ֿRaUH:Cx!d5 p?G :M Yh9U_;gwhOnyŠʆAj.{w'68ۺ% Lwq T(<-3+@6 Nth6}&wpB)-)Dro( lm>G+a!=G84 Om<j۬SkSV0ܾ @**i@{Y5 w0)_\0}agYZ9d96485957a8a43c33c5a6878212394db75067aafcd97a695ef5b62bea38497cd0d65f66703005ff a6f75ce06b23ebc74c0bac66271836492bee9e18