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 }}p1zL$ ] HOL-Corec_Examples:threads=6elapsed=147.854cpu=478.773gc=65.6277zXZִF! 5 ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7]Lt`yg:ZǷuM$)wY[ĭBCR+Mujl_钩efQF7tɞ $`+,#/4x$?W>Ⱦ@iMKǫ-Ut,EqU#;!~C%\4{[xhۗɴ+3Ov=ֱN߻b@֦e0<~8&k)n~H<>Tiߌbڟs'=O[!Q~T֕ ZN, $^5 PI"IJmR V]ʏtW6->|4 XL|2TԳ6z-vRr":QUtv %D*x΁ؒxkI^?}Xq-iNڊDܼ;VZR8t̍-];LO{V1?* ,a`D<\\15kQD2%f}-051wT,Us86U;}ctP!]nm ?dZMҫQq?OjNX &"vygs.{N.CȗEt.g)RCI@p݁N>xĬ"">(&Bތ،_8o9KZIA^98j1)uK0|H,* b-iY~Y']LXe\ $mBwgyk fruL\v {FkSn>;e4^_reXZ/44TQ S#(]Pb_$'ab㸙$lz鏢OLSmV-Y ÷^—4"ѽƮA= P+}Μ99a4A-t:sS<{"P7_N^m? pd+cy4y t3tPhѨoAέ|穮x 6P% [ ꚰxNP~5ahjot{|P3  {2US 10(vr13 3 yvtܳWVuB!զQs8,3}-퓟큋r>KoUy_4$Tq9A)J$u7˥b= \*Șq$)UV KcJ}iߦ?/m8j8bݯ8dt ͱCiu%JRx5M-zД眶'@ 8Um :H+Onǿh[}v<<o9 4:R{)ғ)ωQ 1Ko y8Ɉ ut## %XK- pcO']^*Jx>_ cRTR?ɚx*&ڍ=(]O8I#FqUsd&Ӷ)֥D2Fѱ~pB 2M!Ks$N_ ]}P}^ayUGs_9)ya^gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ BCeWkܕfU9Lǒ̒5/$"H%[n繢ďY2@%@^_`@M$6U;Y\Y^#w7K1La1:@7 ekߠGV`$@ϊF(6c0gCd>Rqa(l-̽XvvV]S턔*FЧOzmKGs˚-dbm (EoM" =0zE>SoQoilFE:~Nu22bAk0ˡ ]Vk^wqalD^io$6HeJ+CvjmuM)_O cQ צ>ZY<5gx 1MRd\zEE u)Hx BgYZ7zXZִF! Wl0G]ŗXi%y\%F 1 HOL-Corec_ExamplestC~ytS1S) 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** 3ZBPd>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+BM@I;E6>57362302//..-+'*$&"!      8s3.s D =  ~ T   .m o Aq % U* #SYz1r C1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files:I1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id9?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages4F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup3E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files2K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id%F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id!C1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_idB1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/latexB1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/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_Adocument/latex C1G)HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/latex G1O)HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/latexI1S)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/lat7B1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/latex  @[ 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+`\\,!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 U3US1S) 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** 3ZBPd>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  | |y1O) lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/latex7zXZִF! z+]N}T':=Q߲mZwb3Kzdr`X*feL[baRԡ%YevċQhοkDޅ:뀟$l둾M'CT H_0\+ q;a97" ՌFၛ5u1F*kZ]Q3 DfO9+?ow6ޞ?傋b4̓v[#)>͌'~: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 :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 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! Ȑ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 i1O) 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*).gYZ 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 -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 C CN 1A) $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 |RgYZi 1G) 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   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 qogYZ 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%Ysj3N-#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>YjWN9e~ҥ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-fvYr5gYZYnԙ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 'Zt jcxG?B3lMw/Z>-};||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隣gYZ Q <Qv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id518 1E) $HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/latex7zXZִF! _8]N}T':=Q߲mZwb3KzdP?aEu7}P4n:J`L%IQHШ`)fT̙.W:1qzT@dUf 캰TBs<{B`/E{|ZRگĈm|?eEك@IE/J^2jН79;PGF=VNt=sMթ}@N娾=ˈJxN9 `/qv)#S\sgUoyVŚi|$κvL'u&2Ȅ?`7͌$=h~0@Tj^ғ,ᕱӮTޛ{C>9w650OWm#KF7-7Q b "Μ:hc5)i8 8AM̖_&9(jRJ4ژݏh%DrFcjIrrk؛ .b6.9DCPE΂i(O nCm )gׯh{7nR|%bHijL#MЉyw8n69WA #vѯht#֟5XtC_Ti'de.~-FM$dk8o/6&GK;ķL|zcu,<\,?}䃏3,gcv Qoο-`|.Fpx 8ͮrCbȡ"EJ0c,lQuULverv݄ኋuuqeuO_eaJnKd, UïmrOmJ֯ CyEdr~@K.LMc3fF OKF5vצ!U8dPQ%eLK%pi},תa.9UoLΫMJ=i+Mot}(r9'I_Ĝ>0qHxsL%qp:c-AA!j↶PO·Om&&ªض ^_)7/5D`FwL*2,Q SKAza9MfRN4u h|wBPv =iK$-mtL\}<{Xǯ敘o*aGo7qb1L} E.ʬ ]5T w݄ǟDP`enwcyiS[kjJf` ?z+$꾦5D}߸=zs,;jh+07OHZY]r%R)PhBנPp e"Sbi"OHqEƷ:ˍ2>JG3X~ޡz WJ|%M1m\{$!e nզR4v DV/p(룂hΛ,HC-zW$Rxb7+KW =X D+ǧ"X!Iu߳p;-qc(D樻 e?5z R%v=rza]MOH2t`,\e5 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[AHoܹ_sjׄ__W6hPUz;.;PdW q=hͮr!]캵 .E0p>tJxjƄ_^whiU-ms?A1c6j#kYraajxl0}f/bf' 3@(rҺ26S03y }%{["dUb;Knι2n[#*w()qiܫa ߀9^"g7Av3昲 ?Ot}@aehoF{x6^ـCh8r8O.=!@Q_gZ:rP^U3wȋټ<.Vo^7g]>)A>uMۄd~C6m?\tRddDD($Ez^`Q2RVM5V#yD+%ƏmogЭovCWq?_/PGRo[>aL}daIL]W SL>FϐvȧH,')0My{rbTP ܢ 9Rh;'NM:k&)_.ڠb"Fqq=zE\˱m~6x?9zõ-[9aV^uU۾=! ^xr%cC?3|݌5lP9-q&uE*{0S w:_w&?e szNh#Gu_t&yyѣ*I7 Wye&Z!3^;dC7X[ׁ@*@@jFFnZy;i<5s)qテ|Kf&?0TYդ)زΦuc:]M|sy Lx5P&zM%F 2z=h`f8gxnP ɒ_>{@,пԎYz 駳\LW2dzMj}u[`dR aw^U2⥣,nP_Mc;y˷aXԏgDXk+-;/s@Jqw\1`*P'xqx$LYrϸE"#TڅH.r+Ԏ&$5PX75 ;dG,}a;͛wg`5X3]5ǻ[< w\TbFƷi1W’XC-w w̃͆!mn knōhVp+wR[qpb+0I#iuqhN.iPV bq:`v2y .F]dzj!!J|{3hR,-a[\3T!i{8Gm'{OFnbXMf;e]{DfQ0 bgLVc U͍?s$1OTظ$t @9-?7QMfdcFQY?NH?HtċtÔ( !sV{kݸ5=7b|@]VXUj7ILȹкi:-*HzC/F 4\%mHFӪ`,ܢ_í+ *d'|K0jaurm6!,:J0˙!PX{h6$EV'Y'7e7?dUů{5.BF>z;Z,dD̬:h FlaBSQ/IK}-qfnS悤`T@oXq !u"Xh~c~z(ˉ/)\Ey P: ]f~A+Mᄩԫ^UFwl0TmJ;;º.zgv-t؁F}.qfX3B ib)NȜA3Ď+BFgoF*w\ߕ:oM|wb@omn]tjQ󵶧Q0)(;\h8Gr t9J^tx 9۪ڃ*a8mC (eYq85b\[wqWl'!=QJ"]>͇LT( xM5)9D9G|Dy)n~SU5I*0c]XXA@Sׂ.u?}kʓ4z;We`.~q- pO1"zǮ3"6WnY4tjK"&{1܁84BuxWE_?Hy@@qgn[cgXOFCR5{|PE'*ic|i9i"#.ؕ I^y|eq70Ai ] gSBr&פF]Oya8jWX2EK<z?KF3_lUQ)?,կ,_I .iicP)fٿJz*{6g8Pzj=iniv>dU/c<2n,)a܆J4F>)-z>dy9L[yssS!օLJ*Wu4zWx|xDN7WAdăp#t`Qvk7O;;b#.%S<(A 7sv(ݗWzE|{0@R1?z|2rIw}[qkQϟ#qI[aMM`~7꒢H#u5Ӭ?KC]=ԣ[$?(I3p}3l[p?P dAn<*VVս oo/O2/ 78X?{[`*h&kY1,|c,@в߂XѼD 6``5.3qKL|hg@t)/m7hg)PմU@cdq}xlje”SJ3.bֶi*ye„ e[y݆2m;sL$ 9n߷/*T=vW?fSfKh6ŦLHWI 7M4 +rt1;L^ J5>W%:g9aJWڄ6 mv.:W:Z{E@SFhtyh 1^pr{O[nFC,eRL4z󋌑s$ ; Ќ 9+Wyd8OB|kUFed:B.&-o#:y:ch"Tr>ojD]:M>G=٣ @rbV # ?&Ñ{\=N8o)DM֪k\G75(X"%j+Xeȁ?[(QyL \>I9M{.Tچy{4~_Q uL~xr)w86ݮBg@ Zb͘OCW|A6bݗHBuR|IpN"9/1k`ʌd1mz?JBD}>)pbdm\5P]U@Z4GIY[?Q(Z+C$Uj`~kg: +T1e³)dMI ]=0|BNZvSV:iؘ7 {wvD Sء?̾Cu .C`UW+x8̅Pb%!Q r{,%;l-F@O_ Kcyh%ЋJJ0klW5Ίx' t]$04N3+9# =3`k~s~IbMVIYk lUp~9a_NǿGj'SNdqEkZXágREhEZ$7e[*@0h簺\`d] ]Y ʋ!}8<} 琔pe\=@_ֿ۝> .I扦i!a$aVW x0yڿG}tRĸSB[ 6rK^i&Z)C_J4v 24b)ϙVF_A˄'xeD)F u_a2$#z&f"|D*qpŸP6cOZn>NT(ah8'&=[WHD ם) U-#OZ7B | ڢ/>pH0ޕv8M|B5y|~.ਓB ~ ^EXuwU]e=J@䎞z.z rp:E۰9MG֋Rϡ32c&YP.Ǣњp/}ȣ0L ^u&~9͏e%sv'j(HC؄LvyRacH95!ﷅ5ɩmY(o>4EulXЗ.ƌcx[]YjDž >Gu:x8k%S}C˝;|f@ݮؓ%$vHe= i:ḨY]mmXϒ6@O蚌'C$ K:N֜H1C=@unkYs {-|AX;,]a_ [gW>4@rJ>61_UA ntc_jzS o/ݻথ;,(WeÂ)jw5qw1N`Pj+L~ٞKYz6F*ՂQUݎ_tV/pkR۽;NLKzE }0({3]'&2{ Em_?m]AP֠^%`m JYQ%e'a1/vX2j+1@}AFȁZP(? SYwO[)$~+2]  ;N*} -hS?u7 }\> gpgM͊kycTo:GP"0_vm_.֡xvik5c|!<5w 6f r.8V~oBKtD\)6t9IB}'5l#(70eNk]0_V~0G@RqU+4AN) 09|->BkE σ!|֠pQ@a4ifnxpos(S)ViRxs9PU.xcP:jr=zRͰm!$1;owq[ZyAS.B.':G滋ϢPM:J{ǃ>DlrŕTHeB(!;ʇKޝ(]ON7{{P .AeOPSwc*'h>% -6[\Ou+ٿ4 lM0OS投v~s[@  1` ripHM?o/(s>PݏE9<`XNa-SOOݭA [)Au[*>{I[!\5?QB[ ɭvƕeau`pu$QwOXL?e?,?UEaPEQ.kN \CYrU/83 U[*FءFg W!/y`bl6<__#0x9ex$Ќme 2}^8!.};lQLpmsN[ ۼ^ANd{ݣLcaT2%IiQyz+,&J#:(Ϡ[qwMggpga8b\G1rp8zю!W:rI1;f$ZZ 4QMYldFYM.ya%Gkd tj(sY+ElڹA,=ڶf2؉"@l d'^cT)l#CF k$UuyEgUae1a7-u!J|4KH&ɋ!j eFE/D|BDqnz=25kl|rrR4uU6g-jgE` UϯLIX#A zZ)^g)Wa&N KU@>ɏ㣙@èmtb6"FB|DMuPH;,G9 kLXϹ ȋy7iHq57_O/dek_LvhΕFIhi+d2A<1=1 }oš {BlC6yژyq &LSVSB.w]ڶXMW}+iO+S@4ID4o#R9ՌC~ޝt-7{vsQ2=A_VSj<|а$wxl f<ѻ/*RصFU&[ɕpVޔlk _ނʳ.1M-WDUE8;cܼyi0b*X㒼AFqXNzAFBg7g2U4QW SJ{Yi J܇51Ɂ!s'ꨱ;䆝b1ѽd7EۢrA$QQq'U:_ Z0fW%(09ᚹT!L[C^6vXl[3*LBxE9'@rRe Mg&baBb@b {͑7F_RτAͥƥL#yPJ9 BD${Y-C(1Wpf zLl 2d -@e* 'pԬDMM\@rmU YlqoQM>S k\ xXQl=wj3Z9Ug\L c DYLoxNK6n:;.5/7DUPErV>['k?%p+)S@Y,8Ք]˫hz4j_~ݭEkL(|jvWL P?α˸|-M6>W}Z-yx~C)#trY?&"UZ!&/qbQ]gYZ}Qfq/1 =>GHTA!47Q-]NM S!!!R(%t&zVNS$x-qt:刜JJtUF4N @hfa] ZGKYSEUJ6-H <&ް?Ź*Z%oǞBQ~[!c4۠#\ PȨ73~J oEoڿ3StȖ])K=ڮ *#6r%@=媿:TF¨ ~8XʰdBʋoB`~3#`=|HrEkan۱5@,0 l#4Q "\kyՋڗjUoS{dT}S'iUlcbV  el06CT{I( Ǝͱz-dQyl57Eg2:R +EHWk݌n\vE Sn'SQ_^"5%emƤ M,e9uQ-3)b` /D ^O=~j5/ʔC-onl93{N٩4c$-=):~I[vivŒoj:O)zj7PKi`p;!&,#~~1EۉNaX'p-(ؘYw]ni6Iߠ,?6N6T3^pw hvcK5@MS9hqc g'R1 k.|ә/R6M!oFHzԨ';iob2 Gϫ:fPZ"x֞Ua П@؜j ņRK;HiH[o= CB>SY } Ŧy^=Aʸ,Ј_B4I/ϛ?ׂ좔zxbi<Je'TP^&qQEFӎ6U/I&`NPuwu28ҹЅ5SlMe9Icsl'E/ So %x_\dk +\HJ8Ow_k*jb5-)ۂgJECh-y.sH #=["SuZ'@pws5FޥF_ (You`9}?ѪF ;Φ nw2uS΁8P|б0LkHb>n/KPsڈ5VQp+Gd™9GZ0F3AGr5T Eb|'d@' ) Q d|R[_0_Sxux~ dV5Xl(#].6g;AGJX=泉zHoN*fsBzr)xO3S{b{H%pt[@I|8JkXL8C*4~\ v~J|0rj{#LU*dŜjifJ^ Ι5(PBqfa.JSg:6"j;^TPj{ʭkmQ7* HW]J}o}Y_i" }k2npU(!6FQDNA׍5R= y.cbXҕ͕_5rW ;ig}27D=_eb$;Hd :X6F)tZX'+QQDZ{Tۄ~ n*ڈcy#sg'Hƽ ](ߟ4#vcfTu4|5X/zy"#+:dWl})v#6kƅ7,\ql Y*@jHA9ɕuTWg>)n9ˆX߄^{sCY :m1#}P$amJA>ybVkH]lIVu'F$XR,6Px?UE& 9̝=nVeDuِez| 4RY޼<,ʪ9'ϯP@APuf i'x9MI6yc( Q( ˆ<&EGZ氯(KZC7O :FU!_]i2pVb*8SU8 I1v[i6ۍ fx/Z=BoAV ѲJMw8= FDD<B!<;w@\z)M t i*ɿ-r#]?JAh԰GDN"E8_,6$ h˙3 ~le'K|ҥ0-1h-ԝ5V!T7~;d9N:,qIAE3"$<dON,ۧ| u$&M{>Lwʔj#|wL AG #R(4oB~z: x-'P-4`PcJ!KN~l(0GZ$fHNxȒp˝d{]nvVJ",༈|oLpiFP^&d.K}(:ӹ 0r'KO|vTnzZt0>a1h'у2@Z/=b[h;޲x`N5q!F2__TAȖ)O?j\EHY@锅 LXN.C((rRʭϺN>n7wG:u~K4_),sł'^`2Do,hHihQCS5'_g$cMt FKfR̫jwGF#?^V,Q;gDuA=醰H|e$5HXdo JӺE<`EXo | %P4ƞ!СP ¨mĭDx#jN9 gYZ *1O# THOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34u 4  r%]ׯʑj3+:Y{S4^,7()~tkoN'k7F4r Gx3-Zʼ]xà-m_~MP[\F!Jjȣb|e5q;l&30c=JpX92X#:M)*Sz;.I(夲Dxe1ZZg}ʼn&SdPEXf5!4vwBP8ȢhfuXIsI:PCPT%"BP{a*sʣ[O@.VqYUs D'^rf%@ۓnuETC{[Ox4Uj PS'5Tn@nhMZJԲi$!(ady `)-(p-]$5LOb[R]iJT "-ڻg`d@VD?j1&_5N)//l?U 2v\ J$aPLF^1Y&. FE=k >٬.2Hg<2B<nV,/ѧkMH*~0`[-p- )7+`Ke1놯K}Y\'y/P'8{!; ^g;`XF_ d:ҥA*j!hGb}ZbtO`!.ST<=t lM#/mV/asCyJ`#]sض#xe6!% n)*Dt?#%ZpjL;%і\4(ZAPet 󯐞[Q_.jC-WݱtKC0jWvt\L1r6 ?P6$ DSf4GVPdAl*BcCv%n5 p͕DGf1޴vn#XQ26r^'kĔc)Tzou%%{bm,BPN˿̀r-%K>g$nϭVFhbؚ;1yԕ q(._b nfUMڢxDJDX(qXo堥]mFbox{voBϏ M[Mdeʘ,%h+j~>sB#m y; JU{Q6.09Dptczby fR='`5*05=g {zdAr0zA<ӏvX4ۜbFW!k]n842b˸G+Di$ЩT^J j3%0I{IBp UO[(f0,4ґetVI]ۉKHnbZ'\cc쏵W (Mi L:0CIƮsV4$plgmɆ̄SZO4=UT_&WKcD4xpxUFrޠXTf_5oVG}Ez#) pࢻûX5mϻK]R!9 QT{j'x9/(tlӦ#d%aegc.cppr9V{⸡gAt0IG$iWXձݪGÖ bn|!Jmeim Y2?rp#O ,,0H HYڄJGc vfjYs2ilᅓTgi4BߩxR␉ "f7X}wY#Ԝ=d;.lnjvhTAsP^y u{O{ LKxAVEsO8lսP\Oq10[mꡃgǒmB\Pt,ۗsUGC r l/WO`!5ZfW3>A|"ROUpXgbVH5ߡm =«/ʜ}Re'%df<=%4Xi( DW՚gqNAwDg񍬜;ɴGoQ|U琈OE{%] FŜ./593dqqacD1.;#>n!~]7XsiK209RU]vkyᏺT\ުN=Z(3@ wf X<)¿Lnם 6o~فh9 dAW1wyF#wzuҡ@do lԯ h"XiV= t7i^_j_v(»\PšPBʶb~c }^c9uv a-H( w_~?3:fS%{ndps@O؁p&)TRo3۩= TkǨh,`|GOq V 3j<7/ n@SG#n8א:ZQ敥pWqa<_RyJ6 fxb &'2%' <%)3h 0].׿͸f +0U} &d8A,$féE'+yM"6l~HNSĔ/heh/,-+ĩF օgcUɱ0?Mt車:]o%UHfჵ-[ _K?N 'SVի2EcЁCᣛ53s\aͧXYd/*!S@ĈVwrq 9!e4 @p/s n B~_:L.+Ma^{pMޙa"yCgέD~.h=Mv?;š?|j"8&9J1ٯb& *ԱPV;E$˜a\Ы|/A t`(3Pْti=X.tFf^*l1q$`͞!hnYFD9{)&xg$6i!W7 1T(REB]i cWlOô*}XP܂8,ۋ";@GENƷ"%bX>a jlXd@Eq@!aMH!ź+nܐRu^8- 76bu1շKx /Qτ; olʙczD# ˺\`@k?*TyC%ܶ $,lH %">z8>Q#EƶIgU`m{XY yzgYZh1A!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\62)F+k3 #ˇ^M VfWϣvx)Px{+PIVH52re3nM%d:OX\t4HUoix"*3O~Vw; kC<}Z(" n}EI)_<. G"(h)z"r?KYZ_gc8 Pc`~KPK+Og̤o#;r7 SP\쵌ɏXwl]v;dJ_]@tɓ7֢J\k@@<5_8Z!3rz d&wDTs j-H-P<-Ol>ZFS"׀:5`ר?8c$ $JMe*0sөikP}1 犦pbQtN! 9b$5OxͶO%hפ-i䓨Ww-h{݂dz;jjğBu"G>#W * K$xJ5NN<0Go}ʶp-!^i]%^K'ޠK am"dz_iu&G*b+|%V6fI0DŌEM=7%!X)+ jau[`ҦC!m@At?mYǕ^ysE&\a[> ]|V$fܲ^2::(ث-#;P[ѯ#c#Jml LWpt],mrex)׶MRlv2L{W2PiVYTڄ:ys[P$YYHSrC}>sLJ>V_{v9HB-9l&&bk-w:%1 ,dHx1wEբ ;$4X E5#Ō[u@jL;*&ȚojęRP ʼFڤ>$ F|!.d Z~DMpy=Yi;"l۬9C;* G ` J@0$Mz#<T\ژ搘9&P9 ȌuqL@0f%IPh~}вŘ憙Źo;~TGI(LB~G(?[.*sD ?Q.q`wh ?2h+D?,vka1H.*SQ1ĭ],w&me}LRQvիJ1Ysv%Nq-KQ~6*!-&ʉ=ggOCR.a@Ab q+Ϋ(jardmdM&}&jBo݊r|CD1RN K@-e-^YL_ %C*m"qB(:H;/E1"Z'tMS LY/.߈X<ѐos5fr:uEwjvfqdf;- ~ZSZ7q//֋׏mT{xCo|*_#tY N[Z9Fݶe dY q_kE&SYc_gn-a~`*q׌~@H]`Fi.[0&fC] Kh,}D)?B`GxurʯމbQ, ">)akI#VɊwx*CO כ'L1"S%Tx[Ll\ CHk.*% H XH Cj9zFX"sh0@#]muI>FFjJR-OFr^I'!'ЯYoЦXZ E,%u[ty7#ד<6!4C[W0^Il;B=Kғ$=2eEO8F%YLVV:\_I0ox.Op>h72%U^" @N,5R۫"@u_L}wBqV%e,f~׌oE-$=*V&ڪ+ 7sb[iGN vJ?4*61aX|tN4G vBХAԇkYEp|HY1( Cn>ݗo}#)Eƥ}^ !JQdoTz#;SHn%T=%kh\Y 7<]QЊ;=%&eHЪ^9bvX\(DOB+bO̓xȅEUP\&?"1*˙% Qs!4q)G֫YرgYZ 6/1I# dHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! v]Ș'@7DѺ9 Ǩg2H1=|uI#&dKF1Z3Bt%gb2eb|rYE_&zK]{N5۠t汗5ONu7]$%ni slƸvۀ&(:"c]ky]MӔ;-kAV{LPB&>2$iTfc㻛۬`[X&?#&^`1`08_!]v\4+Aqn"kӅn0jL3s3VREY Um.v;|Ճk8vTE`: n))Qpv.0+AE)WvѨ1!`Bc[y])_qOa욚4h,@X!n5-Dԩ_\g:pdE֝7"%蝛( uKk4=Zs{%1r[e>4ZE6Z1kZ\ޏ3%w|KS=ĩd|eu9 'NR=k8[g=]/1 ?'7P<<'t6,I> rĖ" GmUO Ɲ1WPwhd'3ۘn{Nͻ2^a"$Ց=AN 2vOȔF܁b~xY2P@'&6pcc1Eq>8ǣyD ĦlILԦR[zFc%#'+?zWY.7\Q>l U]["_JOJĤҹrcG~TuUT@u mkh&1;*О/XJ`=l7koBFJ( QB nb@di?fֻJªUFo>>1β#:ݪJ8AȂqY<{aU|}[) Y)",,3{{F <lmP= i(3YvM@\ϗY$O Mܮ fgT]PÚL`%`G pb@;¹3hzSgu-&ai/@ Eυ^ƃcᶗyS(K[Oآ\El$m_N C2 GJIdžT;X|MO_`/)M&hJDڣuw^'Br[i<v:c9Qh-CF{|cT|-?cSYY}zQ3ućͺJmև˜}Ԇb1%KՅ=CY@YB5 ~)CLڎ)( $.kS5 #(]v̛ uE!+w> vq]KX`}eJkaW; {KEWP2E=g+ɬ ΄AUD;WʖR %\&P#)-L҃yG;m?$+bK8m ,&FH"sYHzV}٩38uQ<`pwʛ85YbknQz? V oO8귆NRHFa ydN>+hZ1.CյE *3 S B毱vKm(" rH`/\PY hͻ7pd"e\5*GZvaG"!-"0&} WA:cDw%oh3;oq]pZmJA.Nc1Q@cA$jX̦m%\n 7'| ҏ"R05&i^|G62{[? D੃<.D#dv1ws>#8oȖryJx7;^9,{ut* (HLNI˛\p&\Ab`vPѳo@@>~Q2@&zX;=W3klz޷"LtZy UW, #LUt8 m,9\ /B[4-|<#J͎%Zx-¥k>ߘ) 5ʨ,e{:4)U{:; d/2T[n2DR-}#9Ul~ ¼64-o&=ĮDR, ,J S9$̛襄d(9 mjPcHv"B7lяE-љQwo[9縋.CSnRy] `$9׉q.hY&yWSj+9 l to8+ZMЂ)9Oq˵xڱgYZְZ⽀=~6CN&7[,ϻ ޵z@> 2-acW#Sꢚ(X-dY+hZimTȅޯRa}?qjdHW-A=ODW,XYZLS?is{2pk??r0&+{@',w3ϊm<âK oќ,Ed \4SJ<r1G%^N~} Y?#`4pPYt{HJF/TLJ%t,$a/o e./ ~/Fk"3v9,ˁL R/uAHp,Q#$?.<`QqVTP >tڅhJ"zX uw"϶V7̺$lH0bu%P.fȝBե7?XQ#Kk ghcV4}L+6隩 ^l>1K=-u#ۙT}͡/.Mmfhya1/:9\ n>%;dQTNWoO"jerS4I'yVct"3m1F$J lX3_)~yB@ڨL U@Ñ| jlenLvGF^}׏q,xzCܣx-dm%\#aȾXfӝN4ʇ&+@WmqNdVxiG QBGdwWlÿvt|ove C+B"JŨ17J+'k/l<,N=$#JQk8mv\`PE> Y^V1j!BR:1zI WD䠥lӒʲlB 5.q?֜)ΦiF#| D9bɭ@VYX|`KG=fE.['8]j!m{snVc`(,oYLm巻 tO2(kGxjEy&]x3Eܩ-~j5rZ+fJ4HωY\(}^u{ *zV5EQl .j&R)KCəxMIR9F$)ι:/53"t;#%=!6/Zb_.kG2y"S Tm;ڬ8F!Xv3oU4Aa*agۿ1$/a-'p{E{Y!?@ȭܕ\aм)to??\ufq5j(M,cQ孱4h2V'zR2$3$ន%@\6T?jXDN( ~f=O&T bÃ:ܘ 8G%BƣKӯ8>YVU֮Dxcl(!)ȶ}yn*nky =񩺻x&/(CU~Vl&U꿝*,Slo?9*GsE&hXyDޓ]lyܕIaػEϔ*K,tC]'/Y2 -A|oݡQ!?l`'ACgaL4eW>E銜M :A[/ii+qaZ0c]' bWdn?Z ՠ9:C_9k5AfuB,6o);wgCWfź!*hv/Ebb|{y a}8 :c}tg{Gby)Kg&>nMeo=z[]C2bR 8^Y/lCьPm_;M=B!ֻTHS 5{wEj zDkRK\8aHSY~bDUgǣ_$D(3{ugTreo4nUi2>Yp#ǹCl|:,dʚ’RHS.Jm<"M_ia *<{(u^j !zp& 㲴ufC9Zk4[d(`[W7:pf_Pص 665<0 KMS&CʊZqxKm?'d|Â? 191zH\SG$o -@{"eG]HtZ$ ex R{kh1qM%wi5ЉCA7E MjT7"m)`7~_h靭Pz5#P'#ޛG)id]K]A4<(j-ʐ$<4CS83ytz&{S,张=jV% ^=hy^ 4ҐhtBt(]湻a_DK ~ҐJU41%hle1ö qoDn㽼pJO Ɂjbd?<:, ^D } tU#Ϛ(>[:vS ȿA.-ЗڸP#l=VthҞƢmHd2x ǐRThA3aI1`' QC] h^'&:ퟛ:5W,DrmF#Ctζp= p,+YC)U~f7>z-W@{Qt:_Y{w՜X *d9E_S`|ˆ1TY7c)[BVڍvl}*r J N+TD8AЉzxlox8]1G.bN "_I옗#k9Un vrUOgDem)Neh6X CҊ4d ןcibKF<J=30Ӥ]$hܜHS^lI9AKEBD5q`!Wt鲢H\WgA(PI,iTx$ POyYl8m09SVb?,:DH0#QjM;q+#gYZ  t % I:h&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./(O3VR)O^!Ma&kPeJul+VWsEJ0Y#P'p,6U6OHS~U\+~B fs M ^xNV@3(!IiTӓ6%v~!#%6dU…O(A)mjM&욃숭e.;nnd)EU"ιl{q. A MWp2M W^ ely}1Mcr4f+WRnG+}XjA¿9(C(*Lx0]B BT{k ,Xymn8$"x] ycUcX3?>mw~4!Be( Y*V7TVi&ܛ7H{G~OR%G~1F;gBE21[* j^i/X+@1>۬%\Nj4K`%H>cP̗.U^4 қnۚ -@R[ _IWQDu ]i%#Sg-APˊXZWQUEP);'mSLyi6\2!#>jO]BOMFuZ5{ h`IV2f?)C'(YoQin͍Op֋r(x^_*d/krg!)`mol3-=A/~X7XΏ8m"N}ՏFb* OwMj{x7h)^XyqzrvQofx oyŴݗSY1Mj${QOg.Mb%Oௌâ-mHӺ%V g[Ib>ӄ5Z[!O6OG_!ff&5Wd#|h12^ױ2q)(Oy6nZ_~:0 AT]?*+p6_D\^/&^5+4Fpw~ N$V&Vr%6+jd>E㖬ڋt"4[>Tl׭2l<ޑۨ7 UH$gYZ[# 1O# 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtoX@dRY|#L]㒱B7[c[e^ՎڔO%XZi볭ʉ*F{9ߒk"cq;?A1j 4HLd(fgy zY)X0OyPIH$re<̺),VO(̈́ěؘ#z?U)-IJ}]/A0R$= Y z?;M~vDe-WBJ}zAӛRw[V1BqxKH*AS>o52U0.{(;lWJU~@΄i)S2ݱ팉O]5(4D[@^>f ^qݴݽC Φ7KLx/WJ/;8} `6?j! ={گٯW|7Yr" KƖwm~Yx@v~NtZ>Ac&ګ ~65%]V.| rlN$Bg˅A(m*;? &&.fz:M!ؒ.pGΩÉK3ۘBs'#H8{_E$E0^3\H0*ϧu\?KEy+`.K٧O0}62uk=qECbxuǏj7M-V,323#є^W }Ǥ#\{[\^r=1i[LOF!$=W3VI9Jzu(ыOX|զ7{>>CRhnZI8ֵmP-&&y7C3{{Lw0A_6xؽ 2 Đ -G :Ip=D2D1aZܱgYZ&*.A80='-o!P6~{.L1 u0 씉G[LvS(o=6Q"CC +szn1慮JJDx;\pw!v:30|"~GJUFGiĞVc_|Zߵ`+xT>CTG{ FJId?c `o#ҷx(=v*~0'j`<O{] IyK8@s˯$/|滷w:dhxv]xwj&0ㅊ@ʾ4Ńy] #5uB%7:V !C_^7L%4b?W@&ETqs7/#5Aܩ qoSe*RHHFe-'2{,xCjM S5X5@X?l),`ZfB0ڗܙhu^R zgrB|2#+e Ui(}IPbJ3M7FK;|4+jl?^|3HbQ^< {M`k!qH\\ldW}_^?i\/050$>oH-E^ o}h eYwՑeFGqּcx"..Qܟjd|9T@W#cpD/PF[ٌd!ȃH2&Z,`Z3[u=D(`S,F7$:Y xwleLՠ_~6KMO}k=-l~h[ifdՄ)>:h5 \Q)89ޫ',1&w/_ _Lff ?%]Q T+7Ydx CLhr$:8'uǒI! ;(}͊ ejɶMoo3UC ݃=a|4RMaQ~y5v;.]5ђ(יўqXW~vYbjJմ:+GC WI-M\}F(PxN&BL'LHPz|IuMx;UtC37w"yqKDSaYc24I*EEؚV*QUũ2O&r"\X+"_UqßlqgXI_дa7H 6e1.m2=rDUr=ȘW*AT+5@ l'r4C7(m/VX@'d[M?d1+n5Y&Y_8 jo/)@Sf"aɆpXGh?G nw 7l`T\.r'?AlNFsӖऺl~ȗ@w7fCsX Dw(q3AJe@ԣn<2'`C$LEm2zK)>SRW#YVHSRPGP5f* 35בCz< 6"zw'Og~Z{ikbw *cpv3EϰIfL{^H0ʰƦs=dZuTe+?iVnLK4*dڡψ9mo]9 ??qLeRUffǴK 0^$@0,(T@2N78Wt ځe&읐=d&3~hV}o rˆoX_qN$]յʮ -'x's3 2:~]p:ȈLnnypALאu44؂գ NB3¸+L> lٯ SvL! ``g` tw_nOh{ ciD5}ˎh`ƨ1֫|ZA+8@+(7N?AUh4.~^Q X,WĹYnxCH\NibdlHAZ^B($0f <.CC4:AC!h+|>;m~f^ `na.GOq*<-zjQE::* }U~`Hߗ?X|B`g,]^:`>vG07t6֣&Wf+nH"#Yi%P21[F}$̶1-VGVЍZw[7J#^H(IcMKV:3{s{ -or,xxc=50+Y<>ITnyyẸ%p8 XgR=ums]Aw;=0vާ )k#` ݥͧLv]ng;,m]%+l9n LM$d#?Ql=zW~7sVf"o |^bQokGԂK=~_ce6n|4죮 @l:T1`dW@۲k6J[Qd_Sj]ц&5n^O|*;fJ 8tݟK-㥸'j|c vih80/ x֊t+n ј|`#u=ZZMB\F­e}I/f,lQ1c3@P:JVʗ,763ګtoh1(2ݖfCo:FKjeDAemm8"U Gi kGtNXBPu(eKGI7.!Hbq-EB6}~hp~Igү 8e҇ ǽ7]lot`s<㷌S{\L4Ǚ >ǨK8tUrFupKuµ WIʇc!ntwoZK|Nga" xGA)b? (Uy12kUn, m.;\{Xz S Zp$Y8WYKVv )6!L^?$h/`Ƈ.Ȫ=u6x\0Va|Zk06kyVO4K`+,[^,-FÉm0RMF37b\GqSKm/SuL䏯 M_8X ˡ؆K `nYdBlݑhu]|-l-۴%T"r rs@ 6a}هqzgjɦ $(}mP!PY Wx>_K3w bG5 5%d qTGS7d ĺ;l!/)p{{\ZvOuԁawKy.юߥePgvGNmȦ -5n6ɦy,gt8+:IOȣK2B1^Y8R rACAܓ -Ap,Q۞S#WH^?ng dcQdnyAVn#ٙRPc.,n|S9:{[l n$B.[[uҦp[xʴ\O%BA_e5៦@AUd~aXIspw9oR+à?$XW%rFz9@z/sN%<ƈBy~YDybbGBgYX| t0ima}q}z"A&jG $ޒ݈~=\ov;`p0Kd u"`Lb}[{މ_xS!?knf9]R(pH_3 a-h,ԴBmB0ɝ6;؄ՀfR*J6$x] zWp[2Z0,&%tdKP6AJTnt 7y=Uo6_p>X $ٳcp@i}ɧ($6v/ǬGzY + ޡ<'@=g5me_7>tOCeu)Q~0u?Cikyg Ti>V#7] ?P*ŀ t3p9LO/0T$}Bp6D a+25/Տϝ]E YN|tvi0%J6Xj!;*PeqxvIW;nt^qQH~E8Z`"CrPL8or5 %Cf`96VH#8~@Cc L`lw:.-˯#| ak|' I)WjE2W2;̘Ȕ Cn"1'?!?O,. y8|јIs&mhl.} QAF;)b \Yy2JV7r쾦̆]01) mG$}۩75d=> OtRjׂK?{Np^z ds*;s:/p: v$48ZXvywA{B)̡&'%32# Q8!ɆEm"К`4dbob9fW2:q.C@7NDP}'Þ{E=AS\pV)i1T, آԇj|A&fO0)̪g-[0V]R7&p!<3  l!ɴC5!όSת#4.q/KQavXkGb ѓ!|efCll<{VE(ijQN@d(7Ax˜_m].`8Gi507?A[ShhДBEҍQg h =ɶW~lj uծ[ZpoE#)+5%GoG9CF8u<[dDkx-Aܴ\FcҫXEyM+vi@ * riO fsO0_A{]ѝiV#o6l rz97ET ̨ |VL̵n/}SMyDR$Ofcu%sL.~S[C`J$d'ܢ[p~kͤB_V0B[L3ξ:9A)}Y l|PCQEKLa4`5wgh%Dx:[Q]8F,Wmڤ!ʛ-O)(GZЄ|V^ҖN9IPo8'  C(ґQ ^qRy΅a{P cNEQh:"xZC^7H<̮|V//̛B/𕫘cO;2nVOzk ٸ'\h{(ɦ\ ![ʺlV"y5N, &wfԦ ef`6bgT؜^YND{dF '*^q+6&Wǡ679;Ni\qzyNXӍ:ښ7JpoAӱO[qW`d4 2-S n6oP.etNl +,==1,1afYRóZð9[M:;Mݤ(|hGxáܗo`CtK6%êDq#&KrT=Gt&:՝c,ۢ(! 6(uQ Yӻ-t50Z] ' êqnc,~5/W"jEl^ R $RuuI[,t"=ʘ1Vf~4(313>Г'oyq=bqʎ?s2:ӳpf蝶U7]ghgS7dG?챚]y-|_Z5)GCEPkv6A\]ZE34!qdU\.mfI7ŻkJ,R\Yi΂ 8J@DaXyї&Q6{69 u7螏*k= FîITQu!x&x7 uu?>^ *)4Hc 9tmrv )aDP'.D̜ lD D^BۼCLQ鱤sUZ]Hlntvkv094D#=+:A|p"H;0 2arGpP9k_%\8=9 J@[m\RE.TXDv6^黁Q;J} wlo(ij1`62RbiX!Df=A-jqq; WW bX M}ɛp;EdtGctKzѴ"YZ0]e^3._ ǭODok)U"h酼SLͻ a?ՖOϫL;y}lxkxst[J`+7^08#Cv͜Y̻VqK)P4$K9gJ?H]$HGMpM'hX\X#cZF֕`fLԾC#LJ8&Xn!P%yEzQ]lxgiLU:qO;b$@3I!SeGPHspgYZ |l*1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyH)1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id5309(1A' |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! 7]D?7 {?:fH\u-'Bت-V ֩X}ڨAv3#q ڑa$L?B,0 AizV= \z,НU'b-b>q6<.F!?ex\Sw+x6N@+O1 t `sd{v.(ϵ[딝Bam!pEA~9>KY'*Ǎ O]ibh-ͻv|g5[h9|*IOQ}< O?Xj\B'g%M9X,4 r|#s' kis3wg( Dsmʐ7VÁG >~;$ 3I+ybV q&֮:m9N+BP0t'b"+k Sx2}yۋz湪nmG@AϞ̼'}uH߂ЌrZYvTWdN#=^~WRV[9W Κ/$"Au \X/2lv 1Bzj}?ɓg6?Dj Uԅ?2x1Q ͗Uli>-ى?7F ^l Nh Z&ӃJ17nd. ow XY 6 fppuϩH=Pl !d̩+k#wE(3l= [QY|/ lbB\بixq/=8gYZ{'1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1uqKRX`t` ^e*Z0 ՝Gh*:7"K[;iƘ0n'_cPXeӈ 3\Ee+ |ׇ A%4d #fR!Qm䬐FU{HSc;3Z3 R'(itK)M1~U{D$8!+e 6gGL}x!t7+nȱ>MK`IZ۔#އhwċז  c/P͂WoaST\{m9KO* "W,[t@XtS)+N E6n >&{JshjׂF r`p 2&@vL4ud_gZ|Ne|Խo׆{p(@Ce@.ixlxUⲇ H-_IӠA5e=T[ %UuY QGέDϘKme(EMy؋m9wUFoǾepù|jh5G7d- !gH/4jL3S[8ξɼ@K_\9=ʢ[OF4e^̬'$".Ih a7cCW7^B;uV-eD`E2H}/j;‚$sG+S $F2wߐ/vjV4D DQ#9L҃+X4hcre7pIda`rHEe3ZEҸIܑ,E,N> {#%>xꟘ{#}EWP$czzz3i4;ӣ\N3q.m gKgNZZ핡aǂIV[&+~$UPQO+/qs"{99N_F19Q-Mɝ`1BJA¼zbhNłf5װ gT_I ; {)J+OOaM2x ~5TZ hSaB~Gǽf@TW 4'wAVLTJXꇵU3~Z=|U2OP"$X|}l)~qhT7k47vW'rvnae56…Iokx%֛WAKrǷ'd tX!&*h{Vm0;ݬ{ռZ!Fd~P5/MgYZ)o鎤U2Wy _/E8GhyBF90fgnPx>'YE4jЦ}m?HUViʢ X평 @ 5@r "FX6Rb2H*%F-MW t,b_pfToeqvXC?#< >*V|l@X](ۉ:?7kk>0U2(va \A39-b RQ6!P0lZ P?Wu,-<aL,NY VNnpcw}ľܺ Fz̈́E?f_f, %8k}S.} rv2籲*_bp {BϿj]HHi}ՁMb `,8+!w\AN\S ( ǂŪKR--#_s:'%z僚YػzQF=q[_v%RDm͔[ J@'9`^ Jj*>RBu3[`~jͶziȎ0~P1|%xví#X\GFaAVI<$-jL)\?IN罹v [7SʆtΤy\1Hv-Kl 4%Z=%' :z'%wą-]R7?3ܽp4w(ѵXw^6T+={6ZAڴ{iM9 En@w&L&HS}qQtX\As$-&*a?+G5 ߷bX?IZ;_.öiv2XLlF?n~- #%[Q[1±dQ9`(CW#Jy~3*3(s4^m);VjNN4g1Xi<DUШGxnWc[<); ٗ {X,?j7d:!Mx$\tyx:.q &h&"O\ o @9}{o J7L^yPm@lqE"Nܸi\vD^#1&6s|"PYnj<GƒHXz/7H&_qgXqnOY jZc%^t$n+T[%Mav bMRt4'hA{5UR0 N}ǻ_\Zˋo@E>Ka]qӉ7._w"i${Q_: #@2@+H@BAKɮSgzmލDKp9hyO&-W^'62!79& kx$o='He}Cf-+Մp[e]#gׄQw\Zrh;%o Ϻ؁q6~ k"M0*'ZܶO:56G9Xx_" ^Bô7/w;xU ?M073ydj8d6gA wC -6GD+>80AOFV,̋yji>08{Pʊ͔@fZ$ FϽAr{!zLvjX @tqa}Vָ@6QHeY7mNf>&} `"ƒlP?euIV)BKjCMMxcyoQě jzJ'Zk~(h3N4e#Ze=epg 0㿧qCe/0W0FmW{;5'b pQfZz 1q BOkkz<,;-X똛}bo#u)x jIt?NMv\OcM ۥ+7НkHfO$DMѱFaNʡDD7jZ!fm'fZ'W0,K3ʘlV_/lwT 5U·5q@F ^WBaxEz_ސ+ To`} giN ȞG^y3?0^J,Q5׸+P(G';b=T-1{=ϝlMݸWz8!r|mK=_6>Bko'T'p|Qx#.ڲ4ǸIY`V$Nm=H)F!ĪS^$AЗ  |a̺vsbTbO)'DȒ]E?T61* !-=_Wzx#jsLKyB 'ë5s5$R7%vjP D]|@y`ԕJ1?l_{0:fG+R]G#?Q mxܗP.EBdCAWd=oH CQޗ;y l.">n xʧl%2V& TjMSґKdBV'%J:F}IgD朢{A,D&Ej]Vk:id*VQR'if=C$T&Z-<ВSj?-'ꑛYX"drB-}Y ˜!iQ/oc2J?  1a#+;pߣҹlz1[YgLTlgMA~t -5 ,ű,J A|O}kK܌|נHоe]wGЎK&VTi*81D*#36IKoQN/qBͭ:> 6=t!U=y `8.ܠ]L5hW k|S >\{#īhAi%EmLBm"\_)q%7P*ҹ@Hɺ<ܛMInOC;qUQ3N/Դ/XҶ>uDB9#z,Zn&GmݳFVAJccDӚ*5}atuik ǯnP/\8yIc7 jj#6xv*>rq2egl i{&΃+~R5lI5 rjVfR<3ҕ׳AA#0r2HC-6>ڵ]Պ1;Y.n3xڍs@Y˧9f )})0Ȱj?5.!*ƁuhH$-xB:tk-D8b ''3E-M)°ޫ1>+]##A5o7{ЋaʟmYOC'"!ld%E ^ _OϢ!!B&֝)Zeq ֽg̡h]S#?YޮȫwHP0sDgȢY̶6.׀N/ڳY@G(^%}\z"_& {LFt[uoNm3T 4)O:uN(ıV&c2l@ xh)v m~)6eY^YaJϻmNB 8cꥨ'.F5®$v`h.1bS]ƼqylRBPHGxP#\pCFiBdzȼcz1) loOdƀi(:&4/)k-:U-= ,CXȡ~9ew@P:s[xWkq]5Ynq nJ{ZrÌvPg`]/~oXW4(*V]}\܏P% :N]j#[r`G:sLLλ5YwAM37I SF?eRR8ٚwp=yjbeYOy7 Mw9-Sӯz"%پ䳈t2Nybʶ41Zq<<."Ԣf+u~lN͍+N2= g]^ RĞ_Q59.~y\EuSԤo Ǻ҉"ju$S`sZ(+(1; ֪Ǻ{lOQ@OA,DJ#iayYYhHAx2un\3J Ь<ڤe6yMV}OSR5 [,Q$ +r^@TSc޼v,ѼA{c_BYJXS= fF Tym^%`kiV'@>- C jYVYY/&wRQW3 Xxh {<ˠiL3zBXCuuxݣJm~/cf{\|| @K[jw"%`_R2Tٛg"Ҳ&[Ќ.)0lB@@<B %p=L\lrmٸHKU@40;!|.)5mv!]Ѐ0Xy Ʊ],L{"'ߧg7dVa}V)EgFiHI-Ji(*pAcǠH_ڡcv47 g w >10FGa#92b|,8[;A6XOdtG AUФ灝FUZXTLsܮZLMuWD,ⵃv;'9NoI}$7Lhe;4pV'œ ;YmV'~MXdVti{Lh;b[ZGa{'5C [QnԶ?#^Uр<9\gJ&[Rd5_k?n -1(tGԔtqsoKo<'S"\n5~ʷ2 (MI Q^ζN34R7dk@P ǯsZ^78iջ^)_ig8+Y 2;&,(Ī<ɄAiy3Z.ˈux<ު2 x؛ZBx{yͭiCBEHPǒ,4'^ qͽ8CYr,ix`=dƓ,M`Hs}h ,f7|ksDf?_/(b.@yj,Y+Ub 2ÒuCN瘁UJ#_6K6D|[,w#<^Mh S1;NPΫ,X2nD`.R<=?8dLy{8xofLdO5TiHyQ=eT;1S9ԥ2.f{@<+5(a ?x^FHC='U3_bj|iA a@ht# I$G*.]NgW .U$r`>D!@#YEm9cܳ4V+:.wppSGV0_IGKՄsF/ojLuՒP2$)T'o~/3 Rb3^7GTQ/ IK%8XCOcP)sVvmIҽ X:#ŝNybu5vZg=!m00CbeXsK<n98kON>۪#kzQ@jAtOZ'&KHe0aFe tkZѳ{SBb6+OA=Ϳ[ؗ-%XeM9=F]ЛLk AgB$%ykWJ_Om =3kJOtșժ΅F#Jɛc’h/Za/_W x;£^+Is^ߏ yC~VuSiPx.`,1BrO-gg1{oC kC;ՋEb, J^"(tt n|P.y|+s@kޔ^4ǨJ`e ʎnw|%]!Kè ]#rb%"B%>w藆дKUC|QJ'b~;tHjĔ"dfy .e!P):2~i$ W Ͻ|^,|APMk4Jܣ~(gk&?ʛCvnsx"FrS]M^MuL;߸IЧ; m0dı<<=.bi}1μ&a+0v|ghJQM\2:17ݭL{i$xkW-9[Pg0zZ AP-\efމo8~aҼ턮95r9B[e>xF(]T6 gHG7oaMc~ZҼ44Ә}O:_> '>z&x,~ u'zB㧮 ~$ͯ (M^˦&!;5f}ʆ8ykaп}&{dXWxqy9ŽK{@汧(9?s,6.zV-r$ :Jb WDWt /b_Qioo*1h ԢoWWdqa'FYj{>sA6qakG寡=t?;,n o*{eޤc%_F#3hwjQD?f y$ym4 kM6syb$Ik)GJPdb?_B)rPa.o0|j'}wS9@Q4Ò'8,$7#";ql$6Ljـ, R"\.f xc@|uB$ZX.: Y<BÚ Ѝ|sֱ u>W"08wDU?rF<ZׇeOb[}άsW2B$yEˣAt?2;T%yxW.Й^˛w8 ZG)DhrpKg hXe l Wn7$J'xmQ`_HSHV{ jpma9 (-f\͝^ #l`#[o>aRfqVdX1?aXbU $Uߗ ?+5z@ bp!;;4)'+`JMǟcQՆ&5QᙛesYa%B:խ씺=+:hckADTGXC͖NFMG b ׀@cNzDa7a9nkAޛ'J㌖lN6A#̬ ḨK$%kkdUdYCr.erqF2.dVk#c] ;)G5ưKPk *?(遭ҟnP>}RO@Ms` G ˾<60Y0<RU"ߕ$'YZ!TdlhK\+!],,.!a *ɕ#O&sV[_nőcc F9l7CS?cWESkjL,sf{!VU4<`SC$^pAX_ݫ['5ݼɭ'hxfƚVhYYKL*@˷H&jP΄S_2WF|) '<"-qO,\([*7~jOugS DrL_lG&|U/nnޙkQ;ǣr#DsDs}7뉱 <;6ZG'V`嘱LO@aWj$jRx:;Ft^[NeK~+\WoEp gQWd/u6lk7T1:(k@IPSGmd E[,Δ6+Iq S0:<\X5\"[[:%³K|4d\Ǝms߄L(e\ Y|m}APp Ak8kq>aT&m'%}1-B]`\N2tt2!]sK)i%E"dV/w<U(,ȝ΃P~}CbkM >it1zˑ&&#6?GNVU;.9~?I;$l3ny BVlAIT]u,ѐ3v/6FGL舢9(3eLU>;Jv0}+jqk) }mdlf#(;0O,"Cqq$< 7J׿'G5\ZlUrY؄>$:@OR4if": ^}Ja%;('ec)KM*n+ ~>9+S#9m# P**TהM =TQl"?DJGa9 ə<.ÆKpdk}r/&U)>phRTf]A^lTF>zU%| rʳ1 F#BRX:y7C:&q9) Z2 5wt' P,l ٗ*(TGAn-mMOp FX ;H^t~(0ن V<ăܨ$桻I5o<ϣ$XӛDE\4=Ř_x$*\KC+Kb's- Yb?w0f=KE_s`6БbF_Zօ.W6X-&"7}$#LZAl]|/&q|U6kGg[skOIY$d.l5f13E'9jH{ѽ59AԳ`*'FƪMS.8Q 9~|n-3]?ٮEWtIb~Y~T8Cc^NP;J;?*K Sg 4A[dG'Cyg n31uPh:wS-qSO `/ \@ KHS0kGӈ-H`ǸX܎nِM yhMI4tXc=KE7>h-;aBty^#ؓ֔1@ݤ=Etg+aSW䆆G߁ًǒMa*o4 h<ʁEeb+#cńҖ = yFUD%o ոµ:"@q;$ 8Tw.+qA[w1oNpR)ҥ>M wT7 BpP&y%=X)-Ec]!kL|:(F< B'iS 7!'u ;u f>pjGW&Z\舚eLTDppSتc%L >IZ I]2ֱD bIRXɒ ӟxՌO;ѐ ǯ흽(:sV! Q{[kCЈM8XXV(/8b}xܯT նH#gq|oOZbNN$!J<9-̓n7 u02bGPj,o2M#k4rҁ͙$,3A׶ 4;vԃΒje ݼGt)8-~C\d 1B7ҊNT+ l7\16fOC_P5~'\fԊESY5[yLӀL}:&9iEےO9?Q4UѪS}Նu`Q7B%vPN'̘{q TD_o+ Hpo:7C؈_NhpTpge|~8Q Z=0QLJA҃~cIGCpfK!_{m@gfhhcn. Nu\r|dCVm؟gK)kjsa^ڎÖO{Xᑓbv C!?ϸR`39f9a+=6jrRo@Wd70cI3/i(>t/!ת?Ml e]^h̭,ߠ8m`M؜HHrg[ bGj82^S.ݿg)1j9huvrkODĬ\UýCܳIѸ\jQء ρ\`̪Rvݔմem7EK10U/;aHEj:,`++0{/rcG4̬;*2AS~muGr=TtqGdxl.Bw_hkk70~ ^_T}C{>!%4|n25`<@pHMu(&+b 7Sz"No011lr P_ʻz2?G+W^,I "Mt\r lp0H!}7IV 596U]C@`cQq k3ܓO BCԹFJLZN*nPz%]y( 3"^j XGҚZxĭV]RB:J #|LÉQGHE]D%a/иR 0 =KM~AisȵAU4_h^9Ü8+,h>%Mo;Eg7+ق2~[rAH6R}y( w?[PƵFVEL×tf̽v6bȳhWMYmmr{9BiCaOނ-Wۡ)V&a:D.CH]oC[ُt-F_{6F.jWw!̌&R\@1oVUG!a[vTDOcQ*FTk.QNJ@b-p^ 7_"{m".@=sso}TYH+UCï".@H-7I/O'2Pr+Y((ZѩwXuWpoq茔1H *\IrF$ FlJrޫWZm؊JEl~rChn'R RR׼!k@:[joҙa/ѷ ``e~MRp|OAhoxW*dTTY5.=4V 'C e g͈أg5'0Egxe23IMC蜻ȱ _ݣ4 `S"Hҏ B:-mJFX?aJ%m"1Eã_OL ]7_13fjO==xFNq;5IRE0Sxg}Y0K{OwҼ QYE AMYlѰMtd~WrrHbeڞ!!m$/\i\I^Cxsh+r{|+UEH y]oVqE sĚ*ciu dE 0CNf ;/7[6cK3@O$TrjP:$#,H_,Qauu:3Gҽ)hcኂ1ˢxXEgY!*W`񆞈)ZOzXF0G /w{ g﯋ p!oW,:L^xiwxKg}oySeez{qy'Algs˾)_IZaR] }eH[y)VmZysL֘>j Jf4$5 [؏AjW/|K.}\@ ;|8Pj OR;q}!gڲ,yw( p\j6Dk2"lyxC|/!fx&ՠLEkp:1Rp- Z< (|MB3D[ R*G2Jkνl-; h4_޸R%j.I:Wt,% lYwY\nkC!yh1Y%y;FIgv0sZqa V=U[{XE N/`u}-޽N8xɸ%T SHNzOHtX.tp[@iWGξN ˩vI~G63 '_P7|2z7b$3;/_aUe@@͕" F(ezfBL$9+I\N …QeƐ_s"sa4%i,' quܽVF3 %>ઊhy2?I(;&xh]:\N嶋IEu G2 :^2ePmK[a$te)‘$3 mj܊QBϋ랇 FAY-hm0+tkpTPN?Xp Y+$u!LŘn\cU>t'IEҟ\5tբg5<4h9/{X*W6peD͔kP9տ ?xs(TQ2BXIl*zwCZNN8hrQ}HǴ ¿\豠穽ېYNU r:3jv\ A %.}Fܱ'͢-OXEZ~Za.Àcdy[]Wv%QH1#F'Ff+>%Ϟ3ÀoZѰWaz~C  wpc M>ZOB;pK}39TL+<~XͶ^klJ"Dth~F*c6sV߃hKyt$\='fVyDڼ|]WK:Z9\p ᥶WTi@1z6!53/ܺ,̌{H~5M;9qC,ܱщ~ָ<ҿ[#PXCA@}^w()OzW֬!53K)'t9"/l 9ۜyc3Тo~ O~wȉ-; =7WkWH:^ fE46x{g",`F;w DwneHdNn4!&ΨlIJ Vz=?*mhM 2U2FKOEmD3 +}P)-#1)/sT:D_IvW QH $u"<(]32SZk;Ng75b$-}jXţOTZJg e]q#qdRԚ~ア'.]^\;G[M"9VMALwP=SS*kf0BuX%".v'J -WGH6bH¬ucgU6Z~"/,Fu{z q8="NXh^ ݏ^Y4n-Ҍ&<\9v{?|8@GӨ ՅG$o-yܕQ|ܒiNmLIE)LV[F$082X1jaNEc!a1|2}' !]܀V!vY?4` µp6^CĿ-eUWF ?ީTv]&_K{:B2[2! /m2dA ,ZaoHylp9B֧T RHi03jb~3}skZYQ B\CKi:Єl%벑E. g e033dɂ:PTs5e72+vM/EL;ɇEt}jM(^l"oq9Ttna4͇L/iR4=5ob:@ru'"Eai:"mġ!\@,/*YmT? 6rPDVRwnRP@(sPK]oYr[2Xyo 7\RCwˁo(?x][|^=PPTyoGbF;΋,I+qb>h| 9rJxzsڲ-}gsՀ FΏ OPULrm:a!덖 ɿŐUML;6 gꠧr Z87K,:_5F{b9j=4-!>/Dl bn#ft d6OˆG4$3D_CEʲRhgYZ FF+ 1E# DHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! IX]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tia[ihqKG&2љwmk>tj{WQs^3oihwd/Ɂmd/^Kיv?ܤ td7I3{RI\c"A#gX9a[\|!ԈoRՌQ1v~k}ڰ͙4oG:ٻ3ȸ.bKB>4L禟v *lG#x((CMn"{UOJ<UU؏f&]}vqpkpDJx٭^m4CSHc:ssvvФf'G 5n̓ZsZUDb9O%,.a+yEAv!a||F r_=›ª ~$Q=R.*)`,xPYQkӉh Y 2lmW%H( olGN@=+Kxt\ꄒ32s7jU@ ^PmLJ;ģ@aqc[<N!s;;M`h^YGRN;}춛撱p!|mZTL5fH:OV7W(5_s6dJ(yx֯)'>I_`]UˋaҪTv_?/)ërC'xdwM:¬ &;CK:Me-Y:-lpb][Qbܲ`, E'̰)*E;z3@=e1?x ~>_׃8vHwSQ /!.}] hf3,ad (ҌҰ]#6KDA.D5JQH*wW]FdISc7Sg[] PR]1&*h!1"a@3EAv=%!h#zwh@̪r{|K h61Y>WW( cv.1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM-1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id540K,1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\b6}BHrQTSVQ/ggkAV+!ӯS*r$qU(*}Ԓ}8$澄d[B'Ԭ0)Q8HcDIw֌?TEጺ沀s{{ak>gD*L&~li_6{%2M3XwڸEYY[+d_zeq y6`!k+h% F%)`h?!T'NߓJ\iYpbž+:Ydӭ0/1cT1GJnWЙdcO+TlZ?(duɲ.dFU) XpZG–MU0 Yia3T>#֙2r/'\f2$O^F`~YbX솼)tCmJ:c ᶄzAU5y-;Z0&#E珎/#t{'\.3/Dߔgn} ףO,g+C6K&|ADV,<|1]m~]ZMQ8n٩&\m6EA-x \%,Mu4v'̣unjy\JԏybAmP05>/cGFأHa`A٧X0YXrYϥfy-ytf:7( Q!`AeV+sC[~hWlp0u/)$Ǹ$TXvŚiEϾ2 %?WWA)7 p?y@ 3bYŁH; ҁMb>au֌BLK[H$ljVBy7i*zoJ] `wuI-lBY 迅9AT+{O͎xzuEkT&k2pZ,](5A !5k6^a^d)x; H`12?<,6])tu)I9v-*"=>(u$<]x"f!`c@ZnՄ /̔J>x˱.eGhKus~:ǶUkq6 \DrJZIHR@w't bu qVnEb'')RjR,>a)9j^[$q?G_,jMj,oa lso.kcbyog?uDad lsDn|7Įs7GP" p+ai'"#b,izU?/^[Y)|J:r*܀k( ~$ȁ qrFzuH2%Aq9HI' y'h "94|F ۤ9ǘrCU%k 1WJ GL{ѭ'YG@߁1 ]<B$2g0*e2㩫  OS._T~t 9# //E@Mut{'&\ȟkky6T՝Z+$h,}??O[*%h)Y7iU"L ]mw4{\"y4lWL  rgYZ n/1O# \HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! h]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBSC<2)O-:K<~7Xu>؀G[csCz:9-lc>bYMʛmz(`k.iѬٹPf;B Ѥ IG;qݽeK~L։7x?`j~Bd@bґvu%G?={v^`":Y`wJW(Q&sXk =B\:"0&6}cu'#g~Ѩ긗^S?U`ӳJwXG8䀚#q;z5 )Lto~FJ-قwqh)?_Ꝩ^nA" ZEkz;Pיl]tjMۇ*3Dh{$ƳlftonAMHarGH*$᭵AN;8 {Lˉ8:"9OQ|LQ*E8QNmӋY ص "lp,x'5'l?2) J>9e*&]=}(ȇ)}i#30TGժs5x8;rc2Gw4saTպtЍxy9m}6v`< ?.jJhNm-~e5#gZX Po1+;-)6 6T2 |x}?vuFYd%R@PD-zg:W/V4K7ÍOZ/ϮS̍a5ԗR4$'^YpN/F_:`N`L-I>" /YnV7A7йA~F|2$DC>)W>ưD 1eO5˃#~ *.>y,[#<5%} *wEjknY F3%d$2xD5,PHcEA;7Z)1H#dj |D˰ح<8B장ټј&f6fDtOѥ]xA`*sv.!TqƐ3J6 ",[ V8k6 a! u~Mmr n0xbH=VOcj%ԆN\ZTsc olS+Xq]O Fa$˕{8wBt޶0muE&x'mB׀X_"<Ն)50cB;t`5<(;-4d ;t fdɏd)rt/;} 21m*\4Z胧U@I45ۀs [0WE2[X8AU^V`[ڗǦע`1 P'9߿Me!goz6iuKz =|,p(6Rv6::d^KC So3ѝbZB)07-&pF !&r wySUs˿B zqyضWܗ#].n,䟻OaV ]4Ӛ:y6'4"2u)pRT ͢gŕ܆%n꜏'廅-uD7-iً{hDbla`\A WXPG0v &R8".>s @Wޛ' <ShfQ{n.BVP6+(5xQi4 lhWCڎ9-Dҹ{'ŚڡVaI<RPwN l 3@ thhLVTMI>.* \KEyn\hācPW/M(E̮E󭨈zl~F~Cur4[U ϭ3[Дί<}7Wn8#gGTtZԢaCq YIT z=[T(8~ 8Jܦs >}4rv>ҷ䙧S<_ -$7T o4 ,AΨ mr4H{~7bilW/꺫7uӠR,,d mz5"D[חq0ЋT~o6DZsV*T<*Z50m8NTn(b &@;n(aqW#RtPݭJ1lg"jDYRGt>-+(\nn-%eˆ vjDᒿ3~]ڹeXןV.z(bfyCfIgV$ 3kfx$4b2lj ;kbܬү2@LOs3 [9'imˍp dqN[6urKd(~;Gz"e) 9RCb" L\c4FM{3' 6֭ܳLp xSDW d8 ى,j]U,D"xCG&fDVvyk G%WVaCVd $o랻؋r|, f"dN8S;m4ݎz^g_g!KALp]ŐK?ꇟgYZ b#MW5Zk[s V}5HF 'C)¤̢rv T2a`kO5j>r \eqOh sQw)/ql0%V\+5ؙ IZ"z<%9:{}aښzJ4˫!7Ȗ+$xB| Mˇ"煁:U'':9I0uԯ5[kq[܁7k?1|$aʎ, kaJ` Uk;yYPR =jZzLI3A -YiN{hCacdU&(C~6F2{Ȑ> }vMc$/QvG 1/ 'ގM0$oGZ@kt+'X ӥyʆ5ۡa~>}2нk D.ZG~_=m2&[2n!zetW7b IEvL_>E#|D0x-d3tx㱺j8ػ0pۻŽ𢭦Iԙh\LlT?P=_ NAR_/&`59pl1i˛4Xȍ <%Anl)x^2fΜ۰}3gɽU3zYlz0M#Qi\a)}2OYGm$ȁmwvz ]0 l-lc9] A=қgKrI𚣤4XCC4I9bú7>Z{;WDNFA:e*Zu#o'纨s'WoװgrMֈ.9S3P`b=]G [$Gpu:ǿ[:khߌQSDG X(IDeZ3vXi #7CIKVRm3JCpBase^ #E]D@oA&̹/Xf *O\V9>~&;. C4mβWc-u=,o,`_$4{sYsr+NB:> u|j\?HUi5qh :'A쿠ҟ:|'6?KOF:du^YX+0ུc\l9Ulmk=J$TͪB;PB+nS8)}gϡ_)vy!I}*K>lǂPvyofS0eEgiv(}9&qOmaV3+~͍W~Gfa|g?U[g\R-_QAіؓ"cJ `2? ;xetBv;wbC/ {9L2#;CjIC\W b}$m2 Fӝ~2"=ndd:Ʃ${BK &M|A~5ӯ&҃bZ7~&qMSn%Ui(d#ϵwv< 04pF-M7В1t o&eO 8SLTfȷpIL 9x=P\hh& %7Qw֎kt|b0a0m݉_F.Rhq 2>;g ӳbʒ3dfsW8 ڸѹT!GK^Ы#8#SZ8C C!)銩)d"m,D=P"𙴻FDBCB= L!^ʼn;jWml$Uszdjbese7lj@acqʕi+F5œ7%4\~gVr2iVucQ8Z*d&u0OL qkakŞ>?R6G4@E| o&;* N@WMIUWWx8DiMyynm̠ѐcuYєy!z)Te<,,nYКu F0_rX ˕5 8*R =Sv[2HBÂ< \@@{Z![.zfF Q}o%_g;pt:-KJLT81[lM-jAAI7ߪr6s6'mQ$Ob_ARC\tO?rvHW/%~1R4ܺGvnFt~#-g'Ⱥbf8g3QGd3|dd^X !+w/0:2S8wm! +;cWkʱ{aGGA#71;kL.((.# .ϝKrkhv¾抶w/'NʁB2J mAy'h%??OZZ 'c^)=09 e 2V <ZbQq-7 msw81BȨ#8A$^]1tҘxDa(&1}v.s*҉c4 ßA9n+  lmYQ-kc8 [L*fؒf.;]5y Β ?\ͬ3ȪuVڮl82Oz2olN -Ҟ~-cv) ׎Rɭ}b82*_ŋʥ*pV{g(c: Bfeh? k£ۉX11D/h_#h{<-jhRO*\H |1Ak]la$A$3xw6C6:[hgYZ 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ܞ-':%o˺ V@`ԟ)nd[t"AwJ]y @g`s,tm3x%dO;#QI^&86"xg>B? 3kZɲb.i>:Yv)򝂙{2@o*.wY͐l-TphNR1\Wd3{Cݹiuﺵv PYrj-dSC[Tbk@"U;q$u<┺tpW8nx0p9G̘8.P0QȐZl;HP4Jl5ߩkDx XhC:xlaâA/A=F@3:_)$ɜK꥓"jBn`u_ vPX)hԙohӐ |#OיCG}ᕱhGH|הF@yph }ᥘi8'.:d..]\3 [l.;& l2%ACT!X]zq4Z0܏q},g=RMɒ 4$ D\9Υvpy;jsfh1՘[dtMg%f)9A*,E\՜^Rn'iL ?oxQ@V#u'8X \8T 6䒭}srs*?4o\Z;~Xm(,dƋmA1 Chv̿AlKsnxb!=+89L~yNp6I3B< *"S?nn]kTm% L?/6j喵|Y:Z~y%&Ά8jPpR&lCXN!3@0P9:J=:.C:{GF8 JIIHN:|Krmb=?c}ij7Fa\AC}&)|J=9h"Y;S)NP^ ; z( ›SN'eg&n4~21)ka$g8}?}J$hIu#cd:קz KԹ4RDÔX]F:{Vy,t] nBʡv%r7y6&J3sF K.2XS&^UA5ZnSW4O?9[Wl3\F}d'AAjKq'@VD-o#.o9B.2sYOؼRYxv1 %;BNǩBIY]c! "Zi%q{]X0'1KeU40ʦӁΣ4U9ۻ7r82$MWɠIX80k^+O 0UsM ΊlQӜԦƀk8ЁW/Pk! p͹OGwVR=aUOm#}=ŧWΙz߼(+ϒx~,#Fd'TI3j7ǓK$t2Þ^&zdNq'8fH9'(h L=@/ >Bhý\TT+F1tm3b8>d fQY>, ~p.[C eMyj͐ PRv)Spt֠GfNCg_ l֫V"G?Ȅ5[я: .(Nt.!+52ubhw]B0@jܑWuR_P]dj'D=0rב?>Щ OzH-u_>M91bOWc1 '%"e|&}~aYv5;Vj_YBT/dИs6;A*v6yRR ya U{-?zM慺gpȜVԃp8;is?(dUѿK V7qWf 9/9A?\Nd\hγjjVAʱK" Ws-Mʝ;u[*$=<\;%~0NaE23/<W73iFfI/=:.УԷz+6|u8]n{PAC$[g =ĊEȹ;M0hQq%Wd[;t1`po^S,rQY;^4Uf5?aTѠx%~"HӤwJF8)Z6Q ߄kzԸj(eW"$'| o^f3tUv[Q*,bfmD_Lytˑ$()#*xLFk7X]{>uaFbn]|,+]."FgYZNlSz{uY tmRml 7x=2 RpМa@[P+;#!q/} 饊qKp[oEaS R&1 Vu|ebbH9ShwsO+7dU$I$Z |"3˺<(0[;-ph5x<=ӭ7:#Cv+0sj| p][2ПV盱,H mqƖ另Nv+MD؝ $]8~vūY2-HF؄Hc)_ ]RB |^ pPSn+^}Y.׀v8|QS>HZ5n ﮧjӭ肜dc Q|s\sWPq{ 2sYm+H 120,E2 v!nL,}[60'~aN-^P Y@Pt?!p[F+HdNW3X&B0*5EQyޤ9?TnU?7^0>Pzx.}F ?ҔIܫ6I1%,/I4 wn5q< I5r].^hOX]j1آp@ 0cu mw6n2P@tgtuz7F T̊qy:U9@ yHEgAFJ$wLUIZPwP$-L`;^~Q5uE\8DĐе~ ZvvGo_VNfP)5q,(c;z!>jN/ ; *u m^u6v,\PU\˷a,ӑ FH9G' 1 /ݧ:Uz qSMie3U,e$BywwO޸Gm6" /tW!%;B)n!2VJa/7C O!Y􆻄 v\y+cs골q޶Zj;#VVX; ٣NLϊ!>gg3Pǣ"6@Hi"PxRb.nM+Mfὣ6PlfgEOoU\Նr^1<_lח,#:L'Q2ӻOVt6pT(ȓ\c#ylЉ?{*6URy4lkܽQj)(t_c[7}!%*o$taKkh:џYY@Q#ŤL^!>cA;Y B$ҦG-&vRh`Hk6^1d,~ͅgv?=p%t#K_7@?n4AX꛿ØfoLQ(G4rhDb r5u'4ʣOt+ɽz@4ǜ.`G!5R?Y}O'v1GxP)ڦ(ԔpZbz{7rP.+y -;7@B÷#Fw0tRˍ'eyc{)KLLm,2SUn~đg ;yA51l:VD͂r %ThrRdey*f@nX\@ MoMXP L^ {/z){zz}ki`N,N->9Rb(L:}=2M]AtT|< / t$"y =~^)*5]Mk9U8fIY4xh۰^ΌYrOZ]GU}VAx4ZYZgW7^#RS !Ϣ 4yKh:%o3Z]m5HRn?mf<#Au$*W=dL)c cdN([ >x*#U&7;g$!ahpQfUuW a(< rp08ԃh~.ݘLsVo+t{9|o6;3ccz%FZgY Qdkกr"a'^5<kO+3zX%B5[aɮsyBSO08J@a[6r{8Gg L}g|0:2ŏF/fVAzl_V~jL[w#s1(8j"_O4iy0_spާ}ne;Q0YE!#m͈u#x"Lo㏁J"Y?#"!/cp}ʺI(aǏCX}agf`]ZyCQ1]v&@ʏ5ڸI5<}.n;Ir΂#W)aD%׍aSr;ׯS ڨϠ`*rnFY@w/I3t5dƘߠN7a QMw5*585nc7'-6mOV(Є[u?O%3R  r!S؝xip<&֞%[E[TRooM1ۃؿ0yO x.Ser : QtgYZ 66?71A# HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&?]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o T\V-sPRjw DubP\{͆~C41pz?*.Ȃ(K<.oq=>\{tNFѕM#6~KV?cu&&i W~J 32{\C]u&d֣3Zs4V49Po&jvp|g&E|v5(P sMX".!z}$Ie-'XNV#/#em)s_uQыҠ0Z6g3nM|ֶJÅYg $Y]:Wzyh"-Jq ߊbt%Y y@ռh#T,ʭ;= _W&ZzTZY3 hALpڱS)B 9 ]ɓ |u=ml,7n`q;CRU GWM jXH- r^Yn/ƿfm0u&%W 3a;gȿRÕ:nN؆ޏ9^D7+`#:sL K<2 jb HF%'ʿbNc 1WoNn-7;8ಹiF:=^1C8eo|'uX_RfuF1+(Sp#s{n6s\Rpk('ǁިxm_'d4"X#1eP4AހEࣆ֟A H%´f,Iٜ֮|SS {yBUlNMmW`z>\46ﰰ ;vdTK7&!?i\ߧ\qJ8@n9puSrvcjJ̏'2WOU6%djezꈫQ@p+}|!,/'!2@kEd =L\1_s.]8Thܡ'g;|70>gPtn: Ӌcw1P@И󄯄 [L?(xkN] z+̸iP $8+u A 4"!FƳ7Cj_7pUDZ$:@L%n:"w\R!r fJo5#PowI J`\܅HE;@ t̕ EM%8>Z'djS6q>z0y4YҧM$c }!hf +yҩӮU;O @ڠžn  3nw0l:1 q+gX2:Ιr[JC@Xo@L_9Z!An{Εlk>v}1j[Qm"fFw%j=_#NHU'1npcp 3$٩RPW2H1%*54,4 * %*v>1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM=1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id524<<1O' tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L3]D?7 {?:fH\ÝA(ov,I[F+ _E>̈ ݓؔnNgX aGmn 7\z{9,onIu8a. A-U.fnRޗќaKl5[Տ؛XՈ3Ҏ#5#4_Jr#i,(wO\ٮi;,wݡέ$;Gn"[õ ]ECs`Hg<%ӈ-B&sت{=U>_J=Y1aMkVH.\"N c~⵹{nÈ=kzmi{mݏ% 1;L2LwRM >gBwڵU\J[H th4%TάYć0SOg2s";U/mnmKm$PY~u&oª  ԟTP Ge$QjzN8j6&BuivD=<(' e=g:φhpf L3((_m qQ!xP$3Bk-c>@}Gۙt6St=)*SŶ={KJLGnN5 ; >n,Ž>*k2Nz $yv\$PHDQYń5!XDt|`Nog^$oKJėHi%iF$}&U/-ś43"-5$-h$ҘMi,c,nw';aĤ\O3<\"Sft}'k/dcRU'V7Ydwf&5|M154^2t\#/xR4 Ɇ8PX\( 37|1h6C>\"<ăVrz1EӬz7bho'q޹ݓx/F_a4z跘n"$]ǒWS?I* |e>v\1A. 2BgQ-Ɯ>(- 䶠sM8KQ~łNzq֔ƀs\φ0&xS1џo+@j˯|7a;~Ǽb7U\zp Ի6IV{@L^H'؁3zaagB0@h7 L=[N]`Pss:aߕupr\>Pйx"@ RsxFD)*1eYb x(LԷÐKZx$ ^6l.an^0RV:t.KQcbI\F3 Z kZc6(v Uq~V `79smU'iړA#.tϪMpVPYkz`QSEu?ًvT@_V`Br$-qTbI{:BKhip)_o{Ym(ۚ9v:1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM91O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id54481A' ,HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\7US%Q߇z9N8*1BPto:/"ga1Z%sPmMxz_B>Kp9Tn 9 NTXEl66HGt)} asHQ ia]FKAui~Zwz⎶KPWhl]R"2H1V#ÏYKΪf5 abC"_'!X5TsAD04C $F?y詪)\A if2S BfFfO) K U5 {6H2G|핊VI-;ձgYZ 1)3# Rs3.s DW =  ~ T  VJ .m U* #SYz1r 1!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_Exa?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idG=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=A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id% U'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJ@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupIC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id 'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/latexB1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/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_Adocument/latex D)HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/latex G1O)HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/latex*)HOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/latex*)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/latex*H)HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/latex@1A)HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/latex)HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/latexI1S)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/latexC1I) HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/latex (y7s/[ A Z g # O  v - U =p-F1O'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_idKA1E'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_idCF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages-ʆ!~G?Ts^saɛa_j)7W,e{,[,#j-5{ % MnuE\#1LzFT,bvdJEm`lLH4 TZ ʒ#]h09$q }@ X-I8;0}lQf6V?TeSKbZWL1(Vcv+Ypg?B 2>Bwr1Td72tp?8qVm3nkjNctr_ԋ۫0RIs}kĝGɲY_aVanYuLLJ5bq|{f$@IU=<3uKqnފJj$/&|-XIS4 g&a\? xc>cuN m?T z h+g&_{|n5CA8MbOJO 3+c`E^F &D8*'YOYK>j0C5T_bTǵ&ZKzAjPͅY*mf8%In;ʢƮƜ??KW(;nJeN%71A Zkfy%6GeBV@9z;aePE }$7_63{bWKzβʈ$&m ςB8y?f2a&+Y.lI:Xv[V?. 6ϰsvbh 9.@/hDYBF7&dϷ4x| -H(qli1AvHOq}@ؼ\V%x?Z9k~Ui569K  S:J_xVlm[3|oS$M|9 bp"<8&8Rf5||q;9;zoWS6Cx%*hl F%sÆ4$o 6t6|u=0%cG!m 鍾Es, j1I1])| vZ87J˥SY(ק\4W <ݜ*>A:5D&?Dx̍==_'eW b~4(jHN:DNt^Nj|-|z.-;I>Aެj@N$Ha ਆ[_ ݝ% <]qxOTD@ X0aaɵ廽b&'*eMTNϷx%nWU]D_qTo>ݯeJ]UN"L6;ڵ}ɳ#*&<ݍ?@kYriVV|ZPuI%#DoԫPatq HꕔkD+dbHٺ5yTBgdnU@p3(b,OmolQ*TZ8Ep-F/TUvR*R؆t OGnhj$\ 50s}c`<,n^"v\^Gq/ 71TM U,(?י6_♆5RӍc/ɝ,J.$絛.(S&"PhK̼iT(]`[m՘M551eyw=BQ2%s^t" _ J&tZU_9@P\>`S*R][(_7Ic^/u*QBe^eԏl1^7,BB|YJ;,/ڎ$Z^<%AK\j[uDI5 \5Tee|TDd )c$Nua%C <.ǫNTkSgԛ &1S"S8_2aYؚr&  ~3X/XׁLrfuǂ$ e6CP KqR7豞w] ˆCjys=p*|2 ,ebp\߈`|݅T\S&˧ޏ9WKe-XsH9C(~ Q"j ResU.jyC9V[W kӯ†12+[:Cg!%e^P+a i+f%%+PzMo{UC[ i7ב:Yz!sms_#bAl2`IeLFhz~fg`.iHcޖ<5ĩFI!^thU,Ll=@w=um?>~? H85rKٚe'ڃt<&1 m8u7]fV ʶr!sDA8I*pzgYZ;yԈ.7R3J v MI뉼|AB ιS~v",J\>6d@mF8ai|C%ԇDƁFUIN/XO)ځF\CI\pԧudTn+ζʢ+ުZ0ZSr1Wid{I!pV)ADޓNQբ:K *lj'}1/LŢF} 9&ܡ>iKu2=wň GntvTFĉG-ОXdA^1~ss v=|1h< śb?9.nV-h 7PcJ⫩Dc._U1)xe& {Uiݲ:pi>J" pR"|?2[4<ZakJCAVFt)j@vZ?yU2wܟ' ۖĜWF#eK1'/"*EoL7so(-'A 8d)*, ^B{AMf `%:1FuH3OgkNhR.8СдS,o7ƦײʱMٕr+ijq%a\xW6".Ѳ::XX|`]^T ZmRH\>[ԇi#W:Q*-0*?~=UE y|GĠR*:yDWdN/u=REdg0)`ヹV3޽osţElj+~O!p鿰NFuԗ`( @B@5^:"`p# +ɰ2M!y5ېRTn!̛~SSW17 W 2砪 ;pz`S ZP ɚ ̪Z)--dMٻbM˫УR?_`n:\M ?Z@FOpm>bfǧݵ)&YcJ=[q4շ _4$3*v1vhg% +/*Ai68H"|0'6m,Q!Ɯ,"wa Gvf ȬF!u ?w艄9X ݠRG=zri87>~_gg-#[8sKҿkpOn]Ϭ@ƇXJ3o(JvuO{C)V ..+c3gt^"ڈF`|aYSU`y{ݪ|"Tᝲu/]~j^/9{'Ŝ[_q%SĒH}D,J}>̍# K]K/f(ceX`KVXKo,+*oo8nqvKH"u|k8^x&1qۤhmWYNJ_|24eF:]!PDQʃFR(]ד2l_jH"߹Px bJ3.fe΁NIys6US1_JT<ؕ݁|8o룣`\FYكd_Iz=ƾ]u,XpYj:sR FRO|H2  i@x޶>KՈ[(̵J7/-R՟Ny mn'".]!߳itgxCYU(96t八3GC3lk=2-x:AJ (@'6cȃ9Dz/2ЇZ6b1U*5+IN}M n0.()xr6yI$tcE;˟~N焋@zK/Q 1doVG7fL߉X׈0q6^nKH˧94!H/P%|J7<ٜxܺy>~   R>X/ٿ5ϭ/ZǕT;ٜbb{? 7./$ᯐ(Թc+B!sQDc=4 dQg=y~9)quP312sT?^* _<'pR axwO\6!6yxd8uBcC I ?&rM& #~ @-*jNҠG(;T9TS&Nl6yФo(§F^AAV>tg>)ik`Sn >@R(&3Rt;'J­K I=mմ*-bspmR^7 ,'j'|%E Y_@;%|L ih*fތriHwwREZND*o]$&^d:"WqXZh["~JkԚWH 7 tձWTߒW5D5;39Ř =I|힤nc!ZY) @_Xպ 3.=MSOj[3sHQ#b # PQ-Rp6.fm&Vc$d4kӳ/M%ѪPDr/#pW|YKF< h 1! "or(]&SZ-@Vo@jD(|(EP?Vc} ?Ow%5@v!F?Z]w{n}=&:R05y@=:,gWʁ1) _;{i=j{/O>ch2[Xjd_"y*ԟqTpL&fA5(P o #Dq챍t$=2.-acg@INey ijefVAr'ou'dlkp1"{OJwWpMP.e0c+j)G%ŐiHҵ627DJЪ lEnߋ4I+3[W 5aN0]1D2E) '_kri+6{\ NxT1Epmb,^֓("8E5K{EukrIyv,tA9Qcgx#}Rʾ`G)WY޺3ܵװޱa" HN xBD=,W@ ۫)ItyS0\}Zٽ1w.0\}Boh, L*`i>`10[9.]ۈNQ+L0]F/:4,٪ŇuMmR\l 'HCTc|Cm*8g Dhؐ-D`^xʁ,IYEpJkB]>I;5 Λ ;zDjZHkkk\2P\,srPj븂G>Al'S*DZgYZ  _ 9jE 1E# \HOL-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]rwO<6AYhtیr@?D Ï07Bdhk Uhd?!YBDNiW{2fFxrkɦw8Wcex- 1x0(»\PšPBʶb~c }^c9uv a-H( w_~?3:fS%{ndps@O؁p&)TRo3۩= TkǨh,`|GOq V 3j<7/ n@SG`qVڳXbc뉁O ,NEiǣk e^r jB_;~gAѩ"cC5i˪yܦlVBkao;i gLf"Z27%/cmx(8@Fj,2GmK}-9ځ8\RrHF:K,:j.]o[I$8$>.{Zq#:5~ I; |{MB]GZ TpWX%< UڍQrgvʄ3{Rxr*O6EךhU-!eaPٵt<L{DU9Շr&kuj,G札;e/,/ǏnQ=G2)wRe]*jzooy'yo]/mei`51IGGV>5oX MMSb7_*tar+2NON 9Xne H;_; +`&=e,;8+LAZчUi1;S>d)Q >d gYZhA1A!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%E0Sl6WvZD$MFUiTDԂYSJs==1TP-0K+=vp(LW/XH'CT50 };#mT` !L`5 ;)Fc׮a p|Ӟ!msM,VFa'?qc7';q(EaB/Ց̓XͤQ9{&/q6j'y見}F0T$Udů8Vo^KDPZ H>qQ}*̹ < C[X1+溎^~b&^S2 ,ŗe_lC :)lU<}~&_#y=IGlTH(ˆO)No#\"y \,i2җF[|D1N[6hHڵJ31|8ⲹ_J2V*:=2>߫?xl!J/ѻzHQdI֦)lLeUaTkX \R̢_ )߁#gGa!0kԹpMriL-)0QeG?ݎ0g ޽[yVΠ~f AWmTX궞1S f"舟0|RĿ0,)S;\,qU6Ri0gNzgI #JpFu-۴*ò0^Ꞵ pKh\=EdPOJ)oЅV5@J:Q/)nFaǃ}b˥_qDj.H>-;&2Rbymb2]ǥZEy-n_ UeCLᮼ+:2 ;Sy"kƵ /ceٯIoS,lS"zTnd3+UYp1vrFߟn,9*⸸ZBsaGOQCv^.W=\SA&XB:r_ CYoD->_'dg+/jG$PSzsj8tsO9.Z~LC+4Hy~ptb0f>}0:tJGĪD\ ?UAԌjRᦗn~<ybrф=}fv0SuU+#`z/kP^҂I+(!/@GM"8! ݗzO. g>YL19ce9J^_afUaeJOqUnTr*ʣ4|&=8#IM7MMPȬP.0kXȅCN`G @%"{[aBѰQ(7 L9ƂK)tRX-*3J=ԵFLFߗ[%) ʏ`bku[͸i^j+.l(4u~ŊMOY<1TYqKy}1pr-@kdг6UTA\"oC>;/|5 OT^ܒfC ?z*#vpnOsMWG<|󍚵B&>\8-蠾-wM` SW0#VT=zwX3ni>4kQ  f ru:IE¸IQ."AY0(k.V:Gcˤ3V%G |P5l+"ܑmXm:v;؞{}8%Y}4]8,D1^6 ށ<7fː_KkNjRY)桱j}./C|WW9C2%lq1y@+>~-u<ğ8aVI F3)x{SEo`FD}q9Hcbb*+گ*;Hylidڂ[!wkP$Xt^hP@ҟ\t6q0@`>cB&>KLc0#qv{.gxiLZ, < =ZH[E 2{iWl$햞tlGT!%8N>$*[8?#zn۝F}ClIƾD_7NFX-r-*ԴSƿDc7.g=sKaz{ XwE+S[uEЍrSj.^K '}WS O%ԝdlTR#p]bY`fux_`U=˙5MXs&-E4ѻ' ׅxQxCĉrlVy']30cAZ"@6r*{t+cߴ\ )(_!.xctגܱp "Ȟ`x ?rJ$n$0,iq~Y T<#ViҺ Fkb`vפgls$5906i': #_I;L$:,<4MEB"3 8q| jce` ă |d?as\Je9u"#]yE0WK16Is ._xN6C'彄puiUI ff4VOL W82~@< y7Z !(^o,B|2],Ykmۋ_pMcga l;7 (=P;4!M%FAkS(Tu D(mեt=Cr;6M:5l+\?ø1G'뇎TJQ >UJ!]-,X𓎁罊TcK3oRlE䥡*0d5k$DECg/< 6CnhZSoNm @{m}R 6%:(Q$:6JtfxeGѮ#'4{i]W|IذujŴASI̚Ned:hqd:pgdQ>.7DŽY|3_fZ Zm"S;[p{NkMk#eфأ(UeɷE!R;U $"wT, P @! wߜBޅAUf??ұ fei1ۻL;?^(Dٱ P|ޚRl_Vq+vHo%_` J)d§gq>𗨠I"řQb-aw8NQa3;~|e ڃ:B_3 ֑=jڗ7)3Ӑ`ZAP\}[aYY&V *+bA}ڝ&m!QCa r*2ʎi^ p) '^3%F;D`mR ?R- K>x&sMw W$ ViZm-awXKk{¤|*H`OÚ4")> p)2JJ>aFcBD,4D@z]IխmP7hYF8XfWx LDuB0kz!FkbPˤΎ`mar塞P?mʬQ($O=TgһPQB(3'z^UcRzt"lz6'eZ_'_l,xРZJ’f8%Y N/! |D+sM-t5XsN,% ~ܴ)hCv J U!,Һ.m7V7O[&PHKv>0u#. R J H4EsH*whF"tq٤ Ρdcy#J]S awł$Ȍ :cgWT_ OXmQ>UI}oA%5 oH$8ȅn'[+vQOI>>3Xݥ) 0@m2xRhۛUX~//.5|bmI="vm=8Wb`gAⰜhb+p^L*d7pLIge.a B GLSK&)پYDinGqRJ4IeIx@>OnI :!W`ۈdEG0xJ-0im :")i``{!ˍn:0^IO ݇1[-V 3kzE,[}Z"GyG^dp}^II /koWrwf2Zdc@H&k#e*/B{a_Lڶ+-;e@~`}Vr߳jQ΋3 Cܾؖl 0a֍|LT^f"USbwKZ;2-xEWTX0,յ6T,P䡡TXC:ȥjOU{ ָs}Ò/Zmikw[<~, _ |=#'ĘC4ͭ́0׉ 9#nLArU<4/[)Eԑsw}ٱ̮ o8%f!uʦ0aDbРGӲ>ynD oZNdT8u:M6w B{48AiX85X}VoPm96&Rn_d>iuB̠L|:vƤٚ* =h'W <\[O/ Muq#j"gP,7vi8r9a,nsxػ#DMMܩr+]q> =Ŝ>^fXХ(G_wLLv t~)M M+Wd}dQeЃ83°\piP[@:-yxۨ $ZkV`ۆfh'ՠadG<,a(?knto)·woEƥsfUSc؛7^&X&~nPt?3GB~.2 Obt6H`y4X=9*Cgtd&SGg 5I̶*=4NUZX4elP_X7{x STFGC7XѵSg7Hfj\@+)M/e7k`9oX w7YU$b6jYKRw\do'r[4|hlՆqSZXZdF%n-)G%߄(o)ixVF [3'%)zI-6aᓥ;l|G6-۷Iuԕ/|g䣳a Q|LE]/I/LE OLL|OH֜aSUIr:FqTt7\*-RDrCI!Lz,N5R)tvZ-HHˍ \5i(!(ǚKXf!<[ݘ7SJ[ /NR@۹DOaD~Q9S2HI(,X¥I;)5}pW(8U/iHA56Wv1𽐂)A[:$&K", .Z- *S V]ힻ2 _94O idUZ#` 8ϣ%`^iމ &*zSX`Pʎ6qcG#"$Am*: -7FCFAs9`VM-輪PnhQ)!d| 6RvüYGC! cf:%l*;4ܱ#巋aN³(>fD2{12Ow4vt`]oŰLLR\:\_Blfv**- C@ wvW_PWJ,.- V[`~"fM rW KuA'WuݰR/9$ ?y%o9~c*h$ۑwr.6|l-A{4֮r0-ǕPN|̚MFJз'sPٿt=hNbX [_¼'3Ls 3rv6tQe V`):ʛviwܝ`Y?f[Z^}kߍTVE9l+a4e)9p Vi)`kb쓊ʺ?4@ C|/N0p8"Fv/'E#"3Ǥ!ȟpوE5w-~vruWQ-ně<DzC,rqdCUjfC7n4]BBK  ?L$~8CNCiQD/UQpA`ɶ?TX(S4L~W:4i|gG8/={KfQMQwG3_pDem5_4SU2e&T|:,2Y?([$,(0U䑶TQ7Os@)yᛱogǿZ}.D.:o|KPLMKR8[|(Ub{O;MjBau wteokЏFw͎`@/&#)RK` qݣ PՃhG18&%AXzWft/ũ~B8e24:D612wIo:t 6e KCF/n/~b=4u2)|xXa?/:PtHk}郈@X(q*7J g7d_QS3;~X3E&@rLgʱSic$nNTg%ۑibH^( N;ַ*r_쯇H&~R "ROAݽL h~3 iW `"yM@Gd'jqy30cBQoKsy΂9xtn(؈/lvFBEUQns2Μ @Q~6[ȗ\ T9W, BuTgH_aVէ7ګRl?gps$3Yvc4уr7%AB׏i9y?;qY:/Nsyq&ܻ7bzmZ9Nw1O\i>Z4:wv|j2_N.OB)eO!t%kIG/ˆN ECV48 !{s((ӥ%i@N|S5?|º$ɰop[nY!iIXޠw̒W'׮GO9Iu#a6?iZn@0x83^ #+V\=Cy;#8㪏T6Rn^kjNP0#C7irSV?nЃc W W0xj%3g_k6oO;R"IZEQ*!bgGPzYYIdEM8"fElʴzt&L1N^9<_"=\Y*wS/ [BKa[F ++;dccb\:3uypHC ҃ $Ӂ2`#jKϬ,; ^VV: ~'[A}!IIUs I3CkX1Ul)6}VnY6PcԁXz'Kr`B } ܑ{ג?T%D홰Pu#1;,tYaka%Fd^ )-7]p6gD ܒW %tsF2~.z-o9T) mR3$N&ɏ]yV|5ʎ9g^S`tY]b46zfSZW#:vSU*CD=jM Wh0"FK-Am&>v6|Hco+{4w׉-Ƥħ,[^t\+gK1uQ}?E5x䠪& 3ͷsq2c̄o͢_^5iɱy9iўg@R\֫3b$%:X$}a7\Vܧt)ل_jP\:"akX~J;ZswDTNECOumAЏɊy,Z|OU ;$ ]1Q&M^o֊nДI]eb/67=|^= ØƧeEnС 6?F wUI۳x)¨dKݜrD )cU_n9 x6gUR񙭎g3|B?YӸ Z*ITjfW]5 ]-\)MX(u#q>.I(;̩L`tY5ȧY ]h j& h:P+Z=ˆ5qaXф>nQ%JBQUR1q*_7EfBpJ`0zN%C?R7̐5YD0)|m NNJ pJ N . ^Ğ.UseQ@ "DWsQr'PPk9KVO^ P8 ig8|,kx\L:i4Rnٜ9lݨ.ۘK:Ub82A[/`dzIʟ30`lWր_HʾxƉ8ՏKy!'> `V][e,2Jw'ËH{ed׀Tt' ~"4yDNnWAw|܄i}vB $p Y.aw09gfVGZ+qxRnr&k VJX,-N,w\)YSBU"GN.IO8AyqB~(S ͞ثdJbܰHq(- _ÿt@u^xhl¸=~]H u&+tPq2u6dUQ>% ʉơ~4Oёh6NEg uIDk # rJ0aAyH R-pVvc-HKt_@ F{v2rrCe>BPEnrʚ|5CS+P# @l_%1xoI):7OiJx$$ԗxlk /1oCWAC I#c0lTkpH FA\YA. IxZzOЍ671]_>d撝_~>mz"֯@12xMmgQ`K!ne)B_bϹL:HoD"sHzd6Q.H̑m#>ck{h/J 8Om8߸_'㖓QW {)xߚۉq39=LuҺ`yUP005,j%3_8X&D/oI5+\Tb'L,^ε1[X5= Y8ݹXV(FƆ!.S.Ht6d$ FehܩSLR?%4:A[6L C_|Q6Fn2g7%z#gd]IW~M86Qvû{ߑq%-;4BΪn8v Vи)b1KN}$5)x}Etvp*T< Y@s9F 1@Y̽|2y2DSc8g!;&-ԏcv/6C<^mDG޽Ha60$}w%(ajNo5دjCJvi8zI_4NwN@'^aެsWc A.pÄB6H^!ax98?ҫѰ5-@0Ve-'ӯM56IuBczD`ן{T#].dv?(;fd4GG'Q*fJ&0+lXue29Iyvba  Z5}\C=v}>nKK ugR`^RyeG;H.Az [#IU6 8@JOT4B2+HэGږg mVR3 ]2kN?JVξ%&fyx4v%AG :dٚ.W2_U{Iīcs i?j7fTkj4o-KO4틴gu[Ԗ ёp=*`u?/ǕyNJIYdxN%j#E;f*JGf%,wR@ƻ8°M`ƚqmDu5~sljp CI#a vיlaOw8%]2R [/fS*#s*Ot>4ͭ>|*vU%R?yYn86h(6?{vyZ88lMne$5&kXZƸD}}6,vr\i)z6=U7"Hv ;S0+vO S`(7e8,™2r?3&$FX5P:l,6\@>q Ov79%Lcj"@of>tڦ\HI'3|(X>T@G(~ )"%_ )jiVoU@5!u ȬPAt)AWP1]1Ϫ|!6̩f=yEƻm;`0Fvu#Lוc&eר!B$K#&51:І%=g=|FNN3Sg!ږ1{WJ7 fǚjl(9юT5M0v )abtNQc+exT)[Ziy^f=goem M \NzEf򨘛_D? #PD9V!+] ǝYWM'˾:'4ώ{@ pB9n8OP@7]0V Sz@6CXj{džd};<}|2d~RXw^;vz[Nplt^V`2L{Z˔ 0JpblTsvV0s8)| . ZVP2X4)ZJbc~'Hjp0;)gUW@E7Y{:BNmζ[7r*R'p;cғ  8Ӣɸ֩KVq#5¿F5Ղ7Qݖ\?4Z>付 ARУisDK%4C Q|WS]KA6Q/b,ZZa@k8zw㤞~S߷3sa-/~ZuIvO=ç^0 ߊ`İ/8~hv0)8=X@D ' g .CWs7ebtQV`ܖ[0`ō5 SA< LgI5OO\(::mr͘ 2.Cg#Jr~zCbԑ,tԓu]NOWRm>qDkǾDRqWxQyP XQ_pQ~SN&73:?SNZkHB`P_"&c\gOSxRSX5 \;f)gj;#R'УPNxitx mFiM C3]#v gLf<S%=U Gp5NEyo]үOd$钺/:op#0oQ3@0L!^ Y5>vp//8?"o% VXh[z} u[-:NqW.SEܔ,P9Ie-B@O4#{+vPY >LWQ}P~S# %'GiI9Z'dj;z|pcЍ'˒Z(2˄͢.BU>Rk='hm4V;\MVmVAs־jt[kWi΂CBc4smg1jp T Jy :N|Hf"BX4X#S'7RMÑ/, ‚,H,t&%&'y5rQ=HWc#yB"QO _Ii|g<>!`8h֖Yvܪj,917oJu^-צsiY͇4xF#[2̹G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9b1ӥlΗjnRo[|[ooGRr(-ī)4fD*i;P9{F,N i77L{V3*> !k[a'F|#fܕ,V ņ&^_M, uVR&7{!e&ǫYkj8= <)oEƥDJ|rmyʈaw^D0nX5jds%?4>=W)HEڱigq *R k557?Ub@쳎OhR\59]w\!vgMkUl| صo 3 +Ər)z$QBG釽{6lzmƢ#q9 ,r)y| 1cb}s6Zz*U=N :Hm@9szȊ\츜pws;ǿj$r=YL?ݶ.UZIy,_i$s" ,g/;7dr[j faۍ7R{c8p[p- x_R6?X2=v'_y''iJ zs\/LM>Y"bH3=5z`)c :71`Hd{`.KZ~?]3Π!ueӪ1S8~z^uycMeხ.տ3~UFV [V%Wc1f )*Vr4@j|}g/~=Ä'8a1XV2iw7͞!x{c%#%o]cU0L"<op'SdՆ_MțOmZqN[Tc[}!Ss{KфwPa+YzunVJjs7h}/v`Bk[(%wZ}'htbWo|߭T0-lFW=2Tl\K[@hQX/oPԜz:TиsQFeHE'.[u֛Wv^ , -wgă%TN^}>D& oC1O |Stla(r&9Ҵ ۝G'τ>)Q6~؏\xE(j7l/?9:O@ϗ$̙V:l0RX[YIrAչsTeJka{̂,k!TOxX~f RT#&}ywr[ˉ\uUfw|)AnH1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIG1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id528?F1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\yRˢ d?廖|(~Ϗr=QW¶eRHnT6ewߔѦ9D+;B`Dzsý$usnhV辷t}1,0|<7^P;,nEܥC&dBd-.qeT]sABQ]̞EoLŏOdj*΂XVOֺ@X22GX|(2>eoa[he3LsarEG4^j R٢7Q"ӱY7*,=4¶YG%rU1NY/֟DG@Urɚ 8u3e&5[YTbt.w3 KIP22&6mf2Rnm#;5&+06PR9C!aBemiӿ2ިh*WФ /]hvӔ]t 9JRg Οt Ɖ}fB%AF?"(yK:kpt`ú*0"CzGw1W+6/ܦ {[Y.)eJL=y"YPhUvi[AVi3P &f ʜR /In0pxhNEdc.5bj$q~ւD#9쀎dy5i% ^8~,?­ꭻhTkm!k"?P/h`1YA$^.cexgʣ 0[ N2.j}$mhFR!#` !_C-jqFd>8Br}4B7d8&m48{K|5˷H#IX?,#X96X9ڢWm[pnk #(2\&*9R V`I%ZG52hsZ2`Z#(^ =uX#uz=UFCӈ=ׯ5[@ulԏZǘe4L3ah5"fUK`P֯Kc"}W0Y51j n`kvڂRD姜\Q+$\>ӟdwuX!ŽGhCŅXֱVan|,h S3%AW=#oo%FRcoߋ]7 K}fYBo_l}:+Ox[m~ .WքQͬM#UD[E"@wQHkĬnȉal c=;fՍ}J,o"}4$O39X78:7 {N`a_# sˬHʿ0QaGDD C z,w N3b2:~=)AnIxgD^MHdɄH   쩌'cA2K\熂Q~؍eSlHZoly$gOX+=XYy 'w)*@^ݤi1XW?ܩ4̾C  aDܗbg3ɗAHfPDSҝ {dͨFNK_W|iY ]8;sr \*.<3T@(hl  U0gYZIwѼӾӻJ;uqa-<6JBo[lg"gN|d/{~%T$BvȕĖЇ>lj!J^4ևZ2KwǼ1KLSuU7yQB{nƆ~72}-UP_Ҟ/< 5SR1ej#އ3&sWGbui6#LJz&˹'7eUl0"Y.DҌXf0%ae諰%v8tPO֤"!F=?9cZ m04& &W 7_؞6tru4<}d?ԙ3/MC3MoإqH ,^Qb7y3Tֱ5|ãq`vYoiZ5Q5 Q}4 NUDiB^B.×hImoTų׍j$(@t).nxe9Sp!DY&)ܾhr23 4Ds.K{,s.FwiK?1s{Bl[Ze `la#ȍcV'/lĦ+fBee3Dm`ᵳM:g٘Ye WM.Qm&E TLr!0J͔R4tgzr %'"j}yЇ$) +2t2a5!=rE64Fz'|bXLzc17Miz8ߋ%Nؒc.əYA3$vnrd3zxf榣#@Gl?)%ɩ|kkH8pCXΦO  7y˂uHBV1ߘRgfUѶ5e Z#]}e POv@gטqz'zj8 P){.+ƉZ=YwFv'TWHvՃ00`J*VΓܭ^PgѪExPaMeS.v/m4K!2ZJ{qAK]w+ ÿ2G֡fNM9QJyYj7$z񳍒m"W~Miz:K3{2v+CCgN㾾!Zw>)>`PaSC ВGOâRz,T[c`^\2v4A` |uyɫ}hRD)Y8U!?FL*z=bt˰|~@]ްT tkHEPJMԙϜC3lW yF *2\dx*Z;V&bqQݡoCuE]Gu4a䢨Ƙ)FK-ʎ&:'Ǜwn?yI?SYBMD"ǎka1hG!p5X( VPF Coi>޼Lw/Zǫ To G\ 7_>s66 ;ձZ@HWӥي\WD>O(۱'{ tU)vOW-/tcLPh}*)A c l/^Fv%E0~٨EAyLdgɐ5TU<=[6ci7Ig2Wl4=ӝ>-0 ̇v'?Bu/ջh<-6ftn6mG%r~ E3Ae-q B_VXp% b0ˏ31bz#y=Ь'qj9KY ;7K^>>ckEc'6YybsCUZ} [=>Զ{\S´;fR+yɋUar $kRh_2͞ssWnY._jG BquVMBt )Okƍ&$jeMkIo OBzΖ]״<}i"ۊkr5r`ɛϼqvI+umR8D+sod̍ ~RGQToK|8KYՑԸ@A$seuo.<Nj\UV ^_:f\u؇|U k=:rhL%0w8p: ,q%z:c:_d?/-j/8i-JW׵WEA;O,}!c xeۭ͌uaN>bkDbc ,a:k0"B쬚$08n|%14PZ 5sYK,j]L3|3 KgqX2ιpO1Bf,a;`t7䘟 Rc ~be<8vcNn.N!'J\PCh?&=/FU#=V(qRO)p/V._I [us,jY. ޟӵ#ň?*qE67M]Uyv|бgYZnL1G!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\[UЛGְ88`d `+=KN(J.9T1_j7ybߔ2^FwtcH-I6"<#)nT $G\ VbXig3:?xg B 8AH3y[tr&cy,\:OBtq_+ ,*@2-Ie$*`Jnܨ#q ㆊ̏[)A W;كeƘ|lu m?#lSFED̕f ( BZhw[˓EnKMgh%gS*fɌO㫶u _ ԖD2IT(Iw; ~䖏^񈛺&F\.OxE 46-ٳ2MY2Z2dݮub7u9bGWS2:k;e(|vw0& 7tĥV%yQ{iS:07 3g4sfwC݌r"y1N6UXN M5 Р#O= lav%;7qa0VN MPpm`RefYb:٧=Ol@ N+ޚZ?lqv-cJi%G穪@pň ?%QN ^)pWwլUGD7!U!h(Jg_l T~$) lx` |3S0_zhb@mt4ݟbGQ֊ |3dk\~C'%Aډ3Vl^peht*5^C*Z6wyT)*`=F!ͬ=F(r _$p`}Ҷ꩛M4n}fKeޢzvnj~k/ZBw:6%4JYI9 jjR:d K8NdNZ[tט"['U6niPC_3V=e_iQnm }sPƴ/' S1gON~M (>: [kPbwڇ}fF)=? í-dg8V r;ԇϑ<_U4٨j\"X3$@mnf7Dݚ? h# xַWr+8&YIp?, i8{,b'][=8h[U CD?#g!NMiH"NWi9I?O6&ڲ<>a#vtlf4|gǯ$G?[L3.tzqP?D!XTzA"%Зx;ޓf]mlgg ,a#Eu1UNe/r.C7~IAq 9`)vfh5a4sۼcqjocTU0bQ 3yzbqxQq*Bv(KRH6,ղ:',7kWlGv^cud<~5@ϯ`t&pEenW`w}_X?|vv[y]¸H " 0mǜcq iiJ+pF}#F|`K%RD;S8Vy\j.0LzabO&a[Lr,&RʤV9z= !41MG=O]"DybIy^?Kigl+ZO`ĸtMw7[fxEd6Oel9(ZD"SldC#O7e|CmEpiv$ נNW1|6.$Nv kұgYZsQ 1O# dHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! ~#j]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-#L:+\ʙ.wҋOB i ZsBE M •k3BWEdk7#Gfxw{ $0F1"Ʊ,=ɪ nf|wv?ku1H*<WPeXw3W;]!*#\* 8* BI,{snxrz)$#G t9Z{ˎAV韶=2> ;,u)K$y 5x1Kmд6sBPg}6Z",3 *au5ttށ%!HSaS'4p*ף9P/7qEv2z3*n2y' zn!&X+%(? _$MqcP{sw{.|u*)w/ݡ҄|4<h,[wAi`[xt8 <GR 5n֙w72hao,e\RFDFWSb؝mNzwGY1?Ƥ0ˏC3p &s!Gv$w?/9S vZJ?AdOsx*ݷ}+Ym`uidD~Ä5}à 5tyI%J BJ+o%'ty:ltts dK/?9j(\d)S6ÍUZ1UP{T- H.[C+M˕ +<Q;g~"Vlh2) ; ]53  W@Lb+8>{|;)WUFt8A="B;RZxMzm[|)Uzq2eE闝wkEMh=Z=~',i E5QA+c~TX˱A臘kMh;K (,}XF `J{OakAIټka<;$\BsMF1ɤok`lel"if'mF1b\"WEV,bluufs7?SXS41JphI2} Pq~4UakÅػ48% ;%s-}A&Vyد{Ep%REi1ᚺX;z:Ozb2Z9[ԨC~"aa6i,r+ґ&(@Rueϯ:Y/nfҾEB= JˊFMD ;[Jg!4s;ԏzL>`j!&BbĤY'H;6ʇ1*9aDq8Gu&Fg\X7 %+o'@$%~Dl/1*$OE #]X \&vD*<8_rO"ٸef?p3(freꒇ9p1{ b/B0GҘ7ӑQ^RCcX".@VQN8#.ГF6R0Y}1wߏ=s5qlph.`jƶ04lh^el>tTz*? +u 37ǘ?a?yn=dzZA!nT0zMlQ+3<}ZܕWM.>jGd@cҿ(>]{L: wͣ,0 17|Gu'NZåO-0M:T^^ ݢ9/7;dpQG˷XŐq׷!KV(ܪ%G-w`o=p7wC X8 oH L ߴX%@mle4"NV v@<>m DT)& EC2CRTU u2hi"8, SQ 6m*jGC3Gpwc̀\hG Ěpc3'ʎgC4|IZe)L&$7u ԯ=.iͲ!.C)OoVبIqy$edYuHNU$,{68z5QR6OaD0}fYCku;0 ЅMhdq"gƖoО"|;Btm뙤^֮pE{c3nHM=ICb৙ \RROՑNT@ AjHt)6(=Mm$0 >aI>H bjo/kHlrX>;"P(+)2JI*F[`t _fެ#s#8$Ia32X.Ed$Y`R|Krs` rp(b%;✼ 6/l+آqpjU^H*{rBp T z,D V%ziVg> _oN&]Fkzhi[Y#K._6V!.T9AiV:d _"$ Iq3K #:ʛ #q%ۃIײΒl4Q e0|ٱ 6]zWY Z=iWMy+X{pL+2Cʀ'e i,gʛD(fƄ)IF4).w\DVHG|L%!sq쯥\m:$^y"8P#k#ՈKϛ?Zu̴ E_kkٞY ]/b/ogGGe<6RQhbMb*Zk J6:؆ɜ 1e^EP4 'JKԢiWŒ`AJڏ(kR-*TD&E!q|k= axs%Б{1 ]xTI&Oi2!)~h3BWB v{?(Q ~EݜA9E/JU?2@_0]FH3I{͘evNqg5xg>+n`?#lتfǙIG"-Ƈ*:B5u5( D2= DjE.OS߶$?ZR,T0.xqM𷨶!/4Q%$x":dI WTRtIZ=f=wā ,Țg ;'Y4q !&L?^٘yP)10F:ox.[ k@N-ˏ~,M-u]#7GJ+ /E٠9=*ᠸDj J'I:DdG5;ȶ xDBP]URuڝyt6SǫZoj7cNϴK bRrx tfR;ɛ=ahZmڲMޙx[e=y(ow'5gE{1/Pw|jmP;4uNcJs̺?`|]aaېDo;`m^s^{?$ %bIYwo,oyj[Aտpt&SƔxukݓ~@&TѱXy Q2Ԡ4! %FFͬZL4 !!n7Zܹ/8OcdX?L뽈}|M> =%ؐ~ z #CZdb_'>Z;; AYSG٘rp1c;2جx/"a$7wespuiHMu ݆P,@pPdejIGN5܆ߐR"}&zLLGu/Gf=xꬿsp1d2x,>h)7%-H"G43Wн b[hŋMszBd $i1-L;&^PɰO*gɳF";Ʌ!d.*xt~#|)%ngϋMPBێZPiFF?2^ElH[}azl#ho*[O6K;Tly| Ej[mL7U#tsSu |]MRmgo CۮlwQfW˕{%݃YCH]\W? ; äAvX\y̨FRdX>s@N @'{ZvMQ6v+}laٖ狣Cm4 ~#Lxzm9su X9,Y]C:VһT;˔ͦ9{߽#"&^kxNܾ][>_n?&i ;*iTbQt}]׭T(0:|Iw:n-|kJLDKM"֜{58̚@ v:bc<3@ˡ1EN彑צu"@hwK:(;9: `=H3%3^Y2`r rd:XzHKZJ[cgVF}9<0<*KɐMaLv8 @Yt)xnN {rEDY˿l=CևeIj4^OS nxO3ԃ@X{IBF<9K]L08G>bb<́$]܎2cm \Yh"fJXjT^eAD=69AEZȯv*c]EQō>LOJo@[2t1x#I%\X?pO i[tY ʦg F {ZDJ~NBmQS (9(`V #F tsr-|i~60qVO41^͂P.SCq"t~ >p42-MҬoP@jRik֖_4/80qhBOüIZoM! ޙE 0,nǀHzBi4g@cx;JvcV%HUCDxaB#) =֖R|Bg9N F"qI^chu'9Uu&hq+@5V}7IP;5NO SW2E`og|t:eo=jR +x`.p)#~Y\45Hߝ:fHK }Z17boAzFߡUr t\_s:{3 #O:&0T7Z,EQw8RN1uFY;y#}{Ly'M/ .0 #)ndF]Ej.OӲ`HN}ύ_PþSbU sc}yvN 2?g-lkBX#ih!D^ژdrS͹ 1.P\ Oʻoz7(mڜU|eV3M^}mR@P&@nk";>ڎQ9A,99t}W:סτ֧9j8V{R9"DNU\;;lt{yUta(IK_|THt/Dr֤+? m& qM{DW }$}'t L؍(h&Jz["2qI7qJ} >q`$s%*cdk&z! V9j AH\1TO-`$A~%KGSڡ1$&/aҋWjA5SyLrg a9V`]Hݱ2:!!_RI !7R ˨)G73m<'tc/deWnrw!h/IGmʱgYZG`H1 b(EMǝJ- yIigt|]EeDFp6m(7I/1Ս~)>AUN¶0<\륃fBF1fKMpA58njR@ՠBT|[L4o1Mu?\$IGDMX4d3&(kq! x'tGlJf3eBaݖaٮ="dT/1ˏ/ F@R .M8df%~n;µ$L`[y q)n尓.܄Bb}-b`S%"Հ(:q[sAp/ųs}7zi9HAw,aim(Յ;APc`7v8t|w|.{K Yi`ѦN8J:[UIu&԰FW2bj p,+bT$,aMgta൥3kבx,A;kcmF!Q_BBTk[@4y׏jn0N3@h(4lF99IAç;,`_4H߭ =]ykDԄeOmK "12 ( ZeKЖٮ}`发Aa)~kLD#^S5 4X@> \×Lo:\a:~: T>CN+!lf{ړ}?ژWnšX}QEt : o Q4*^{FTKA/H7ض,3j.X"J`^u)"<,q嚛o|R.XxpobQhv{k;&KOUbasDWIDwД"R6[/蛰!C9"Q*NidNVNCe2LVo>vokWon4-Q:ZNJg/ gh!\@ܵmmr+Avϯ4"|{W $L3Q Ɣ y~e9U%v%f,Ph!?N ץYjQ 6\k2dJqyc Ogα#@׭$_g0#?Kz)G{X֐=|-/gHb(9<yI%OY_q~]Ȭm3.Uۥ-ˉ/7P c~ n%,!!~4+Ku$ ^!>La#ob;=J;huI *&墈-_ZΒ[8ѽV@d= K43p ";n>$$g(Z<ϭ:SE4h"F*_e^3n6h XBM);ixZxObX#m& %R^&D>:bfTL7iI~a2d 8h.28NOlxL6Ͽy?Ҡ2;>^J Y6^V/Tag0|@=z'Mc54?< ;J ev],5cH5vm!}vH5_fBDBINh>k͚>nfoEQEBM$Mb~} > Ss ÂX bV.Q/.qVOgY WcnLi. !./03&ryȹ Z“ž{w64(M Xsc%_aG0;߇YݽBܵ DH8F=Y^ཛྷ ۑk(u7x#Xv/?ԚaTGBҘ`-ڥ=֣,o!OIH +k[} 9;P7 h}IN .3}ʐg觧_k3G\MsV2[Nocu~]w;S16!>߬qۀ{IbT;K ]&;܌o-PN ٞtPӁqəWeH0l$b!I GҘ8h'HTR,b6wdK:%|ΫP!@S~ݲ< `hX@!?@\9P?DO5AX6;GZ<\%LbuzR j<'ۄjp.$e C8;(0< e18>ܱT/niɚd'(`FHɑf^ifs&2ya$LBt;cXGae’F)fhogG*'OpP igϩCaVjVKn|"5[5?n˜vxlv BnLFy},aG֌#VmJax9|B#wi('t2*C3dsk_ Ul]_Dx_N-Cva]Gh4,خji.q%H>tV+k QB酔kE@ &\IAU'$IXg!$k^}sȜ-P(zm2 HV4 &$T"'V/Ё?cD ހyE_.2Kd\\ ,\>[#ʧT+p/TA=?i8A["Yv3;~fuA?|5' F#G8C%\gs]p Bsy&22b*H ( +Jf.Yg┺J&a&OpSl0\ qu>v/z7P$x+piP=X^YzLQ~yT[AUd1IẪs &rA%xÍ_>SzЈ֢q~cSsw]Bx%"UriITMP)#2RI-oAHչ^]ۖ:LTw/x1ڽl(W5b7VHhs۸T?8G7 Kz8gV팢bQiA6xC߭WӉɤ3VY<4D Y_JԬ7[N 6ބjnEȆq 3_LL xvPX gu_4bM(d6bKlÕh4 ٱӪQD[*A';W[ NKMh z}Ԣ *]+޴@9(M|)`d\PYD?zqt1{T+?r̛=OS#>!hdoQ+7fɋO|g _S^4)` &H)OQ~!4TI*!bkLK^tڊVoYwIjxCؒ)tra<`ʘ= -aw{~E0!|mR'm >:yj!]]i&ſD;94CiAOn:"VIBxŌ"UV 2e.@fjpFZq}ubCJEx{'(u<#JH Ƴ5NO9ul#0L5YqV[߷SףcՑy7(Mjul `ÙA7&i/yU0?E '"G՚"n Ύ?}'d*!:c ߣň-f3 "ȮO ɭU2<9}QRV06&zJz؇Wu;3Ҏ%+a`! ʃ]h0|ƠMg? Y*+QHiLOxj_YL ky;~LL%wx!Rv 0Ձ23> T+T³\!RS= E`m9+H;9Rq7+Ja(?*>S x{oaS D_قlM >x}O02M9Nc`+o|_ǚlق_0&uq#  yQT`* V[(Jq+r9 0Ԏ5/IWvEDaa8ip|]]W"e-`h?fC’/ /U!=LtE-X?&0K)i kpɖc/7Eݾ ۟ݎPY/;4ҥuĬ4`H.+R}߾ؽiՂeˤeQ>T6 FR{74T8Bq@~)1 wo-(%u'pԱ,d%+C[V,p*["BkBK<4BTJyA"f|)FH&]V`+wy|=WxE_X>fB!$LtFHVӕoBx!fpi|#G} hd UI0o_K';W㼥f@I+@,h!&yL+(%!W@!bڎ/|j+EINe*zCd.Ow9s\pEl7^fQ 7U6:pbH&~*7G8@˅^ŽR\cKh < yg@{rW}3vJ Go9{hDbwUɹv "[o,{ZŁQK<Qf6O(t{Qg)غgH +:+ӠH&APgynpƧC:(6mJwM0J:bOos*ꋎ/%r t|!XAA,ljXpt)ד "K 辝& 6~{ʼn2?e,RVHatqH` iSIV-MHD=MGWaݟt5ŽA}]T*k ;7cE  M@z=)cCL|$<ٝbtˉg~-x[In_2C5,%vRnY6ғVAPSFH5.uVwhCc4_? ʫVD+lcm=$Wųuz*&WHpK,1ibq-YQk6:BZ`JD#Js| V=C7j9wf2/PG>}N>tho-D`k3j /o/~aSCY|E{ic6mBsp,m5+Cb<;>Fؚ-` e 1ŵ7×mH`{gvեxyTG]mQE`])f'" g_g ׊ 1 +NI돤FOc\d("yZ,DoHۈU#gYW|v_މW؜rüq=IHC%U[$i粸Yf!֕*<\Lɞ%%bJ$nCgP_Dz6@HҟXΫwG 6@+5 Ф芳d I+SoR$wM#MX ^ WD)S\GOe:ݐYx+aicB ubUr-FII}@$1znHfk!o>g qR lAԀGpDP;e*<9bL KA _{ĝ?Ou 9-ԚHw~5Bl@ :5,Tgh] Ȧy}ő1< Fc@ʯy}IXoJBr g%810<)yhTεc֧b Db46vvыSV(o׈} #u4F+L&6 }KmCxck ɛ-BF/lk 0o46>3J GB1wj)Թw Oxo3oy'0Sx+͓f_.ɃߞWiR ڲ#x s^Ph:զιt%; inj9Ѣڏoh+c]uY,(Bo) WtBQ%JkXލeJ2 &v/,9J1:i)}Ғ$$7IjŠۑ^ܲ]ar6t1RJ 䀯EYGzv9bQa/wfD2pjVu($@Fy{j<2gƸЄp霙eBB!O'Q͊}싕 f&̃.E(F#ZTdo1[:3},h #,σvqOy_b^W7q=>n_g^l,{RlƿKmc`il[TQ ,6F8*>ة%jӵ)Pg4"\sOz.ę VAr^GRO-%|$Wlԗ}(Ƿ8 .눒PLy'XmrcrS銨ࢹ:/P ƴ&fX 3՘(g`ћh7s rW39NxF m g9 Nv/c~|:󯈩{w[b0nj-ft_пM֑35'Q+qXo AgBO0iBv 2'go1 :,8%!5w>6`[6W\vɪ% /uY/-wrCw饔sLb4Ҏ95@r%6)O/- yt=bB' @2#:?Md8Wszbt~'[!,~VƜa]k/t6O=гwzԕ!ElOP:m0%>m[l?y M4\rNcv\[j9믯uf2CSos73 ٰ^w0p)M|cq&ԣ9P">i׍HD8c`teyBa]NM@QE$ʑ2t2D6Ie T[Hۋq` _i X~V(eLQ~Scc5-*瞭KX1s/۵nJqF+H(Xc_fP}u"g u0wwʣPx0Q?MyI2ϦÆivgzR,ٕmGR|:_ #V*#lma3LŭSt׫- ޲(sљ7ɞEjYݝ;j*|\;i1^Mr_%q&g zָ)xs "'.F 7!enLdh\k6׍5.[x\׷88ȗoCJv̙vnxs1 a٤B%7)Ӂq#dt%p`ZٗQqn&{2+e߃'Y[R>֐G㮓3=uA{_Lө~jivfαY}W *='0UHL͉]|7ƴԹg^vX#\$qpͼ|Fh1?apP~We<u⸹4KTȮӔ8S,u`by3|Nj+ׄYx)˕+r\o޽qIQc`Aj&)A)\kOw'XX|;ӳ UEHU@d \ת"RKAtj/"4TgE>4FxGyi>@`l޿AO3 5KFJuB8i++xop-0B`h,d@^.BY50`/P%31-fV4^HەD/᭥¸ٙoy <Gc ]>72MǶqm-TgՆ}we5g'M_06WpSh(iLE /ykx[X:h\nsMHf3dθH|ZF 1 l` ~]ꈱgYZ9e64cf6299db6b44be6515cc7386b1e37a788db45234d5a5043eb9f3e26897b36f073692111b110c b91e791daa16209e13166716aa8f901dce4a31bb f7f243cedb19960e4c82b4f78c91c66f610a3afb