SQLite format 3@ E.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info FF//vtL$ ]/ HOL-Proofs-Lambda:threads=6elapsed=98.323cpu=115.656gc=5.0487zXZִF! C]ŗXiɟ}g7xxZOZȻev{x ƂvUu` ^d G^߯s]plxΟ2_h ?n* vJ^T#SZǪ4%n7:6إv%8_jx"n7 e "cB6j1L觅y ComPp{RRf]no~@sَ: z9̳3"\4_UX `|D,sLI 2ܔVKǎZ&R6(ݳ\Ӳ9#7=qmEM>Ew|? u!wV?O~/QCs)+6#42^xCgWԜ*%{2|}-QQr^ȃwNNEԦs /Suvw^Dؓa# "؈h|]4/S`*uk碬^&7 6&[ަe=s@vO8 {zhY.lY+ۖlEN7ޏ!OK% X/E@5C*6C R_(h:zcEni.ldʥ71ᇘϐhRh"G"R'Y4䉫0tT0u"_6aH0MP5jBGq e 3\pub(Mp4MbY/0$e&U&+~<i}AZ+=y~Alrs' z9lld 嬶Q^֔7j&/h|!#{yCڭm,nP%o58vW! \d*ӌ9N #E#pK "s*3\@WY$7nhi1S**`uKgJR9翳>].ȧpQd=+_L*cnD* .s'ࡿ[2~T}xGկ-\g/kӟ "Ŷr~FII>^8WzD_dHX7w)r9,~)g!q%u덝zK&=٥0**2HޯvEZ\]Ԉ CȰB2"m~ޝ_ȳۨ+'xSZYa/F~sTZ'K׷ =BD|ijq"q-3kp$w"igh#3_9/ S袶jF[枩a`;) }MͣfL29-;pF[P﹄h n ӧ$ٗ{>{[ ߾/„&GE"DHiE / HOL-Proofs-LambdaAbdaHOL-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'pDDct9A592511-0+&%!$         ; n6 } = y >  i o + J :O b#AZ \[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.Lambdadocument/Lambda.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texJ/E;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.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+raYKlQsێ0ӫW+)YMJVOz[X,}JCh|N`(1̚e{x*p5hhG5e7iU'n؋kmɸQS(Y;zN͟xZ-sTQjv>aB26@?5Jʋ\h3ϖa%vK3=eKZ¯ctĸ_"3Ju/˒t-nia4؅RqKqg6olTQr҆/][$(z. 쯁 7\^Є:iw5U/FRa{-.Gt̮U1lMKVeh|L/lv 44iC|lեpjo:tS"=_L;HN-f/q5bw$D(/DoϸX_9}4Q DMA?6[ߦ>lD~uçK>kvӺe +0obEqCynr9P}A]+78}.ӌ441 @h* c\4F٪etLn¡S#/&d(v_5"Sk>Dg5bX]ް2)w*WmR5/~nfrv Q^DBbU)K)QJstP\_6tX*̅.}^/WJ+шB~?͆%hA^ֱ7[pE'9XcE o~Ĩ~j+N.yW/6Pi~7$j^9N6'QָKn쑽_pk9Ǐų.ŗ]8\g Pe~zˉ<h~՟ m-DKP&`uslR^}j56FHbɮ2m?9N "?Т89;q_jZ$?7/Wr7AbaotAf=AXې`|` cWT60tfOfd ;A>_o[brz)v6)qU? M̰x $髃pۼĘAhlj>3NOyuaV{^_+T)$T}/}wj.}q爝 92W̧am:TWp&L@ Πuذu3PEhSv\ lm//YoH77,v^}L<hbktw'5͏ЎGt9q?aJd 2r-{ T.΢so${o2YöT)9) EhDLɮ~DlcvZ2 pT5@*>+cJ dUl g_iv GPfdotQ(@fC&ؕ2# k.'Bx<^02aiS鴭kٌ4M `"Tte՞4 ]wc ha|-~.@UW#7xYL}҈SEE{HDJ~3iz\JA kuT|2"-Kyh!PX2TS[uޔhʄG)@dn.pLh.SN U H+4n6pt(}=w{$KU/u ҭ>bin&nQrHex +f30K{ʀ}|c6ƌJ/|6z)B9E%3t#dh(3zHbg΢ rwkˎ!TcqJK_Gi/2VOb̋"">Gx /Dw&L;;|Ϛ)WΌX_ nnQH\Qe)3: 5Ԟ^-{/[!:"P`g)̚xg0er[cI(=rc&uˑ ANmu|΢:SIX_ Yk7ֿ< "E_v!8"<$ROG$KpfsI.NhFm~ɦ3xbeMAstYm+E1;Y<]lr\3B|ό6Fu=c9;ʱ,"CG#daf=gȽj}| F\> 63FLs?90}yE fʾg p G ϻnIʯ9'Ny08ׄ#ĎтXA{E\ȟdȚ-zfJ$24ǵd6 3 EvVu>̝+Q;SJ8+c{-={r3}CƤJd C`+\mqSh_R gpwIaXhdvR/[-fD,ЮR*?_حIʿ 18OT8@V"z !')4Ta18wz%ʓQnkSyUۆWXJr"A:7YQOO{ۦH(/(zU-\ 7i\9XAY1Iȋ*z-l#u.Z_WVȜr/8fB2&?Usn&_GVCz"ыr}VQ;G|<@TF$"dF=פtX5d@`HnS\wK^BUq3HM$ߡ[,Ș6$tM RJ>o7\0xdQ c6+u=' bf #=G^(m S|1^ܹ }U$'`kB`nJ[Ưhx ҳv]M pe:4dd޷]&#˱>% pX>.$}l9 J0C6^ڮo}fq\zkx*e'xbjU__6ɽ+78bwlyү_KIؤ=e*;fɮ1W2-RބC.$d'Gru`WBLNߙOC3҈Vt{uDUhGQTIdK ecrֺѩ;X Lr̬tT6Am&Y@ ^;|?yWl2UMVVM,^FkHRp?E B̦~\9t%jy;4edy%5~0Z`&LQO0[ǠE3f=3Tk\RM, ]] /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 SS*/OE 4HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.tex7zXZִF! t ]A-MՋhvG"uIBm5grwjOE"\8q89U3}/}e3Wң ˑS~ tr#|JxSD] - T9|LFs3gF5XuaD$N,?kR%p^U?ѻVɒcd>Rgz*+Jlz*Uh/- :L( SCi-- OkK&38&I;7]v"Ct#.c)I[Ö́=O 6AU,w=,`S#HQy?4@cv4=8&. k]:*֗ MbFjk+8ra(D ݰ-sJV&oi q6"aȍ1OO ( ɣڄxӖ ;"o~!XyyPAWth,ߵllC= R͜vhCԍ_c2Cs`|–NxʛZ\K3Jj{Is;]kqjD߫W*XxlP|3XLQЌp y};η\tP [(w֦@IH8l:@'R5'ڛT߻2tzőVq >=\<8 Dؽ~-͗A` ]ގF?.l:Bqn2@&iV "x%֓ra]evd@ 5^nqT&|+93:7VN/+ 7AnSVyK3 wT tؙ_I緻 vE I ]ʛ:D{ "EíUCֹףLS't﬛am)&7@`n|[#w2(IuY@1B/?["EgN\S;Do>w`b qQjU"l5$h7>-;@emzX u|.=@&2`CWի}SGN>)^r9BH?`A7şyĖc`$mw5{sy-7ya ][jGz?Vm߯ՇЏ<4]cSOiJp05[ra=e'!ԑ&69Q ki%Jz`"ߤsgL1~.-fj Lf v+em!i-Wy"yR:Mel\`&HĆƶJ-`ƌ դbj֝.OhҍR؂`eDk IDc{Ͷ:X %ioDkv5a]ODQhR%2$†?@}qI= Df:v4(Z3b Q9Ous};l/Km/Łwʻg>w7 なRfJ:FQx u'7Jbۭ }$,6DVп Lσ?!dqjdmI #Nsig۽G/TEIut .Sw@Lܸt~Q/[sb^( ap&P2+R)Q; ܉m |%̹ 9#9HR[T1J:Lkiؓ[7]߱Z⧪b,r9%3Wɷ_p u(ks߱$lŵSq!&e!eɼ㪢hĦ5a~VxGCeu0wc9ͿWf>lS2xڃj a~WR[?uBjI_J4FLcE _yf.:&AW9 ba`Cp87'kp1,VqlRoKk~kp$\joXGU{[fzscV8 h52֍->>R.|-#Q+Z2E;3ճa4X} y$vٯj_o \$\w_UUě}1Y H`a@-c֎ sDp?3Nx8AӬ\,z: pMRӂ^t< -i;&v'켨䡔s0*В ڷև"6Դ;V,Zл2@cdf~C3~o*hl[:F8n23Y.`cq+:⳶1}I1xt녈i|/b]LZ; +;$ ;Wإ>qK<+{'NXT2^}b +4XSFWDM>B`*AE(iI'e)wQvA6*Ls~%Ʃ"x*r1_!8F Vt@|~6wj~|OY#y<SU AӔΨ;w8o.5瓠߾#$qm%^V޶}ƞO߶@QgD~5UNp9zsJAɑ (L]hsb^+%QSBF;!s :uD}-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 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מ)^ΦE{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 _]/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files~~/src/HOL/Proofs/Lambda/Lambda.thyC/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id202M /A7 HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex7zXZִF! S(]A-MՋhvG"uIBm5r{5"#ej0pUxacH^lС L_|lL^!ÃuM@d cuLq)͡袟Nҵ?0NOWMB3*oIOA [䬖^ڦ5F^t k)chS_F("w5cj`DuT.Y\-_ul|ʲ…=_1Ьqo4]Om(6KS31HkJ|#Ūw@ttNSu38cg1_'vNxe?a{9s*>Z(Ix#,qs`TF8ݜ񫄇Z7-@~ e6vc} k?+MC|EԚh}r܊ӆAnGIۻ+uGZ@!?O=|f1r9m[M7=,T/:itj0v<< _Ag~g8>3<_kY $JmmΎ927\R99׶XE㯖Y6 3r|T;uOAai:mvAE[CɹDc !b!"nlKA&ir(`Ao Ywn` 3wN<8Y0X0aP6;xGG!15}i)LRP(ʐɡyYdԯ$X[O6/ gT,E8~M#ܟ9͐me8DJ/4>g $aEJ|}x w'nAS` 4j%3vBI@67q*LbpZI~ts}0嬀nj`+?Ԙy< *FY3o[_h9x1bc'=ݑ^2Ѥ.LhFmy邝 i8rmS6CG* ߇k̀<֠%ːs i^b8D 6.(KqhMdMyAl"Oa1{bXK|"["]T3 lk:ɮyv9ȏ6 icMa|wY(w1ei\p?[Kee/[n6J,tKCzuk)DEc\>agϳfM] 1XtI7|ʿbD:}d_xMx:(1l1]B97-IAS+w }2UkZ%{^Ktz9;gw$Z=6;݋o9z:H^i)* #5)6`^ȿ&+]S ]8|Nl uu)wjs:N>y> {U@(r/~ "V@&0U j> z;* W&:x\1W=fȜ*nX+ KzZ7u}[6 /2ERaƱ|Pw%ˮ] \;xpes!:+kxppޙE3|9 xx-E>njRtX+65`y4\gdVRN&_ e~eS]Æb |Y(!`Lg\7(&VzСar-ɔ/&!@zN>z80LIZKx GS!\Aҙb!ǒ.̖_8Nw1P4c!>V!S7VWAUy-f&ߪ ?*.oԫM;[lI ,vH32DvhŊ8yԕzD}F"n;B~#9q#<l> F?x`8z n/\c#szo3>YԎJ)GFQ$֯{u6 WP_ׯFZ0*"' ]:Yqz]'ˎ 1*JkOأaDݶi.Wr{&\+nb?*|F"a]s1<\řO(_צ:A1[>8\Fm}&C534/ѯy,8 %^*Yo}V d|Lr{KRT-!{첻}7r]+Y C#cX~'Do+75<6`k4paI9o.e4KC_ݤ`%7#rJKNyչxL52Ŀmuq'Vp/e *x)~Uˣ@KR˵,n:Ws8P5T8OQn,{q!b39 sohSxz]DkG_nFWed 8G*bI),[aVkcRIx7?0-?24c<\Hc3p9y4xn۠Id[^No[qd2$6`ZrdiGaji,=#(,'S=?t]aaQAxsj:z41y˹J0vduʺ¹]ֿ? 7bmDĐ +&H|7"V$|J;0  fgn` KGc~ARQeym*ۘ #?hDt}LNcQXW (ܑӼ^4!6P…y! 1.)0 Y`#Yi8B@:~qjw0Q1xl$mJm9"ixerKf唕 35?}Ԥ폟n5R532dp'}-#l6_[j5?9AӒ;*/G}(Z 2oW[AMaL|4Y 3d߸VWhԤm:~W/J4DSsns7ʾ7ʙthHFbHЧ9!_ZPZXI wcZ&+Pyd>>'Ud]ے0\:^sx[x"=Jeۖ4b<[FF[9^Z7RE+akLveQ.pYF/YKfugI1F{i8xWA> iU;C 7|qnyL< j s%`3gף9dyDAq򊴑|ӱ_Q^+BZ,0[˶⯟W}IY P-1vu meRr[dB*APd" zT'` }gtxA`)宷4k׾c&&L'@uLUԹU`ՠhUu[#HQY3"|K , &rAQ8%oQELG3.JȮ 6sh%/$&\Hʖͽ>۹jjڷ#ะ]Vv6E P4YRcpD?PИF0zvг-^+5)a>VUXG,4W6CLB#w2FWYQ@ꭳS+<ك2)Q7+*(#n ])Ӽߨh]q7#472|X61PRA ^]]@ORĥh%QuN"yH#l X{H 3gso̵:g*BR))/m-рKpcwM"U )vkwQGf_y:(m_֋o$K$&dɋ8( MF7R'ZjfmN],Zahӫ"+|`aFhՎ49,b\ƆDQxW5܇Lren4ՠܞHMlaBO2f0nŠ3YAX0䝻mہ[Ӈn V6?JP#^iިƄ,?q.ar4m+Î/\jz;#)Bw6˹\E!#oEmxڦuڣTA$Cվ7DN𽻃|=3iݣF$]!(.i|=,'K y˯7Hb1|wh\d\ @6{:3M>Ac.+X9nh3)!HtD<8a~,@.3NՌt5a>XPn@R[*10ϧ4,XJfm ÌU(|ӱ-F̉S yu`l+HJ:"Iȩ7p|2bG7]`oő}:K\KhPBn1j.(z~Y,Wzgf3Lʪ;VB ޸KV{&B佼r}Q5h`0Aπ<|#Ǐ|Dٜ"("#{Y +T?_Y_LOb'$"=A4/Zڳ=ğrȹ J3PDkb(aCloV'g>mv;zj`V tjiSIN;i)sfXpk:,3ٗ - cȝ]p֪>@iT9OPį]+lʹ޹bHtKEōކd'KM'p{ºh1aIw0-qvüGiVT|%Z:`w< mc2&׈6n nJ}%vkѬz#rFqtkEi>sy߽e!^ 2R&NrN=y#†S4"lCPgŭł\DcV gRD)Þ_s_=moV+*nq }"#&QؙpG:hBG/?@A0#AFp~ A)fRCz@A)׺U3RR'cY=-Hesnva]ǧߜ2]GiLʶAO~z<~a쩮b h$.*o% %=HTd` Jgޔ3:3k\|>HEUZ PK֏1-*zczD2,5ڦ Û:u*l^sm }3i_)J3Ri.>⿹:KNǾئXM/=ƖS| #˒}FU%7㒷^^=jig}ypn_%Gje hEutc.mQ/nǚo=I26#^SWnA ;) kp>#dH3UoNֈ?Lws `gHGpJ^P"!ZPV'lEr`zw==҄(MWi\fi6b|K'*"3yLP-:5R`oPMqm@fþ0,> :`ކ{⋑|*_ Ξ%ޚ}O)ФcC[{[Kvq:! r&잡y׭,ʪEq6/7KGQд1B}YA.~dC"Sr4=Y-h=?A#kD9B =#ڈ*IٛeC g%oq*dŰv;:C5Ăm-qq)'?(#YsREhO )MS2:&nwmFQ^k_i+ö{Ai }]Oѝ|:1"bSw˯匽p&)Ty;-BYï?Ϯr+#OQ?MQ]RVV8=P &} k8?9ea3'>3A*(#\`mr~N0^Ζ]AZ 6 svbxMey H Qgl*<,Efq]RpY]VVMێ'Nz|x3L]"6ˁ]Yv}"/] 0oX3b0tl=QP% N}pwʺ2eV3<ߏuͳ5Ln1;If7&Lꍩѯ'xN衮ҫ XϽPBS4Q OBod 2CѿҸ4(PݶHSZsmv.$P@I0Yx ų7Fe%Ne/ʙ[ar4ُ%Wjm-I5ŁmCllJm =y0)4L%Jpf@kVf'oR -S~ވ q$B =ܟ˗#xo$ӵbѭ]͝ ?2BUr[B!7 F?jXh}XIRm<ۧMg7nβVw9\ݓzNppJ<$s}dZu)Ɣt/Yys\FfL->wCj>~ӁGP)Vd>%YܔI6]pu݋!"gJt`'.id27G:ߨ~5R 3y荺Ni~* f.w&8!9PjY.Rb,C?Wo|+ohY7죮1lTE˰5zB>}$ H}N3&68l`Ohxur\f&#Y.d|wLC2+OOU %уҺn e$`tXobn(% o2'΅1͔$g0zޖk^sz& &=?p#;Yo?6Tus]sR?.l `rah܊죎[bwbdQ.x1V/n,q-Kґ, u馉b)\BV¨OƬ$6'1m8@־x:@rvz'-B@= 01 "m*FS(tmXN7/k Z`dJ'a,Ehꪦ? >W]?K .Ifaؒw+h'Ƌߒë݃e; +V٨5tÓO]1g N7uSfdm1s}Kmȍ MFlf!2y)C2@dz.=˯4u, # 所d} x 1S2/2]CS9е}"v| EPnCt<51BK`No=O lS2;`DpɔΚ+m88_L K L Ko/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/files~~/src/HOL/Proofs/Lambda/ListApplication.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_id206C/G' HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages7zXZִF! (s?]·Iq n[:|&[z'^)ؖ™8%&g}öY Fm'̝66jG4X5Q`i=N,s _7 1תۂZ*2p{rf.Ĉ1tVN^nUQCy3vʃ%i/)|~b ϔBcz[e6z9z'c*Yחebe.ف>M>e\SB1f5lOXq[ : `uK=5n.^,c*_k%? chc=/B:)<@k. (/C0!;NksnwlA~¹\vRZ {V%85 Wω.`܆MOkXr՚`: ?"91?k]l7͞"Lb/0͛ct69B_1*\Y myIgs+/(0O=\r٨PHpq5r#9:!PdgYZq/G# lHOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup7zXZִF! ] !M젗OFK?Ie6,@A_(V|M  II|bkȻXr`~@-Y !P]ZA6z9t W]wq p{muB9DNnK쭭Ln\v.p9xhH)\m{1ͩ5z:InS ̭_쑨~U:ZSf: j(*l~]jNt^8?ê8 ژ=[f \qfOE"x1&p'bmu6>ciZ>*MC+TeSl}[[W 9d p|LO$yPaPWc90j^ސgrzd'㽣Qh_8fS֤,jޗs PoEKP:]N̵X1tȯV {,_HZ8qJU]E&N2}aʌo\Y)36wCN/GQ]X+BSo Sg4ߢw Cxzo@J+ w|\Y19%^.:!3p1bi4gRW;S'^Eh4j*uĬi LaAz'QIJͯTNz <6ZGTMBW_rBo!b" "Hٞ+omȢHFHHzAHҬ>:d=n8X^3C= d <\j7z_`~Ng/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\Ha1i0wZ&Ue*]XOXؽx}jN!98Ѵssʼnh~e|akW^XtkʰX.ICYns"ik_DgǗ5\kH+a` b+qEB䣣|%Ȗ BZǚ K:d탆a}Eq}6(I~F"N\17&hnyԙTY}Yzk[v{އ6D*w?3KOmv;Ż^XO'7vV|=fx˹*\<_+@ X${^lY##ggQЁ$͂q! 3*I3߼?R$c+F bIe[CZpE [d(%pR9urM?#oz|*V6RGC_.bĔϽcZ^;Chҙ*VRf=rB/0p)Z+./sެcBRLu*\ cދpM-#!HrtEэ`C-_ڍ@ &p"+h5,jgYZ5RY|8k;޲-Iq]BSY>Sz;UdXSWTSϮM;\e gץLps<;S۩R4~;*Ձ͹$HN9]t%vs\\p`y1UDf}wb{ap q~pjO\.~Ԋ't(.:eVX9,M3bhfwXɧXel:3?_@=(Ke~o%/" Ȗ r"[ MOn/ 4I%~X M2רcrrsoZ|:]-c=mUIQAQAv#fMRN&q}T8ßGp -'('N!b^q AAQHńlk&KnjRo&Q,Ov UVqP#_}%3[p>SK ?v-HxU *5}qyYc`A)'\ꪈ?z+ AK;ݏq=8eQQͳ!Zpeomz wQkz+b!|/l7쏮dزϺKƚW Uی[N8U|- Gi.Y~7s `ûޫ "]b@zi-ى}RM҃2gdL)6^?(5"]ܾ{G%"ycYp>L:;Hwl2Mőv~s7{Az|ծ~!(`y٭ߺ#_PUe9L *[~ixV"AnFo;̮6R7%?3q1BƂQ T>|B Fb<: x[/о9zAdm~1~Q>=RCdp);͏*WV<^nw6%ż3D}RuCHn{q!%8Ƒaͮ7 Ҁ8YUnycmʼn%cG6 s^W78D]KYӹ$k/f3%'6]iqZhaC2v];tnBNz{jJHW9@ &(V~*n(lO&/ͅMV*#;<ByRvҜ8SR{@xދy+ >e^)ho`*#(|Qq>gS%EVlc.M0Srk)ʚt9% `j8-{ypGp!K`4-c}Bwy֛P#]sTGO E˘>w u\=QT׈i܂M\T,G)\x!ٸtwnנ+me9CVn`{`ִ$6ᖠ=?d):OS΍8=ޓ!/6&Pn,!t3T [6b(!a#K{v+^x!_KS x [ ڻNAUUVT yH_kib:Z3G?%-lR Dz%*A ,n b I@:#Y@udI\>8ߚnkl~p+W2}Ұw㨼~{V nUlZ2ng_t{.ؗE|P.wn4,Ӝ R .u52RdJ5{V?룼Dq'٣)9*.'Nk&?f*j<\mBV8{1Uӟ̑tsg]-R|ɦ$ӘGPu;b\~-ۊЖ"b*Z&mxm@Muqa{ORGC\T:A=(߿-s/gYZըClV+z'gchLcuMΫ̚SK#o|P؟孏Fi iќH]fD`4ghEͽd4aH[ޞ4MIȀ=EЛdQ/ _=C-Qp<+]|Fa,w6Uy{EQb΄p=DtAQgC-ډ6æ|%G) !sAOzjxV%sJWѳY;"bp<)v~x*xH,ȉuW|.?>fsK(/XB;H1wzqGDpi7YeO֌ @Y/`XWJc6)a{۟Y g\0^z2%×u+sͳw+1ɟ[bݙ {4y {-.#s*tD(] 2߷kѫ֊Ā; QK }l-=>:,S, ȻzKm)uNf)ZB*fPq-ͺX^kPr[Q^+(9|JŨO>Fi8d K 7xiq>ēFߑ *D`Gr$>˪J~r#x!U+Soru8NZf?h 6Kn6s%R1@ӵv9_Zd?8. wkҨ"|`'ϚgtBuP[ɵ?TVH̚!iw`D3~kH(xF6/^a>KDnҷ3@T fjyԻϠ i\/lCunص5>6ثPFri%M0MM%d G7-UxyaXt; Eog3՚YC=u_hgzk ggr )@/Οχ*ɶ!G}v\`lȽaOh*\?8LY&0Lx$!T45~ ~tFµxPWpv>͡藗LY8vEݕa<<3|V9b k2|Hˋ=[7Pw+ltw./"!]Jv|&:: QwqԞ C:jd46*,M vgq%ɝ0j'R\m:xlUov͑yV<׳]VlMby*m` wz񒙒'^+n/Mt(9R 5fH% "l^N5#M4ΑZԹsSuw3U"y¦a7lԎUgfFPN6&08XY˦,M:Xa!MTZ}y@挶xB[[N2`~S WVHIaz7[x~\!}m5 /Hj7TUCp}XG՗]-z, ޛK!ctݱp; ơĮkplj>8;ޞa_."o 18)F-+ǁAraNOĤׂ @"Zv0YYt5_d&DǩT u=l(Z,ް~P57[_~7AkC>LAŖׄr.!%LgP74VD~ +~RUPI&iMenIh&Rï$/0 .$%=^A"a3R z#ɑI~a$^/1ݏU%xt/VidH4c>\aUg؜x1pB Bz_;5&-'"eATi+ ,*wjֱB .u_ b`O}q^dT}'*6;Yx DQ1*;VemBpvk#[CvI21ݰ"J| ǒik14 j% zTB%a0k eaN&=ўIh`v=8L& ֐΍ݹqtW+Rr [| Ոḿ9r]&e!Rb\֊Պ/qi "ٟ;]4z K>Ӗ^Mk `Z &r/ǼC OZ].Ua@(CQD#˨=|T<'*]H2I2r NZ_$d82V QX}r 6+a&jk(@ 5#Sґ&&8gϔ,%Sw9 ?y }'>L5qG @Z҃d`q|5A3b||,a&4 4w!0f|;iH4[jjڄe9m3Eف/>6([ x 9Q n ))a#+6$5A8 7A]1I۩ "gI~s]ϫ 7gEyׄ =r.`<ɡ]P %ACS_c {ѩ :Rse6z#Q\)P(9 hl/m,|i~UNl3pH?%&1HH^!%%.JBՄ^;Pi퐝*"K0ARZ7r[h@8iI"&nx'1$Hl)]D/ȹ r+}8ݓW3wCrhu<0YW?oEuF`Gz>bX>qK5R7N@+:k74h:>k_1v1@G3ش/ $9bgYZ AAo/O!dHOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/files~~/src/HOL/Proofs/Lambda/Standardization.thyL/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_id220u/O# lHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markup7zXZִF! m] !M젗OFK?Ie6,@AH?e ̫2-?а)3ԔNT v,M|mń4 [Aq4k&~()))tgҙۇU~Ğ+rIM Dql` nz>ME )uMjreg!شd?]la;) Tg! 51.UAF2eBB_}# pL)5f+2Ե{P4rwu)g_^~leB'ERhjgN34|N44-y_e|5fSU t~qceP~a5GsBĝ84)>zJf]9VD5e {{ "͢hkǕnJ`~}FlS1gR{ 8chn]|n2%ɤQyԲQh]٬ɔG;rr&56#>{L@;g5b9Bڊ5¿HIAZ@[6Ry0G2|sS! +M[dcf@/Zꧼאr[rZnAw8=r4ii5FbՠYrd[ȣ"@|ɗN i5u#d|_)> `WX9kc73N:|<ԋnnq%F]`B@Q\cn< VL߶wkGA1(k{ Nnđtxҳ>"jʿk=v]FU߇/ciwTy/ljP3-ǚ;S}G4pBYcU4g2cؚ3؞0M%pa6nx<;e .HUZ*M5 i(E:LwZ1[hsz%O16g=?''Rƙޅl M6rB舅;LYP }vQ'tmuO:xh59 =*3ٽzYj8⬖08٧!mR5zxS3dStS]( 95MHF^|cJ` )'H$DyPWm_?q` 꾯,?m o4z4:4􍣩j70k@{;U^J:L=&$Xb*<S '"O)j`Yԭ$~8 C$) BO3:-og2gCpgocJV"@j/&/v9 i:l$Md-'Ts.<$6ҙ`-)dXlCF ;EBLJ-X$ڪޢ Mۋ;I8uH"ztb)lj=򶋶SMmvؘrnYLfߎ}?GjY|cZT_'X_?EA_&$1舷P̛D*cth7ָH&4ĝSl33(lTr_tK rWuQ 5X12![J6k"#/ #0"!45sj Mj81KEsnAStT-LY_T-!7K|+l6łr&[(%ɫD*wyh\Nז4Okm5>jFTgB̬`^aNoenGx dk\gSgVo*C$OULF&C.xV.Z%&J~14W,o1o ( 1J *-@z]-pQhϏGX'fsk\-ڡlRbޞzZN)9,/F˫-i=:4&SH nws¡\|VڭE!#V KhJ-M ɑ)2o07"V|][eZ#Yٮl{@]d2;ZB]o=pQ`ѱ+.##DĭK|JΏwkЯz~g;)IߕnM&;R"]kx뺑L'K\X@j&84aUZjX2k3gy,d%{?a_?22$D4-v:F;1F2ϚBp/NB&= Мڔ2PQeQ:Pr7@OeLL*UU?tl@B8Օ+5YfhR08g4}{$Ř| '&1n*^GIƻuL-~qY2 cop_9f4]Ksn6ӿJ%u؃͂\75R^jLZ&ʔnݡ!2א@Ele* Vԍ_(qHGek: S(EW}ڥmIjB$M:Ly2ۆűlu#kU{-SlKY^ %N*P7 k0x>x ~A/%!a LlqoVͱ! b_+z}Vɛ` ٱ+ N 2GxcHā3{H/R!iGSY蜎е=x,qECTdM# ="Z| pjZe۲e[S8߮'Ŷ:J7&#/]uZT M. *Va)wXy?ljcG߲ϛd4p* zv-`1҆wvHrǚCTbf‰`PGT(3[j{j'C4gV[on<`-+%P[VF F k&3g!)qhY kTO'~]rdpZ>(A%X-7me(ϱlrP%bh uIwu M9 ^ۂԝ:=$k0q'CѴMv ]w\C_[ZL'ERʪ]jr @]q8sA<VmjJX:j~0>&q4wr ؆rAYdBҸu lklLW Y{Bһ(6PUoނUaVpx$ )0H Mp>N"br{BN(Ɏȧ{) >_N\*_k =G!1z3/M`˅;I9I5:*4zN΀WSXVYEA((1koΕS]?90IvT`9ÄHֹZk t5 ]z E"C+8f(Q5Y1[c"nL0GhP\ :'i3= 4Ec&*^ŭ{&v~UK@/bpGus㰏}PזAShRRG J*n5?J{*tSvJ8X4 =Ժ[f\:1틃B_sdwǷ8C-zhrIv4P &2 $oksW!aۋ /t8J 5~kg2'w^uxX@/רqHҶmU_a^5zg`N=T/0xd2S.aѤ./Z*YV` I٘_d. i#g4wĚ/!G/]S-)<hvIO(.-=Gz˥@f6n+3`3ڼIܣ#1">>lZ\e9?&s8Z`Q'6ȔJ?wx-b䰼kںW9%Pe`Ze%PA%2`Mg}R{`rq12 d} &-i,!Ą|68ᜮ/=m,-?>襨 іju)s\EOBXk&}nl༁"Qk*TK\kѭo*:30uťJ |}%CZ\ h}ԱgƓ{7x)#2pdzRn2LXۥC,\fUaXe%ZzR gF =f0S$l!.a\̽)>Y&晩@?N~Yjl~`9u±b/Dsw r~r^3m T6[#1^ nA]ֽRu@R-T)qԻs+Sw?h 39wA %jItwenp٩wro?ҬM4( W𞃑HR b UG۸kIx揟=Bo*'^jS,RgU\WqԕQHĝ!&;<`r@Z y/ȏLTN#[Q4#|_Bpk$$nI09\]5k3RLAf $zHm7!hY'{ӒV.sڷ)KT6mv!LوcL >6*#_r /C)B,t,y:fq x c{~rJ;,#>H#_W  ?8@.r]1IIvgoq]o}L0Ʊ0GcnZBZ,%%aB̅5029oQ 1䦓g{E|\qqRg _tLx(~\UD}{fZW=8`;_H0Ůw| 49@j#U8Sh[/1\k'+N ChN˧:f'KiUXL_#: qptYwЉUػ}M]ƙZ-hUNݼmo*4Af>}3TtΓ& ^5΁ix f+ ܈⧖7U#7 QҜMAF  |IJy sH(MV_ژRo'8xi ohʌaǾ.gCcFnkGRyK9zoy2 _9+4V "Nj^8e9&tFT8J12/ 9~3BHtBJ } p+V!r-?OEL 8YЦQFDҟc{ϛ40GI2ٚj3 e`Er ;2N{ՓJ K\N1F¨ܟ!h*vh)/VͺV&8WE 4kġ˚H!}|y?\$}xKŚԃaZd|cC}(5־>tzcظ 0g(v ' T$P2H2cЁϵ=HܾֆfWU32_l!)Qu\׋ f|Ű BuMN,zJ]jQ0AUܹb?R2Cxw lЅK-!C%x?sS]aihgcf@Zz61z!+y_d]D9WtѪden'ղK=!9P:<\U{SukT ,Ũ+˺?K +Cꫯξ GU.s5~9k r"qVXqIRhj<:)vti ԮdP50c9[\yeNG+P]ߪCsse,HEt-RJe enđ74'I_e4r8-U|X6O~:4{p*oXiu1ed`Z61Qv"Ժ `:T>+ORȥ}N- [yʉk)8 ->h9`A5,gS)qrM›WFT)sf2gOs0c 1eiQwVVEI̜Ȫ0J"!&|JYoo[x %@^; Մ/bOO:s#P8H!fܠx,;D<5]h1Ʌ%Np!kއ&h@-m{GLT;1dIqe{3FwQ!w&ǒ : /gQxuuT:A\EWTk[FC8 x\q麰[7>E@|ƯTπZ\mi;_?pTOE/vd,O;亂s)i:=sO;sI x6+07hgfIRN4t,͡7=,/b=BCҬ+Ȏ)P1W%Cij@>:D1  p9^OoGXVFAVq$uUhҴ=DFПNJuwhJ?VXoKMXB_8-& Z͏uQиr7GcsS1~\1Yv[k~n@=2F7VEkE(Sl lX!(7P Bj<[71>1µGS7Cn0XN9$ \8 |h6 "U% V:E-', Ah$']Nz2GY]m\Ji/Ϙ?uЧCC0!.,TQ3l ]8Ivmg ƀGy#K.WIjg B~¥w%X>w,W;[quP rvj֟όaM'ǽuJ uzXcVE52gyM)~c'SImlKjp}X` !0k1P`[V}24Uk#P܊&u 7`Fv{7;DDpzҞÙCa$^=rrv$|(@]ϫ\/hu"t ,eBݝUIu1,yEp O}>P^ S98^d aGD1yLArVU! .)2HoXՉ7cZ5{arY')D9'Ă1{y& 2*zڅ QvWOp.-N?҇[GNJBk2%%%?vj }60a%BH>) *1Y]XrVsP)7v꪿]\hM Z5J69.hyΰ>~~?-i4gzóe=u:gۀ2D P9v_1"Cm(<ۧ##]V]r+tZFw6!+p6Ǭ{cfN Kgw1w& vbXcR,;T)oPiv?Ҏ[Ѡw] ] =_ pG: 3Wa'kAC[$4›L% p 'YHQ(I=fm-H}9v5o>.XO8MS8Ѭ<Ĥ#nnby^N sIM^)r^t=HGl۞y~Esv/ cB\[!*`f:Mϗ=+G4LuQ/ɀ]MwG=))̭Zf"4n6R^orgYq;<}c*%c8 ɞJN&:~ ?qWί`YKK}(gzjPfo_ŵ?l:4xO+:EzZXf]uxg~шُYثEFbhK`6QqC+~`W#> ˜ܪ& WU.Pm-3smf(Y@~9]Hciz⋪=H!. hb*w 2&DMhFRȆE [^LvyKdyQ(Eі@:p}ahG*3ngim*H؍S4*p-A5/=ig‘+/A=:iu ߭%ΝQi8a'HJRI.SWx| ωd\!bFVŶn+ϭ&RT>,(M}:s:a7^q 0f&ݸ^l•pNFb[D)v! G6EgYZ /O# HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markup7zXZִF! ;] !M젗OFK?Ie6,@AkS(9Fno$Ҏ3f,/>#彦фm3-:Us7'A])4?c޼HY{<5Moσn@J}Z.u #*M0cx ̐D' n,O5S:[`kkU B~T)ZhZ`*4aYK/SjX,MS7]6 \/h-\+JCeGrF4&θ Z6F1|<Qd Ht㣸{<`m%{n.qOF"5OB~<*?44ڇ8Lק񐛷+lx"lpi>lAK]A ?"N [\6?-[)KB\8Z&Uޒݺǘ`,ke$i;e[WJrW*AP u Ӹ%_g44)`U ռ:c/&TI2j^ &[/ݒWn=v2ީV {ߝ_Sjm;maR‚rO0sXTN~€=Z?Nr.VO#>۠W>pLz1O9H=I"b2xiqp\x6\/A!cLi,>Vud-s'e/t[ gԅ1\8?''dկtE0C#g~g+e}NL XcB4LzӴ%_90: nRmZ`}ZG׼V8 O \Iv3W Ƌ*kkKؿ=$x9 $:I\8}\~˩,QhyfZ=}Tg}§Bbs#@u[\!MulUjvnoAxQbI*k9kMZ7v?w!X%t7̋߆%sS=zL$L6!IC9'ou/i5e|EKYGt%EC`_97yI{B׵C1/T[x3Z+%mHk hnU 3 U_'tR>v~Oby/\RI@A*  +,U1U;9(T65zjo5U֤TJ VF,! O'! /A# \HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup7zXZִF! vZ] !M젗OFK?Ie6,@AƳ>޷-W͗`ۉi op:meGj$R!~) П֚QO-D|܈eC'#'emذ}zv+ C3+X3vH@B"5"pSίۭ/%7Ω(dH"sd *CTKAINi)T A&~\KM1 t M44espSY6D5|g;hY;_hmnU˃>T<7[c_ 8ܟyp OtTY U08a62'/?᭑V0]H9*7?Ko+7ƅgyv݂ I ޗ c՛yGwy(;6@wZ;.dbuUJޒ"Şwj*I IE E$: I!DX9a4 ;oC@r ]M ٖ[Y\#-غG{YZ˭#/1Z ++ ^mv#,"h,ENl%zO_qp12UL! hiE=^mHC ߻7.UYt~}:j:ϝ) ѝeqT# ɣs!F$m);EJhՆ]VL0h_ ?pu]D ^c;>9EL!F?.m6X13Í;6F Ӥ;jB7H6fGajfH\ *b(¢tN?S3SxFy_#$YN&60;ow$²Wͤ\l]~;aRZLo\D:X;+(]RǝIɝseO~aV K %j{<ǔz{5+.1KU~dZbKVMCfLgZdk#y_t r21AI^=ˏK3ϫG8K] ƑH;a{GvX2sg'>Jͼ򃔨\W a^ճJ3^,+TJ iMr+V,p]Ӊ`<:'Z2cU@ upd(4/3e9OB/ZaeÌHPxcg/(JT*v/8<]O%3-(ђwxtrFfܩ9l`8;n}=%A?c6n%8W>P_29`)a۵#-.'V*rb&1sgE&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'᧘m i.ɖ-OC/3l7(Q(*|{,ىr`/ȥ}]p7Wux3E ym|H?Z_m7 #DFJ0Y/NЗh܇](Ĺu" c,k{ƝEe3jxR(~6hA"y־ gB7썹.v6 .a^}'zZQ>~E;{Qҋl~kDQœ]7$5$zҰ81pg'? $)WeR"IybA{)YIʘ;Kp~KrbforD+FPkwj=9$Փr^P鍩D/qm(vL%xMm+.bi)O%nII-b>@| . ð i. 4B )}P@a# x{'n~)VLɏ_ {"up5LvVho}u,d墊+Nin)MQ%H:rzuGPpJe_etj(RZ)Qޢ_{vaF8k).> KZ0gIPzTz7h( vI AHBi h`Ⱪ 375Rvs=ulh$Ati=3y [Qxn\hۣ8mVa< B3xF({ƢE\".Knm[sYrFόbE\tF'j3#~]#Bm@AO;ǝǤu&ғQXhA}(2U<=r1vGKF89I NhgF5tB^J"\ƾE> y7*L`6ޓ:#ȁ6!ٺf7t|1[2*&mzgvhhW袱2+orR£04;|WL|LzQfU,£PЕz)Bk+'Xz/7;c'gjBS:ߦjÒp)?Xm6acy^ cŮJj,L&3[Sc7'tiLJcc3cTN# *(GU -[ͬەE aeRYͭw}N"e8QTs{I&SWYu~qTٍɶ Dvq'Ek%KU쬌a&9dK~v: /Bf9*1t8cJ-ZDL t7zM<<)|t}Մ∥xBK^wj.[FEX+^J#=֔qZ—X$8:FAGR:7\H!f fC.NLH :{,MJmco, w{I4eT|2YS[6< A!'+lm20n\ra޶970feDAAusQ+ S- KgxoVV|Q9d 2C.?-dUKnܼK6pGXۡ/.@~6va`~iL6#\1ҦLhaY!y5k`˯#IMdVxuf18PnlM| a=/]Iyq[&=miA:ZpXI6rP(\C aJ([.4u@gvTc5qAi4L4"B~V_V)v,5d Y yw ZP*FxKV|uDMx*|lA1RŮ&) :m&Or#9"\X9=X:OLW/ ޖ0=݂D"Pn\w>`d ǑJV-Z;x6~9pO<eT(t}]b@\qEcL{<ջq߈v64հ.:1 ʧEB`,H1.qw*~OL֩D* 3USٮK.@!]K!!Ѫ:(,/KpK蘼X|P^x(nHaq<rh!DAqi2LOOC2b1 K邞}gS Ow$#=w-]PϢԨEЧ4.mB֒L)3[hö]_Ī hv'(9%PTɽVh3/W2ȳ|ꆍ*E +Ƽ B5<<#ťH]˺vfF+u}뎂9CP%=ǃ-L[b[coY3Y P)Veer)Ǩ+E?3'Ԭ9#i2CSMdؙJ*:hF+l 8R3[А*dptu ;h,Y )dWVT#h`&Abtn`9Ko-\A-9;ڡ4!ua S*{t0<$b0?]m$\(JCzG:<#B 6SzDJ/➉"L1 6g"DmNY:Zڤh=iKKݝ%2HǕ\TTxY[R^@a(Y\F ~;_zqNp/Ib.@CJʗrb NV#, &qCHV=~h=(|uh+n9u|ütm';bO CP wfeY`aG # ̞mcEs38F$\\z#âM2! }{MQ@ZK;ռQs|[@H.^a4q# ?ьlpCiFDI)gB*6B|ؘ5A(:w27v{x0?2yϿ O;e`36LHE 9 ǻ/PE.tлb 1z#A.di !~kcm{;* g:G_kGƷU?$<=RӏV\g@>u; $nOTS5dȏ+KcՊ{~G+u.G|X%~Yf F1[_0q=ӬN6KMΠ;5JY4:0[C| @<9~uʨ`L7 D[gH\گ{2_b+ 5ܧ޾%<ڬ'L 8 V *y=QF]q]geO\,&ZHaY``mQd;k^P>,dɭo]:-쯞p5odžO}%fPVZxL^U!hD-O*՛9{^U,]`9LJB J9] 0&( jml% KjLmXv1Q*,M;Z"P_F u}M@Uuc=Љ2h-r5'!?L@Y% Bb ٱ u8Q,pf-LhדzD68Jbi$TpDZČ*JW~| Ɛzr*\VDyr: ڬ=1pFZ6| ;D3k_X}}t'55P,Ki\Ɣ%c5 Z+ "|"= ^} ';2 Y QRoϺHJi;=moKj-1tHr6iHxȐC$^+[^S}㗓CoIf#Եbmi)%GIHJ3Fלm(hI„PZ AFP|UBGo%w!L{UBI/Yp6۬|\}GzӣۧL$e .38kCf3 f>qf7 IJyȨ#*t2=[cTFey| +(v,tH}oi[pzAҼaAE<>Rp k :9'PP?XQ$>Z W1#gtI"׏KA}kgiXKK9S9-VtVG]Zք^QEF+Y !<|23\o`xy 񧼴lhqa9zKKw:ih:8籀:T1ڡP(|e2o)TԼ#[uaߣT!4B$ gOb77qd-xخײN*fd7"WM&t[[OGx¸M ߡ/)bQD/v.j[KwVۚ^ , rLt.:ase*xt *\YsE'Ǚ1]/wO"qo LK1 zPebՕx3Hyö<*TW_>~RLɋ!˼ti!kYT#̎6W?; Nm$Tpo j&JR/ o"Ud|K.#e%peQM܎w&~ZŚ){!m >mkˑgPo0u5Pua# wGMEq>N%ieu!GB2HXo^aQ^H`mސʷMsA|mATHt[ iCR.&qpM3q [lc 'HNp3j0I+b0;Gq#l8*J_"l u Ȗgcqi~ِJcoÛ>cjDe`2w8p5CzrCd/"y_$4IHT҈ ,g.E 6z<3r4Vd\o`1ix\;I5ͨ_Cw2kǮeC8pL#J(IxsuhG9i C֬1L11y=ݵ`5Pj%)οԘt#yމ%m x\k/APt#1J`1g` N}Jp,4 Gv g#C5 5mljWZ,HPхH0oR鷙W+K¶Z'f+zZwCNup};}ac!.܎> $9|Y [`HY{#H2`uިeMWYwH-G9X90ς8-.fFnjc)NR{EeGf,!iWsێxy<0OtWZ*L Vm' 5(ЅJKJV%Onn,l\ v@f4ႄ;V޸_5R i?_]\mDT(A6 ѝ,$13:ެp$؇4ҘyTv5^9%ATke@ڶ;0 ..lkA *!ekm8I﹠Ert]KG|dhї`sXA8#"c~kc'H]ԏkm3t~2iV)FUu0?oIAEJ')ʛ%,*>O+JI }+#]t~yz;V, ;14:'ޫd** = xt3 }"Kk $t+J=N,kL AȊx7\jgW4 mm_v'Lu+_w!:(,|Qjh4γ'S:@{3YrsOlq<_:\&t?L09PV[s*ҼӐؘj}ȷD\W2/@q̙j;ve,$B/i\2^uc+?$-'ϫE~AbMj=ޒ*?[[SCO/˪^ Ib\#w3BG,Ӫ߉ WAH=ӥAk"rg1bGK0bl/ 9ED?^@M*bv%1:g<=a= h~>Zw%R,9q8aEY`?ӄgfz12 򶂩\V6F5#nZ#F-w.@ELx͒h2ږhr3#~iV";PV([ܯWfxƅ M~34^L'3cK7wK XM1pw@ѭyM+V<^ ()Q*Z8pBF<2 N: 8U*hKz } 5@P:Yϼdxa!MvSYx}8L*EK~V:@.bOw&γ:ZNLD 8UdK;&#ޥ>3P_Ŋ8/䏷GqٖSG+ r YzDQil%P!Gdjg؏ӆk8G X۹e%- *I:iH>TrOx[To>c+í(`2/NJir#TKJJfF4أS4!@Q2M֗8h" XA ^{I7,͂2Ky`*Rag 9NSs0أVn425dBPHacvfspi {BcN:"7)tzb*ʭ9xil1:7La' *:h׻x4I7sd瞽x󈍠^:J yAs= ֚4kL`E8lz4$OwpMሏ:N|&$ZUXQX%E}Q> [bJiy‡Ɗ*@eWPթ8Cd﮿3̦ P'+>ꑩ|)FTdv]0]6 Jm3{nɷ(d7^)ZD)H]bcx'ѯV_ɷ5IOR-VA^2IP8F4a7H0B|qް̃8R|Neo:|IQ˼$H2m﫥 8~Z ~k mMy7 q2˸Ekgh (#]r]. FSkaBضcl(KR}hFK9bŬ&eA$`7%P(<<dE<q urK^Cƅ=ׅsdŶm{2˷?H- /@ٖ 4*-Ė7 -P7% rUyA D6Uȗ'JbRSnhԿ6x٤!0lL:.>`p 7ҁ[GPꫝ<+ZFaOrc:CֺGA!U,|kgjjS[1FMmӧ'$Dl?ω}†VloPb]\>m N9ªaؖ{?١VaBe#阛eLY[캀o-+@60Фhc^1)1ޓEf6V)DyoX]v |!JïmfՄ@lµ(d uYIbn"A좄Axb1rIlgx9!dtAa]!lY"dpZ7Iqc*fůZkTT¿` ~]0A[h"]Zd+ a))mȵ! F7NwaT/0ԆcZ [^*OjoDjXoXX&NI̴n($!:Alo\Оf<[CTPtHC O72/9oyY$!e !i{$ xc !jqK-cocSpnгАiˌIؖ,Q6|:˺`-( G*G4ҝ*H~yn /t$}7i]I٤L" =p3?PW`y vдs^QFRQL˪_fXSan2@CeS|sZ^Uƙ*d?D,;q$=M L\>ջrc'9al)2$O.k$3ZO-Rd@V̈́ق ^k>iXlpE23Wƨko@mF#pO%ftDџ*N똤di@Qg-EMxI*B;jm&i5$σؠ;x P{܈ZLf&Z #p| (BNi'rl3lg[5T4h"Zw{̡HRj y*FD1B+'1(9NWEERYX'S\Xӄp=]^qpeqoNٳTaZ=@_k^N  7r~ACH`^/[+svS#s=Mm(H"ec4 7JBID*l 6PeI`_]n>,,>Q?r[ݠ@U;+$gڗڢƬF7|޳oLpߕVTTA#2޽vC_mZSu7*Сr̍=}[2أr]O\rs?'9?e\y֒N9pÈY!pfQcH %H% vf|B 9>_8ă]"9!jE<F]~6>MoTTv&teҖ4XB)v&@h)`C_Y3iwp+or{2/ř_]g. Y9; ruuhŚv8FߛH`io7-ho@t^ =ݸT&jG-_`yC*,fS Ϣ&B]|/63&6xl,(';ѨpG"Wot][N0B'"ʱHOw0Y}֌eiaeO+D p?8j ?Ma3MCx7D,JJ[F&MHQ3S ƻx0fUZARNvUf8Нy1!gKl4h{[#ɫüO{mؓ@3]hO`܅n7ZymTU<Ě\R;z]raYff >VIX xpP0$FK%3vs1Wwe|k.~/wk?'66tBDd: -\Ibv/F'xޱJ$cFaQ3h&5 @Ӯ96W7݉Xb;Ede#Yy%;CKH^"/V86Jѹrhp,d]̶-Lwb8gËK;5_Q^}{UZT< &}~yIGS;[P!0\7i~VtY V@ 7U {!^EV3By֑ $#YH:M<=K1DPWX:9K)P*5Z!LE] Pb~F!Y VA1ygB"Pv4ۺ;iT/^0m]O#_s6臧^ʐ]A4>_s .q sn]*b[f! Nڟ"戮ACLdϜ ,k =@Yrq7\瞋 fbXrvZ/>Ir.O6 NQ 9_6K[Sv{x FjR-ٍ,vx_EBً2,K#{޻DL9,^+4WsxO@Õ%0cb GJTt07oVLyHW4+@K dE4P:baӴy`Diar|ɀ^$&Hy"HǹG,+y? |QlDˍf+Q \"R#C$v9khq7eno$$ s xoCC[$a96? 7ȔU(o- 8ܩ^i[[{# WT,D Otuf (@eeĴu!X()E&XC%v _#.&s$#=me@zj enڱC3 3FaV!dsyxU\cͻ3IF}SErc@∔nx:F]Í )QOJ]2xo+dvFXvh;1@HcE`-MɆH{uH9x"7>t[RϘ 0¶{\QR p[Ԙa.f9 vwF׆iNfo^@t(In tIm3ae-E ]0VhJ򬘸Q}cUO .@e~Z1­صQ*hYص ӡySkDCTx/0bQPQ%T 9O7g-,8ecG VCd x6 (C.9gaqx_Iս9im38 h!]4~σv4=A|26*,扂|R8zX}`'>@}9?zP1]xE E*<ƵhQ9NTڹ1l}z)Q 2D(E <̩ڵ{Y8y)K᱕*[в[Qzy_^GHo S5! L]McXD)LIadꦝB"®K1ܥRc Sx(eO%5iSLt0 ԏjh~ڿ [K:r".) qbU;Ɂ : |њG;NFs6l[JuֺT@<`5//*vWDT3,mxf,"0R#> YIY8}‰pNĿ;.o&0D@Ay ]I"OTO?)Q{; .BdB92DÛj>W.cif*L%j0jiv'ܕ5FbZa9.пzD|8o0h"B4=r)m)}٢z? !nmGg Z31u83;5ei{5P\'b3Sx8#.,)Uc+ZY;*1׳D݁/*i]** ge| j#d3 r<*zN@8lAA+VWѾ\os x}XSFJ;/=vh|p@XSЯ!Ww((EQ|n!>l`}cjs^QtO[]r ^wO8P?-'%%͈$Jjo3}(#L-`Ok!0\Ͷ }uk9tQ)l鵳p$ ;osw2C#,Ya~oATGWb,1^vYy*ں~迃x#Hf+#nǜ)w0!V@7 !5zhM['*DM7@cՠQ,)f~ˈ4O WnBKl'S0!CsPS?e W[{'͙Oz7DuQΎOgd?u r1n)!4:s&-#Ve*WGY|*\@UB MalIj`WJO/SZu2]z 'iUIƮ.BlS٧ \Ik6GQOƖE~d󋜧;Av0Vfׅ#!ew}zymȑFUeFH 8_Z0%Sj9üC)\Pss~LGv  nNxj)}*(wx.hp&\c!E*{;nQM5EkP+P>`gBfn'EGw$$w v6\cT"7ΉO`e6B(3T/"8-aÊ)Jb9S]F: v-@s#I8Fd8|g؋t+|xzw\z*abw+,=Ior&fH<}p\C{@](R$7R8oM@BTm-Z 7 yX=:c&J[HTeTQ5 ?uk[Ht\$U!5m1y} Ak#șظn+?z{.a8AY&8V<%r9lЬxXY OjcsO1T*P֬yQtnQv"N1dsɊo_ Ni@-^F~>YH5*V,b|eNHi:@W{PQh<qZiX( ؜,HG}Ũ3ig^k9iF@xdaA"Z;P88j⪺󚚓⊢+Rb̃i5_\#VPTEO=n鍈пUYK!38[V:%3xpt#J#QgTU#lݵ}A4>lA /8+ao6ΐ]ގ yYp.r-tS\_GZ:4TLwTl6m`Җ'}744AVga@jhXeRAK9&1+ "0(O>>| cEwqa<we"(Ză'%s̀0snF iDn>:C,#k'I& C\op7B%sEp.s` ȧKI'p*U{~$'$sMSo)0INf20FU!vl7?kh,}&!CA ݂O;y؀S>iW !F b>W,a%/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' DHOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages7zXZִF! - ]~ hk.<VAHgM@*$b1g>*g$׾9--Sz$aWRk+b\F0x;OIL\9=cХy;>{+l'赖>686bTZFՖqV $ђR(;ɠnNơn41?E80U%d]O#UHin?/a8!5!-72)!8; :M=4 x@;2U [9 - ~o4hf1nTYLX=uKꎀ蘪JDR-NdTOͧ_(EUC@_#Sm/>sbrİYPQ-޷i 1f@wcT'}}S0d/ 9Fϊ/Cu Xtw5*5jcˊE <x7 mÜ_oŵ}{ƨG!oJPoCe?_GiY8C .8+F?S;oO pɩ\X#;d8ކ2;PVit],V No%'& zV&6~ikMF`LO~>}Dz L:^&"ބM0fy+WD52ف("Gra%; =)~UȲDE)0s@c3WJҨOw.wGZKL6u !-gH۶~Z&UPg[=d;w):؛; `[8!tQbv*hbڟ>yLD7vywT]4U $_ ˞w9kd2ύTzsF!;?rMRj>!Ό4TA^GQ{vb[hv$6ի:nioФ:M{SuBR$AXb|:`a $͑H" }RmIŴVKcrup9$d+c} h?(5nxlڽEO4!J+BYߠq܀;HHķHzPOo>:qCB<)лe_ [@DusedOM?-Ɗw#npdޱgYZo|yZ= i+R$3^8i90ۂ(xIG9v:~c>* .u*1ȹo^ʚ<'{@wQOs( }/y\W(EYT Y+7R[GXT !xbDWc:Y҆$rs9O8KHxOvȸաS=7wMP~^M'DkF|Qw0]H<ʢt3Sjf$I]flo28 =1|Ȕ%- fŒƘ4+(8Hyb[Hʯ]ɌiܼMxM;|Bpۘv;b@4,Fop %A$`iwj~ FڝӴ_sQ[rS&7'mB17$1^[餎TlѺ%v`S~OETΈV}^ׇy L6\f ,ksA˸Iݼ߶n!.?/ZF'&-Oґ;O١ 3Z\G_NEcJaEYx~2SAc=ިв5 ܨV<#qE CB@JF୅ET1"~_n'32#w5ݭ撻cd~L[htibZ꿘E0w<T]"Ւ]/+^H+́^a>/3Kщ2-GЖ(\湹.Zaу>¶ASN+&r╣q6'X6F9Qr4jKxހ$eeUvI%SSED2!ϧZa<P^?=k52tWTYأ/\{.NpxV퀻LT fΞZ} >s؈A<ԚӰyd1vU-Wm<zOg6۲2ȁ1$O֠G*3ÎHg0LҐ2eN!ӷ}Q%y̥0lg=Օ ^ pʼ! bN9]U{( zYfO=9< ecnDqv$O .O1.cY5:Ky:4kF??' R^5lؓW2Sm?x20H  0:1m՞*IZAvKӾ6;30*هԇo>qf+)g:Xvs;[l֘E`mNh!b'fzQN4 !s+?"Qve6!ƌ|yEe dD nT*?s[SA',}Pt(Se}\ߥuu_[9Ad<:ag=Ū_P.sxI@ :ВwUsp*)B\ݺz\cR\{mLb2 +jA'!X]LF[F`+̸@>/ G~&P# &vL/{:ÏZx_!A{⭾7>qKY{1do}=]6FYv5UhŢ| >m,6)Kb3qst$3bM E}*;6 a7ه"yҾFڝPu i НeҠy/uI+ʍXaAqnDHG㴳B~F7 ⸡R'RK!F'n?b[%re (Mw907-s Uq[IzRs|+vdOp,4u"ffZ},nq"GPR"]ǡ N3~!I72i01OMN= |:?.jIZxAp,}-64T`ߪA*oo@X_/u do,>dauξ!mgYZ  ( j % KJc0/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! 7]·Iq n[:|&[z'&\D oo i*d!OmH:7R [bnq>AD^cl5ћW!傘OJ? E <~]q&j珵eYbaSP5+uLͻ}դQM•@ŻϜюW;d%p%U/o|ol$@Hn b(Qnd;7q_PƜTjÌ8p0jOA SRk=7!1_*ac,~ 1:vߕ zDN?[Co#Xxcrn6P 389Alq#n,BCvm:ٌA3"mZpOQ:k3I,=N ^OLXTb2h0ENހk y_ljϞ/ C!i-*J?\{/^^yj8)6G0?F!ǽT8/ZNs0a1}+LI VTAd0|WF$\ldjbMd@y!%]VRuiyBly|#p} ksOu N;oo]|LL׊ \Dsn۵~흧cЧtD?rLʑɍn=ۢţоȚ7}N0L&mtDQd"< 7EZx@2$;lG*`fC:2{ѐE:UJ G!NhA -9o!;B.g&6>;mez-X9_$`SY">*:ВveQkTjclz:੻PowaKg٭PzAڮwA-iP=#=ؖ sUs)4UpOln [/{p 5r+>#aa%Ag22˴-UxSZ1}1!:$7.G*3J`bHDrzkpY eԪeXWZV/],/=!RHOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/files~~/src/HOL/Proofs/Lambda/ParRed.thyC+/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.ParRedPIDE/document_id2083*/C# tHOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderPIDE/markup7zXZִF! 4] !M젗OFK?Ie6,@A`)%Zfai_1[9S0khIx駷mJyyn\=WʉXf}~KW/OsN08򡲇BD-[Y /%= e!7Q_V\}TNJ.A=42Ş .4$:k1Ui&+PYr\] _Ә/:6L*?K(LƱGXڤzڏ3:߀tv >:a,!JxЎ'fDѲAKb jW g*wL1md׵3Ԝ76l\{&7wKI2&x` ݑ<Ȁs=ˮk/mk}={[faS4 |8]7ZԊg `ݔ;i]WVv+}4‰16 _͒Ε!_ïV8=G1&I+Ʉ-aZ)w, 8{ֻ}|kCLJRRp `׎q"ZӪ .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ί| UrZEWF69Tx2ϡڼ)A 7Ոq=ruHnƑ ]s$'ׂI'"lIQJIHN퀧ҦV6V+˱8b7]Os7âꠖ\y[ƮQ2mNch^2smvH?%4Ru$Gw7yƬtg+:V;VETh-dk_̏WJӮ虡-C ~ 0 M_)/$8]ԑKNM}!AE;܄: kvo쿀8Vl@ECK&s %pSYeA%Jk{hQ^sI%/ R{,\P S.߸d3b{Tyu~cloF%]&e?QY֙,J+JU?_.%3BJQ^Ui7Lㄍm ;,4w{ S ) :=0TiىIf /= tW|CdsjYNV'ȵ9 YSApJxo7JSsKJ;QUFLP},/ =s.I\ F84SX#;iճ4nE C3\O:#aV0?1TǤ?8;zMEQ'UƠŵKaLPeXCsX3lo8;Fƾy˷ 7n&}Z|\rk͎:kَ?@)52@7VZ&%ґg4ePèK%^V$7 <[5IKO{[O*&2a$$Vx1ӇҐ${vdG=-ъo]jd]Mv}͋XX<ik+䆰w aq2 q#Z3%FŎY2s_B֠!v!3ݘLc}f5s%Dް7 D% }v5 xr2襽W#\zvmÚ`߳pQDgHup~PTuIx'qxw%ɿDR_,׮c` /pk(.o*3E{JՖ|<S9FG ,I~ G/rWߟUpJ'W Qޢ"¢oF+z0Xe#RJsWP GtpOQϻ('^Zx n:Kb/ !}&F XBWLc#Lݽ[ *˒!B6rwZ̔>,( 24(&,^D4Mծv3S.A^-YN[158e*Pa%M[Vq-9Tf_W_ jCaŒx-ޤ9XDHKf82<hHb2vBY|rO{CD'LPw$:ɂ5 (NR){w> Qv;6I(\upze\f):@` yyԼ`PmrOgﯜ>1MԬ<{ra>hMdAF}_-=ŏ: _1u!6Ļي| xGM:Z  -zd ЪZB]lYs,)Ɍgd|;P}_霍ז]v,1\z],ERÛffӭA3^=-6q̖~t󰨫Ù*1v w5/%5 峓8Hc\O1&Z2[Rsohݟ?-nyl|;pM W1 ʿ\kIjnfQ=#!P+Aɬ6 i%s#"l [c$jߖ8q/ilK瞰%laed 2po356>n1b?`& N);`}QPmFMG 0a,1#MKyIesړ<1)Pdm*}E~ %!o0 >Hqv '#9z:/pt& |At%bnlG0[gUԀ$7{cW*J܌'!A-C:\ZYF}x&o|I8cB@J-"vnW)һ~#m\<=K{6Z qiQo SܺI^gF?~8H+&n_pF-EL@SMUhps>FhT@W{XVⴄ S遻: 9]E?.]|缔7@8 *'R Z-gf &.j$Xi;dqي|&~f ܨ@!X(tx, ɍU;&jiMBIr+bkTo+W (^B63O#AkW/HDodx#l`MA nh6Op=R [ѴOamw ;gBX[I%r"L,|f ҉moyDZD.(7zHHM 2IvVбj"+^6&X(X[o(kj9k1WѴ,. RzXoiwC_S Huh4gzaf6zBy]QBq*V#(k墛щmiin1#l^àZ rH0ʰl|,3?{1~&DF764jx}Ȼsڬ|f}u)NL~I -ĴqZ3,A'rRHcLgJp6uʹ3Oxb`,v.紑ʎqV;5{[n*'E;nc7E F;X;N:R#cH rթOZvY(SR)`/ jm+M=)mpvSB aÁᮛg:הusU}K2KM[/2̓\`]·Ą f=K>>PH'~!>a>Bf.??X^ByAQ %k;D[H@0u+PH}1[( :@,Ǹk ܩ<r^*d7Ӻz ?4mД $PC1Id:1y  Kmc}A]Bb[n`uJ]Y06 Im{`{ex@UjsӺUG dֵNRϺ;gR`Ss"p?HkTdBؘ̫Q0l#w'>%" a$s>},:GJX΢Nb`;H]\*$bS4O9zc%QGxy/efQ9%=Iۅ}_j^XXX_qTG{){8x0x%"E4AB0 ZɃU-?ڡOPPR h1#w}]jd &ftOpF3Ӏ{E<̛wloMhg&QUIoztۍFl>o6/ ~]+،̩}q[c>}|;- @HTǺ/fl~)z')52@)\H\3~LјJlo+>@05<xZ*+8dVl72jG<ȋXA?jdpy`^o Ai5ƚcT*4զ4HK:$ꩲ"pCc,py(_$r/0A  DJ2tnep1h#[ %3<䭥umȹɌ`WjoXN`2(?+ F]ظ 6@/llf`Zs϶w2r{_zx$Ӎ̈́y q N\`\ﴺV6x ,$Zqx.:TpoQ= :@҉l'zK 8ibם ز&n=3IXy*VEzz7{SM΃M%|c#5 p鞧=_c[?ݮYĔd(ATFȕ{Wn.u`V%UJt94 Gv_%Dد ϚAvнC ~} qPɒL0bzCD(#~Y8\SS6ƨ9P't/,܋8%hR Ċe#;q&㈄v+Za{vw(;EbE9DSf_:.漩=ás4MS.?!w-T3W'^_pn|/M%:O44̐"LNR tqQ6O*7![2x1S\&M1QDo=ژ󯞝P$DeN֕4a q9qhmnmBN˴q/0{{(kʥ0lRFJtMk9+T h(n)$}J+E3_}lLtcAŒ"c?^VDBR,)9'wQ RQZ=ʒF(0av9.,X}ˢxmA@45k}3Iw]G"ц8} /SmA3yH߽-un]7~crQibIgU6UU z_' {}80`7nx VUaj&YevgYZabݶ-%M0pn̰lU%!<q{,~2]8^]vyL# Vg$vb./|M!,y56XWSsUN~JOIl-!qy;LKqd]5:}:uFF2ϴC#PWt-}~f{cVtE>0mGX-c0=u7(1ZqV !1Pp6={wzDJ䢃xۡ@}u>F[3޷^)}pbuP] eԞ~ c"=gɇ{V϶cGviFg'l9H+!y]:9$ S }"R.ě iW؋F$6&]5|9=6`81<mw2'MNvt?)]II JVioՔŇ{[keLc ,A3_Fyw72w걎կ[r#~p:_:=C5 ޯ\΃ߴA+·Pfffa[tzMnab4/0N6;B]9@{Z[MY`ݯp<^CMj?6O?S@01 @t9IH^o@WM = ;ϟz&[=6io5Ρfg1$>4V+axA)F13-㯨޵b-{JD*/TͅF&ΔBSYK̶DguХXrH`o?BxCWW)3~3" FV5ȕ:4*F#=KSpKkvL3,qtv82aeEHW>Ah@C9`~TUDZ6GWL6K{3$+fѕlLPHU y*Ԣa!q F~U @꒞gU&,"&9#P(6Q/@q9E3>֣/? J#]Ǟ8(i/J(Uril~sm&0Zo`1P{ȷ^Gst Aţ­*N.pfAA2an*u5CAkrқ^ٓ|kRZ+wzƠwX‹od;V aȄe!<2l{+4/ LwXPN=bWi|;WIG2mx_X ab ƍiw ©~WjAG һ[Sן6ܿOTw'kaHiR ջ'!TZs\ /B,=ěƊ\`l涢Y|'ٳ1yCZxvӊ5U›-ζ8mEBli=.MF dA$[+dqnk`7dsKydѤ1U$6af{&uɨGegN4-Fni:[ 3^ڌ ΊF AMW%%BvA2 Oh}0(cjci}T;"N'B$Zr~7@#!WێTcf;Jڄ>i;qϹٮ(W?:ϧSW7BRoa5pvs5.u9  L ݇ۮ\Lya;fWK> >0~45PwΚˉ|Qq2ө=&i&TӌNO+ȅ8A9GՑe Y뱢%vbD~ ˤ*Qa ®Sn #nndQ0wJP vG&Ls kY9Ff+m `?i 9HsYT/^(ƃЃM4~,#46t4g9Zg'`r ~O\ >Pxm%7s7оꜴ5m-=-$5E,jM'U*7:(kiSy+_dk YtXjM u`r!ڏBV.\.OA[GE+jVIhێ!@2 jT3>'j#v5]J2M^҄0Aor]x26 d\b)،G&]C ](~~H sE۽1kWA񹆧=WiO[O7V"w vUS 0oz1ە9vIUQ1p7lZIFΦ)ɤ< A12Mڏg٢vKR'#+yT@^hdÃy1b;bij4E-Ha]]O +?m3fqnZ{f_wI/Jc eV4\6{Ȩ'=B9*vn}6El.8qH^s V$-a4,eAra^F?KKh܄56=-}35+kjP%ߒx):!#;痓l 暑#ɪ[,)In25#CV6b綉S#k6.<8h1v5r|bϾμ>*e8'(-p\fwuTfGj,W\*b:}3W b \EӍ4C0%X.Z]_+Ҳ$Gz׸D1a&g }W%x<.5:H5CQȞ%F)V `) wgYZ  /1/C# lHOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/markup7zXZִF! Uf] !M젗OFK?;uL2a `BEJ@1׉ i \Ѻn}TmRg.ތnx("6'aQ5P8AA=z%[Hbϙ=fV+ҟ:UJ+.^]QH'98#B ' Xt* ,e^$#_OC>l"KH9 :.#32Q ߕ+h٭`39D݌SҮrr6u5+5Eat'!xYpPtsdmmȻw3"Lj18HUz+ңE6X8f'tL".$Iۀhuz5ލЈ dKzC鈎D݆  IJIpf"Sh:Q wibG6 Ճ9I:{LcFv$RE.HkYW(ZHMNy#ZDKjsCe3(ii$JWHn<WhݶlF^~o9}T,yvks."<vje ҭ3'1Pp<NY]#>zi nNSYF?~:Z򠠜nyU|Fu/@{-C0H|rʻZAo#Q=)r9ba%OFھImÄ~qۉGܔx۠ @ 8$aӁr_?lS52ӅHڽHj,h$1p<"9zFmPO%z_NG#"a7>n){onRB~ i4á?;:7xJi:#J`yζZ p<$ȍo n>a[*=<!eP+}J r؆0 tP1p/Fj[Lj ՙbbꖓCa~ MomޓzРuSG[ٌem~ Q.m5Cc*ݣ܏X&kzX)  ľ (bZ h ˛ +>) ;{Ih0  < ]5 /E# DHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/markup7zXZִF! F"] !M젗OFK?Ie6,@Ae޴]B~mل5/L Crz;I{ 2 %1mLz& NR'}t@Zwo#c6Q0`6\A<}CcoTP6XlKF6Xbp|J}@/7 ?Ig~h̄'KIq^i7'Sݧ~{-sb>Na~bKQ=o5-ĸ~c ~НjyI xd$nqZgDxX"#|8Xa$]5W5 jJuŀ2*Cs.-S ہ_)%`R;1+`tajyI&+yWn8Һ֧4=>&_ɺ6tqHu3e4/E!ZHOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/files~~/src/HOL/Proofs/Lambda/NormalForm.thyG3/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormPIDE/document_id218A2/C' HOL-Proofs-LambdaHOL-Library.Code_Target_IntPIDE/messages7zXZִF! ?]Άxʆ5.f-9 rq8HF8ёK&&Qn,#'/H坜 O¦%3z11yC\l5نanp2 "J!lU $tcj yv ,8ٳe!Q&}`L#.0:}8;\!iYm ^9WvDt (cnpy/n/}nlu%| bx NAʫgNěKEy_ѵ"Qd}GF01bl @+F֨Q]Mď%א-S7n>fKg#&avDᰕ}dïD`:gu#ɥWizDeb+#M3+,<X6.jF&; hfMLaܔٸ0FbGXZ^kҎBpL!κ9fgwDVP,Kf=Rsy [%ms)$jt@dI}ڛcN: 8 ap-RY#NON0Sf֤3@0p?3X1ů|~#]9E+@WV~T}KfArDVgj5ރ}jdm8LܾT4YJ˾vhz.{ KˑbXm{fm l-0f?N!Ƣn%3H% # 8^/yM $Ÿ@I_vqEקJ{A@ět{xWC= ZDjMlC|$͕Dʶ P؉ #޼ߌeQx2L._4cǃA7 ]i@ؾXBJI'r XAq,dzډFϘi<)2ȧn~NNki:%Mz|~Ьz ;耫^sU9*ސt ֞B6) aTaRs|{?ԱB$|? ZwQ pkΩ{5r( bd?׸-Q ?H.aL>慧i3OqiE}UDUzhEַ:H0v+ 7FC]O T޸Чtg׊0X S_ s WYc'3N#^%{ZϾHvׄ0a0# Jwx0AT6ʥ/mo>Bm.&"#2 L5'b3p`P侖5LmО)MpY~~E[ Yİ1t 2){Sr[V3B)4Y}F qCH#|w\Y +~m`լ:I0JQ -lE\8=@ y#=fk3e@ PnR;)fuVk}on'%rͰ0!`3-nGDr>Htj+&#]R&3%H6pMٿl `cqx -G*9M9FU:Gwd73e/ZK׭_(;MNx?ⷐ̸`RKЎnc(z-K Q68}3g Igy=1[D !RjGYM2-wq X)}ꑗ+HYeł TG`JFlM]LU.}DBpǚ[#BZ+Rz7 tAT%% ;o'ǓI0\l6~" 1#0<|0û/i]=^Y7+/=X)jP%-/'A"DUJ8 ?8HZ]|]POĿN} ^W]ܠEJ(eOˡm{1Ɣӂhm=ʁҿ j ψZЃ?I9_]wkU4?`8L ,tJyBIQ]+y^5[hwPJyD _~%\r҄ ]LiQ$ILQJf0 𑃯Β̂ ɞFĸ88eFǯhy 3/9^ ȫ*qAdHXZ{zQY4V^F K<1}=A椙 UMȀ3d9`C+*qv3KF2Hj_QMhw= 3xRY dek"5;s?E76QSa!mza"c 9ƐeurhëS 5|Cv}h6@b0m ma`j~'sQt>@9NZl_?%uFGNMW}>PGR'e@2%R&*Қxرc1LyaX )plx0i@/ƹGP !wo^"YGœ3^$[Sj @O9ў3 Agj6B fN*$b_WU_7h.+QC}=@Z=,@ܛM_&d\l^i|O\[IH`,zBɎG)vefGM z6޳ H[fۑ<yGj"=GROl;Υkpp&Jg-+A•Ja nvΖx¬*&Gt9u9dƮ:L2&BxPx|#" ~s!^} 1%0ȉI^aPLA0p1̸L Y}rfLjf)r.h Y)\Ϫn îaU|;kȿG%;{/-bq "wgZFԩº!c RbΨF=lKO`x&fw`k8;>I0ؚWs(kEgj]#ξMjm;=ν/vk]k_#wPפ_z܂ZR^ѣ֢.^s] }kN ~'tt?r)ŏ*Tu8UDwFaž;SѸmC{^zŸcޭ(49OtYޚ8GfojpֈLu*Wh@XERy׏ޛ*NI_FVl]^(ȟ ,{Sv[t29*>l3,?XW"m.S%l_J􏝧ٝ1'B) ,۝q0Y=ncBfOA]p;-Mz:8˩ ``f-mdBwUʷr-+kTʣۓz]4)Gώ,xmsT&F.m/(~K5>zU4kO#PjdR uz)UO|y% ݣrYm".zRf Il8.-Z_>F9DA4e!!`-~XdYl٧/,W@<0Yc}~GM t^-{3=t&}8y5# }SI`£Ca8gI7ⲽn8#*3*?lF=w:aK2:pCLN*\]#q~p9!8푲Z4XG 15$]sFA)"0Ss)< ^=dVNx&Z \cőfMXpB F}U z[ Űh0 0*gvޣh& mZQt_h,ǥAt^\XKe~*/Cy\C;wC"I-0΢isU( I74Y8@P*ے8װiުM)Ӭ㟦"ҶtL?s, ܪ0leYqKv|<մ&,t겸SUv ZzqMZ<:40} ] ݇lЊTxֹn Cȇ`DYA̎B,rC!3᝙2zOD/o!&6+y)`X;뙈k}m)2֊x*-n Rf'VlinF|dž5 2!H&7Q46Q FP޲c=:M`;}@5r@f1<J;௎s4N91 J6\4]D=YLF5*`i9i0E\DZԖ?Q~أРFS\nil {^378R* s ]!>y"C}d޺>uE&L})K `@"Y@quU}FErϓtoYK)`! 4Y ݻ6^hU/фЇT{7% Jpm jB-~sd$:!dy2+>Ŀ 9w ^=P4y)廳myQ7L_ThȺV&m^6LqܨUV鮌j5g:2G,yfΚ0fOAނbmPȯC&`Oӆ#>"ސDڸ5Bziǜ3&?D|"C!ԂelHy)7O umyл>h.nICl r}UcJϘK[,6bQI;ڲg2mAR^. Z~nyeү.gV_هZQCH XפmqYnSZKph3!%?;hę"M 3=CTZZ8&`@|rߎj; JiB#ICЋ^}LۀgAp1E$E8|Aws?.7rS@a^q6d.p=07NtTX5kݨ3N#nꁋisH#V,è_SDr Q\5^`3"U 'Mi\T\OK*RCty^4c l])GhQ rj,;h69l5ɗ&+JUc7@0m!$ܖ eh8V8;T CHbjFvJ$mf IRy( `K}֖Pr>}{OS\N|d(»4A]2ʁQF1+}݊]"HhyPճQ^}^'D@ DSRo02]sp7~{pe;PkX 2qTDFEVfRy2"8B<}?PɄ%A ̲ .^ίCjl%C2GC .KA\Ŀ< IC5{Gm$la-X}_jH&?`J@AOOuȋ+zbWcYg' M u. g%abns )H~5)r.:L(aՕOi_h&6OwȉˀL9S%tӏ|'WBn]pW䒆JZN㒸]G$g /{#sۮ-.tƖoUV@NH YuS!3E7"Qp@1|ZrӛЊH" 'Fho[R\hZ? 0>L5 iv޸2y8E+W*sȜ6$L ly}Xx%X]:|P[l@T?.*3I MCIͱB>͎|^'M#bTUb56-8 5=v7E}'x9яQJ6U}"NWF^G}|s=L[/w׾$𙩔ֿ9܅ vYm4ab8jbƣuXPiYaN4QQ~G_t;eި > Vjֱ(MbNvHdtroHܙoeVrL=P Hue$  ۞!cz4YΥE:ww e+TKB ګ& Ǻ䵟UT8:ӳEe{!^&n ed3ǣVmڊbvPlhxV8aPکw0J:d\ec+8^j>dE͈B2!)~7Mҟ^B7d8s7J.רe.Zz\Xw5iPk5(,Qzߥ T<{V#(92q?ά!헕K/#RtOOb`u cVP2݃P?7W;V9? 4vY-Taya<6ПG]gz0] 雉T޳p+_.ٶ,NN:4(=;/<ϓ'N{uZ'`47 hV4HǬ$~cy e[ 6@{aW?KdcasNVw"15ԂYƯ^Ql:;o{VJu5-;!9ڟ -&q7]ٺH,Ln$kʆ讄=ΗLA79W2RrH{=p=K/P@ewLhrg Q^7Or i ۿq\-RY.!Vf Mu&\fNK~sT&5"_W3_i,7In X+Y6e >e'o!a ]vE)“RU3q#nrĬGk^ z #yXLy^}]0ko~dE%1>IU<0BZ CSa&ng9h=\i2/O:-|ϣ K/Ѫ".Ԍ tH|H46" Vy\?&4˘544{-f$н_`/!<`C*v')HүtZdҵT-[j2[h82 VF03\o;V_2={?G{݈F8[W!u<whFW]ײX4m,"Y'=GQ[PʔTe: *6Qj ܦ6f[<-Ej9pu\:-lό0g XL6b /hֱVdbmma83*(S 7YlN!wY2/9~*ԋR ڽd9t2WJ?bPF~ "]ϥv0zqظXLr+xFȸ FWI$ r"ןɪqFE~֗"}$S-c؇zPw?)"S"`2zTDְdF]ǿl"gpzk*uy9-TQ͑ܮ-3{K5 MhTo(WBښ ie?KI"D:tЊ'9^[J|ѵ/#}y%'wo3 pvai 3"Reu?d8'sO@1# $+V֫K1 O/I{$)2[ڑcohl,W -'^5wߧO~ĺmCsنL(Fg|WP$[s1W*B.L sp}ᗐt;yAw8Vϰ9.],犁s1),7>7C0ڝvIR!i rp]=%Gr߫6Z&ę'E n;.#bg#<6;Z/K2hÓzݙ;C8Vev4$2fwozo6(@P 2*㳂J#Dg ) q-j;XUX5) I *_2=تsȚl%Bo*|[&OldVU!_9'Z N%,۟%*h(;zgand׷=t[ow #s`Z}#4F\&7leN)Vp%T/%oTQ#vJ=`7=(m(bboU2Ԋ Sd=w^w'dC !V&唯XmMCVШ# {϶䌕4}hzk42;]pDdM@) 0fW>×Sbޣ8B6xPz5E*9T|FA'=m9T- tQmǗggc(j@@-@ߵ.] gjE&a}WK仴I,f LyEM&>tLihRnU3p:n6ǟt(W\ ۂ+('u9%cVJXo/u!_`BS 6-nN<ݿH;B F%eO_9Ǒ02L,>@3 Eؗ2|."I6Z`ҋ㷭Dl6SCTn7~$V=tTZ6Sw\шL?2M@T3ȴZ^[COQ%o2;;AMĠּ/_>PF=S>!noFȼd.Vb:Ks?6Ov?mÿkݔΔBf{O$oA<zNJ.烑£jbJUy aFqcjkbys{n S2 9xǸ%Sjm4]VU}:uhQۻ93^o! 8}׌> Xcѥ$2-.[*~Wq׃Hn rߍxXZJ7ȿ²En5W+ӟDŽ Sc2:m[o bp;c:dX!V>*5bU# !wf @ -C鍠ծ(C!y}<úMπ+>i<\f`C#g6/# kh0II|T4M W m=S psyOl_D[.c76n5A 4R Ymw{^.z!f+M)#WD]vM &k*QЙBuPƉALZA'fG8+`s4~,l(=$f`dA` FO40 SR8 -qp<;yY|zRA2fbWhu;Ȫ}6 JӒ!>`]8*F#oyZ1oU"qhID{6W8/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Ϝr<:Oa S ,c:h3k?_"~)5>$H*v+uE}̩˝MaсI#j_jMl32>)1|M-}.J"S@S|FxT/Em6fuTNãw?zKzN5_A}Z#؀<-3ʑ&Nl۬zaUX .Bmǎ4'"NlZppiWHd#&Ф1٤k&0^p!Xvh歵"YJmaC $L_MGn篭F=N#֕̓ʙ߻}Ԕi"3Kld ʵf1e9/ JZRtFؚҺN{K~;i 긿$(V7mZMž1Z|Ke3A&^1SHQ8MATdb` bY?ݼsddVj6#OJyNO9 C:Y]ツ'($אRIi5ȡ>/{j%XW(y5Xgܹ;шe17QbK"[XaQTQfިR༙+$͜Lf$ q*ڮͰ;紉=mja}|+g#X+~$L1i>uFns!7gYZ7)|Sp"dӪ3ı"${:oZT:| +>MIj} FK IH%IԔɻ96Qr~P{ڼE 6>lW5%℁ ,#T}($ٹXIqn8b0mB^hkO=04EeU= [ީՇ3?5\\I=v([L"o?ghXu- A0ĝ߁Vlu(%1Y+f ܱsm9dZR3nMmB(v>5RiS( A;~`A#x.(pm3K5]y =YQsw0 +B}P!5 .Y~.#ζOj [caMfCO r>01v7޻ róC_oyv[ ~ItB/~i Dymmrn o<N/5}A72c$+ٶ+q{,gdHN*%/$tשp:k%BBOW/xWepUT& ^ |"`M08$gBiƙMq]-s5~ƉguR$ȥ,štP)KHYI2Ky #30tE饢"FW0"c$A}n[grS}c#aAM"Ɖ22e iNzy?%A$ ɐDm9 ^:,܉|NnO$K} uxˎQ6⾁o#tj:԰ˢ 9/NNV2x51I#iEڄ); ?hnV!m/(=:I׃ZR`?p y78sNiD}RA^ :׭Y(Nq 7OaG*!W?+4*,\tg<&u'6#j'GIɓ4YI#5j01Jt'*_gg>],9fꙃ\#M>F.n&eT,[) ū3 %9GEaXh H qӶƄ4+oR JλYO<7˙6@t;cZ2tq!fu6=T ;"clrA{ƕ͊,⻏(vc㥋C0+y{4)*nrG_䶗B:\N$}0]uv}L:F{01wlܨEzq{{K> +| Jr 98-+'mRG)U֝E=#I 04)RacJ՞})YO}Л#9S4E= {` = eZu ut))Hͭh5ۺnqArBH?%aJLsKyB%?=o_9eAlH`uݺiinxo1K)Ӟ# 3ɛB/YQ9%,9ålfyƺ 2{9 m}:^HdTȱ^T?EͪXi(`9 pjEcq -KލS qbk]دz;n?jc 6qدDʙVd@tp} ʮ@Hy Q0UpR^%aG/YCDo;h&\1/0;%-My 螶a]TzՊ9zDE2߾J(}n-]HG1$6r<ý'^@dJw!6C8-LRF[{Y@UQVRlo.Մ uTjSFbj%x_SpaG;B}H|:/2 CR0%i'/v4krl<ӞM[k؎+A/*LJÆy4|#C0I5o ႃY-Qo>Q8 4ooѣҌjb|AXsB";}V!%n"eb58i^0!e8fkPѡm(W=?@^o7 C] c<yq=<{BAbpő"ց S9^J5'XO.Td1wE?&Cmmd}" 2t55g N%3M;4ۚ't31~sMҰb&|T26aJIJᎤ&e+dI2B7 keÀZqUW]=LdžXB'`{)F'] ~x]lAȘ$>FVz8BpFMV νѪ!{xIX<4lK`k̶r u&:ԋhQUm()-u.RxGU!뀲[V37_e(x 1*r&&|C'ꡏ9g56(C-T Y諊W@j^) ijM!9W18iՔH_l&Λwy%+o$k,vʸVxt7QS ?\l+4VIDqD (M(. ) '!B=poBUyF;+ >Fz.Kx1y;h\/_Ūjc2[K Pa{De;;EWMo"~~..C^#ڵ(3:tMk&nW C(llǨX L]&RQ^i(ƥ+6*Op^~Cx}ɼTPhPRc_{x"vxȳxg\r-8n;NȜhE~$ܭ۩c6D1תSDvzRH=ˆ,C`hm3΋G{luId9+'&krZdVdzk29:5Jɍ>;]\! Ѵh ^EDE ], `[0}ԍ (@Y7Qo>o7|h핓_s~zuGv %hC/8S:ur݁7ycc["9,?ɶî‹[aƠzy0rXF &{SQFLFM[ 2Ӡ2n9F>!7_YsI;3EfFvKi Qgy{8hc;p-BVWOr7!O4}`Zrg̏qYs@ J7pݹW]]6lz[KJmGߨ&A}!b\= ɝoCCONL'༼NR?١zy53 7;,`\mm(zIʻpv2ُe6.SmC2́v Ju[ rV|b qAF&Ǹ/#s@'1)W8zXqm]'UW@FJ'lQ&v$;IqӚDw>8~Θ0,]ߔSSF Н(W%Pl*Č)mK$Zua79wm/qY\x =tիg. *)_m2~E\Kat6_-Llԋ&8m6Յͦ:cUt7Ok򅲓AX,о`+ż25))KXj*x@*|p縉N5xvM/y@=X6 g72RMW+mUh\,r]nBF )3xUNKsXҁy˰×OrjƕGYO2|!pd ;{6ЬV]?edCNT*dXWW( PC+Mb!2SD?Ps$W1,T-U>GIѬX@KUxJj~ai]j8[S"x/MW'88ַ71x!mDw%YC4̪/f]<*P#GYL܏ȳ&_3ˈu yEYDFϼ;G`B Vi$p̺_ZXfWst]bD%j (:W~@Qi z^D`ML)toT䶘/aN>T@S={aL o.)&,NinI͆(%$K5\V-3RBۀNLҏg<{k{xPpQ::焅`rf-7>`3OP4F ka {|X,͇콛O1_dN%'Ƴ?Zˠi#o6p6kR gNADm-cLqnjleQl, ?(gpaB% +1rg^FC^87kG:X?JuE=b.YAYjDFXJ8l*pDkiKS@ʡW>CE3npOF?c6}\S4U&l(ER7̽$93É'Ӷ V( Eot/;gէtj`4usebo문ZH6{!)Kn*DDuc~Js,zKnuy.1M,|NVC (夑ukn7XYmQ`JkדRp lFX]u˾n¢_ǗCfw2<Zgl?<96Ёq2%C:j`(iQO0ȉ\̤9nDJ ҍ܁gQ#A@yAt 7ҧԂdOrUX|ȨkaQ3ϢnHSmdB;q8'cfճ%i m#62lZǬ NW5g3'Kq$a:wAMҹfMS/w.#Sq,c$5WRH8:'axMy!!_r#$](UVI"T`H!-h#d٦FҮ/q@ ]E66.zD*uU,'sWqhdvMO? !-0x};TC߅ q)Ҕk1MnVhe!(GNM U޻ g>PyEAhXMl&sč XgNn#Ng7e8 a>G K[l )I7߉~g|`G1G9w'-2~X,;=F̗(bĈb2R7,RBط)U?xoX$2s/ߠHfv$$.߆A`N>p)EސDI*% nQ ,aE/, ̟57t"]v7([F#6{,ѼRi$UJQ0^hW8 -}_]Vw#enOBeWyiU.?x'\F`-2oWMB,}B{qēm˗C`Ң+g{# "ķL;(w 2YtQokڔJ>X;x!Ogq5[ T /rytdXYqVtĕMG51Хu}d.(=6J/))nb[HG}ٶ:MnyiU|urC-"M7^ƧF4~Ov`-QM r mУxkP""B'Fű2u(^uEB-#6} v[Z_PL h}z[><^B A4 7٤,2, Ҽ5NPUiO{%gs:=\bH/\+:{+dm@CL4 ɋż0pM)hD H"KGöGU==4DeXmc |a\s~./d7MMGwwQ`DlEN B=5 ?ݳ` x 1Icoa%Y;֙""*V_99}tR~NUZܮ+=҃޴ڋ&|R,;H]d5O4l#꾚+80~/J' D L`ܾ*z/vV?h]y Eq8V ~Qr:sC7*lXyҰ!eR*9oݩe8w4Kr'..פRf%$E`( W dzF(;\ssVX_]$ݓU# }`GazQa|Ohy!1dp1iT\ksetku4;>osܵgm:NQbZʕϐfyt~ovo\.bP)>E'^5,[5 PPuxW8)JL :!]|]o/ܖd8s1 (=* e Abp}YoGXa0f4lYA{1l6.$NҺsJ]=E!YB5w'K9! r dL1u{ 2*ꗞ?b1|c ݨ! p@+}!EGjlL 4|z%8(%@c5-fstҢXcGux!M{!9:;֜C~:UY;TC5)!t_jn= Z_ͽ2_)Us =rAy|i^֠Qw0ݣmS=̾hϛ ʽ0k`%ˆӪӛAT6[9k,2gWݼQ>3s{'F4C8 I+GHڿ\_l%쳺jJa ]yXe\`I|EEzU'1-V|Z)1DQ>pT4(/&%mef@ɛo$mJgX92cGLj\j'&Ǝ"$j4zxRƾxR`Lh-(Ƞ트ϔ,8)4DR8 BoMkTnW',T%CwcQ#`nRk_T\3V:報̼TI}sL f>9ۂl돓 b;lXs ; èNTxGy (i$%: xHD Lhp=wYkJkԅ é@v ) d-Ӳ=N I78/drt9<2(.6owTBKeW ҽ%H-D( հțgnR714Y}QXIGs elj;NTٮ0NboW8βe|XcnÄ ]Jx/*J*s{{͙%ɴbTQkO4RxW&xW8z/h x/wRfװ מh8D;_'*|>'I$cpV'D ?1١zK)|ƍhp?8HR L9[y[$C Y]ĵmo E6Gwx oޅ97 .h7m')PG̸D߃bhRO!zM>ŲłUbg9OrLhG5io*> M@my8u׏q&q諶;R73~y##3Ń9S5R4l~9`~}Q1/Byf51)׌^}3d ޜ9[~EoE,+g^M\پ R뤸Majǘ_k|YBh5q&E[ 8a)3qKRMV OΆC^Rť*Pkmm A|$\3K'eZO1nKէ'B[ ť;B1H(zR>4k%X6C*Ft*xj+̕џ60ilizVWpKp;g?<倆w/>ςQZ;t9W%eIK3sy!P.l6\n`܁<)UOvrxbWߞGAWEsCg1 WY*R7#LEb b!9DuAbhKO[Nϵ'2tVxqH7t)ٗq4ٓH4ӎiQ[4稅6PɎg'"C.6g.@$s1@{@}n"JVd(_CN`Q6@\sv6stsoj''T8yIgׇa+#v dGNe___b ࿹zc.HK{Um 7_Vݟ n erZ.ݰ,?7 k2m' tT8IjB~-Ot-Ӻ|x={IGe{!WE_h+G-(i}Q;8 \}+#v3 04σC+bvpnl:St)<yB23vkR|6Z >7 EctZ)1ѐZ~>ye"Q[IL:'Bw6e/`(=F*RBk,u'@<ѽVS]qn=CWLF+.Q&6,(WKB]7SA:dV/~l{kC&W|4$:spR#FRtMSX3Wx"œg>b af9nl")1 dS?m.Pϲ{'~ݶcA5p_QD IgHhLj<\[.P+M1.')U>hO]7ٔٚFnV5+m dXv+Kʈ|VTRܘQjc M7M<>&a)̿Gj1fÎNtd;dD`)=`0V BL9LYp4Ɠqt$|gYZ > " ">gA/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! A]·Iq n[:|&[z'AֱetyQlȎZfcf/’13U6m]=:&[AX -):fA3(-"@'<.3U zw@tt.PF0"Z\*UKM w1s ?Van02h*97`,K:MR8 S2) |à>zEL}/{`4#Lj[ k\ϒͽ 9IjS^z#ogS6j`Þ*mcD7c:l?R5!*rd>Jaզ~+P/4wrFxS6 Z:u-`/e_Ϥpdw &?ţA>TA6e .gƾNKP9Ɏ[.Ԍ;`@[HA^AP4JU[as &G2BI`;PR\Q wo!SQO2[WtQ, XX= <RyEU@  4s>+" w'I^^lt”U2^W@TR|FwY1 iHN#Z|aхaoAZ+, ya3= + ܒܯkD]N]Mk e^QN\ /E# 4HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup7zXZִF! 3] !M젗OFK?Ie6,@AQ@R׊>%U~ۅuC\AԨ,/0HWnCvHnBQ~LKyJUfSIzX6 KA gOT`0"E=~gG"i'zzCmE˪/b:.`.71Z_.=W穹guyWKtSI!']R=53 8~:| C[6 A,}EҬ(d,s+}=S"Ĉ -n{K` X5HW*-Y9 /Og e,7i& 2\9HuN7XCu؄hl <7\;e,dv7[W[ԚMGFFǻ]jȺvt6 N{ k+PEט&S7V̀075}ɟi)f8 Eۗ)?JNC7JL*|\ɲI !+i 1Zsz$3dPTV^LO$/NHPI4| bm\\IVgMA\S\[" (ͳLf$ta(B'6^IS@+3Z:;l%§rʥ;VTM'<=kERveIAcP _vb KMґ?} h{]bZz 9q 5wW^3a(y֬E.|Ml3& 3nE0JJ+J~bAK8gA_-jm Uu!"ҬK*z|~ ,S2Db!Đ&q'2} >_IJH¨[e0g%E% Ypbk%@U YVfѷ`| RhʅTR,EgӪ-vV^j9\[I0t8+>b~K5woZеUpC:iit`Vb~AHIV ):,XL!H^?„ šO6N_7|@>Rpm -04c“sa; %LF$_2><5x:1 \%ngktWB~ ؞U_ae 5)53~G6GW8ga0#.*O=D}TQ$.3On'^ Z_F0/DjU#1.gYZ %b$ Jn6 } = y >  b#i o + Jb#AZ \[L >/71HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/citations;9/7'HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/messages:7/7#HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/markup96/7!HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/files8</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.EtaPIDE/document_id7@/E'HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/messages?>/E#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/markup>=/E!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/files=C/E-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaTypePIDE/document_id/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/filesAD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.CommutationPIDE/document_id@;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/files%A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetaPIDE/document_id$ 1HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/citations# ['HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/messages"</A#HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/markup!;/A!HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/files A/A-HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormPIDE/document_id :a1HOL-Proofs-LambdaHOL-Proofs-Lambda.Standardizationdocument/citations :'HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/messagesC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.StandardizationPIDE/document_idC/O#HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/markupB/O!HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/filesH/O-HOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationPIDE/document_idA/G'HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/messages?/G#HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/markup>/G!HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/filesD/G-HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermiPIDE/document_id</='HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/messages:/=#HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/markup9/=!HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/files?/=-HOL-Proofs-LambdaHOL-Proofs-Lambda.LambdaPIDE/document_id \7HOL-Proofs-LambdaHOL-Proofs-Lambda.WeakNormdocument/WeakNorm.tex \7HOL-Proofs-LambdaHOL-Proofs-Lambda.ListBetadocument/ListBeta.tex H/C9HOL-Proofs-LambdaHOL-Proofs-Lambda.ListOrderdocument/ListOrder.tex B/=3HOL-Proofs-LambdaHOL-Proofs-Lambda.Lambdadocument/Lambda.tex N/CEHOL-Proofs-LambdaHOL-Library.Code_Target_Intdocument/Code_Target_Int.tex AC3HOL-Proofs-LambdaHOL-Proofs-Lambda.ParReddocument/ParRed.tex L/G=HOL-Proofs-LambdaHOL-Proofs-Lambda.InductTermidocument/InductTermi.texT/OEHOL-Proofs-LambdaHOL-Proofs-Lambda.ListApplicationdocument/ListApplication.texK;HOL-Proofs-LambdaHOL-Proofs-Lambda.NormalFormdocument/NormalForm.tex</7-HOL-Proofs-LambdaHOL-Proofs-Lambda.Etadocument/Eta.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'=s\?zb_Cz?xn&~x ]!0M\P+THhD]ɟg^]+p*M%Vm 0|h=T ~01=XFM%I'Srn%J|!޸ptջw8`l{(RNcjl·CL_ i*XY ȍ$}bc_%,:a"hy ń4} V?ЎH/Sғy~qN;uv&mF$G~6:zmoB{ ew˙̂ȍ3(ys;wh9~6F.M͚ TH7cCdM$C Qf0!@@tAOE6(&Q/#hɠ*()=o*7^PKHދBL 5udt˯bt?cri嚫kE)3 o.]2h=K)v[_77ST-s Wȷh_ p.RHٮZ\t ~,-sXN!S2Z\ܧ‚x/M^˺%2q\#b#}fGGi } >m%"bʢj|Tt 8`brJE<щ{-cr$?RH5Yш=*}n4쮃 c!'4iF[JIWw\N^ P?e,CQ4@a!ɈRYɬ_䲞Q^8tO2k!8z-@ݝz)p߾TB;ѓACͬ.lp8l|1su$ry g#oI`9O>`1&55i4&TzG4ys9b9]p $z'C}GܜoOLa Y 0᎘6\KC,2 4恙SP#Vn!;sR"㫊&䮆vveN`"dK_/ b}&oCڅ|J7s`*‡<[ /]ېX&Sƴ+2]Hԃ@6[M?׸I`MY()Ę-<օs<Ӝjɚ fzRAۤx( I +Mu;!Y{pw(r.{2twV|(&-QT"*(x!Q.~4ƞ#doD_s|(ˇ Fѫgb_E(Є_82o(ek;tœh:!"i8Mקpz[= ?,~\^SSPrL#<&9>Tnl= t^9LSI,kAPIHKT*p&Wy;\MWT kA˧I _bۈT}i]"L!8ՊT/K4xJNo|`$>09(ܔ+6#@,fI# ƬߡyWl4("c(>5|ŏ0p!f,hP{%_iκyD-cRt{jUUkhҹ|m\ ]a6FhTJA_ؙ%{pud #Ʉ#KԿ*\Jȵ W<ԗ^|dvELHs]XM?^㤴D츪$(Mok%APz{I_g3ՏbWnmuBnIBSUSZ%2bH?mcߓDq10aq_@P+oZ[Pyp.|TUK=ݙH{l5{ 2KMRp0<3r )xQcj)l垽2DV+>Uyq q<+MKx#ߦbR?ְףAiAF6V{jX$wI&yd0$燤Pv"|?!6T0U"iqy#zZR#~Rb'~VebOsl^@,ajYfR#,|f타qd ٲϹH/I}mn0UQh<ZS'ŚޡޗYВ#4.X6&L I Iik tB,0|mڌgvAvȇδ?R)m@}o],h='QFV{0a):e>Eֈ$}娯p& >PzDDt6=(9H}ʉu1Y:l+S×Qf6a/?R)ʼuőLB_Gh8늂BZ]dUk/QObÜqn`JBg+>_ninxDFY-NgU3qz; &=I1{';t|y:,?Ì|pd [tRQR!STM=<1fgFgQ}d. B't}6 W&]H̝3wjL`w{TB"MۭLm2H[YPOOXvO }latރd0TezFڴƧOi L:Ͽ#uq9uO4J#]U:H=pE$v.v,"uFA3Ҫr%ErL3}`>4fH9w1<FO4AŠ>ݠ +S :ӂK<29,E ?(wAVtU2]fsL @y=j;sKZݡ14"s|\R_k 6T$}PRԳrmqJE\wk~<.zUtG[Hrx 1rd{@40HnY0?-OXccU<;Fϟ%bS))4+ǖwꁼ" 4M1&5OlbμAe7ݜD$2aj[h4֕?G&{@V B|2ʫD½ZI@{,`q_0䤍\Z_N5q,a פA#y=)<eV3qD6)aj v%ll{D {_h'l3iM\{cxMv(v)81S >I~HF#P//^UաY4L֊ sF:x$x3= mLe /'c 6s#@@oۍYLB,tpn8oX&ǣ5CZ"/ND.J3/M#>EeeZpo6X&(h? rJ(KC\:|Πw APҧ1mNnmJr,Ku=͔iPIQ..g>jY\;D_[:=ҶۧMrhQiH5FqtRF0V?R?y9ʸͬvC5('|ٱ.ۄ=K-[R-d1*\٫:^THԠE8x^W6+>ǒV/Ψ7NUYB {qܮ:&]kIu:A'FvӰ;YW]#լiўe+Ncezz>.M-Pd]NAቝ~/ @W4_ mM8Ke"p'9a*y .T7@'O(>( VTO4+`[?B`U+KxGyϔ}W'@W yc5Db4=H@ b/&]zWG^:~%Fe|oȍ!nV+@A႟U{:'%/Ly8YȤAݜK2v=T(mXAH0 `S ulo!Pu%e!7%.CݸxoO 48·ҕkEa"ǿWJ 7ʔ+Tj{pЍB93$>dm4V %xx&!4-ma_/D2HXPN//Վ@c$J}@4If3:dHo%}`rRc@Μ' ~4^dJ̊w\_Ϛ|M+C3qExJEn5!$mjh1x)f^%irIF*KskuqKJ䰿>d;%6#$"PtF>!2Tbg E;Z"<&QZ;9Gn{WHF},ϋoUCܴEEG\,"p[V->OAb6H 4N6* Cɣ/sm!uDW'ĜVj.+ *B)dTS{ߧzQptz#\d4,r+My}&]UFT>N,ljPI")cI9+ӿH#SַzUt}^"ple`lԊ1X}BW^ ZA7cLdT?&C`|cG,[AdGƳaVpmf7-,ߊN&%a;Gwz <9PFnt䷌%7 %yuZdgF3BmDm^댣vGܯ=9 WBXt3,?F.p()!BcX\k}g،euk .b- W)&7rL>?gJLaױ|`Ԣ-F5TPUwzԔ3ӡ~"M0Dtwx:4KkIHgTVX@O? ~X5E`3 }T& "+]mcLKu;GxV"0ԼJa<[e%&\߫&ZVf589_}⁙=J7z[37_vGQ}_5 e,=qcb_k@YF4{ŗ{fq3_Dff"P.4O(*ȐOPI&NM$*6S\؆lzI fռU#&TX"JN[; ݡdwE8z'td6-HIQqz/4,P0ʩ]aXC5= W*mʊw-eӀ I) .M$,]?(FL^qg@8F !EVo. m,̲ǫK~ܷ 8J9֋C ϑi&(jƮr#o4CHCn ~rbq W2FVunca| 1lɌÀ[ BYC6 ֣[MILmgB#FBGI||ڣ>qxĞS@8K [i8o%ſv%E/#9uBx9&dYuʳl"{H!tcS/CiV]?PdAtXkdLKY)+_u/r}cOיk{\&·kgZ!8X-mrz{WN+Cqa;]!S{+e"zs?&GTdݴ*NJR+EOy,.l(0q ̫[19 fk:~TwWe/}:7Y d)2Yh"QTNS{Zzt @;/L[8!HCx199v#*=Aq5X\'w1+7ڑ;k"DSBze%28JKr+ofT 2_|;T\B#D=񠉃 ; _ iNm$&,P>ɭ>WprObxs,0ŷI|8OPRj?H3ژ^L󓞖Һg{XN?x7?%J1twɸ}n)ME: !B$!P f}pbba,$:⬰3>d&D jzv1kѦ N2Jwe4b<& Ul '˫M)^-1 +wEʍp\?yl_Æh'|RoVчn3m\Ur">ZK>dz-*$_ĔYVƻcNN%A f1G!7@7'sB8:}^xNه f27ԨG)דǁEDSRkO=ӃNw+y m_Rs2+v-=Pi p6qLViVߤ7R4{I5M[L9AG1kSXÀz5XܦsB]d:9XS.gpi lr*>DU_ krL(>|ӕuKٛbV|5DؾubV95ω,eFއ<^P'Y+fv. I/u̫MT>?AA' Y8e/ўT Q`'KjRIfjJ;V+(,ZqRqOQB~3GxJҬs7 #\6O(;ۣgp]bԡqnrk g-w -b/4bS=T _fڿMY}*"xq%K~Q=DH/]iWة;~<-s %`X@c+wza{X6tNl`2@2(mf!V"pDA_DxϷ{=cI ?2][+0PevFtqF ?)߃ h)Tϣr̒)rM;wgAmKX.sJ<)6-xaW J73< և`8y)m+eFr1K/-k +sZFԢ:Xs-4=ɾ~}p3;t0#cE{Ő/Zw`Op :>oQ&B;w> 6anUTyQ7Q*!!a,-SgmKO1Քejw' )k)F~ d ƉBb"]8~>F' gy׎sf 4칀L'\Brj[۾C}Ip# c옶Z)z?TkgXxkqK-O!%Bq j4agٻ_`yc|}=pt[QYEq7ё 6=a"݈vlGRDc.YMwҜ%NV6oq'!3!dGN' Q%-M4T9tr% ,^|~O-JP1~ m^=Ɇh"  G B̴D@#gE7 8S;;2lm"lX_ɇ<ŵS=ஏ2lߺymJ Wa98k&70y00Uk1V [:lt'˺0Uf7H?x+h쭃 _F nkowY]]VDtjk8AwP/%V޵XGưnm̓d, Ȍ]?o:pW(oZig˽<f?O?ʶT_@u!Ӡ-뚦SʩI {Vi 3Gɐ"J/w\9wǚ~+ӳqz|,,Qu2;ʞ˖د )ln1]zw4Dh ܶ$KasxŸv6%}[\c8g5G(& 擽z.H0nv .xm*őe5ofm,mvB9.8ZX> ݚ1x=;$7X0X8~~ctj_R\Y`6x3Pէ\o &9%C 2",Z_7"嵆Q' .V&fO# .{,pqTT!1 V  d< -:kd׋I/"W F#a(j~qFO. }c%j =SN(eElddq*% 1P buFj” "R@kVKʘl'2v2?̼>* dlr6*j߰"UJtJG#SK8 @rfrzciS]rpv)qG2'1OLow/y- [z %_fiPJlm׈ 1C2 S lT͑WBEK; 4VzƉ*y|}RRwd~ZI)X;#C;OkYtE~\|Oϻּ+l0\n4R}B~.K9jS! lBFӉ!e^T'B餜B ̀*L@{C+8?^*ę7l_I,ȂQLxep"<Ҥ|aQ<<'ECƠVok(Z ypƦmEԈX89 k-!o\gvرgYZ@n)5 (rRwC P/gvP#d' =V"Jmc˞lbw|fU9!yWJRpL3{ o>wKԭ'txD=:ye1 19+p 3_4Ja^l/'a4ؔ0.v  m`6\אЋ"+jD`h+dͺsP _KIdCb%ghiv יuXS9v1$q_0bGXA[~ms=rsn1.v%S-"/}-"Q3?b@A;q͘*n5-FR %KztpT+KК480oEP\ouTC 8r"jc.bl@czG TjUmM]53%[ WEKy'r@Q#8JkƑ{t·EV ;?O4˞u,xr W0RX(hb{5=MW ď y N ':  b Y2$Z9e;UvRD}d-Oo>(q) 2~榼K>H]VM W[E/#_xy]K5&EC|ٮ3$> LHR>XYEkU Sɕ)̆-Q%XBM6&}QK"3xHOXo߇${в~.I=1,d%,($pXRǡJ"9TL֏8sHԾɍ"},pJ׶7/15;%֖N!ؽ=3, m? M+k~*8c4DS^#wyB4_Osa< ۬zJ͠ܔ>YW~~NWeگ[=$5s5u%%U}]XuO_ןtM'۹4$g[‹Ӥ$P #~H)${7?}YaZNn5; ]"HWm똤l2dWnADYĕJXjhPX'#ѩo gI4|@AXaERt{1Mc>N*=+:tJ{)[sn{af0xlVt3O"f~5F 7{q@cCX* D-:Oo;5{'TmDZlբ&?%u{t0k;yoBU+6Xgy1E'0w-%7^ ̪Q+ \Prg:Q,O֡'^,2VMيEբzM1!)Vu6\ |[r?b*@D`Y4%A V-*47RO$]*7~MX'YfgSXMu |T*(b%#. 25} }UҪmLR@!4~"瞮eP|kVkaY"k2e^MIx (%!aeh!bUfY<'d'MÂ-z5[T &^*b:l ?7hJ =x%&.G5n$5-^)]yӢ'J/0F)GǤmZi̬iûh"H .,@Ŗ&RqOۤ(R-stl9@9m ͵5^`mp{ȡ&o!tK-qLɐOUdl9⎈C.Et+Z6ko21Z[apR^)%CC*Kn"7d(qVQ裡aߑ:|'3ZQDSF̀Ԑ%48n34 D_f@RՔL>|ls1b&E[օGy8J㹒n{,ا} maVÇ)NC9uV'],GgV/;GPƷa$+?G ,J\h~YvjgPB1I 9cߚp5NO{ҜY3D6\~=ԢPhIeTr(@ZEgDLӟ{J t]`ZdZu&l62Do&:i?N4G IB cx*#B5nAձeAٞutӒ!uԦ 2DA"+[P/J{$EdrI3-W, UQ Iu]߰+|@=gkޝi32Gjw' p/+YjJ3]7Jޕr(@dcbr"6#%Y9YcL"l7˞2-8w]緽S:PX=${;A {6b׽]dq؋oԫ"g?)0WÇs8K1Iq|J,x4ʫﱠ-G&m!8BSWY[K䳏 WQʼfj%m %F}Yzg"kk0[橖ŋ(@I,g'R^7o#f3 Gq3j 5nF FsO((`]#u'W):hӱ7.̭PL4qaI{+&J@:}*rE]# UXQ5fO=#Fx[~1ʐV&gs+E>5 N V7`FҷKn wNiEP@ƓH/fnR}OHlY\8}Y\## }ӟE5:/;hwOpB9̘ K {Ҳx^v{[4cvlh5Z'SB~%CB$(~mcpjkeɨںqٲޝ (a>*Wv-T5*zDn<0Ǚ%|zщ6kF?X,Xp o zrŻ)" 6~osb;s фQUy.ٽ^zǖa?i f&0ɧS ΢_r˜նbuCI+VMQ™6dx7,w0a)XF~B2{pfp+t߳0`8=IÁ`kI!e4-zn5 ,˷PG}#Y9-.Z-^3Irܿk1͕@ L<V-1ЪXĈX3sxֳITvz8>s(S4)Y%ZRC~ߵIGbpb8Ul7eƄ7X4El"|.o2Iy]S*җ"9-QAM` HS\Ͽ NǨE }GѨ!H0 T l( @ߖޜ^m>bf0L%7hi^l˟' ʯ_T,o9C G*GIOGL;)HJ%gl71A=ֻLN8lc <W\yS6 J(N;&Ԙ΁D^,=1A&Пi,rh% A+J':<5pD8>}b3`A 6־APzJ;/rjg |.+f!kϺJI]/ dقϼ /\H_ڪ_ky1`q7+ p KzfJ}EPQ[["nwK~% ?8 _MOz>G9Mb[4 ua~ BU@ ^ FYw~|m =_o Q7Yi_[_+ ʅb,hga)8 mF ]?n164[ܩ)~HɎQh bPR4ala[^\2#,=7%MwnJv)Žx٘A0Ĕd4 O׉h@M~,!h|>S *xW1 |+,s<g/%료"eZ")Q繘)d #l$/ZEwdof}\ dw$oiVw SlBIw`Ը؃`NQ%_Sj(޺@^/ o -֓![ReŃFdeNv,ә\ *| C6r-4PHd@Gl[L At[k`Wt^[V垔i1i" ߴʐ  )%\@~y&6" P*=2d0`khv2MPN;{ ƬI`Ht{+nR4̀쀒{9IQBZ9c^R@gnf7߃sDq~E0s V1 +=l.ъo 9"s2 yJ ""< Ŏf`$`sL70 uK(fd sKU4mm1oz_wC ե_s>o"xWsÜ44/jP.AVzSj2#%SY)U{$҅Ȧv3KX(l(X5 %]%3Tr[%Dk9^D;euơ RU=ƂuM;fr%.p:9(6UJ&y颔ց;ĭs\b.VILC"Bq O7FmNI%:ffQ7I6< Nݝ@v$0+6EF{jcDz=[Ჿ,o6tԊspQS"YVFMgs!I̱Oz,IɗF|gYZ  euP\H/E18HOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormdocument/citationsMatthes-Joachimski-AML"G/E' LHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/messages7zXZִF! ]~ hk.<VAHgM@*$b10Dos`WGW4 ;Jx=Ygc)cedFO4vo%x]/&L\M|P =EN ~_$RAx"'b L',-ХpEzyDWfvGUgu} Lő9`a X5u2pCKsyqwZ_cgԆk75 k{C@^l|S/ Z>N.OKiY<*$ݣm" }w&(' gYZ1F /E# lHOL-Proofs-LambdaHOL-Proofs-Lambda.StrongNormPIDE/markup7zXZִF! 1.] !M젗OFK?Ie6,@AkmmqY[fGX <})d-9%ҭIj/w~5: BHn:ώ--T_YDVH4CYYLK،1RZ Hm>@HH$hwu.Ωs-ꓪv]PL:JwK#Ly<4RJ9(+*']5/mEV}&REL~KSA,X-?>`%M^"*r HNBeE/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%\ӹ!u%i_vIaq 0[GM'_o˦r1f8% .9bA4(2֑XXmzPk/9 _zf>g  >T ϝ0pRJRL,Go&<ྼ!0h+i L]{#e[hꮢk2AcbUS+'v1T]]2+ 纩-L(e("3͉in(-R;PxMuR?sŭ1>*C|V'?]ɥuo_@)\0f|EBdBur8{­1Ia6I~Q N[F?f5>]^W$RZdQJ_=y',HY(a&w-S |P tSMg0@ xWJhx hCg_+@U3ny]IGvX> Tۦ*=]L^OfekC%[I6i?žHC1) 7VQPFʶ@48au2|ݝېƝ%W!]%Z#7Q8]Qgp.,H$ŅhN > eDۆκ;̲4:,!K6S M'ռS-?cStiT{qb `~T Ap5:8=-CR+M_=lY(9o?no,t▒Hu8wu]Гy6#Խ W(zxZA.$*.&݁i[{9SKy/=ab>,LmlX{&^ P'餀tڠ9%~xЗrŠM?AJTzH`=&yʨJDXhx0[f aTv9&*E`<ZЍ5gn)~'/ށ0vkK񱪭sJc,^x|&pOAO/F!7[GB`'zB Il:*O]w@k[L4jW2@r}78! <~p>Mprp װq̨u4-FH9٩D󎛨G{=sM9$cxD TfQTBySK1N?fF '()&g)&O-Ȳ,ϻGʣ 9$]=KZ/6!1O8r߄UfH6aQ +-%+Yy Z9R: &m rM~ >59]G&a,WKyehŦ0A7?pͽX`CG4x,'e49CI Ny0Q^}aP ==˸y1<&h64r9-zar r:(8ѬؽX\T;YA$syl~gRX ppV7J[azėÅUFmLWC7E,m pHt$ܸ.a6((9^9jM!0Ȯ:)|ѷp+L/cs VyQJQ5OImEۜ#b,x?]*W1}!Wwzjl(9~v· 7&m}\s:짶u RY 3>r!N8"ݘ'_9`4-iJ1ʲPT=Cԯ^3\cO<<ڟ880:0EjoutDSDnM[ayߎMMuצ?"w0gFv {]b92Mʥn 䩋oBh6V毘H]ldC:b#^>" 6߄dڻ@kګ4ZUêpD [S@jG{M:RE ӗM8"e^aa|hLsrՕ'<%9n95߬ :/~j݁@U}yCLLC{oMΠHs%Qyl]g(¥ xeEE%hoP[n8:M̺RBr5_py`p@?fh_ O!X@3,(+60P`19mc_Oev6ku*/kOZu(sK:H"YjS\m9~$=s!`FYу~N\< !?4G}NJ0` h {Q7 ?Rnnnx'ߏ%ȒNBT1Ed=e.W?*%(_:ޓw[ma I5{BDRw` %@DYI6<kH{spvC{ `1X>$tٻ,$,$\IXvE ,w^|OYjc&VizNiw#>AEBIrM U8 .&΀ #ab\7N437{>l}f2u1"H ?=U?8ѡ%SoϲmN@J'Q\^Yaݤ RϿݳ p 5/7ϑ71,2≵k7mI^U"ğх9S9mk0S#H ۏ6R3r 𧊠‡ßf-f]W U#;N8>V\lIVWi%`=0:uv4?;B'`%uՌ.^8ր05BGX&tY1SL/FKr׼`A"o;KfvWh½9sө^7_M0]2D`Nn\ú*e֑$M>sd܄?HVFscq+G&ҨT!]W ` rUCp,p];٢oqF,\ jMq?F&{5wS#@Fw;!\O>c>XX`k]ZǻhcWܣ703(~g"ݒr,NOjnssDY]Y+͆ewG򐭾u͝ʴ MmTHqU`# :Vr%-JdhD4F{1;~W$z+E@~=ֻ}̠܆^1Ndh&Ywt Is?i|Ԅ%ㇾ.O |ӹRz@Ոm_5⥼vt"jBEUZo*ΞR_;=\0OȔԅ/Qb_oL,R# (b 9bU&~syG+*WYS/~:k ܴsW`l%-Hi@5 )3 gY$5vI.Πr>p9[6<][S1 d=vX?{@oC턻'3?+>oKɇP4Ӥ/z7ؚp? SY~oFD^ AE+9J_bz@zuA2 \5Odw(D/~/?ٳMCYFtU8GVܾc=/S4V_ [F).v{ 8>nE2 :8z;9Aü($iDG:;S9R&eoӼHv)ʵqbI?̣VGH\y) b~E>TeOy[pxfI%C+F^# `I{fNh >?El` GTˢRhOR&iCw>3tc(+5{Oc)*iB[Q`wH =!΀ N`w ~3W- B9V<۰[;>ff@4B"@< -y[븍5Ԝ͎T0Bwt_ߨA;8ť 4tV3>-"y>OU g2:[QB+0z"=a|~ӨC eb-o"2qϼȁxCRBMp~Rʗ "&Z3"ZG2j&1Q9{Y_ZI1Cu^l:HO7YZ  ܴMwE#G+~*D cNY  =̹\v|%*V4r6IT NJh1e&Kf`SE4ki$2%gW}]J͂T"FVf}(a7~LQ+u壽딙eZ-z4E]yurLջcEʆ[r"NsZ}[ _n~bՂXYP=1[WiԻG 朾$N)f Aiqֶ} rL@6~geiLys}sJّܾ'P^:ir GuTt3OQ-R]TK;B~ɛ6^L?XTe۵n Cb3uA0Yi/˕ClnI (1K`y odr@`4]n/68`0ujusM|v[vIB#@Es`d-sO‚YVUӁ`2_K6#w "{4PEG'JP_Q΃"ljZ*r,[fkPI[L8m('1[>$`gIr*q`zTHMZ෼؟Ds<\bG(Jtd"Gh|=cJ~!荷=K:Q eᶃ''+ 4Y&]&7aR#pH%|j wT樀4kފV"(9QP[03b 2f>-ņ;pkg,=Sדߤ}HE֎q&\gC3߄rq])Ց=siqxhޜ>*&ܲ2 i|׏s Գ2 > i<4:[3(jo/ɫҁW^'Hi7\[jvV0_Ŵ~SY&g=F'jd'&!{Ns8yU=Ϟ!6cp8۞ZN?n *Wg5K'Rt9 K{<βj@$c~_@'<5dp ^|6 M7v|]؅- S/Em`_%P{7y 5C%钴 &yE`cdꍲ.ruQ+ SӳXḰPh6Fq&;HĮ@ȟI֟Erpeۻ9rKݭ/Zc rm:`AE~jBe9U1n>ki\c? ܐ C.|k*uAWPzd0mW$^p$`Z,%9Y-V?dE簹o"aGH! {! Q(qI@RWWS>avk8oEpOf1s*h[x' (܄D\c4XCgnz7j>>)FajƼa`ȗ7xZ5@J,͙Cb%6.3*#Yܻ,mlEvE8p6dWsH|-0KmW֝SCvDĚ2ވu-R}!;l0C&2|-@7GI)XFs%uIdnYxlɈC-$S^Ԧlk㩋a* f%*:+8vf銊y f[%o٘gd)# s`UHFK~Sbo:}l}VNj4^)nj7PJƌrϼ߻|]ć`Hn|4(WBɖ#AK&UԵo#L B>E4zg %8ĝeR{ZBɴżEfbf|(.:)ca,ҿ_ qL`wfVNvdJT%smʀ~ZRq?@.M("LIHu >kG}!bWwXh ڲI)gK%f հz?tfxQjTTm')4I_\\ V#0=8x gCϡHȦF82*F}[-Q!^$E_ /q C&s/1n0n#R̐6Q4)OrcF?j:2 lFΞdaJwD_MϘ%Ɯ"gAj$.LӻvbD,+tk<)qkb_Jt+jҳYOَE*$?>nX^)J,mڟP9 ӭhGQ$Q$]]%ܥS'wJN^r7М RozTrjӦ4:sr֬M4oI,c؟ bo{yQmHQ"b淅C JOT]x!Hi%O8X2>-q_*cPߧ*r#*9mԂftn1$ip<)2}ԇB 3}^)G՗`kP.xHmSZ5wO]`|˝eLhKfYmĬu ubt9DN{y_q)o8rf|[:2ԟ}Z*ׁm'<)MvGڣa<2Ԅa BNPʣVjk\5{ ;4Qn?;}47@Fnv\~,Xt"7)#.~QºpK'6nyߌJ\?9co28p}Eɼ9)jܖf57R,Yc3aG_;8:ˆ5 'كE+8Ua.Ԥދ+[c ~h[b)*U:d & nVo~K"mhË=V^ 0rL zpGzxms3ݣ6#Ԅ^b+sf0EO⠺L󲿤՛ɢfr/vzTZ &KGhCk`Hˡ~a_iば99,<wf/ )C83^Ze>&?FPܷ`|x4/gK7c_'Q?NG$٪r{kAD|Dp֘|#$T˪ dc]g{$aWʬqj7]Lx; \/ZՅLMj B9z1F[rsCT{i+d]tdZF,΍pϭ3H-2O==rÎ@Zh~mH]ZYmfG :9zC`ϔrc2uey1c:嬀^2;}QI_Za+ ZC/ۖI'͉Ah,m~dL/z+B`3/߷T []fFk׎h(gє0\hj&K{E^LCH7!$^@J|}fn[<.057e܆gx5=j!qlea%bŘ:P|g{?QV^O .NTX>XYxvfw t_pfL F2D__7uGf-V%pFy7KO5CXl)I%t p Djp3:1 VD,7j.pCws*Y\ ^F`%9xA͆$Vbv~GZD dޑ< `ްpt#"/7s1M~?jBS4K #`}{%Wҽ{_4oۍW'u̟G.~ᅳe(>C'>`[n>sRi=(~}%lL즳qfp٣,Щ۠|*@!.so(:#yf>RPo[,A뮂Qޢy8Gmq~^@C=)C'r}ܜݦUs4kpbR$X^4_臹TMl|gʣwAOG"byZKYG9^C8[̲I&*5A#,I3GG`mܰ١_1R sLS,{KOj1O ( "rTħh3p7"\㪕FyR,. @ +7Rۿ<h;q.=FJV2EEb?3%et ?ʴ&4:.|P!`#[xn4z»(v=(7\`[ow~Z|Ao15t:|2ގIQd (av87\ j!%<#tӌWsǏ[0mw)BaN2f qbϾ/ˎY&#]*\4]!2I$Pu$'說0b'MgYZDB(%\a5 恮$J%m{ڝ!hG ^Xٸ$U7۾qAXZ-r 'T|DxGI-C]d 秳Ou4Cրcln3%>ZMڸ~u50J0i f"눓x|Œ_\A[1n!u&a֠6Gdx1U[o,ç_Z>x9|Ҁw\;Ǥr ML };;~#̵c~MʣfwN:[Q2m "}j c)[R~=pK) OE=ߒR+pPkVX|Ȟtm~U@UY)6+N!.nyCޛ45LOs5`+tև`/&urzWxU$-J^jlq _,i~68Cܯ'he;:t `hvNЭd 7i^\aHؐ\-p8;:&8\bÖJl㎻Ŋv#SB'诡s+1GVT/&A{UaYnCa7"vqre("Bet$Y9;&psLY:XErd tPXOeOMqGT8yeaOfLx-!:8E*[ u|/,;eB)mc"цjHxz2n5;՝h. 9W|aZNNzqMU}glL^p/v8sc)# OyծA:t-s^Ww 4D$C^҆+LΌ{IKEΙ yrUƒ]+Fy í_lYO:!&i]JlJ {YIZQF^s~}w6fbjL~##txkh^LQv%W,\3]LY Jv=0# jA$ S%kA4ZgυMg)<0@6C6ۣ 6*9!/>Rv{~$8?zm˜VOL ٺT)@1o,GburHIc΢Fc|^- 0Z%B{y4k" ˔0\ S\t;YD%(99`wM AI[D oO$bR! =l7AI):K o{.p m|!?MhYO^iҨ[вrkf%a,rFoA zn[xUR N!I<ħXnzn"\ 0EjH#ݘ2 )kmtW(=|يB`/.lSy^d泆-~X+D&"A֙X-9rMuQG6f E~݋Y}>%n4?5h((V^0. U9nG]ko pW(<(DžF²9_]B&ͺAu4=G\ 4sP9칑ȉj xbvn?:b)9КVKw(c4A-$5537ӜW}U2ߧ/p$~ev&VR\oc|B]2x{`GRoqV`-٦$aiOya˴)ybBf;lt6bs;uW2wRNԡo-(A{78ݻ dE[WC6G |ХC4 eW1hݺTk W7q]u%*%T|;>բ kc*6K?@DI YQG>qP#U跏lG+ainj{?s|C/_W x aP!/(3urjM L`Nr+L_[qVK\ߕtK3|d@;|qZ5, {yPw-m:9`Q;M q86ny}w+a0ُXHNӷ9I=(i0)M]ˢ*s&:!LUӘ#O(P+'+!{ҌsB2WDǜy)BDTP D%1_^CyQ|{J3dH c.VĊ@ǯq_+$zsq0̡es.)A#e;n]:d2YA e׆ ⛧9nLfЩu!},~wBі}@eϼƍ4w)lY?zz*( c@+'ˮU.&jw4M(+q."94􍫔Q @lΥGB^Sv,xaM s0DK.u#8ZoI,ɭg 51jLIe0OC1WM$VBy hd?FdċFW@uSPȢg|~&! ^×3 Vr!oQR~͝.!3V(.2` A55W+Ukp:R)JIM>^xɀ}&rKrw K\8Pu+4TPߡ^ fP1M?HKdt %ѱ.{{¥yߔMCxBǣa$X'Ҡ;DC&su#t,_4*ٚR,IȤ7Ɔ6:v+a%Aw)뽢WK a1$jyvsȹˡcgLOt =vy~?w#YXɨ }9$bTjCeZ c:[K1xxޤlO:: 1M< Y}_GF+')IрxZO8KI )H`e$m c#Y؂"tʀ-& 5O-1t8pL?"@&qw/uHjj7Uް;d|VGnE|=v5 %NwċjUth ˆk<q'YӤ+7gYZ3c3ee0bb23bb41c3a8f33131b862c6028667e05ee77a8c941f727dd78064a6a2a8da7e6e62b6a858 7fc01049bfff2c52c016d4840faa5e1db8760636