SQLite format 3@ I.K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   d1z <, ] HOL-Corec_Examples:threads=6elapsed=149.500cpu=480.577gc=67.3047zXZִF! ~ ~]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7`XinJ;T% : upXGxa7">"# [!cx*ϭ4+MXf}ML Hnr%Ib3lЀ4;8+ͻ4*A.t*ǚτk ($}>&1k!ݢ{a*"VJaQu}23y>#LJd20> 0@EiZKxP{'ND \d2z$_cB'~2X¾o}nUxq\;Xh;* b:Oִ wA7d#AYx>GZC'k+w>{ǂ~d(er O@e  %zk%/vߘzmR+hݎ!'t&*D+J !!kƺ.iK5,2ySuO{/p>3"ƈ=[<8ݯ|t>b}%QfDsގ~8Z#̭k2 e"qbxHV'V..&9g .YɗXpmJuc_\75E+w؁}m>h]B7 Sݙ+/NQz=$~EY,wd{B94wmE 3b&GO$p/x_x.qz才> u8I_1uvLf+ ZS8H[8^q[!x4R2=P{/&:H sK]/0xGYQ f+S4w?H([avƍd 51 ;YM#dT;:%B{^q8LVy;.ǨF3ZKVF-`FD`݁>UWajG¾d69,Tgi'+Ui&rP6 IJ.NZ֯TmoYC{@8L#CAӐLJ+g+XĢlf/nh/4Om;l_,-QmՍ-#;KJ.q?<I/Aͧw>:yI*{.3U75Dw6*T*M2ȷ<"C;Lx~ xwχ::໒yQcvz@=X#ݼP w>f :tRc5r1)rYZ̲6'@`4/p!=$jڻ.ؾA]xG H⨈Y}5@‹OpPՉOEig(C`K O|uTcJOEwxQwN7̭ ձgiƘ#Hz ?,6lLS) >8ӎ|a^m|u E&ڇ3aCמ0k9BbFW w>GLdw CPkQptOϭW#X+#nk?T:ŽV;{l#HX_Bȇ*0޴Y;̈SxJ dcPBMeŽ~vCP:A*]l@;ĎNUTeς#hDqr{p\:â67/I_dcM#O]д@rUZ0=/T~BrJQ%i -z5[m4l".h^ nZh7DOKh HU(Sm;3萐]^l_4 [cՄjO,x@0œMpX4*f9t&p=ÅHxGRKO:)P = g] /WSN  a>F LEG EA4kl~n3ipL p 4od aՈ#stE gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩK1(Z#8?>e@}3AK咈@\wY\$E(Qo g)=q| $ɽZ:' VA+q?=Viݱjg![-=c? -nR D923)B"[\AP/@z>o>ȟ손*1Y'ǎC m)uY\h t*%dzB<{߶+잀#-+z\*m]a(`)'iW7lk?'flu ê􉿾>G7[ϕ/Ӯ!ߗy*v1 l5lV1v֫G|ago(lҒ|/2YF ESdo|A" 6srcO3lF># fgYZ7zXZִF! _0]ŗXi%>OF{6A<e$$6*[Bɖ)'c8ÍYn&b 5:@ PN&c1:a9[$.Z74ME۔=q lP_S=ɭɭiJqyR(-}GUPTDm/D)HX2WByNs4A{-I-`܏\jč%84'"ṟǁBc9FFʶ3$HH&?%{fAQpGReФ31Jڙ'j!E$rN \cv~P^BiN 5Ix8OgЌ3 ξV:{a"F}\9ѭ.j&u-xSG 1 HOL-Corec_ExamplesoF~ytoJ1I) 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 /CPBL@H?E9D4>371603.2-/,.'+$&"!       6s3{.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_PolyPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/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/late5A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages,  :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%YsjiLNaCk &U|UB$MB/8X.Ʊlg "/.KԷ v͖4~wf]T)ޔga gGZt2 ?4 v`6Awn}9O84@tVtųFe9 vn3;ؠuF ~Rt( r2n .CZ np3]8Mi}z\ZҩU5f %JIuj(eʘ5FFCԫ/ T<3T!jCKy ..(}]8~O{\U􆭢} 'l(m@j, Vth5ش"a&:}<LRа8(o{r+,LWŗSϥ^_;bM1O@$ߚ+<ǒ`[N[\RG;qDTxqLDj. Y?b%d]:656벹y t;Dz+h}\/{l_qqSq1c,GFkCxiϏX8i fׇy~.WF8ݮqV-K}tKۧmz |DW!4 lWh\'BPckTI פ^(,gkBba58ete~GuƁQ0 Fzr6MV\U6[(#Z&֜-|tс 6Fp2 *H,u0W8Z.Z[Mm8ʄL¨W|[v!:)ʕ1mY99U, +')œ/ v,<ۋ¤78\l|/OqzŦmT8?]t_wH?*KM/hS(m }4lkH/m& H]_W-G*wL3oB6x%C_͚R?ذ9<{]oJs~9CN dlWkN]r^7 xh]NC!I;Azݵ;I%mg1IϽd19Y+aTz8NUNq&*Šij@DGDO8 99A/Q"B'3b@QK]pLz@%8eF كH6s^e }snrc+Ԝ,*'N{MU7j->]4ʰ):~apzQ|yO|oLt6@08j-n< m:plO?YRӇ= &÷=r;y;͛:zp}i0z)*2ZMg< 4 D^/7cE+DߖA}j0Yaa%],~ j ΢IS!.ʆhw$fV0a)8Ȃ42%ncLr_gd\V?:4\rx`ѷdR {P㵆)7&q AK(M>@에,5Bx U}gwɾ`Ĭh5GVa_4_bŹ8\teBޗHa~~:kmeq5-,rIfP=V6;"6X{B*wY@ZnrIdu%P%B2nP+h@b\Y"4C 3-A`^q9ZyszV" 5 jh,8EN>ziZj 2h@S`c&p)ؙ';k^6=/!-ӎvrw@3O"@c!C!D gX!f^_8.4hU?l;0c4FiL4"=T= p6lH 󜭹{ubWp@20uJmfK[6':a Ymt>6:H#Uc͎GKY)ҹa+QZ|10NE)[\q" lr@k>ʨ$y^m:#'m9uլ%ހb$G=G4 l̯Qp#p#K\Γ5 wr V Tp\>ETfA pa zS$xq>ie1+qp}m3A_Ҫ9y{?,BsQ<}+H^82d}Yʦ_ &g;lIXb>*KM<'<I%7:'̣mzӖ /)f3- O#xȇqu!!!+͗dD~~BNuIS@ m]-N4b/һ Y(ct'VRa6j~^<@K!DB6$CjXOje/Z9<6|۟9ϊK<>Uڴ$R-LtXX[WUnBkAb@F `t⻴ 3]/!Gΰ@[5 PQ]6R 6D3eׅ^|ut ̔\$$KSӻLJۺP2܋,+g)5tBQdM;AD5]8s7D}Ke3dmA': #LxC& Q hu%ՎƵi9|"3=qUcR焹1|"pB+K1oag/؀xob>ZSb'NHÇ SLj> تWM$D.ٷ:rKĦ1yҫEoQ'']y[MC7wb/5#ZNcI3Ic"&QSipqq@A( bF4eDĹ_'0MStLNnLt.gF{V%G~Hc\FL(^n_CT?<^ @(9i3ʡZfr 0J; LȂy+K2aէ5M7m?NӺ{'(j#!DZDw ܿN͆4^?BYb!wiAjßqԪmn3싣ٸ 9V4I@~ǧ7慬{WÔV10+;#$hY~~%2a/A@cL&^Tw})@TTAeY.R ZD (w\aE=~RTϱ8\XyMr1٥ah'Ol V~.qAl|}.=##ZBga -iDLs,j4. g0w?E+ám=pAٻJ[C=fc7{`H}g5\-A7RpƖE 8IA=x]b|Š䵑13 @$IsDd^`Ep;tG^o"]G{;~Ek 2ʩ{G⟠\)Z cR5[E8%1>r[zv>`KjeQ4CS7>Mu?gQScmrpS9/ܠ!,0?pvi/b "W,b~^62M y ԋSI_,J[~RP .kVM1 Q'hL0У uR=U߰YOSSv2݌Tվi+ 0H6 ^ ZP)P{c\z4X<ӊ;%Z/z7zk%DP} 3gp(U=VݳU!F: y$ç8evʶ)`Sܪ.D^Ք -6Cs@-YjY9˦gSO?]%&V$ZAW` = Cs7"}>O^ڼ_t%gKom'n YׅQـ-m+l?_͂h639$-cd:96ܶ) $կF-S{U#EGg.1]˕s1O6^~VW͌g -1Y]gk9,zuኀsO\ޥIm7QIѵR&<<݌pj[~?8[ 5_yFЍ,qKv#u@Y u ZҫVKrhM2Ga*zjrJlh& Џ+Rdu̳OCG$^SwؔI"\erbdM:\@;Yj&2]_)cƨץ x¼@k 3Gn@j6TsպPbpW&xth`$*zӵĴ jSWLH|i 7x܇Ȭƌ,NmQjUWT6/\0!L*"i3D[B5_+Iz'X*Y^t|7lCL=wp`нڇ+tĉ}eZU춙iGL] P78tt`T{8y;QIΔtHwz<+9 >Vt8ԗ$ʼnIQ uaB`ث5bn@'BX:4:9iJ˵ШWLRWaU/sY'*B(r3P8M~0xMz1';WBЇQdiػ| ?!]]> JŘ* ~\r/FJ)24F="E 〶ꗈ6C? >^6j6&(v$3S>9%ke5ͺQ\++EVnX\jy.DTfԳ{${2D1S",y ۱XAWfA\AsFa0·40v+``nqw۶ S& ? !K^QI`E۔ejщ _@GS4Vc|@E1h_z˽%78] .- TA5W. &!eeXJu"B@jvBƺLhJY}(HPϘh-~p̈́bHM`>h"> ڋd@B:t=D]־h"%&8wf %! s5UsZ=wƦDqYP]=MTP,__[*Qwb% VHSWB.D4_vs 9ekuv.<=6wTKI. >uЗ+8bSݯa%rT;hP&3גrXS{NJt-N BjEO}+ E֤"80gLɣ$I`(f'e:{bqKArK})R$i"o H=j|`bTZs`vؗ1 -:M?a8/hWv&$Rb]桘$1Ҫ[U,|NPΞʩVR St X7B6z7Yn#ӏ"p=T78+3Qx]5)9 O,:-Xj3H,M.$UrR.AB :I M3o n|Ż랬\,螚L ѓ6'W -Qwz1%/Ttbfz; AuUσf}d!:IN%w5 W3M".O YaLxCIG@-* 6"7=2,pu{+۟)PG>//u/O{L~Nܒu`vpE *&b~0!s+]fhkJ"k)oT*.QBFP ܸ/U G>2iX1NJSh }!]n։u]k9?pG4`$Ms$w<9%*^ [>*:lV{t~WVU `(xN&06\ }'w>?G@忀W(ejzj=e As}qh:U 'UP_ﮚ>욆3U ך4wX %H})w%$~阮6Όkl|*s ]:zCpN1_r=/=}V%gN$O\cҩ{G2Yt;+1DmB[ 䤌U2q!r`/a8JHA'%T,V/FUH溍뵥emgjKKQC,T3ukY`Ur:qd0x `HF _xR6sOXz~-< 6tYͯzq}ay+^u32VLZGU]lc-23ۦMƈ8?_7H.`|{rpHt uR[vd)=g(LP@DJ&Ќ $HnqYCk0֘!gq#po̅V._n]>tb?-2[%vVI.;¹M &]qtbvZJ@8'4ӯ"SۛJ? s\R^2z)*iH˧wc#Y\9A0~qo]fo}+Ko^qHL5Ϻ3ծ:NNL}dܾLdDÖU5X@9ds&[;ǬNz X*y?+Zp?OY#y"FO $XSb폄({VCx={?s%/Rsc̓ +ЂwXZ$vN̟#bnf\F PZAFu} u{ɗc7bVb>)s)*9[Ef&iInvS]!W?Phdo7D>U{ [IivPSEa rURN ?j?p\V 6UA:Tp/CIaXOfBlKEpR=OsVm#m(${dIFDx0YMJ~l/ wGQhq[ggYZ 5 1E) lHOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/latex7zXZִF! Z$0]N}T':=Q߲mZwb3KzdP?aEu7}P4n:L2! 0,wF"EMG9 DUdZtЃyףsE3&!v 6ݫ~Ƶ"`iS&VT u"krQFCad)(͏myZ_B`9*q >?,P6检]Ywl$6QbrdZg B끢&# pn_~SℯQHyjKC> ÷ы0{lǴ IRd kIP qoԹtJժ"яοH5ҁ ֣oPl1nCnI q,d>A8q?t.Te/{d̏꾨rcώjsYtAt>洡W99DMCUhURY:a_-ܧfe}d> e8~ ѕk">#[M$8Hq|E|/h#aPXz7q1k?H] 5[]>[&ZÖ85õgo}.mrf$@J`1ڲk 5sSJ'u 6xy! O[?;P #jl\h6L؈fyE1HP?ŜSbPĎ(L݂@hB: Ԯ+}2ڈxa+fY߇u9*RB9X'FÞfPO|9k)-Y{S;%`  贾 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;PG迚PsnG>@Ng^2]bajahЪvڑ,7G1^NS<7S=lHLtқ{5)ɵYʾ|BW͙& ۮGgg j8aܷ$&ڽQ̑Zf1_k-@[A܍VŃXAoh8̓HbBd~n#"'g'Usᰖy 6-E5db;?L]Bj+#H:d=xviurC>%.lBLxT $d33BXOE``Μ!o#7s _q}5oͳX zc}(*4yiǏ&I > oqzex?f(|-ƊU8,~ue(I@>uAz-0ShT(u#uFzUbjӮBT^cwx3ȩFʹjU(v@[E%h_Kgk#^,}f֖lyZʜ9" } 5 r0^Z,Ȳw|vBES n\7J7KS r5ͮ䝪*#vRN1[wr-z=h͵FTFX&sQ~6(2"l$y,P Cm `@\St1Os+nd1EvWQXGѮ;z&(buB3hh턙IڌL5I/Wmnq>,dE~)A1}br,̞0E^p޷ Oݱ#i"e>c $T ){Dfhd }[s,F΅$⤺k1/44l!FK뉍%0fYLhGaL`A ?!Co닧|- X* R>Flgf{J͵} sBB΀jKvV)|a-t﷝zWGTzxM0c!{gCM<칻6xv wՀ&d6g:7g-)VD*pV?.xHG\0*͎yvƛʻ'T.|۲6bxU'PzA3%Z+'t#=?|ƣ~u$x3hWH?ۛh )LV^jGSKj,B G AK[)|W>H(KFZY N}Ӥs{{g;6I.d=[D.a&cZ2'9Hx gobG;FT;0z׉jNk]>]IiE aODQ2t|ݬ  (ɼ ߉ ee5\1>c #^"f\JaR 6k ,m716]o0Qtưnčc{EROrǥX 0! -w#{W':{H"Jl:RZ^a 9bURA-M#+B\0φ,DAE4} )Zrjvi:L=j*=U#f0ʹ> ǐ) 湼DwRh h~"eES(!\DQvBg8pC–H4}VQWUgCpxrJiߎSbU\KO?\J=%fLcG.v|FcG4q<)CXP!Ϛ1%$aW_UUR[0ryʲtGJAMJ`cdh[.%vҏjJh08":|onjԗa홻vKe_f;Jda;o]IO]yfy\W)W )-* 깑 v)4U3;g4 GSzBkzl 觠e6p)+iɼ́. CQTJШ!Y7nV]kj"!@`TOlj;@uUQL Yk k.?"ѥΤu]p؍7i}#Ad AӈP:ڸcj;0 y}ų擔gee:z>B,sˉvbnߏ[41Yٿc쐈 @*DU nLfch~AL7dUN/:M C;MޠLkMuA Wb5ٛg dgrtrHZi$KVu,DIc r}_A63mutzf ?o4㒀XR)kJe(Kӆ\zI2Mk`DA>bG튜FZ(F˶~RT5Ҋggq.[yY. Q"~]>rzv4l[b&6kd!IcGtUI6^5RAo5$!W0Yb(4ӄh FIRt;!V$I ]te0V@kO9knÌW@c48 Θޮ06PQdi=MbWd0L_6sb²oua؟6E9 '̶|tKK.,KYo&WP/ͅ D8ԒvKo.,E_yG{ZizКq+&dVWT9YV>ZZ@jی/yVKZ iXhī2Gu^@.T' ,7)FnH[[SfT SjJ[T.g&4 SSxsx!JʤHLT mC|K 7$q'geqSc<^qHzʉ "ߢ8r{wy)dV"kf3jq%ⷆY} w;@MtUTD@@I0tz4Odbx OD+e+qvͲ*w\П< g&W[i~,|H5ޠ,ѦHJ]摤(՝SlE]4be%1] O{ jyUGQ,!qֿ%A\4!+M؝/!Wt8 (?&%vǭxw9d;%ZebGbG{" Hx{ &Y1m'#27:!~c< ʮWh49r}G{eSˆ 6`II M/3xV;-S&c!X]ԍ(ӅwPpu^4(%[3BU;(E`VU:n<5Ǫs&:` ^dNY dBC.@źodZ {/vS`FqÅOJ⦎El׸*Th\84+}^|2T֔*/1 &ϞAp5/n_ٍk ꪁm);i'0  zaw8QE1FGc> }^مc/J\?M>gc3tA";RTGDQ;*)@@*YiԤ [e.67cj>Hck>6[rUO 6{3#$BXkߞ8fm-Fh'f|F {#}j vFu͗ٱ< ~GzhntEy%P's^c[c+}*1.K'磜 E;+D–}cWDȀFGlw Ȥ)9 BI1j85-# I;dA?D+?ZEl/OJیgSN?ÉSVn,Y :t981s3=1IPoTl;,Ӡ }r_ױ`FSAscweqZ,X"}L9bD"i?8Rb0(GxTΪAFhƶgS_+}i|2%@#uXK$~V͹T&;={T[x-t^&˿6arlk dc>mc2Kb3|5vv n {c@nz3J`Cҹw|>KwXpɭiWPJ1)[p@}0-z ~9 (2WX1, M 3 4=%0J>{%SImdz!'EYw>~Nb>Bg͚S_OARW?#׃ $ Do"}wwJNF`O#ZO<$T;_??oƐHzi{a]}:4)`>js]CETfRˑ]K-74l1) V3^Xv]OciXÚO%rMܙd^9݄ J+BsKL9\,G#5cߺq6@ՉB%]x*4/X91h^֪v= ֵZ! [9=H(泾uI"Z 1s2K1uGVC^fX]7Nk$IJtO38XayȞdl IAfTS$R13nup&I؉6ߜt$> BrMZ^,$ɪ|7Rg|2͈IRg)KoY |\C`c1+Rf=鴐`ew!&bNK4  kcgI~K}gw<,sln伏!Iݽ> g/J_!lcꍊ)N}.N܃ԬlW-N!r6musY(ے'c _vIRTW"[ s.eAGu9,Ug o 9hbmxWdzB)={$m@bn-T_u=%!WbE Ľb*c]cլX9m4 |7ujg?5fztm#_<[ODPN& 1>՞Wr0sPb[Oo9sr=.RT8!f2bze_b:~0RB$>Ɗw|h-[ÀK9qtZp7ޛ=9} d qmt?6cTUIٹoQPoa育")fiM4uݬ>`#ކ,i8u3BL{lݪ.:-~2طeY0LdtZ8Y^v|}օ89[:B/65A{ gƹs0#cFGp}YsU2; Vh`N!s>6,,Gf[8mЀpgeM`sm3(" ֢u~J.f] -G?RLd!l鴫;v)]>?_J֢I^[ * [j{̩ύiQ6:E=` =w3׬RA5|)D$ O ;BI4{OJ jϽ Ẃ 4/jS Q*dF|:;*; S_=g7:V@2$^ލ_pCf:U>amJRE`Olm<dwYh1` ؏(!,{=٫c-O΢v{vndsDnjXq]-vXܿnBjbZf݊q"IJ~pA hNv 'U]Rw/~'C NXڢm_x+%LnFY~G %Iy+s Q%cjJӯosvs雡ԅA "PyW ٝEj!]p^j@Ѓ(AxpuD?ׁ,cCo!,?C\9t5拭(YòG,G[VhyJSC2E()gkVL'a/4ލVvy%ևi)xP+l?\Χ⁕45kb3Phr4[A_+HB#&D+")ft'qY;eg2S~3rH qgYZYnԙRGYkWjD&i^nGD Rֶ Pq@jނD Cq3K^>+L^ݺE =\ >'/N͇Zg 8ĝ'Q{$?n Ooxi3ͮ0$ c _MfJc qrWG0ح՜|}8<طڍl^KyL{B5)cXamkZz^Lg[jadJYP-~1<3b|3ۘ)rzV_Mm3 "p`jL9j)?5(8){MVpN+ǡ0x'Pe^X0 n\&n$Vڲry'Ue0@n1FػEi3Vg& T\rkmFݾ'eVD8: !b.O16oADBBLL/#bض<6V'9WS1KQvdJÒ1[yw l* P`'P R lS\yX),| ÑWų쳌vE,"Bǘ0|rj'q{Eї@U-u s ӱ݆nT$C{ u1 xF 2&Lxw1ij&lw1;7QtzxtcȇwB<:##='Wq-.C]ܙTu,P']O2|C-h٩#1& rნ Hs k,SNFVʞ.cUj?/嚻$U$y0崩 E:Ƅѿ󳩒Ť6`R:\B vIjM.DNYv3+#/`e&!_bj+Lo4 G^`(l(Iav =HOwvW\2utt#QJ§偣y ܅= C>&=@v"T;:q/Jȋo,^u)[䬛|L~Y ௤5ZR=mcI֯f-,!5)kzU h,#Z^J\0Q燐O8m^@HZ/Bj:šOZ8ղSCH}}6c`i{jVAk pb"`}jc $\2ɭz6^c_`Ojn0LϫG]& ~ jz~Q'&hY<۰"PnQH}2$NgjGO -ib F0ryҥH\ NzIC1ȖVz]񀗸lY%e^,Vn/-Gb69r;5k榲X(cqfi÷ΛK&Td|BijG'ݐ9"+ S p[1–QŅ^$ohMq6@.N&I,6Kf ( aJP-50ܸ &Lp5P)/[3[9wLH@ 7Μ`hHFQ6{t-؜<86Gk+}k=%Uv Cxqu3\?toyoW͘o GVOeޭZZ,tzSRG]7/u9@in-ֵư*b}>m>dC %e5=Qv`C7MˈJ& TZg V]<#QӁr2p&(Vx[J ^XT~3氆硿QԊB>^Œj"o(^{MKsS`0ɛ2刿79 Ni 4yJbSo~&Z*L܋ :FԬ,pFLx>TΖٯ Lj!הB"92-Y#XTT}tt|=Dm7PjDI rE` |=>,zWx+W~EJo@Z͕Cόg:~ S={~$ -n h{ś#&W|E!Ύ-3F<Jy1x*Ak;>fLyB5E V 9nC*> (Oi%'֞| $#ŰŒS-dv.FݠsߟrX++$FTJD 3 B)Kϕ&#Qc o?oiN$|*O0XFQmC܌Ytuf@a \rOFFPNr`Su*{ ^ y϶A,*{u ꃿ>V}!0X5߳j `\Ϫ9 bڸ7A%"Kgbjۢʦ{ *mWA{מ,.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! w6]N}T':=Q߲mZwb3Kzd#N}*m @L0i/Dc}fN I|1T 9P^Җۅ#vE)L %*-Hև;֧}OčS:Y nR@L7DYbW=p} i_R$T(*bp3%M=P:P`#9-jjWD>3N-#X<}_,FJNl58zC\vd}?q :/Kj {=u@)!J]TNwhԎ.Ȩ!^h#4ĪW C Ǵg !vgF݄tٻ. _ߙ% fny0[N a5=V#/hH::t "_/B^GEا$TUHOYS=ks 3o7ㅰ L/41VzO/hضdZE$#򯤄!TJݐX_䷶ۮ i.C=nG$ZL%JzYH1#EV[?!wiXY[Vz[ 8O(2,m?QX;%\cF_"<}Mɹ>PT 皶f2U@S 0bi?3DoDž Mj QOMF4DּThpJ$YeN.JT^jqɎ=akdYe5+W[Qc\\x"0{ sRY$ub2qFrm%lRMƦ[hO8?̷VW?7ήL5 Kj?xQz㋁GN;kifxmh3QIï?Xj4Izj_نu"-~5yA:&GV2\2WYPKLN/B^Xf܌sHJ:\ʋ-/*vii\A0>YjWN97v 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~gYZ,>^lS.Ζ 94Yh$^aQM7JZYU UC{F饛qi_ȨxnG,C>!ghx4=SMLj Rq8`#.ꠊ=azY|@2iΦbf' ΡÃɫ\k41X޳0^8fݠb 7G&;{`M])<%Xn5|pJ8uT$pTBY3ЭГJ\Mcr+ynO wG+#mŴ8)و EI0V]Iϱ3*YzhwL=˲Lqzk.|70tAA^x82T_Jx-6EϦ L@ f]G"Q!~:I9]_Z%MR8R-z/佼ZmL+|݊vsj)"dMZba:O`T<U+ʑo4 z=J,/A4cن0& ْ.ƥ'h_S]gԻt̮(,7gIIμ^$E.cwG|ڶԡ\V*2ȧjהX4zP6rpGPg@A)C!pKAU|ϧi6˭gJ)wx|iҍt3V~}fYK M SxY>;a L/DE^4t̘04xꗇj=ZMWxSģ2}9˕N|xqu'KOIih=9IǛ?eW %kʅB}&Ι72b[ʟMP7/Sf=[G>eP}a KFVJn=8)qm"Nnjh ^- N7?6KD @QVYSzXun2*KWBҚ&z]5_TR275\uM ḙ;LbUoC^1NvPiƲL/#(JwAPf:[?+4<|56?ꕻSX:%b1ylaLl2zԈBycpq$JjV7؄A/pAld|‚j]X7? `*k% 9E XF5ƹ1RʆMv&-uEc ZOo#[5 GC5ۢmjn.(*+ګ0R/"0[ʹ7s@lxD[e7(1猴 O>.,h(M!fclRdܚVô8c2VCbH|䩯&CpGOV?`Ԕ3È k*ő?4 9T'}ۖUE]lG $d̳H!ipCW , XbnR A +[c#Xf q5=QY",C Ɗ2rY !Q[wىU}n&6.ڿ !凉2* N#7y4ޘx10]5CW<'sj9"AD8X$őbyE6!"RȯRqWy}ۤєcպ0Jw&Qj<wWώZ{?1T?aA2@,%L<`5jK>EG[9lC{ŚDOb!N We-.tJ8ݝ>u:cV֏DrO a~(矲",) R:j?U9VX'qfF `Մ.%ʏnK&&c|Nɰ<.ȥFvѡ<&0tY{SG]bO8Y N_SSxRB56V9tCkcpZ;_ǖ;K^pGdBɘvNLɹm0{EuwW&f.Gic0@[dmܩp4x@ӱELF3)i1Ofj9$EL ^HfR6to fBRUx!Ojzjᬶ+NuϒR%99gjtW6)nmv\(tT{eiq8㑝ߋ'n2h~e1*ط8pvZΫcSGˆb6(.;,CJY|*r'Vos7,G@+pG`/p%"DZCµ SlLAxȯW:#QaJiSP|cSRSB!Ղ-g*mC2Xňfv<4ZIKLEhAηT7j(b0oe^foj6y & LStJ(?qx;1Uq")WHX_rDgd;U+?[kj>|nA,E~32ز9+CAmBȬ9w&ÒhńO.|a|'Wɀ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Ў MS43x"{s,tf!e&a`ohLRv2sܱ! Z$ц]*%JcO @s$\JB2X+9ÿ&(諩x <aa,9] !|q 8M ќwu$y> `=:y>2)8P,cpeZ9Sl/,*8CcN>׷' j,ik1)|x&\G\ K'B9c4;f\+.Gs̥F.bll{rǛtʅ6K렝F Tߔ.ؾX4m2:YVr!O@zX"x/.rQWt+Eeq͋9AY hZ&;KdiӕSGvd(z:V[x;6)C&˖dFE]NV%l 5w%7̚%4sf&ĚϮbEûr*Fs4{134tK0,tJ;hiN5vgL̒O#sM!mN/d\&V|E(.roE]L %~dS88v;z0H|W[R.m0D$&#` 9/bo1YM.pwAѾV7xAgl>ķ(d QJwbˏ=C<=݂uK }=)d*" F)(-"ǘ⤄ 70' b5h+/fݺ(|$&?A\GP5rIz {Ũ4* F +>3YJQ2URusG ~~Xk79cs-L~U6 6rI1A IV5Nw|!=λ<0ܓe5 doxavesG "4A;uxXTdYݸ'^Z{z ^ PUFVZT7b [,_ |a{kW^ ؚM=yr]I0XB\.DPSs1!OTp-pH(p;ETC.~ox F77^[15AxcZ))d{Ec#H/M){ f݉Ќc/BRN^KSӶ>UivE'͙[ܟS̯d\v#5-M8!`އc e"ʖ0+adUŘ wUkEdI\ULs}zowAʄga_ge*qmu7li\YMK2N n/_59HyVsf}_I.=VignNSN˙.FPEA/y̏t/=~2\kbc|%?=rDV;Wd{s}%4pGvƣ:\9w֏TS05Zo8թhҸD* "q3m;^k?8`BڑC80gNJ- .;qD2D=fva׺У >Ae\Sji,Н{PGp*V3GL)J*cyE֥^럶V.Rl=Qb,zI\eGBnZb Ks_$F 펪BD[GB.ĻB0OzETײ,1'(3;}w W5]0{]O!AK]?/'7;67y??S7v?d.X+"S{ͮ|H Sזcc- vW&~ֶzGån}eVm ;2-1q;\\Jf''YyvcBŢ%6CEO`zdc2@bj8˦GQ* R7oԣ';cX]&ef/ټ^f:W Frf3,s񣰭PW. Fx́u Lv5oxIgVgپ%#adSL1a k m % kh1A!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# DHOL-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(>$ADLt#LP~A?J*f¹rwY8yp@fM'Y&I)/P:+6MtKn. Il'c޼+cܷ&[!#]{@"7pӎLēv3tӹy H-_~*Oc͐fo7M>#ţp~Ff^_%Qdy;bU!{luD3oαmsM$br5z*//JʌAAY[.Th_0ǪSUMu.#w.VH!OL| (a%De}=V/g8A-Po/ 'A'wrY +6=@ l6!쬖[4K?b /~g^?68dm2ÓDDT|Iacx-1q ѩ4mA;9c1LزEtWYA;)н5F&v_Hz%٭W^ylߣ? ˵Lj= 7rrj.GlyӇ P4~8uuɠukA 1';ͣB|*8㌱2Wݖag6oU}%0Gn3J@RF&Z[],XC}0^__HxYodlXIkm*Nk~䥲E!?M-̴Ok1w13 O[U%"yg˵\)'5I {oCdh˓J&-*E3k6-=s,BGv`@>41qW.k-fF@czSx y2P^Wv1FN˰A ZOgYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id5381O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\7Z!.!ͫkL1!|m3^ >¼Zk3>/躴k$ $7x䢕 }$gHKz>}*}!#wqTQ}>Fe 5cV.]//̍iR]..T&:3 ыڈp v%(;PՒ.~gKQP_V勻D2@+4i Iy:>_.k^#vϩ2o-=ֈ;kb2 5u3Б2ē7`Ky/\tَujgDl3 ^-qEynb 622 п:5r}*KkD<"yh+c趧&,T8tǹ~z'(9;ŻeU;#qgU< 4ϩbx%5J'ΐ̧J PɿKSv5cP3b?5(C|  *HXFcR,yn7RWU_Xߴwrl'[R0p^wxTJR"wL:֨4q63po:{zln ~(] 4{\ j-Y+ߥg Z 0F/%`ˎ)x&{KcaBrTyIN LY9nY)䒈*1ֻZҽy ېWWd=ɸE1q>!23L?wJM/9fuWo[!5́]%e<RPpcEkP- I ut x)Pg悀fXz͈^X:(N}H P DW XmOCTz9 dX45zb!wZ*-bYJAgm-EzDA@o80!k+72XU4cz (>sV:5 R,{/j_L\BևI_3܊qV%br(fꄷՆhV3с'fI ?l&,vhӥ%%8:Q)Fc ܃ &-OZ@áىVg8ѳr fcWyZ^Xx>^MTW|DcwcZ<#YT//dK;{NԿ>.! nK,-ǡg08Ļ1a3G|,~:ѐ 㫛lH]=/TJ݉M ՃyM>0N"bRI*Ny-}+?d@B}퐨w8meKvXEg'{(TI0Wiم-uVRi>FT\m9lS6ML[J!H?wkե6 =Nx2uJ@ldZl}4dy&h7`j~^nہVrUu -H0"k.ŹI3F"]`[W;lrrªT=\GWA?L_&% bzE\Ng򶩰zIv੭<; )U4\4|zE.r_pB s@m0-#p9MX>ovX_3i}cL#M$QFp֭3YK Eo/4Yz}Yl[rehw=fD66H0e7{/>9TA`%A٢+S,Ŋ:#"H&8?B Mq0G3[/N 2/z*LW|J7[JJPEAºMF+aPOJJo.$ aL8+ jU[*wq:pjgX\1rgⓣ='*,fEm*OQB{j"V>4ŬmAwގ<]U&n_ID',-wu*] k@ DΒ?|~N'rJ Gpj0&BXd0dWÑE^"[8AA,uk>bJl ws3ܓ 3)WUVR&USH%k'9$D, "pA`$]E@~:|~+"hM: G~YsG=6,6WR5~Y#WlQmqfG&]Pg;LlP1"A&rRcN%B ƌ <GE v͘z5&?;lE -jTS->o?aObE &'7y%֫D@gYZ B1I# n)7zt3!Fnd,5 TCcg;ݤJ<fj-{p 5hW`[|Z@&1#QS lO]l;69k-)RCg>[ AH& 9E@!b&pA9m3[`!<ۅgW}mU^uAqV(W=*:1*[p\ Va"w0ف|gX62G am=nWGOvEកm.o$BҸom_@( j0l jl}P6 C6TJ(P2̜)˗nqz0QӰaS_V{f'PӜtA+9MDn0#KsKߛ}Nqn@,@=nv _"S fL9bڊKH]Zpa/ yJau,]Y'~^381i@v 3Zf! Tf?ӁLi]r_(]N\$o5x7#(Yt1jc4b0*`;ܷH \6ޖj(3hWYf;7B"e Tyj SMK%bl\ W+EA'X̧* jfק"@ n5gq36/εʕu45W9]XpK[ aԳ̒(9~,V%s :p+? ޫ5BRc좀tqN.0gWuZ!ncu]ڎzEӻA.YTmѠE]j-Fm1`3`$ae!RG~m,짏/KA/\[1/%#p1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJ1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id514}1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! |]D?7 {?:fH\b&9  ѓ:z}$k,zRA6~m1&<ǵe7Q >:[\@?z x:u^Q\_($f!!&a6_ vj+)fB<_D|)JDya'Fb ijdSSDQEBF-ܣ ȕBZߨ3QGzcW$ӍtXSNj"YwJj)8Mm]^IIu0Ώim.=/mTz|F8и~D8Yi9׏?#YqΤݧWTd֒P56],t#riH{GxF3 ii:zKDb&<#ch,Lx3GwGz=&?6“8P#(9taB~7f!0E݁.^i rW_[iYh)- W TAtcUD] c z"CCf8+tCv=lUIsxCUrX["n(MMn,.LXĤbQ sx,8!B8UÄBpbx՘rOh䓳\ߪ>Jbp}.>YO$п\M >rpwS WhCe`[w~#r )XI\4v';k'QOi Osa@Y^k<( Mn4Wp)Tz>=~qBKV=Y϶9E:hyuIS(58O“{iGB9`& "Jqa#NCIU_bQRt5PqpHN w)= WP(Vٿ~4;1RyT'ru๎pYLvL-O4HԵpgq X#u`HꚾEeYaas, /eY +_J0<)nJap$#k/hhux!Aֻyrp@jte1D}epb1j]i`6M o=;IOjcia=60שX(Pxge#|IRRCzN/!p.푷-gIM3w1!!˵gYZ9mED645u|zZ|T 8…3fsP.)ކqbLkO߬^aIJc| b BI]w[KD캝y9rl,:8 onfsTHDc 8z-2*mvpG AiJ3CiW3O`9¡B5 v,f˥7}|kGխ?)y#s_kMDI,簍C[BŻ*/%Vߞ HEHj27K:6O-Qb( 9m%X5 '繢瑊׎xiD,Nu@jvoH=& ,øs! .ط"l:+UQGP lY6m 6 uhٟ'N*zdW6k`4;Qzmz(;ev.4Az#8HC%z1̢xxk]@oPaF*:N۽穜mc/XeB-xP; lm? ތ'__|4r~^96DnO:Z}wuwɵht ,+a#(oNm a}UDЮce*<$$ՙB."~/k{p.{ؼ|(3\=`<8\b:BQ4J7gQM=Vp;̠v w_8t%D2"yIV} O*Źl62W_.}#d#bxc"bnƕ@2F` PcwJB56OU7XZqkHenv.+P]FgeEx+wV:gCh\BmPn2"Dw:, /#P8;Pe4w2X/9臗S0{bT'!3R@t[xx`vNF4:zg}<>aj]^pg̽бN ?!ZPCİo36C(lvg-?}M[&S7T׼85\p\79gNϔOcV ]ns^҅YE^>l z |H4}~vyZ!2n | h4j(Ё3P6G[M >H8&dS3\'7F;&)&Zd6Ȥ>X>ACBBc/ b}z. Do_1*h# /5Vو򂨤+եyVo~FXyݩ42}?,c nwUFu ]O_L'`5d :f Hu('Ⱥ:2WTpQ5-d+iF |I GnGd+I RcwPi f#gE׷Y >5Q`z0հ-Yiʌب친7( o6@1ro\?Ch8ٞJF/LPϔtԘn޴fR"7Y#n:pn"#G{AHصFmGkk7iP +}6Zm(Z]8T\AZFTHS'OLMLr30GMyTȥgӊڪ@;M cn٦idy (IgÑp>6͆ViMI~x×Ն@-JMu/a >͚mڗ@ȩրM~BlgRnpTK%U*}J4ǧrj3U ˌoӄ搑':Hzo^MC3)Aws bbҽ s> y|ۯǐLDs7B,DzƎ {~QUrӍ9DmCB] kX wֽV7t{@{fD,uN MM8۵%x%vo%+}V*ThP*#<^P`:Gëö݀jPLR% } a!d;Jl|ژNU$)<^խb#'j R`%,uMCH h"XIU`RTw^eXMB>oj158V],^kj@lS2"fbH]2Y*u3:,&SzAN6;;Ғfyb;LBK%V!j]W-݅qě~ nQ.[Ezer!pmܲB[MѨ^זj 6e#MRT Mk6ȒEju*fU@=WCy%V-Tz(!>3C8K=?3Qp(P&j"i޻TѦ(YW6D!yK a!5P޾+vO[/I (ԀrO,iנ$s 4K9h0RV:}b,(U%0\'\y-(2xFIɖR|B isCZGLV,u>U.I9'!-GzJCn)ɄL6]j.p/HZ;ξ|0nTh\E3՛5R+n>T3L;V؃ו!@䊽99]'2o"h8rG`Qh[!O_߰4\!A> Qg՚O#fgr'N -YvcCuțޓZZ(5HNhœdZX| <ᳰUS9Jz y1meZU\1x@[QY9 $LXAkRs uq4(LsG]{1Ft,4;4M>H{}A&OEs/)W#ih6-He(\L(= XYH#o}fոx:/ͻbIv暎2dzR{}9U`;]=$8RsbDf  @=gYZc# 1O# DHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`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]uP8Q*h+:4Krq7;D\:D;V݃kJZxBqQWW d-+tf'o\Dq4hCxdFscI6z{C'Væ51;-4xTU):aHdiV|a܇oj/2;(=#  8WħD՟6TkH޵$K]z@EUgSSZ?[Vǽ{b4'SrqhO7yeߎ\7X_'dTtˀcAs ziHկt_ »n %WͶXm%p"1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM!1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id522 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\7TBFly"`ƌLOu"; drD&Z :ĞginTR(ޣNhO%FDTPIhvߋCˁ4>Z5LIMx3%E[ؒۦ}g_᷒l9)k,Ǜy} P[X8myCp (y\ u P/}냏YNen<0.|dW!xN8\USzumcRGc jkK)C3xg=(a/2,k;UX(dXs%ݳl9ͳGMiNMW͗ǥV܎h[OY2yOTCNM4{9SɜN[̳/% SƊW`8Xr "XHq.0m&Bla:Zo-m\ɨbH!ҠCqщRBEYzkҩ|Zh3gYZ&ZҤloeb6-qukֹY1k|xISr<Hv"CO7*H{~7oS 7aa >Z,k5* pMoZxuVReZ$]`\] ڝN }) y=}I/@t送r =o[W7$f F ЯvE[DkGP$`̀)/0^*Iw"]20aenĿ BskR-Ch˲XEZan,5\kH?E C\.$//bjD 1":O]]v%/"r& ey =] <R2cd&RIMZ+N *D"V=pU3jJK-rMq*i]8HNmu]o`qRlEAkXIL倢$js&YSi}sgpĥe.H#@,r郭 G{/i8¬Q Yxԛs6e ?a7S&KoV5baq[&䳩Ua]ħTưym63|=&S=rc6kwΘC[ٻNHO F0> 0:O9쮼k.(x.}CαEH<|To~*3`[8>g۹IHma8%K- j;nn*#*DFUfliW៼Sķi^}E5Y -걡cǸ _ıg<-_/K`؇<C25O#|<@օPPη,| ֏C5ǁ%Rw봕Vg Wi͒s|Zx'f͎Fg:Ejea\\U^7z Lmƽ- m*sUjY4h!eWeT/4t`zjA6>-1G.y;-e_.]rPpTy JcwΆb'LIE^ zemq& /bEEЦwl3X2o$|a-0 Gu؎/2Qtzzꞻpkؚ3PBmCvTGrkekZP/b b}{ϥ\/ޣT3V*_4%S:b OA=Yp` JT0YC4< H|R'^Z1G˜E;4utdzI6sldSHCDҟڤSk ]d;*3ߛ_q"Gi69 ap]ce֛=5@]j#KEdʄIe#VJ_/#oȿ3KeH % Nߞ;y쾝̋e9G%A8 B=mRХP"%~4~[yJ$} x:9t{~ jMٖcߣ$Y+ !xTTI=-8W0=hyVZ#ZsTd] ]f~u^#AZ4R Ƹ"9G brYQSi/X.-s7zD<ߚz; .-bM~G$&n*vj~ C!t*->Bk{Tʏ &- $A_=K8Ɇ9L=[rͲ |GdPw㹤 nTܚfiΈw`iGGWjѝ䴷Bj}|Ju]S'̳s/߼Fuqaĝ+^!X<6* s,uk"ؙ@lXz@EP,ٖpq&aQeU%sG{^qm-.GC6a o T]HNqfsX#D FhOL0`quv@ms+~#/h"F?/Vg48jhpA_N08jI~ 0<3R=9SJvA>̛bP#hR#9;"ײ1 ޕ9ï'뱖{q^W="5]/y_4i˜~쿆Չ9ߩM(4dz60XϕEMxwsVu|nzyA'^< r77C%e<b'frmcMףI$=\ܢõ.(9jY5%CRNR/vz(҉72p|_a>&/X7coLgj{xͶdU]^]|m+3F0.}.07CV5`bM ,+ [^3 H$B_zr<CY=f]V3긼V gX:DVu 7|VG,ɫ֖oSSnذn>VzpZ!K_Ӕ 2ݙóg+zl4t+]"m.}VͨvcƸ|KIcxM+oHfyqqӵv'%>R7$::ikwE9H6cUӏj}pZ7 W0~X,NjmFAO0N~q#inp 6OohxR>>tr2pJ:N4ۃϨ f{@WR@ 9$60% |3+7_=2o@r:_gџ%D|1t;v3LC %\DI41煰NDK*t wo~e:WU ̪ P­<9!sB%ĵ)+25'c^{bhsڜ*wpe6`#$}`' o7iĶqD]V+/GI`'kmܨ`s8I d,7:}~tyF^2S%(!#s3MP”'AIJT1*DEY $g471x&A:+O|͞8Ẇ)$ӮSem6׼,eh--tۅx6&P+a r~ϵ>y&*8A㞾DT%N ̵ {^uA)$3[V)p k~fߐeCdh?w:"'ؓ *v0bKg=`Cu`o+mH"?g[úi 1e<>Qd\]`=0Lgec+ȟ&A15#{+嘽F-OYg%g[w u޸[S*HӬij\n!6 nWWu2rvoرu+XKt#O#ATMu/459|G~Ǽ6}]|/~crUUS/yr" ĜV:I "`/]_ ={uؓva}!-nɔM#@qǡO)%NIL-$Z_!I%}*-s-wO1 ;aݤP1!+{c(ypmz&(ig7E^t}l||5`J8hx@?mOhTI>B6ly˦Z+2)N v*#@!@5iw5 AziFxM85o ~ %凤aT-WUaj4hG#5 ; :1Py(u-ϥֳ r*+O) ϓxdTVa^~*DiqO7s%| (*}ӺblO}Fvf]|Ӕ}̾e7}޹hdoćN]j?'ɽCY"?6O,3ykLlU a< Wë1;(] }C"TmzSLƎrf S-\iv3W5 [}+bek]U[G4 $hp yd~qVE#jˁ.#ǁnH0m|hG$hԣ)[3~slo|9zŖa秫(Km8@ LӹM$J;csuH5g%6f]fḴU~M͍2)u7^Ug̀9I?)I5 %]{wy2G3 #h24]C֌_~86q%m Bb׈_[T(>8<_Mj]IER ߏ7H$܇ Q┍8zOTc{Ibu7*m= ~=l ;nf1*\u}f{ "Ѭb:}s8t =Ci @\G_<14=D$P>gO,jSlpڷJW1 J411t1k%T×5}a(!: 2HHZ+_rP:^k8t\B-[1? j`o(G.>$߼^ȑ0NY~Ei'<ճvȞ7q>M*+h FaRd,$@U,pNzfE܌{DQڡep6VqO s ?N# nاahz5ioӰQ|2(¿Mk:[#vkS7|yΠ={N)?b0H1BG\S9M3ѮW?k U:5e,DcUtq*gB:U?ؗveTA?N+aI㲀k,Ôg9zUWX!o"od#\``̯Q$Z]fB뾽`=Bnh3w" £>Z_)?~BYdZ@xݦ9q+g *N/Fŧ'/aTbn4]f ʝ嗫 IоJ -t<LxEQ 8ckm./ μ H}A=AI$,^6I*6<bXI=ԋ)-n4'usJ:KDLB;Wf:iBa\6RSS2'8}0w_1=qIr\f@^' ¸@/c"ޑA!L< uHy]^AbS,@ Pn71qnCxVxb CA:GZ^`5'a>1]{ 8+zwMk-{Lzvs:Y᳞d قreNVf }B]T7[7ʡ9ګ+4\QLDȋo&#<8HH!>*o"A6)lu\Z<|dnv/.ҥŴ'yfMRN& ҷb =*k&GjT\O7xBKfEf  {QFzUzXXZcusSΖ4 Jů:yȚd}KfVKv  ;ٔPYev#\"!qv$(Svˑ윹j][WH"UM8(fk`U]k*_2>gsdq+|LLݾB= j\A0mo_-tV۫9_䋟(hb&k 8.L( ~B׾G8=kf%<}E0f~>+«8*=\ycd8]j$ }Eo9mɪCḑ6/$' F1j+5LVLbӁ%$E>[,=nt[>w[=:G|S$%'GƁb9[uN و{y1^gנMy[m l;5g H%ҧb-Yz> kr [7}£CFV}YQ(-%:uU (g#_kc&Gjgn,klh VL s.f ظ2&^6aߊT]x"ÿBx]Ӄ@lm Uc) F>grtF;҅9ӵȭ%ip̀k.oF[D=ĩ &B2[%rF蝓ACp7¡`wD#w>oK.K]S&+*b?oد=v0eז0^[x//I^O%!HAk23*۴L3O(x IGdxғN9{3; O%F,-bß^j`Z5'D TX@̏$F󁐙 I9ᦗrDH0WvӋuщ$0 kOi~:ֺ ނf̒nlj1pŖiݼN8R,*u 5 a]GM*gYZ x v+ 1E# tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ?]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[6y}<{+oCK3nBn2f{f3\S6nx(L-xi$RTPͷ, !d3\1CJ ki15^+:-fw`k!1uO&t0R #Ú)1'U`:mxrCOyw&))r8:N^Vdprctۥ7Z |C3fZad[ˁ83{ύBiVOmvv0SCrD'pV";|PzgH<'%r=*!Q0IN4f@:k w8 SmE \f3bF)2XX$*ŵ%*($} q1='w7)ÿ}>WV[}suZfrƱZTn:Gp4,i1{,E;ikA) 7رWvsJiBb{\Xzc_k5:/Q)?=>([1)S9s=|xfHGe0LV,rcI6tVh%['zŋi昑 &dkz~pc* ]l#vԾ-CLrkRZ, f`g7$D 2;]O{/5]}{IJ>yc aL=+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#TV7c4S+ ck.Dz8L '4 cAaeMCyǜߛ_h)qyO;TF~Iؐj" q@'iҤψ94 t*q^VQopbBw D"J@f0" 0M?fJL?/]Cs$&ӫ՘IL;@k/ |%39~*nߍv.,oGm,yDC S6na&#2ˡ6/+@*ԉ%r )4 :lh*Y"vE eh%-9^w"]4!^.=[ٵVsGZhmD,<[Rw;JL- &:i<:OXsU~ӳ5d?o_AGqJh`pҸ@U|@]}9 mwoWS梢cxXnÿV4 58]DDk3\J*8Z6-OapŤ'9fXKnP[@NpÃb&j%%@Rb \JBjܱN'R;RA1mgVc&DiswBfl>46qXK?# !4+bNS(LUQUP%0gOsbY5,D,n i0Ec)X/(Ke]+{4Uߕ2XiZ MSPޱvv/`hk# <p׀Sifs}'H6𪴲 vFRP&"d_S!TUǐ2(XDc8p%QyDG.]pd%je丹NeǤrAU+@(t>̩ Z^mv?uk q_.BTRVePFGQbЁ*Qŕ?6y[^zH!| OrSg֦^ i7fLgo;O54(u~ ՚lu䥶pFFM!|5סxW7OAtKN孼dII^EgVr(3MǥOpG#rw 6>̓]}e 7g{֞ a=:}R'_1ά280no$]/e')ԟS9 IA@Z#Lh `Ӯy$ca}o#sɓ4^h1*PgYZ) X ;Zu);Ѭo܅33q#fѣCӕU{/ wpb(\йA#i`/zmˡPlX?n !N{?Odp?k>_7 Qلrz a%Ckg;5MDo{="%pu,Ʃ_ό$R bl_v{=oA%\gCVi'A{:HrF+4m\SKX͝R2`ib6'Ol{B eL%qS0ECs-=z4*؀` '!)t* ҂L%%_6Y+ gwX[o͜!Y5 K A0y k,l7uVDȃilHX=)N| b?"Xm]O"i1BhOJ1ay=7 j\Q+ \7@v-n*<4M6agLN~b%ۺ Nu&`q~/p%% 3nDfyX%a0kWbP⊞*_E#shD(H!a!>}؅f4`Nݿ4{8Dk?x ͍6d}Enf"Osyl+{w" %\s 7FtnA'p0a~&-,Naf;i4wH~4* 76NpJhZ ʘq6Ww#fmyxK#UVDq YA:҈cEUebWgsmN6* ,h-,yPL˨581 И\Ye˻w%#%vVT7 _x+ԒM9yDt3@xM]a[mds_v؆e"^ s.A`8GƿZͽxc9ʊq^+(<ؤ;kqqom=:1Q왅ߛuQ,G^SnVw+ N׀.itѿkCA\35ޱxv W5$wa ݧ;Z7Qvs-8oU|zD ܋4^+iu,HDMK1vx >iLEgAXxRfk V\{pָۋB-t]g[>Ƴ8#<`yw}l7-mlp%ܭexi`閱 'E h4ij-d)0CZֱ[Snݥ[|`CZz#R 0I*_@}0B=oN\lKT狔`À0^opnh+-z؍^R#^+@ߒ> Rv7Ҙt̳iT}c㷉OF\| )|!.ĐOES< .@PBV05EUD艐 H:~~%Z[<:H6} >yز_ cG}U3Q1wD%ќil  - @y m͘}$aQAAn񎞍l)xfʫ2LEHqq2sav< vJ[iJWmgne{'orُ;=ŜBZ= XVSſ:OgW*E0% j'x^cUB .3sY.mQ|; M]˒"ZO#X׽/65D]L ũap2-s^J9oR{ 18Rɇ갔tp@ji>+dg"c_`IO7i\o/_ɼw䦺xNQm}(q2F,#;i@2bUC$MǕ~!d68H(GVlU-WŰrUq K𫈇 Z{tv2 F%ETPD3hSyåxbD> }QyMb5 ?!@Sd̕jGw6fћ⺼uMco(a "fSZgh,ɾK4{7=K` 2^ɢu.cY2{堇s-E4nV+NO h]b MOu4 ĒkeTz@$!lC*b m ]vAowIIvc'Ρ|L( }V *ZT6^48ya5y5UT,myC:6Γtez3^Z!8; ~WZ^ ZO#)y>4=t%g'ys+`^QJ`A܀Ŵ+8y\Zͭi6:p+ P :ƷCa*^í;Ud7vs}P_uJWfΐ]MnD lLǚ=2EwꬻCL;%c9ͧW0G]1 voTc2uW3EzF[ FcŻz9瀑&~bStU 3a2g|oQ(p۩ׯBKx_3?+02FrH߱8s 끊;9YQPhC]\>R 9\^ c|Q75u$,?/vWGrڼ_vQ` y"I9wC)#]#(Ә!Z3ƃGѣv6_[$ג .9j߻~Cbj5:L aȔzQs$P4<,5Vy[UHf$c3u: ]MfNhIqM#=L-TQ(YpXcׂ2T\oy+<h #bS!pD6ߊJ~*67$)%6\^ %8}&0Uҍ$ڲ "lp[|ӄQVڄ /̌oƼ)k9YiJUF0hwBU5!Tk[=%2p*@9K-S>&α5i,;_yc?c[Ѓep0k+~a ?D Sd`כJJA1|fk^_!3lGK Ý 4Na0ʗKyoeN\M>[Ԩ籣D+se2Z4Bp9U1D^ԽC9v)6w jjwT7ߤYK $0ߤrQ I>6d6 OzC20KaM1F !-iypլctܳ|G)1rJi~5yeG5Z)?!7ٱ`f04G.k!!m`RS$'G d(?(J=]hhtl~!@/%>c(SP9Hdy~{7Q3ڜV j:!06 ka@_*ኼY(Z_\xmwJj[ *ފ;Fu_{6\ֻJyk0bc6e0BUI lZHM&b ߰ɶYu\LШ X׸[uO1rYwe9 ޗ.{Al;;,c kV*i&5"'/_F[nߪ0NkN޻ زXxX8n3ZΑsghh+sC`y:5N㩬y8tjH9 Ԏ+o&n0O⢳TvY̜gLtlyj?3s@O]Y~w~m;<OS:~jv\}( "ޝ!wtijb@ N%]uMOy_$_vdӜx33& iiRO =ɊVo;^ E*֗^M]%SmqiZ46T6ylg=zqP$h"-1IpCi J=&)a1?M@Qyd ԽB`?#h7mJ*mlvM\%y@0ҦX +1(kw@ncC)S?fʁ \CE^]6lxј.lN[o-*s@|Җg{xGYZ{H`9!^A s\'#sH(_stGūߝx&I/0+7 ;GgaTEb:8ץ˱=I S6@56֖oEPʖFәI?>G;1ZC\1b ';l${q.ΡVr=# LZnX:ZC" w;)B/S]"ztu&ٛ8^86@Nk$|f^W\OBk/ QvC7X.!TGMQA(f:3鴫 8,"‚>/Q6RMvd{Z| 5Cl{`~Nph^c̊ 29ʷT

T<[kcDpفCn?ԡ0RQ};c+;.\:oAN]NB;ޑ'3YE0||רy?֒"Cb sY:jLǧ! |9%V̾A8۝ѤmG1u]їK>/m<тm(~{6d! ՆMTꖢ܍lF˵]%BY8k<>Ƶ!5}2kbZ cȺG*!ÿ6*' 2g0+1~yp4" ')w\t}7#w6_Q2ѥS 1_~!8n_mxQ%}Xͼi &rkhï(1ǡQ'}l9ږBX:{,QcIGk˾,s# ó#,YbU+Fa @7^1}&''_x΂j}%s\b̯Ri2m¨1:KY6|WIdQ-UI,z4|0V#  3mO h)~ȖpLO# '9jbXiLȚxAQ_m)S'NFMGn˹lK/ 2'0FNqn,x`㌮3:lBeg7KerakԪċiQN9qɺL08qzJ˻~u'owf\b-,paSH/5Q0eVUr$T?Ac2m1?~P1PoD0ÐX?m/mW+c, iOo0yWDL,e>5`0"VTĊv_ 'X+Oo@KužIet*BB[^h7/`|$c0i+m:,lcMא-4>yM(=c?UU\oi7,*rݶ!̬+|ZD:ޥ?O⃛maafd 6ߤ!pxb/M~sذsWKd3A߾> jt\l2Lt?UAQN@8`J@2Qqm-izl0J tw/l/Q͔;W4r{G8촂xW\:Ï(j o džg>%Gt;| 97CSɖLgZ:f! _VڿuT*UuZsz]8L{-Ix"ĤT/!ؠV"5Sc}R猣΁_gg"H+s`AacP;ldEͪ: U4h R]fh23;*fH0v s5J {6I~^IJ k&YFb1Wg#ߊ^s>mNgSliʔ'%(1 鬻4F&yGZW$^?N v S$-mg~0[ sf@AlG-b&]'&RqE @ycvhF9U{ُ"vvvT)EsC =*rb@#m- ɧb$a5>eb>v)l$_;J'Qu J*j52X> R8FC2cHV8ˠ3ns2wf&dB .*IE#ETՃQsy|@Z$[Xхoz-]!jgWp^OKmnw.%Cy6w Y9{I.vF'il[6 >qdDOMF0q\y:L{.hFDّ"` K6=͎SȔԠ\-ܜ(',d0}"_0K;QGY5Dԑ⋃p=t9 vptr;C4캌q_Ynm/SW옰s4N<4_r(^3eJ$DD^?{p#u% irX@h0o2d _tCg X];82G۠ELOFaYJ-AqQ; 2|98`KExgfL* 4:4T w(p;9AEd}.X_lہĭq BʼnYyτW }OloMn?+-',1qS nSGBcy ?\\W%dV5E-~ͩӬ/ v-Mt_5eM:QCڅ18 =Ti\gU[DvBA$* (1/Pv`!p4(hLTi2HR0*:7 t VsCG),c9&Ğo5)ufrd!N͸2wl.ǬKtXW]:rb+k߰ a@5 (2,M=8PDK:)$&c@?0CGh壗z2qWa[J^4.Yf"ʼ0v^vlz @+H`J&/DITCS`;tԎQN-~I@ !b"-4s4){a#-*U1^y?<$ V뗃 c=hl$5{Fums5k ]Ml'2h@2dE.NE7q cƃX}*]^V/oz^-)/fIDܚgTJTmOsdI _"G*ĩU_ad55} _FOܝqefզa Rmܩ*3C#dBؘ W8!ʧ KĉWWy*0[rUNWzwt띑\$?BFst(EmqBd9$ڢq y ͇+4(^,@u6$}۩}pCJ5TAlLu %۞M+ށx]C O6(L2Sii, B NȊ؞(CD58y2ۊT7mWz#{6Hǖ{Z#P 3QPaga(z] G`lL~}*۬ÈqU6N3sT^c^ʃp ܥc֒&p`YU& 8I Syq ̪;Uk"*0lx;9[cA|@4 _šdU9\dG#^'k}K['?_;T'Z}C tRʘ"2\\5ʇ'gDVݫ&~c&A|g4+U A90V%'TzGݵ4&A`${,1ϵbϊЫ$aZ^B2[qY5+kI1`SA7%78$Lq{aƧNOjJ7Nv:k {/ݍU=yn/1=)$xʿ`r! N2 _7)w],?^<>BGɡ&~S`Փ ƦL~UfqKK| $A,dcE;a+J f6o68]Ԡ\ J)&]_ sҔQθnr $d"@$w- 05*= 1}Jxg׺-R_n1>OV`\K?WG\$ͭ'Dwŝ^Wg$C:MQHy@GyYߨ1,?丹+8;gMaMlIXw} ^` Mո왬|geK$܁SGyB̪]C~aPOk`G5V!EA(e 7b֖֩7UACr1-N^H'-S@2~+^?"'+!E#Ï N"e*&NTmOMv5gZ=/oU5YOi><(͏z6Ok廯zK'i^xUZD*ccL|esL?kL@F'B`r ݉Ts27zak{E:oʉrXyhNy⻶.Be\CMݶ3qFaMu;'CFq;MWnc6ƲpV*lŰ%H XiZl|Y^@C/[,ĿR鑎C?`WU(h _4+MO h3&觚ByFtt96j#1%o<Ʉ"DC"9{pZ+ 4 |K6Zpρwȟ&gȽ؜TC&كPeGQJKH󮱣SGsU>C6% &*]J߻yێݪ8YVK.q3W*Z._𑇧u/hzqYlh|GE*X8 v j/Rw<>}Yڽ0LiozgyLw$Ԯd[(TwniqO3˹by&R.]qE#aaݤ}tBᒌ'5~OSfbl {t0LՂ%D=]xjqg2/զ~;i1'_u^M+l㘊5[S4K\aBJP)<mIwR0jx :N9#0TB-vb K6C|J@+@CY7Hq8Vz;i6B8ah )GjjF#-.'إAIH;[̈ӒWH2KB'0"OXhcZ42k5_![ȋa*1ݐm$W ( |yӂ[@M;HrTY)]^?,Gbu n zs&bQ+(_E*~ݝ 2>.ePq.#$Vv0gzWS+P4tOYzI4mZD*^3׋)(#vY!=]VJCY"鏆cW /TTU>鯗~qifhT\'xqأGPS& ^'5w, X$]m+A^8iJ͐4|p-V+LPwVl&STdxc}%]s[YCe8:Fo򣆗aڷ皺\: mkW$Er`SNRp~l,.AԷ,`MƝb? nrUT\QdY]WtzQ;֗`QTHћ>qo{U9 D*8a: !sҘ`l̞XFJr ×!_4^񼪒?4= &l}pj_Vr_$2x)cW"TIj=r3ҠXޅGƀ!9Haǖݬqj)"~}](]R*FUaZVoHaeHf^gG;6Wl (V?@0K¤AwΛ.fG6Fڛ46nմBo: h whXx`B t}KBWKa*Fܠ3MYɼ3?^2PZs J /2pt3@@2/`ncV1X,Л @60pD X'h|duj#գDlja-v:Ru1t7}QsKrA 0YQN鉼, s ':5y.$|7 D[A.upH["C;O'jh OP(èLa3o$KSŖ6T6'Yk^z&}#N .bB\ǩpUFjO Vyy)=0ٵr}YCѼ{6.qA3讳Mb>hñ/jx_8 ޒ{yA>hyw>iW>s&rpRM:\sI"G(JB>( ~L &Nx+}i%)i Xt= {4:űgYZ b/1O# DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! Y]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTB^?f[+FSouv@ &M+79*}#/L:`@st #1]kNr\G݌ܶj9H";vFOzȼ}@CbŤe;{O.=8K{7-5& 8*Y{B (x,~βE9jrUDt -FCbdCQě l_UAZGdC}CUJ𠒣ZfG K:Wu2"KeMP-bE{{8Wl4[ F[A]E c-eņIm,JLG=jK:XV&($^ww-gl#"8ӮE#@@e'≓'Ht ЊDQ:>PIXUrɺoT{%+p څ^hj7DYaC}Jg+ $Xm~|n'tuDF,d8rLFQ(/=NU@8 `qyW.62vrl%1Ԏ^D@}8nu씓*o}QQBpYZpsM59orUDSA!鷮zs]˭aحY62TfV)+]6*$6v4XjZ* yG+k󋨳&'?:jρӓo^ Y:%no;:UB`<{Tu?H7<6p},(SCR[S,?w QZOCI'=(TbD3 ǾVXB/>q&wҊTO_Y:*QEo^ńF=mOh;;*obbatWU*VYUD5Y2 `9ey_b;J6 ߐ,فotI8d"]C6[ЕڋE4[b h7<}bkgԄ%xmZҗgDՊM\=7-4hMl\Gս~k gDy;aY #錭GMc>FR޸ȽɗAy8e4!ZsZ}klѺ,S}6Ze](L^v -2:"dDיmY X&Od7(O.s|an>+QD#p18) [$H6]UJ12^I+ g ]p].V͌Se|NMgGz$-|RL8h ̴q ȮoTTTed Ւ70#L̻>k^mvڟ:i=0\ʒL._K * ߟ@? W1-&1[{ϢGKV>:*E8zHYyߒk!ƀ@Ifr KLNK蜅mWqIIo ߎ3iSHg*"Xysm\lnfh(s'OhtK՘IT)+[52;a=8FO>E1t:˴v56ƞ|_1[?Жauy<^{k\a!z *`Q/wbL lPGZόll"ڳrh5PDFAb͘\"aMۭRʟ H#yZBbryf[L8q:\C q}?D`T_}nOu̹ O5ߩp kΛ\x^]#ߎr^uG[E 5Z;ўME煆[ ?N5x=0E=NoMt즓d\F|f?k՞ó@cƣH g o$7|=8fpRC*1 ^m$ ;=)xRV^PXpjcD~gvD;Z]=鐨>'WݬV4YYf8U5%[<(=uW46T[sD"!:.a?fw !=31v{ ۭT~5o@R46O|UӟYbMAu?aTY.aR#HlZ]P4j%! xoE\ٿa-: ?0 \6Ӗ_3kĵ \MԏcFR8Rn2uYwڠwuy9Ih7a;[SW\z/ qnύ3Qff!ADe耼L/xun?I8¬>Đ@z8\ֱz~&@%QsK= )p?Iϓ3?ed B|_'ȓ*4FGX4((*rbsuU$!KdA.};tحǨ4zN&6rU &hAĽUɆtmڭO|Cmn}˳0S]8܈w ꮤuKIFJ5LkßGm+ޤ]DSLLzq.)l!>`=hG 3"`^Iq8^ǿ+=?%^5i)a~l84kP"7_ǍHAs;}-ݐp[aAyjXkrѬ=ED ''9bjpHyJ )Rn?g$#6@ nJ@f=R1 t0 %JIARq8wx)^[V@\A WVs|"ISNkyyF9)#% Y<' ok%IJ>.SU?v{ !UhI,GmK@`4ERG$/cY")xAApbϨU+RAo6}˔mc]{_J]<:.&S`Rfw!voDp[XdF $JW b&(AyNME=d^ϪK[?If~W+h?o#hv7zt\ pUFlW´ʚ4_QЄz(,y,x p@qJނ\Ψ1ĉiM8v$I?.r L-0P9\*6F4M?8})cj1KKeqË?OTSgYZMkCrȚ@YL|g )_W⹑򮳬8QXS1o]- D\Zl DbJ%-n#.li1J9?rb&kU1yc+L^s >Rfז}W8˓TroV[lꤵc?(8W7БLC/k8Q̧H _Չ?=1hz vu쿠M`" CWؑ9qu14b`W^^ڝʙ>\+S8 ċ۝KʔӴ)sows}T^j*!i@NYyhWvpI6H Y3Y U;g{3 wI47)Nd{~(0{Qĝݜ r{N NH} Y3Y/Gtesg`}=9칒bQ0~۟=l}>m ⟵ܪtܽ}n `]{>]Zצa ;0$+OPKv0:ӜpX5H9ɒ!'`i@F.=P#xps'v N_O{T70jKQiKjTsvtTRʂ }b<ˋ.+踝wȕ9G=8xH vUcog̙؂ )16؁Q*S5El"m 'ʹ[&ZZxT&#Vt3;>Ol3X Mu|?]D +b5kW5xAո$EPnH|uDPlW`m|o@lZz`vP^fZS!#kSDh=$^Uv"Jе\ !9XgE.qGj7Ǐ u 7ـ|4Igg =Pg9JMQMG :^U9 'S/ܦ!\.F d#y*[^.] =}&^~^{!5`qUoY¹&K3> tȪ.x0@ EcU՘q׌9u;gr[a.yց&vE,)ثR]n&2Ž!(Fޝa2y5kEffn^82n@A9{ { h`}[>2nESiEwR@9KAE(p}/BDk^UM:8_䍸'G4-&B°\;ѧw1F ,{tмkjw iӝ׃=χ07p<:rbRI`NF)8yg5z @D>8kil2Q#֍0W\23N1z(O_( \VC5pԇzm7u;35/|k+Z) |0HuaZ!2ہ39MM秿ø`(/{!LmK7u^'Rc~W,ynj2%̭d=wMWj_0u~s8^Zl"(Riqw^^?pgaaJ7`˻S\31ো(並Cc+kY A)>d1 F '`YezаAM{Lڛ=Aȝ;Q9h j̆B|Э鳄ݳU;YYB}t:Ξ*NZ5<%<@)$BgJĻbh߭ӎ${/"$wإB:@vnOZJۧ/_gksfb[4q]b@Ȥ0_q>Ok' ?kv 1jgD%5 Bm tf ^P>rd[rɾUA芞h)$o3kb0eɾ뼻]lLi0FĔjFLGf%tu:҄gYZ UU 31S# (I>'مW}Ghn@+d6Bf4oWum ”9j=4dpiŪ:RFD˹/|Eٮ%P-geܩKE 6<- mnXFvcsषؑbqvʕ^WKKeyIS+2?PXs8O?"]M\q6G ]i }t(BV%5+&ܪk>x L1_QlU~EPলѱf?^ҪCP)= Ӈc̼;m7V'Ӳql# { p>'`zd=w ˓R)h+TKEW"18ǵ_^^D$ǠZ.#R.*֓}nT l4ȗZQO:[}ΙJɐLW7Jh=HiHaTZ`c2U~P_sYż/i[W`'[^yza$. rV.؝o "1$fў9dx :dP+$ _ ƌl<ǨC^ 1ߤ=E!k12 }p:.#xds1m<,b={$1!/HAYD\reTO5`Tƻ 1H (v7VT4ǯBф+0OQL?qVHQSUHN|'[~3;ͮU( b? ۞1^Ami4NeݦcqL7m ohၛeI򄝟FE=<6vP1\Rxvwu\5%;\OrZ dC#;0IzJKaK+1<'p?^]/{%a +D!Ցbp=ݞrkQ'{ !!銫m]M=}ꤔOfaAl\)䂎 j}xk2UH΁jȨV 5)IYnQg.cDj}$ݭaqC6*]z+Aڀe#mXD#9W># UFbab /eif7FxO5*rŠ(P0}W?zIm?&ɽ~5[/]R_^uc|)$u-pOu4R4e2Znnw/T(>+ҐYI[4FVK>hJSb:جn؃{FIden){7c)\nwZq.l0PwUfMBfvz6OT],X _s @ĊiAhWCSBWBd^%%̜SL7Z^`ixԽ"%1CIn513eM=Ւ#fa&ҟG&u.'j3Bth _: ?l㨭յgn|}V} znt,U|h4bUXD::Y 9=Ea)Wsn:Gv*ȼ3:>f`Α+)R v$XAEZV}fM|Ѡߖ*?SpT4bKf__.7SR@%l #q '^b}a6GJe=K…o8x9[DVU;+k 㰩m>fZW%pu"O:Z玝19 q ̖1jԊG6xL0OjӲ)諐fm{oC|3pE!/  C b61A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id516:41S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! .]D?7 {?:fH\`%#&~n<]W%HD'~\^>IȢay)R~K-Ϫ92e4Ou9LsEI+A_>o EYutXGO.hp cЍx&tr"'"}<>oٳR+l~àȟfl;},͡䒱8~AԊYCLzz"8klF5)@ЁƿH _a' #{M"&$e3GTzL&?E>̇I,Yg"roB]<Fw\lT0s{*"GFwvo@r#p3(醘;Ǘsqe\~U>2 0{YGxac#@ְ\eKc{ѤwJieH@k]x-U&Ps},Ny2i`gk`:i#%\0'0Q̏3?_ax-o1ςHW Oah谪u.nɤ[!dS "4]ugYZ 7Lx>8xO7JTֶ"σOΏG{9'nz#}j{b9=M)`5k: o_n0e%:at]zj .eϒ S| 36'ئ@i{x i+xi΄Um6}2RqtmvĔENUbo` 2iE)4hMw-FluL?z: CҘOʍ}_ 7z_ +`M|C@Ɏ'JhQ G,om}unV3Po<9>+}\!M0oc R[b%@uT/iv}Jj>c8%YS g3$]j=D[$N9BZF5/B2QȞ$a9J7!9Rhޒ 1Wa6%NWMl6Y48;M%|&3HTT3vX1)w*p(&aYI|sѽKx/ӌ3){}it">NK.OK ,nڞ&i}jH}/fGh g_FDe$Fgϸmt=_CБ<( WFq#(a:[ pTB 4֞who8Dy ٮϖH[^ | ~̩@EVSqA\D38gRh a1R.~`-s0>U9/Ɩ}$юvU .|쯺LvokM-,4:-]'Lwv#nc7: ̌)vWj`$ZR5In)De9{C˃GR{Q v#! :Jk|D<%]Hn7coX婯NeئzofcySSjV8c6S=ܶ,Dʚ5 ~\Fנ8`g b͜Qf~>iCm8؛+x/Zl\N,!XtKi ][?rZRfGO~{ ;zhEAW{ЫsF!6Ѽ r+m-S GU@SoF n7/L5;}x㬺Ɯ6}JQoF"Q+z=?1`[n8?TjC{(^D(C]Ѫ1U0v=OapJktE(0Fʼn#vASL^\LrXj[.62kG^D|t(`-M lO -rwDgRFgNnJ%sO<5&y4 w{sORLqQ_aMրsbxY5^#rM*כزSע0k}9)B>>MkjYxtJi%o3!h6Ԋ dZp(fR/~15AZc?K1D"kU|WHr85}W2V;EƸCC~Y/&:N}T.ZK:y۵rzMģLݙqTwec9>,OuU$"!e Zg)/;fi9 ی>Ex(,wsi=fքwWE+OW= C;>yͣK)vDMՋpG7|f9o/-K5?(44pǫ^Eȇ֬[)z^Zwas]_E;@ԁIhdgᗗڧW)ǷfZ?@dCCxG 6J 1i$y $L`(9`Dd5(g4?Ӂ6M}ŊsdFH'11!g5F0SQiq8_ج,6Ŋx[F8TN=E"XTb1ßyr q: 3gYZ BB371A# tHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&3]ˠ)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,r1Pyt?N{4CP`#up½YC\MEQhrAaTK7eq.|PEc+'P(sݱV m:ψ'k*ܒ&g)6j.Ucuڛbȁh[_u(a iDFK5쌉GHTF 7`pG+]mx)1;Ub6zK>)m -.\D!d)HC];C}~۝ |K,2HZRQ9PbWi68~ Enr#*BōUU0#crˏLf=B攘ݒbo?ljka08yOTi!m?nI,N@92 3yw)؆,;'9g`rn}Ou#.O+.v{PZ|YHcM1 @*( >f|gUYjpAfkXC=.eWg)`]J«*$7iԷb%i97%í&(*䪡GW$D3`=);Jgv%OO84,|cܬV|XP9ԿPk,rz{ť}E03o%TpGӳF)dteTE: 0Y,cwh]i^`T8 SD.rn $v\<[;Mh?dYr~(Q_ Xpy 48w{PC\)߄]J0q{K#Lզj})|%{/Y^xKpCG(Oˢ-ڊj'*TU)PVX_8dTPCݐ}$|(! [W8)CvOD= n`J2qRA~$-3<(Ӭf |O9Ul.B7Q$kR݊vȞ\NKV`ۊḤP&k- HŀF:QO8HhHaYzՒGTjN!Jʷ]GxF>mcA-2Xz̈́E2GWMTIV*FoAZ yki'G} cSg84?DHYH`lh<Մ&%Q,膢ckT %ބ*}k ̅W7R{6"[|N =E8ǟ^j\/.IQ_)Û:u옪 { |Kǩ%k*`N2%PUgT*e- jDɽgZl6mgygefLHW{Q0E ~M="ARc\s%sL"E:e،00#xU(/Šʴsue-%Y.^et A>3N'#n^/r1U cpl*BeUrKBTrv3ʨkXTA3Vpr'VwHHEus3I5<;W=-=|W"Q% M1uU"Sp5;soxpn@v4ZQQ̇9xw6^a˲ʋjUzKEhiQTѮ!Z=rxl_z YJ.VR}kH~zpͬhäB Q(C53ـӶü5oKXf?C멭b>qt5 A008`c"W#3sB L.XI"zHP\.zx\LVͨX-i@g%aETN8Y({OxTQW!e Ůk Q5*uXZ~VZ FNxݬ0= JVt/VEhb%@|c޸`S*GhC 1GXpO}]WœX2  !zv>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! L7]D?7 {?:fH\73DROH#l7ЧdbfR#gVN[;R۱|Ko7bz-Gvֈ= .Lm,)8R(Ma}-=Odf}P\p`;;<^em!V]+ɔ.GJC7Id?f(a .msI8n3x}OǸR/k- DKؙCQIS!`6\2fX(˩?ax?HȖi0F8>%Cʕtr陼4?9WfvP=BX[+`2m,iܰ:3ts"6+3|,7$H{kvD$$\z[0=ޘ~o V>-q T,.*u|%/T9KN7;Ak̑)hA~1#w̷ K;~=>S= ?V}J'i3,d/LvZ[qe |!"|wG\y9DQψu@.M(Yw_ID6; ie;Ʃtp21 ΐI. 3el2jr2ŋor lQMz ~2U:{AH ehE#x!($pH>܋)[ro/mJT`6El85YgYZ ;1O# HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-UjCy9FiGsU!8447~9@tRxa3-^̰`$&p(s/<,/+AW{6;WS_#nyNM!Lst_L5!XDt|` a fZO*ҋ6Uxg| O3: " hٰ<\Savi џ*1z'ߴJb;dIQy^Z)5EL k~fcA߿_Jss34NMZ[6PT3*v0?^)>z)mz> #leq̘_[z$0ZA9{qŢI5`a~H8mOɀqEdOGC;Kpw'۵a}@M>WB"JDFK`LNee)aCZj vz .(Wf~I`j^9=P4\]LJT(8;Ϙ\O]<g\y6jqTDc(ԩQt=bc$yz'p+20'GTJd+fHY]]@ȞľVE HPt͗ ]*\jz"3Brt%7v: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\8*R\p@`JX6}ګ9˚`w|0$BO=͋S,t pJܫ\dN,Ah۲p]y|C@K-;-Vƶ݋F>'.(P/D2FnwA2y0?rϺOJz(- D:anOǭф6F<`Yk'hYS7 8έ괁5| RqAT+2^86}ļ9b4ʶ,V2Ԓʮk%5Pc3B}/MAIX8N-cSAD-ODV79i]/zof71|{iJ`=7^(nv"(5s$1Icl"x GTpsc!  1Ew>23U3o||;]%}6)Nm35׽*t?fLj5v}*@0Dz.Uqj4/D9l> Bz^']\'j&@3>o |65?8-ĺ(N̖sc* :2ruy]_SgYZ 1-3e!YRs3{.s\  T  U ZI .S z1 o1!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_id5q)'HOL-Corec_ExamplesHOL-Corec_Example?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markupE>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/filesDD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_idC=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markupB<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesAB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id@D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup?C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files>I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id=?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/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_E@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupI?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idGA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messagesFC1I'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_id6'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/latexB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJB1E)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 $s/[ A ` g # O  v - U =v3F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesRD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupQC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesPI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/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.TLList_FriendsPIDE/messages/CwΎ{{∙6S4:o\XyWZ; b{ѡ_+7yX)#*c0FlP ֡C+eGwmĕ4osnWT_34YbU~ZrViD!c=rtB *;|˵k[tD^ PN)&@·Jy;%u8yȍmI-rF|%^;I3f#6(VWlEاp˔њ.` de"rkwNA`~OzqX+['<!Dq@@4ſ3=ym&0^ɎlKk w%ϯwqҵrit!Z8!Wh>p*Aw -2w+4 f[^Z'ؘ (x?Zعq #WG^}:ea,1;Rpwaa^ב0A\~V]ye!`s?w ܈$ mj9J}kDuۙlVRvTvLqBIOi\ g|E+ה%aQQr^H+m0F|)<5yA2?/MG^87W+թ&tmycͮ 4Q:9YwX%C|*vFo_;'6+oNJSސr7֍]G7NWk.CDGM+ <^L^UJAJZ=D-uu !auh8 \,mR 誚>J?*"CG7@sD$I@hbetmRߪ.O=3XkGL{eRL_Ǻ^/{NL@Zu):OwZpy[ E z3wAb'~K5k< "AbuipҨn~z],rWFҵzQϣrY~Y|,B^m;o#&+^$o8 5Gz_W+'h9̸$'Sz_%mӳ樏ni7C[/iO{<(a|+|3h&{TKʳi)79)U-6t?u: %dY ZP:1ʅpww۷",f_QZ/2}*z G8@^`{rZ- ~6xR" ?;b\#TK!OgdW&~Jc:};_^N&K␙U j j: xOqL$Hez~0  u,=C&»h61O,~"d3i(NLм]ij}UΉRn)}“(\7 X7@-E2 { B͒f$xЪ$;DEX[b2o3'Jl!_4ng&>V]4?w<8yՔeN/K_d+J{1B 8 %J\Omy(͒H٫HA)g\MK+K& 'rUódaZ G0GUhѢ)ZzEF?#2YpլKK?/*yU?U&l \Yko9` Xk'Ghja*P!bɉ@7+ V%$sou8q-d j;[ZE ԇhz=l,ۧS 7GAj jTjaRXȒtR I Iipp.,5 #]XmVJS .o@OޱhlVHn]C}[Q5V _"@uQ x}q@O4]=/"~MvV/P0(_?*VCj )^Y4J"쫭nm.GDapuWՍ (SyC,7`[ztIpL%5θlI-Ir'عqBQ&?JyJ˿(4cq7>|5 1@^x[flhN%J^ -vlz먨KUxdg]E~+?{$st9{X#2ep颏V2GHՌ4VGqE4y$׸)n#ql"I:zmG0|ħJXF0O5^[<4Y#Z-ebi86٠r\ՏWT~$:S9jQ>->U--IxcGm `3/З'c˿f[VZD#vԫrrtmQ'*-kyD0r֙NZ#ÙY3\I[cl**}gYZ[m3  9zG}׋`o'~~$[ӡWBW488LhA̓x6L,B"3Zqe ިaЫ@P.B .)Y_7D' ?>6X»"tuh9Q.x~ʴ^ZnF?)Z6H~~ wTӴ?TlfԈ#5e0R" b.<g22h_uF\JP~l ceU΀ FmP`$Up/n <rF$T!!6O Љ(x רK^RB`>G]l@ ٿ>a-hۃGuNPJ_"5N]`T ƆMO^쌤?r,Vx^Fu{1Y$`fp4]1A kLPϘ8.*(RF^kHoe ao5:(PN@G!7֘aLeQgmd0qõu`Ov~bO<Hcvm7R˦71Qq(XB6$Ȁ`jTn:umĕKo$g!b,ZMI'ܩz+w^!iIֹgz&No ?Pۘ}mle]цZlIpx'4 "Sj]-˜ͥu(`evޙG6= o4sߓքDKADt|I$i>ӪW4%xQCKH 1"umRDԒU/gt:tN\ywG3mE?=KPa߼o(%0 Ac.}!] Nm2^ȋԺ1' Z \S$Ćmg:5Ć]J\|8+9(k 9HS2q=7NƚZO"ۜ@RE&^|BtXޖ11$Bua$⏝"=ڮ ]ΌmE/D-*BkUXǵ| Ot.s/`G<4ʓxg#d=G4o$p, ŗ@[ko XJLTm2;~%|BFZLQ"f[6LvANF_ #'siTOc&s/}Nt!m+/ۑ~^3EUzS>l{% ch'&j/JK+mކؘMՖL_?r'KA‰< G% RJuVk-1lR [Cm ѐ t;D K/戸 >U9@f%Eáy5rԷ wMv-ְ1b7nfIeZ> un{kPǭr3a'ҝ~EhF:g5z,Y0GX;B.iq#dSMfJM&NEcz+G%+%{ِ <[2@8(v(%n ƕ~ EvqכIgblbI-IHnZE4+}e[-xr䣥aWšzT2H<@a:YOFSaHkcIDMS 3H7ZShd tZȐ8f3r3# Xp)rzz cgS V|.!B a$̢c;4謭)1gny5_҆s31tS4"X\25v'y\G=2Ok:/X-/H"b Wip*qrSJ]Ñ@@MsۑZY`woDP;pz6AkT@0C6*-᠘weysv8|Iqm;br8reK8BrW]:TkNy#UU{ %&hX|a]#K%| 4udzZ%f5F^2GpV06>.x]c}"SAaפ#so= T6+y;3 f# ժ6F <e>YMSo w4~*1G*3JU4ɺD~5\z|.fl.p}t*GZ:wo D&wM,DyI 0`?"&EHj4a8_-G˔rAdpdRyqX#.PoLMD|-V%P,E^Y*N 23i'`19A:ݱVrmբR8 _6 1 .Vؘ4s뵏*#Oe=wVcG`Yaw kOlTOr;#vtoKke}oE2FUIQc猭Z_iZ#Fn3mb~&Q 8< g)+RDj Z.O=y 7Z5/J2AG(+^I>m` 3L6-GYFe6 DZ浊:b`_*_]^9~+ sPSM2%yCਅf! X$ ȫ9z薙%$ oE&4$d4d0|TBYO%7 q6)xI|Ty 8؛mB] Pp'Mѻ3*^ #dߕ&\Wk^?*N{_ZL4[;K~AMcRĒďQIDq%IDS$Bc1jbm1Z?_eV, 88n=wߝ6#XSV1I5A31MR`ZBJ؜Īj-3n;%\L^P4ǑńԣI/(?;E ڑڞ<<8ý%#"LCħ N2\"j]DAQyJju(G|h^ĴbbʘG+a-'C %nGQvwR7wNn99ou9=W!2Gݑz%;%֜i~q܁NF'v gYZ  _ AlD1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyHC1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id532gB1A# \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! C]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-byCz#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(>$Ag6T[mӺ[^RWg 4r\2/NO/qPA3CBJxv`^HQ*/g~d$wK,=" ^'ƪ(Lxiq&"DUަcDpN̢vɹ+>Uz S0;|{x1eҐ_y1)͒R9هRu {cj4ȇ1/ њ ڷ;Җ   {P$'{m 8j ՞t)MJRG>MQ! SzYU؋:ցV߻y ,C̲ K|+)hlŤb3*;FESu'm.}T  @9e4j2*<3u~kQhGF$Ξ,$00ԑ"2LHԣkٛ*shu] ROWl9^5>T{#^KU,'W$WO)2ĕf!#?1F:ꤵ^yDyZfzsÿ@f޲`RZB!`;ԫZU9bytc:)I=%)]wzy =KK;AhN_l4n&PN*N|@ 4*Jk v4 FﺷNmOVbyp{eRi=r 'rV£ 5Q:BC@tD8w)$1a:rK-I%"No 0]A;֒V>`hwէ308^n a1s; </ XgYZhA1A!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_id536N?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ϐ;$(&I7n:I} X/.dsbrzw!P= ՙcu˶ :_* lLQ+I.cZvgI GL9i 6 $jQ9Et罙Q= 0?r:=Bw&ǣ|*>u}hX;nDF\Jٝv`6Sg݁0)H1Z pEQ\,yTbCVv;'+2J9w+KB-s86HD!)@5^@ubDT-9$Cm/P"Qt3w*<b jb7z! m C'G~R![7lҊZu0\*WɛYR{z~Yi?R/Ph+qxi픶I)#{f&tt {H@<`>.~9b ; fiUCXg+IpG)墴vGЇ%v|6nZښTw8;MRy8GӚYc>cv_\)0+yJA%AydB]$pZrN6i ǫWh)@s7u~~6H}5K:[eHcRز 'WPt/3ip#(΀ep`@ߣh[1RNj Pe1NS:(Aw'퉀L;I#p OO//QNGՈtCW, 2bɉȏO?r$Zȿx+}-z6na%&vЮ4cBhsW}"(ӑXMU4clgR wHkYĦ1vsǡH97p+*%}Qv6D(;[ED e0o~V, k%}I:8ko%qq1,= T;0*:H2q5:ӖGW8U6%\d95t'8֨{+TnJ2s<)Z=ι%eGp:O7P J$dk,J<#bm.ojQ,`[ωޙ+Q4XI 6/ MS-E%x`Ip;?W\AX+@xҼMWi)8yj;AX cYmTV}o&{[=c/d V3xA)-z6< Z3XrP: 1^ЊPjȑ.yt#]=f ?N:i}IʱPp TiDbF#}VE r%.l0'f*.,S0[{yٽk>8VfW*Q,Nh(W,Z7$|ug^x}-}Ss~0[EU/X.^M7o7~1阐Is[vpݤGTn2C #0y0V $ڶ& _xaF/ 33l4m[B3zn}CdE,g;ÿGM*-Җo%DMw5.J)YPZoܣoTNQ aͱtXFfßz41^PGHc0s UM2< |8;MÞI&354T(^yޯBwdp2Fa\(тnH;58F xBaqpYZSjZdzR<܉;fdK6L 0)C P5o+;/~ 7پ@.J|YDQNhGm=^X֒b*HLKr38]S E_Z,d]/4EMTAOxmb7Gkṉrg(eRXu xEh4T8䂶UXFR`ZVj5s5X9{4=afy62eYU:=HLl.~]?՘r[u6嗸`>̧ w2zdA,mf\$'T_b&!94hՄd;%p ,m ]b/]|) kM9naƬo6UDa;b ܒl ޲Z'2ZQjXT+N򏳴hb:M0p(,g SױmePm&UVf]5)__b7&ͼrJPM5>>cZ*6_؋;;$鮴td7DĒD3^"iτ.YQ ԑ=N_sp9Ҡĺ(GJM5 ծ3RWU+p4hP~Qm}> ?3:TCVG3Th`c#JÅ9mf.N #B'ʊy[n4H526L29xhU@F@|Y~R0#}HDIĴ-bZ/:*}dF;5Fv| fx;,co*IЪiHg6mWpyu+uה&_=-5饌-*DղhŶi{Íl/ 1eױ׾6Y,~+34YwqUIt0c栯([Y"tl8/-r1%7.|*/%˨dӹ=:$ilωgeJ<l}.®ٹb }3W7@  RK62jay!뙔%fl68u/> r5.l-!,x;0l@\3Cl eyq"?eщ#MөVRC`Q%+o4Z\yk6nJm%$9]>NҜg^8=L!yW=#%mD4@"sLcUfEv?gd^DD9sqpLwWM_k=SX0v_Ginp%yòHkɻu*8 qg&"Wsra2v M~ ~E̾3qv#?W1N@n)$5m&WܟYuƙvaZ\yώqP}m.L,[Cpec U;V.A (60?VHKΜ% F^ZMn8K(Vy]` J125ԿU[|jMΝ).dO/TT]X 52ݘر6qˊp[U2ͳJz*jv^{₷lY=w/]BΓj`vt=A}+/y8쉡.L=U8kCř~6PjM]}p`[D!mB#^OߒOߪ"O:kς|c!ֽĀ[wYIQ%( ?|FZ(kVM ޮq%DQ h1YT[N*:ыdk x\Пύ#9"j\ӹ=P+HNk-Rvкa)ɣZ5z&NC\o zA&yIi;3 ؜<7S%4I^!zhޏSGo)PaH5(4Bྞk:MgK L; $ _Cd{E,$ ?(~^=&1!/t$k"PhF "ˢK;#(SX1Tq=BaC] k=^D /Ss&qhC_Jط~@3jޥ 9᯶ Z9u4O%U2fSt1C WD]r}1`+OG|uuo|e S3N' l Y#;p>\nG9 +?&.艱?E{G&!2ì$K0{<džPfz(Ps+D5A+1YRN+䆒KwƸ-!cm>q& \B,'3Q 45nǢq4TL:vZsg5@|Ѫ=Av .Yy8op)Pb`d#W|3(ۺTesc='Ci([5fYɈbΨ%\5,)c(Rx#2{mYL%Pw 7NIUSM[T~dwA~` %?6>!ͅq6q|h%1k˻-j0%)E3%* ^btf)3НH9"+b3?K%@r8WNfWTD1nT0*0HBt!hR aW,Q(:D{ 4C'yExSXqy꠴6k;S>aeDEc {J_$V,HN5mhK+.N>SX X^*N"gSq4Ƅ^tv % fm/kȌ=RR?l!EqqTI[&G.jsS_~˔Lgw>~kԶ\y]@Gz47/Vq:G;0#2ՓĠHyywEU25 {V(v9=Png"ٰ#' #NuGχ{*0l'6Et1es?@Qu{ $&Ib;/P% ȩ#2fSߨ]Mdo4lЭgWfxEG&3ghH#Z>v(+Y]" 4I-|5XgдbyqeH.p^ϙ&CpNxf|yLZ6aš6hF(wuAk} 7sH#XõDdش&3 KZ(d>VbΗY?Pr X,vG+9xZcq>!jXF`ON5׈cB6s``oGW! ):p\S`4jaeIȝ  "%x6-'^C0>%8׹ֹʎ=Hx_TZQƵGKdžhO[b6@bzixX>-pJ~3y!ټ7 T]Φj{i$~|(>-ԟt7j3|̎׋&kղ?eVbMDI>aߑCo&Ч ԉ&Ɍyy|dD(L֏uu!;JC3A$ !<1`7i0痠p!ֆB(ް$a s&xDxT301C# m?*EQ‹*!O=+`q֤'$DF{UiI`R4 ٓvC&?LeTjW˙LZׯPl:eⰧO0I}kJT5P?'x"%,kH$/L+G!my{Y]L֌433A5^* @VbWuGaq}]1k^NkxK>IeU]{d(!L:xYKS\GP+_aBC3E[vgk`7*RV9]!fcLfrX2wBFKѲr02ʫk}:d6=li/JeTfAO1R+fM/ X =xU+0(cuX'V4 MY  BUlG Y&d>QJtGnݙ´$sڢ D*U6>joiCZhKOj>T8u9 0ܾczq+@,M〵JZ^k#O̵Rp2Gߓ)PDzP[{N( %9} $=/}8ƮE^uN2V߉UV:zNܼyvo<BӄvMD#gP\L^ӣÖ,%\<;[ \(UbM_߿k`KbܐmRN&F0:*Gr;g I&)'0lRC@*}Ւԥ 2JA~F {}D&P_}͢:*ǕKٞ)]$y\lq֦9Fd-dv*ؙ5Z?ϜoyeNG)1k7I0 N+Z+I>‘ KO9I}zwK`ZQTVYHKFCk_3Dyn8"{%5"?..Ay I5j٢H`&߽y,4m4>b#'ql0t>ˆ['VpO~3n*ZzI}@v.:ц٪WC׺iFN{D/ e8z6_sJ FǞH+x[Q>eXsqJVsmWuOIZ$D[!V.MV̑S4E,^Y3;!=1-,o@/=p6zgmA4&ʖ==O{䅭ّVzp _wkMjհb8QblX˞ r{od㥩9 U_| TtW=0 W{4J5BBm6n7nl}7.ˎh9qB߶ί5N5F8&ޝGz{\kf-!:~VU!x^suv'HgzQ% `a\ .p1<\w\Y~, EfxyWIZJӂQq<)Ң S |ujiqɢ-Rjь]nu p"ϛx?(+枚ppY8V6[".X3=T)ep}I_impr7=ӕ bptH֍ ,M[4 r3)|h(g=(#6(X"tu&!&f4Zc TC˼dV:r2љS%=&d}Ć7yhxuBՔȣ:A/kﵼOE#*pٮN'AORymH|)4غDžkU~SBJ^{-$DN2$ gM,"6Zyl2f8&9 }, oìc+S#WpC/t9a{TD4<3Ym+RvԫL6~R2[VfFKi^ďE)ݸgϢn2 corrY$߶Iά#߯L%{ E.R07Gg5諧2:HQ+'aRQO|ͬ69~;6)4Nկ>jbi TRvg:,& G:l3@1'H)8ϚvOZ9DBR+p0^Kx*^j1-7E[NpqR]olh %cgug94m\).GՒ q`Ii5fw9qs9Gcyc#5̊JVT?Dv!KG!Jՙ,Sţ^D'>ڵѺ%K4QE;l!@wnSz>J5@dԨ ˇ绗"hM8~WZ6n Βe 6y]kx'ЦяFnSEd*hg{rgOXrp IjD&마ʘ[Y.ٛ5]6O&] Vpf#~8R^Od$VSuRN,x = G2%YkU&QJHR栦V]^"n/s,z8 z d֣9>ܱW6RU>WL࡚z[Ԣ$C=+7=y.bH7jvV}C@ё^S&~;;C8LbV`v/y}bՇ wDhM9Z=n4G'CFW!";o0Zxc.H>mT rߚF'қnodZ׃L4ygM*k[% xj3^5Oy]$ ɓP[l'PK[9"6e!Vvʗȍh,n`g&|-=Mt>2%_L勫Ũ/9^ }M4 +非X?O V垁{]}g)a r |#`ŜީfĆf*d.i.yPҸ% Hj(FД7EuI?1.^b.NMROih,PG3J>-7`OH󖎡1:,)+qYs)@p#ßl C@BU+ёYe4Z93K$NAcZ/m>Z׊N6j8=Rn}˰)|5+(Hk$NL;yu3KUP|b^ϕ+g&-vBFFԷDxSm[ŒϦɤav C0hoph顟0/6ai榦pʽ]/|5\7bn=Dtry8q=rEөrF6lUBgb"6ED~ʋ\C 11R-ANzulϊ Vᶷn*pp`0`[~~𥟣o"?51$b*췞 oï69(Nn. {'HMhˠED]c!j a7S*<<09Sly7Sb&CqG}3 /^Ѩ 9oM-[LW+ f7J[11:<|+ѡ*[RN ɞM-7t5i%2gLN4s4].mx͓o#^\C~"62U9N MZnx}qAJto@t,9ݾSB/l$p{Ȋ~.nG}'1ɒUxn7`ɯҿz(_V 00- tķb\c;J_**~Ofx{ %:A*ۚ+]Ɖ])Jy$X0`0fqN(B RŴoJM!E8G/^>RǤ}8}4 </<`v݅Dʦ'JT4lLbp8BΛI0٫{О̐d2B GG9?BcsK#yH#>(s~BaD&%IӾ_ʷ#륇+MpZ:"R_T増PCiK:1N;UgCgׁcS/'VĆR }}[ҏ ֈZY߄5ϖ WcHBZД6=1XyT)#ௐd%pSio(TRrwk3t &/mGL.gഓ^-͍Oz2\"xQe厰Bׄc "u7QINVqN Qp&ⰱr*#M-\TpCwps wUNݮu\X[ALIc2D R7[% Q[ c)ɇpAIl  =ТH%tZK+2llS鰼ީe*ū)8BVh2sV!+JBv*E"x$yA9fxHj;J]:C.Q8a Xx:?/FBtC4n|\WEШ*?ORqF6_Bz KʓzB]I _;6:%9h3ܑ ޴ $*w{ |(wrKgò`"蒨v HM1 95Px.~yK [ư)( D~Q+MZ .9C(|U~& wrط.M9fBbNOԲ{x{Dm2LѻU2?u1E m]u/6ˇ:W11QݭK7(w9fvvJ,$DZI_G+"pW>p/kx溕moM!RzTiOO~ihN>2;2žPzЧ݌si$E9s~ay!7s\z,t!XleϝL38w>(DrѺǛOj'-N;NY,%D+1pU\&MFbu-(*FW~/ 1C_jƛ}baX!a܅jw=":LvtՇó)̘ɸkIr|;YFmԁ:6l~cc?r"wtmZ77y]z%,K>^I29i YoEygKN e|_%:UX"&= 黴C=NbV{ hd<=+{a;r(/R5mu(}#;7ZGYP$;^Cu=7a"Hոl|t%#ﰂ\6;[da}G4<*G[vb3r.kAKpXҕd=LςβȑcIOdj57[^ Λ"23#׉vA"#ϡʅwF"<3t⸤ 4i{-jlk#z;Hu!nA3FyQէUL!{Ϙn3{،KS L$<^k+TbŋKG{R]&p jLbaZ #6qæmrJ 0ypIQ8 {VtqC7/_3AR :ta]paJ嶳MeqM"J~z^x7\/@ 3&GJ AԐ0`rާ# mT8Ѩ?gFQTeA bɛ-XaW [-ϸz`%5=VjK /G?a]5,{C:D5V'q2OPUPchw6ia,a/|0E}.Qw݃T.VVbwEA6ʸ\oɬW= Y}Ya ^)>J-"a/Gd^kKT!fGE&.="0w~ d+ȕC΁Y]*Ԫ|h!&ֱ~t$7cdAhHS'GL07鴹ϥ$ rO`K+)}6?mǑeK'Bw;V^*S/,X86`VsW,A7kfT5zNKKF4mJW/[{ɣ'(k.KMD4aUi1E+ic3|`\_z" 6uPL2!SEZ{ؗi1#33Tepl<^eXZqS%wfS/tIt fyX8\eH&p (AF~q|X X~dw?\"DLZõ Q/~n ȯ0dUѲ˷ɛgSJѥ[qAn9o*aL~rsu-Cc/k?wUZd0͎$S ׊iRP&)R*iמ屍yXЦ[L_9H[U2An%^KٽѲuMfV)mi0WTLiDxgR%.(Zer ߺ k=ݪ'$&~m=yF٥ n;IuF6S3a2vSz55tzz=w9=Y,uYT6 1vPZ25>^id)bC>'& P*pLH)^5܎@b6a)Qinc_z&@WbXܺHc:+!v1;|*@Wƨ@לcvE5Ű ~j>%%Nxu5nfNߗG3Od>if,@.!τA~Qѣqq:`\3Xt|Cx7VQ23&9@/n}1n4DDq'VᔝSʁZV:R1,8G&=92ѯ Ld= կԳ,`QWE"YYFNi5dco'a(b-XFr&[e&[~ [ĤeK//]U=TΎ@qբ5{Y纽6(Er>zKB)ZQOchm0O8f&t~.W%78ʃrT(^Oa\?F|O7ĬumHy^,)7wϸn@Mʱ$UFF -a%ψDгzL^jG򭷭O}Mf-JmjAgP}K|:Xc`TF5dHSymp!tƙ}oTipZa&A!z_pI9kS#6;q+a߼ԁY]uUC:J7]BݍwKvlRnxZ2\ɚÿZ[o_ьՐ#Nvؾ* ě/ Bu._,VG1e~솱N 䨇kM[@VȒm)=ȝW%[*M^9ʀ1%UGZBeXk<MM݈r|1s/G -<`dbPZ\\'/'*k"_ ܗvk'i5J)ޖOc||O|_|/Hpܼ]X::5z^,ZHK*Ux(~Z? jLWU _=0=1F?m|jC-ǨKQpδNP!k/g%C ƽb&jAal 9arT*(Fh:_YGUkXN~hq?1Hy.\6\'"?P}iT? pQAZۮ`u^2@ ʹ9MB_:_fL#m Ni(ϒɌ71^с3Ls\H|y$I1H6Mh8U]ddg6sEӲYDaCT>+CU'CF/:ss% tXrQDZ(V} ķ5/ T96U|seBhC_xXzVFԅpd6f5!e|QD∱RfXf4 ~ꜽvzSxzX{`"yáшڹOA8<ǚƍJ&,zZlff&h? :SH#Oj& *A"H vJnhs_5/tLGmAϡ's_ K)I}kz(m\QdӁ ?h)}3N 7l +ɷApG%> e׽-uSM7[#nQz&v}o,lMk4~m1 tAl+*8}yvQ"5GhB":P=QT%ҚRe<% rJ,[qp@:s($ ԃگHcCB 쒨* 8y|y 4)6rYLt4VG{z+1'\9Fߥf':"OC(Jj-+ձp &7;錔qsI=ZH,i&к!- Ph,ݾ}V(ʐ$VǝbR?u˷$WDN?PrJ̈́A%u͐ n&tX^voeN@>L吪4wj:Z|q_$]+PcɊ+O3R\2<ZM nJ͒0NL|P|eFw90kO_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ֲj4|"Ⱦ.axpׇ򆌰Z%XS5/?yX s Aw$=;mw6L튴qFÄ{lʽl;RW>.$J]dجJį}-D2!PE/O_]kPl|sDGoUŧ; <})]}>r rB`ℴ*; %qQݻ"/&_kkSTXzuVVM0TIBkqKI5t r:F[mBrui_䁸 ~e2l2ȌF|)6%K^ _ƴrYhlz,XD`_SzSg{>8Auz`Fs(coyшѦ+0+:]¤y،"3qA=Ԁ{ Sw8!&yAm %֤݊ӘFbW:\<A[>ș/NF8bM>nsFr]5.< 'CP_X tRb-W 7 D|ohr0+QYUscHP od(;+}:"wNz~Q8EtrvRWzf!$ %ߏ0oDNR !_D q2j[UuUYBdF.(`TwI=LKy $¬ ¢h (,֞RԷ"Vg j! Nkmܐ}#ux9QRp!-0ImugGXƴUbQPEI%N6!/XO} r"'l\N8hixl$UG rE@S9~w9ڗ**4_~. sawnbBj،bu>İ"vZ 6R%LL`~#7q|acVa6Z覫5"I:wZ|45t- yBv]VyK9V|v`(;_4r53O`z RRCTN - g$+W*?-#_Wף쾢J{g.̦l,Ͽ|$}3\TbO=1c'y+tK`uےDɯB~)feA/w2{hV } l˦>=aL.śQ/0E|| CQu~bPErƣmŮ^ƶBnł%2ݲNeѶr!?\%f-%З.vj7߷ѯ/zD>1J%!#Vd!ޗ_=ri U$;.u;ܪ̿(id}hB#9o_p%ݖMN:cL]G_,#v?_՜cPf:@.gaJFEn5r*@%#1Ghհ[X΁tl_QmZ @:R2&|QSAN/ȅlc-@|uɏ(V8pP5wum].M eo^-l[3o f I0%4bQIY4xJ͍e볭H–ddUuU 0ѱՁ^KM5YƑ>O2M^7s: [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_id528WF1E' 4HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\@#76! 0ĉ 8CN[P *᪛J0W!1eSv92Y/m+<ѲheoW <:g$꓌W{`Rw}Oh ~y17|,Wn|$!5cqb~դoT%rݥF|vaq͵ܸCp*qq|y~{E%+m ZRyJ |QNig94ެg'De Zi{NHΕ -1Q/0NBCaz;j0jH 3Y۩fb'.!?ں6f6 'P93pmY hMF̈́oR;ȳC ,!&l⣋[Ub.IBzImdƿNW82@P4J[`r7<6ʓ#r.UocY5xr )Z\&%f9KwDB{EU˳^F^uK |nI|Ay6p$/&`;R~P"xB5&094xUlm "C^xح*7u,}>s o|lJN;E=6}i>3g}+xrNeg wVsQ1'ee+JFՖG0&(ɦvRBG%+bS a͵9vęuQGC{k:2%02֪!alؖEzOc+Q;J Iys$ur^pOs׃MT򅁪 \#W!yT+Fp'7]v`dmZo&FzNl=MTP16RJ%=E6\dN|quv*sM?.S<\ZeY 9,L gTR- [*t*Wu-8MNN0 8(DQ0v5HmA~M?SWLUlҨྜྷGOzfRܐ3w UlĵAH~ųtrbXڰ22=\,863|gI Rsxpyeeݮ@"9,/ԉumУVXVᕘggoIf sSi FDSs-iMa+SҴD +tWFaklG^B+5x7 $5gz[}1HCOV}h2@}bTګfJ* YdUd#/UvII0{й s1~ut;VZKsZjcيV/C&65=\c!0 ~k<T!0$H[dynkHqR%\Bi8:9b |6:3iMs2an3n6Yxz 7wR&?u'Ukڱvk_"dWJػ%k*rT):yp){)q/>Z/lOO>M=Ś,'౥/%Os˜l4cNg+s6ԹIڲO~ Vj6 Hf =*uwMF4͒,klϱgYZ%{x:'&ʼZHD^=UZ4BeF-^\\,`XPm7t✪j{caߘٹ}oz"]*m(9L;@"C؟_~&D4z ƒO!DfJ4ߠ(~HsRmhϚD#k'.veP晿"&X(M+!*>*揩HX,HKrVgW%d.:XL@9DyIvmKķ1 ">C>n.ietbx wtb&Aѱ)Z f2AUħf@K,9B\Qǹd'Ml|yksSGiJ^ UX Gi/?L;'e:GlH_TY? @|V?0RG'SI]QD'yDD.Odbdks1f) qaxFh(ň }No.OQS2 Nbz )_Y>\v"SUѸvR8JmHd}ώ>_XԠ1ۈt_2HkIaA Ie\m4;P/߼ &HqS?y%EÙOs8əT7LPtCC 2IHXz-mw7Fp՟B,^6F<~{95W m.[fLH! \$4 ~%ktň 8#Kݚ"qnm,Kݝ-cƏӓV=0Nьט{f+,OZnI0-v)Zѹ{R `'!n ɨ!;칺>@3 ^tx'@Nr쥛..fI){c#F= j^I\#_fWMIkjLkvRjA\tZFMS[p)5H Q 0T<" #W8,\J>ߊ̰y@To c5\r!zxZqfTSu&tNF~EGlB;(GE4Jl΁{ePs`Ρa̫+]5]3_0;L Z*"|l\# %c"]`ÑѱaToMwU/bX.xNJ@_YLmC30sڇby_874;itp<܇ w d{$V?y׭ )6X&}*LFb|[;\۴h! "Nfmfy^aS#kTUUÑ$!%e '똸۟T iR@nXXre6D=;֠ .=yu~s? O>&v`Okg 2:T/ 1.ˮĞ%W(Zt n*cvD+M\w6v$-REoT9@;rڔĜEi[KJꅚIpAJYYxǯQY~mM@jBޯ1t QL)r"H>ز1yZ]CԫE.ek>i|@K+O[.UEA$gp1R搑k[\$ }e#,K27t =rY_7bwO({:AunP)4 @KjъF) Y!#i@,ۿA`Q8+yyz86 U>'w~(%꿭 =R9H ϭ=OT.De^&v}w%hg dWX+hCXc׃+ᦻ?ĪzjB_6- s::_YkB7E,=::8s;$AkیhL/p?=糌܇/0ܣã7mE_YV#_Y^`*ϧ ~:@2)]&$I3?ː̡< (@uvΦlWNyo]D(_r{Fw+p%Zr暽0rOY* 6L/DK>kRu?â(=w<%-B/4osBa`}ڬB8z' jdZ8OZ֪򗥢hc'a 9hȷ5V. z/ "L ÝyPxA Gn}m\{/k1Bg1VD_TZ<P?cԠ 2f7xJwaZQ6\GєP2o*{L>l+Zo([41 ?L:W}rpjr¢C(7P{"驭TYUC݃*[ qoy9T\@nISD62Q<9Qݱ>ȭJ!XQ1/7ѥ)!'ץ-1&hT]yՇu@T.K 5kuЍ Biq4؀2-\iESCZ~!\J7 w\wN̸QMpzK/aX1.αgYZ  [} nL1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIK1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id546J1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\{)ZLO(ʢA `Rփ6`"]Ȯ:nόL<أH?CihclvvJT}V.M۱0YD1tFnh_?K&''M.z0ja~QDr=kd0bIr=aBviȤXb?HEMKS JsP4W5tfcO{ٵv{ +y>8Xg foT»^EF[MZqj\#X=fSwA5k\  J@tՐHmCoyb`r>U42^tce)dۇneZI]HS^jԛ;}j@mQglRPK|qSWlOO2{KQw G0Bռ+tE-_Ue-r:vrJvMpI\2#{->AP\~sR Nf+L35n'/+ ;3Հk> *c됁 gL?G%T{oATiX@򦡛碡tcG\䦘eBM+2L~BFz Ԙ'D]%sC$ 3ȏڵŠV-r k1 UܞhS_*"YndnL͚|dU㏗~U* r$]c=gYZI1G# G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9s6lHECpO7@NEҤp6<:zW,l?Uh^iY"Wefl>x0wC>dtԱh9U/o `/p3DbPI\ó&ҚJ˄"SͲojТ_dngI\ ?_lu2lCq`vz.8~`&!|/ff6M_#}:l>meNs,]xdf؋ג @!=cut˸|K͚[La*bnb̝Ǫ?a~Mj$Tt*!]lP5 lwخӋh~2f=mIG!|Z-/dJͽDGƌ¨\1jKH Sg0˼~Hww:8΋hUu!E*e Oa$=J<ذob6S:  _nB0$ deBmYb=QvvRy>M`^N;(iF6ٿllis&M3Qm=d"Px A&nJF+ "O}/yt;FNz3zH&12%O& r\&S:=3Lbe*J+$`5o̠6%@9TtL*[2lKQE:.+Y35y گh,(|0o>Á Z5̾i$AMeЩ>/Uk/UpYI53ea{**/POc#RT,@M2(UEK@UXP6Ѥl"#ۈ1pG5莞֑M,nrIJʡ…uG;GVVf71,H Q?&r] -ze8G?aB蜞}\o+F,vnK^G!({ߞl9cr^PU"AF`:2HH RՀ,-(bYXpܫd$8BDE|H\W$>~́CR^\EFA PvP1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyMO1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id534@N1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I:]D?7 {?:fH\)"b=Jf"El 2ArU7ecމI*PːYyO04Ek8M+nC{ `/~W\&t6Ii=J#{olD]?_OLJDP%!7}<=σ ]+gLiЂ?@DDIvE叕Ũhd?@3YKȵ+/(Aj>0# ͚wLbEm2o:W)o'6L1 j\_eïz' *a9Cm 쬄tJUpGcWCeVfTZ]3}wW!y,t`Ǭs1bUd;K7H*QTc@X>̞vMkN!!LĠV5o%Yߑ+3,#fx{ԱmYHS)0uӗrt$" 4~J{kʊظ蒖x|J1[DԢqZQ?%uv(#&zjD a /d wib>W58Y~gYZjM1G# \HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! g]ˠ)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`戮꧒\]VDBxAJ\R Eu06՜:,LUA}](Iݖ𦞴T Nyaxpuqm oIs(N)y<<& ^`)r ~!-Pc0 ^Niv nWJ8DJ+ qFpB!Pn0x!%XP;0uz,ZX)p,ЀξaJLOjU( YЧEwb\d"Oj'vKG7` /r'b(ώv@SMϮa(ﷹׄ)Mo((f> YBkrkۗ*ۉZ˦Ln5qm-J7(5'ǯހ9$ M"hg1m|gF{w5ɵf_iX@-7SPc4;Cac&r~UZ~/1 eYi$ 4fѰv{(U԰5pؾu;F2DL[/Kd@kуap(wR1j!:^9&ތx PR$jžy1칁ˣjRZdI zo+= UG՝YcS0엟~6pl[qrGԣǯfӌgBO^L YRSqi ͔*bwL$;h|w~W@M[YZrsQƳI)Ǽ%\g6DP ǻ"TJH=юe3JRiL[af ̽Ɓ4}@`t=},5npeKEy adGPF\puw_(|67ډ`NA*?l2fJx=|xp|ebсy;$<0S`6ݠF\Wp'"ߜ-!hX:LOiuM"hT=f 14;E]>9yƶ&k`|[ůdE2y],?S6O^{A{ZB`g۷ŵ7+0n٣č{"ړqYO7zޯ~RGZ֦PB4 @7Ǎ]bXvwg&!!l|; eN i}|;ޣ5Ap|Am>)[`0id,,E_nKkkZ~˘CVov+ 5җ'Nt6ɀ/Ne ײJF^^_ӺoH-(bt#'cJ|Oy]e`3^P.Ij= LĈ ap(zr,\FOc'KӘs$0"Z2R=UID ҏd޷3v3,&*#>Mqx/ ɞBwoZ- lTve?0>Ϊ8*?nzZm燺_ʲ!8]/ڇl>FBpÏ!髽︼V I#OyÛ䣪,'n҂$ŏpZTSTpVN/3F4ѹ| V0.O#JJwn.r8z#cvU5Z#K mR.C < 1uI.]aۀzߥItF,B6Ւɻ`fD4|H D=|q!.g!11_Upl=Zl "}h%B"pOmeIaؽ[\)a4(֧؀rԚLJc*,x_7=Ent-iyfڃx{1ܜR\4kMfӪ @/՘"N(k)hx a TMhs=dag @V%?$Ǯi[x @|Rlbg0Aw m5!?YЗ66H"8{0ؿuIjƍ70p%2'h:z"p4EQ^ H\j]Β⸸K"m 1DJ /zd[dO8YXV7Rb%zgy\Ix~nTzZB8g46r|48q5ueCU}נpj )F48v#i p''ș=Τ$Q C}G^3ʼxdUƥzH^[k` ,m3C\`nQ!EV+hWֻ" vd}6xMu›v s_Gps#?'XQC)mݑ?5alEvω)-K ]Tv,?;~+~Վ"h#hp]R$7J_6=-p'NepN(Tr d>LuH }Y wF1_Q$n)HS_vi{[ "  ja+~ednG<+®T>3>dm6*re v( Բ+ljl/;|眴c,ae\jPA: mz1.MCq}԰mgJ平V^c4KIt5KN w[VT@`u|ZdS##/ BL(u'8tT(ncmb=Rz@}-5sKZa兇\sG4@SǍdY}w+Lۂ Ctb^ZI"/b&qaw +"ϟr}0 mv 7! Ж?ʫ:45[(U (7g~Ģrq gŠ 2za[M@m w'˟} G5A _W*]q‰ɼR^\2Ϟ@hŮ22)O}!] vc*ġFj~!撇Xz5K #'Nܨ0[OI9 7RwYo1 65wڒ ;T'zIG˦<s3,GeQ]k] ꏏZ,f cRkw,߼]LTeֳ\&,q ˫%ջk\s[ғf7qaځVM)/JͰ4#H׈  2K1z$/SL}ݍOb Ilc%+m@?I߷ qq1ȊۣuӠ*z = *T<hw`k k?X7WcT[O͇N=QZ@ӄ$2Pvg1\.R1@@B `/ŮoRnexQNkv vͣ?T>c$x):'y% k zuaE?6Ѩ^uA IWS'<~U"_$ ZN{JnxY}+)RBfi<(!97lth?sCZOXB?4k Y\vz׌eM:޽9r-#FYʥ g3h lPnDڤS:wfIA]C! ^i ,?O(W$~2u2c[ D҇#f_zn, :C<ÄK|<_!o<'i"% |Zu|M͐a7#IW}U$zi]+{!?( mԛHzv4uOyVY_Jc UL Ւ]e{ĪAbf9|鳏"/Wu>`ùF~ܱe?ۮϷ`` W勡]2s 1~0JJ*u8k~IEhI d`̺sE3WɁ:,My .u2JSnSQca9c_U[`cKWeMff\Ze5 ~?c{euMo^٫0ÝM2-]hFj5ǂ'j~CgF-uTfV!-4$j/2+/xQwwZ]Vu oe$7OVW 5r'Eڀ̰r04 %Pfٯ_PTYjbg\k/Zڋ GM176A-0nf *]S;$uҐ; ]ReeYi5FKr/9]mElvӡ2J߳-YH.^׃zcxlsщ5HV4"ddG .j;x%U y̕#ttW9WΌۯ7|C~:,lPM6.cZ"!|DR-ٴ~0G@~£j#Jޮ&EJ,bT7]@P7Z-幒}yRY",xX#km>]"4'M?boUGP ~TDD}> PnlrMֺI0FQGRkӀn<* KMH8VBd Hu\"_Hi5Ukϙ˳2~vJ_rMX5 (d"ϋ$~ժ` =UDG6+b@Lky!9Tq|deQf\?:q= r Ka >B"#ܨ>a+>JmNkI FF~UCk&@?6Zh^B %& m^STc=?Y:mkN@بȍV{Ҙ!lWzXfz_Tr7A:]A f-pJ-ۻ]r~%Ne{iFѺFE]Omءp/UA \eyuTR˫Nܸ-Ge I'BPO z>>j@"a]&'i8WdK61:2>UZ|( q rX-NohJQRE5ZJvq'2LZk[QR w/ klig!(D붸M$ ZZ@Vc@9UXS⽵E&!bdUi!1Eu PD5͟G"14;KSՒajx-Ig4;ۧ;3M }#0<`bzoGy-,IV5hup%|oFSRR.vEf;~YM`/Ϊ֍1=b~ Njj̆EPʯIQ %ݐsqdLI&AF_ĠxA n'mD",rOOUh PN)]v#$cr7[ߞ&,+9gPƗ% J)M}V[+(XYH>4̓`/()f׉uHvnzS$P /:rH*տ"/4#j rƉH92f$ەY t+ṧH;u]y0ņ:[G%Ic)Q=>8@4w?iG"ג1@ziyeIm^^CVQN1G0@ 8 ùQRfX *2M\ºcY-:℘;sY'YteRfS==La/J *&e*~UtkRq"Y;1\oJo0}=2w!TGpvYz b-sCDIF s\YA)"q66dE+vz97PF zqj41_E^BIߥ]d7َn0)]Ͻ#a/=[e(ߙoٹQ-NDn2f;Ox3RQĬuR @=1ACaX^2[M˞D^[LcxDU2e>zj]Y<"*/8^C}CѨrd11 WBrMojf4T}гwV0p #Xj{xza+ H6BJ͝01{H. |R^ɭ~% 8\B 72*HgWQ wR7i[M*n\y/Dқ3 Ć̳ofh+,\^Y =wq_`t/ ]bZݡNZ:4bg9Pt xn@뻧Q悎juuѨ.{\kWyX 9j9&8$T0;wN+}s\g_ч5xj''?o/%g#WU㙋84wPU $0u)X\7KҹQN~H`xFe|L 5g g?WS\.=u6Y1j _8pOY9Y.' ԍ$Yss$\h$ӵ1w #3 3ZىAbJ\Ϲ_Λ~AWPOCڄ eL$;T IAXWc>;F0@vH*e+hNmgQɳ4r"?]u+VD֗[+~f%$G~~zM ! T-'P eyUr00*kXJR+ M}tUPo\oőN@Y`%AA[!^EJ!䯸o6- GLÙ0,X:=#x2=[ ;!:O(GW͹;ӂb2`2b ,}gYN{Zr"^%Hs<~+:geɍxQ$fz9tu($KS;'B 9)^_kK<) ێXa,0:^]`1'zxRU6"+ .*mgܸő9Kzqug>S1%e.Qtd?ębAn̔uM; P X;u uT&4𪕉;A;k>Ry'.M(jGiXƏm$E ?GRhO}2C+y~+,9LML*JWDPgJF/:9p%l~7<6˟ӊZU^'|ssg FRi AZ|:L096ƳB>yZleR(چ/cQjvp&B/m ,9l;t5R[XO\=$:|33\m!OTWQ`BIg.HF*9"ue3r;K42h^}9C +*[jAɺ.')hWQrΙvQ4MѾ2`q5y82{ Qk\x97H)η%k7Ԗ ˡAPl#EAY먗,3( Vg= :{EFVZ­j#X#qi}7D[Ԇ`?QnjЎݿ$ L|=f}9OnJ eHZZgr/2N;-P"~:upr*+~hsV^$CziU eKt@o:%xcf vd0Ƙު,&S?c n?yKlt)o@|^Ts=LH Aw#h]uuHY"dAVQՋ]Ү`մ H< Ewj7 l۱LtyG=?ՊlDB\gLAPI8DH#[ݎM{Jʹ/D쫲BGN;lʟmT0;Gc9 YsAzyAǜf65i/* LZ,W>4s,#AV:k  'u쩤D/!]PVǟ$gj:VX1RZ 늤{\)2Jv 4> h<<ǀ|(O|]/,H]M;Sх;vO` Si~)m}Ǡڿ#!8Jf$ˍ}[: 2C9{P~{@AږL[8? up\$lk^ ߟ%VU)5.% 8[j ^鷧>QbSWJnxBh4 88up|q>_,RxKpn)nOg&ZtN7|)NA~MA F})CکӨfUGCHwWx6,FqUEa)ڮkT?ހs ^#U爾J:@ "h:פ_1}(ԕ.W GJ/~ĥyVce\)!#)Tܠ}$i++f`[M׶y5"hohꪬ˫V%ÑWYjMN:qc{tҪٳ2嚷 ~&_^jϗs~-W(jPh\?ݦZP$F'\uptb:͔Ru|G J(sm1vQ0(cz +em@br _qcC1qT<9U6M|_dIQ+S(ՌHP_cTCCΎ"/6Q0I!ڎ;cR6 9L+3v9&j3fUeKbrxVʜٿovæToVEK̟0QX^-ჰ.F!`Vl.\$gMuiAw-/Ԓk$&zqH@e#O~_a^PFm^yX*( .ɤGUMKG(qTTS6[ݸ'BhOOp>SwɞE>T"B$`13pj}dc*Ѻ94ZDZ$WZG&X. #u;f>>ϰ|T*M*TgX^@Ϝ!D4 zFfKS-KYWXr6u,|nωD)1[ !l:@N}m4s7be]l >֢0h5)jHL9 Y ;6.hnyA?$bq^4oD,.j{SiЉ~D`03 J3"9p*'\eo}O"]{mÓxHykE/R_!R%ZtuOrzNN梻\kaYlOngY R@;)2(5{QS7?KCZώ0F' .-\bL>5!qqV{qQ}RiidPhO鏻h1:ސjݿa !&$T<XТ"K6FG0O>u<1gsRa4d]ttdiF ꙑw!-i FZWP$r\#({Αf{ĭcucգuj}"*_YAz?T'T*A0$f*hͫXbC!p*ؚ3u]3-Vxe7fA<^=X6k)|z`Ά*iϻI4Zʱy^`8&CLmIuYeTe,+neg$,JV/Bp390ST/G^Q3\/ՙ- Pe*P@s*b%5aI/ t/ /Iם t[(9Sܑ OLQgspkyIW)κ!9`Pxam^Y3TeG Iy3U@S< +Ң]R Q´Y/\\΋ߧ'nƮ_QEM\U }x;g=Ǻ$yT!QֲQf26fe+'@a7&)؏Kw+}-F३ZV݋i`eI(]u# Q8!p}H9h+.LiZ!($\yl"]T4!,Ma=Ђܺp2jTn<5\Y-0]('{w``&ym3-9zZS]exVdf*S7BVS=5ё  5l%gfvD(+Ԩ&AHn@x*Ġ$EI_c*)Tz7o.6.Lɱ)`a`_cBzt>gPb7:z; o_qOM}Pf:l:5Z ҐqN#+=LOuJ6>[Mu /q6 LLE- 3)mySTӼk}"yjsB}2I~=4bZp7X /^`fOZ(mԃ3Ne](QoZ.JthtBn`x8oM@dzh v.z NQo&QTy*ÎgxX&}XwStj [ ݇@?5m~E_ zԽ}Fb+W,-d@QXUꠀb9߻RI4fg^;dC/>Bj0t6l/'>2 g ^&G )^ƨ  ԧg )U`) bc 渱PrPUԯ 侞# )2+]o824k!Z7?pYw3EFX8- pm2(jhygF{m-Ja[#nŰOM>|j0k!0"7޷L-S p,Vz?@8՝Z0J@4G_} =@[-\U{. r`Y|o$UA~3zIeqҦ'>x6TV`KMmmXZ"h({jI{sڷ$Wl{[L G3` nm|(U$0}.Cor]}=@4ה)+ AFθ"LowQ+-"' ͒{t={S1^Ǭ}<clJL-ت J7{IIktcD>'XƧ''^4gd#߃ͼ2M9:%oCמ^YN&û+BiP]RׂRt[5Ӿa%kYXwʖbU.h'ŭ ,x漛^J7ٖIvߎNT 7cYLkZKT OB׈"^c x95 QU*7^M>d]>z7)ADDG^ WZe&B#+QMsevB#q/-]č,Zx 0MOSP_#S:>Я!rGTM 3k](_8۶<@xqeߴ6҉YfCS@h(\̞kCU &1F"$ Y̾WKR" b?vs{*Vn&@faD$sLN-EElB5уX_?i`\HA₉y( /<°Ñ+=R+۔?&:g _NP.D`t+_+ |pǭ>- ;G1m9w^&ٿ\񮼧ŦԐqϰ%-Lj5XbrYд<̇crا0Vu3k4j{syyc8 W6~"rYX˅@E;4Ƀk tE@diF ltzED`9\bLc&ry%PUs&N-c6B\سuDMZ(myKdm+t+ W[,;~.@䛬 +1:fK wtD)f܇+2@,2Թ_uĮwX|a&}6'QICsA ,u.S'fkSebSذ΃ֻp~~MXG5[K Yts(L_47Os$5 ܻŁ+;!op HuKAN ߏ9v_(I{Erd*O#;h2FY_N ^Of4I!ݕ/ߨrPOƯOt06(6%Mu'a֝cpLDڏ9:%0MTR?/>-R~Ul&J^)\qI<1j.RL6'!Ss8.t $9d@N, y$Lm R3?nT-]1hN3Y?]%z!M/Rid{!+;/ 1koͩp(@0Vf gKu?=LQނ36Ufjp̏hZ(Q he1h6֪@5C>) Dք8@@2fe:D ?8Y̮"Mù@IM '7*}5^R:(ȸU^*ػdH?CT9-/ɛC$p{faYQKw?ěCzhQvs`@0u}(w#d/:đ|h ~s\aIEqA9~шx*j)ҒAU 1Og2 7,(`fT~Ԁ؊׀T$h:l!F*پO8jYRjr{ NO`+m_!!.!3E`[/O8@.UFdU1'5=Ʀ;]dv%:vjP%q_zn;u.4hp驲{'W3]\PZ{Ɖ.l(nLZ6X^kHukKPHH>a<OmϡcMc+o|<|ǕD&aAJE㯨`$$DuCqCn$Èi_*tK}g]{Ѩ ,䄗-gwor:Tyۣ{g{ #e aQA /PpuX2]:^XG^+GG2یϿyt ^!Uo%0]z?JNמْ4n{;5( V%mqF|]M=A1W ^ fZ:WcQÄw,"R] uvj }ltqlG`vM7m!J Gsxv譝N=-lnIr4c}Ŧ]|?SĎC?1j<0W:=v jQ(0u[&= ?U~sx %r`p&5߆?u5 &a5Oi\&N|M7k{0Z;o cKn;Bx"Jh&i3ƒ~Sbj/(5/wg$s,>[wpW|Z*?Sy3-b. ~ 6dO+͊*H7";aЈ;]~3֣ؤ~d;ζB(x(3A7r98 4?AqTB\|:2zwUڊ}:aZdY3}yK=% IzHjB|ۨLjycJ94[Pr<=?~Pߋ'wX>bju8PqX$l)bˢjA9ȘöLa~o߶0xOl߉MW24PCy¿2cl}i= ki <~BCwh1C$QZM8\c+Dd8˳ h9+X,jNB}c'8 'cؠMI\Ƹ+ ` "T-'ԭqEGcǩ&[YؗJH4t[p^g`)XG<8{^[_]!#E<fAQOv4OhL Cyq5]y;}?!H9].0G?u#L3dňgw϶0r^6xIB=V!(M.r15^"nQ"!Ե́[[Ύjae0<l4ՏMIKN޽g7H9K/.P 3&mӍ!OF,mrIUЀ[l+8WjOH 1?,gB^rU."Rϴ5+(蓟kLvv~k2R@5*9%cs҉f;$efFs@bn7:1^ɖp p!{c Kb`SkODM,neh.B 4!> i:<]?swE``ʠxTlG,-=LylJ>3>y-*(Kdĥ=n\ 2Lո,[YO2k'|IvNGlQiQjl. =$/5'Z23@7t6T3+D]H loJCu3 q(%RzfTxbCqbj`KmF!&<h=#a?W[X A^eD?C>;;Rzw^;:/q4@SuD i4fyLX4j m90ڹjhilY71yY2uq?NѸ!|}[$7+bm04@ O+.eQw4ԩ$5 d^sJ$hGʡ?j!BI$2L3Յͬ(nV\&@\w7b mtf/yu 5yuPc#Ֆ <@*!mb]P{;P OB JG&jC*N-{a%-a30@Q+IMޯhsFoDgf|g3$>#`hGMFߣcL o+Rzf=4S^:\<ǡrP6*@]^YmD35$moO: N7N7Nok0Ȃ'hEaS@st%OH@pPTSWZk[ !CH)Ӥ HI:_e8au$Rs!i/y0k QEu,6AWtPo &w͸msAKY!Oi3'{sl\)B1"!!7 FQqh1Pc^< Q!" :M}Ok*[+oijƧZ?"眇gͫZ1 m0yj"=F{ոª~ΐXvhoHYH>s:M(%׿9jgx vX^CA Janܵ}IQ*]3dJs+-&xir6):LN=Q0~B0#Ţ*@;ۅT$^1+&Χ7kMx@zndp2| {0'z_g }OVh+e0k8H)Kq _ ƧZ=|fQ)0WL .Xv[_ǯ%ٟ~;: 4M׍ls ۑxS Y.yϟג-r^!ʰϳF.f`TpPRwۉJ{6γ(yDj|-Ic:V/ wGaH~cX=)r[qv {CNC'RM`E!A,fMR1ܧ\c]Pl&HC\k`g;4k&ֽ% KR#X}|9o̩0ِכ{Y6!e hEl3Ԥi cS %#@߁oA x EeH|y$t"<םiRqex_N9YGEahRa h+egYZbe22aaf38c716cfe98ef96c668f3321802298f99244fff9626586a47cf219a42d65621cd04b99d5d ffc040b6ffcc8a36a19cb39cf7a22fb8637d0a4c b83d4e80aee1d88cdeb177262aa9882502bd4fd5