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 ==01z|4\ ] HOL-Corec_Examples:threads=6elapsed=147.719cpu=474.354gc=63.0467zXZִF! ~ x]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7;LԐ)y̴ ꎣR 󪠲8LevJŻQD->'}DW`FۑeZV6Aܧݿ]D^HdM9#g;[K~ܚ bP Ol}Y ~*o$a 'OZMgU%Y$:Hn/ܝϜ1rT{ܧ'v[$d6HV(|J/A7̸Y$ߪ0 i.] ?\tpU+6 ڠ!>$'AӮ^uPo᲼h;FuͿ?HV,տ}5/)2c?\sZ_C@ qۤ/hWK^>~C $9;3_)$k^PJ'f޾O|p֩G 6C3)Jwb?&? j#|Yh]ᑱERЭP+&LP}r)"s:y=,Y-:L#gʴ@/́&$nyV)5FeREttfehS<f~ǟpU``| i}5?r7"z#{/x6k?y%&p凮(k,BЂp0c,RY?7L5!}*xwDτpJ]_h: @^"F=û@ࣣhl(^bGu'[Ec;ql(w "qǤEs5x٩OV\t#d؀|a s)r{(NytŪElFt캲 [];ΉBto._W~@GDpK 18?ӹ'חiM,pJEQ?eD92ATo\=)>xO(u6FLlL >01_NM#|' 7M;iq%\PRO#xe$i?kx|1|}p7fΕȯ] s AT7hz*S($XTL Q"JM *m gAsCC-9@Tk]DXVNg0 韠^4&$ )xgUKԨ%xE`a&D'µ+y;g@ZP0nKR6 s2&}|#\KTD ^S -Ҙ+~ "<ߋJ%L犱Hk5f!!{EN~"`-L{f}gl &v o#(gu,۪eqvm )ndpgB(["q*eC~ 0 zSlzdro9F9K! w+%kR8qeiV)q%r0~}Vz\ƃh3UlfXYI|5#dWlDLNf ^ּx? @&@srVЗ/ :K_=+y O}^k0 O.n*ˍr3obŔꉍvf, \8+,YZ>Sh 60+#s$2eqWQ;]nv4~S%NXo4_Y.'gWLCipgiyd~Vx`"':@-TD'C/SP .c`to7@AGQsٱgYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩwF7+ s#'s~ -1"~NTj+5mXO*PQHvWv ¹w9!ΩԎz4 ޯĦ,dSB0G;`?] >q_pkCh:)[TE\TK{XUyNƈ@ Y=EO s* D2SPP T-pL=Hq)7~1W.y%I7I 7Ԁߟ.-eZ_J;kQ}S{0܎E*N~(sH rb>ԑ8R_y5:Nf#FV?I=W/RZf@O)աE ]]Xr t>9yoFw1 l$;$D ѰgYZ7zXZִF! W_/]ŗXi%>no>vY.>|%VN{Ʋ*26%7tJrDѴna(i hVA})F 1 HOL-Corec_ExamplestE~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+?Q>M17/6.3,2+/*.'*$&"!       4_{.s  T  U  Aq % U3)Y C? f 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-F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages,D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup+C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files*I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/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/l3D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#  :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%YsjFb2;ϰ(z; TQ/eB/ROeC|vM >s" >J+ ur-FaZiNv"// Ӌ 0/\R*8T:D}A~<7{ikv19 y*=Q0YSahȁ).Ɠ§!&) BEc'͸د?F>`oE%fAXqowAKTZdłO\]ƱZm h)fPOBj/mO]ԂKXhZ+S?'Aq&RHez1ӽ )v"h!o"SފyS}wv 1@ҺM$`]ņIE#}.3lޯŖ?1Bl΄"{s>/S5Y.DXx&] ::>`rWBI`<՝Eq0mM)n;e# ODYkM?S,rOR $;UR+0ABWJg+40w- hMxa@/ڤdⶵzf 1~9gsuTavivԡ{,HMB A!fZ2310_1[hL;"dso]uؑuFBR])E xDc⎳6e J*}R/.qxtV:q(QW͢Mյ~ڣUk:(6=;8CҴ(413Lɟ:-ahULB~fCxc)t*fɨ :4}WC3 h2zЙ<0ޥf3Ymt$vfG50Ob!8'9.ь6TdH0PYk;2DCH!?S43I, L UBUF(/=nsL.> cRW ).ЄmOl\GH)04PFjgy=ha.0 ^WxbÏeb߹9f Png[[fEG'͝ =DfTR}Ș0j Ku>CF\A8 ǵB׫a ȤXPӃ"#'IP#9?1g7#I9||ǑTysՉF2Ɉ=J!/ŔAlIhC+ItU?4@s^Ϯ5>aRF.LSlNe#bD]UrNj4 *ԉ (Fga*9MP™n r?^t4E -j|Wޞj xs\4]&t!ZH.ӣt:6(>^a8!ˊuf`=ݭVr.Q魊%c%w(RE~ h Ԓ#f:>Y nvӖIS籴F;\vyӚb-egFTa%V6h*Y*zE@0gKBe٫U{NySCwb^F$Q^Feh@/(Y.X(NMY" Mz/M5 {YX巄.Nglz@YW#[fd&Lhnl "x^BNu9aǸ5W+ЉZ`!"yбWXB ,k'b CZwϗ>2YǸ yr?.[(}cRɦ a<].*'#IB#WbYq]H~gWrF7՗܎l8|jKwmvoZ:).(x#o+2`JQX8"!`6tkWNq cKz#ykgun&gzv{5`z]xF eA54?Uhï%՜֗ n aDT>I#rȝnš4 Փb46ˆHߒ8k ='o# `j|7taG1@'-d5q'`NX6iSg|x=,TKTIRWlcVM8u>^M%-^/} =mh|!q3~cNbі)P`/Im32".bt0@{ZՎz̾xUL|MFh(/O&'d=4'Bfqk i,?z$#gC]wM"EքS0јcϦƤ!Y8 xR %.}At}:K\!@v(Wzq:Ҍ^9;o"dedζޟeTEBwok,w=A:7&k濧fSfz%;$-R:6 1RV-N2PC.d+,3rl_Up~uw%`CZxYuZ&heʟ[_ 2rY)7+:plŇ~]B.uP`;&4<+|M)zloj^Okh;WgUUsv8*QhĝT悐%X NgIo=GbpݒEVtHP\X NlYd2^'ݞ_w׆ʕ,qu;)\DIg᎜PyF(v6[o)P&9!Gd]y D & :Q`}]^[MJTdߊKBpz14l,Uw@Hš1DÜk iMҳ!b(EEWa?ą"1TJ(LJ8T?#8]U@{Dx(f~'>Q{߽60hσj\Z{_z܉f_F(N1#I*2E-9[.h,]R+{!ruFF=S;#W=˦8`,SEe _ YӸʖf{w&\f]R y|Ie9^[TdEK=),`^>pIqki,̖H/c)*[%' t1pmYqB[D2z [T|QL#r>XY/`r;;M&#nJF>o'17i_mT,62FANزNh,=]R0 ƨ(另| HN5#T??ac 5RŽE d?1d`\p}`SI#ga%%B9MUgʧX{GO$.1Y.0w<۷ԓWUlJƧ4oi"Sv#8Op631}mf?͈GrV1XT<+c`D69kYI{:fͿ=Ua8;K,w@eWH3a]2qRT0jMHR _1Gig2e2IB/nhaJ 8$2eTy`Ezrp}!b %AE|H^A@zѤ rNj c0Jmzwε *C}*omhuwyKTȩ˚*cDZCxβi?fCL%6Y"?7̐ lԕթlo6lp^zws"c__@,6ZfGn*I"GST=ZZHvc݊)y>=Q(hڌA >>/B#%95qVs-Om6d )?ߩq_1y JZ { {*F*h#2{ { ãxݒP-zW_ 7K"ppP@AIwմ0Ϛr!`+6o".#2*wܲGNI|81C:K4WԂNHM,Q-}Ig\qEdGg#lnl84a$ZakV =xzV'DE2f&P U гBm/YqF ]& _8vko+Z[`1BG]!EU6}nxlA:zu͟LbRlfsB\A+F'TLj׻9$j -ĭAN녒 ~cf{Y?xZ~$ºɃ%j_E$˲=G7\{e` Fdfb.>Z^zס/$vBĚ#_QfX}xrX"5g01R9%@m {7C%xyQ#i?K߽{/ؽ}g2hdW(BJU/*vn&yf1щИhPeɈŌ`?3{ Y&:bI,7l|xZļqKC'fjN+ ]&.+QCTו4pSt=)= ݶDs(Q\FΧ $3ЧW;/ I8wØ!Py<.'ݣbF9Fy5c'br(VG0-P)t4KoB @ Q{s/:G+\:H G.>t.0:-k28/toc^j_i`5jAyE0xݮ9ߦOr;A7mFd~nUr E\Z?Cd+y:R|$!\AkO12/"r8g Yoٵܻ@)v4`W=lw~R # 9E먕6NZs#ʌ89./%cuVd9$]t]~}9^G)\H=U2b{,h^=@?Sr\,1ZU$pNʉpeI>1S-iy >.`Q /3R cѬ?qq00,6,)Sdw$fǢVTzh: IcoV o7l>Z UIdϐ'eBy&vr8pae2'N8X(:#"Qނs:pD w _$+3< xAyR&PFoLfE" ,\x^a24a0.^˅zT,yi){1Av]KxUHL!ĸ9F|X<}^E-ܽ<$=lSԶ@O l6;qb ]0S+yR*UϚ+izƏ)塵, 8IsYRK_0\9kq* G#uSh-Op͋e\DDZ=&Sum ?5,M<qMM2\by[С- x3hLB_)U*1ZX@tQ+D/!@T DBͬiÑ~!Aw.܊Ք^\?rr {NE%3]/W0 p|)sj>w {UinUu\ j[IgmF^ Sϱ䚮dzL~N9唷0X8E6k/z67Y&M,brD]՟PECjAO|𱄥w>Mw$/4_,0P¸l|m2y?,7 -xa|'3vUR=X&lpcaTJϺ~\/DĎ񎇆p7DƊCqr\J^⻜wyݚ;zc]͍"$}`!@w\>%wqw`9Q,TPSt[/ȣqׂ&_/Bx ~$!j{ڨ8%6hX, 8 ֳ-9ϛ1f偃kT\w'|pB RBX!eskKg,A\|]<oއ`̹[W3>0[ C<WERvH}quh2b5>2+&tƢW[ٚ;Pʯp|;q)3tq3B]cyNr\eBpw`0F3 ۍurZu|GnΖ==w#f:*| qoTY?c' ^aW,v9n˝k/U\SnGn [Wh1첵 "$IOƗ` nX ;ܽa.__| 3NfuP$1I )qݬO-`Gd"'m_2p]Hn]h>YlL~̐+|lm!s_!B ,tj+O9 7 N9jQ:C 0TiR#}A;CNC{0H^gl&vp-Y ኘ-LN%?Sj;f9I}.:Ť`u>ôBkݝXXKmFa)ECх>ޫ/It̃=v>eAI2k̨([XWO6tl x!ǠB$%\Udؖz8ZZ `]n-+FfLk2̢7v;>e4Cqw}0 sfmdV93W1U2<mUˬ zmS)%kNGз_cEq2TùzAHX@gB !-_oAyԱ4b gghq#O:EU* %~VEi0}3 Y|7 f^f ܮr E:zAYq~-)͎"UM QӷF}b4 ToN{'&aѝf48dPV̩4-Gse'jg :#kSr&nl0VS'EފUpe-Fȋ2fbucϐbD!IMXɐqe'n+Wij>`R 1V v́g`h5dz034 y8Ws`?g"1 Fг| ]:h{=>~9VXeMtdb]ZFNQ⯩aǢ!8;"M1hYo"l]Ӛ>\vزl#8ӥTM%J9Tc6Z2 gjKx"iMRMV3T%I 2T&j'Lh.%.HҏR$#7 WTi &-7G?>3|2(C/ioQՍ#TVRz l]ǵ#=Ï%~S US}._xBC3l 8uD2; ET)AiB GKЄxDdݵyPWxp)f 9=Ն$z0whɨ8ƿX2@qV6?FFW50ܘS]:Pu}(ŽE H;|%~҇;btӚD 3wP1462 +?FӾԿmu;LlxoU< t (tb0ΥIyS?"g0 \Е{yTmCDꊂ9aQm@ȿ=[91K4PHf~-:y*Vqs}6DDy,>v"JmCO1wr3j vV=zĠ6 c$Zeu8[@J-L^,F 76S5VC/jlD ÝEZLRMo[ 3Z噙Nƃٰ^}VmQ` ]vnɟ^4yp NTv9p/MGDN)~nUIy:w) T.ZGQG?~|l]PTr4p$j)34YPZK.~k\x%HQ/٫Ѕ r7eeGTOXJ#hd*8ĔJI o$̋)adX ,~i_'kpU{]j透N>۷)NĂ+i1w}O϶\xAqhIa(X43GdVt&W ,帙wfc4{뢆ZۘO9lƷG4uxYje~ʀgX{7]e@昊 ӥo,: J'P)Kvc}Y&/xpw*cÅt4ǒ9u;<︪x_*>;4YW;x|.`{MN(>㪪,3$ $8cߠƐ,P]@mfKM1q[ggYZ 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"krQ2CvFO&"W;ըS;U)[up/*%Uh6=/A1հx\aLD/пr]&nwN^|H}=lF| b9Qȯ 8de&׭]4G`袷QY/kϜ۳]fgCТNbw#ڤo7*./&96AQwq!o0gD\$zYAY yΒG4 SO{%=ۛDm'!GA9ogPG= XDփ_ S3!,3b1^"ݬ&gs[KU!܅Cvzq!NIƿ3"])ʐ~ I۸!h|V^j=^J1d{K򿫐Er f>@"x'EqT*9WK` B-D=L].kǚI"jfmH^xԨb琤9$sREMv5YN|NWզr|o,Xfuj\kaIP†30mmxq?4@8޸`Mwn8ZY¦aWm^OR*K5`,yf!QnVH2ĚY tJ \낽z$`ޥ'mnPD !0ι<ݕ꘍l NXUJ_~ُN#QYƭ-*w v>%eSpM 6 WZXJc8%ol`з? 2iʩL2F4Fg8 8[A 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;PG2S`@"B/QwH *KuOB۪dLтUYD>3P|H9KlM۲rdD (n!K9$Vǭ6Cɽj^omBϪll|]Tǖe H :v h߳[ h `/g 0< _ʿq+l#Y{=2(> 8iKhg˾7J99KoCY'оyA;loW؁v4jvJp'~c'bFOz)|lͮ2t!ᰍBJH @!_IݡU¨HSչ 2z4׭++]_Hq q!d&gD6uUG w߲'k  +8=3hK02)sxq<@J Rh;BtS!/%WU3ncYci.i>-ōڇr6Whyf6WK mea¡i~[%1<".Ы WNٝg-%1P#VlS@?%&vuxz$ {+QLy%;zL? 3 jY>5xdFO4  ȪW-Bו@sNrd`.gs»r'D9->W93p:ݝ~$3 wWU6] t遙^'35Cl٤P }kEe$R5 y~nS`iUʟȓ5cNFTjw30boc)`k )tQ{ZE!Zo5-CХcAYUAD{T;9HH}ۍ¾٧cPHpԔq3W*H>%Ǧ3Qzr8R=n',gyτsLϴBٕKj\lM7_vđ.m}t$י㫃P)cyY-M7p-,R;_hxQ=^qNCI?3 T'Nkb4i@+wᆞe4#_7tB<4R| [dY\DyUwɺ/%.ŏ}#؝-wE$-,ٟe2"Gv)xP(j!Nbee73S"zacŊwUd5y,ϕmQcv􌣡կd׌|;-/,Src m}L-~ -wt4z E8Ejch`v6,Aoq?#~YL?yp7e{ G؊C:c×`yT[˚0-};||aCJ˔I ð=[NJbe2&Og\h?|t n7m Ӧ7 cbXw1: {+mv%sE_D.̜dV5gԌK:`$3 :$QΥ.]~m k}ש:`*|'fG 5]g\w#컡m=l%VbSbe@(+>1DLM&99Yqʸ>zj//7f!7`JIE6 YZ4biˇg񦭿M C6pANWzK sѝҾcM~/pQCm3M>GA0TFX.^)] Rܳ,kE/eTkPQE(X l&6I,4Rk٣yNZrjnK1A!/Wa'+!E4/{AM g[~`, tXCy\7{drNUbO_ů4,D˷:: >H͹U !q6+M'v+5Gs~)Bx\ͽt.)ҏmdoU_S*lg4LDHcW#+_e!x_ 1blτ+ֳ : =6(efn>4T[kj. (](FnU8e(1!Cwӫ[]m.u^Pĸ=VĿ| { t\RAė!=ew8u?rF1*߰`TB\bӫzLCWm퓛… ,Q4UW&{ q0/r{b\kAvQ;l{ʮ东q~, s8Tnx+8>0#O>Bmث8BCV9EL5V^@c{,|ee?ƅ Zpa.D>xvhGsčg)0rK|n"5z7b=0}yKGRR!0EE rw >7>?]hVE^csCĒ֑Fam"ۭ`L1郯F/~)~Nz|d'v$˗WgZVuDp)WSfPRmFdLQ+iVn'-M wQ^'M_` n<<(׺)_bCԂ1B]7h%/LTDK0%DK*08(c6[իlh_R!d@`ȹ{T_3ϣg9 6E0fj>Imx^diw`4c2{rք0dxI8cw:@|a ;rЎgz,³M3߃)n'|G30>T9e&8 5 Z9,M+ jϼ:418'M#EAh%H"yjgXA\`6\+#Ai?ZC (<*'z t[C!ՙ ߍ41J%Z9a< 鰞nURS'hIwnYD[#I{9:xvhBmR^bu\x9ڐEK=1H~eez<ԇN%~V, 8JOy}ؠ m;~m3 [PZ%"~Zx3|kO.vILR4|ܓՌjRnN$xEd?Ezƺ 1A&{Ұ#>+mۇt8CTz w־ֈ-k#S;i㠰"djÑLex㍍AP.ǁ,Ii p YB%no^Jn$R?0yH&G>zD; 䍮S~39h nȐX1m4.L4-E/*%zbw H?Y(WI b|} x ,ѺC?7@nŜha&*٭A~UaG2CSrs~.C>;~nj,eܦIل" >7p*\nz@ɂݰ~ x$y}6D{-j!ϯ]8csT ]PYMG+)foH&y%ro-p*0Hg 1S_,Ue=v®SܬzGBfS[ו1EmtT<#|"Ug[x6‘s>90`jKPs"k/-ưtxd$T0'!LGAχRWua}Xam;?Ph#=YB|aS{VnD{G{#Cips[yY4Q!˜i9G/# Ϳ5n}}PPQқc{wε҂bJ^*vG+5w^" 8nșyܸ c6 _:GZ\st H 74)/ⴍ2 EVhjAߩ7]e\nFYynLE;-_:ai8/ڄ8W84>CG)X^eqVyVٹ>8\v_56$cDT{-ҁa6eΡؼvx@yiq6b!d8ʡ]4؅ M)|3u3y&v-u.aGXCU!ixqWMJ`~ȝia5K.'Q=w n53JF:)d0̈a7Ʒq(b#u3keppq0= iS?wiJxvt9OƎŇ$|[˦> %.0W=GU/-ث}pnkdw}`El}[KBЈ7actiGy&B'hlEg0t]u?ㆠa[{/A00->4ڦ. [U0.cUkڗsqڋDwD}; lul@Vxa+Uk?ȔPx@jUY)R8tf8oreXv++,3Z.Rߠ^Oe|IyHiSX} 0;e^T߷^bmc}Z8wPGZ[_J#)ݖAƄ!#m dr%wVуNOCY3&f-Mk7<Ƌ#LR֐˃\T]\o Nfk3yc,لB`YȰއ a򇛨[ LmEq}x;Z9!(yG^9-٬{ʖ8P.4w>tC6!RmN܅O l::P2u0 \k%ĭuT+5ǿ[gr|mrь6=f=t ]taE(;Cxn9 涰'S}}ɹo5Lš6jJ{x Y`bKuA2cLhOzZ >ٵ#M9mm nALE8rFA 'Fac-ZTf{1H61UB]TFe$@iClQ*p IrR[W+\U 5FE7n6\rx\ pHf!9u]ѮS{C1> $(+r)jJ/2T uqLVϔIZc*rdzVys;!#r7r]Iehw#`FMs"HՆOZ抉!Ρ֬c{CDnEw4:+뉑kFE4mtN'3] $ \E+Ti4l㕖,&bK\$E\ sjbE{{?cCu2`Qi!:xn\+%SM]MtH(h@c V*"zW KOQy3-p/;;~~ia?@mQ*MSfv͌DA~zTorf9aT0$uU2=t/71DK(S>J2jֆ=>>ZP^+5G렾B :gEiQQB@ _t>[#`KPOlxS Oǜxn J>xVۻ?o/U38H]} _ 9hB:zv6 Rrj>.LїՐ!@kcMB&ą/ޙԘ)gk)6 gyIH+5ll@46|w[O~a{/2|Vh 1C7Xˏu1mOӚ+XUe(HQB4f·lCyt;iބȑo/+ "fIZI 8˾(54?ҐTr*1g_eIH e隣gYZDn\fr _5AG+iZҿj;H?.rE8×qxL_k`(w_"虽e[_Vd 'k#yl̍rPlz]yDp3{tznK2l8%B7R^7zsG~_p$tC_Y3bL$N$8骬z2Z~Q݀qfH-qhEvT5$ 2S`C)S)elkyC7>HO:aPa \`{;mR3.FɫPs;=̵3\]0Ss%48] 5?zvUBtタgi2#"^g$p;XrcdCҴƏONR7LBA}h'6v-0>6-bAxY4R9`|"dWZKPew#.+o٨KaV;^u[g`d@\Ux#R&fMJ9 Vۘa)(( '7Ҽl~ӝaJ!Vud9?L&`ӗeGP*li,A= dN.毆 jYgw;?}!4V=Xtr[g~L{fX7v-RHȭ\/NXJ9!0ߎ ]Kh*RL"B F AS#1Pg y*)0d!\r&KޣxR*Հ ]֗ѫm j7Grx ,0e"&Qn@$S`ǰ~6;')(YRDmtg ^b_ ԑN&bO\a7ɲ \XQUN}ָWr[S %QĤK|T_d-"od㖉D K X!)u.:i/*wa|Jjᨐ *.[dpcGnVm`\ \D#l 67AۉK!6BU/5ڧT`X$ JZ[F%1$ 6Vya#UNE{ >/mJs6k4> RѴ+yk"13%KR_Jj (,3&}#'7(a״HָXX WS쓫7x64^ӤAK YNjkQ>Cwuca5,yxY>dXMajř!323Q@ȐOn@A&*Be h6Qe?ޒ!jd,ik&-q=~Ԭ)^4J"z@ z:ڣ{e0k Qa>r.*9sBY-4$񷼱]wɢ}UJ7t[Bh Q7C;դ8uЏ Qަ+f-'\ª^4\ 4'"$#۱MHX`vg!7Jϙ;Gf!I(~\ Pc@NZz^˥'»×=wɩICcp- }u1y pE!.y*ՋJ] lk,#0#_d8Ft_u sp/d4( 24 ߤ8xIGQe6Pmc6@agKh} `t|GRL-( KZJhT<]UkQ65HN^9M{ S2%4;UL@_裌!vLi[![JF_c "a թThgL~^L9?#D:鬜Dqc(rlsl~RH)CiG:Тg6RU532u:`JƬ&lA?t_e:ÓM8?nu9}C<]Af%|@9|рZ mGbc] z'cbo ȣu.3wUڜ9>FN3`.TQ~vѤ3wO` E" cdcp \`%*dbW2ϙT( Ć0U#jм.6Iw ^ 7yeî? G9PۥPv|-k@R`>>i4_O>&Ļ:pĩ^nG-u$!(2D#ꖗ&Y`OcH4ngq+mkV('5%ł&xyAѮ`Y1qgi hP3(3!BB#ήrԫse>:D ğܺ@ )펙!; eRlT+R8#-SPל^U +27oX; .js[8*?V6֪$bt$XtM&nVhClfgeD^ rﮏ{5]KS4l)ʀwz4Zojv3`T\OH,:T(?MTݝ |2Дr֒•[aIL& ]8p*?^_@!4a^]zhd OGHN W;#vo+Z/׺jW `򻷒l I>4P -/w{gfvKtfFRv '5 oNFma'4-nW= _L)u("iڮA5GvbΗb;]ЌjޟRT>r [±d_[#uWd&};_'d{%z?L>ijC1<+BZ^5pQ]SNe[|2f+'wB7~2ãp._@`61ukV•妋wQrQ\|Z%rrz^Ns!"\pZȱꭖRzjro+G$mp"!q.ϾU\`z'TӜĸxC 9z:A gґūCҾ1~7Yӟ^e Z cM :.9Nr h_y2og%гJ@{Yt4zM3ٗ٦&mV] -\kw^MjLNaW䣮$Z"܅cy+ Bۤ|AJ 믤<wQ^_:>w࿿)JESj\Aeᗇ4ʨ|G<5%1).]i笣]ё[jH^lߣ[pnC;|a/[iլt䦠 [ҡhKq,.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(*kx:vW#:jGE)2{a$2ro۾{NE$%y3A7#dW3 gּMJxѯ2/:[\ZQQeAQYogp`z1t!WsmJU%f50t>f-<8G!-y\v,Cb43wn7o?IM%#R?yh^>51OWKjEM$whu(2g̽:(fHqN T >^qPJ)Y[EkͭU4zw'6gNFIK Z5@u Qb0WwtQ905m^y0בO6d`e/x[RC? +j~pPqnV$N}Z.n>F~Zwr=|Mr8xcZTa`#@MY5w8-0o {ӃY coyp X$i?MX r,.(*vr%b3YHЄy{]* -ZJ暆Ivy2R8G'XE7޼ܝ:s }CZ.A,ͶlubpkǏ㼏ʴ R\L!XTxR7'Fi荃l~"%GM[FK;3zhKȆ BHJqzO>4[~*2d36*+ ʞ&n,լDn GR:՟3@6v~deTHy<&Ġ [M͸}'ʂ!?Rpړ-GO#"g-iwQصPEEL *ŏ$3K62 [g{4s,ڌx1++&!jp𮳞qcG˲C-sƣ+|=⧁Fqp0r9fzWV> 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~gYZ (9}]%v\\ tG~GGjc-%!Ok=̵]KG{p*8GS@ *ͤX89+m aЌ1 L?mOUg]7[AGV?M3/T`!Y8E+`D9>Qp82.I?Qг)E{ ?q8p.,wc{A5)@^MU4 "G>8FqGIf6}yck2jH0 *W }k:ו) \y.25UJȻ^7/`w4C5SQCse֯W7}")F\J.OC{_(A`=FGq &D崿F#W?-;&|t4}8*jao p yⶸţ]8a4˧y) Ռ1 xȦYo!r ]9w>ދOx'7]]3\<ꥼ;H> F;o1z v! CѺX\h & qHZmHO̊R8Ȇ2|eg:Ue\@F"_U#K!~m؆5Y̽6JS]bы;UДG!Z'L?T3%>ʧ*%|+°zoo%Wf8<'\O'UpFV͂])SɑBԸ"xjQ'QtK$Ep/O9”rO 6BK18Yjr9keSԳIRPﱴ`Aɵ/bb$J S|4JqA!/9$1uUV<}7qbTS܆®i~-Rc"fo==Fh"d:^wƭjl&uSb4j'M ~;&J О \Ƒol[Kyv賋r[5ƕ9t_Gτ1*1a(:7v22v@]O[iZ0%s1R@3Ĺ qdW7xrK"+]4c PF9 (٭I(cr4xyV^c7m5H/ H5rK0D{-D>KS'c3b ߔ?dCVO|{#1Ն6N*$( ;X/ϭBbFPe<$c/l# h'DNJxNfN&{ZJ*d.fڛErͱRUa(/('%h(yh%Z4c@9zDwS>"GJfF\f-QY;Vd,_0yAt%g٧?? QDP&!⛣WLKѹ!^ 7 2]/gOQ͐'t%mt1QMm7;$mJ&+Vc5a*s % PvU$6]\0sRiB `c D$UՈMu:RFn*CT3\F05KR1f*U2+ҧP쎽h]3d{oPm;n^ޘSg( 6B~('Ae/;<5y؋/[P^JW%6lK)}Z_|d}vO9Dz;(nxQBVRa*&tHMÖ(΁]Uj&}E2޶|fz|q4fczϗokp&ZN5e:s?uʋmӊilm,`>6C?*ٷ "˴]tjڴ^QEBA^o>C13T 0˽M6*K\/>^TcPJ=JLMӱ]nL^[\Ѣ$𖅱LLPԭZvP3,߄ywwN*:sDue]}Za qm~J"/ᰢExCze1`: ƒJ+%iF9S^vXGDkeRGe&E[ĀAYDYTue-D4J26t!6 \7:/,3THiʋV؅@9)LP)}6AOB„1vءi^1+}x78^@'| [k th_B >FG$)tL*S{Cs7wѳ.syKkbXa99t|p8]RY۴X=pcerwq.~C= br: Tx.Z~{ @;h -U(%7E*<Špa73@WJ-ž9lW-P|p*I9)IdZFaçFۖo$7Š<p'4@Y >"RhV-=v}$٭H$Y郀3t〧iNOIoDJgpJ KtEԧ?ʡi' vZ_(7Uq,'*&;_JS|.42i! cd$sȬl{:=y@*U7r䀓lt׻:7 MB؛l,8% &27pd gC(h@)A[$FTvBj^q*g=;d^UHɊ^ej3 c?پlL.aXJ~ncMOTA x > 'lXgRs|rJs<>IH@f)rXyT8"aS5ڣk_ӻ̿Ō5|PLErAͱnp\݌uO]1› [a "rW]s,vیMӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34u7JƓ,RLƏsqlqwVΌ(i}βn1eQݱ;"%ȡ]N.2[0,(C[)kU/hoz 5n<&+dK4xʪ'ԁ&Pl[ +┧tr}ZJte©TP(}*? 5l c?_wd Wv 5CGvi JU2YyՈ-^0}W R纲ᾔ*&0C Lp݌?fCs{X݈OB[> @0棭cPJy!;o 'x $MPhP$.oF8Q!#*}3Iܠ_fSl̦}j(%{c^1Ȇ﨡[foAqoEkX,j-yxh!/CdDjRXDry;0;;=;/46,YœV[ADD/T \`wp', $4N"Pǝcv.E0AO5; R^+h=VϚ[;r?VDM#"!Aq~*b| -!Kw,fvrƑK*p/yv9ZS.Wv$"T"٭z}MGs0%SĜDj;j q^VZc[ouG%(cw3: Ҙ;sĵ dn~d qRL BB(N:_yxh=-L9]ڬ\NЈ3 D;:RK  Flw"E C~⃸_y_$`*K}oòg2m>M+vCߍ j, :.E.rkn%$EcK{Rኅw.A gX.6T;u ' l St#xD }4^f`gcW`rOۉ۶Ĉ2Eֿԧ}$0fLeQxuNf=kс"6ʯ~M]K7 |P0pn:눵l!1Yc!BՈ8BHح*($-U{< Nm\wDێ'vPmZO[TA[`RREi ̞PR A'C'[fȄL3-NX; LѢs|aEzha߇i{Zm@+cVAgMSzk;q/&0}HN WS⏩խȧc*{7 xsZ“4@U%Mӕw$*F)Hq箻tYzj_M#+AJ&>f |@G@B^t |]w,n\dTQkۍ5G3Q8 U51z9欨󺕊BTk 6\bD/!(Qp+$Y |8«64ꭉ-9Iw/l}[v6:p(!4$VDyƵ$'G##q D92fyۈ :7#m[tG2!/ՁE `jz eנȽsjJ`Y֞Aq7v^ '+Sk8}&U:~v>I]M(0JO1 0W8(v݂&{p4o ./k &Eu&\o{`8߱P1Musܩm#}ʀˆ{ +1Ame`4TivO Blv sd$)m\k4V>dT '+x2:9JAo[ݐE 6j4#ÆuD/ ժ}Є)zbEoB!@$LQwN8"<0+K? .*G*,Ǯ7†ڨep_?՛xΖ:k_#Jr{`S>#;zGyM|C(»\PšPBʶb~c }^c9uv aݳXAց5$YB zU^f}mE2z/:U\+^K3%'< + @ ^hO(}np']ff _=d=£+ZK)IiJ*/d2ׂ1" aRiԞ2pNqQ #aJՄZ@V,kE^U0?cG3MJ;.n P>hTJmI[62w;Uar(C8ϭk#sxӶ>oqGRe2r\e(&j7ke?lsMaTRAm1?5@y!ldN$K Q mH>躒i"œ izɬ. coPP#LL_ sO _UY:OsX}j)/-nKmJT[]4ENϓ5>NR3w;Dg=`X9_4{)lav 6o8I0cY̙A&Km8Fѣue; ~8уZ~䫙8bb2/QP,?art3]/,/G9{jR1 GcmKLդQC4LNͳk,7˭Ʒ\7 h)EMh~J؁F<YKc7/#zXb'!}ijiVRJ䆵d UN9@(p<4r7ww D&mPr̃ -o`T|ƅ.*A]:Ebg 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_id538 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\61ߥXܤ@{X w\8IlY%fei>b"Iq F \* Qӷxg'ٮY]}rǸ_"v6n@-Couah ,cI%QXC>z”8 P>Ғ6K"F(-~q 2}a>͇tcʫ@Hm  * E^!2rhopKTb_} sS,*(7yjI=)'pmtcsK歁3Vi4pXŌgm.E_Le̊<]Cףs|WOQD~)2_٘l"?\+z (n>ǚ5eHb[D32EDK,Vە4zJ5qSE+et#I<Մ%){O-hԅ^? _2ߺc;f=RdŰfCfSNI1;9^i X#<s˙e*'p'via;h]SI@{O5JD!s&hic,(N62:0#ھ3$IH\<O_NtOB*>XaVkJXɭ[x*^;I+ Qws`1˸` w.wr!^">.~M qM*DcЏwf*ہoN/HK;eqX\w`hT_s+Vcw |NX^|o/ mPG6pM.|J5ښ4kRǾ|׻8:Cռ++ъK  ƩHl+ V Oeͣ-yBQT%Kqg0qfLr]6`-2 Q_ngYZ zz1A# 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>lw5~{j*zBUXgf."VZ0&%{ޣ0؃eCD. I/:~66XzʣPO@yEX|&=:_ Or6Пq.R_ Y&$ؓU~ >G6lL\HDXPl?-@+oJH|!C0 c Jv5ϫnW0I{m鐶;Hu 74bڲOBġRV%z_h*OO=۴njˬ-P,O3N&p]>92x1<ReΘmhUfi(m5*_G5֘< X4YI@ffB7t%ݙn⤩X>"1eHJcI(B>iթ%X T 7ZZ~ꪣe#+}f'댒۩}4h⯌yS Q̴kйg=`G:dIx-Jݥ K/A~H$tl1b`}p0ߎOIB'5&FɹCmSX: _Vo< "59PaŎN3(k<0h7x4%r:ı-}Uf(ZF]՟fIva2란͜E6s6[RZgChx_oԣy4I?B-Ջ{3>QZJz|~^ D>3W0[m>7HV23#+,d5P40>VG*gRnXoSt?8Q:?b&65)@y#AX=S{Y#-gVoC9G,^&' =@?Fañh%mim AF4g#܃;8A+1Yܱ@t7@ähOTTnOIOqA@36b3Iô9?ޗ/:ayO_k~)Y_X,i<_> {+aYr- n$&ڶ7\_fꧬu.- SLbhpK\/N~GSk"dtuͩr7J>n5dcU6qO~GCI8fᬫB,c.B#8v!ڧy|M8q4X׈ՎM᜷G]L锆cnPiu+ϷidP|GҰ%,ևKg.PoxYA]to먨^ŗsbYYXQABڞ Hf,]zv~Wot Q1+Gh'3 ehZW|[Aݹ %5;6u6LFE=Mب'Ssz}fM'wL7fL|_Uty|Nz?׷俆(;JߦW t%>=& a-xѥz"&#R'RVrm3&svB_5y$3 #vɩIėPȯYR'~ᏦpWɘ!C,1zby,o^c=hYWsmd䋽R/?Mݑ-2RÛ?gxqs`Ӳb^OSdiI9.NJ+TӍA?g(ʱJNſP夯V.yo}{2;3LAx*ց̠RAH]_EVqmYp53}Lf (ih6_PˊV6P[=ßѩ jG&X}qbWC께j-^^\@=@#H n`ճ]# {[p}V7m1 8cTe-7|3&P^\\lg)K+]ү)F}HpT(;6[5"3AeIŞL9߬"j !dgi=4z{ n}[vh%w&o ]n{!g%w-טE:Pfjl[~yiTṳNf>9Fs?gicQL/Ksr8+*7 n1=hЉ\ق-!h8i S< |6^iP $bxXdܬ֠o"~A7RyWصkx  1&2ZDHT٬NnL۽޾a'.qLaoXp0-HeX3fN:yuh1|;bK1)Iqo| ~~siE7]~va$;y}@CwsLS=-f$p3WvMlzA^WKnwP ߟ&L`7GxYZ/VDdɭ6Ū.@uF'i#;='La+/t!}b0G%Qpz5W.@I. m#W CdC9Ƈ^I,T% \ba xJk2tTP!{<^ƑpK ?֖gĭBD-F$DOS\򒇇\j!9H&]"3s9mYyTek h3F*Q4U6Xm N#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_id5141A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\qVCeVHwm ݊ 4Rp g?v"R=)4x|{S2S< 5Ma\7Sfl{|m4f"ʕ$c\5(9Elo+IOcQlkS|5P-P`C~,.D;ZoчN3%z,%m}Rbг`Ӣ.wH CR[of ]em\Hާ̝J}'E'VY´50hmpW&@ nAse)m\WC5ҳasq~s'EQ!#78=>۪6 d-kpt slg_x~bvx KbK&Fr qn\j9qu- +ta&i(5<4P7_EU~.Wp)wRzzhE͘:@ u'8GqЅ@T,#RSo}FϾ4Ŕ+݅xejjPl? ?,;,ݫ\9:E[F0|u^W3M er"15k8X8jfcp!CX=]hA VKJ{|ܒ#nkCf##k)F l~_jt51fZ.ao41j=R{-e#7:6ai)ꂜސ6 \AE sOPAƓƤ:,/v8'(>xCLsО ۼQNs/E/Avy<]KƫjK}(y̢F@ІՃ`eJ]DbR[`LxgσK8Ƥ-ЖZ =7L9[ZЋ~Jt?::T4äϯ^h' xycVD,/X P?ѱIA;N7NEl6BA ,YD:12PtP$V'fH+\$ VdJU`Gƨi84oe fuuo9w8N<8 |8>Vҩ,I2G 9T<'w1h Y`p %zF *\vvSkD&Tu`d*TLz״᱈b<y8iTu .b!nOyi 27)Q2hGb| A\&7A~Ef_[׉*zO1uElӾ˭h}KBÍDpA <4_MkUIE{L.ew`Fؐ@° rgG\Z >qdS6R?m)?i|/}X"Ǟ c1ޟ4jTFI* _A٧9lHFMoS g@Z6MB]?Rb'jFJ#k:˵2/gYZMo%+U?5CaL) *-k܏Ue6~,VUOddH"Fi+&cᆍeIL^Y#{uEJb~"~RYq_4H1+xDP|k쇄%L%]_(7S<+IXh6L[gZr3g[Cxt7)vwdP>'%hZ+8?&g"41~C X+`ñ޴pEyp0FHnZU]SJc!"JgSK[~A ܉98l,0{z"XV@zh* &B$9.Fjgܝō7ԇ|*WxER-3 A1: mRm[$!y:XgloN>q[sh@/4Űl@u2@+$5v׽ĻEA(^ gj\n`|? WUs_@PU ,#-PRj}Vy0*jɎS-71.x0'WqӍv4n I:r K.H\u=;I1i;^fMFbZ7F<#n;7W)~TdgJыMZ]T'J.POS2M`܁sC8 0κ}$ZZ3.lҲ7}3 K{w kLV@j'IvmO?u:[F_t^ǁ||bvg63ImK˴6d1՚@Z2Yl:NoJ_J n,Б,BnYUȹ jt.jJˬj=u/JaŗC[ׇ ﱄ:4DUN8A؉E֩ "3} p#x /)`sSQy\mCfYT&Μ-~@Mm}oT! Lt9~Z˥7a>D.v;X*I:nQO/O== XRJwD0 2dU1劻ls$CmouG]i8V"e kЁ+, .*E90M,P1ìgd) _\k_O EF`imxT4eNm+pAMcHl\"!].=j" neA\ƹS .(*9Fz_Ԣ)F CQ r ـX%E6!=0"8۞bV!>Na$YpDNrضϷ# %%r+e\TۈPw]^.CĿ1>9ctňv~'݇ezײ }i23tWRqА*WaA٬tCQ9B"wN9W5t菱0f&=m^\'rt$Z&ttEO'/ڨy^AH$#wXݣqE6t*(CW)b/H(f S83Qcز_F;Ե in lwh[oTs5}&?#!=KrUY#ΦJhtT $db][h9CQRB˱W+@o/7YD#ߛl}3ؾ?~wX S|QɦfG&zIB"%ȁ^ ]ʇX3)'[ƃ*ȝi˙ ئSț{>яP) R.0X,P+0Rsw܂R܅䝇Yr=eӃc9,̤`˚Ɇүe)C JݢxmU8"_=z7kؚme})RY%ӒĔ}*΍uz!,Jek{Tk}{/:67\`r-L94TTFMț\O 7˸fin5־%?~fw>V#t}3bxRD;QJln%T.+|X\Nm C#GUx;>5ŬtA;3;IG%^PLu'1-bx$ O~dD>lS7K &|{)&N)6#x Ck;4] K⟮@̊%=vԤF{1^Cqx(Z)2S,zO n"5L4~"{L mch˵zt8.8Ҽ$P)hDo}BD"G%.\)Kczݕpֽr+2ŋE Jl oO9֯ yOr78K^hAĞ9yguUaJb\,e)nP=#'|?pr! q.mǂ *BG=j.QgdxZSM 0sTآok8J쯶A4׻sHC2C[w5g0!Pd4 KN%.^N6LÒF_Dq }h}i%u&HK5*\ɪK&HP]mZXSڡ&h.y%'/q(/7%󅚐,ϙ=5ЅuP;)P:8럒RMsjԵl]O/ ec<], ?ps,G/Zp,4^A$|WDuJ{jO]xϸv#ـلU[4jʆOL7fhS$OQgg2ѥDW(a\wͫ"CwξQ*V<>մ \%G10BH/'+ _+HgYZ  p ! QBh&1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF%1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id526D$1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w<]D?7 {?:fH\7X&Ͱ(5}׈vr/-+8Ye 8ʦ/9;`)tU`ƤgH_3y{(fݶH~ BrWqnN\On'6m:ٙ{tBh-=z(ӬW)Y[."ԯM!]l,]mJCN=pYqIW:RX Z5ttRD0zwI3dC6m^cc1k"Ry:{Ԭ^4kK@J{/֫"WE'ø#]smsӱSghuCPMݹߥQ<\_@k'vwVΣ!Szi/FM2\ 0ǥr@= 1n|9Nay/;\Zc+𓘨x2]ƶxذgZT|B S,ME+Py-|>Y@d\m^nu1fo"G=XEBthKadCexE ̉J.GO-Iko#℘DuRզ-GJ&DOGrWz~N^Wۊ@):(+ht8A!v; AŎ󓹀\NH0%HPN* ri 7P$͋L9NVIaG=V(%ğ]Z[C;/t0x/]Q \סD~`ҽ \ q+S!qMY&kʞ I:XaHwB}xi}ӷ章ځ8"El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtobru_`Ljyj]3ﻙ3)0HQǎmy@@r gwѥ[X@Ǫ-*"V#WŃ.NUĂ,ZNfrZ.v+g.9"Jd$MɨGx龙 uRȺhMal9,3,ZKql YJuNOcrCs>a!>-|+R-o$wiA=q6i9:ׄ`V-j$))Dֆf$HJM' r숗PJ1s\m0o¹ lπygè /ݑ1Ӓӗג:=? B߲F>)$ eG|Oc#܌$&"OFC9;!jY䦩 G$0 PKqiit{$R!ky[ydj$?ގxSC <PSPj7=7'@98#i.(;ph1|e5GogF%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\6+(Zqp֐pVIj|[ZQ]K9,?W5b6{cƅ*_@xƎ™,+RgIh!,5o ePբ::ҦIs)dYP_nh֯x?xM ޱ{y;nY|NJ"ޜ %kWYWzE"jA<`AiآbE DV̳ZYqp:)ȨF&޻W,LL)IqՓ3e#8w{7wIG/FXjK ZLmrVu |:U+H vv,wn ocOoON⽸ZgYZ&;b_xE4V79"yYk4 G GȚD3`GoT7xt`w״7.̦MFyvH7 ƚB"N|' O IC.5o2li.>QE;" ̷91 S` ;-o9L*EV1̀QQRvo!-bl ^QD eQ!Hӄ^,|-b'q~0LYNk?\vi+nGki 1 +cD\OaE\jjB-{.ґƼ@Pgʜoi|zJ1;CFm3m[2ǎALI>b#8d"Z%9okAQrRiը@R8em,.+HM[xcZJMA o].:ꯚ:1ת97L8̄,e/JaW,"qeRLv $k4;h!W%42m>bKKfva} nO;V͖w!ʃ+cXM"tDdl,HYȢjso~לK7E޹efK 0H#D Ґglnq/^#CD-/Lt0):YLboh2_)1>5k-hXrl3'CKJ05hR4? VHbga~] %rHq?GW;8~ПnY&OO tQ@ѮpK4 -Jl"誒hVr>o$_6o >pG Eji$JphPrnJVdTW9~=ϕD?VL|K,u!ɣu %ܕw%t[x`w(@;r͖;I O8(B_ǂ #/} y 'Q>\$ͭ+AR]3~`V򊘅|c*.l \` Au852q[Yʪ`2\.p^uzS0Ll{ dbi88#3euIu*_Ƶ_j;^|}A)ȑo)cgk7_5C:˘ĭ(͓Kp|4"i%z H5 %P&7'M%*)WL%ªU~4/%2H{m?{4 1?f{'SJ󍅴%{Slzp:6m` ]p#l?h͸{]([9Hcq SFu8@eȋ!M c2Qhϸʨ@MmM!cgdIs`KbfƮ1|Qd|d.Ǒ PRm !T&z~=LUI#3ڈfs s}4H _EvpªXk\iid! 8,4fP=֢75{gjQDFJ^ݓBv  L3mXrdbǦqC +ڷ@qbdg~hF[{*{9kq4d&DJ}h,%OL.Bp9~벁Vk9/fbŤd[TKB]N(-HXyB2/Osvhr&4W+oX5_DJAd;6 K wZ݃mUVNXq ʉo+gVJE}Ԩo{V.Q P4_1 #8Y#2'\kI 7Y=kkj:zkxC19tĴo3gO;rLfK1-<\=)z5DHT l?y;5WynvkĔz֯]boG45G̢5UAȈ%T;ֳ;>/]y'oC<殺 Wc7+쉲؅XTiF5 xsi[S&tuSo1}㎧I^w G䞳EhδΪ(۲G4Xӝ~[B >OƂ[o+\fy'_ue쵝^%Trţ?criJ|M*9j,e,ɄrufkMT4.g)H7pEM?̤A+۵k vVJ&R[N"r.XAEh$8c( CdO"Ӽ5µqf:nc&ʵv0wCCs Qղ7|9>;EYѥ$tN;Yc(&74,FP:ЬX~}9sJ,5gmߎM{_#{D53>"^G SdpoKH.m;ţwHs${JoƎDLKJ;dJuA&~}2p]#FέAyoIcrI ro_o!;iӧ,g|bB5{t&FF3GAʑlfaSz@uQjl eJÂw2TI˶://cgtxaBimz%'XZFsGU|!r(UA[~L㖭._Qu 61Ek⟌({H2?YX]J iTF,}'Efy d{.~vp}K SK= U P:Z<ͅ?Vļtêi/nvbhqpGA8w2N[.u]L*|3:dcŒw\eFֶǔ8H5vDߨ W`fMDz=A  ?aM,zu%~uEv3lNx腡^,.h?bzHH 4l Rp-'SzFӳe{xDΐxg:0A_"ar.9!Jg(Kq iUi3׭W{+$|dK\gX%}l0s3![/{~'>~ngrDx|(,3s.6 Dwv ^-QK(uDd|/!FuqIG Mm3(3ʾ}6t&*mU̵^d@O$ߊMyvM4nie廜QNL/9~ r5 dD-~j"O'*+BcxX+FZ3-Lua NdmY焍^/J].a vr(l'cX_;`kcJ M"bzAƛ1W3">vWHW>Ied\yLNT-*MqTLUikxZ Eͩ5mZip/fj)+dWA\zW-p MK NqoS,ȑc~dy6ْc*׭ i ?f!k]*+H"x|IDttv5H47ݳ@j ^͠^GCvtFۏQ V})p%H:<'N_|ob/Bu~4㼣>) "ZYO}Wxt2\/eG xٴ&E;Lto>JLoS zFEd'*E 2cx5s1 9pw(~Q>X쉿 ťf~*i3~]3ؾWŢt"ZI:g)9D䁹r@ F8dYhxǟYng!bv]yu&sc0hRb]nEVҚ~.eU0h㢡DLDꭘvr+F X B}ʜ`#8pLd#(Q{ӟ~nzl+7qgVib:ր`KTQ>g*z2Fd|ecfM$8_Бx֪z gJü0vdl5l|Qg'~SmPkI,٧cX$vXSzh}/J2ܝY$p'0_t*Mɠ0J?^@$fw_+0=ͳjI\D 6L]G΢XP~˵0%챩9!)\l*jn%QDFPbF.$w zBE#ymqdLvz#5GkM.&AFg -h'2RDUUm\Gm>gYZ wv*1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM)1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id530=(1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! <]D?7 {?:fH\u*R 1]R$18( ͛A(z M`^NDҗSr׳bB}M4hf웜1qPj6WkQr~g; ii]8PM;l UGilK(Ӻ@JX:ģ,@ShU! 4r&ipo/ ƳV[A+Y|8Ъ_ % NMʩZZkk:MJlw֤B>xz?'G],|ᡯuV%F8ǀpqiXȰ~瑃ˇYC&GvR (!8Е8jBB&}{?}0X?o%NP ԛ7cbneX2ơXI' y$5ّ-CjnQ1̴r5$އz>E/4X†kgф(:+o;3mso"x 4 kMFe}d~z~M`䰽u\|}xL~~nܦ炙7F[Sdx"k%lMoWL=+bv-ƪ*2Ȥonֿ1uCp̕Fڀ< F ?Yoi5"8+r(n„@?o3fһfx+ĥC$_4e9}`ZF*U{6keϸxJGLrfaXoL ^܀۱&Pj4(5IhRiUQ23UA< +S)YX.G3\QEl?IePC]Q0P۳ =ӽ0 'M!ꪜ.1alHB }4vtBqZ8SD~18sE,::o-N'QS,vIyg*L}j A倮 GF=Z0C M#M77GC_ 6af]@l1?ڐ0 3TMO A-ö﫲QEIʤQ}okM&_q-DXcƙAtϷ}C=H<&ZX6C*!8/&LU&R9fSk` ǀg" ~XE^=l`rSY "@/sU-Bx>ss9S| %!3΋e*61DOvΘ a+װfR0Y7I;OK0:tGHQ*QB{$H$Yo`_Qr߮[mtГC thgEbxԍOd,8K+m1=V2\0XNkWi`$UPr X3KǓ]:cF Փҙ@*nY# ?)S넬lFJgR2j[P mYk!A"m`PEHD!W,:IƀNh%+W&`n$oCG[xC@a: X摃1@9|꣸عȦl~CEAz)wjhJ57ԦOzݡYntʊ?)'-@^(k”%l,ޙ6iآ:1E&\}Z6 ,Fj0.l =%]ײeX+@߀U4M?O_:e0VaHA T:e+WelQ؊-J X b=r,#  6^o%K5\{Vg6/(׏*f9cc[rA;g64UwTdRwjk`ULT"kA7>}̈́?:<>TPS{>:wֱgYZ) 6E& 2^[Sʤw LSp"2tE (.*y'E\Vil_Ʀ҇ ZitNمjy<96^50|B^27.$J4h?벘r&J6,: J2Z}(G n8k΅?-CoXbs;OטB h@1[S!|tZC.e 9~Ol_IG,}/q3%lMMvXGr y ބ0c%sQi|Ɠ? ?09$w mm'%TCafC,Y.0+9oFq[ʼnL sΊ8$f-auR*| ߑ 併r4n) , \y$~R遤5@npAC}UE܃{*0˻Xd7 uqT75%6o\ٖ9@5!{w!yYG:{@'FߩPnC!,+ujLHfȪԞ1U bYhsHąr鵕ۮd?ps.fcRODpB*_m+T 7]?πwԾ!A^rn#*j486ENJsB*"#ͨ9Cn"]: ^ zNЀ5#q .9/pHlvT1)ϹI8c`l3/fEO %C㕐~߈LDHbv5WjYM'"?&_ԧqFtȔ-bXXʼ \|AD(n:E!pELt? advς~oYZoF%#`Q\mgVs}0Ǧ[nYGCUK\4ZXG?[OB0*UcaYң]8(Fv2r7RΌKΙ.E DfR,=zNqD)6-l:`B:DZ'-Db0TDd8l̂$x{D DBvbjpy/βFD놩G!ebU0Ȭ\H^;h҄1轛4c;ԏ9C=Qԡ%a$SO(*+W׹`'|݉IhFP&-cZͷzO~ms(\yB&.HolӱF0jM!&py[+5Qxq3]T{|OwiHOʙZ?YיH"´k~ytԊوG,w4^79tdE"9ӽWZ+Q NY7)TٟhkEȣ-Ik)/794=R-vt_oяL=I~5jk"oO$lRO7prwMnrcdPGP^f_8KcjYVM"* '3Pآt#%$p|SP>|֣3&]:kY;.>Iohn$QZEBpo^g]FfWFݽD._)UZ ,6ı:ZjքasѴ RY "k b'~44Y'iYNC35 \A9*еq)6a]X9 =^vvۛUmЕ2Ey#`wUPx, ȑ~ Cwq iK؏4e!k&!N){!=H\@w}+%wLÊqQ4I21Vl H|XVg^p#qG_C mZ3Hp3AsS29/sw{m-,ƹ1\[ޤS +jt8JE[Ѵ'G1^$y#LE@~׳6#C="ڎㄨT$D֛x-{a*1.p`Erc>w$!-Syxm䶂>gGC,6J6`DZ8qEuDZ>cqW7lD62qC,_yV>zG5LMu X:UtğM(?{>o+]Sv wǟT%HPn+wB"_?Oz|LJl+BZV$jYg22S BU o+rP}VIﬡ$ȴ5s6Jpr|˱b,'_<}-PHqdM)ڼ-5PsVרMXY뉵\@fWa؇~G[Z:a '3F n:kpǗ,^ڵ*s hx3vl3um.\?tK!&lewxl=N6kΒ]GfK*1pbyȱQVmvn(vb5{%#pKjs*c+ ?z; *hq-CΕ +8fdkh$!))!dYK&;rӂU'v,|NZ@Z7qWW2tQ!{;,Fەu?av>k4WlZ:.IA.&FߌeK*\їҳ:7Y ?9G5.7p?h $)w3</Ar}쭮\^}nO`eޠpwXbK/=:9GJebɵ g!ՃɎ_q*K@y8!u?[n0:[ཞwKN@Fa2C8@? A&_I=;  QꐵnPUڏmS}Žv67[Ck ot XN/ Rɞ7 dՑPΎsHTЗЏ!%z¶9ȓ5vq[A"^ljWLˀ mO˜rW2ɧ|· 61MuG#zWAË=i4.Ot@&IJ4:EKvֿ'cHA3EJ1Bqi#MV%jɏg^`m8O[؜Qh&'=K9TMsc~86^֗; BiF'D.']hd:"fz*t~PU!]y_{ {.'SV:[47QI Hr.CdT`*u,wd.oXSH[ ѨgnHffVazʗV-Xw]h[G&rQ;[HnpH|bADYؾ15M3e \y,_݇={Sv UDЧ`ƃq0#1 V54pD4!w3&YDe5.po 2=iMV7jF٘ȓ\t?w9Q}8U)|?FcaM,Av6#'?;ۏ{ƹ?9ٗ\CÄ?|Uٮ>;?c~Oz}mϣ7q[]ɇvs+CXK]_yL>H)L.Z9_.gUBR7e4#B:02m39.yS;yKTEjTe{s }.3F `Z nI=&^36R$kJc͢ ,f ]5prm-Y- ΓP6Rʮb@$-{xn9]̰f)ReCU*\\q]*0$+gf‚QH(˚*Q蓋atұ),G*.(Q :Q[JV5 ,y fy}Ov=k* [*^zic޼փê.jlh֨6r|VM4]x [IQo^;m "8y'{ B3[ -m|<}+W>6#͖izڌ:ܥI{5fb֪k̹ Qρ˞Jxi~FZ\de\qTI0TƢ#`FCpfcKX6k5hT|9C{ ɑGoudr^Sn)K8+aIH>rf!2"z{S[}Hhgw>7U- -oz4Q3WZ[TIt`y@];tc7RV7oV.ᠩ/OwL:\>īqtKXW#Gfz7 nO*MJ8,XT_{ Μ@*{8؄;J%9;Wj6Rܸ+@u+'ȊXL 5ebGY*]_96/L`,A *`tcE: QXtV*nf(~/6j|w$ =noAiVsG'\XE*|fƢq37H 5hhYRҁ j`q~E47vh)@cGU[=f+Q8Axϼ9CCRLʞ@`WJG:c[`'kqq{J~$^mq .Q[ŜX(u [BJ*xT'Xw|$^4>aB^&:xrBd/TɃ2y}&9eu;)/}vG/>#otE:A^C;+4I\HR̳,SU=Bޛip986?n?}V/fwdEcx#>B|"mL\S)cRJMp`a6Uͻg~?ZvczJ!bt)|azZBK{p7o`,EZ#c=Ni1^&JjYSˣ/֌sɩpj?%RP$ gc}_xo숟LpXyd RPIdM".`0%G/(? /ȣ,@]&>r@n.F(Gn~N.yDBH?Ԇ~_#3n5az2'/I'nf`Uً[![]6(M%N>exeٙj7o dtĽQ ls­ttr6ړ6n GżL*;eԭ}Nh(b:F$Yuc)^Do=OW {wvֽc߳UiלH—; Mg}̱Xv/i jx*4OszߎK: J<^M7vi}}p >,I(S’ϳܘ4MPq8%֦p"! tKB&RcY{o+gw%w(.)h- hP3A\"yQ#T=P9k`V"4l*̘Nk k|Ld=L=b~YcB0"5f#ǎj BȪ.vs DKi^Ã8(PI겾'V<"OL`Od,\+-bͫ`.l 7?l:^qIqyXAG&f ֪PGCSB}[뢳,sTBT L^g)omƣ7Gv.cu-*cI?kXgZ~^iẾF6PɺVs/gXV>-Q_U9T H’n)9DJQO#]< z06%T/\H Ǘ`S°~W& ʜpؚVr$pα_KR4Ez\@ى@:.cISK`ݭrX,.Pmƌ GdxkB"}a_$TC,hC^ix[4l:h8`*aᮆGpoQ?y~!ܪ`g9;_18PzuoAX3#y"+c~"opqP_G-rq. SVg蕥q/^𶏴rSポgJEmX&-dgQ[ڣn 鮽}{;?7N?PQu٪D^,b,[ま<0'nm8YP5L\"_d b< t5f&T7b259+ƶˤz+5Nkp=+{qG8J_bvW1f +[x#ˇ]'ױEGU6 z%'.J.d?g1JS)w1wڄMCfP [ucn2{vL(nIz7SW5d"kJa}bč'a\>Š? `('P'kse:hr7=SY;sc,y@)`O4 r9h_!@ k+FV35~a'I<*;~P 'B:F)0 [jW4FIˎi%7?C79W ΣKvZrZ=vjQO-~)}=ʗkѨFM!h \& 'SɄ xP~APBb~[mc-`zVgG;HoKWxMAJߜm=1ݝޚr=7*D\Hk}v%O16j=JS$<2g)~DÇu1) C|雥T=$HR$~Y~"528bg9bԃV0ڗ̤|FS=ԋ5$;7r(B3b~TXU!~&CK2s`ԅ[?c86]`؞阚` "H4}/Nd'?`,KSWUUWU x.3l?Q~k}>-6 3 d:YjFr@X}MRL9/ 0nGG'%5c/MCw7˼dwp'$oҫȦwG;vunO1tw I _ە4A,]Z2BP5MB5m.A܏3p-~/t)&mcER6 w. ĝ@]l})Cc h6vEdwc zʞ')SJ5l.!(j8D/Y>5玷"EZ37'L{k 2AQ~YPGICD  ʻ8b{kFQkJZhMݯ~\ѧ5bA>Da2}'KVᏩ'6F/]6b{ `ox%!V l@IĔ 6~cy6D){R1L@r G4{g- m 0TGeA>` 2?)Yx &\hNrDM.<+/Jw`9{_W )b1iFmX&b8(N ~&\jBH\8.q@npa 詔m3`8!t}9M ᡻+T6VDpfQ,rucwZ醩7|Z}n$T:HX/Oz7 h#0Q3_bN^mm!PC9I/Kp0Y\|B>db4sW'Ʀ*/QM`{ڰYL`6q0,mQQG6- [us"=Zf(oxUp.[XFF^`Mw[jjJ6 _^'h.VN"Oq-VKY`VfV\*[qu6TƦ q| csddЖIoN͙J5CjAZ+N5ƹb }0SS!SnHҌ5|7SF1^lPxwȻq sPu#?!DV]g2E;k6.ʋ .bi"dNZ*3=D~zjrDK V]Sװ埉\6%(`|#tA=/DzO9|c` U4~>4: K:EԌtht&['"2D*$s"ݭ "^93 ϶q /RKF$Sc0b5?ꇟgYZt<g9_S>5hՎaTovc!T)]Myht8QYuÒYID1Ha֊W \Χ .֠(K 9BJesHMh,ː9MO]R89nuݻ#Eti4L sJPF柆/KB&BLv:=%q*9lˣ 'JѤ=o.iYIT͵![Q(^(HN\PLrif:!QmKc<Γȃ-0^śOʼn]6y(KNi-t>4Q2x$b$~w1rUXe仦ė4 ɪ&i s9[.ʢ]t Xڼ #2=;Lw2 ʹFm;; C`ßvUoJ;^jdQ /CؾS>*P1`)[ *ϒcT|umHpYDP"Op{/?•BߙnwSlX^tx[6lQyO布ڇ3EƸ:ՑӣO? LB]Rཹ_?cC8PtX7CKeI:/y9L 1H&)I8eϢ }隖8zU6Wز=ĚVvݍg6r似i׬- B1PY̌BAO$Fbg7,-MKs@Mٕ1tguaEHje* AoQjK:kMF7*0ݺ9yML^ZMQxydDvWdl[e@LJJ*^\fD ז OE.nY,V &b޹&eƇBL(CIMQKv팰{hUvγ8(Qj׹8`NĬ"%Ey|@MȺ; |'}H we#bzf4tR61YD8M&~~gNP69qdm2)\[ u*r|Iy;/gסK78Z{:^4M Y2rʀWtv l6j4KFR6rQޏ{&t_YlsHR7Ƹtf5`z*ͫ?qZJptwYAXR,BnV }[rRF .[wmlAVOES)Կg0/=-z]'{ZaH%|8,(P 013X)íE'P6j(Evrt]yIQ'x\5`aFq<"Gc7ݦ,%A~}t/{525DLqJmmiҜDR@,?kz1eJ0j-v~y{)A%ֲ\? SXK:q춚X0Xxe~zpfWiw#˱U)7^A}K)Inx "3')+q 9NՃcd`qlnp :ze>RWV3-fG\U QL)r_܊@;In"y5dĊf`LS4lQTT2\uC8%uPŚTτbC77|!޴VbPOհ6ij._<;>zo_#꣦SްAr'=z~Y- GOĘHTąA~\j5EJE|+N8_wb)p-r]M8L`p[Qpq;`}Ch &|r֓Q|#9az"MNm&e&xdiw&/h%Jt|2z]>7mE2|.p\WY 2 z}gͶEyw`ͧꁍy;gTtq+Gv=$_TIgzT-ǻ hJ Ve! 5Rf)YO'4Yp:^5OӾE{ńdΘ U[j׹΄Z  "]͜x`Q'a\|޿=d3FՖRXfjވ7ʹF[YA;M666{ߏ(6uSL39`{M*KΆcp )m_8(ŠHAC$pX ^'DWb& | ;)D#bxDZONG`){+78&Ig{W0k-i?7t}&)f&+;4@֜|Ĕ\ UdӞ~kևT,G{BYd-$ 6Ĕ֫ 8J;w>`y^'k_5:kcCX柑&|yp q3#ҫR!A}:V94o'y ?uvf|!J\TKJlQ~ߕMF0TR]p T``Gxpʱhؕbz0~*,nx螏󡋨k>J9j2.YyM);#c+/bݓLCp /H;Qnz^2Z,vGv.o? E* M󴁟:|K#{a 3UJHȣV;M+5 %|l47+ÖBѐgYӷ س@DbÖ zdrc.dSfڎnE.FUHD?ܨATig&F?({C1u0tX!QM'd\1L{gmg>ɾ3UlfL u!'G4 pae'~CL[ER+.VN:B'[kl /r1t/`17f|q ɊSdfGF.8ek`G / [hgrݭJx/Ɋog4JA1yyhXFa h̽CZl̢̍e*AC<ˮAg6,kg@xJ=W>8e8T 7T9vcދC ۲|_l@L6lnkKsjJb}88wᾎѥ*nx〼4w[{H\A]Fiv| , eZJꀂ@=p[&T!6¾>Mk|4*%4@<f,77"qJ_)|;筑 =%ZQΒ,Qu['+*pnC M<nR^`tm}aM|7\XD3$ڮ uaC F5z3ΝkҤ5Eyvf%N r2TX&L[/yzX&/ FCʪ_-UGP1OGemSP[::bgYZ AA431S# dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! D,]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)-"(`1p^9 cٹb7"c/j=#_*HԨ[E\wnI<4Qk lm#(i_]OϜ?R#f !@G[m~d/D1& FX"5J$d&tXBٛD+D;mq". PpqhSt˗&Kܞ-':%q,a sj5:dq R ?8K4S֡I@5zT!ƶl4w/V[r?2)Q$rNnPg@$<"a"vT 3]׬1|ײ5hr%\˸q"/S@<= W;54GvBq־?AJvr3|#'챑V8a؂i0Δ&$qY~ O"ݺQY Y6 ]~!8-InBvG0@m{tJ^5fKL<㔻rˮ~2!ؑъ"Ϥ|!"QvbJ-Ov9L)&`QLk-Berf#?C([Q-jiD2萢 d`Jr\4u55ԁQM{_W9O9g>B"!pvO( qr";"Gm.e]bXc\k+|EQ:uG91V1KE / Qkp(͝qS>ƺRMYL Mo\.K <%R$. e'ݧH(9x(X;Zl݋i} DH?L5UďyB9b~7}qM8Ơ{>u7[S:R6Vd6")4x{!:wPpOIreld.{tJрJe g 92Ś;V` 5}un]-}}I' M0 c/,L@q0h ]S'G'Ti'}5!r̀c)=J{ovi!B K#E U=؍fqAwՕGݝ-_`.}*nGu}=yBzv=K~\y89٫ir4(Ӿ>Ap:I⤬uUw_%T`|lk uʖ^0Mg_^qQp>,CĵKffI%0#<#/Z=)7WirSdEXGٟROk?Y?ʟ{(h S>A(NS݀ }qmɺlbF}gwp@:B>.;H,=}?7rLW -O$'qsTtsR1ݣp~V(Pgho%KL2gȄґJox-\,xjMIY p{}ٕMq "VuԢժ(Gmќ>teyFU T08f5C?x/L*a;b&ʬ/sX;X~7WyCx[~쀨k,s76T/,x\D<|!AWFktDs& il6Q%}Nۯ],K=/+2G2܆xuďz3WzsCCh2s5qgi==#׈IaW~(AϸNVxe(dfr?F]zx iS6SU&<""tUʫ|&F 'yR -Z,[xcI[f/Lv6G:3¶$-O5I?[ǝ.& RJK*: l8 լ3᪉f.^(5p"&,3Y4ڙ$v1]'-Qɡ[r6I9Sީ$qvP.jUH 8il*)3G.%pZE.Y%~!lc 3kܱrP-  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\7Y"^{aFQAT_PJQd2*U)|>ʤZQxƂ }[xJ#^Lc]H\@*/4{Uw9Zsk쏺avE'D3T Jl!ȥ(KSUk[tSOhf t&Tzr1y㘖5lC LA#Bgnǐ㫀sp~sF5QΗ;&\b9rJK1#O.|`48n 3/Xfed,n 壬Kl ̕l$S#fǬ m.:@/@z &kExreEʌ>7FI00Cl9[GLHOCag0װs靇<|e0< ` |[as@ի"Rjjf%ԕݫ~Bs`gEa'wtkREiF[ &V|3 * %rj*:2W%aAE.MACma{~r]Z2vG1;Qet+}ь#!]ހ;ncfB$k(B̕`TjZ#A C/(U Y].XV/dy̙X#D]1JÛYd2q]*zsF> 6*a[}Lh"&`9$TiN"5h:l$xVޅ6F>wU^w7 ܼ{NIz/ŎGܲIGS׼;%U"TFҜs 4Jz  ɳya8`m 2Z1 ʅ\j^ ]kA4$lI1hq`<[^6=JM맂VR+CR/c}dq}dITAgaO2RIUmFcc=pюMpaN0w Q]&E]J8 حReHqvݝvV+KKshw93hhw58~k 6{1`ooyx̑rd*5HdwQ2I/Gj%ם|rT)_k2%cOC +%0%4E/rޫT['B2!?;d-dُZ  ĤYh4U7y7*-Ԃ E./Fx96qHFg85#ߪZ&1AiiA?pg 5fl,%Y3_7t)ݢ-G/ DH& D`Z ;k'KoŝWgV$$~lMhb,jTt4>NMwL]p:P>ͪ)yl '1Ԓee;$*v/+3)/X,bk!~"ƣۚ&Ip87r\ߣiQ.ugHuSg lEq1 o*]-7;CQf~-~+5\C.@dDܔ45gyN*PKط=6n:"E'†ъiy%$Ѷa*$jdHkվ}<_В[;ݥdt,X<:su*V3ɖQ{G_yzףLts3蓏@0qv96s9+ImLN[50:P)d)Vnj'Ry=X¾hB>#䈴7Æ80~T@ 7h! :K-fF8$;N]:kxMUDHSj /ȈPx;Sꡰi)8rbn),qj:n!WO #&qP{o4E d]u)E?.Ӵ_\fazRV2ז(@AP~NwE1]đGt&bщ\_̰9)&%jԍ;\TVzD?V3;!Q,f@nˏ '"ftvEgЪP;1 /(AH1}>93 k2߈v%js?E*y0^oc. pKs ͟ Y`޼) n}@h1N5Wf"R[G(hSE$\VoIh"41Rf2A2?+uTyn\74CS Osi;^"t͊r2\yJ$#eFO?_x!fW;~RMэS׻&-J8JzJ-{˅fU$N>[ޚRbXv"p%#NFNnd'-F]JebB.Dz&n^hbE%M6!,e_vIV+ޟrOm1gjMRb_ziA=Z\)#Ǫ'dK6nJ^ W&Mf&bw]'k73[cUjUgNC=<wk`{з6jl(hs6$K"g[6.k28 `Ifш?f1. m8bąŠ I"%j0FRٌ͗=6x!jS/fq6b6'j'?/-૓mfW,QĄn>`eb6#&y-(ul3Zs%]7~S.2^lV *Bc-nt]_}))TQȤ]F^fhYćÉ{E#VYU'[$n?`39]+=eI_1ja7z_ٶѰJln!LK%Ej'N[m#9 Jsv";cbm5mdV(3"tJ<:֨Dg3i晚l*WLȱAuF]i e҆6ټAЅ OXEjH[0Ԁ<׭D.~&q>665B~h,hbph4;HbA|Rtc:IS-4)d뭭<3Jv a>.X}&Kwy\ lbP:lQTڽlԴ׆QմѨcNf0KC{]C.|n7Ҽ?S ;6:I)n ? yhxZ66ʵ泩fK eԃ%1oUXdZ,wy{tأZ:q<צhʚS Q r7p9c (٥i!ር\>d݈#Ԃsi<IX>wF?J4\I"XxyLZV af.-ؤp0Ӹr7@:IɼZ2Z0:'9!2Ipe,仈kw ">.E$ $6€[>AGJyM] RbjwiLes+,=Ld^m6[ajB.t`y{fAJiwax(~Wo%*;͒F;kB7}»rHn 柏v( !S/#wt5_ 8.טj?1B&Do CHbx: OgYZ BB371A# tHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&1]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o T\glۇ9ȡs8c었^tE_o#>>i<&7nmc^7 R!ɜVT|eQ\OI]6\V^Ւ8fE!^ GRHe;(OęlZBn~o!z-&k*1BxjkxFV.[d$i!ig{ I R4hg`c0*HC3]i5[դ]'ԒYHֿR~3yt׺(5X>=q;>M-aF1zge4˒/bX||zt8:%Mw NMs^Zv¿ge%juvW ~Niej5Cw%Z 7hU,Ë 4 ]#Ac~=]Jyw{f##gQIgEh$,[xz#pIl{'Rr緋qJ}&F\Ԧ̢@m{cDN2٧3X cR`v]s%$SU`_ou4b?e^U]]*_m 5ⱌS6krr-\ 음AH@Fc4)BeѤ:Ƒ.; ["/3r7rgGb&׉WL3}0\0zt m hAθ8W&8:IEx#l*1,uʆjЕ&&؛M{H@?UdynV)_ܘ}[ި% I QzJ\ Jda; fWo 5*Ua챌'~y'~mGzjHP+3Np8~ #xQ9_C=fĵ03H}p4p/]#p[SbJjث ONCMdwxB'j }qv.f0C2 ľGhx۩GGU^rF*|Y#4mhS,pb|XmꆟD{NG%ki,+k$qѽ}Ɨ%0Me㗄1F>v:eK~$7rp88nowCD &ɵR"obz Di>մZ: ^ǯ\ZX}T ہ#Bh֡JMg(\q%G{$0v{œ^,E4mr4zG(J oEc9m +X*hxFn)#)i DKu$0&2Fq#\UfÇĔQ_D{To}ymk݇i{ [B?] hZ';~67 ;U]!Ҵu4w@[&d7o&%ơwz@x]X&\S&ÚLC )0Jy˙81cbN3s'AG1N#|'B*@,rnZ$zC ̰R`PNT:HHKbW4qGZ-:%#pPS*՝HS!8rsSIDcӵr;Qi4X)27DݘFw8A+Bmg՟PuCNGג ]3>9kug:PvʞK#:feusɦCnvxVOTE^= 9dL,++A$=*J3a$ݬ=k=SnϾctI4ŵh[wy$Dy҅S(9m l1Mk! "dyבχ, Z^xu[ 2yUJeC߶ECg;Q1Z%;Y&kɒ-{3=yT.-զZպx[AM>@F&cx|yի@ (7(ya-єR`ydzޒ1@ҴkAa;\Tq `B{ul_~ffxD]x0g~ J=w-KU]!z%³q~i=/Spn7NhXS̰#m2g}sʗЛ/.Y2C8vqJAw = ޵Gw򘠦#o-4.ե ݂ M2+"fբ(P5 _7[FQu« wឣV;ֽ>LMoֵ=^ʡr1O!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\9`_} 88$:נE\(#IȨxPs2gx%'[Jn}t`K= L]i}JW\i`S[Y.E2َXީSm53HF~O7h }1<1iv4eD#~-}־鈖@}ܓhFnq)zfSGn'.((%ٸ Gbr T@is%t]7^{I3nWˤﺎAae)b[j|]㟸`ZuX 0 +XVgf㟮e d[GN{Hq=ۧy Pz(ySuUG>.E|g$qHv h馻/ȍՃDqWtJC%w墝W6K}ôB4FЋWm_(^oIL.?v/O.{бJwQt(2ѼLD-/d8^q-^Y-KYt@I^_-y1k|[BeG 1"*:x -8 (X#<+l6gY۞܈b,hnЏngJT QK1ZZ΁:!czABnDkbYpCJiZM[5>FL~ٶg|یG5YgYZ ;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|`w JAR)>=ŝPm@D3&hɫYuVh$٫ErJ][%8p64cӫ;&y~vsgFM6Pµ۾FsK9r]`u7F.N K!գ&:j4wmvXˌ bȥ=dSn@'-L 9~50r&"%Zܓ9,&A g䗔)WR&>P#<}8^4+,,OL_0'amA3Bi1\ZLj"edi(j$%P]kH#8: %6=)j*v}y@E ,72C.](%]9HuV.F-m,SpiXj3 )hVfKgO$bxEԂ:vF#ġƽ^C$N"5fcReKG@ypu• 6PAv#*( ;JSj%`΄#@uwe'/@2/jߪ ݌acQQ!~[byʃ+6MLyhcy'IRfI6&W[Ec3gnlI=P%4PSpmZdI}ýCg8JKnbRl[Zm(;߆noN$ӕYxmG/ˣq <1&xVÞ/U5c>>!3*{x=,8Q?6'"u~`(di/}~-\oi :#v_LED.6G3U|:et2'o>Ql4iybzahzaƖekX*U u5y{H$`݂:}3jPI>ImsHmc껕/͚1K ao$b|&sn\ybEf@.W 0j!+2sh+ FRx@4 5v: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\7U.Vjyx?bjKN~KNՅK{ x U_9MsP7 a#"X#;CyIQ$ S!6{KEU'b@h8Jp?GOg2J*ȍχ  -CNVHFzS hȇ V14Z6#3ȖU:zzvDb7qm|BgYZ 1)YR_{.s]   T  UVy  F  ^ Af o!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_id5q9'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Process?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idGA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesF?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupE>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesDD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/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=?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'HOB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJ@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupIC1O!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_id0'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_ExamplA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messagesR?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markupQ>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/filesPD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_idOB1E)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 /q'W < c  K r ) Q 9r/B1G'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/messagesT&F2:W YY?o^萲e4LZ ĢR99&%/]TH/݈9ܘM-Jw«U06P((9hc^Oho _:~RzOw$ Zg3 Ҍ@* ^]ߩ[?^)1wTC"ıήc>>h`~qLd%ڢfu3)†%/RlnCRHj! <:AOVۗj OTG7ysJ^ Fť&q{9ElJEep|K8 =7`v]Ffސ΀7&]W^|Ն 1*yLBKN,ê&K-F!¯: L0 NןL !jASPO;r{I)]aCB|"<- 8s7䐇9bzEH3VMK7+K:ר,eYozOCޝ9Rp0U}tƬoVL`O_2I '򰮦V-E2sWoefVA:R+}d1Jem< -8;@G;O)5 BXv)6OAt!*^$bOk8qA$IT-S.={yJHxEP*ն1]0ʳ XnOjyq:i aB{,bnV3& 5;B#˪o4#zA}ժCGE( >LqdW?G,wIwY SaZx%1E45`9{F&.%@Gl=V*YZw=U_! e9N CυokcЙm^7_0 B}($EΒvêH#Aq&޾ #(\JN1iG^(Κ굵)sj !v'߯cEc{4Lj!¬cgGo)f_^Q?-Dѣ6G_㟂 ՘vbc!-?0xdVE|Ӌᝮ7f\)!c5a{*&Rz4czm:/~wOߩq4+x2Џ[{LcZrL/> ? K `˶zy'zϻh6^FOi('Ws)BPW("ZJډ"o9U$a.[Ґ 7$&9Aa}"[z#mH:2qvpt)'λC2w M'rnqx~zTZkMFJ:XAI0Ɲm T 8fnS DS}KOiK=.qLw/GZ-({K7*AJjuP  #ܓ&yftX/I#6<ۊv\N8ڊ#cCoq(o}uz<AF.DYK>'jx D#JŢ`MN eB QTOpN B;/lNg[O]O:gdhcB5CmPrGYi4>N{&V.8}vEZdʔx, 6d<j_@o͍𙯯Q9ne>T^Ms{H[(SU=2*Lo ^*n`Bn4Tj4k QHT3k`9ј;vq#oPr$ƌm-aH0*-У;~shQKc09k1?9_С p|3h!<L=;hxD/NM wF:ZBQӼ+Lg| h$L\)܎<ckJH:ohWfeunU-z~B/" hK𙳺Vji1b{QdklP8 pA'鉧'AzQW=Ey/fQO,PFwt^v(H $ʓ$"FGoX:@zrYAdu&\13mV&RQ*_[%"]2a7-VV)kzb)LOG:|%kKye2| :H5i7l͐ڄxb2yUk:XVnxYGRcř>vol3r0b>%$wiBq6:CV -4Ikm;} l._>Sdе@$x>Rf?8(%fVw.nSa#kx]F RSn-(4(փƂ0& {5{ʔIL"Nv: @k啎MT[amCx<{8Q6ݽ ym>fA"9CSȓSo[|Er_!^C '@յBg%hbѾ n :AQ;{ӚRptP|[Y3b3kl&96@D=&NW,>9 m2S4Jt5 'G "P=mdcps{ă(5nÁXpܭ;b#&Tcߨ&4.LIU&S'/2O䈂g L^ \ɥu&|IPwkԓj r^zJahOxpQ"m%Uvz+rMk/lz jh:D pIE@-$Ph`%Z@6|sKyZT3+Gl_Ёuo QƆ}Da C}ep{ X g}~f߻YRmϖHDE˾K5GEdaC|D`سVD@ \tdH[>~)EN!eqyRFRvpܙD"": iڱR iӚNy/ eЋ K𪢜^*}gYZvnj; Q C̖ʝJ%Y6+xk8Nk\E{xC~tyc6}h[n}I;Zoa{ެnwPe^XtdHYzAVܝQ3hŸQVH(񅒻$^fINZ0F%KYyEF}jF|+wm6S|W*FtEbYawP~}c,!v97h4?n wʂe?pmG^G+ ~ K6+ %Wz<숉 Zv{Oن5h䦝:A46-\~Z[>j3T/\XẈLUfiϬ;ZEhϡ=Qǧnn%! ?!p\Nr`Vw2 .~O2?Vr_Etݬm<ہ& ,)D3bZ!X, S vVF&seKcaބbVƐ',2~.@$~Xxv{~|T{ {B)i`RuXLd,ہlJ3?EЫ܀}삼mKCޑVMbqUu Tx* @xP" B ~jTOn00/i =]$3kI6^(&Sݕ$(P\[@4ԍ((1=IbX@pBnb3@l/ߘ4wv.wArDX:nyp٣wlƏ9_hȹ8?5c3Nnu.d<īkjqBi2rhC kYϢg"l/2ȷ.?h/Ff-Ds+~}[n; F/s( !Y!S>ZP6s.vڋ+yYhC=33BO*&H({Wq+"42\!sXo&} !v b<<$,`)d"3/ ` }B6ŶF5d6jVIexn[`+yQ56(>͐tU'įtU44۬ עQ/Xz*3Tj:w8E e~${mdf"3`XF.T㱦؉UV~'Mz#8=Uby\T[\էS׎s@6߿ 3>v4ؗYŘ 1Z^LehK> FԞ7,)qk0y*cV|4lc/rz3_j63glVć/S-GQ;E#]˼41$+U4HHu figAًb┡\{cVš%?ÊR[#!uwE;N1{~p_.@]>\)[΢\i0j%Ẩ[ns qN5p69o@sUǓcccl|j"a뗢 ?^mxΐbs2c nfIE4MCMQ+A4.s\)7$ j`B8J#v0M\Н~xI~ۄ4}XEd!9B ojĽY{X}DtwfoMb@kJ `%/b~a𿝇"c0'[aq ccՆ >&A>?ESh;3+02s)lTs(aՊR[Kb LN8tj)!\? S2<# y.u^5X,eKMPg'6(c,,`U:AB=!fŧ(Ҡ#pTbBb~ , Ζ~kp*)Mzz?56~R;Ou6ortv Et:MwJtm{ ]t"eEhR=xӦ]1-#Yu+t5 2A䭶xyN~97YpaR[YS% 8ڣN\:8H1ثP5űQئxcXu$f03'$#"Y0$(J,} uҹ\Wfw5=MGf0R6-unq&=棣.3$#sOh#?q̜[*-y!d z q\$ߜO_&8-n,,5ЊYͯ'XE|gYZ  s U2E 1E# lHOL-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[#$[6$F7/bWMp'JFq4Urc3Aq{\9}2J䭴mÙoIN*;T1,K:.@>*M|F$z}(E+*PI  DA~-V&ڽw8lD1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyHC1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/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 aݳXAց5$YB zU^f}mE2z/:U\+^K3%'< + @ ^hO(}np']ff _=d=£+ZK)IiJ*/d%7Wa'!odRg)#⾌,ک!30}[6GC'A^لhmIb̌@晻-Ss^s4T#͡~vv,b|2gkN?n{O!]|#^AU7 4YcsOXFkG# "Iְ0О+Roܨc-/Āg)r[U(ɘWG>)-@:`PqB/PNNۂKq%;Z5[u\drcp*4I8puĤ<Ь lJiu@Q3r ߦЯ;e)3_I&8`쾾5 [3+R~#Y#E주H9ښ-T>G'ArfU+5p`oFN,yc5½$d36eDGRaqNu#." k8)\_(b׌{N]i(y9g_+YwwE}@v$ӱ?Ǝ_uP릁'l15潖ϡ.im?.@+EiqdE#-;0x_ 'ʇ#he~:{HO2?B"av2?;`$?Y[|D8^2, {V#J 9ВP.` kgYZhA1A!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_id536:?1O# tHOL-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%E0Sl6WvPSy*n&f%mʔ4Y-!!A6wԤ#VT:KN6Ojf\F")\4,C/ Ճ6AODݲ&sLrHx;'Z(j㮉J^TKf& ~#~sGX ӚkMq{ 0[>wA.B,7DrN`V47d[If>Dj_XlCRpfTMսTH%h8DicE䲋I-XOt6/"P|)b9EKf%T@ML˙ &\(=`8ceo7PȒB l qMS?mǒ"xk#'1XEKkL=?@ ^]{՞L+`d WB-q\ V# ;~*wo4~ G:x/Yv]0B|*z[._;{(弩2z8E7/u@ vdG8''.9D>l{%Gzh5>OS.uU3av2(:U\MسLo00W u :EJ^y“oM@7x?rc v'O%5 )*cǖ3ȱã{OJ^*LgӪz]eA.~eƕ16+Xj*\[5fd (^נl1b?6TG6pFKtQ\T=zM"!d$iHI#_xQN xv5'V)suUxfR<=5'@"}*r]]Ju)fer ]4MF5]~%E9MOEvRK;3y?A~#Kw5 /y {9i )PSLL4ks㏹|WaiB5}7:,˰wBXt.U5*;p+v`./ 2WӫHt]\O\q !UJ1[o*tlN2~[={nr("CR(]&| r9A&”f5nlBӂC.cѮ_Scr1SwK3M9 [.Dä !aV:\ ʶM槾k'EWQO~N&]qCiΦ2\'΃:}dIpMx!}wSM 8q3xʳK:{P1G2lvwUK oA- s ̒q/-0uer0XBtf+mx~ĦE|,&p ӫꏠ>ܒp"T>m) Aů`]-$sVf>]]GY0E/ ĩ1Hdy9i[i 㑮)ઽ?Yr~M,)(V RƱ!֡52UBI=K穡TfYJt1ۙ )/RWn@""v٫H B O;+q'V7*PM}d: sI=[w]K "vrClq@(4o~f7BpmkCkau3OQ3ͫpDRB3E=Hb=?^xFM>LlE HiIo!ĩ.ZD=~qjgUN\!°1+%`=7|^%)}曎z+,9j@I9YH9=YR1e*q; vaDXk Xx+o apV)_!p(*PAè0hca_m~"0vCO"()i3q='<[_ ʯC-*9 @l|±S:d` Rw]..we:U,(c߯ Kؒbxsb!E[?*õ [pOy{=resn'%.C]P0ֻb<+9j`9k2;4}5qAV m-P֋ )3Gʬ-pBRz2xI (VBj% k&ƪ 44A/5Mi e :]qˇ`MZP4(؇ .' YI -9PqNV%^ ;oCؾ7+AV*co2ff()4mpbF޺E&fv,F[W-)rG|ZW\LHKy)=,KDB?&vH ^_h&ɔ=ϤMWSD{6Y_I@JKzP{r1*Ԇly+ +n33=B߲zo=bXI]bpɋ\&qZEaVOqg?G\qQ쑬p3 C@NGmsy>vyt$r#K#bWX4F_MOwZ]Kmrm{In}$g㲆Q k3JBh + ɂ5Y &/@bP7Iv-lBԴR3 7NATKހJwGcHT[0Һh2h' qgx"@}4Qg' p&cMJq~m dp6l3r(}@C_?{ϹzF-PY Nw,Tg;%kβm,3|SUE}Q\БQG ѥU"eAͳ|K"X~[>2IU@ul*y\R5Lnf AN9ib0rQZ :tv9\8kE?faVhWXGWƅ;8xL;8NC'^bJS]rJCS f_T:j9Ht:5WN a|;VbB#q^ByRLq} YsO"vÎBiܕ#[=գ(FHŴnw^/Hw`xZش:`,>19͗dJXB_Pdx}tZG9GQ¼وS}!38V-njEB`칎G| VMeOqL*u]MFEGi r^4NiE)"i[h/cS 4K)~inSJ.bE+kdǁpS"M:W $Hd3ܾ8ʟsq |ܞ2LT ٠5$:3%."'fA$SZP^jETNBh.ܾEBm!GIcp#iPUb1Iy2 FZt쫚ʙf)G? u3Ǥ"D!~mE%|' ; L-Hc9-!$0<b`>]3LĆc+]6SX0ёpzKحya59]8$YUp/A+cOo5S LVGݶjv+pdx@w2%?ѵW 6SΉ$ycNa|ήC2_(=*\[)-hNq^RfތIW'*M |;T,<`nmyRKG7[a,>\He E D*< $Bbj,OأBY,k%(j)cg$ArhgTnڪ1[*;~g6+xWcLӭN} b@-~܊_^bw.{7k@O+ǁjc\T KAkzV90 ^zPК2\'UQE [_,8ͺZ}1BhɷmǵO喞zufF('rXmxEW[OƄH BȣFrz h# x5h2YPXy S|؄mЩD0̀3[:@2Vml&ⓕ'YȞ ,s V6+ĉa<(֫4 ,Ԛ\ 4^A˴#gyrkx]c|uE-n(5I9 f@G<7J[MzC8+z=N#7 LaxŷTsjY[.@Say/12,jD5-"#[>rܝnF}S۾y-˃'ֲIӲs/ҹ&jtjPԘL G1XDֽITT-x@!zH K@kf#\Ʃ9 : PDˣq?%VmK~E#hOӀGW[6Z{ZRrkITv! Q'QvE$!~)$7uФkTG g7BIa|T{H.!{']vuiP^c6qu 9glÊ屲 tOo)r|m @GvOͦbc o[z6㏒E 9G7͇ܴJrK̻KYMy6)Ĩܪ'V* į8xq+2X&ڋh l *M4&ؓGP T/^2Kk<P|>LALASB]+ nQJbY5=FM 9+ ǂ{>>YU /cwh)355)]%\](:ԋҦvG (ϧ\|LjHD"a҄o`AC\UYnV9U慱f## *v#t){[K*²iWw'CzE7_k2c,؂/ءߒ;U\Sj眣چUQ)>2:e7dc~Q#=G 0w%9l+إ*⮅<5ŷSޕepV&Per=st%:m*%F[4̟#?/l>"a0uyjK/Z@dcv CGS3_mf=뗶=<#Y&f ~OԲ6 VOx4ȗ ~3n)N|"j8O;sG !kch( (g{Bt\yh5rI{R"_MԔ /;V_ f8yw/6\VXs{'T@E&@Π8h_Ss+gmʺBs;-X ,:{&2t+;:=/zS)+1lҒNL-U(}ӱdrm+Y-I($^;*L[e(MS\=t@6{}r~p'l״;=dӥe.#@WW7 [ryɍDʜ>qKu7ԺLGߩDt?z`TVw SPkj Y2@@7wSgs#nv3XּZ0lUym2ZX>F5|1Q\+V kOeG[5VBăںr3*|a'4g˨:$ ]gN΢K"̮,qa_]qnG`=^hWߞ#ۆӿ@̐ZAk<0dY.-A*aCj(U{&b?>YqB*ZZ1h{uvY#y{|z0=/ӿ`8Em\O MsfЎ;9}lX6y(E*I jI*`-jw'p>zXMyׂx1͕/H~w6>.M؜82OxoJZwSwx{L#R+x+SIDGc1UҜV*>d򉶝y8"(E2Uc4Ï>J#Gǀܬ1WAF+yT*Zi6/DȣjE H_i8us2=N Gk t7PHVnbÚcKO pٸo2t[k͖ 1qƼDa7'{wפbq<8)]6S _Nk||/jqFmLoN-<`rfk>*QE"_]S/*lz"ӬϒҤ%5<Lw-n:XC(}(-fy݊X̳֬&a̖݃EF:t3'P+@  jFjl6l2o֩,iہSI)A: ONbrSA9ila={[ עBb[GMHAs^xDz/PO RE!~_&bųR~wH/.L&Z#ʨq%,!Dh/*!zc˟.ܟU!+;dkPPKg)ͪpǗjL?!ވxX垲q 0S-{ &* " Gw$꺍Oa}Q\?=S/Dҵm22MeT_"Ik \ TPWw(䎮Y@݀08(& nr` 51BѡgY)(„F^"2.ad٘߮<QA%KR %^CkAZ)ݛɛ4R}녨0J7w(BMc(e񹲒p+i|"<"| e1 ߏB0䆃GNE(n)^:fx)NaZ6tv\C`n'1F葞B_ƉԜ~~xǫ喲SdSkdG i֕N"VJ +/4u*Bϟa3j^QaxSdb>myfAfE-SX)2-nL[D&A`:dnx1 !}upQ 4-N/Oc!ģ$s}OW)b]%EOp#jGc+ؠ 5f453(*Sq[\^~#t:pE2?<*f yT 5tYkB>\j*grSj 6 k bI{dt;Dk:&q:Ŋ{F`F6 *R%I(ãoBs_1%"԰9Sgiu9V 4+؏*vg)}}cjOXnRMވXz_>ڗAtץ"'+l5F_czf;t0JNLNa;\. leBfՋ8s 7V3Kщ6V$1hEcfBh.sc<."\1 KTab} 8蔰ƚ{p9 ތr)]Uyo@oNSSj]&YL1U +)%CA=[gusDme1Z-3 ?\ߑdX8Guր"ag*3UNRf#;$I,Ĺrݣo-5YmeJ|?,VC~I9BXƬB\ 8.O|EYsaG?\$ՊOҏ|V MO(hu.M(|sg1.h pGJxn.-7cUρ?D-;(yVoT>YBN(!w.W&9nBX>$ԡGWݖ\!p'B rW$?1D8r!x$4e3H<*蹃}XFTE(ۚxw:,42pLnGYQACXH!P#`rn5_!mzuafv37cS^)QFGX?vsrC10kIЀ!/`hmIf#Sg_C/EےBT?^|';Hݙq͑dl~K23EsJsX`y{ ~9O?!" vԷ"/e 2]z/ ,ή)FxR Gv ;(PȜMm]oV޴ sĕ\_*\<0o);qb\SR;O0ndl;に(CQ|o@Oۄ1CYyemʷ.SSx}mPi7w<]dG$YM^^,IO 0B LxEWu-G?o hL.咇\#0F{:C\M$bg V%&ٴ-ǭXjÞ .u7vK[hlA,Q#i2Mi:7#zIɄ3F✖"Z)ߐf(Vo3|ڷuuGE<#6`)HOsln$mP0Z$;RχEt CFGxueGZމǸ=́zIݱ_"+ﶛ}܏*H%HWIA3=CMO=?p!>VN[Hp(B)8f9%y'#XaÌQ>@<,Lhs)qW 1\E-Oȉ+ 9O?|_g_*j-0v(>\h V?( Z>Ŝ#՝YҔ[ u= gz-\/Ӄ0H4xzP`[hi4e]? Q v^ Hr/rrf8/-)rsZ~cr^C.> m O Ly˺XF#7tBZW8*yu]',.`Ve +O8Кy7C|?`' |_ҞM9S ߖG?QӋUu/7Xؗ:"T%SiP8-7]k0DVLga^䜝s(P ,.xjH ;SHn>f"9WpQN\shk-@?$cHq̀}0`fvZPt/*x}?QhMagYffd%Cd+H^m?n}j! H:n8xɇ5 Y\b&Oi-%+<)npqϱtY|[J#:N!hzµ"ӹG#*,rշӌXFM'JUHL'ܸs,q \4#Tk8"1֖Hx*1 R Ծ͟Gddο4,)eR09ޤy\MF-me&kNQghI\Jkzl,`2KsoaZ{+nO~$]ρ,xS oZ\kKa@WSwց%٫P>nCk|k 56 '+ 9hi0ene Nnq`U膭Ttgo~ݟb5;_IC(ѭl QPI$CT*(sQЙayLzl 4J ڼ-rPT2a5k ƂE|ǒ+&eEt0t-bwҲE݉@D uf+,ލF*6#P _s],žZ_> ak—[έř4;S`||kSt- =QjT{-֪j?P E7hvLRr#G$ϑԙp'`>\eMVto[-#W\{ 0"# ևxIm\x22rzS NAOe뻹yU 86tm/E|2y7:ቍnAj3 ?:ׇS]/\ViQ;#bJLFn6q]KYƆ+Bpo1U˲|Kf B7g =bSg q>$LT_ UB.WQj !`*^b`O^+@i߉S{H!$1)>|m(J#t{rNe ,[,?Idm(_r?02wsGeI   ;2k#ӬċF!UJjzp'# u$?ť ?($6 4ǣ ,}wsoVC99v"؉FqeuPVw)3)~q7T&EG{o~dGٓ10X7w6!,+rrj`Cs6nM1޿D:? 3?x#)4?{oLuC㋝#?{=q OEZ \1 EVU\/$* e_B[eJP{Hf/?t#t̂Sl Lם6Ւ<!CN1 f`'ln&!|ƀ~#HdA'+ad?\2K q(J{>3hHwLؼ%q41w)3[vp^J4A]zܤ(a~—;eKـ^ 2{HMⶼV^G{Ǯ!)EiB&ɟ͡[rZ֣#,c SI0*u H&­ួWzIB~'f\SI; 9y `g쿿{FZ+Ptqi`@x;)q=.\ULj[\+BI[Ğs&puʭ Bi`Q B0zɱgYZ ~c~jI1G# \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-M"Z/z5aW˒GeT#UN2dC5lR]̘\qƂ5t#] wzFLt3>G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9U[^v*~l=1~)fq $6Vi3a`*+m2"ڻo6>K{)KKXx?kda>\`Ԙ֬Dq!|H&ךؠBqK-F۹ !"%M\ h3X+R%l%gMYѨ#X QÛ/^5,(sS2>vRO3$8~sxN 4r%G괐[:c8ѧs۔fEֺI8^h$&r棻Y"G)a=)(u>]钋"n@Qr$g.X53Ꝥ#PzQv qFU#. .!2 TwjKinTz*ᎫV`⓲Ii,JRKnx!W3DZ: F8{$c[щNM/h-Ǚz!M@u,jeZ,A%ъAF^7)?DkS5 HTpggI8RdAΪI |=+~Sq_ 4*"[V_1n$ cbK6d[DzސDJI|UlCK t&#Z<$9wԉ$ Y}3<3#x_P\d^a^#.ģ&n>QR%o&QUQz䡳&!ΝU-~$vP+ 3i.B/s=/]f$}:lܗk~a+u|!|@5XI6nR 4UZ-F,d35v_.rpo ׊y͕uMUӈ{־m"'NRx=MG&mfXIb:!WY74wlćC&> sDv DtNRddK+/ kKv!\huuZ;8-=̎d:gs볊ԕInG`vdćӞɦ]H=Cw@ӿzTwCmbA3KG]ڹ@7m5B>KݛZ7^Ñ臊\\A Wh6TGDe2eE9 \ܨ36=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_id528OF1E' $HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\y~Ƀl鷬BSgC#k`REN)N16Oca`[+;Y5KC;R8@ߞ&1SG[yeKy zJ_]>DVqg>ۧ Q:;>@qfFmLKP/*ș]VTj6t <27_RuJwkAbJ??9Y`CTlHdOzlG4:cXba0^tdq>h!"@Ov*<ŠJ짹Cݜa/#n+3F,C$6Fݸ# Qn[^.̥q_G[ۀ oDxKĠ;&K u3a?Ӭl+^U0 YBErj ,"Ur{AbAifUH*w.7`w%Hźdu,I 4S%N[?_,ϯz`F?/q,#0VpeA<PgVG8(*҂3<ߢkL$ A!` 쮹PɬPǓ劇4pmFGXO4ļ r*8'x U\~Ӓi)K&}.-`0O^ܯ3l2YdN'L, zxdߍZ* u0x^{s ~+c4Exgp@1~P4UQ<C,*>5Z GgKJI2Lfi37_75 3䗙BuDF1dؿp`xb}@H?;pUIH1e*uN+HoHi~ĝzN Y_HA Yh]4h]m'Da$li ._3$"^ؿ6GPqH׃]Kk_ ?sfذݮ$8~ToVh6;0tqQ>5О QHEW1|[E( (M'VT)tJ!a4X['W^`$+1|ԟVJ.2(LT\)e`aACo%zL6dfhoT&5CRLJs,䍗5SW|?|m ɱ7S`RҍºtLP$MzǗUPr/BӅuD&[t i#τ"Ps6VE/c5Fj^ %Z;e!3wR*fލE2pO8fX^?aSϝX㐙園˽Y| s gYZ)V\x{r7#TV{) lёl rB6+aІ$gSp VQj߁YEuz5~ 5tdglI՟D$G:wrT\AwCe  Pc%B{ Xns2rڵ,'Y=!)csZrc0<_y˯R1 lfκ,EE6|1ըͭ#E< 5wz)n^G*܆WYf֮v4bĉ~ߋ.޼.DI `%UX:Tj󋣩^&þ/Zg J}kwV(4F'NkaLI/mK5wsცkMJ?Qy.G'Ȯap)Ϲ}ޘڥ6\dE&:M?ݨoly0XF0] 㧡 S+F)Q\h_{i`|.IU:} 1 -C! \ 1e2+gܞx=~;i~Wȝoe@J9P!7ys=9*%V,l|*٭4q<ВtqjegMG̣ yWD~Şf~JȘ;ψqƅ=wʃO LTˈL|S&ti ChhZs]h[\cs,-SRZr$Dl[>@D_W%QrИ䀅[u .Baxt`'T't?$L{«fYo/ 揿GKH<)5oy{i*bg)nD|0@~m[\6s+}G⎙!yOڶ̼pb"$k$ne.$>!#4N¾>?h@e.i ݦވsv2ˑ\ɏ@OZKrē#Yz[RVDYyR5SOjO;-aX\VVE CAKc { ::Gs>=N "ԭ @QL@eKQy4ɈNJC@{!8s -' FmS~bc^aGtT>Vi9q;Y0$ y[ئWē:Z]+yC0Jq=@-R'VGX t2&ܳyhhXěփPM~ =p%&q|Anzfm҄pD+snuADqRO|~S?-6MYd\AZ x7y$o31+F&y9݇#~ԄIWEǰ~T\|(NpL|of[3&v"꺭O([ilXb[/ʥywZnc"1ۆܥ U#8nl_llEmw.~zNQtbo=_vu[zvyÝb8J Wefa-x8NHsɷaQ&tG+! `|8t7xfH'82(ڒL")Lc{MmbDdvUdvPJ~ە{/曍.#Z~ӧH 9 V_LI_Pu5i]-:_ɦyBBk:iajzrM:"4bhIhkَx'0"qemtm+^hy#sо2,T~z㒓WӫH0n]ɶig'M'℧F,dTiZ]}-AX.Qdh"D: )zq@ـH˱uGd^"?WП}!/,M2&W;kNV9+1К\ F7ˉ,sHVR1jԓpy>ClqB+UB \?Sh{u_j+( ^^ʖA>%rmo-𻧦#Uh5]tthoOi{q>PgPՖ1 RRm*b,b}:TЭX Ţ)[ymtIϔKbLnE|Wc?ip :XžvG/$q;RoՂ -O'xhe;^s$_HN MPcBwdKh@pTG/K:ԓJF:_}QR |唒R 7kru5K`OɁZZf$񅓿ǂQ 1be>_j$Űz5F\uB9sV%%JѺ= w{(8jr(4xd_ 8~lTP7JoH-Q7:"< iZyQ54ǗD`N~ŢΘV5 㠨s$%¥i[}Rt}$_lBQe2I-~m>f,.6͇.$ʱgYZ  m " nM1G# dHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! j]ˠ)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ԏj Ak{6@17pECU& $$Aްb:ehWwN k3hO2;<`ch,7:WכHM9P i3 NY] e%1pt!VG8{TԎu|J!317RAQ)Qa9$^n~ăup" dʧ$U:hSV,YH;H}u)Y.dUV2qvʗO٬?E-U) PAiΞtd 'OX(8 =*EL`[ZC N/Af47'†(>ENQ-5 Q6%zKZo䅼QĜ7-TV_ tɾs!87=JG/حLͱ|35﯇H UL??j E}tKK YPVkLQxl@u0XI`fn euL!q*}f \`P&W?5b%!H#|{Un\F6 @g>{*,G =-3SIRL?]ev4!>"+aymQ yǙ<>6zGr PE58rpt&R>x҄ԐQ0t`*iAo< *zh< mèdZԘ;Nrp ꒸G.wo]ņ+hbiq_4?=ю vկe8oiIDEv(ФYӜvTKDG@ 8;G}6^Ztij-):e(Iƥ3Wid' y0('h+`&"Jj \ 氋m!+u]P}ȻT/ Ч-P &i88>z&aS%CV~qj)ݟ7D[ybA7.=)# nTې B[WȓbxƁV٩l4 'x,yddj*bHySO͕vo^6;GLO[)@#qMs4d9#A<(x,any(#=_ȉm@_U]$>MV7{~,fDgX..~7$:%o0F6v-Nz 2!MagvA#tbnjE&} ep="͏ERo0"uJW7M8h(J qI:bʮ/?%& kp\UGrvioefd&x $Ф8f3A@~, R 57/=1ZnaD2ksjNxŮVo: >JB mJw< Iɒ Ŧ+=:C"`󾅏/ceG/ŗ|P õ U_ :u Cz\\0/k ˰2LCL=&K%llgYZnL1G!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\[8.?/5Ͻﮣ?|С_`%JYq5%sUDeX W2n\j5@J*nj7W}GhC4g@d,]E?C U9„+@ZܲLj+cGr@RԱ?&PxDV^?_XvCx7lNkB])Ϟ#d H B>dĪ;kh# _pAB|XMCPyl@UJ:+.*ĵSТ&/?z1fuh{8.3f-W'F [,Bz"o R=JQXL-$AtU3"  U!#ĺS\ vfoũ %C'Dٟ\OY)]Y 9 8f^[*x:4 zdϯO%Sl^NzO6`G=WQ! ޡI&m0p"\*{\ޑiM r$d|UWX_ܳxBw ]&BWMW'G%q$Us Yj,h78Jw90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tia[3ui`a&wlUw> ]q82fzz $ҳw{cCƴv^ FE -AJ!vfp }{D/qkXsvhRlY{BW{apbv|Iw,zN8N9G nb@^[M/K2`(&N~ɲ?m]$#L;XQ*䑧ĉ|MO+zDlg>@@k rLm&vAm4):X-7 86xьүBhrafZY|i_w߉#Dp7' biݔTQz ahRUE9;yFZ%HLLk'ڟ!b6tN1Щu_<8yqGfMs2:vVޝDo-'RO3qfhl!9MӔ=~q -g/0X|ݘ^N|}!$ߩ}阞;x:H',@W`2=m足T|!>O`'aaQ6akyL< դL.I nL{pV)Ow(K=5YBQLuzCn;@~WэXӻ}u0;ib ,?!R"X,€&+]O_@)?Ka_0h7M_IAw(OmNk[DL\Vf pCVe-I~#58vF{^o&g+W-QqᅅB` pB5ΈpNJ5 bOd~#wwSnB\aF0}.h^힝ش3r]nK"qLa3tSU^k}l!hN "PlSTkD_M!jLdթDb\yYp4(ȅ LF:ނQF(VȄ3_S:1Gs OSkmg@β.*Ut քc]OۓIft*X h4cxt_MP0ϣj =icFQk ׸#^YwW'ߒȭw6\V,E=d 7x ]'n=l:i&Gw^a8F% sI ڣR/NWoZtrxMwg]"Vb'Q yC?In{ Ges܄hlp<ʟy5mn *El+0ڛ}v-KK+2n=>s.g cQHoagH%>pR8 et:v:%!fEMX P=>O84*,~3;V $+k6Yߌ[v[K{1͘ţ/Rژ+DC%Ck,/Cykn#,d@qC b`E*&ѣcJ['yBپ`peSGuVtQЌ˘566Q )JT!wLKέ9fc%$reʫ!@lP1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyHO1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id534@N1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I9]D?7 {?:fH\jO";MC6 W b"Y]d9;&@ s}ꀶ)L6Beː:~Vҥ7K+{~p8) bvctgzC" HM.8 vک f&d]x-K9΄&U!89ROR-1r;l ^c Jԧ4G o=aďiXDwk9.Xvr F:1o>>wDŽʌs-SJ$JW2fn~G9n;!"O3+IҺizU嘧F:xca Egh IAPͯc6ﳹvHC%Qs!;;ȐB_XKR^-~y뛂 @ H;+yߥ ;Pn! u3bZU.N[JНPЁl9AV$quǖN]~Tcٶ> Q(&b5s Cfe" K@[{BoM7Cq ^U$ֱmݯ+  bB z |y,˴\Jt:=Z,[R^TVx|[SEJ (y s$zಐ 7 k+Uk }.f_+PCpL1+ mCN:^"]Qu - :AKV$[:2vLslث5k,/azgxߧ 2>KI_b*5`Ѧn!g!Ϲ"OZ&sDZ.+Y'hv/&,)$bR<  =xPɕ\r93zk&*z_moy)h O ΟmuR#4]dϜc u<0QŵSe1AEX8y {Ha2r4.;&l:xsz)|;z|[b8tK]iN _߱p5rOݱkȴR_a(>%ԞU9.6LI5ڊJѮqUhkkUsu o6uש}ɦ,g<CLZ&0cFlX$*T)촒.eW*N@`nõĺ/T,>],A 팖ň.$7MqȖ}ѻD1̙Ƅ/}0>Ϥh+@XW̫v"W[?CN gAGX>]Մд= zBmL 1)~?:~,?}u>Q"đ?=L*O"K[cSʻ9)۝SP&Iow+_U=QVr?0}s+5zZwV>jj*VȲo[p:NNhXJ'9,eaDQ3("4Rb93.L廨3Z}_\?:VFN :rdzlf-R(nIc $jp?Ȉ .1)G36& )ϱ M|nƻ"Hb5 G5ܿ^.#lOrYh,H԰Oԟq)g+$c#Yi4|9xʔ<cawVpM=ٹ{V{XNujT"׳^KMZx4';Uf fmQ5X P p0ލx=Qd⨸8j˕Q3 u5@'IF\s?DT[ضńm\cBxEʏRϚ~!]Pvg0*7*3d6#6n Bβ >0=$zdlC2㽄me?䛫"WȿߑCrr"j(٭hnuWƅվP+rJ7{^WMimxeCq+T l_ٻhj ˽rq`dwr'eIwyyn1|hZGQm90yEԚ^r4?fyU{XvCZfgSW'f,fpP );33߰10YL槹ǂH c|?SP3(^-.'^Udf&%26K^\4,\'|Fsb^JzsI#`zMxz'c:cWEݛ zRۛS4CRX1WĽn#+-YO65! ϲ`8{Sа yYJB+ ۸j? 0ek oAk%^wU??% nyB*O+B$Ck,МD:_qOv޲emb1n"F.GxA^mȉGrK ŖΕ]]C .665f@Q[[&]Cp~jCZ) &-7L6/6ZNv~ʂWM{Y;5FIJ%H79|"y,1߅Gvr_k>ΐt+Ma\/qœk\A&"W!?U6 kO#7Ӿ .5qO[l~MB<'z:J`Z<1i?1|_Yznї]N𖐖ΓpE1̱4^hņ ߀!*2ǹ^k&4{= Tȏ=s~j,-i6쪒p;c5vtᦠ ćVJ3ܺ/6ɆUmau̺ 1o8Ν^#4 IGn_I!(KJh2˖rێnTPRtk8 oMߴH2S =oa8e7$ᰲ~ߙ{%2u#'| ^[OH剎ЕH"B@U"`r\0,pF}&B9FHө)q+k5 pɶVfW9}ە@!Qm5 %Bt/ӕgBWK9 mlq+LKN( G8mq" '<TDwS ۘH03`YK8̓&4y{g¯w{7Č_xhSnID< MާA91Il*%6ͳJy=N`ܱHk?VƣboD$HgԵvq1[-t)Ƞsn3Wp^A"-x+eeqA="@׻d;9IxJغ_i݌5*^㩁!7cl޽+ɣ|=oA̶J${BP~ bUl}ȉLU|HtKrb+YRK*XԼ}:EΑwb05MF“n _x6 !( `G?~xs1aG=Sn6n,CXH)7C qme$kO7 )1X_0̎]fl\@Oh&֯$!|$д@ih a7Z*-A`j`xNԦK,{ /KTLPZw!7L,:,lߏbHdf&ln c槹Y<=(֍\$;@(ϋەK*ތJ,+*_q>.C1?A%7QslQ2,LN1#cb{)J6Mժj1Y(,K2K||9[oeϚp˜Fa{/Ey1\3='A'Xl_ӕE sfD:-Z7NC@.M?4iòB\ .RdJtĬ0H ,zq5 NjoP6V< 2@UށXmL$}J:+n?.59Qڌ4)~BNyr'Taܠ(pc'!:Me>`TZ%uR{F,$Zzzfyfp;tI)'`~~"O) iOO)$ P@ԋ͘,`ϙTQ7@S;uAk*12%(^\.p;Ivb0+[!>m[~KcITx}0Gҭھ0>JS/#kR_ v/r|<(CLZQ5V KT͑Sle׃Dv_XЦ0bQ3HhmJ%Ws ;y.LeZKϽ, C%ge59 K,qmKyÛYt.4ڻ2bv=ԋDg /=<ӛ1P^uB!-IhN0fsɅ+&:Q%*؜!/J i&m*mpվkdYk8Ȅ~JtC4K;\@ԛ՘sygdf;]b 5a}lni ȭD3/`UE;|4em[g ThgR4V{Q>+=J{5v0AS utj?B@&>} S H=XM38͡%xbw/vEB7kMe-:'T!V˕S#H O 33P'uq$[k91KL_P@&7U@ a{ ,1l5}1bJl&h6e?.'ݑ\F:Vlݖ0PtĬ=5% Xؔf{+୥y̷FEzBh>Ȼї?N k? jVʬ)^0J_V:&Zzp=Ҧ' +P=gI+5/i(=PG7U<PZMݙMKsi KL.&zn`H !IH GӒhmFh|zuqx@P|p#VpwrBD)}'n,5.W*$!/ /JҠ|Q_Ūnv5Rs0 vζ~;%X/p=b%5-߻ҬglٙALj9;~OSSAwKu|, _~P(&>]6"C^U9Ԑb-r_ 3X 1C=B}nj>h~\K!?̙rQw<7fc 3A2ǣ9Ux\P|}Ä `3VR'ZIMB=W2K37CTvv w; ^WhZV:Zղ:!ե0pD:ֳ@Dkb$q^ġg#JlMɌϥ MPC;|ky9,7+7qO{/fUiJJIr8aik H;KV{"gllšk^]m^wgs/'ōr0HK|3 SD+b,_?EE'j9I+V7Ytl˻L;Eǐý/}ͬ$'XZ\2 k{D3_|qe9wYON^"ѬĄAJ$pJѓJ^[޶#&YN}7(ȍ:%{\eCAӭ5{Վ[Cb|N>HuêoWOhE+refý]$|=}qfGClwPo80;LG;$],=Nh)Kw2XjloR%?Sa/`ee`{9*uJ6LF͇CW@w)\3[SWiubw%˹ɟtW.(89f OroG2$1FxR 297 S| 9,\[\Sl~{tƧ`+pa%4x~C( -{* 87KqgB#ݨ6Xw~Xs1u)uj}Wy*;D.w~7v$qag6D9[EJvIB'61MyX0, =i2p < YM |!SUMJckN' R} *1t⯴㷠Mg*R @Qth&8 {>3[w';1@1jF`sBq]kE9c0#cν%&(lZ2g $1{CZ< nWzD[A Osp-ƊjMvXI~DT_:lAxJcH`~ իqď4MG^LLÓJ+Sx:q+2_S.OMKhlA& UChw,\N ̩zj -^iлOf8(?8fpFG븲>cr(镸-Y6Zcq&-/j.. i]z3D56rbsH{-"1̐2\"=REaQHd8@ṿ\<d]ōdA|z1Ҫ[`H9!=sY%ɩV*1Qa,'QI5A/t|37Dx3)nwa†^FH8wd4+3lɫk`Áuฟq牽EqlX}Hh1WC}и:rClH~ s@Ikb~.j`: 6=xj  dһ4n= )+SmTYlF '!!w.0>Lx[Q$˦qA`WFd9֮EBsP;+Tf*B g/ORpq1 _ܝ,*ZqS^4u> nQT!OROWRB )}+ݗ6̋Qg:b,87C' Շ焃OyskaRqO>Kc3شL" #G݂y V Y:sCX&dF!5oQ.#hq3XS^-4`u]ɶۏs~^1:pR֙,se&r&2J 2^o.y6{YmGo B[A]7q,uɩc P Gw- ׁ^*[ Te럽k9''W >ukxul(\KhU# :D7o)vÃk=ĕvPf-C(UeFm\P%xY~M+MJBe7l>{<+[V4 kET]n%DMo)m[Ф0;B`m;= о=>=1'BG  ட]7hx:: >Z~C9`&O>gb7v*\zPWA#Z%)M"/QmPlquNIc*(uZ˶΍8gYZUp i;\4w 洩0چ4x505H@S\;pv L9=s0EʝLoH2Y/t@eᯰuro S_p]jd(QA˂d`:bӪnA&onWstKq؄ffI{>Cxf ^V!yrxۅaV+kkĉă*՝7qbK3;2g!]b/0oP's"\c!=@l¿TW/jqmoFjTl3Ь@~ $@I޲ëFLSl%Pi@24 >~ t HX6mLjxN#c=AQ͓obD&M JZl4֕nIeػ!頭xVy!WJ85@ ir%:ᯟkXwn[D@ 4d.u,/mF/ܑ '@ q'ܔg#Fb9b)s[ED= aLd Ɗrge}7뿱2]}Lq< Is,Jt8αFnj]yYsdEm{8o9_10;aSdW/37uTjb- 9-l|_0afZ^ l}uNv[ , Ŀ'$%&aSslO 9`jiAR I(CThHb񄓒t{A^)4g\`LV6TZ@0A6-!NL$Omu,4 n$IqFb1<6BXVr`[JN} 4Z!-c p9&Y4>TBN膠씡v{\2%ylyXmȉM #1}V'@S^ʲkj"fţB;:Id*wYGϐ~tgx|xAnյxn6".Dl v5# 1БN/c2$*<:ոdyA UZtQU9AT)tQlLO9ؓо$wu7l?Ptp/^C- ^OHGEmF7;99m޳UgAl|ЋmٗZѡqqr}z 5::g2#A>WYdttRpe;t*p<˅ٿA[L&Ss"O"8͉~ɾ[BV0+ЯqRwpg}S?c>ٳk/̨]?TXG,bhzc6b1:_( 8Z.MzYDrv1MFflu%iJ%,D|z!&T K?:$˥IZ=U?*nRTe3>%B LH*|&<[1#k?ɠ@:q(oO4}O>t?m L*Sߍ5j ͙"(Q>H+ulz;ur ܔ%܁]>ysqRRW-)Yܠ[s7jdm8%<UÂ&@C0"0 }%!`e1ؓtDX@l.w | Qx}"~|+WeN9U%?i;v Z`rP},ŝ3{kw.(; ~clWGxܿ=HV$ԟ8w b탭M3箤>~JһodԡYO$iôrL P ,~8co{YgF cr8.E"ɏ[Sp@YJͭ y5]۷(ǟ="$ZMq*gZTpۉIgv O4cVC1N7oMG1-PG>Pꞧ0E(!< /D}PO ]/Zyd孽wY}Dc#AkK+Nb,kxpQE5+RX6psЙ3fY;h d?aHd}(F*ċG=U'bWoKoJcKM <V!g` I/Ql!fX x#.YȒ/4+4r`zնgO0G \IRb&㐮'8~8Q5h:]M}0jwwfffSPA&(&tt!.~ryv񢐹F`bC.E*10`wГ4}!~(VY:O)^e(m~* G=#r(C*ZtIlY7?;-0rn#_a l?OyL I7QXmP4 Jms"ECx򵣵}V::o0յ9*=X`S,PA&Meמ4ۚPr=nP0a ^n2V/u73Z K,sV:5+n* Um&C ?o5?)|%>4fB^ty kz.5X1l 2\ߨ.:5꜏h=K3*_) ;_Ha:ڒ 2{I؅S\X~P0D k{0< 7*z՘ _ z5Qpl\ ~G3>&6ߠ讶Z_ q'x렮P=$oqtJYFp!" He!8TE͊B #!{$Zv#-W3*fADW_GZͩ4X=KN|ppmmY" Tx=L)P@b~! 6n ҍtP2%5fYxS+zEDؼR&'򌇄eL27$ڕՊA77(OiW?IL,LPHO3,6*_ m}匝ָ^tgAǨ2(x=M{}F8LODAR=Puҗ8^62܉ChYhf+dOK^lSN6-}<k@ S؆>!M ZxTBsBn' -1 *Ap8(?{~9ehfV9;xeXEB!A]*W&z*G/L?ˈl M =];m eיmDEt[=O<bo&usI'͔VaxfFX]6fDt1YaCHEf(.kZ;B$b l-N5EǴPEo_c@ۀ%NdU[J4۵N8+ne&H+|nR%D94!OgxJM% (s0fAG5:~88P)Ҁ9 t}c/DV ~p[ZFTP8{ڳ WѱEH[A31pX!p6> p6J5kXǕX"n''^'A=ER3`04Lvy#tњ*'HY@wqAg C`t#Є)\5_vFD l Oq&xC݊auF҈)BjMɁ3 |>sbxܔ, rk^ë޵pamxz FI\迼h*__>cWcHr'qq:\(Pr5 c Y?B m*?֮pv]@^e=xgNsUA4L.ekC8Nȕ2%'| "A!W=NH1ђ*#fvRsfl0 ~W:E[o.ι;zF $q3PN6&ߌ. ^YȽY5kλ]<@#y&vtŽgh)\mLܤ0P&[uzk^ܟJۡF?U^^>йE̒d;K*)=o$  M(ΉF̮{Wch ԾebZL#fy#GGvAgB%Z6tg|^yAކ9wݼC~YQu0Le@ +7J_Jװ)po yPbIZ 6ռgs~5?CeaZ̼$MU6k0?˝MХd۴@KuTXb4N AB@2oQ-}F۶ p!7'!d $3[g{_qA9:&~W,X 0[ѭ n5nKp|@(\ ɽ뺂K+@]/LeRvdGxL"& @nOBIߕ@Vj]]R bgc6큋mII J1}uM('wd!qϠ4l>1ikm~C;x_5tk>8!θ^PT]:ʂL֘g_XBMp<%qw2ۯ” hg-|Ĝa~铚"Oe1a(bi hvt /(I  Ts0jP\F=[I-@|q%%σUM [:Šl^ k ϡ10{SazY~:dʡ !vVvʏpGtØvX޶RTt QӓrlsyEvcnW ;mEOYhe~|?DӞ()ۛeH}{GrMjD`΁07=CFs7f-.}%6qэN1]\OXgbgG Dzh +Xl4,|B5I ېǝmd$ryQ:*tğ"(W% |]H%1GfPt>^\[do ܓoX1:1, o`ZYJ1H^)BF5&o5S&jv|uS%Fn Ϙg]L{*uYqnQ΁9͐=ǔ2 Zyd:c'7y)}a=,U)}]*߮Ŭ νr }Rv~(k暸͑wdg?mgz)?~f 9QglnцFyĤ_:W3eN <6klݱjbe;XVr1a[(fv4J&rrqâX|NH]h:t=º\` ?Q>D'B<:(e"f誷`C>0K( XK.bAsUIט Lk^a1_(6/u )"dvpE׶ ؅1a"V^B-e4S/ۦ#Q >Fꈔ(^/^ WdG7aX%?t(3xp\dGңs4b{#\ڃkTQeH(G3QNlcdSp2k꿹gøUp26uICahIo1`w'ׂC=)R&3 4x>p@'SޝtCgbM{y>s+f4.b8cҒ}t,'7QJ濏RaZh!FVK8}4dCABڟjz^g:+O Wv^sh%> %+tKJQ'z}SNtP%` `AɂBS<^[=+A|1!ĥS4cͦ?9Ey}CP?OW﹭5yZ:mL3~a`idڟS6@Ď"$'>.m' LB&LH3Jyq`}8t:Qt$Y7p͆4[XM sR>3RU4܄oydISڤ[ѿT:bH\~U-78nL߻M_sՕ@[?;ycjKpCM&nLV3"l?0:a9f1Tz%B¼g#uQ8`7_ o `ً|†7j܀11U e$V ގutB?-uɈmL/R"OI0ͼdy1T6%k7Tv4_pO=æ;N>p-J:ex)bq~.3@KGQ n n.\8<}$JAc!V諂p& 7zd]s{4 pr;+ٌr ~R+[;ϓ҄ z]\N,dQ/ݠjF1KR'?ުۚ`R8$] 'xy\hiPYױgނXy@*<äeFvg"Nr*jne6ofC/+YMXY2TՇd[Nj)ܟ F3c$t'5xu# ]_96+uף!@9~B2@ɅO[k"M߮\ʊhC]nolH[R3/F>ޒDꟇ1k=USxPppgEq-Nn(KSB̀K/l*_ +qH([bERG٣`؂ْ= 6W$sD28oSbsy;!>4{Ę[GA&fk `HYf'6FzR7&Hq Mn /}~@N'OB[rO/֨1vb=fKP5:f!1}sQ8R[A$ń6ǧ?z9ql.c;4S5VJ^$v̷f)la&~,kVIC z۔`XGjA`_rԟ1s'-@@!vavӧQA;_#JYhK;VN^3~.3-Iʶ>$KO]7Vr$jOD(y*Dtl>MRK/K@VAVV]Lg'H:ŁC jq>Qg ftա0 ,Dߊ8wMI@:^9C[5̲F5ruc44 ([c!>$oa:߈r<0"=>~uډ`Ptu^F$ʐp~D) C`1s?p/9nNrcv_Wqͤ}5<"Z5Ļ79bH;f)vg&'dg- dcY:>". M$"[Z[ Srkwۢ8`)So i&u:Ԣc9Q}0foل֬ y!r*>]BkI/U~4poAo %+kPmv brύP+F2s5>6@`k<|N Uu< hKb)_&1i합7&&cʍA KmCGf?!jQ"5l!/OZbR۩$󎜿dm`I[}ΝNyŲڝ6 !SHxs IW'|T+ ֣~Rz`*d9oq|Efyվ `}.7}aJSS4ei?gѹL.I1P;bԐ.BCF!Nzn;SoQ'g ft*ŪVﯔa6|3VdV4p/TǗr:e*ݚUJ'J Qwl`(M%;Yȿ?":2u}}EW.eBmVTXkvBRrC']ZBUMYeU8^# jIb.! @TѮ+d1~rYZZٞ9?f)͞tsφOk{ wWWd4㺏7.Q'x^϶O5S0]Io~ߧoo#Oag؍LP8 9GOiVKT3 ] :5Sf\7b/M9Ǫ9 M[uBRf?D*!9uιGُG \8(L,:KsD6U.Vj6m|4{'YO@R$\rK@pzqzКH r 멃) pgaX\7K$94#uh0€q=:*Sh1^{D_2><5Sy5P<0A뢛/q~"2:]6JtY\)8-M% ""a<4x!_`^@6C%~Y -)t2˥:n9G X G?渨T*|{ +KhįU\vFv/qbU=Q NjBc d}xP Nmu UE&F~V7_s[" '0djU#|17^omalL2%p7Jou.|ҵ! DvMbc~\^Vъv5t@Ry:gPCL?T3b[ɹ|-%><\`jJ`RjS'Q,׾mdoP4˜//fMU"I6;koc%5Xr֟;֏˭v]00_ +Nԙ= $xf;MaV {cXlvݻZYOTKB}S}W;#zq4fXjCKӸ~ f5 `|x35%gaɚ~q2[<ϱǃHTҢ4ܼ!F2rL|yx*F+Gw(j F[gSDvUj6WHegYZG PM2Il +ZEjH [Xyc_~.&:FVX"%翢N›Aѝ`;@]Wpx 8P/^k=M vK7fkV^98]ӁXb s՟:uHst4W5QSN"&2rÇ+yZ2#7K"ioѿZ!̴Tx䟟s8MXG;ic[v]w;,nXB ]Ud|nq?04H=@lkS&w*Qэ %]*+s&*kl@H\[Ѯwj! V)s #o!N ]!j|d%o 1zgbb%εR/̄4넡:F[wa* ,@rH164AjBU#*mF.oaќH{ 9М۠qj)P=`ٟe$O՘ tٍc^jmuwmSkDX}Әm#atvQa~jă6 .>dN3Ӫ-k|qc0 Ϻqjjj5 3pWǞnxGol^Sx e.l 둺_d+axMhtjP GIL7.McoJoQ`GqF^L$ r6K*Ĥh 99dx!Lgs*d(+ $$x]GJWDx6_+r,}o%ԨN+룖хRs<ۚ%ƜOZLP2Ȑ eĨ&<5x6=4j_mogP p4LYqυ+εeiH=K|,͈\wQԈA4vI{(Qzs+ր ˾w$E/bW3o |;=\6+0JHo6~}|f۝6K71Ho^i\FI 1l6~$vN[r SWF OY/ Oyy>/TO]bfZh-̻4 -N|{h<){#bΡ<Ӓd^b_XZ6搊è28fMMT]ԧ a]gƂ[ ϺϝKDFH.K] \%֋31i3G޴ @φ1-j[sqkq`MI;neb"!故OE#v,Xmp='P\#aW,29]ut5(R=eߺy[zD&6[,nUwZji,MDiuF~k;'`L2Zpe7MzdUKx.:aqWG၎KșfL<$@;-Wh߁46PUǁQD,- {ߛ۾72yDp/o*o*6~ze!QWe-P{YZ #I/C*g!̃zW(M]el φҢNF)1|De;iOѺϘpQګixU%q ^zhVӨ3Ǽ_Т5?'N4z@iKxDvup%JOаE<Uc\nh(ߠeajC`~r%N!Y!f[ ou{ۅ9{VKQdᠪtO[!ú@v}h3dZtFxO2q5D| &'!=y?kFj[YM@DUm":|Y?I>><F@*[LC49'Qecr{ŤYm%@BGq/zP/C9z %4 w$U nCիy%0?} F) uS7"k6@i}u󲳠sZ҄yb/bk5F?. 31p21*\πEqbBЁQZ6`@Ȧ 6~$hjKx 2=Q-ў\P'~)-5qPכɑ-_ƓT濔-iP.vbG!'Cڱ (U4F!>v5YZL֟=V3Hx~Kz\W,c턽:H,&;#\bWct%_be>a@LlR[@7ث٢y3v0'Ƌɇ*NXynDۿ~9b&Aʟa 9\sYm d_B ,*>׫Xg!|({u*hDˑF{?U!q07w0Lj Dgc6|}d./g躿,::} } =a?W3XHb.+i|WCzPZDacJpQIp[ث@흀=!рx!*:+wAB"#:wޕ"Teo{|u0ΰWf(\j9,M7Zۤ3OFRنL ܾY{~mƿܪtS ͧƉ?l>c#6DHXY/6P-HnmP\oNj"WEnC:REۍm! %mCЌI=Ō>2r ʹc ?Ek:sW|=HAp.FpAQԺa(·io.v%ŲtJX0PWgbw+< ˗:[\.xp‡:pXot%gcUoߩF\_dr<3 (nCRbN_~p@4XM~;?ٓ,R2)]zxOYrR|Kin:0L*z dTc°ӡeabqJ$O^8AZotiMEC`{UKINW!4̩Wrar.4=̆> 7"e:cc\WOc ]ݯPel%1WmDRAC%}FVeZ&ሁ gt,zr̨ftN_JÓzލ}Ne4¶CqՂɒ%kJ7lCR0?$ۧzСEwydĝ⏴ <`}]Y3Bs:$bh/e4Z`ynMS.s-u+?E8@.& q[9R&^!1W^|/kźb(_ 3˶vbVIoYCv{T#g۔B⇛;VZlg9 hۀЇ3eU&E0^q\J%Q$oo LE3(Y?a6I&\ \qYڛ]R"[Gx=^ RB}U&꾂)7~5*/xyM$y2mnUg(^/>\JՏxna֗^7X'NZ6Xcf&tBft_<@4huB4^rsDˎHMInC78!{AK9،mePӇtoYr;f'_2M5B6,Fe8 v oc[!AJ_n>mqt-8[&xz. T~R2{)*PK p7*<÷АwO+=zBf #U)It13 I׮pFoY_E9d (*ꋸÞVV d {8?K_? t,#jWaCd?r"P>67Կ62׵>ѼleLT–&ƗX޳"-;/*i1#:N*6"-Y$%_5Lzln{um8Ϩ#N4Ɖ+ m& *+^Sc.F9[y 5_`lJC}-D&!}\uYW :I>ӍȻC4t<:C1(!Ɗ-j{cPm|#-j}$hRJwnfUW4]P 9Qz/@G;=R/!C3.1e<1͢ [!dDX.)G(_dx~1< 1 h"by1 M"ߴ!(EA]!jΩ C8hiuݓ3ZH'=G\TibYoiwWԝG ԙ`2^(@BaC_[C,\ULLO&Y( 71%9Ð߬Tk$?NM7vo,Ozs-nq N5fCP$>F$Vo9uTŒ٦;7̚0~S5 dwluSD Ɉ*ENGA_Cmg{gl+1'[2p8e#ţ6xOz%a{f_Ce 4иR`Ƅy]NF\矣1cR%aYb?*iHϷ\}tIOb&?bpq|Mwo!qm-` _[D>lpOȝô+܊U#'&̰]t&]b,^+79u &=tcbݓT70,#EPBǂk.^pR9iC$ 5 n^So3+lCe#%#3fXi8-Y j^qI +ABj xMsږPF"_%R}Fh-Hv\0ׅ,[OiEXAi*+ǒ{N !) ﶏRo "s#ppRzG$0ǘ A+7(yRlpgGsФZe/F7@o")vI8Yk7󱀻Mq2G A^^Hhi9r-@X6>X/ HvtpqrcXZ6ދ`Eob$xTPa;C /jSWQV(S6ÿp/դHres8Z?i^O7Ff aaV6UFS3_fgL, BW>t}kdIs(u7Y$ veLL21~WE8_HW'%L5i -ceϖW 4 o?R0Lzy_d8Ρf?09Vj-XH,Bf1e'HȒ֚g|xBIxą 7$6gY?8cF!lo +K'fh;aݦĢ=O5ʭx2ˏu 9tjM )m؀?Y(EyDB]d>8 EK|!u@>I4H#am[Hz]>G)W5_?hi+$]V%CRm;ϛ=G`o&N}h*w9iĢ MSD \䖺D8 Ue@Lvs]&vM$>,&[$p%⎋|D .4 7lUj)UڰkRRgS=U'R?]`<7~Fy 7y?ews#a_)R}ɕY TPu4-cN/tT##*DM~sq,%8au_ 14 NHѝG n\>Y$kE٣)֌5[ ;2> o5mFĎ%w~TxD^Sv 0݇*,Ǣn<1o(2O+Z7]ؒ“ w2^NYR>0"Hh% _MH祸8'՗wH T_^C# 2 oЭa:5]֖J?Sl $&yJB/ sUdKDdޅi0c cXF 3 J4Ξ7_NntGF"xٌ\Jx 7ck$+ͥ<_@Fl!Fn$hd-A|) Hmͨ+R>97o(85c,Tgf/7K#gmHRX>(=JG`5-uu?^|>ʇ%pn hrnV; $Yȏ{? [&ٺ.Chb[28DJ2]O[{S~$ZxCa>f/2RamRҒ aJDL8]Vj9F̛jTF Jژ2/{^fo@,VK*@2]^) 094;_y5J/@M sͻ 4K-@*@  -)e:]ۮ,NTђ,eR>/Ysrʈm/s3_)6§b gP%l@ YUs3veҘ"9DhsA{(') 40wWW'j`ms<[vrSk s| r\G:|$l[|6#DGLķ'ѩ`kpZFZU#2ptcOzګtʤu0`Iח8p<K/|a$|@e=o*F e' ${rZTPSp|C\}mJnokSWtaUCd 2/c$7z"qbtjNCܯBׇ:q5wEXxzߘ~,E4ghX)}/sCx T $+DtͰ-QxK7&1+do=eil& 헽һ!|cWNlDCtS3&g/MOGYg3Z!f[%|tYF+;W.ú.Vd ;X~gqNVG]Id۟$䔉&%cmΈ~~]#I4]tPQ eIќb&$zwcVqa(GEHqmCEoe\N;rWdيӅSj#0;Fqs/ǃh?VYumd CӇ-).@"; AgP{E2 ǚD;ϯ]) 'H(>ÁL Xv2'7W;X5rc@xY25&pU&F8޼/mO_3 A3X͙msEY#wNP1GP7R Jj-bD\:H[c>"IusWErQW3x8UOL]S՜d>E/Hx4L@{%Eo <K@J>eQ왧L_-`$`']MZx=nՍqQ"LѬrE=_3w1 Xm>uT"̊(vSNKAs2f葹uvNZidu2cP1c($q_; d/Zq]am s1bK#'?[TG]"w=E!.(7VJvL+Z>rĘq^I#{;NS2Cױnh6!# &hoң F"km5,>e=WoЬdiIwX |ťK~00n2>QhI?3=.Vx\vʂ5JNek<84A$`I!wtlR˕7?A*jm%dW.ȘJ#6A<䐻JGGoצU/µ0~- 7eV(G] ,hJ!w6N8gmJ?TDpUۮN,4(Չ#[H߬;1{UۦqC͘B@QPϜdz2Lz38lbY,(JC'049aYT8g@eZߴz7& yÃA~ZuԲ-]:kqKy{):<۶UbRBxx"-a+lD4/A~grȥG#9Ҝj2㸺Y3_>?:<& 5JIBINB)5h#^@I&19vx-^71r>j'_%FT+^TxZ[ Ⱦm8Ԭ-Tl:|$]:Q9D̨I6TOpU[/N,|BlO;zDyILȴ}8t_5bmD ^B9*g^ d^gTP"wX* _ ϝԟLvEKhKt"&lJ59;@4w_3gݵbp}875Ց`Md# .f6T[ec&}`S n wx/ޣ_['{@>@'X~Dbo/Ol3F,_炾"KIt.+D_͑M)Kd ?<>rӼkqDuy6n_@g!. uqCYL,$I^V.;((p3(GZ\UB$÷Fg ލH*O %pBLJšH8p;+5Dy)^^1iXkzQޚ-vpz{JQTGg fVvqH0U ze(U0^*ƃO=ɹn{Fg.:bz`8B{Vs>Rv1/ t/"ZD>&qk:|&8Zנ;i]mؿ6 .M L]I^JnTd'c:kECZInad]& Sl"0y ;:at=gp2Ez=rknD vr;] H_UR@Z`s.fRفπqK71p+@HG `Q{=ȝ|%T GQkeh"52c;4%S&cr .yk>~?FGkNw#2eGHpI5|| G<\[?<6H)dh L83YLR^340-S^}s22~~9Lp2ZR_ ¯]^gYZ80c9611ff403c49aeed089ba954daf25a650b43fcc1b50b527d94b950d2d160697342c63f522975a 64e02d979687fadf0152a8264141e10032a6402e a1303619027dd9d05e19ef095c6735f892219596