SQLite format 3@ H .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 81zl4| ] HOL-Corec_Examples:threads=6elapsed=148.517cpu=477.593gc=66.8137zXZִF! ` ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7a A Zʻ%isG {?V:?w]|%?W=IRʹFfb - ́7N61-kڦgR]a dt1Vx̻0>ټ|41l_k_YM]EsUUN {>jY0hhִc_$>P+ṷ BZe 'N,EV$~[͜ s2f)d-@Z>z*z މ`xv f`g|]G^tYTK Ea 3gA l m{Ht ]7?,S4 5s';yZ~#s@=\2+S=he4\Ew7/4#7e2<[N0%Ʀ$;W|;n> !: ?tw/4 F<[{q*)ײeL]DZܡMrbz,-:1бqdehr#epYIwsw$`SH@ rEDOM eDuqRîG!)anI7e̒>fQ$ǚG8Ì-G!9;'OQ#qlf/PE:ܧ]#*J,qًQl*ƓJn:Dnd3Aq$m?]>b.CM"Gf>9V 6#) < V1Ę7pCIU; {'G2st\^CA|*!̱GY4uJBqt(뾇Q.# d@d;Jb̋AS[=}ОrE8l (ڜ2*`jhkryKK\=K?P [R :dߟdA茞_1gnȯCxDT"} L~ضb<$  x4ԁVJ%ғNw4>kQ|03kx7< C 4j+UM;w2, P@s.EήyNDMa=Њ&ՈwXU.AFWD#\EWύǝ~dX%ڝc8YgdfhGb%`  Č'h<aܾ.˲C\tttBjDsՖBgç#[^m0 M?`|R0QĬ?7>)ZQB^PƖzeR/gtQCnh-ݶb>kѕ仝mpf2sc}g0ѣ'SK8.#wIiGvclc>*,ڡk͋LpUX%yT $4]cȧ'Q,X7G'xw ~9=O"ާ8O ʰ FwI֚뛎Lt@Co4U}oNRuZ2LˈQՅtp>?e&_/z/I|OAF|TJgM|tY(.YDLQ#/-Eh&WdFbzde/6 x+ڷ{֨a=)G]3r+MM+j+)p}$iES8Sc8aewRխJ(kvEWEI.E`lijٰC>yQ۷{WVY#k7)G4N5 @>rPTYs Y/'t>t@* mgYZ7zXZִF! Z/0]ŗXi%>PZx 5\U^w&][YϿ0XC#L))NzDo 4iwb,΁볠?ޑ JDžF:'s'Fcg+Y)a5#;=  |ZsYͶ[OȠu\b 3s.&L04..@mZY}Ҵo@7zH|p;ӇpNaD{x. $khqfŲX;]:. jƾf$h$~?>v9TStx" cJ~0|:|Lp7 % 5^^0f JADʯgH+hC6URѺ1tuC( SQҡկf>v&+R}ˁrItŎKfOŁU5:mW.F 1 HOL-Corec_ExamplestA~ytJ1I) HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/latex7zXZִF! C]N}T':=Q߲mZwb3Kzd _-@ĺ4g/35n@-fpB,Cm '_\Wvsd:.*&ZM.&G@yp(:+5*ͳ}_rRENqWE8AUI\~H$1ѤFa׿ M]=H;Pd>59 OV+}ee/:h]I[,N0?+Ow(g2 ?0ZdJ x374tUMSo L 7g䩛Da <ؘ7vٌocx)5⃈^ޯhM5S@#!J@z5.A ږȶ]c21)߬(IOO (kj)2CL{b⩨# 3-Ϩ?`dun숬zFHY,XZ]ʊJa&6.KJGLlfjsSUjd=:ҵpK+ w8fF`:~+;gF͗@20 &ax}"\zYLVg T*tM0VbYNAs4ǕԡрQ6ϙ/=oÄjn7k@Zxǥԝ^&<.k|Sg41O֤bG?T}kwB` @h7g1#?IFF${gu՛.Xg@*͂!9dW%^KsX $DWM _M@bci⏉Hך4k).**: SS]43T4Ppoh u@|pfi1% tJIvwo&$!e:S R%tӬɫ tQgE?ɽc3)gFg NF@OV3hDu-j1~m#&ӈK**9(2?&d'ZmnNФ㿓yޯeWY!=SAFƉZ e1jSwERn0%-w>̺J_?+TRb]7w5X8i9 wfMriytI3Ty?ҬJHj VcM?#P]ȝeH:${qm)_?4CzkNb qTl,c.s>p!%dO|#h p6FҐmYM3,xi_AiIKy׸I qזVO6pMbKd̊lR{ӝ5"X>JB" k9ƶC`|>ytjJfU (tSӸ[.(JKOͣY1{\J9.)@y݊>˅w8&S$7x,.Q wE)P] d~Nۤۺՠ֥"jXbC)-@o4Z.EV|GzLncw}آ և2%𚰄Лh-ݧKw:vJA3ҧTp26y>i"#h aڍ A"͜*"=.F|i* EU2KWCm3q9O%5c:ъrm^)Q V:l187,.őL;CtHҕόWЧG #ETTf >ԝk̆4t2 =؁k%Ð)?M+vQm9i={Qn@7;`U nXB9yx !;͵~)Q]qc4{y_ (ʌ]I/{wgơ#F&\UTA{/BOKv%k+΢wgko9cI /3+@M>I;E6>57362302//..-+'*$&"!       8s3{.s  T  U .m Aq % U3 C#S z1 oC1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files:I1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id9?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages4F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup3E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files2K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id%F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id!C1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_idC1G)HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/latexB1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/latex B1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/latex C1G)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/latex @1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/latex @1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/latex @1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/latexI1S)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/lat7B1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/latex  :X҆XScWֽ5*z!(<]HK֫=./[] . rbW%C\ʜ8xrl2Yn 94u@&\Rȕlu[3>ZNM{\\Ybhٺk&es}-Q}w? #xdMQcuҾz`Τc}")^i y^ϲ}r@HE=* %he2GZ_\WL{$| rlv4oۨiiE@?nwVQIJ$m+Td0tkiVP ]{k{w\9:\M_5dP;":A;nxG? 1fEIo˿3DDӝq\O@{b{W|Ϯ1/SC{ΐ9S\0BA=2:}8](|l}fۯVОdB:71p˖쾘J qkq@ޓ-j?5: hof; xNyUV,׹CYqk/ׄguy2"Td:}Rz/e| ȫkQOW`FoE`9 B%|ZI +ab%WTӊ@ƥ#"X~ BL,4|=e0]]A_xe _9<( {0eH˦dBs6-/%q̑6pj71Qikɸ`0LƽUSJfT"a߫+ x^B]y07-9(Kg@]%O9y5G^{,ϘP5} ޣ)}GnUH1w`+Zqe B>E*4A9C-HzsE̾F9˴.,H_C\$_TX~E;nΕϥA m8d=.W3Y)A?Ui#1ojB#!N,THj՗g? 5M[4 <#΃\+p\ q|}I.}IgŸ!jWp-/xI8wtTΒe8_5ғoi7JNO~ 3.6oq/r@Raq|3i@P2hqM#Յ |:J b||n m.iMDN2jM.ݖHaR zFw߰r7kŴsXLN#7nG"sMfZ OJ&Fc# 4&עwoDZ4t/4dNbN# zxhvfr m7T(쁡eܱ>9v8{ɾ3}ϝXl#y"ͭjMo7>!L`I&P͎:dO0O C<]yri;5 r`(vnp.R;ű!٨dkc&̲ͧוFtG2^U/BCf!rv m0.6ypۭ&Fɸu:a(y{SA}4+yao ^T1zE㯋Xi>K=[SV ǏCvKgy'gZJ9[LRBJʼnxNKUv5vˢZcL.5ت(}i C_ckYCZ'C>?jM|M+xq oy`EۜYXzZtGpB|m.M J F%x}8n˨,JAHQW!aTOdF|7wYTD)cwBTef$K/5>M^.^H])oAt_Uu87˸h1 KdGn^_/';`1*bYeSA&CEO^Աp#Zmg Vů'2][ =vS o' ~yEW@EhOLO^3 ´ QBhu92H>|ܤСHKIrRRϲt'(p5U&$\j9vpL}hr]&A"jyS>xpx}' bqm~ÌH,i&u,6Z;KkR_oUh2S0F䠟^ކ#j0+H1:L0glmiQ@6M1VX}*Ai75(y̰NӹTuxqL ;[i7/b8V^%.xLnQ-r=U +M6 WAcJC_!U*=vmI*9'v&h)v|$Hh} }',^5zKZcD6a/+8<ܰ:\tJu=+"̫,%u%g!pJO\Q&J^XW;wq- 2ّ ]B*woB(#uE{YoC*ß͟'_%H$@` /v[޵+*$c3k6S}|1wecē(MsoDOږ 7ˁ,{gYZ 33J1I) HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/latex7zXZִF! C]N}T':=Q߲mZwb3Kzd _-@ĺ4g/35n@-fpB,Cm '_\Wvsd:.*&ZM.&G@yp(:+5*ͳ}_rRENqWE8AUI\~H$1ѤFa׿ M]=H;Pd>59 OV+}ee/:h]I[,N0?+Ow(g2 ?0ZdJ x374tUMSo L 7g䩛Da <ؘ7vٌocx)5⃈^ޯhM5S@#!J@z5.A ږȶ]c21)߬(IOO (kj)2CL{b⩨# 3-Ϩ?`dun숬zFHY,XZ]ʊJa&6.KJGLlfjsSUjd=:ҵpK+ w8fF`:~+;gF͗@20 &ax}"\zYLVg T*tM0VbYNAs4ǕԡрQ6ϙ/=oÄjn7k@Zxǥԝ^&<.k|Sg41O֤bG?T}kwB` @h7g1#?IFF${gu՛.Xg@*͂!9dW%^KsX $DWM _M@bci⏉Hך4k).**: SS]43T4Ppoh u@|pfi1% tJIvwo&$!e:S R%tӬɫ tQgE?ɽc3)gFg NF@OV3hDu-j1~m#&ӈK**9(2?&d'ZmnNФ㿓yޯeWY!=SAFƉZ e1jSwERn0%-w>̺J_?+TRb]7w5X8i9 wfMriytI3Ty?ҬJHj VcM?#P]ȝeH:${qm)_?4CzkNb qTl,c.s>p!%dO|#h p6FҐmYM3,xi_AiIKy׸I qזVO6pMbKd̊lR{ӝ5"X>JB" k9ƶC`|>ytjJfU (tSӸ[.(JKOͣY1{\J9.)@y݊>˅w8&S$7x,.Q wE)P] d~Nۤۺՠ֥"jXbC)-@o4Z.EV|GzLncw}آ և2%𚰄Лh-ݧKw:vJA3ҧTp26y>i"#h aڍ A"͜*"=.F|i* EU2KWCm3q9O%5c:ъrm^)Q V:l187,.őL;CtHҕόWЧG #ETTf >ԝk̆4t2 =؁k%Ð)?M+vQm9i={Qn@7;`U nXB9yx !;͵~)Q]qc4{y_ (ʌ]I/{wgơ#F&\UTA{/BOKv%k+΢wgko9cI /3+Q7 AdL COPXc Hsx2i\|HS4"@hbhex kC ;YZO!diԽ$ϟ'Co $0 SzA|XbݱgYZ r1A) lHOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/latex7zXZִF! m]N}T':=Q߲mZwb3Kzd9.*:3v/22Cֺ9bljqBg\S:eZ_@C2K2!Zz_k=qg?HPHbgƕ'^7bGe X0CGW{3M=-ЉkZWތ@ޗ2]XCYi*RL{r-yk`fS?-#A|+CcHz)s/x&I&X;nE9?;x!YM=GyE_~9eӯaHvXnU=FVmH>yMx@)b})6)X *J,ej3 CZ{98vnPj"ySֶ|}mH4 c ;AAYOH:lo:=R/;ڄdwUVĚM2S^WϜ⨲( 91xamՓyw~;8dEYl`z4E*u۷d x=.NB_ %|_.0gyP.ޭ4> 6QĩG>5 O N*z#GM2"^xdF|H^_?|Ȑxn5,?y"gdWҭ줭 :y%_OLu<' t"k3ɇD=#4vz9R%duzrcwq./ k[ve G)tbS+F[-;- AI;̶Ҳ\ǯ 7YJ宜]p*ښɠ~=r8DYwc9DcnX4lu߶$\C4f1%Pu4$X~`\}DEN?JU<- CO6QպmuȶbCK N/?grUT|m;l RqYZeժR{6ޤcB#6Hq;>V>f#lNT7srlv+C6Sq]tGU*grhS59|cHA38@r]Ԯ7t(;LN7搑BUk'G oZu8 Jwᮜl*3_ Ė3gG&%]x_2rx Ԟ\>9OM6|K癎J 3 aK!,YΆ%TQnj <[NIW|lKjqxjE81]-"ᯂ IT+,x,`<.%X?K8B$H_!]hΗwRe$],`_FjK^#:"9aoNؾ8/{@3h&L^eS1`ΜǤh)sz [H:t{^L^:s" _՚eUǦ?׏fw փ4¶@duJ,<_LĦnw)~=:ӂ QXmB4xȪ^ؠf3Bi2SCU ,{2/EY9\>zNO zpw$dcQùig= ɸpQGAcV~ʎsa>J[HHF7d2Y5EG2Gu_w+E]mvLW3hRuo\=b^YULQC.&Ci{oyy+|Jx$ağ(rAT;O_t~|3dMD_1wTV 4oyNwѺb\`sdDìu𵍳7DoLjCpeJ tDϞ3}?{h Wږ|ql{M'ep0#vɸY@,o!+`\\,!q1֕ksL*UCBf;><]XB;7{ [T3:l^.lQul9͘f02g>;F|PWѦz{7gc$ᨲ.|xaܢpgR90*#  Hs>iHbt_7 _&vǫ* v%<#5 C s߂b~:|_kG0T[] ÏI;ZRZ fts2LY |]0,$7".%]U<] OQuFv?&C?$9w9CQ΋8qOH8v;V2pȀ~Y[8ʍ㑣oRWkĐ(cU{* /4@4&JidC+]7PmafL+rL ;!a[W5vsk땞 @rfD X.sKN^b& Ôvz}uu8)OQ1X`e[Iau?[ IV뗺(iw$o~v{eBVGUO=NZ pjN0MEФ2yo ;e.nLJՖp^{&'r,Lm!xOECW L1WYeB|9@`Z3X7F g1,kԍd>C_^ުQJe(zJ$QApܚc<>M5=e}b^M}HdRDc2-( $ 2_-[6rהW U%H—c2J~*2̑Eٓ2!R9p(@t7U:tIxqݻ֔Z+Zrv*Ekrq/M4k);Pc|ݞ߼F&&#Ȗ b!xEfVBIy NU!gmYʪpN'pͽžh%#oiɋ*ze~ `F| &+#roko]4B"Bc?qyvlZw9g1`n2|4*@P96˯J?s>P!c#F" 2h6Ӂ%@hu+^aY$7>] yZo(cԷ@žBR4@ZNzrc[n;jIOXXGs$T &GLaWO53=8|=;Ăs2`w5on ,/& 䠗PCO%Q?xK'E%=luyPo8GQ׼T~Z"<HXԻLJmh+tQ(gmlRgh{Z #104a 2#ǍO9˜+:&Abya:sJA u.dƏGDSjΉtJd?$Ɔw2v`M6hd0cfftڠF۸v8/DžB\nqzMuoѰdI[Sj3E y XY'{7>բ|y[=Y<1teba _\p0PEuCo?[v8J3\֋mQV=77P J(S2B[ -(QX1]INv>vӀ4-!)KB9CLr"g7l+ c եauS9[~DYa_fQBr ɅȖ)𢞮opw˹SD+F(a'9[=H qGw+bP}0h&C wɟ\Wj!42LD). ~WAy6;B\~)c_k2zun+<9<*drCXcc_-w( '^~?q.ܸ4K m%Ԕx#pO>AtR߾Ŋ>WM9-$ Do*W8rG6Guw5G8$ Pm@5-[Gf^#C%m2w Q/} "Ȓ8m% da?[@dx'^ݨ09ݨ %>mCeypO*Po%>RP Q;=k*=f'ސAXPupZѼCgjr6]uϏ\j8Zްa?+4 52r)׿t)iͬ vNh v\UfC0d |BDp(V&1A~Qc!(dI-0Q}l;Ƀՠ>96Qf:˹obx`BNQSA;Y-Ic87q=yAqJ.jʥ@/Y_Y[㈈];Ω(ݔgYZ  |S1S) HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/latex7zXZִF! ^G]N}T':=Q߲mZwb3Kzd^6 mJj!MRD+hﴨx[7ɶѱm}Zn Y`fMMN 5?^ZXy?fA{6l4DJPlǕ#,2&|rp~-OQƨx^ srab<}yZ~"Ag "9?΂pxo -3] B ܷ1,hy** 3ZB͌'~:kl˧a~ZDRkpeO jU1VT-psS9RWIx5cΛ=¿Z!Q @CR,÷{ o(`tb%Nps]} dHZJk̽xsgb!dWUޝC4 +2=iu%$, QODmgtd/+ь*Aη]p)Ru =N"lR*!36P3e)V1>'%v$`$n snHyR,6ߚVCge?۳T/F5 u\9 ./i .qoggֹPAd9yL ׈K(z8-X^$]AMX=}x~W[H#Ϯ=&6WHdٟpGoT +|8bj1tjmϡO`i`L:e芓q2_ ͅr| &Qww/ GY4OrĶmӇ ľ ͧ;޴቏91zKҭ U. |U!0n1Q̘VylLAhd\o ;Nӑ'Yyo0韵o^K_D+@wIEHk @[ yǧ8Z@_+n¨ou0\BX)Xߌ&],~߇tߨ` M8ҩБn1B.ʈIxA;q#tC' Q ~]),%,vJ$`X fn6eٹc,RGwFRLz\Ju I~:\osF?*J8pʐq/y'L9! F,sHq jQA8&Gm7 RMsuS66؍6Yv ݛ{O Hh_MADfW]MMʋKMz57L,0A=lA[9fNgb1oKa${sc\Vܰwh{HO 'ٗmS3`aiK||P'ިm27HuX|h1> M6NOȪ%dny0wG`Ŭԃ3u^=cVƲl.Ae>w/2}䌾ód;F6_(:ҒؚA,;B>|5*:d#ݏ8=4 jf\޴"UߕhP!'jbKYnx?(Z*AڟD4.XyvB}J0 3=m Nε7t7ixGfRr½JGC4ȴw\[_E[+YhskYV]i`jNrBrNȣA>NFe?U?TĞq"bb~`iyY8bkΩSד׫[D]r ɻ.cj%;fvG>Rvh.@U_ba,Krpj`waZO.Y={+|P|X+T.T?aԝ`XS ғDK]b뿈Ufr~'zcُ[WHhXfQ\q͢a*ܩz*Mf[>3'5IS@rO;| 1IHQ Un nbbDyIFDӛ~:>D@iovs,aB9I@+g-5ܗVW6ZN69eq]8&ib YGNKʭJܲ~|i^swfylBR<6zs2}i؛gib&'#xCZAh~ ϭ~PZ|zp$(,_7@\x"Z#382' m<zU &.D5tDI~p%og ~t6F )=ss`hGR},{'΅4[_9cT6V`Y&ES6ͶҸR9ńVߔCgSBA kLkY׾ i5 YhlBo J_{Z9B smȬ |+^s۝M1z-aT=,ڪ?Rl=Q ew:*LxC؅Gan{m] "IcZ\^֙C5[0@f"G/ju:#8'J\x ^AԼޕk8P$ZPu" v@""}*릲lOMJ>'F JEq@@,I]=L'" Ck[_zN6Tj1Wְ^U$ma_bmbs2mCT!jj.tIZW a=i$Ywc'$iW?,zqצnuO&PTVYygĝ rC[Mrʎ$BMI5v, ƗILݨrsFr;K87Zo wc<ْN E7pg9r κǚoҔV&EV$4x}J8,r:5qgM̏2[ B},~$ߐ  ?#4.m= 6x˚`Dd?a=5g/J\A򌵚?p1L]հֳl2UWH\g5]^ ʪ!c /wf\I>pE:XQݶ:}#^b{M]>&->jmʢ߱8PBwv/w:Y*uNcu&H6Oi^418v)o&딱w&/F9RR|^8cA4q"GfUve),vU"C.qΤ%ҭLۛ‡2gN 1L@>uFFܑ26H)<ɖOC޾{בz^d4p"r@}ͱLufצIH;"UF C2rt&hѝ=HʧS=ՙ yJUb)6՟]*vkW̎dmqڃ{ 9 H-hj7;.NkK챦iQths 2-P7Lm7G㏆JXD"0?%أb©+@` vWشJ GۃN bWryZb[ZHHJ3e'FXc9d@Ewa䡌J< 4~GCxHyMtAK#mݦbͅ#A)*[sLc w_2'@2=jspnvXi]?xʆA~ 5|wGT'^|B+j`(q);]aj~EHϵ. r>3^b1އ!CfT|/٤(4ygJK@WYbĺ8I4a,ql9Wq2R&넹Ou,#&lB:ؒ߬IPrd)τCJ]zm%#+$l?ht}eJY[e;A%tK!1%!7{^nL}t^lڡT:fM9Pw%>fG% %RHaG_?) K\ENr5heo:܀fO^{fwG%nZކBHcscRuM}h9xQ%3&.4+:uH~.x.H|* 0&+(p찍 ",`3t"&*Ze.C/!+%WbSæjt[-.dvkӕ\}3ͺ3>;,BsLn`s :1-f* $؞ Лk2Xoz$ߪHpgYZȐGnY jnUPh{z L[Qқ `4F:q~T?G2 ;`QA!TvC[26Y,šBC< 얚!zo5R?8v/3X_t:cBNRΆ,>&?Rڠ(\.@J;Bz+[T.X b&7}Jtcd:0{l+4_Zjh7 ~\(+TBA閆ۤ_||R3v !M8[?ʯkoTYN tU;_mcEa6lbQ'(Xrb5i}&U6YDW6y p}~#A'G>ة%_%/ 0,&&U_jMzXOA2|k3Җv8b ZN(!}9IλE?uͽq x.ҫbG UtTntUx1U?A4Wi'PƇ mJ2ZWOύwSi2LO;-BxY " h=oPٕE{RqSնýb2f= 9&訴QK̴ D8L 2,F*JŚ%1Ji?VʇH 2HJC -\%d: Gq.9U5?eWNk[8+%r5O(a^_خ5a'MDPpИفP( XU?:?bh??'X<ƧR@k${$ecyro!9MjwBNէLD WAj>׊'U7DT}1|<ٔwsg'- ?{=3txŝAnO- `é])cE48ZuaWo٫XփSaDU3%S+ ǃjRl(g'F-ιbQ#o&X$Q'#dK;ll i<D2+^dBmF,]2 {t[spr}FEVAbXpVe,e:.~'bjÐ/G1n6 X)mA!yX*^_Qo6,+` +ǘI כQxP(=V'RtThnaS7llI]Y_61pJBVB+0gKH\ t ozۀnq\)7i;;lI2"+hRs;dRƑwmHʃPyUj/fYYw2\uB}dOxB\w|lNؤ b@0d{Ys?.6/ĶB/mpپ.h }Ps7KO$%, ]D.A8>0r2i0Ƴ-]WNV t&>U6lUQSQOP L^J%S#h${ q?+ PaBri;Py@9)\-p:R=C:q/6WxhԵW1#XaDBi,7.$ Ft݆r+aT~Y6b7fcZ4v#?⮛F]w)!Z,ﱑ 25JOԩ&}?fmv 6QWۮJӏo.I֐!"ZQvh5ɄEs܉3p]:9!q 8+X'j [/Sk"g :}MU`PPn'B6_w]T<="P!|V;[˛IV$D#ׄҞςx,5\^厕vt;{~ ɎM YR$!^zsTsmN2m&K?@Z4(k-P֔4|1GF FϮ2~/Lҟ{k Dqkz9E#fMcq3X$3r?)]ҟfi."VKvp$A CW\{~ %Iv-K ;j{DUDq~7sZ6^IۼP3 sҚW<|Z#N)I7ChT+Mn1d+GzZ0KDgYZ m1O) THOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/latex7zXZִF! wa]N}T':=Q߲mZwb3Kzd{\0ipqq(,=9U7u, H1"Նo9`ТRV@Wdi1-)8v~~ \%"ݗCL`YE0~3H`-fA>a1PQ`uTn?j7Pd3A(C '{8jdaډJ+cq<1Ims>Tu(5DԍH/. x>Bn/nk Sq8vn#z 毿׸/ '-@Jw#SD]w*ؘK@s@WIx8`.Q+5( d>VԜp,8f \SofOڴ|ĴXT}O:s|D %cLV]/w2,|Aq^KA] dNڏJVYO[u']0z;|!7;lOkC }HMYbUgN9u%-2CeU;ex|v;fى3,.b^~ߟIsz92_wT(/)u T=Ksg_8q1*V#>nƖ!%(Zњфpqo7_Anxѓb(LlY}|#[㭱*n蹡#ξ:b/>0r %!xjhi4:Z05:ɦ]T ɱe)3 Z|=  XLt" 0Qex_ ' L[U 脰.o q&.DS@3m4H%^Y~[|]ɇjÍm]5[w%;!k_1T0za;\᬴B f YSC;Mc1 (U7<NV^~=5%5[e}_dTPb/kH@>(c}ޡM 9.~_H)H#hQlL`|!tSl': [䡙q%X]}[n3x/#eZ>k#fQ{ ཤzNW%WwzWt ˁ]"e@:QF|w.,o6kW~9)p Ry}?C^/ҵZ%mr.5 t5~zz/o$R^ߏP-'P l_ QyT't^F\6g uyŤidT:)9;))) \)ZiA122 f쑊ҞEɀ׸us aY\E!aWX"Z˓>&37cWtӴmzw!P9oj'F={@?;ok`+KWsf lRlaWZYHѭKiXhjä~tOHj4TQMP#o@džs4Mb`XWHA/q-T4)±|=7i -1O) THOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/latex7zXZִF! ]N}T':=Q߲mZwb3Kzd蒼ԅ~ڨ?ߙщ4`<# tZ^.wg»_ɦ nI6{ZMM /8 mhc$p#b]3s 0V=+.e=*NV|tL`h/eV}ѥ S)*2le5΀.s.O7UD6ީVS_3 ikNLF]>[ "vˋea4e>q@&Dd{.ږ\ԟߔg8*nӥI/Z$\q*= p1ąf^NYcæd#;m=vXJs F 8:t,:0̷6#`偧f'+ 6gEћiE%?PE j>8y3k =A z5T@&DKTr/cXM%UɺA~yQFLMb-i^Tu2M |N`=Hʼn2.} ۦUIClѪ)''$cjEЅ,Zs9ʁ@'w.Ukf2*`_. ,=4|B `WL+;~S3@s?"ڛOB1rPf'NJ$F3D-u.' կ߮'aR?ez6z u0근QW@ĉyݸz*> +(Y`z\QG_R7ہU{-FۗsO\ɜ'DEy3Rŭn=B1[M2P>ejɚ N1^/ţE\)rG 1F~ײP\Oru_"$Kz>?FJlL_鴆,~Dbſ"a|`{ ľMDys[9hPN%U2yb5:Cn}eO 5J4]( ){R>u/u)% sX]SAG~`8 KNօ֧{::?Wcę(kIiH/Cn֋u!L}5˥ݜ6 7VU (rr1X=n)/CeaLsuLWӵX\ӲVޞ`֭reߌ7q{2 dI}^wԓv#p#)yuNl$b$_[㧁\-a4˂}bI9qSoc'PӶpI!Eꀦ?! WZLLdtg?žT['Di9T {* ]J-_a߀:JB.} 2gzkː.ʶFbgհ_~8Yyej3(fqv=NHE7a$Zy9N(|5<:L `czhbZJR$xpo,Ħ %pk-,wk+:\?j%yƬVf@gf=%A sfD#@2x]8V2utJsw$$fvO='}[hĊr'ӡ6fQ]{oU˽x?O*UW;t+xCD=FQw`q>Bm9jTRhL#]}g7OdS\tI.U*{0GEIG ǀt`9@l_L@Msx"o^#-BqB KE!yȣDaWdY*t1#AE[mH1t G)KslXIkI "^ q^BGΈVt5;~ ²BE qۛ>yʙW,W;123a4=V3nKa謉6pvۣeM9 )xV\-ƇobM H^!Z;Kh $̠c$ -\g%81*2,C"3E.l.J1; rY$S^]:۲hims*B{(QԪHyB2? 4h: Xb:6NA>xȑqX(KCopx;I˧"_ XGTW'UںKS dQQn4` yO)6P?>_ o6x~7MWztjb>С?=(x–Zh׹ܚ!ݖ;{ZӇ)Rx|=٩1 EQ xGwi{*B-;w3 %=iܹ= %r,;@QBsXX3 qhy lƀ /E'F MQq"m AQ=d !oj]eA! }'T8j`ҍd&.pu["K5˱8gYZ  / 1A) HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/latex7zXZִF! 8~]N}T':=Q߲mZwb3KzdJ̋r&ӛdW@VsM7P M[Zr4.GM+%r~!iYe N'cܩoː  on"3\ާ<ω3QwZD{N@}؉?0CB0|%ʟʉoZʣ )\EnM94dW6c?[;< A0e⼂d A+ dL$ 8ocakj6F5{g< Y;oK9UrW+S\7b31e#;&Z"<-ΥPhUMթ3-@Q&s; \ Xd͞hjχ8AXo:)'fFk)? hS $Vs<}twை.DZX OTn;6#,WC<]NP$zj , 5]иPXxrێ())e1|ҨιYoo>Eh5g].euLSl&ZFAӘP<6ol(U[vl#yصfLTUM:6!vγ h9*%\4M, X+nMSW- lLK·^z1Hčxߚ^G쿣7H9Q0 `ilw͚Z{u0k< 毡Sqf^m@f]6{ ̇Uu[tb$͘`w DkF$f0 KƧ^DR՘pi@L4Te{:=$B^G>W<dd +h}j$I^**'#o\a ӑ ѤV[Цbȯ%2wS$$p7Pel>Gé?D1(P\^[%HI> ' 0Y"|FakuXʍF׬f%;66 aMwp >!oI qogYZ1A) $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/latex7zXZִF! , ]N}T':=Q߲mZwb3KzdJ̋r&ӛdW@VsXm d"_{1G&*ҰYDMLe~ҥF߸D)@)k;j$~.$VWw|`?He?T"uÙx'ّ46^ !59r 6%݋]l7@tBVw Rw#y23-sGخKw+ 3/z84AV՝we;2\I[L=a#'V?si>e|hL ;pakQKyJ4tnjr0d1/ݺ:^,={y^tgo#S'{Ez/vMʛ]klf_'m u Q. ߚ\j).) !=źm^er~ڰ~'&:<QB}1>&YGV^aݽHz=lXn> bfF)ae&%Rb2B2 H "@YWj^lB^@3,0IwVI'2 xp^9~3Qs}-Jsv/70s s&xJOq﬽ڙ]M paWr铌4i3I1Eyp>7/u^g Dێ' /rŬHF헒Ca3r//E0>]f8ۗ_d`]Q^(~$MT7So3M4mcS_}~^Ͻ7{I.Xe\ "yǩ{[2aW$L-fvYr5gYZN1A) $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/latex7zXZִF! ><L]N}T':=Q߲mZwb3KzdJ̋r&ӛdW@Vsc d"_{1G&*ҰYDMLe~ҥF߸D)@)k;j$~.$Vigw|AͰS3RH]c5s1 RS$F/5XU-_M)LUUl {htlg8 )6Z&x+?1p^xm&C^s=Q&Z+F M"_dȥSo~fԢ%.yp23C*j+g[e!y[@D@Y[^`}*F߾\F#:]_ONM"`I"}\ tp CԃE29ߛǟn)1Jފy rLNN5ȄDݑ%ngmMѥw\%}ؿ~(s EvhŊV -b:1p5$Uwev8RflB>nJ[,!3kW y,(OU¹.3Gz [G4< ·Өqro(@K!aLI`r}QnN㭚$Ve1QWpQ`~f(eGLv*3IFp]+4$Fi9>jqIN!;6N]dR'u~34?Cdvv*l|%];rm79pڶ] 6gTr}3ɳL^b&H̟e9l!3C!#. {s(4u 1 }[pM9叝=UDGSBޘ%TسQۙ>O:upqg$lI3_t=^(#['1-1jiBϟcKɡGfP={/h[.Ά4D}a |RgYZ   1G) 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/latex7zXZִF! o]N}T':=Q߲mZwb3KzdJ̋r&ӛdW@VsRA9VP({3ytV )Q)#a.7u2[AӊpDRY9w!{U4¶]phnM<2`AcVU)s G=Ya!ś巧,ՅC׊59Dwбv~$ջ#>#-?KHY|Z>mWp?}MpGO2j#l lL fSUC6Rfj}%'9Tmh?j3c\Jޓp2c_ (6Z_ux0ia6r1d4臨1F^c4Yߍ H@ڪa /2.џa+" 1A) LHOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/latex7zXZִF! CP]N}T':=Q߲mZwb3KzdJ̋r&ӛdW@VsA d"_{1G&*ҰYDMLe~ҥF߸D)@)k;j$~.$VXN%u.@2\j/5#= /-\`)܃WE6ܩmtY$@x#d凙_ pIhhN-Tk=tyQra9VP'sGk*˰˛=byQ!7 4ۂ<]9ReseʭpO@(_s<;hP6G |@ YʍaIc5n[j?zpbzHۥ MO,5XXը]XJ-qC 1cjNA7bކ0k]pf0bUqٜ*J‹o/* ܴy9ˋ4b{ۘq9,,? }R\c'wtC2w("4S)1X\sO껛?$n^z4:/vw%}[iyf GdIdUtܐy}5dAcW]c7 C?v[JY\8IEk $[fCB; ̾:3 !jH c #15` r7i {O\2*7柠qt6DH,ĠSC c>UM~6,>'eM ц/ gYZByV +N\/d # R9|D튕Qcӵ4߱pGdG\Vq9Q|Mݺy"?!10.11PRU-denﺜI{I~˭5+RN@tw # OLN:7r3 sô "tӓ:VAQ&9.d饷0 @c6op!3sUO V5˩KÒS,L9W-/oL$}lZU9*"֮E^w mL?AiD`ESʐQ=)l_NVO @-G|J r9;cK[Boq皱*sD2+mtC;$gCzFLб10$[clu7jJv~a]<+Ggw97kUuٌ5o֌KQm& slg`I = /\1!Og*J` (@g@ƷqKZO n'>c- $!Nx> ڿH%fhE-۷Y3jL+`C1D/+$yXQpMs=l0w~vNi4[[**n0oS–BV̷]iJ ~v?,ghÑl\ e(.?s:Rg%O4<ʄ1c'k{lܩ^"Rl5?Xᐇ{pQۢ[`) #C=k#71*Aŕi$$?_w;cعޏEk 6-m͙1jph.U; ,C˻YzFP1c[} "g-%1-}]Zv4Bu~wuQz &XNdOs˂)#8? E!HdNr֡& K*`m_UW)c*x̳AF`t!&OՏל*25ޕw#6zc}wˑ`ʰ<hu24z"ߊZq\\]%Y߉RM"c `Aq0v#(+5"gʹۢ- C22 9 +02 ^ÕKud]J :LUId1_f coTd~-U?nՖ!-EE((7 Оأk q*]]!`q"T>" t;AͳEiR-Ἥ^Ħ f 1, ,T<_uk(65`dCXNb\xӊ5m6ň(ɶ'pFlqD3b; 8&."8ZI֞ A7Q.jɑq_zB^T\<Ŏv&9;%Ftas׌Msj-tE{52WXuJ] 2!ٽ#!d9h ~9@Ùz4@";:ZJ.AL2gQNsG8բsX9cF)rU-oJp:/dz.[&l\\2)0he-p 8BD8wzg)72}n\2rvq01m,+i\+qy { +%f{<%2TPя.uA@5-Y3AU#l:=oR#W%E]86xlfdފY,BֹgaQnjήT߲%{؟@lwhp5n}98 ˃`f߉_|>LO#J4P53eœ߄9m*drk $`j|'H[2 Hj?J7 D㖮XM/gՅ7%!gH뙮#.ˢ9 "΃lLJʱ wZA-#2R4[)+0T"8Fo,zkh:z-wm S)t1KTIj5Ϻx-`)K衎 jvzJyo+<%Bc(~ffIe\ue<Lp+acm"e#H%<`ɞ !(+ CE;' =@4tJox>lJ [b%Nѹf q|ܝnк`v8Wf1(/ ē`#B?@teqㄌ>8Ϊ o+*eV#Ev;~=0 0B숢2(ޭsI"p|zVt Ъ^tn ZUSl!D8U"쨫—c+d}ݦke%բ`B}Pwt/9;Q%YsjtJxjƄ_^whiU-ms?A1c6j#kYraajxl0}f/bf' 3@(rҺ26S03y }%{["dUb;Knι2n[#*w()qiܫa ߀9^"g7Av3昲 ?Ot}@aehoF{x6^ـCh8r8O.=!@Q_gZ:rP^U3wȋټ<.Vo^7g]>)A>uMۄd~C6m?\tRddDD($Ez^`Q2RVM5V#yD+%ƏmogЭovCWq?_/PGRo[>aL}daIL]W SL>FϐvȧH,')0My{rbTP ܢ 9Rh;'NM:k&)_.ڠb"Fqq=zE\˱m~6x?9zõ-[9aV^uU۾=! ^xr%cC?3|݌5lP9-q&uE*{0S w:_w&?e szNh#Gu_t&yyѣ*I7 Wye&Z!3^;dC7X[ׁ@*@@jFFnZy;i<5s)qテ|Kf&?0TYդ)زΦuc:]M|sy Lx5P&zM%F 2z=h`f8gxnP ɒ_>{@,пԎYz 駳\LW2dzMj}u[`dR aw^U2⥣,nP_Mc;y˷aXԏgDXk+-;/s@Jqw\1`*P'xqx$LYrϸE"#TڅH.r+Ԏ&$5PX75 ;dG,}a;͛wg`5X3]5ǻ[< w\TbFƷi1W’XC-w w̃͆!mn knōhVp+wR[qpb+0I#iuqhN.iPV bq:`v2y .F]dzj!!J|{3hR,-a[\3T!i{8Gm'{OFnbXMf;e]{DfQ0 bgLVc U͍?s$1OTظ$t @9-?7QMfdcFQY?NH?HtċtÔ( !sV{kݸ5=7b|@]VXUj7ILȹкi:-*HzC/F 4\%mHFӪ`,ܢ_í+ *d'|K0jaurm6!,:J0˙!PX{h6$EV'Y'7e7?dUů{5.BF>z;Z,dD̬:h FlaBSQ/IK}-qfnS悤`T@oXq !u"Xh~c~z(ˉ/)\Ey P: ]f~A+Mᄩԫ^UFwl0TmJ;;º.zgv-t؁F}.qfX3B ib)NȜA3Ď+BFgoF*w\ߕ:oM|wb@omn]tjQ󵶧Q0)(;\h8Gr t9J^tx 9۪ڃ*a8mC (eYq85b\[wqWl'!=QJ"]>͇LT( xM5)9D9G|Dy)n~SU5I*0c]XXA@Sׂ.u?}kʓ4z;We`.~q- pO1"zǮ3"6WnY4tjK"&{1܁84BuxWE_?Hy@@qgn[cgXOFCR5{|PE'*ic|i9i"#.ؕ I^y|eq70Ai ] gSBr&פF]Oya8jWX2EK<z?KF3_lUQ)?,կ,_I .iicP)fٿJz*{6g8Pzj=iniv>dU/c<2n,)a܆J4F>)-z>dy9L[yssS!օLJ*Wu4zWx|xDN7WAdăp#t`Qvk7O;;b#.%S<(A 7sv(ݗWzE|{0@R1?z|2rIw}[qkQϟ#qI[aMM`~7꒢H#u5Ӭ?KC]=ԣ[$?(I3p}3l[p?P dAn<*VVս oo/O2/ 78X?{[`*h&kY1,|c,@в߂XѼD 6``5.3qKL|hg@t)/m7hg)PմU@cdq}xlje”SJ3.bֶi*ye„ e[y݆2m;sL$ 9n߷/*T=vW?fSfKh6ŦLHWI 7M4 +rt1;L^ J5>W%:g9aJWڄ6 mv.:W:Z{E@SFhtyh 1^pr{O[nFC,eRL4z󋌑s$ ; Ќ 9+Wyd8OB|kUFed:B.&-o#:y:ch"Tr>ojD]:M>G=٣ @rbV # ?&Ñ{\=N8o)DM֪k\G75(X"%j+Xeȁ?[(QyL \>I9M{.Tچy{4~_Q uL~xr)w86ݮBg@ Zb͘OCW|A6bݗHBuR|IpN"9/1k`ʌd1mz?JBD}>)pbdm\5P]U@Z4GIY[?Q(Z+C$Uj`~kg: +T1e³)dMI ]=0|BNZvSV:iؘ7 {wvD Sء?̾Cu .C`UW+x8̅Pb%!Q r{,%;l-F@O_ Kcyh%ЋJJ0klW5Ίx' t]$04N3+9# =3`k~s~IbMVIYk lUp~9a_NǿGj'SNdqEkZXágREhEZ$7e[*@0h簺\`d] ]Y ʋ!}8<} 琔pe\=@_ֿ۝> .I扦i!a$aVW x0yڿG}tRĸSB[ 6rK^i&Z)C_J4v 24b)ϙVF_A˄'xeD)F u_a2$#z&f"|D*qpŸP6cOZn>NT(ah8'&=[WHD ם) U-#OZ7B | ڢ/>pH0ޕv8M|B5y|~.ਓB ~ ^EXuwU]e=J@䎞z.z rp:E۰9MG֋Rϡ32c&YP.Ǣњp/}ȣ0L ^u&~9͏e%sv'j(HC؄LvyRacH95!ﷅ5ɩmY(o>4EulXЗ.ƌcx[]YjDž >Gu:x8k%S}C˝;|f@ݮؓ%$vHe= i:ḨY]mmXϒ6@O蚌'C$ K:N֜H1C=@unkYs {-|AX;,]a_ [gW>4@rJ>61_UA ntc_jzS o/ݻথ;,(WeÂ)jw5qw1N`Pj+L~ٞKYz6F*ՂQUݎ_tV/pkR۽;NLKzE }0({3]'&2{ Em_?m]AP֠^%`m JYQ%e'a1/vX2j+1@}AFȁZP(? SYwO[)$~+2]  ;N*} -hS?u7 }\> gpgM͊kycTo:GP"0_vm_.֡xvik5c|!<5w 6f r.8V~oBKtD\)6t9IB}'5l#(70eNk]0_V~0G@RqU+4AN) 09|->BkE σ!|֠pQ@a4ifnxpos(S)ViRxs9PU.xcP:jr=zRͰm!$1;owq[ZyAS.B.':G滋ϢPM:J{ǃ>DlrŕTHeB(!;ʇKޝ(]ON7{{P .AeOPSwc*'h>% -6[\Ou+ٿ4 lM0OS投v~s[@  1` ripHM?o/(s>PݏE9<`XNa-SOOݭA [)Au[*>{I[!\5?QB[ ɭvƕeau`pu$QwOXL?e?,?UEaPEQ.kN \CYrU/83 U[*FءFg W!/y`bl6<__#0x9ex$Ќme 2}^8!.};lQLpmsN[ ۼ^ANd{ݣLcaT2%IiQyz+,&J#:(Ϡ[qwMggpga8b\G1rp8zю!W:rI1;f$ZZ 4QMYldFYM.ya%Gkd tj(sY+ElڹA,=ڶf2؉"@l d'^cT)l#CF k$UuyEgUae1a7-u!J|4KH&ɋ!j eFE/D|BDqnz=25kl|rrR4uU6g-jgE` UϯLIX#A zZ)^g)Wa&N KU@>ɏ㣙@èmtb6"FB|DMuPH;,G9 kLXϹ ȋy7iHq57_O/dek_LvhΕFIhi+d2A<1=1 }oš {BlC6yژyq &LSVSB.w]ڶXMW}+iO+S@4ID4o#R9ՌC~ޝt-7{vsQ2=A_VSj<|а$wxl f<ѻ/*RصFU&[ɕpVޔlk _ނʳ.1M-WDUE8;cܼyi0b*X㒼AFqXNzAFBg7g2U4QW SJ{Yi J܇51Ɂ!s'ꨱ;䆝b1ѽd7EۢrA$QQq'U:_ Z0fW%(09ᚹT!L[C^6vXl[3*LBxE9'@rRe Mg&baBb@b {͑7F_RτAͥƥL#yPJ9 BD${Y-C(1Wpf zLl 2d -@e* 'pԬDMM\@rmU YlqoQM>S k\ xXQl=wj3Z9Ug\L c DYLoxNK6n:;.5/7DUPErV>['k?%p+)S@Y,8Ք]˫hz4j_~ݭEkL(|jvWL P?α˸|-M6>W}Z-yx~C)#trY?&"UZ!&/qbQ]gYZ 5 1E) lHOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/latex7zXZִF! Z$.]N}T':=Q߲mZwb3KzdP?aEu7}P4n:L2! 0,wF"EMG9 DUdZtЃyףsE3&!v 6ݫ~Ƶ"`iS&VT u"krQ;$)gMi C׈0!!PGq}Yg?1\( awd8Ѧe$hyÄb7ECqla;M?b."yZ*7n2Y֨y , iKpp@##.`B٭[5|֏uZ4vÀk\Nq9tNd 1Ϣ1CXxNz.uƙS #!,$>"Sxhp,Y!5,lĬEAz>W=].ɀso|cq @K@47}>A $>ݽpk=W nL`l9TI |@ .w[)|Sy+{&ãonu2d?K5ܝVЕ)JhSuTP!-?J&xi4HG ; )+CllBWb/lJpYBq-؜mb?Lx<'vQiO6Y&|( %XZw{uxhS7;*`:$nhWL%I$qRddYO#|._D*H$Lfe"a=ڴ=D :O Gef>K)P~9jd1"ƞsݿr͖yՏ UҏS/\kQ>|"4RXQ}<'w 1E) $HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/latex7zXZִF! _8]N}T':=Q߲mZwb3KzdP?aEu7}P4n:J`L%IQHШ`)fT̙.W:1qzT@dUf 캰TBs<{B`/E{|ZRگĈm|?eEك@IE/J^2jН79;PGF=VNt=sMթ}@N娾=ˈJxN9 `/qv)#S\sgUoyVŚi|$κvL'u&2Ȅ?`7͌$=h~0@Tj^ғ,ᕱӮTޛ{C>9w650OWm#KF7-7Q b "Μ:hc5)i8 8AM̖_&9(jRJ4ژݏh%DrFcjIrrk؛ .b6.9DCPE΂i(O nCm )gׯh{7nR|%bHijL#MЉyw8n69WA #vѯht#֟5XtC_Ti'de.~-FM$dk8o/6&GK;ķL|zcu,<\,?}䃏3,gcv Qoο-`|.Fpx 8ͮrCbȡ"EJ0c,lQuULverv݄ኋuuqeuO_eaJnKd, UïmrOmJ֯ CyEdr~@K.LMc3fF OKF5vצ!U8dPQ%eLK%pi},תa.9UoLΫMJ=i+Mot}(r9'I_Ĝ>0qHxsL%qp:c-AA!j↶PO·Om&&ªض ^_)7/5D`FwL*2,Q SKAza9MfRN4u h|wBPv =iK$-mtL\}<{Xǯ敘o*aGo7qb1L} E.ʬ ]5T w݄ǟDP`enwcyiS[kjJf` ?z+$꾦5D}߸=zs,;jh+07OHZY]r%R)PhBנPp e"Sbi"OHqEƷ:ˍ2>JG3X~ޡz WJ|%M1m\{$!e nզR4v DV/p(룂hΛ,HC-zW$Rxb7+KW =X D+ǧ"X!Iu߳p;-qc(D樻 e?5z R%v=rza]MOH2t`,\eSM-Kn) `Zc3n Zm1!7JnR#qX?Q'Ӽ9w.D\$ 7!' k_>GnF_u0Cu t$*] 8TqlĞ}]=5^ܢhVL_v3 i I&~rn;N IӘsz4X%tu;Uًol[V!Qhu{M%܌Ve_mS!'RJJ֜<(mȡj AbXde^ٳW$Oݢٖ9J]\Cp|1:6nC0O;w-o0+jVO}iF 낸d"A( Quݠbk}CȤ9B&}p@$,{)_{É)ѱqiz^Ǧ&7ΏVR. 2P̀Rxؕͮ؄(SK'9do{b~ WZ+m)'!3iBy_qM"5u%O(Pj*2ZNle$M(m(G $nA)T@ -Jm|V9@6-K8$@ϳĥ2R;;ϭTwYoe`&8፡`TEmKHȭ.)z +E}Byo;{ {D1r%t|2SD-ő܍anFܷFI#8V!X|[pjB HDU?@*d )AR*Q6^0ݑ2g)LU,㞍籏83P!yM33(.WC>㪮~}_j^y>rѿ:XIx4mi+X^{֮y{Г/r=׶~ 'ZZU-՟TM el1ㄺ8C5Ӑh!Vaˉ/z=dcrL&f-g/C?3_FcM n>{AĆ>ˬQa;'a52ЫI+]Flm4ƛ^S1)sꗨ8j^K1zpXWr @|x]IjWAOl9\R3BkМl~Giͫi'K+}/f3A;g@,pT:t7x,.6@_Ɏch8L7UU䷄r@.+J*1b㛚 CqՇjz}{ka wjzAW̿Qտ-fsk`22f|crqS_uZ ɝ.(p2>B+P]eSǗ 7fĔݤUnyf!i6~45έ#ɔ`>ЊŚw.9do.:σĬb'ߕD̿zA ~ nUyYa='=%B'jR$WaX,Ajdp\RNVɉÆYL,.4VBZX_KR_zGǭZ;"Ӊ ‹s7>cCLVly#.}&~hq+$vt{̆1,rB%zHBr-^\a;{M_sU [EΤ^WDHU:Th RG}6 87b( sy,_8u T2v!dΖ?EG~;) w!˼2J ;х{C'~+ +citH 7sj)Bo.MZ/d'Ypq&`*m  Nn&g^k]Қͻs)jF_ DyN12͔+Ws"4aaD-i=Q6.\g9,؍P)C0.7P,C |pׅh)0 >"}N1L,hFYFS$n7OD*5kʮw9#sy\2>8tn6ay浼_Ԗ`oIG P#Kyj[WÑ"!4-s CV}'x-bB)uW~Q.vF6RUMʟ"긣*2!\+<V'2vi-`frUd_SQA}U |v4SVþć NaCYL1I qZA:m)V8j"f6R$& KZ|봤E2Mݻ+֫,b:˳@]bQBw&{gԴmH=F.﫜Ws[ a_?S\}(a邃lhl+dWAYY9Xж7C] NwMl=w,N9n@2!j#'p'˷4+ *HI?ty_4] θ?l.i GQ g5&Vn O]=mb G͙쇊c*qڝϜˎw(Ǧ't.F MZOeͥ,|i6_d7zfGU)VEʮg7`kFM0(=>}vc s}:4 cHc Z&yk 줘I yŇVbpͣB;}>{'0M͎jɘ.4*6XM3kV~"jtV[Y*BD j!GґHAyJNYMX{N8$Z= z9c9N hFq/a^kbR)3k,ex&ޱ#\ D" s!fc`IyKu`^dY§2E@V8oaܐ B6jxw\pZAA,vnczeU?ĜٳANnո=5P$7`Iu5ι@kbT8mD%z\Q'^h3IAѭEcIh;lj3Zmc=JD9!;y,9] 4&ݮj[t(4^Iw?suY'޺jgɀSgzY ` !7^wv:F_֯5oWЕ(جF$YwgVW߻ڮ&q]DRt Zh0}L7`ډL.rxy'SY;%o3 h!(Kv|58Qf: i#͖ak˾x}H_w=SN )&K*ꨖJI9K|A*a4AR]V=3>|Wø_3CۄY}XHNDݻBMk’Wg+Ę9t&b uaMq/%vYCxC Bp$1t3f{Wvx-9i1ТQ7ǭBgc_i^v?d]aJynt`@6#~)?o}ӭؼl|{_qqY>:p 'TPĞ_|u\& u/ZH7u VX[OkYoiz>J(e1F`)w@n;DkyVv}zH_1S$ۨBhGn/Y)%*:Nٵ&<Ü!¤e1eQ 0&QVxK,^Wg&DwĘKWy/GpAljLԄgco Ԥu׆blOHըǏ!6+Ύ-F?7haԲ:\_p*_OX\@쎖 Ule )|r I='Ǎ,FMvOX>x4בGEB oYqN|OVrfF=텟Ց}h\q Iݱ]ؼ*2TtxG@קsrnWCHATOJ>QqSM8,so@yBiƇ02dfzsp+h̹v☽V s腥8*pОV9-._ӏ"X܉Hk]\[.]p;tWD J„q@C5ԍ4 (m:Wsyf *s:A^`3stJ$'}m.^=c^ ; QJo7Rrwy0CѲ\F>r` T z%V/f) TueG?F@QǤ9Ժ#w|3' }!%KG/ L_m~-D%C dݒ0?c#6(p^diSi  K(OQ˾>m4VĦصP8}87}LoZMoT ]X[2~,sAe;{3z6S\FL6)Z.M#2$Ϯ;{qX@ϥy{A[ W3tUP[PQyYy|7UfqDYUgTL#4]t˯5ώI׋}Dqܡ{,IKͰipI1`)YWNCZmOam?}ܚ)CDc眆!g5S _{.fhUf/ӑk1 `㾶~OmdXQ>t }<7s?OuH"Z=b`Ci@vgoyſ3԰"LWU5 H7s@?'QC7RE7)(ƩO M,LM=5Z X]8Ao\جoh%B'OyhVK[ Vzz m-Rm`&(E>S590֩de"_S5wu>3lLGz}A[Am#bW1޴8n Sv2ѴeuAD.I/Hmtt~V[ 8N%lN1PP$Cj#I\*0(zױ"'SI"YAfYmts_(72FFLwm JV+Brv\FN0K?+/!eɖ_Svw#U,T_^~M1NES{hN,BfQ9IJL "P#/KgT22{ + aוcy-r?-Rx 1C8sISЧ109;m~MCUtXMSg P&HMXˁt"yߣȢ"E ,L1F@r6j % x7\ݩ w3Z*Ndܶm ,{ebУP g%6N`^]BE42lƼ =,pÝ)<{d*ێ*#$$of4j5S3k[VOv-͎-A䪛 apژŇi#oJN}e9@f(s҉};2HԆy;@[<D.4KlfkX%x))wdR NՏMŰ|;D8b] S6;P)ekUk5]οYk\z5/9p(enb0DO Z}t&4Dayl0A08Pvk2*)Y%Ac#Ltx+"q.K<]ou3r KW0Frfu ^Zfd#7COPI'KI݀.?Lp#n]օ#:AZ&~:QqlXa|2m*~$EլvlRw)%MϯNu.B#@uRsW⒒VpqJt:+#`|ۦ,89VH&to$Qzr 폝B1_+Q5rd~["T1>i턼STtd߃,Cg^58, +p@_D?ۗ}d_.Rn!+=\b;τ9'V~mw xLJ&]4dqȍv=ZujQCם(C,v ݉%ܞ~A \_TU՟8׍%PS(wzし5~#x?[=ؔc,}`y/Ņİ+#(l7'Wk ;$p; е_cn|՘k%m2V =*c/Y-7|maFvY5b>F[%{E6[aY/c}Kdy[3Yp3slQU+p@Y,8nǴ ̯ ˜~_X߱1V"'d\~u;a@t1DXn8HXq"I a "yt~Æ~v8؇G;+Q.ݟ̲}DY*zO{A>m7(jVɶ0 VzٛTl+_Mi Ρ= jT뽧Tfl}\zlVɞV39Kk `PBquI[o^}p?9$L?1 ?(D%ɣ i--6pGl*Cê8tDg6.:+LlEfyU.bGOm^K؉3^)`ZװhԴ(vM n-(T@8g(u2j.T>=o)4cqWOXq|/Rum+7IpP`&\"Rt(,MTfCDsrQ\B# lMy܍ mMH#3~;opi{AE ,=gYZ H 4Hi1O) LHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/latex7zXZִF! {`]N}T':=Q߲mZwb3Kzd^6 mJj!MR~"0J;-lv/@[dW^ gQpktq;  Qt%40s.x"E \1-O=B˅Rꤣ׮ׂlB (Z}CG]O'5(y1}v\*@N[FIb19tJ*@_O_ */w#yQq! ǕPӏ{2~m1 d.I3eGN$~pgh}=x0Vp"d y ~\D #RG\Ozl0Oy NhYD&pıH|NײzV~X/7و ai $JhD.9ɁF&zNhvxPmٟ >]ROA?\0z, S*$:N<2Nw2# eНhF.#86/m^I7)7y#2 "éԖJEX\cE!.Hgff(jd aʠD)o䵛mxMݬβuJscS)}m\ ;pujD"A״1:Mo#^O PQ8NOQD_THE4jοG[ÔдM.`Yy(g" lbՆtD C+a_%W2Y\m.N1 񾗁v.D jBo/bYNF? Nq>T BhRB´5+G44mڰeOnp:{֓ͧˌ@,v,FVJZkx) xޑLANJKإ./ӷ&u[Q> 2\я? DMbY(Ei]~{HS0PLjB(b4`"W01[6mECN>(`Z!xh>h0%I ̛*.?5@ ?F;2O({?oLLV^/_CF<<-*2tTV=f}m0N6T2GR %Dԝ->(qD:a#vow\z0 @fsXC>!oN뱯r/cÁQ,R &?<>yK>@6,Q"֏ n6gWL2IXڭ1 T'Pv=I{nǽn}ue;7,׃uѣWO*7R*W>n 9X# :`bsDeꫮ.XzmDjN$ԭR0 e?H#Zs50 3QFRI{M2 ^HmMZ4m`*5NN͸;vJX8%iAfX.utw"=eEVni,66Do)[E킗(u*J)u 0"/FLVS>q8yZt>heL1}19AY3m,VL*).gYZA1O) |HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/latex7zXZִF! w7]N}T':=Q߲mZwb3Kzd#N}*m @L0i/Dc}fN I|1T 9P^Җۅ#vE)L %*-Hև;֧}OčS:Y nR@L7DYbW=p} i_R$T(_†U"+ LG)h"%G!Jd=۪*$[ !pOJ/vqHw11~"V>S1c(j$lt&@+)jA Fxt4M4l5L-@Hnʯ̮b-kޥ%N'krsGf6C I0BӋ1wO"g" xsL[h=!%3[ hq D[OJ`,\Sb)m#G\IjG=!b L#FNC|.b;`^"x%0 ۲t=l [E6NdrPYۜȔ{NDo+01fS ݟL [Q\Ϝ Li ?J nkr-Ɲ`(I|Ӡҵ1TԼ oҵCo]YCPQM=`H0,w.p⌕ @y*.DͩࡁdMN8v_ɚKZ Bӳa0M)N&;_2uzpÏ[yGY5b^8vkJhgY QX.TwQ$L'sȺYqGD (o12# Gk=҂ D;ޖIu+aO6a4CVK>ب[2|8ۉ[F$ܵ*sQR{F9?6cmy&49$v9u ze FR*xԌ(19kp2nnjփͩO6A1壶7늤x0_Jdm ݅>TQf54X'1j`=VA(=T3K`h< U{f̶hgs|urE-vez_ .OڟFs\쉾x9R$tzg ?9El#/E2dʴMva)I orTyWuk'}؆T7[/cf&)g1W͇''Rv-кVd\qu<;7(fCIÍ8YvN.ѕFoX\#55ٕ\Z\[5ڥ]⶜;p}KIfY~ CWN9)hJbq>Dhz}ꎾ[ccyN<#8M*3=JǶ 3P q4u a0XgHF]ʙd%N>O5@VA<^_X4. a1O) 7v 7KPOL7A9ՃXJvPXyV3jmڦ[ӵELz4& *?aŹ-nXNŠ vyS¨9ri):G'rM >c_@~\ƶ^dYh B0ep h1cU0wAi'C0W!$0wux8۬+ ɀH2٠_)Gbg$8V^ǰ4ZD}E0hmݛ(zqR8 o!٤zM4-Vsa~؀$zE֪5`{Z[UXr!j= }%v Y@$ ?hf8?_ ߆Lսh*uBſŬ*wnс>w'h`W"\bi4\B" Hu%ЧujYRXJMmh(U:A6qrwc7QdւE++b{x'O`NHdo/!xҿטTkz7؜2#|dꌠ%Q ÒT A7%#*}P*8q"(=6.Lb&q r?.1\ eqJ x3=p'ΙHJӥM7)hCk 0ߝ¼H5O!+}B'S 9͇ͽҷ5MDMdƢNSi}MP rwEh8<.M4. HwJgЮ,rsCO?F Ams2{9>veC qyMٵ㕾*#h&&+-s8svJ4W cz2†K"U;B"l Q﵂I/_qOdU." / U3X( Qmw|[rjtFSv )>kCk?Bv3v%uO5`񡱥Kԝ@^8Seӆ!akYBwt;2#)BgKB@c/"#=l眍\}p,%;88y*`v0/Wd 2>g XOd S׍ۣؓF[\C4aJOCƇzKa~QG*@Y-65&)ɇaC)GAV? KB?/(E~]K0F'6'`ޠOP(хC N%HHd[]Gs÷7XhʘɛEl(3srGqX{q~/Ϙ!E!nF.^a)K2WtRbQIZ-q,l yQ6v)vax%Jw?,9 *(o})Gx1nP{".!}-wT axYtޜy͓W }V\\,p(AȱMmdZgF8ʐ s  SHI!5~O6gYZ  M  Mv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id518i1G) THOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/latex7zXZִF! 7b]N}T':=Q߲mZwb3Kzdr D*Jr.L#|#$ NXA@̘)mf.idB{61#1)UC[1Y,ӒcChˉz@yiLY(+С]2g2A#ge)yZcďKc!c7yVTQ VPtnpу<%䋶[ BFэSt qNlasm9!>zJUe7EV~4J]UP{ &jUyLrLcX5aM1!Qv/w&Jڀ8ǎe2[m=0-5L*W,>eM_1Lqɸr5fMGz412)~On`4GY^A#HpIo8JUq{:&ZV\"ztH? o^SBĞawܼ-S ss:^i,fʸ}YXajB"+踴Y[UٚS`gSʦCMH006} +Lal&i3u9廫pNj换 ̕c(z5`/лc:^X_"sӘ Z"O8`<Ŭ5_HAUv_P̅BpPSZh3׽<SWs]4ŷnc:++j%kJ }~N3t&n\gKq7qfa'e ;-+m%zԗܞx'[*VƛdaZQyљi^A+U=5 mdh/D!3c~r;?ُF@Ž>2 G9 B{$b}ecykY寀kvK!4;,~TUfE}^oE Q/$)s.|-{#Mqȼ2?=6X4ſ.йC)p} @ݢqclTR /F[L8^iQB딸 iO_Reho}綅 pDh!xB:q}u i̛AL,c3J-XzJn2d,rE2Yu΅p1m;x;}3JG&pM*J r& C롳4P&H~ uui[SŚ QK >jS}ɚ$H:TCsJ2F$ܦZ M4VuFP,'Z`[77}M`DLƎ o~gYZu7Fc9ڂqԽ'1̉1h1Qcė YT%@f}t p> ZQ />q!4?`]9n,IejJ(_Nc3SGwyǴ: ;!VYth_@k@b`%Fg5+K@{Giݢvúv0K}̍W*MܤcieXO˕^I]ip`ZD?!t9$f 7qp<lC*cޥF@a=ܼ&aHg f{^ͫV/U۽J=Rʂ_b )uoF֯?Vq1A!Bɣ,qq@L>2fE!?s4 ݎW$}1g Ҷ.(b 01ـX zk J |j y{&KonM ]I>u\r}44ai$b0[8%N]<1tsg\MhcU"ّgz;n;+!WwmºaL b*ge˃Ng5gsP7s5mʎRSS߇IcUʔJox)GhV5p>W6 oX(O!%=D‡T2zSGXNѳUάK #XmVJ<'-SLd:"/Pv3f,$y50fڝE.i7q qK7FG&˰,-!5ޑ9]rtu h/7RL9b. 6|zLdQHQהz=2ηTm1w=gJ~Yz1^P>o"UG<ڿ|AAިTiNί\K.^[@`0] 8]Zk=ǹyEjϪp-ܳPgmk3n7M5?=ZF"LH?uS`+NJ IJLx= CzKӋk!`9hz24._0s_d/}aTN10my}iۧ|^_ަKWm4\@vԑT=-ŕ*Y`**}i٦ *$Q)?6MtV |AqUS23jsYxOfG 5ǀ!~:B.QbGQ&X"";},\xb,zZxi_O{ lw+[1gs%&t>H_lXšESGwx‡9!{Yrbɀw;dBZwDnqziO p3aY!5·TI/=;svȚGx W_v0Ks>O1̨az@-Qh _>+t!U !< w"98}DZa\T| ṧi!IdOqSk^Yi4\Q/xE'&YΝDRJ%Kf4 Ż9F+Q*&oķxrf(JYڭeƙ: ~ac?JMk^cݲa#0n4+>{V̟WHt4<{09*w' h]x \WdmwG_\rgوr e Wڟ2MAux55of?@ ?K#]b6oQ͘1WS/Vt3~۲PŰ xwAkK˿Aˮ.ANu)ԺWzr&c*qqy:p$8R&,} i.˿" ؾBT\KjoJ-"?ӔGˆDz#"bIKJ} & ` 7T|h#bNPSjfӓC\pzKs R/x  "Hqh ̄C*J(j TR)$R֓qHL . dWJD2{9jc˞eC\hN F ơgEvJdtCn7j"=uAFdH TL4:ߍ:y !CXԧk!ge<*yh γ6Ua'^yToxa$QDێFќkKL›!/w6RbL,cj$]D]|r7˺}LxTNiH,Y_.5lKAo.N9VuRGFU>0U&/=)m\֏Gۈ۝+Jh=Q7åyek"'!pxEWs޺'Xbb+oDz Ó޷; =-e^w$稖l %c7F8Լ(>@11VDtUg2 vÒzJ'5?6xD~oj(hrejSnygac܋ye~эWhDAB>\ݙoN"4, XgJM$"IgP2~LcBU; ͟a E}C bRV^ވ{4ǕW;QufXڅ@ &9%BtEN ph@ފkq&: ZN3P,[=xYɟc_3}k_gAxjcW0 )gUj/38FnE KL Vm=Qܪʬ@Nrz=<2z1O!,.0s(GeYT%9F(bЮ|#`# ]5Jk7ѝnHbK9kJ,=!1R.TVsDlL8 6C܌Y y($MxB o4ӭtYJ|Ҥ@*`\F8] wDwS0ZVNuxq4)B{Guk~)XzKTTvy A>v-2T'6g`F%Z ^95 [̮?<>4_$Dn&*%dz6X6b&njɔJ쑔FՌl˛c7ɔf]bj _i@QLOd䬇B%«or8j-B"Ef#2\WrV凼vn:+ Uϟ.  1/;sNyzPe<𱘰4?[]FEӀwwʫJ O4| Xd.z"Ӌ.u9t^ku&ڹѯ6nMS)`O'*?Ōj-#=8$5' VΛAǾa- M2ۀ w<k[!a~x 9GgYZ N1O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34uf>s%8 .&O@J !Șo8-/9FN>\6 NeM`&Atd` %vL7`R" S( 4g< Z !&MX8r5Bc$z +l!싂y:4N@_@(X'R(!gc?rX~GbucM[GLG&.6eO֦ 6 Ƌt3Ox9B: !AY\#ҏ]7MZk?mR_Rx6uǑB-xpAv8s:4ÐMы#QX|b+RWEyʱ5[ dĶnL"yH}Ɵ5E (Cm &ޓϚn(mYKY#ʏL^d 4[#LwTWb}4^V4xΤbԑp o˴z1'O~qx))pP0l< 9K53zU`1A|ZKJKΏ<ńSLGd[۳%5 r/{"~0hH=\w uI]w82hIh~}$&VG%c'&V8 ,k[Tu9+1p{aӘ:? ݒ2Y zw}I,F&y5Gix#be}7>~ήeiz%#:vWӗFέiS#\[3.7/]} ;@AKP=u7 ԤBSL܄beNi[Ԟ[xy$l BpuÖd&3$YOkB6^Zƹ$'DvRěJ/rNp1~&Փ>Ov3jY\W[`#0&9w][c o7 ?!?w܎(0a$YWdh.+w_[ZqU%*7~4y1ua yP Ql͎ "|/ԉ;Of"l{9t6G3]{nߕ0UMW"Ql<ߍǚGPʯ8ԩu4k^ q׆R(;Q!`Qx rj]/T yFOJ|%%<؆ZW eRk;ٔSmUm …QkԹ4HՀ@I渆Od[2}v=\+yO;-a"q ,V4oWy:،,b\tākY4TZ桯'NSʼV<(za:˲>:k'Em4g+ܙ*.יӥی4I7a f nE+L 1_h= B¾Q脄H;4 X FHԺC##.aU_! u4*/Rw#ߤIBM(`R E2J{:Gn VT&G}QV%qsG%DuṵP9ak\0׶\!S>meFY{+a#.:[-QVE2Bbmy+z%$8kƪ " qvRO]z}*uw]s %"ÔXݜ(8Z ,ɷ3˳Z/mTf#,(x48+&O%uB~ʳ+#-/8,hAOӤ 8[e?CRΝ4k{xnP;_$i<)}#x_)%Yk~2e^틹c8=ijZ{[{0zD Nm'<˨6VlEɐjJ~]H5 w:]Ay/ABfFh4,KBF`[x˿qCqםJodlrwXA{ wAf)q/o!*w>`_+iW;7Xoc Y06Kk=O-+Ą?3TLJwdiQ/GNqOV a+:*afCÆi- 0g=.rho%֋#k ~!RJOd\1X}ͼ_Ӵdٹ :JV9p?id:?֯6敟ū2~E*^;ʉZҘ"mRf_5({/=/MdX0FXe$򝙘yxqSg soo*:(.V?=Ծ3Y%t5Ir^ڿ; ޙ32%7elS"ֹ% `Ymbg(A*^jZ5X:a*T6ܦq! /$Y8VbE}vS 7|оHap~gv}Ѭ1>B%)Lݞ~F_\~%mh"׾0! KWK?ȪK F]X]G?l¬lZU;}[Q { u - -{h1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id5421A# 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv aKO3vwmφ2ԆλcﺆԫfAF`#\Xv$2E=F*/A{sJ}}_R_~1 ϑ[%14P5U̩t|Ip9 &L blHDmVU |13qmQu(>$AvڅaD_P%j憴*!D "ɼs%3oE#kjt1uZ-cav`j+?EF Ptα  H8nv"9G^g+Jq4 e Rԅ&Kߩ;5iP#]O5"?z-$ψGD-g)eF#3)%s ,\lXK 5: AkN ]ު`d? 1UKTmAS 1Bw4Q<3u Va6^B:] _ QGA!KX,Ee 8E\*3 "D*ŮncS Dɥ|bLɲ ^1ow//ס9H`KBqZfc^_ޞ_$qu)[pUP4r7FN[/GtnVM <䓏Z\36xnhIrUT QP~ fz S' .tca/]]:T0T˯cSL@q];(m̼/@a<;Ej*a<; Txi }-w5{r%0/cC%Q_BB>.DdB~IŷZ(,λW\Qw3`E;]ie*S>s;.S(,suJĻEG,ǀ'ѫ.|8[g?fT)J#!22S3Q1-.dlAԿ`bL VJ3]Gh7ra( V'Zky*=NPnJW#5fJtFG < lsfYa}<=PTVV./_,!ReW\PRRL/8xI'HNʹBgJЌW1Γ'D3cZT h\F VF\[ `Aib\mC8eFNϤZ 8A9zBs Oz8(Q[uAoKs{vIY:?J&]SX+*[9\x⚘ǣLpٓ}2ZVwL :z9pVYo1kqUCHL#N >O$"/ -LKްhzL7fVHNv, hn2ÒDx"`,NX8O38ah岇>*?^DG1PU mcg"0N-eQB)ZٯϣA KBl7Uͥ!Pyj. N,@IX+[Z-x?\M/|o"DH}9ͱQh"޳lf  N83W׶AACD,a8=Զ?`z|? cᏄG.<˨I>2pOYT2 Ϯ>"G`zvΜ`ߎec{9$=6d@i<>&Fp\#!}8(̠ow:d[Nş ii7z11AerX x0.,5ȁA7/kDc¬/`gYZ nn1A# ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-xVƆ,0IbVO3=1 tj28A27JQFEa* |Drq6:=;;%m?f|8D jW~DXY$f8'$aӜI{r=,傯k}B25e3G>t x)Pg悀fXz͈^X:(N}H P DW XmOCTz9 dX45zb!wZ*-bYJAgm-EzDA@o80!k+72XU4cz (>sV:5 R,{/j_LW*jN*A]VzԨ7_\^fy#XԓP_?%XH&H HH!Ŏ?E6^V0amӯ BP]qx0z/Wu҇άjVh y1WT)wl7CE 7X >͇ V$mA-/{1 I/]L.y#Az=)>=A$֒%6k-[~oga gh#@u'98[!rѨ&9IQC~SXvC*`]氪[):YXaL>LWeXi.$YcRO\9&@ыpcz }ْԄj%GV2M'ӨMn!(&I={;6bs`Ϥ֫GgYZ B31I# lHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! y]Ș'@7DѺ9 Ǩg2H׆\c`pE[eczM}LWUͱVcZ&~ErHDEọD;Fm^zSN6΄ʿ#~ #]C e= cZR< uH1#|c1.UM\KN-̙= {X56 Ӣ1LSD{S+PO;Y5qv83l%# %"5Ra!:BFNB$ŪpXsl_5ƹƙ/rh$b634Ds0Y>55&m.^|qUcFj|//Qfe!EY4yauD :kaŠE PvNY[ţFʊfzG\q[3 f=mbUSb%(߶z"@# eϒW F Rɤ)f0rw 5{-^a+ YzVY^%_i16_}2~4+PŹs:?+z]1k晡]2f| (nqOH=] mEf؂W5{-r\84^ǜae!Ř`p\8~r'l"gb^z#U>{m=C%BbHԠ#&8APw"=1h;:Uy5 #>]L;7I>J!&ȧ3&ִb_XNdCJ4ls~+gY`9d=:!sGK!/A¿FjdW/Ew~+"< u#j֙^\XpRh^og&Q[qCf<02Z2PhCDY\9gB}BO }Pz]@O8P{-ԍРS7,@ܦK̛!BcA1Vt`BR:`t,E^1oҨ":ZzPPUߏ;9q5;y%ُ+bD }ykt*|U\ ܃z^+ӻ\H bE]d|wjGRU{|NRzݽA6%MTr_h|I~$+@̇RG5lzuZ gI/(K3)W@NorQdY0%x*"VW{"楫d6/Daꡃ.ܡWL1JN%ǃ=ә6l}WL!& Хt3MےCs \69 I,=/`YlQ}ڻETA.5.L() LbdDҮҴ v Pߒ5]ӰȮ~\4960]증J46iYN!Fʄw_/eό#uMxg%c\Gqom˕d"E1eo4G/JP.# ~&@po˜ MV|BS{F1X$v](`=tWٕ)'xw7Ev"oCx![1&%(r{t`,Phprݑ9"{FdƄ|6+tlQ2`,}qKo:߆IY#bcd?[Fy0Â5#c:%XIL(Xɂ &H?rǠ6S3ZsC9DѶwo=@F U2O} @Og; Vxd> XOr6 ,RԢ{T >/RP)}9~7ToRoTw0E69&u{SKE8Q4k=h 0;{N}pTcc^N~Jcܒx,K $D&˵mñgYZqI T␱F AZ1NA1hlzQ"j:) {s'?P0y߸!9RD۰v*`LKVDN"tLrg0!Q`,ǩO$8ۍU?@3l(*]bV5.Dw9@Ӱ.ns1+T#rz/ xZvWp;Ω@FXT&p!%&/(s]r?B0 f.'xl+7|1+:9%֥LvJqpg:wu{ܒ j/QxY4D xjnttA9i ^jZ<֤ᆦ)a<Y8@,HT8A4F0& CQ&nb{g tEfSC.CSMB[XUs_KbfYV]f]]f7^M*p}_f.FAsH?run'@{ia=1p0r`O9˽Bp4ܹ}Xl[:gVJ0Cs2v3%#B*uѶ[2rJJ"u g3SxQΝ. ?8 s~Y, msOFlS^.6-H)mKw1%mSL>DwZz`LW1Ď迊[j!R ڋg*ϬfE48ʈ1RNtp^Yև\ ޽ؼ8]\Ⴑ=˒84^>€8A3 Sطvt`Cr$9-) cUF˲[a![;za8Wr$D݅% ]1$1f3 i40f|m>K__-7+# TvK}z3RCOĹ:FY<4}Oҗ*2N!ݛzC=+~t}aiIw;$Ρ9t@g,:RDxTStwѬHCa+Hu& `[jf8PNM$ dg9XMfpWR$9=߅M'<ޥY <rH?==lDJUfiHec=P6`S8 yѩ*g^UYDݼm>\o6}\k' ɏ8\ȡņFt-geYY:7LJ/ QQҼ98h5b@{djGL2]&śe-GFV8NpʒV;ӮTBV5Wѹ{.Р 'L 6غ8u"T6{ dc *Jr6P ZiL?P!L2KJ9h* RC(,,ae) xhzAǾ0Z1bYO 00^~U^zMJC1*FY=hڨ{$|nŚ.Ev5b5K!d7vU@Je: Э7>6d2ƶXe@rd]/? 慹+W9t@7nX1Om6iΘWL뙨@Q׆.)ԩ-"㞉2a{ ==Y'bs"6'i֭w_Ƙd T&M:xLT/%#/eq f!GRYB y H3t*|vݥ;Ҹ&N$*]# inW`.  n2^ 8~cb1 F >c,24b`QX]3vE"q6/shD 7]Lڼ%^ؙd!emA~xABcZZa]ƑgHc!Cka<7%GHTLvWQtkF>.mN1i*<>B!5%uOѭ5cȗyNZY$ԥ{pN᥮#8wXgKq9dm"@/0TM٦KSm ZϰlaKۣ[{ŧSIzqrY$]:q9KJ[{mAӅ/~!~+W5bp|E%~m@<.1>TPV&=d]1TE õA̲| h%61 FDF4`$Nx A]#f8ŮupA k rAH=Q rb-ٝ>PSW?[ {K3_Cwa=˗_N;JĴ`^-k9 p $d+Ӊu3)g$T$ok\sy.UR-tuHN;79C]N%@8+R U}(9;P\Z@0wLSog?N`:\>>_/ꂈ:b >&cXMFɒ/z SOhM?A&[uO; ?/)_vz[*ȺۄLϚ -!y (poDBȜdR"ܡ4[mK\p/zlj7kiae̯wzYesˣ+bC0ŀ_ixA9I=tU)# zkÓ=OtִhXlI΍4E<ؕ)?sR\+?YV0o߯pGS]SVaJ;32S]$u:ml6H߸Zt6\B5$Hub0#n8T$@XdsuWUQgsPKR>3;F?$C֘\YڠN6ʚTӞmYI'N0NFt*I |YrΗ>}?W͊X((FW2jxn9xX=x#tn[#_Ф{:O~$l-ƖHeKb򍄁x|JuP7X:s)M%.*Dj`6^]4/Æ]`Kyo F,- 7߬*7@tk ҇~ͪYmWL s HBѝ}ki շm6;"Y~2jzQBe8=$jL6o [6 "Y>k =}-k,JO2 X#ůyy)0"Vr<(CdžwyWvVq=uP3\FX'̮jHLT>4 MS d•S/Hc2J.mK˺Df 77mUB=V/:WV8ܗSǡBcIIb{k"umPvwG\WX.}MP%%fkv/dr Ym9ԾNS#aD "L4>cE=&E{m&-@]{v#WQfC%!/HTFJsHLMVG,/ K%*|)YtQ K7)J`$ʹkMzOl_~B=u^. ~߶zLʗsKkanB 8]P3Au=u>-M.tx:ΊIcҌX50o뱰ƞ^Ӵ}-sBK~t"B -^Q"\^(LޏbN.}釙J A;*3-_򔤒և&>g$ІǷWvKR,>8UdԺs͖0%!0G'+p^=-BtLGE% ŋ|2Nv}\Z4%^~ xh+D.`#yl@pcρEl9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtom;)eGQrXNOG &L`NB0,N)gAGQEK?_qtPLJQ&X4W+} *ł$,ȟP+0/~]-6&̓y![ƅBa*/:_1pM;eȊ~kbY1!JuRΓU#/U]uP.m\Ë/ kIܿӷPau3h;GNZYHM\ =uLPuN|lP `u-s9(nmI=Ѣ_R.Q$&+7y,) y"HO&Z@M:0;8zL%3-! r+fK[x ]g(M*DqhͲL_2Y?12}T֪EVzI?DCEPV6~W;7Myo2O{m6"Wok_تqHv^pFM)dXm*nHmCkzBpC+kKTJʔs6%qXH2`?&Tgr8h&YdX4h/!1OF'Q_s{z0b-= Og>/UJ%jgX6[>T>H뵔(VDOGyǢ#餿Zcm?WBjYqyq6!MǻleUu드p0! |NK݇Y )xΟ4D03_ C3 q}ٛ ^j Ԩ= (`}rCCdr(E-3T1|S_%/h2γ hP"fŽ>]PG}YPoys9[HB,ꓲ؛mi<唰/탥V_+@Xz4@J8[a=[ER'e  e=&/G '~b#k?PgRЃe{(Gr?x2hy]B@'fªЎq-Rq>MiN) 1m'6(bp U5 uwđ#ӚV&jPWr~4.K)8In5 R5RUjO":6ɸBI"^q Qi2]|ϷVS/IzH,^%nwgjbSSL0±j" ӗȔ(p KLc҇y'>A!繲1¾~ pMqjS/u4ïF ?ϲ_ߦ u \&S(r;P+(i~0l7yAcVa\%f=OCmF ڜ]*B,u%Iuh\giA>졘3C2حo.ciGPuYxjT}3.3@ZÛ[!&e:|n#9>Ъ/κ&㴗O~JCmIMWts~NPH=IScH؁CiG*Fri}2FX*C<waW]T AoF) f]j$C3"u/0E5^X(U R[)RmDZf+Σb>Q"_79"=`]9-%sw#d'P \y8̈+ `7YdBdA SzP!gٱC146S'Gof:.JUX=_qY6P/JHRy^UO02H1ҡ&yɾ$b;Lo *gI=rųS{oT l)vZT B ラ\c6\Hm-3ッF!4}-#n^ye\ =t&}P核(E$ZӖ/0"AG5@\ *R4c)Ep4RA?cz%;Glj"D %HN(W?ShSAڰ#kΧ v~6ϗ~mk3F ~QogO@˄)DnQ?.a!=pǖ&Kː^܊r-{Ba 3E1:5ʢ A.`+ @eq =`fIy'$RKkvy+o/ۭp=;y /pBۨBTOB9ln饣9.gƒg S+L d`繾=okO}՜OpzŕT`NxՇhxQU /6}“(VcƀY1ZQ'#4$%sڭhߪb4}( ~ NKaTclru?qS*G''u*ePz :z-"j +ui@5c@kbB *3Zg;(%`&PnQ4r@FL'o|i_KΛI*C#E3sSEzVWtlM؂}8n{! ͏vhiPĘ(lTyצ~%;`Fq8ٝO;yA#%{ +R뮞gl+ T bM?|$99ZFc>p U$ӀTn"x%.R}[ bx*_\Gw/f6FD(p7;55!8gh5}+<A#)_03/0JʯxspVJژ˘rgARpo|iL vHgc}<h=P"zZWHx]jQbգJ7nՁ@c1}*%ҟ (H'+#E ؝?>&^zޙ[&)/ 4r,~[c3! 5<@F:C/-`jȿdžI!yq15Vi k*L6x>=7<[MV*,zΛҹS}35D¦#0MCd{ 7LG"++l:n2 \[g^- f6(bvSmGؕH-v#"ő9IÄzl^(6r.yY׃qN$U|]82HmO81O/s>FnT#G:,U}ɶME.R" s;Kmmܮ $=-*|XxW@N9?$.Rh7/D\ 3<[)J;hUdǀ}ncͩn/4d!Ia;ɏܔ5J VMauʛKlM=ވ!i[BPaPnՍ#G{[ԝmi~~w~v-bH2?sVw{~P#2wd&1l覂@Y1}:rJݨ-M mMT$ ol <7oMlI$$|n Rq onLo~'cST"uJdHkZC\nݻWHLT&ohӕV<pԿ.BSD8QrP*ߪY#؎cq 9I1,"Wf dJkCk ô cB6,شU8KM;ޣ?"|pVM©v mNNU}=u' $k2n/yә6mLbnO7MdSR [-c8d&YLhݱE:yW}p?5KC[$q;i,*V#`y@ySñI[,Zj˾cV$Œ\lHO%ɡoU(FbRY̭لkh{vBnFͯTWz65ڍ[ ]xu2Hj; ^;S[|R4ceb'e;q>2gI.;iUboua~7x̹̪c60sjG@4?hl, CQ-K\5ߝ.(_ ),hw.%b)RxD^26G~a763@?-@^l\&ԂS[ N)5D¹-σp^q?9gsgmʟ~tV xE=z e+"Z'v&_wݘLi ѬrfGwj9nYxT;A*)߽ [M u*Ez&LI2GA9m s6Oa-aݦʅ]չLW <6xjeAxQXGK% KH`=7OO t7s< ͺ٩rN\#O=;M`pѤ W7bߵ׏:ד\;9*nA]o:u 53*`rR,M6в?фV[>uQamy).'+Bā%€!d:7}  2lr 9؃,aV6D 朓Ue45V+n .\V}հA~ŵrIKS/x]CȹHtIbY{`seG-:؜{dL,<ϐh;e/O|Tci~v82OH% 拞P{ u9k6e?<~b;_ш tf \ m/Wvnx÷w~ϯ@+&]}IQr{_Eۑ'hKERzmp15b@eB$Ll }[SV1FWO _oDjD8첣P(v̓[G0 LRk^Hdqp"Q9[y@{BѪ* |:2'6Ԗ{dZC\#:xQ\it>Ue+M <桙j]!t(-2]KdT.v[qHd>c@[ SKmn9DØXyUu K{2%AWC6]Y8V{ xqL p J f,`~nT33C3zY_w8R Ң Ɨf;kH_.(?xq*#:\B(b555["onغ((%H{hC\pQl.Fꎶ&;̳vbHaǷ&*+Dl%|d F|db;zF) gVxuηӽm׶HJVzwu֒lZ4y^t6_虋H-MUH g,quZ@ TF{!aG0NՈ#de,Ô1(Ӈ|((p'i~omͿ? /}_#E_ #s:)J}aOY Y LA fn+ X*q̏"p}eE_fzI\hj%UZR"rXo[om,Tp(5+L)3K >+H[^"J!T1YiSmnm~ZF}Ľ1v~~=pf`c{C#R٥6TK鲞 fCV$ߞG[̱gYZ  x l*1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyH)1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id530=(1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! <]D?7 {?:fH\gy@$FzI!^Z/4M[؇ O$Ķ8yt dDdeEZp `dK[;Q$U˥i&WZ w BێѦ#Wѳ)UJ!o5L7~? rqIAYR ,ݓSN ^sȻNܮ# T\rZv<wM[S7}r&B5I, +Ҡcq+8@v.: 8nnHг^3 NweO]T>  YdfjD3(9 wޱ؊g 0$^5}Eʲ ̟/z1 ]ä@%(ni{oD$%Gs׋ |Jl6(oQ3˦z}}@*}]rU0!_Zp\5~c/\JSz4\{PlP-$bZ6q"+BA]#e1ϏK HOn_}{ΓEqAbzZO?$fWվ&ʔʋ9jOx ?ywWSࡅ/VÒe|`X~ Ju6Yϟju#IOi]~+ִܶI%b=5{%VJ7%~Zf$zfp-^(MjDySu/vgYZ{'1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1u3(8 U#X )a%pO R](~FvX+oN& >H>-ŇcW0w_A=*8a(xx]3fYA$hXXݓ~^,,~˔CT~88ֱ u' P%%Cί`"&}S Y#TV0K /۬ y,ttf -Vt'tˆ.<ИdDguݽ|C{w#$xAv3tZg)]Ab7?bȃԂgIeU]Yd,lMÑST:M俶CV(ZؤϽpZPR`HU6M"L#fsWyw45@Wp_|[s(f>澠sE(f h2PWSQ3c|f|ˢtrx ۯ  |iA{#vmv^%"g t;*p\gN}h7B1wٻɠ*gIoV]fg].ߗ\Wݭ#;"M&BnKc_tyj͔J]KndÏ͔o$Pm7C&R\,**J_ʢÏ@E:3'>z{Y@>تH z\_70 7i+՚꼿%&d/o?𗾐Vîg!p瞡,Mw+Ofm0ěZȟ[A5&0z:{)V6i%e;^ux1ze#̈́=xŎoH#+}1{hbDɓp)f6UeXhKQyYH`Å~=du/eHɌrͫBc%ɾmH{Sg@;{Gx&{@Fl,S6ʶIa_Eno>q'JUpPRNu[uUo7WD$l6^enšap5YUlOu:2u{ʵS!q!PZ<{:F:XHR)_g9c#ÏQ| ԶsiHu,a/[||aEIN9V]Ai#KIvI_)9*ύ♇/lX7e?Isy.WB14]Y؈>OEX?U&94Os.v1[0ٿ5k!*gx%_i t<98>{fAd$J)݃X*`>Q{ \Bu4^MIQR.Y]-42+L5ah87u4_x] pUH'Kfg$V߾%Bj0/ #A{GZ#.j7*PsW="d|X],qas8`e4yKTSh f ܆ g+{q'g~̔G VHy475'T] ,IЯ\ }j3˦WX<.dzQJVzIh-}!usIŚ!hr&RsA:(0h.Ũ xBx{9n1r,(Х2b&Ii߼S oب'G˱gYZ)JXPX.yËtǫW?kHgѵKIXhVI}WUZ̀}s j}0pܼ>x) ƉAydԙO)|!PeaWoȤb1YIuoa݄6406s?#%u `9z B Uńxiƶqu1 HX*aph{}=ăWnoH[*"kV IH~IO_ZjH16d BOY_/.nǰ80J}m )p` 9k!TytRɿ#2[qZ8i<E'"l#K|!8}xE`fǂ1AU_|ߊqGQi$2YAwS8&mi4!93j#&e34ac섉m4cwG+54=u%^7BxA4mQ^Zفk#@0Vsvil Yݶ[rzclou‹0q(_hbVmBe5ABZF#SථP`@DX =[M( 0i4r.+fF~\C6do JA3"R ޘ|*Fe8T<hdV# 1h@GJYUՄv HGĺV%+ʵrEҷn>M͐dt ^mUgМ_IKzŃ3!Ӫb1~4V᪅l3QDu)[,EHДm ל>4zBv@PQrl譊J'vHRi@݉|3-\#X'uU| JFj,'z/f5^{ ba ߇iv=X =5Ӗ@E\ҴM`k67ğ bhA;'u fD8'XU=a+ JLD?q2nZ Wl\E\规]jr(eC;륨amA -,RNZ s?睊}z_ Ş]"ʈ˼P=fpwnFQaE</PpasFpLbL b3' b9ힱZyuEErNNU8Qӽ;+ʉ4`9Z)  j,k-YQQw9 y#(,jtsYS\tuw i;L|9[nxI![#k Z!n^Txt) gԥŮ.B, QLw_={mXc"-)L(>%M jZG=.:Uc5@Zx @ ߘe0+lwfSX&QM1l)v/w}_XD3AF"8O#p|$NMD7q^3~u##J^ -ϯڽk:8LVY" e|[+3?+45(`ӡ+:Nά` *U"p0ABC&sEӺw< rINq8$v͔g&0扞w=o&,(qVRv, \A][3lT ,Մ"+ MW ]]<% vǿ+{]FebD Վ\:O/O T+*{iފP'KT+}*lfp]UY?%yЫ;;T%W SrC]peH*rADbρo,Qw;BZ3nf6aPRI>*cuZ'π=왠+X[TB$kueT,MM0Sh`{}Q*slzX=7rX譬#GⳚ ]Qq鄩dUVÉuPEمêmAm`iTPdSz݋2U\_~g*>H0ڽ} ?&"Wt8` ys} !.Q 3g 4Y0Xg&ՓI]4u򭖀'^Tɉ4"3%B%&Ii]|v4m_i;.pk\=wM׸1)ڇM{ _7l=d_.QV5܋20_o0VD݀[SXQvF:^!QGr#˖W4`WF.EmO̬BdgK~feh2d桗W#*u`n}Y(5Azm LMXt zT=qr封'o3s7绗|3U~>u"3ܘ܄&x"VOBp(R.;7 MXA~bC?9ty<=%!_u<\}2_0(ώ!T)іV 2cW;[-]C5d[(8 Rx*+ϼpSI]sjhrÍєű"'B?TF,m7@$y@R@Tg}ΖT,HfRL K,Nl沊~:̏ؕ#-!鍿ZUŶ@cZ\:dU. '/`s[²ŴD^+a::!2hT"f }ksҤ rB+VFlwFDϐ,#\!QC ck&vZaIb6&7cXܪm7 'a9E\~qm ]{ҝДnA s`jw},`ZEw$)1DuC, U^~Z׋uL[`\>24u$WD$ְp}HfdmOtl@J9z|"CCt>>ҙ;fUp*H)UG\ 5~5s_?jΈB{oĐ\skjL9'Iyz tjyOѺ]ȅi mn@ZpJSqM4Ц_2͎@9m!AcѮٖhA*qL\ Z9UyF | {mQ2fk6u_/X.g^ nقeTAnH^<֢PYӌm*hN0CW.35;\0-=5PHkKd͗3ҶY.!.}hП[ehռ01:vc:9qVBf=t+oؾ ̠(9G&͵L+Ip3;L97J=DcGOAV]VCÜ,JPZY^~gQ&zЇ1pZ{.}s԰*im4JЎ0۩;mtDK:ߑvn`ƚd0R`NNE2jQ)rwuF6萘gWcH4} *!vHs^;ꝕkt<͐*߿Cr)ţHBQ=ǐ󶮿ޚ .3GKWIm7Ij@> Nm v`DGS ʐ{Km'9FEL<GhA7DbfJ}Kv`wG}+V|8&ACJJc"\! JHNxN҃K'HGh`*O7o?!*lZt+R2$WϽ,auGC :gCjo[Mnw!b})p%= ZD'sEE͙zLG(#9ªfLbh9H }J`Yq 8{qdBTŠ4u Kԕ~G5Y{I̟k^ ،@U)+3[hة4NS̙eIm[wn 0 '١7-,;^t#!˒Tw %;EVa<a@bɄ&4\*e=YU Y`hFN3̧.SvS2©$*gKxr}ܵ(6HD_Viǀ 樭 * G/& OWf:^V(͠؄pŵ:b\gD%Qc هVbKNLdp? @ Ncχ?T2b0 |8!n3Vr% E!n~B_ s.W R#5Y$Sez}u ɀ6p ƿ = H;<@U]FFJf|e'SŐ{w֕(. j8{v9C8YJW>oQ \7Ѹu$~RՇz₞7@q5I9?vۂT윪{ E \<">$"PSQ`*,$ q2ufJgbnfնh}B6>*8̉!ݨG35Kb7g=d'kT+MrsKd[,崅O|êX-]4`9f<4@MzǹL," NށY4@4=jԽFF uqCT wN킧S \'䋙L&1nNХL |Mئ ->#nCn ~x7Bl޲FϨ@p~tɧV㗾~8, vH-߱AZ_| ([][Y*k~'C`6QIJ; Y/}{BB+/pL'n"Nm`Npӈ1A+B'5^l>/勅LX,O prp\c-2=J H miV6ƮF#!YNF-wTpanGAjiNjuNme6(%vXfZ8`% c 82p~x(%;ؑ%RnbzF`)׺2MRÀ~bؑK;!vizER&UjjTb Lr.iVVD93  CMQK$7x>eQMمe6atBTp;J7M$e~[ n 6{KIԝ\ڽ%>ZD)9+,L%ثtBd^#1)Lt=#;s:+ ݇jIe#ST}SEMu*LOjJkA@@jIJqyϐNצM N$iLO+GkP)h[Sr4̸J tpgT{3Ac<~HU>ű, 6uqӘv/?JfEF0ó6VF&)i#v .G2e5Gy\>_m`֔H"ї,7D;N.xF{cg0{>4nW3k۲p &u)OS:Mǰ2B2m)=UNi.cV`3oC*g&3CLb=d QU@vPխ\'srg|tGՃBB#d j~9DM)+IWQrR sdyzЅZ,2 dw_sL["F`mH`Fܦq ,}&Xw43ok YOzۛw1/y*&L1} z:ȠVV 8 DSFԝ3\hzPm;F"S)t3x5Ǐ= B1Yc;p/}S3{F\ *\FWQH# k& I^ 3OQ/ z(X*7Ud:x(| >?4TB1Ͳ?`m^#hT\^q6mhX+ҙ?M Jk s~r#GklϝhiN(i)xc|_QQ%"Ӷ쒪M9gȈ<| oY;>§b-=4_b8lB2<LO\fY?Ts2l(#йc\5@G*%LFJHT<=pt3ƼDs0lEP|֏sHHKZY  ( JT[YrPΟяKV#hF'~$8DkG+Bc&LLҬ^5.XʰŐ~BkyM5bzY&DF,NXk+:R f;~Ew* D̲w+baęimƩCunsdGѡbAm有ک T*e_`(,tB 9ظGW}5;r*+lB86i^>_aW1AQ/l 8{ duQ%}5 $ۢF=@1YE?t)G*;0K;- ̹F"TIq53ucN  .>\6,Ln D\ Ó<[x<9-*G3yć3qܖFslͻmF$jq˨:67\*ZB?r.pHzJB5Pg,al#Ml5-<=uEBZ,?ɪjdyr^vABe>VR:lD>#]С _[zR@2n4F+`XE+M);鰜Q2ڍ;_(U[/ H:Mn:ݡ y*f5lb Grbu#XCMkSl.(#n?b[BU;\oBC[Cݨ:ɶ;T1LUI(8JG݄+~o&#QP'i`]jDNw91O_?IFpm6ɫ;\Xa vln NE?D57_GjaLPgnHjvvZm5g<`d&;Au gU֝ysLoKNvi980 ps`Nz„Tʤxd4nVskBZL--wnqD3=kW}TPf9SJ+1_S| ( <6pà޶h39} pE@PVr ,xǿkWB%΢7mo߈Wk׀bS TV]o~I;^":%x};f˄\Qؔ;sר{ u6trc`tTe ~]3U8]_㕃[lHdW+#cB'mq; iߑ1ʂ\J3YVfb=e=fM{xpԴ05;1{=dGjԏs*TUI6K䔽Li<V Jc[-ܥBf1VnX\KΈ"RV0o&T PKI;$q5wFwN@F0u<#tSv;sgjջkMt$j2ÐC!J!d`LPhDY[nf!(hQrFR&f u蝒z&_9pJnJy+i9`<\f*7פxeNӠ;,ìmo=i$[@) k2FZdyg1V&v9<״1R !b&% E p(98b1^@'u B#-2rv'}Gإ)g,Ұ *MG,U:% Ycݍ-2Y=;1-R?tDdC۫s-!-} J;5a 6wSgX}{dCJKB>#z<(UW &(x+rc*Z !,euh'lکɃ2ZDT kwvi\_m3x.nqA"xc*͌*)M_XnG6CÓb!~`O.1 x5(9}hr*-*ւw )eͫ ;6f'™e>7 y™_}?aS^lMy3)8FBB]l0_l|b Ƃ߀H(IJXm=u/*j>Ai6 Ln~!Uɔ]T;D-jgm"Ttn\^%<|5[ɳʬW4]$ ֙pWb]߯x^N=x !,EпPڇip4Fv`[eP-:ԪIkq&g0Vq6 Lv!Ri(,EIXDG!_--#d`DM_Uq=}'%;O姥ΆC׹l^̔VY*5mkvffXO#mʾc=#c*'m-Ti9\U+Qw5S55ŗ \ҩG񶵋9AG`ِqV[CъRs D^=5Cɞ2s@ lE칞vSkAFW̿H0ҵ=n d)䡸㈠;I6֮xUcXITM'L@ \ mqnLdeY|SijÔ19I4~#?]٭j}Ҥ7 ܚ ([0J~A;n#r=N%DeL`pEv7>l*lZRP]/ʤLzcAt8DkCt hw_KNK94_wZ6ҵ񁣂rI@`-Ht 97uG+:^u` m C!=le$CZ7=B k޻jan4,SCb"Ld c䆒?zLX\!tcaO?SBǗH F'Y2NҠjO-}*.,U1R &:` K6(JCRs uU.ϕDH."%Fs]ִ+Sͬk?Dz&moIYZS K&o|_'G  M h($ h'jw}G)*i1Y.kRp‡Xd^lMwq4}F<CV=gr$FC77'_{!pLdIԜb179Q5Ih΍H]$*ڛpU1n6},Y !\g𒎺!V.)"rgjbjp͠MK/`nwqR@=*CHU/!qhYX*@l9|ayS=0BkyO8-ˏ灀Io7`+'*aVh]@tm$it )q3}Vj^<ǸDcܒ>nqEz"g+,sYoq[H; ?ZlØmu@asoo Z\x3;G&PLqI[حȥe6L #Cywv =»Ѽ~C6߽hr,! |q+Zha,aW,R6!=ܗ-kprjLA#QZ5IYIP4r6 `a7XX`(!HH!0S1S< "'i/xb uXcWgcE `QoX{-`Q2ƋHς'Oq` cyCOURl do|@id 4cC Gh)V&{nʡhv%LK~m*qr1wJKXT4XtCS]^Ɣ[VPzc"/XmV]iS>ٷu^$1p^ PtEb/#z Ľ_wwٶn1S0; D u7 Ƕ-IAסH2˵xdO諸*:F8F2ܸS+mSwZw627(pX*Q9|?kK!*.z#cB?'&/V  5wtK2s{ En[8ިj,3 hW7=0ҐIMI2kc$o|ݶC)|2]BIe,|y:{b?3;n}.퉑 ^Qp߽Qv yV#$nw\L <_}C?*apx0<_Wn3eĖ~?{2%MOoˏ}o[zh,!%p6j,nND7Lܾcz8BF(T{`7%ˠ]4Fl+'kkLcPtrN~Z"kvII.pus4/+Ÿ.W[| qg r/\rl\h|YFײG*07E7ϤfJIo/=SP'D<7kQ |8z)m8v_,*hEdClNo3I6סU+ԞAr^9cc4g±AF8: uYKT62wE]{9)37ST :Q9Id^A1EnP({Gw:\D79 [ǵkL8vĺ]KA >EB %UtⷞAQ?GC&h !)9J4.-A )+S/Eb&U+}+FAm("x[~g;M=u 7\D V1anφF%Ph$~\COT|b U1Yl%{]bD ~E`#%u.X,>sJc0>kMrvAnR/a=B#J3 da&5æCMU (':%vtN [J?(ld3Ƌ!Fb*!+fOoQefRG3( ٣ Nʨj'&YD>4cJ$hz.72=f bOjzZz!Makma iڄ+yȚ~of@f=9Qq>B(1p7XL%m}i44df7)&Јshy~",'q`5;5a6AAbEb=* }SOQT_mnm,"qY+}.,45Cjag Q%vvKp@sLX&WfHHW=Y+Fy{{x&E,aלch9~*YߢϡYp\>j'*vP23iTm[?m!u|[GN^b&]TצkOă+@83% qWj)hY WgL^XjgE-8nen2Hi{;{oVm2t?E/e M5 (Sj^A[1@xQ%IQJK ƗC>D.VGFRUPo^9hË+G"QS~~m 0!rxQ'oJ:L7y0GuCN|VURT eyg٦o5k#G *s^Ft/qs`yļ: V BVN\Uv?끱 <$A!#gT yD N^2k)b񓏊sjcHNyȫ'0\!Ii ϩYѐMۍ֌hP>fL>/Sq[sqgZ/ur: 4M|$@^Oq?~,v_0c$ﱩd_k7b_H#5d;cA]We Ji">n@Fl!AY^ l"l% )-)Duܧ՘KUѻ|'@ t`o~S ɾ@SFmpx.~&R*VXh8ltޑٹJk/^z(R+5@='v _d([u~iQw;̬.G$h&$Z  3TF9n͸tϻlO\.vZ5BNJ@ܱͯkA,b7LEh0bUΖFqFQ{$^|Ir:GZbR'/J$T"AVJsC@?˚ QU< :?B,u/i+F,wGܚ6AI0*O];Z5ֽO]qm\R'9j'DBCq2wX#Ăr |NW?''eKp=ܦ Yէ.B>?Hq&D&A "4v"F+ .Q(?SZX6G<P<ǛE[cH_[yFeʡ?nULiQrq,2{@wPsp˲REgYZ ^+ 1E# DHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! JXY]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tia^~Q ^m *D*"ьc%Qw,Aӿnt]pX} i!hק)>}F4s M|8%dgSf]Ha(\p_E`!'^x2zwg w0}"f&E,6\ݢ 6֝%rJk 屪Zf6D9w|` itΖtu2NYM6jGi \+ ia?.>%W9Z-ѽUVRxmnR VLy(75DQ +8ќ>`x/>ۯY!́s6():͇[OoB.{"V bVU]wτdyGvaNݵ3f¥[yD(Vzi2UUrgߵp|B3<\; 7jW7)mq}4OyGA^/ ?AB73I%7typ]AE #U* I/kܕ CjI1dB;-yJ7-{׿'!2pmy~ nQAFHb7c4Gyz]o;) /߀]dmPww31_m[MreqL59F!_4#z |;NQ#dw 3^7:'R. 흂p25dL8OP?߲lւyI6˅pMn}b"2`m^IZ H{\ɄIypô>ICOI)]dqu'EJeӴh4Ov>bH4tR8"j* XjU{/wa=.6LTqS>7߾(IMz5zշWT-Hnl?ih+*5s1ױ۫+:I,F%t-WaPFct9?MێӢP94ba8W5aj*!rz}Z57J#vLb/גVrd^Ÿԏ|+z\݁ =[حM}6\v|ӲG\7עx"[DT%jN]~9>x8EFiV 7Y=YqFAYJ/$- |9MxlGGMPֳօ0^I/=]?Ƴ Xm#,zHoZcdLAʽZpq?[i<ԑ_l4hefFHmL0-YzqN"vp6^\D^)I$-/y! `cjB^i؅C W\<jWy3Lagnzە'&X'Xv33݇Ó "ʓ)mcYv.+1.f5{7n J!yU_ԇ;6$645 IHN-n'nJD$KX[QF$%nD#xBD9?!_KK#=7Q's~|zMu\꒑)*7&ES$գQoI.= 4~@ O6f3 LD!a-/YlEH(\Th}p0'\MM0VKEKLE WoAט=䐐֑$o3ubn( _v.1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM-1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id540O,1E' $HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\򽉊P#2 ա+!Z]iF?86F !W R9rV T+Ͻȳ<4p+%(߱AQTd$4^ε~ly`*ע5&'gW)rX`/V LހE3it obGgjU%l Y{_ F\>M:\nΐ8z?"U~}hSۨ49夽fM-Pڂl~ٲg=CɈZ}o b^HUzx]  ϐ&0" 4/jH]b̑Zi zt47"X4ݽ 0QVpM}Mrgg:u_XxƮ]4]n&^"-#8w ݬ=yS)'hץi<)%띧$ . s)-$ r 3P6Ww qd`Qߟx񌉢 1|!^n;,o THH@w~37{G +~ RJB`;`<А@xbu4)LBiuḺ^[\2*x/0Btʋf3@\=^Ik4^`ĴE6 r"<+(?uڿ)K$9xRh/& SlA!,@~sKƬNжǀc:kT{;Lɛ !ESAH/6;&NH=uK4Ac7 40{3{^SX!rZYdޮ@+R(%%Ug C:Kg1&]TCw z G^20:\*toqަpg[LrBXo+xݙh-'Eyn`z&㌍iOc0P>>ջ0dNI*ޒ=0- n{AEQl NUOWɄD&v^4= Sb֢~X-yx C8w BQvN.4?N%'L'X3O)NMB'!;#l yNr_[I( .UU_N9=򛬄z1ZW^u0ӑJج 5brYC\_]CޔgXEKMi|kX/Sԟz cVm=tyIwXs)Zcb( ȕ?nk|T p |AM4-:R6`pneO:{A.`guKK7EXIEa٧}e鐊yj,Z`^) ,_ڨ& R$f<^Z 4Xo,nΰ-{>6սD.AO@luy7GN~wJDU 7aJh5: X_8.x#{}:{ y}aN|yz}KfEPS$8磌Pl%!`RuaqyXAG&f ֪PGCSB}[뢳,sTB^?f[+FSouv@ &M+79*}#/L:`@st #1]kNr\G݌ܶj9H";vFOzȼ}@* /_B:j/{}ޅsh]x)og tY+$^B'C_Og>LcN—fʖf6 `PuZ &Wi 5ހ&IpZo )g}T~#bBKp1kjG/ ]?&s{a~[ -Vȫ9B9ce,ȱxdd0aȪD*̺0;5Y2SjHbޢN6q)/?g=cu1i~)m$MUa(Cu2);}=Οz] ΃'}l_]{QotDCfL uMqɨfMx* mІ.|0f" ,9O=U׷Uw`8>jhzloFO uߓ&%8܁k9 ^]eR$!OU,7& *|tF69gmijFvB;F?TlS"a0';" 8gxSp+YD&=Lva gDB1GA8 B%(Oqr*R[5V-l>@PF9<* Ml>79T@dN̜Rƨ2nhIg^sls @]3 >˵2Dz-G-ynaƽ7+8{p0OJ5FZf%Iwq=Y.N4]P {otf8y +9rm(iE _(Lc{(E0,&~$)5'[" tI%6Ha֌>$sLd$%. ni #xwףc3qX-*hBp_$`˹Ţ>oβOYQ\/^t9Jx w?%XUl[OJOf>S0ם*kB?7wQrts-d%΄l;ZlG% b{Պ{;DZKlHA-@3HEM0ДowzJQmPS$Wm,DOGrɚy`U)l|LL5]  &b\c[uɛrGl:U a6Pm8#G L BHc ނqzJK,^t2wɂլ(jB~N}dJuS;&: <~t=1Mgq\_kD+KGq| ~hm'/i <Hw1)|&7XDcy2Lg0Xx ( @_CJ.t<Βm}_evJIg">I(j@[LJ\~]Eunen鷃z@(`קh/ 'GPWnV+@M#OxJӤuZ4 c7 VT@'r [=B>xܧ6Pݱ!U06BS鍖`=5L;&+]ᏉTIǓ {gGLtL" ҩw7a[4+x!z^<J32taT* X`~7S.+7X3(kOޮT3kig&e~3fVbEO #uJĦ 2o 0jE!^c=V+\=a5Cn5V {Ti;UHC?Ğ8JP}FǑMeGD_D. m γ#o 'je-i^g$ĵn ($s@5PH%h}w:7(s`ӄ@$]])WȝJ*nHH5NnyЊZ&Ps*3ͨ|v(IP1'gժ yv}{.-"b1п`e)57rIvgrv(v=c*ULE_&»%||[ebdwڢ:1zjOڷ>r_ysU~?*IF~]NQwGyG7jЯY+io%]ޮ4BpDX,?b"dZ}adH_Q^)zu >geOߢpO vY }վTϽ[R_JRyUlf9fAg\űKF_K.@C֏K<\"a4ܪίE DŽDyK"׬~p$B托 dI{!l0V Ӗ3^9Ki]Zu~\71WvRpdgT5U~J\~}$JP[^ 3RiٲӅ啃9;&'xqr 5]o\ " nic CƁxw~I?c=|crq N-RHzIz5O^[³BL cΰķ6 A`>wUA xA RG+qJ6HjN}gQAx C}DX:B4Z4$ 'KfMs9CktM?usG֣ u:¿ߒFxO s5D!ieHL 1;$BoPo@qG\Xǜ#KX7 \k5CrVQ$?lYF8,xRzC.}Q8`kQy =p@O^oRG=УL]YI.Xo]oL'Μi̷b 3l-ojZy[]Sf`6G41Vx ~lA}Fd <)dM_Z5m9TC u=5CMZv@OMOLn)*hHuM2\U_S~OK=88 +o1ypo u 8ppN Oe?ٝCە KVqRvm <N.vrJsǻ0\m[X\:+-\=5iAز"I#+āR]c,^<*@;yTE˱O1.ˋV,҉H10}ҖBB]51vf/FbkE^^ME/=$=}'N8~dnY[=FGm3_yC|X(+UU~ѯ;%i.\/ۮwг½9!NG^8gnZ˧]coj3yK) t{ $=p*0!R\7ش ˣ&1lCfuݍs`ԓx'6E}]!^7mli5V5݃~ċz,+|$49'"j<+J*:$ 3D9}CO*|rμ " \3t kV8oܦə"Xg6]=ՠv4 4_ص+!5;oW=N4.FՆ9ʘLyv/j.~&\j߿"O8Z 4)ܘY88.>'"jn^G = ރm=+֑ Hb$T5D^18AZ#M'\U@[10g5 gh6e Pu[Ap4ׄYƉ6}Trg64{y SWQ Ю(BϠ`m,o U1#Wf38 ԻG!GsNZePo-$,K1`/m^/c?:cʈHՏɿv!x~O~sޥ,B\U;a7yԶ_be fUF0G`GUNpflݎQɰV~$F.+/g#@ZXc6y^[3N<bȸQ hjWy1esXc֕jЕv/C_ SX=bͺnjsw/'?̯tγ32e\0}Cm_{C.OoMyOXcڭ*X ʔ2(֌8Nb^sָ¹ Ȏ 4r =+'(c< $:Xʝsk+ǾsY@=4R䣻5} oe~ik87muyNFKsB=sQHI7]wœ<1acHnjjG`KսNj#A$|jڪ} ?뢥&iM8ZHgJTw=j\oD(Ov937 GMEHGU0iFʽy*l}M7ae3L9v #989 fm\qF4},\oe$q 0gE-uc˂ɬdm5XŹphiĩP.'-Cv׼;)kJ//ߡf߅Xŗkit)?Q?75GK Cn4U`O>TrCQO#웺u|eAlJn4aaĠF}S]Iˁ[&sY@5K 7ga_Koև''yZÐO햾dAINM`8l*u?!]HYAij7hwc[|?qȐLg!=hI61 + e}!44ul#~ xx,B^F6 bRLIn,r>scLc+6b] c, qgٯ6j8f(L0zFMnw @ kJ کoNND c|)vA0զJN`%?:'WeV{g4.SLE~ldm7 eKwK8/?α1XaD S~~z9m h0pfMAeh^kE;".Y]4:*I=* }DdX9_pLOkJW*ḫw.Ԭ"3d4gkTPJ;x2*G\z{?{p}Ldrg̫8L\- l7aO\9^f_6 P|¿Qφ/۲d@h;\Y7L/҆jG-(X4s[wB DAθ|v ^Rί[ U|ulY$:5dLo\Ɲvf䚉 &"3++hmy:@dJFNMѝ Zل= GUѢ } .?>eh̷9g78bͽsNDN\rÉxtZ(l8uD2ݧ1cA~|HS_̀@jRJC#VVEڙ@7z Fzɉ&ВoV/`]ș-G;Co@:$ W@N/sK@סY4&e48^X\֘, oZ.3qP6b1a/z-3=dL,{uʊ>PSz_VbC eaLl#j$"R!>+Q?Hu0ac̯cՎpeL UXQVNߗqkq>m5ۙ"ѹ4s0f {FeS h|?r*B$}." Ibkn qcpD*ff1kov҈LXd*~wePJ:ki!$ս*W4g J";@=d19@| G.y 7DHD1AJOU1^}mF*V&冎cz5R9嗃*딕Ǻ J' p*9Bxkb7}f˞K跂HϽeqQʬ\ DAZp#3NƈMPj\4= j}fyqsNvjǎGoo,=_z޻Ӻ ns뀅Ć. |E\w6fEYx$@o( ҷ}0]/Gt6[sOi OK1E={ՉЛw%\H>&EԼ,^?~)EPnي:ц#Րs'bz"oF@Cܻ;A:;c8!/*mpK< yD(^.̞9=peY8w]֮FQn`~)2"-]siupFL#ؓ qnX6?Zpt.dxR W`i%),DIWȔ* 8z%}hRr8cg"7d[V4fEG?ƨ}x.(Ęz$gJ!> ,`LWZSqI^9F J\./r6m-ԤbƙkJnIJ_롐G%dG(t0U!oW"X,jH1  G b61A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id516641S' dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! ,]D?7 {?:fH\`?Pc9Ѫ+Y'3{yoWhZǻ5QSdl@UXM.`^+߱kĵ%]7t"?W%m}+u;Ř͖VKaG_IQ*$+ҧBײ_$Z|ᛨ\bS;# WQ`KYM[v,[1,FנԎUu]4%|0H!Y `7~>,rx}Z;Xؙ2EU-Q`VrG J9 ?ICUQ{ 2nǜi?5tAxb+iW/>ϕ1m@# c0nEfi:g})& Kຯ |&75DNOtNRZw;;GkE9;ƣTYHg9/kexǂ~wYdZ2q8!^S vSB/5F|=YAk00@CeAtsr$a0q~KZ==aznd8l/M f\h9~3nj x%%^\ECܶ ~v {룦9hhfh*BPhV5+ytVPӠ{AKoxDN(Y@,eo4󙰊T,zB9UcHF#?>yWU:&e'Z.(ƲA+{;(0tn.gp%f`z$wSOaǪWvVBfeyγJzɹ 0mL3~d3AdȱL\ 9[Z+ +a9 e0ZL0O\T a8mnnLOdH P}-Sx?n`FwYʥ2fp.~]$dF^HOb*㤘j~]8Ya($oФ52B^jE BD_HHu{h~T=TfUi zKD+g*,Jk iH\.GVuyU_j]ko M]>b*p2=3멟V`j@Tl~El~cB&Sb켜B0,~'g`UuQvR9G)c '/pmAYAgfrp][5?#U5|2 =m 1F:BznKE=~7Om((! S4RvX 菣R7J & v&q: CmQ*S⊌iǭ"[ o >$İz'p' ܴs[deI?>[}2G6HL=VKYmТ^IچdpӉ+!zXDmN^ptSt䓇;Ӛ~8P CA)5{p ^CJ(rrͱ14J׳B) ΄ls'1#W@u{FZ:㳸M01t|;a={}EePTC2RVO@DĂaQTk)~RОJ/,Y_)-E%(YF|;Hip ^=}GsGɿMlE FKq7u4<9b@LġP;tm je"{>aVT@; ;/m%1YF+&!׃P36|>aJ;Ck=; F{$l= :AmL?r/zfyeXm u1|[rXn(5ڢpߐ*9@`r5+ɬ=:%iC%5v4L({"VGWI0̸s^m>OG¿IDgs!Ylb޻O>;k4)e. E*)=cuȜqz#7nE^;#6lHWPZn`X dƣBTg` DW}nW.AGS |}2n(˥.(9C&e~9őTĠׇhIg4"\9o7ȶ1B'58U1зv\cnyX#OFe͖T9e(vyG9BX֔OQCח02\ٴU-%}io6 >c1ϡdH$2އ[1Ly'J2ĒP =>x'K7RN׻ A"8ZUor[hSne/ 8ެk}2&җ]n'A^$7У܈el uyln}27qn#.-&Aw{T$O0wЊ(0TFQGhFvD^#~= W K'B9D? /37GvzHSe1ZiQ;h[&PEB8K{>3;a#{tZ3%$fg ~!ҖZ XӬVPV"/^g͙m"Ümp>|a2d3&I3eix)/Z4jLT_sS ڽYMm% ^,]HLx$ P!Mr·.N)~V|R^>/߬e1d{Rzt2Ww-*dEN$UVri5;SWb+ța=YvL:mF%r>ȉQ83 Ab$Gg(nc9s4 J5H?Wd(|rvn~tG]l: ]rgYZ ..G71A# HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&G]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o T\q&}s]쒗l(|}8N%Z6FU0^T(HT1MAd+_)N r]8؞sgɍޞUUǖ?q|sfdtYwLb!,q6aOD@p`,, g y QGZ,r1Pyڸ@ZF;7/4Խ '0=;GFNDXۿfw 29Š6Q1x*5/N`g}P BxHEb]zňwOѪPa }U2H_퐋†\/vҾ }mA`aE`&,lIGs@ѓwD$J.|g{˵ERoMS 3 % {N_4m3YuR)!_Z1_)Hls3Hȍ<.hKM'C}If. |sQ.rxqW /# I]ehqM)GFub[=]crBH|D]L18syRDRAU*~K3h~!ܬ26>!mn:q/֮$*dW*^q zVZ,JZkRI -\ZeKCXy={A}Fv[Z=Q KiNtwR!tk<;BfՉG,xi{6n0lh˓QSɠRW HQPaXtR/iPR@F%6TOfL:fU;B$a3'\k 1I\ l"Ɩ%bpeHFT$.gGC7J@mϟK.04ofircD4UI.> E, 4o4!;p/ġwvDKUvFɸaυV=6 uLJLnT7$o~Itaqp]8kU<<)VńĂ8K88ĐxrH~hbTo vDg`=e]L5{O R<CܔTt^'zhX~ݰ Ћɘv VDVҢP&,uoҞG{"_i0ۭP}%Kjq >F?Kgɞm䖦M#Dy[exzܻʨ<6 &u~Wa_ iZ+°)`1tJ24MXJgFSKmhjPЀE`D\wHDJC@*=nIH}f|^9FM%ߣJ68.08voeu0qԸZ䧔,vN"6 g:X = 8Ӆ/@Gg$̒F4a2TVzsz t0MMWyJdTǐ ٢+ښY`O.d ]nph.xBu_qیH-q@r;diDeyU]р M'崥k 1o7!2ztU T9@KҌ*~o@>ٟ>vѼ~x7i%Xfܢ;==4mXE㕀UC8c/0XF:kxJ1p^^ ČF[B>o "tZZx|TAqɜ\ʺoE|)Ie6zK!9IH]a8hBns!GMcG}T6Y1B1p^٭tG2^E(d]"$_ͭo =T A)HBHhG"w\ҺB7Yph쑴K݇~ GX.Go|+$lb~I[fVaVV:Z{uq1L+2V,ZlA'j> !fP3udHP%,@:4f4=F3YricAyM"3\yD.Zoϫ1/QH`ULk0D7q{9`mk*%_I*j!Oͯga—W8XQ%äW7q:7a#nމ{a]S]U̙)}$LLIdff/w3YL镁3C葉˪j|DB8ә"-f0ݞBgŰd0F`;F1#E&34S;i]eL'-I>s[PqLys܇Mz\MGsX4d2I͓MQK&b(X FQ!I>4(m=~FgSiuYvN^'0L'ZYNĩ@5v5_ AN ,r䑮΢)@qXi`Q=2Z9ҬEx\=ܷ*_{N>b1R'pw< ]R^,:w<,p :Xm̩{nD=aM p'Ah3//y& NۺO&L&L  He^'-ZlP4  !~v>1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM=1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id524@<1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L8]D?7 {?:fH\*[ ar;?e>1p@&qO'|c=.i@t0 ?P ^ufD*ꄲw͍Pk'-cp$nGk Gʈǿ%tO(lȫ&%y=-jRۅNm\ yIk 7l\b-WX\;tǂy"ceR|~n@ø(9)>ys6GtQOaQtQz?Q&Co|}2n^b+0+} Ӳ5:A2$J3`JXak V6SjwJY¢i\0#T3^U&Q>/~neBz 3j(EVbupk}=ܓq?dNO4F jւ98}L؏j^~A#gp DX8I,LP0{ JfgN[+v3wG ZC8Q 1b (% v;5!XDt|` a fZO*ҋ6Uxg| O3: " hٰ<\Savi џ*1z'ߴJb;dIQy^Z)5EL k~fcA߿_Jss34NMZ[6PT3*v0?^)>z)mz> #lcgG~$eV~P䂃p)}M1qߦ۽U4g<]o> 18D𔣮ö;*m{bx }eʹT3=\[ޓ(|s!rNZT(%m7| 5`O္䷁N8,ub/cB~/u!@0Ž"!~{yoPwI v6c `$dXh ͞C:Byq_9|)m6IB9Yav^VKt2eTƆg.uFͮeZYwHFk>&qnCUC&_t君ƹp׍Ӷo<4𒍧 #n.i`Dی[eVb?1[4yBPvi_7G}챮MVHF" ;rΖ2yiDo=B뙥ooWsN=9v:1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM91O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id54481A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\8D:G得/4cƧ&aA 8Xa]}5 ՚eq_=| F^J_`g{QPҌȺ_O(> Tg|$Ѿ"JX󅏱LFmZ+קyȎE0ұVN@'^_"A]U(\_Y=6^$|Ɏ3A6ëV7p 9x+-!VrP >oifmu \\ T;:c iE(=JG#QfӠ+4dG |W/9s,We/NyԢo9Ekw~fk}gAd1&TN>SHar׌B)J-2 Q M`I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id=A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id% U'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJ@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupIC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_idC1G)HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/latex)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/latex)HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/latex)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/latex B1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/latex C1G)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/latex @1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/latex @1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/latex @1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/latex)HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/latexI1S)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/latexH)HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/latexC1I) HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/latex (Us/[ A j# g # O  v - U =\A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesR?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupQ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesPD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idOB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesN@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupM?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesLE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idKF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesFD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupEC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesDI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idCF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages(%X+~Q [*(7א8}j`XHHcWf;obzD;S8B/qqJ-sX8Hz,R>w$ҥF`"kLfX QK g'ۇ\xcmb)1L6j!3KV1K~q<-fL"nn䲣 Θ@IgLo?8~-EƝ$@z.ͣ̓Z7P*?lnwF< \A s۞g.NcdIwN5`qB3 8a)RL?*nm^Kկ^(xeoġWM~sP╽|ok<ъȎ|cFO$ee=Pթ\#u;nGGjrGԨ/~14_`/)UÖB߀2x;1&kx7~qfw6ܟ }]A]M\Fa'ӽY\aXd5v+Iϲ0|lG~C]H;6 vj2^p\5Z rstDGS\ uY>o]Lr2iAQf/6%wEq ZKtQKe|=7HCt^03]i!ۄlCmh@Ao[)ʊTrK[PJ &Tj>& '*2~(?ZYb;VC3y_ݙ4aj&=9A ieb,(H1!Ft˗hP`$4,@b#kcbBUNu i>8 x`Ѣ)S12(F tTBE A}.uQD}r8lw9[p"]oXXq7HF~qKZQvPg BD*cFJي):5%N%h$ ߹ǜÙBdDqyrL87muOP){QB+ekw-aۺ> ]ZIJ^ցĜ,؁ECSīʯ('#&3s7r T=NMI|e)aC88devH!~ 6{U?_SA]϶Ģʃhfsʬ9$ԩw3zV?cnF4YQRlgFA}N[=S|Čz72QX&)A:R~ooQq7f$w%cc' SS Go6K奟>&MPϻW', +3Vw{ưJ?[SV(I;1))^b}{`VގT(orJ T;֐ۀ8L0Zk3r#.Uh^{%ͪ F?4ϻ3&ʳWg,T(!{kmd ?[)ɸ`DĽhNϬ'1N2K%sH!l:x0 0J8xƇӽ״{&Uz<@ie ںE3H@-Rܤ"|T[)"pB^A\a341S0}0i ?1 m/퓣58漖[[.3֘!&g_U5ԬgS;.yN[ֳ}aBW͓,b` b3Axi"w L2EyE%y0߭_xM٣>(̕bwBR92G0צt#.. ܑPҊlSDɘ7Կ1 ƭ%cWCt1L釱_b'ıRy4pi]N߇sWrgڤ @IՑSLT,ǣ,2ZU*t1^ZoO6aVt])R U ,s~t{\xm;8E;ik3nJ} \n;"#k O;؇eX$ѧ588\Qq0YRI\^ȴ첚)8? 0YuO! q Wb=VEγP Omhm<( c:%DIZ22-0_sZ^Ռ6D2rhF9?7Jwvc&=7qP^U~D24#r RR9dé͂d%|˩1oJ7g"Td~e Mn,CЪVz!昷1ӑLM" 켛ep]lnH10V6tƖ~)xZo&jvFsrxx;]wL!8R_ˌ# (֙'."}Do<43GgM:1"u/zG6R(u.n0jQ.YR!LgzRNq2UljVh̭#[ʭm&*j_J=&5YSjDԵɠ(,:DbvLE”+A(n4y>] dMw^!(r?nu+l*s!s#+%3j1awdk^En ڵ/7>\hb;~͕NqXnQm x ~ь.@q2LxzC{tL-lZS0 )g%n.>BvALPQv'UO)csF[6?ձ pRZR/7+S*אwK=:E=8M⮪mJߠѫx(6kaN?ި3 mwS@1WP $V*VBP(ܨ>@t -$2JWR@0@ N-ڋX'cW7V eǘnkyOI}4Q?e _m"RLUi9]sEüIrF7'կ̄؈Lkc0oeg|, ў&-)yvF-_֓M)ns6< ػ{Ѧ1QAp;n<;"V?[ Fyͣ/h K7zH]*E}̖j֢rdhp!>~%@Zbn+Lhc8u.ؽ,vnE=1kh Iӿ\jE6HaYO*Iߑ tY5Í1nVZ$M:O 03]fW^Wkdkx4~`5{Vlj`Y $y~=n슚L*I\LY+2Hz шu|pjb,ͻ. Jljpi[AENqGwRM#xjݍsaswgq3H\2=&@82OlU5Yc~?T;Pon{7cKiKI^iXy|i{0"ۯ1̡Xo0dJ3pe`_VIѨ^87=uWvrb_V*roκ/MiԿPcG,'5:{5mBV`Q \V̓AkQؒpG%L=LUGY6v2c z"ģfrȇw't$U8|WF/^%/Ӽ&j;ODJeC@æPbth1jafhEDk{13IRCG^ˠe^@Rh5FH|d싧!A7Z<%4BW8-$PNfhuWQ>ZS8LҀd%ďaJKBw\S;ɊXL2B(O_+с2AyASI`.s3sS"MXW)XHLݢt=O}!xG2 R ^OChwVjiEJ\UȥoH 9Ko.*K+mD]>{ QQJkKqdU2Χ&_.l>@8)XOkK9I(H~B}lh B[U$LJꙣZ4\?x@A,1|yRT&@}!GӤ}YwgYIQR&ג\@:Akb\T(s+-5г)h=C$'myPb/م06]Gj?[3nLi%Mw?aJ #ku΃tr9UV0yg]ac ԤuS˝$ M0 f:&rbqiPmBY}j.b⠒]5Bc``w i)$ψkvR[<ٞ[Ge-uԞ*qrOy%q^jcG$Vނ{ a(J_ ˠ^jbt`DI;cJhJ)v > Mms:fwԸ~ϕǸ9|k`J|/v%&iA(Cos6<Ċ+^aQujN ۔INuZ$IP@2Vpij\ڸ]&!,Cb{Iޙҷ^CSv` y>R'! 7t<1\qBeRsu}@m5$rV jIR ;vE8*,a|RBMGgcf]3~x.dπ%FqB. 9nj۝: Ylv?(8:"(y 'ٝxjw%K4o5@;['{mbd=(SUyh'T.T0!܉H"7c:ȷx!)|-&[s+Uz5;=-^%\BPUX&!ǨH#p 6p ]- cmZ -l6~0{m8emC{b2($@UIeQ;4AwL4a6D]$ 81=|鿎ץhȽI$r/J.zd]Tm &hS\:@~T޼̮?f5mh,}ɝ34( /kllM+2XV@a@>:|-D:iSQhXҵMhḔ:'\gYZ  [ <E 1O# $HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! ~#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-#L:+\ʙ.wҋOB i ZsBE M •k3BWEdk7#Gfxw{ $0F1"Ʊ,=ɪ nf|wv?ku1H*<WPeXw3W;]!*#& }CԱCC%ƒF1vMdw+aN1++ZZAW?*z`bhhL]Up20{,L@dS9ϲx嗪FgQ \8 iL8t>q5y82{ Qk\x97H)η%k7Ԗ Rѣ]z_oF$AIwC{lՁ EAg<w,rЩJv| @WFs8PXfapt=<p!fvg_Բ!(ph9 GvsRJWlIiȪm Evۜ{108㯕ԟ~s%&_jBj"?Ψhv_wDztȺC |U ]9[(M}O5}zNJѶKP?Aﱿ˶LdAD4.KXE.Ͳ^؍Mu6=\ı،<=??XY‚9 >8BSC:R<ѳ oy`hh%2aS[7t my9'2"2Ť v/̪˸{J]6E~(Kc, tT1罝j9#N-Qv膃 )=(»\PšPBʶb~c }^c9uv aKO3vwmφ2ԆλcﺆԫfAF`#\Xv$2E=F*/A{sJ}}_R_~1 ϑ[%14P5U̩t|Ip9 &L blHDmVU |13qmQu(>$Ai K:!`{2|>:G+iط3,BU^b_qΫu 3[IYnArxmNs^h|dI6qB[WF~=H B%QFl"r6S_FRҔi) 9'n:ibd,=x0MSq1_?l28okj^@>&I{(^62_vȬ#V #͕%AeV`l2GUg%b.GnBaþ}s ._1{pFTW* nē_Ϸ"+^OV":X)R7k4'ڿl\AA삵|>wN<$@݌hQ^TaVK!+w> xe_ga*{la?X UGBɭ)̶TΜ&Yb`=1O[۟x)/[}+]i<l>Pv õfZ{ m2--Ǹ\DTU_'ш_k h薗n$Bl&jG[xq<G=KmllwrPIO?$|zY 2;OJʇ% W6$.0tǫ +V;FлEگS0Xui4JHo ;Xn4rl!FU~hwM{$';w M4S*^늮y! =Zkw ʒ_%5q 2YgYZhA1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF@1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id536R?1O# $HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! $]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-BEfnaZLLrK$[|jh7#眃tJaʦhvi1~#A> ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv{'~B3iQZê>=mCe0zrº.n:K ׾!-Pd%Կ)m+ul bϐ;$(&̭dh?[ag+F[͙&byK]O v[0Q sVv!i[ Sܥ?qlyP:ApAUۋb Q>~W#+`y}qdǩ磴brQr6!oQ"|Ao\Kf '1~uX#w|Mo nlf!VwɿO,#e}t &g,sScliK.@1 ǣ rX rGw& Qq…gc@ 8o|c2{,kWriϧ-J:ҭJ & =YXQG*6IbB eS[$A R %ҹӭ{m-և5O Q߾7g`J7 ep %1;SodJe.J0*Pnp2C 6/h^W2aEe:TpP9v">~!$?ddxRĐD03y46/X1^*OQld sϢʨtҗ:=~s1+%m>EZ4$-B a&?waegd[e`CW5`k+E𼊽tw;i=E0t* G@ +AdQt3`ьvYlkC~Ǹ%o kҽni*ldk^e(~,rbډ;KD"m͏W>#⬱#L"[1C\.OU ИtkK3hPiǩQ>taz4<k< C4+x.g#b>"{a~Me|W{<@wd[_ɹALҼV9)r6ʞ?=42(4"ncsU O/ݛc9bdG@'ӒcyTrJ<{ 5qɰj4C0r j j|H?/k CI:&.x `Ph `-|j RqF6e^&}aZ\iγI𣢺!"U'IRϹ|NLӯd1!eOhDZhjo&-Dj\n繩 /EG#Aـ n܄h} ?Sne6}\|baT7 q7PcC@lfFbɇ'@N_e~g2@@]RRf2 ^E\b j W^4}4 W>dn"Ly@>%.f{x5Knj8ST{!Rd3"4m'kݿY8ݓo#6>HXʢ܀a#0Fu RkuXϗh7(=;tg]}sY7Q`aU‹L'w98DpLeEצ')F; >"vwrմ8^ABz^JLVb uXXrE{/!znI\,G#B\Ʈ @٭$˝?n[pN4ER~Eme\" ,;Wif4"oǨ~s*b3)c<%mbGO\LhaDS82!^J7& CFd^l:R}Dٳ|vgGx30D7Z-ƨ!x]To+Rk8zMP053֣̆ w"$uNZ"0~.vj4w<7dE)3Q3Bȓ%JD!:'mZD tGCqxa)?T]щ{MZW,_E Е26xh⭦Z]h(%{HWY$nt3<k)waB]+*[uVQ 2DBFN՞ ~&+/k;$(daʶ* - ɅWIݹg(Q<0ke;XTO 7Db i IzfQze(^7rL.S+679$g@'=`%K(K*K>9[k+Sx ږݠ7ĺ-!~p!]FWŚ;k$▘YWc'w,)g宽n  5hOsfr@'3OyH㮡 oA4YF[r',1SCGo<@Y.i.8YM FQVB{OWkb4ہ3HVvb =%nuE+?;,`,h{(H~/JZFA`(g&,lo̩e҄rJrcn݇'h q-N Ɯ>Ud(0ǵŐ(.@3O~.,\4m16{nWaQay5MoN i'H ϼ?54uV{>bH_C㈽i.6jB=d(ey.JVA%}(2Od0ve:x &R(. M0BQSJ(}ߠ(lV%nڃ4.Lܾ,>(Ph3,9 ʘi>"PT@rDc"AcPـ. uweЀ>dZ;N8B1S"Xi.C[S,4-N;E#@;A|_O,>׃D]V$eSIʵ5<$JbbTxv\fCdJĤuMQSjdU% %z򄧻^ʣEcQS!>ĩlK60Ͼõ aMg7͸v^l E6W#џE/Q ~K,mr^ ^_ sS'ݩW}PS4 iCn؈9.!)Ѓ%c;NEyAe \#w-E-k+Kd"W0Ey~kG@x/ų]ήqmoLM>Lg:J4= '6!Ts9O~ADveQ}lO)PQ Euub$7É :Aw0A7^$eS):+GahH&AU ]TU~jU`ABꧼ*%ٶ_0OMFL4A Yt jYvt#[oٱ;_vD|>asJ~7poH'زb! w^iaaYe:T [DUe y>D߇RvrӲ&Q=at x$_EZ2)om{R+vtGyR~aASo.k-e-tpw/&[=,]\Uj+Lj[Oêћ=๿Z%C(e%fBj׿ >>W{Mz1M R]&ʷd!ҕ*>K Z{<=0!zߝR`.+S2So0h)7M@ =Rf%-(.wn^Fܥ Ri7W;`;t۫:TzQ+@7zA8;# 5ĂgYMUK?AURt 1M+=UkE]Iiro(^ alJʩcCC"jڬ6l0Jz#(SV$wҎZ`e_RrIyqu}9.*|}'^]u>ۜuGrw E\0di/ĿPBUSX}{ +ǬXg*>fh<ҕDDXkoQhs\Q$g<04} 瀝\(aS=i ǟ7=1IPj'HyNg;Oua)eKڤw3zW-zb+lVmև̾t,4qkB^ՕL?>(+#v\ Xo_rB_<cH375q SpOm'5i|gs9f!*4 nϞ`3qp7!Z2X\?S"ֿ;7{+:P-1ʗo"UbKaϫ>B)R=KZyzݱz 5X÷§[R>gOh'O$E:J)`֡ ڶg wA}T€ po!׉kB Ӧ nE,GD`#jE}{]S<=" F -'FԱl#{$Hs{]B皱[w9C܋Z}ϡ&_E/{0,VtN`^S6_MɝpQ=ȣê:9BBC9 wvvB"):d@{Tj՝":95}utvɱxPEX;׿Lx7_O'SY[ `AoI_3H'*?o}e[,n~%[o3EcR*A\SQ!Ԧh|v،?ϰ/*B牱=J$> S\3MQd&nZN[a$S0,?G+ҒFiaEZ3%̵ZаM DrOdfr|u|I\ 5̛^PdzV](AMmQ􅲁/-r+px>(|)>RZ_ڦB0!z<֟hxw*/. C{d M?QqL9&IR?w9 gkHu>4Q4!QgnFw' iwb054n&;Hz>v1v&(A.x׷-5Yˠ f:vx(5 -:ɀu pi ,e/]2Dȣ,lڄ ׅU~B?#{γI6K8by,)?ǩ vG}Jȹ6Em=8ȔuOY"!A˶kZF7 q< ib; :7(O&qDxfl."qۜM?z+V6Ք0.,0>FE2k%hF_pY Dzo <~P}1c'炣q~S9O_%2}#3r q#~줳qV}~Pcbk_c]Edzڢ-j'$_@Q.u}vU%j3'9ЮsG7BCD^yKл Xл5z$&}χ{ǂ~yV:w^O>ؔQg7eIg րc/,m:wǷ>=ыǵ1q\a P@CʟK/x-쐢-'}W^NWHC#nbP;@GU͝G];GORhNXo`OA/?f?;кB (] 5G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9s6lHECpO7@NEҤp6<:zW,l?Uh^iY"Wefl>x0wC>dtԱh9U/o `/p3DbPI\ó&ҚJ˄"SͲojТ_dngI\ ?_뿕5} wJIeiU^%.Sn~Ϟt+JPfTԔ3T wNf L>\? V V%@ VI8:܁9LƈWv)`J= BW %PN10 iТӆSFBqp+B'#;"1Z!ϡr)W>eeUaRY~}[PS6(˟Cd ?\my\\ngʂ '̤iI` KArn L 7 -Ί_:8:P[Ij> w0.|CkC>h8{ߍ= $Q_L)h`Pc#5#mS@)3ý"Raw/\Ōs}R1`>ql7L(Eck9t`NX!}eYԖty}4\5=tZyuIW& ="Gt?㷒)ɋ̑}&ҟ*L.3cS!&C: Dܟ Ɓ;F{m/3I1MBh6#OtHOщ$y!Ȼ~1$i2B%ݽ|5@ )z9W,2|b)$Wbe# uk1vDr+{7_B~'iWpP^¼"i/DP]1@MP;L:Ob'>8v(m@r2>+ 2dYłY^R]v6 JAB0OS+Cξj5n4C\CPo.}v+ʚ X ߦ1%͂Awq<}gi!{ ;ȁH*ܷi{mI*P )XD֜FGDl"Iujq1̈́hjH⎂1;gt 2є?nH1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIG1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id528F1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ~]D?7 {?:fH\񛤴'SUse lK3̨T*’0G>db-=o%{D~!,,fZoM;G rȄh "-TA~n^"!Iو mMru,h.8Jǿ En@`MB-ŮG;q{bV/Ggر~ۍmą=ϛM"JΉZBtqq:^.(#p(LaP!E>#㶕^.5{d,D\(DM7;%_Bg[<^"i~WAw!?j"A-/ᜣ噼>i+G_ʛ9"B&?_D &^3RH 9K|4~Wx#OR ` ؛mN_}?^[I E2sJ=%afQԎA~8҉J:SGFoh P!ptbCƢy N9 CXğ{Xt~iɍ}61(T?PuC1z_ّy( \ ]Iu|@cD[쎄˦8xTM2}钶cwL[^n4]|]EB-Obh [s;|7yɾ,ZLwϔ$a<2uv+A @".]2YjL\:k-{0m9as;Yj%(JkTCD%WOw&rI~@3Dp2}.*H`9u N$|+F*nGccĔnR"U8?pRCx! $A  1/-Hbؠ-G,\NcEwZgnUslnj;P#n?Yϐpװ9>X#!SN0"l -3ӿM.ODTF=k[ 22.oU)֐(F8=ṽ aQϝbRxX> i|yiVlS.cEw CfBt1U>8sr˭lqD]`JY$:h4&cH"kE͆ SeY*9T/MU5!Qp`%k<Ŧ'd y>R:f{19Mm O;`u\j3ni )3 ,2s t$L0^}zk䃠YnNlԁ<MQ2k0} Q%gLP8)tkʅ_]d<5v I}q84,Fp@I [BpcX /;Y*f`9zO/cqPBW""R~uG@GvdTLQoj(FUuȀq?]vAY|O'j0&k9㇠^ r5.<l mirYlNǕ*#l&KٷX2 z5XTEFC vh_$(/QyK.k9C}[ߌfІhi)sgȅ.?>|Y)A"(؎+x ?Ӝд " _8R"Vel-N}|[ 1kۮ p.5䨌,zJU*a0r yQc/v$(^B\!wES;t0_L=Xrڧ).7Mb]Wb'ItyslyEAtwvlhM>5* &#ʦ A;œ;fN#s:R~[+2gv>,{xтԈ@\'xpNL1ovh3.dr=I,yx+]"ҳiq*t1WhΠ:ýggBi.?<769fxDz2u>.ZZq[_ >%^ B*ybĔ8 J+:2c-]t{jIYLC6W#E@L+m^azɇ=0~@ۗ'k\nCigsÀշ>;SIЁUyHGSnZ''83[مˬsZ"Juzę ¢klZ7ZU/xͰyy*Vz?qXLĞB]5a \PfG ⴚԥN3ynϴ6`{dTzSa ::M2HDorFOil\F@/(|ޖHϘ&&3¡figܟfy{J'z.+y?l;{{P眚_ 2?Vc4~^اCz]f,tvJvsϚp{pI_n8Fk{{ $+'Ţ~.Az+m* p=0KMd>t.p-耱(CfK>1<'iBU{?o˱<f¯1(w':-q,t!d$о(|g>1YmÓ $~9iZLv:ai"".U]'&[X_P%ŶXJ$HDã9G g.ڮWaeE,vR ٫=H 7PQіʼnYӒz; Mf :t@Bc1/Nl1SIJ|(z$9ba_:4L?W})PK:+ZwBCBV#V A zv$mJVEESsU?*!_6sF? ub.;Lv@VnKϓO[~k}a;>\i;p%OZHQ&lqb&bGhU|k uYEd3 o]т}xx}VɄD `mj^̹IW TGIgycrnc=dϽ3P<1`d6H(c?{QR$JYTe$Җ`ZҬ8݀hg(hW,HZ5~ lnM/(A<{QJ7a?ZF%kgI~\Zg]>"6 \z<' tC1$zOw=_?SmB1TsKLW(ēl3?H]OS&4=FBv5Hr d"?rVcDu=q:!jǤvXSoo\TBeһ_i|\DO:^ːp?Mb+rʼz0| ~}c;3`iE&`s֤E[D#Q\@pϫF& '(ҎΤ$ J9nb Bߺ&$`oQ̔4`r)G69Ud#b8>PHj^лLkC|u)]' $ֱ,eW$t@_R vQιG^W;y~!wR80Ǔ[z P|wD2ly_6˨8B˜!'?=/!}Q |?$'mU"0bsamXb|Y*H)oB/۪}O 2/LkdX}8kcl7 G|Fcc2od`2/@<,bCXgTL]" t6M'i>jB_&osu|lYjA|Qpϡ:cV?t\9ׄwo[LKEf&ObO6kר)W9q˺RU5c~2d=| HudG0RPl yY2|ҐVɇ/ bg(';QX}d#k*,75|Aor" cgwpld.ϏugYZ  q & fM1G# THOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-Uy1W{`|B{)dD{GvN\ꪎ`0v҂E?CiAZCLفX=x2^NnuG/{H'(,,g? sI#Q^k FOfcc2@Ai(j}vqԏᬻ_,t"6k AXvW3d0Xw=bZsp&= \I=_Jq7̒EצK-(J8 QB!՘-@xͨ Ǖofk*!JAch[`0?#Ґ2yq@HM ,<"8`)B.1+P^ٟ=ŊjШp@S1&Bе~=]cՁc20YQ-ay' gޅT":A|Kd ma,)Y~Q nSFrE>X Mˌ\>sKֺJ kFeGŰ3R̞֯Y6n'5zGZ3"]e~^ޖLkDXLٴ\__hz%ק vyk7X6G.h4Lv(,ƿ,:֏"rڱ@0M ͵;NOͦ|gULҩ2w&T }etn^J]QZeKՀ#"mj*ExuS=EC$cDW8걾0#c_a1v][x#~*VIWw"5 ^{O$Өp ʡ6EUA7/Hg0/ YJ JuvGnu8+|ᨚv]B^918{ϕALgn̠"<Ɂ)7{ޖ>jJ`Jr"K04/msoQ\1L&Ozt^-ȿMuI %LKz}v0uJ y3K &JA45oXwfs (֏x6Y~n0 \mQKD@U8;H"iu5zRͣ~Y˨`mc3O شevXP lFڢ$㪜uI9\ B=WtYרTFfYH_p4PTWQ,Dlu& .~vIe%rgO|qΣs`ɐ| 8 C)ȘӍ7 Gَ*yDA{T XTTLR,$\[g1uI]&ɦh"d<1s>Gwm?ak'Xj}g D4"e{ UM'ZW$3 j,V1cm$x4CjڔǬ[Z7tjS5'Del*E[3X vZ(P49T \Ԋ'G=-G#/#_pֺP gh(fԔCkeG,#fns~~ EaT^H {?/y&bo^Q*"B1 90G x׿0Gv^;P1h++Ny"vKL jΑb^+g[a)Cb*`gs窜AxPԲP 6lC?x>K.l.PΆvZL7RqG 90gYZnL1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIK1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id546 J1G' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\{)ZMYp\·er-8WfaZGGrzS0xԨjhhTĴ^j{uiQKSqV闬=| `->QՉWVxsB\<ɖc25q,(Y䷘Wf8Y"7OyMƻF ?. Ƥ 贿F\,z8Bf dm=\8[0G(0XzT O=Kn8J$чEO ϡقG]ZV8(XIs̉R&}݈Yve:_Ѿ!50CPܪ X<oôٮނ DQɗ%37Ǵ V,sj&EzO0,N+ /Z2ͳR6j:?^ @2Hrt0UQpunsGT{0= CgM#dU3۪vxD5CȂ]e/mgYZ N A NGR1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\8wo6Ne-U  oxx2m)l{yEUuG|G ~ĢeP%5-40'jؐERڙ4zs 4k9Gu;Zx$rg؃>. PL  Eķ?q;@?=P:W2g~Ͷ[uI(Jj o `5hb8°'joؔQ\-" yD@Nfiܔ;| tFn|/kVO=2ְn&kl&#}ZF 8jUt 9n)=B*e Ba(ЁF6b?vzf׻ Xg Ržb dGqT=.@3%p/?H7sbppj& M\kÅrOFU׾}-u;W? :vbD62[ftO~b-(@l\]7~mrEpJ(j;%7Nln 'v{8y%GVVogHA<'0 x( /c ]',LrPN/aY3,-#S);aiRlV܄J܌g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[6y}<{+oCK3nBn2f{f3\S6nx(L-xi$RTPͷ, !d3\1CJ ki15@%ݛIzFs>= > xw'd^b% [b@ZA=K+O}qnOr0?62>Q&cNɚ'5aM0~F{t*n8 Ard fnA6"}%h3ת9K|^8h%&i%SEJUAKps ;9COxvCGœ ❬Șu註6Js5@sIbpvlU5Guߏ mf!ݮBGGF#xLluԈvP+jq Gn?5}X_6YzpZHgYZC X ;Zu);Ѭo܅2f#LR5_/`,kȢuE^%zO o2+&.ګƒ`wخiʷ$g1Q+yʧv"[ÅrmZQ^5vg'P'hղ$JUW3ퟲ^Z>  `#0A^wӦ?ݯ4p`mh[e25"Z.OBk^ F;cN\:lAiI>J^NۛM7+LEjƒa eI,'!ƃ0g_GXy.վ77(=뫦 G_= s2M:r#7H~"|BO=uR; '==CgQ7RTUG@>s ƒVA00,!Xܐ?j1a\(sV洘?ď].]?&6MS[B[ Rp4Xj0ƶCZilaT%lb"mv.Bv7i)bAQW>t3aLfh\oˢ-XPc:\ SY]&L߼;+(7u/тpim'~G)s+Fxī./dhg\1槸!<ִ0ʽYQ1TZmVq|cI8~Zo݀S;"|S*S[; O#OR.T1j[%%tF=P{$='$ac$ܬ{ң8j;5-.LYN/bBܭ%:<% (CuKܪQw `.rKfrPdf/Pz-m][Dn,xYeH.uBP~[cE/_<vzߥîR:#xyZ^}D=Sg>,Sm+3;N!1Sn84 ˬ T=Os7Ez_ cumDA.[hW;j&#( X_N[zXoVυ "g d?~E yA9GIߵGZtzG57V }Nee8y?f[SU GPr*O=cC\*5PKU6IfnwfU1&HkE&Q^"6wxV2ylD;,t]j!z-I,)7d]c^y:,)S^Q]}%ط24-#'ͤd %̐mO2,t5\ x϶Dһ-&BQd0K8@;{;[FT+~ .q Y]-S]ݓn[0S)6;yіYc tla!\uraZR~9g7^QyI5=*q+)'7O] Ⱥ尟=Kk56HU!Ck3r S: Nur$ [\p,puFkϺgo@G|\&`S~4"?Ax7^XCk$6 'hLj'"}r >- ]@8,H0jFz/ [*L;i8&ecd0Xdf l 䪢\b,^𩣅@ Jvg(}*MeQ(]? {٢.U׊qH+yܬ6FEJxg _f X5g|,t-OOF?96oN3IS~VO4 5ȩ*Ӯcfes}_ҝԳUpsPY@w;aM\v'J;P@00`H) dS?Jl3!E֏ s9̲ۢ8K. q'{,K*7os2*= 6#Ր.v31R ]]".٨ Jmkv!՞@q'T=xTEpoK2qnSoO~o0ôNI49&[*B-Inb}==]M /#-j5V~FALr8ӦỤ 2CWnhyyL7yV T (ry} 0Րe& YƗSfE\Zv= mX> MqV/rfw[NAlzzZ&ü,7RÑY彋2=D=fbϘqlę+S w ^6 t2e̹le,K""e Xr:8_WPq(;vau JN/ *i=[YK$* oS0,]' OX{H!AE}`$Pwت~D$'˜$]TSz//8S͌rI/ ] y0S2]T#a ^C#`{Y <#` m(f%H X5ccob;D4v{GǷ6ҹ?}J\jï|Qr4Q $/rP(v 4Fd\h XV^@3 ֎aq qRAt>ppwۥ9mݏ A =l(*S-4ZFX~"D,=ݎA'":|Y{R"z6Y&R霞ne5 Вy>B &v7 z3FrxјɒSɽg EpZaxvꊎ9x :aq^;̬*VSjnoYL9; A}! -!zX8.^ʴo(kbWs +%'6g[|z<'K5Z] $ڑq`F‡OujP'o؁Yf+Q`D8H?2`Q멇*Sac$OUURGp{qޓHi.2T{!fa-^ޥ/xⳅ`*sET,.(#za$9M~eaG v:GKL3УKWOqawt=FKs5RQ,cbR*ZK||1Y%` {N+@{56M*aACtP>E#XdL ?KwM{qa4՟T>ھ{}RT~ "i QP]MdoEP6#r kML7K)ŒD(Qe":'.U4I~j_`k;}cS0vT/{-+Jz;c3MUo<50r;{^5 #Z=pUL5LDx[YJf~RҬKCXfNwCSuX~#1$D$ -P^byjӺ"eLJޤn%}磈/O`"/ lk2އKm[U;.f7E(֒ JF+>v.[ oC2d+c/hg9/ V3H>8Ь033JeU눐UD0K2 od>1<žF9{5T;;|^'Q#_-&hnΊ]\Z\Nez聤v Kzh\'ڇ2+-w(+XNh 8|-TH,fok }-ˀH@]-429 <Od.T.760 a˴49΍gYwHFNQ i݀8'@ekK)mIxM:X UV@%ۏa !AuHLv بnYH]ziUa~S6"z#WBأ)66da& 7z/x-5r5M֑6Z}BQdn]-^SMs"1f*H;a cHAGC]=V:x3="PR1 pbllݱ{RM%(3jˆɹŶpxT*sDyZ%enS,(}lDRٸX Lހ̗ DC :=#Bާ/hǗ-'4/ DQ. N`FL %vGf^(I02´|&\PQU>Gk fDnWH-sV[s@[G{vq):r)7is)Z'o³o\%70#rM9$ǏGAv ?Wz؍'+BmUF@B; `̶Lr-QʍVᢲ y=Qaz ~HȎ(jZ_F^* R^k+#M0fw$Ġ&O÷JNfQ!ƻXh sl~6@LQ贪~j5NegnI"*^{ 봗'@>8ޥM)fa.*~Mm-2eyMPP{i݁09mIܥ-XP?#iumD.W])ԐLSi@l`PO#HP8(0HWnyxvEE4,NV$7n- f:"WUb [] |HPFH͉^[eUIqHKEQQ[ѫ'$݈QЩȂѼTVW(5_ @ˌڇ4FmNIqy[0؄S&*z04N~0n^T;.KP u!nS$" [e Rû op)9`16 (O`ldžV4=,e5Zlwy|⹬X}_T>!DuipcrfdB7M%ޛT*4JvtJ2`qP2ihp@2fp b<m{)ĭ Ӿoj 'I:-E|sJtSNuMQ'HzQ;! b1&"Hџ1R֡ ~= #(chc*F=Z`{JV83@h]7p22 ܨ~n;-YvGi/(ɇ1gϧ^,qca%G!o^z9A_zTu?y6xPQ@HE \bDb6:'WF*81^fÕXJW8*P;.T}G8Dԫ52BZ_a[zn}xֽuB|(!ːe3O}ߜ+7 X=p LQ|RĴKu/A(m$ q5xeEdpgy0EvkZ_^]aJomӜB.yhua:Ҭ{:agEp)W1lM_Ka唥9b#גC;T_PB*l}%>ȟk9<"q\R<.{(R7D6-( fu&eBӪsF8X+9w:yfsa0v&d(!UZ}Ir{d^ɜ`;$ ?.|oL˜9z . ω.W-nMemY /_?Zw$Gۡ86b FD[@'}wlM!p(r vB{$Qhh;|&5ycRf:WsA=9?i*R5#kCϥ.'6*&#(X[VQbX=D_ڌkF[ǸA\,ډ !RDCiҗح@e%?؂UΤ6F)NU!G0ޫX?}=#tsUNJE }Ya}O+j5jMbI`՘K+;, *oάk0V/ HLSF=vjZRqK"",3WnT Ɣvx;nk킍'+aOes3ث֏BslNlxv#xD1/ xQ{]W٥wwhzja[q[~5*]1e9iהW$7'EP9\0hibi|t;Z 涔^:ݽz\6=<w0a`#3]mgE[vW($<2Hgl0Qwq\[nX ĵBJ(p?;v̑9T' T)h2 \y:|k+x&*0| bCOY":hEy5r<rmRxw>]7Μg\rD28B-X(Fꩡ\)ЊGbos|_4+TR\/2jZL3q2oڂ=cSgw=ÃM'8[QyL 4EG|O@2izԭEBECd~F "L 8]omvῌ;!`@z$_=0aHlbzHhLL1GFC'(ª*(Pf@YjҕU E<7 -Aa bۺ!(Rr3CF x#%CeuUOfW">cuؽl%(t/Rs nK 0+ ,cs6n X3vADm[UY8PwôӒ-ަ>7Ȣ 롶hw@/XUX±bf,&Tk ]27vf6bhtB8 }@tL6<+C=se,p c1V y-:ByU{msMĭSUgE# Aw?y~6>N5udRD>SHQUR,x(U!xd[R{uME֟Evd;1HK'=M @[T*R voCja<[3i#?iNqŇ䏈|¯[>QKoi6_;{= sl!2 92"Gg2thmς(i)I7 ?l ~~ CX[8(XZRqt"fؑ @6ņ"GVkT51jwne.&WS _/W) kcqw~ 67!CV=6PEOzOlbpUKɨ䃁xU9\7V1=cV. !Vҟ"Yߢg5]13rP\ı["MCGߣ\ .5~e*v{|1WX̮2m޴z@Gڶ> nqQ`n2fx`=^RvލoUc(MF8c .۷Okʬv:{ߘRD5l .;? B)U&]y^TC;@k%a&q-  *_\2|#c)n$o(p0oF3-XHkP çZh!zstxK9T~ $ Bh4JAqExo^w[}JҸ_݉;Q{1-l^$dAJ1U߁#śE~[FIiMk K{:,5`w믐uXQ>ˁ);Ni_E rUӲYO<ˇo!g+J-&yY>Pmv؜|Q:;BfhHts k_9Z/e,NïRS1|C $wKk(W.qE"E Qۏmx*k[2An5mMD oF?D1|z(yLAjH+ ƈ_I؀Kh&-{VV|`ybG4] 39oxd%.W脦Đ__lqϓbkP!-PWI2 |kP@uqEzojŢYJYs" ~7BcL nqEhs',Eރ_;7%IqZXhA4vlHvh$BE* t.ҨM=xձx 3-gvhRMsL:vjV_h6Wݽ* VB4C fPtB`9&Qf 9 1cYX/cM\mBE-v05aW *zw 0DSvo+FSۿ|M=fe_X#_#oCY&£o殅GiznhQ5prq"{T[k ָgѬ}{;Wtʧ0Sh[ yzSoߤF"g> O#+o.T&m%f`\D(s;_7gYCܮY `#|ZwVeD#R с7!LIMRme4)N&#($DBn9۪r{!2SPubvaayV&# \ZPjڌ<󉠟a)?WγU Ԉf 7AaW:L3Qϓ ]&1ww#NKyYsρ|q*˗cV xզpBߵkS'BmM ޙPGE"Өm,i!үK"g['ӈmWMqfË! (ryb]VB'N+GJw&Ec*KAmŻOvO+/lܮ^>ZvT&IfSנy3VK}gP,d&h0HX)E&RȟS4v[M>/8n8=퐏^@Rk9qI@``r4 0 \!菂\cmoFo.a&q2V6vu>gX:OLCdz??, <sQ?c&`V^BI-mΎMy?#u j" zn|mr'2mdJԯwi'ޛ ,#N%\YcղJwxBsC;"#y{cQ7,YB f@ IZ^ǷGFk( _N?IVGꜷѭ!/,ߩ8>?l?'Wm< 6U5.ӧ& ʺ!OeQyi53 {*C䦼v*kbe.x 4`öZz7L)!1Wx HR^˒>\ Ռj^zC} xTJ-LHH"pizȡȬфZ0BJ1Igu†@x$Y8vs 0AP,+?dQ;bL|<e @R Up͆M/yiT~.,jHL!ٗޣЭq E΁wgm}Z)DZUR]@% Ӡ-r6-3c}~ ,5|Nf=kHnff iꅗwt;Y!GXb]g)Fjze)#{H 5 3jQWgI a%H ?R,~mXڻJDXyЪ#K-Yc'pIE3р}TV P2Y@@LvH-:"NG}Xy`۪f<*I\ttKeQ)qzYe#~GhxJ?g}aABʃ 4lpBx] ~"''y)73<[=Mlr[wq' [\-i=eYa,;#6=n>ůd{?"gvp0b3S|=omҦQ&`;|Vpg5/Ԧ62c~qY&5\e I ы,0Tj ẋpsظػ KlG?F38RoI?B5/qr7T>[0"BHvDz ܑ#y*BD`o ԺU0=C_+\CI*B|98f-ɝ?Wy[uԲPQP㳝^/[N`܋ꥎSZudS oEf$EBG U8M51:t:)^tI5mO~_}9 *w={՘0 mOHtoGXF=+S P|;ٓ$uAM3pjc_00i7bb9~Ka9S3 '(VMY͜Mo:dvdl:/\`>x=\ &Ah6V(&U\dl)jX]18K\HLh:VsF.Zd#lVwVtx&Y!Ԉ_/|\5^CeJȟ뚶CgGh =Y$&νk@F?U, H;JF>7̮JF1vPTg^Z+jJqr.e`lW{ 9 tQ/9:PKY,b @ 1cM| }wKOy{D_ A)\̏eʨ?4`rhEɴy6>Q_Ե_ti`:4'䡩IyvK8jQ%pf(2NnTگX$ `FKMAzC~h<|3F-S#X i S}i 0wTlײT< ~eu(=a}FHQw6H8/7r,-(m |DijЙx:owX}*P*>&ϊ!~"]%߉{Ve7@aJ)|{0v/(%Ho{h8]W1TENU$Z& u\EiUp0?YTvz/<4_NFfBqLB|.nb]g3-Ċ+p~OkQ ( oH̛ƑO׏ a8-(bJwZ|8Fwdڍ|gOARC]vcB=3仸*F/d}K76brLT>{+yԁp4ƟT[Fmp/io!~ؔXa0Fq% eDĎջ{ 9fF/kAD#3:+yHX15`;۫*c~j^7:|Ow;Od.Ke/6d,8SVR^heajB??L9E4!La'H4A+3OX_+WLNzTGr(rCԚG>5[ؘü[XԮ5?1qVTy@H_xN^@<2;F4J1IGR`<9h"$@u:N UJà1x9uC+)\ sJOc8)Ѝ^Hޡ3ମ@7i^sPJup6{UCx$bjyT:9rʸtiVOE=]Yr*Ii9D@9vBI 3ۀ1hwz1]Ő$pTgi 28o.MDht5'|\/W?&D3r͇^_7/ w )/+=)76.!8jW>]5I`'B&IGþj}Fxh*쳋bmagCKuT [ι~ CHq8aJ" C¡ɟl==.pe}0diƊu-(XOte{%A"C9u2O%x@I\N8yQ)WZ>Ű5c׸|عZJ.=S&StnC'tj#4 ҂ȼE8`8 }sc\a3Xc&->' B I4}>P7o #I7Q(Y&au%42RxTz_^sDrmbl&.(1EٱM78*T]0xnU6r8b*CUvJ`_7TyF#㏛ P('!3Ij\&U)@?^A{ m_B!hvqHIwĦ]KwD#ltO.k$r9ȩL;ېWqb߬}Hm< g NjtULX `Y#_RabyÒԔH­`P4X8nBwa-.| $2!} A2$r>u44{J2yѴĪd)UfU-#D67 ޻ێ, IƜ`&3I%)(G޺+0I sPZ=6VA(90U=67О)y g댚7h/Z)> ut\ S\T]R %;_Nn~1+g~^:Φnc\\?u%4DHDUz: Rmx#= WŭVn >s< g&jKzBR<+uA4J5-xр Rat1i؜[@w'Pfὢ3BQobg'юfW*yshB$̊*2SDY}NH+C YS69r vֲ\[8V3 1 ǞR_QwtP7ܮ%cVB8,edI%+3Gb8obJw`+7׮9gW~gsNڠ N*#0Z) @=MGKB#Rڨ0)<ՂjIទsoMV粓muvQ:iL1NDF2zOx)@Vl`j+ 5:!i}-3 iX#LXTky#'VqM׵kkUr=> gE82zc6 ?G}A)K)s+%ܮMia 5\FlǩVBWqs%?΋+`PA *6McG1Yyg8mȳW8G#j-2ripQi0T眍Trp<,٥@F)8sC}s3 H&?n Dvn|_G\ٳ`yݙl,IXIaz*uXZ)W+O+( |Dgqacgه7Ȃb(ʰ E׭5$q+mmSKZ3wL8T J}ʘ9襌IUNg &`KJ"2ޢE/\,ƅ*rDkIaq| 겷d]9yWUɖ4 Ŵl|ب6e(rD:{*`|Zj$Hϥހ}Y3Lk"ohޙ^@ -éG  iq:)&z⥼==.f)/?&P(ך~s $16ZlX6/y -zU:Tq0, Bo?PLzk09 q!մȝٖc_N̅t_=:f"7m? 0eG#QHk%>0QV{ yI04<.$.ueqH*6L+kߋ}uՖak0QirU/# Qc0FNz[,cUfbx-|cl+נVVbIYF'"۽cE*QvS$P SpNn2DzM4EC4{2̮,>l%&a{;p!JywMBz o=X{vfuw YbN6L/LJQƎ%a:b,nf}p `j[=O Y u^qs5zY`TC6 sl1!R *}nk13q6-2AX-9"9d1+'" ?McNqUm74}-$-2$b\[h}-l-=-7~*V| O1F /@ TA$IHgc=Pץw~R ms gÚ(T~3 ap:~u" ,Q; GAUJF(IXFYrixІo21 }?(؎Q hU3uO-Q9ȡ'B◣Ȋh4x,OdQ YFaC.Ab6Esd,¢6CGpQP -5*Ce+~6B:7Vqۈ#ⴸM՘is͈ܞ'6xĬVtÂZw@qf{o"GMWzCJ [w]wmb? %DQeI bH5JZjE3Vj8>ѨGRU7Tq)Go+Sw*gR~%-/lV?`ȵGeB=M;C"?$`**6q}J0]]`@ ߫bT>nW ď{{(.!  ʉգ,ke: 0*$4ojŶZ⮣a1\Ax=}it$[`CԞmu긵WO{R.$#x(E~BfX;- -9 dK4 ~+]n kg *.q8ͅa)FV Ob66IZ},i*! ƸHjkW}<[nj_P[ƘL0Q $4D G&~뙗p )\z.6v].θfQԣ ##pN,aGҗ#EkO9tp 1<)oNCǺ5O IhTkHn:fNqJnފtN0/~MIlyq)=T%߱v<a.%OϜj0,޲[֝,$Gg;m0=PD- [ht`@v (`o$)BGG6/Uԛ\0򹝵Ƙ?Z5ĴNl}MVjX&l~ɲ߹Y3S ]-EcgN;х(Yg&}~MRU)ŒoYdsd,~3DEÿjv=Yo?Ħ;NT-R\+jL\1VrL'lfm[@ 6rV#%QRlFn+[)2\f/hiiO94uY 4%e%yh[_Tk5'֖7' Î/uEWZf?xx5Q.in2HƳ :Z I l2ʒ;dfSu):"v1 <"Q,?gAY` ی61IGOiNo*}]SE/7ӈ 41iH( CKs`њ7߭„L.mN]E*db97k7Q/1bDwTJ5pjŕr+i}OuG [DbJ2; !U9άzGx>dA=Oȫ`>7̸: GmkOvGCM"|j]HxKOSro;ceS1,pvjfi!pÖ2D5gfd PvT$!v ]|jD@ёn43/ף[{]^Kw@z`~3eo+E u@o7+'!V-X4إ(5(R9,mziźԵ*f`qIb{'vˠiܸ8?cpͣq I/+[oIV%if# "11E"4B G]jo[9;&m$(;]}M)/h]phcjtoobuh~LT1kǫM>tƆT_Nm#y[k.y` P/[T?DZt3&hKe Kq !ɚG Z>ƴV. i,V\}~5 vuX]˷ުojRE,kjSicL=_+!CE lgr=ፋ(98Ps1:KOBωAC>K'ߥ{0Iz^c۪wE"bGfIpX+eY1}!tK2؉ % TaW}c':ӄgI Jdx%|w]DD5yw:{#6Aí!'p@q[XJxk=hOUP">ռlÁ"c])<}5|IqAPµITC-wIs@xϠNYULAēQ) (jӓvKGJ9tfH* I^]J '&2$] rQ0U T5?r0ׇDw@cK `NjRLjrb|qf %w&Zl5em6i>i>ͰCJ]%>ZVDs@ܱ1yӕr&UC 2_/Pckk`[u|<cs08$^ U%f( γ,"Wq-MJS7c(e=[̙8Xi~aBRePwa,A8'sX;b SgYZ23b705c4e734936ba6c5ab0edfa94a8762b724d5f5c535eb8e289f9179f2cd93b57b66300861cb0f a3bcb999b7efcff01c5d291a88ce943b9de5e75d 725e6e9447fed785c1c7d5cf3badca9aa796c484