SQLite format 3@ %J%.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 %%H1z\4, ] HOL-Corec_Examples:threads=6elapsed=147.696cpu=479.762gc=68.8857zXZִF! ( ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7aQ7xә>x\EY2Ev~LA`:k{g̋B";A{. :_kRw)= "Yv=: l}i)[oVVN֠`c\u`Ԡ8#۲|4q{ùn z~t?z!T"+r1複|z.͆5m﵉G gzr M&K2HdHf'=_hZ]W1z-$6Lg9LY&2`y[V2ꠛ:vsۻ;$2xOgG^$;ݽ(2/巌`P0vԻ#ڹ<TkZRu, #51]l[~x{h_GR+ϙwFD8&x}h?Fǭ)*V&b|cY;c.{xFb Rzz" GA;s yڈv6<%Z4ϱq/ۄG.Y iQc`~sXj51B(oJz/ګU䱋\u. AQG=jC[݊.~0t#e] #*BLpt;ysvIʰ "B?~ i!>3 \E IJ8Y5EӁ~nnSdcWL =2=[*2ӉlvE&wjO7VMH #|tB(Nۅ,V.,(;}dnb ڄ)^5l28O}X(m(pb h0YuD )˄H^7(o"M0H? ĊW bpW~ףMItxZGfc*I5`S(QIT2Zlek0 F6;@-(XkweKԱhW{)\Q;Buͳ ૂ(byUs) L~vZH}[.LD_6# ɸ8X%5(|v@Rbuw_N@|G/ɇ`]!]CeJٳ֪q>dnT-S"#F%DJ{@GZlpgpK0'Rjw]9ݑؤ}Z,FE-͜Dbv skX s 9B,x`D1.-}ٝN"s}MsSQKl]C*܍" Fg~E5dLc,Մ.佫!MtW4ɘgHC+F+k\B>B/+` PRBlPDp%M ]— 87irCAITi51e۝4f"/Riqi  p۫8d*ZY5@=rc; R?Vp{R˵{aM"z4 ^}5ez1<ϛǥQ7 z NA_`CVRV }ЂR60BH'HC%_] [m(n#-Fp0.L M\3}k͸,VĤ/&A3%٦zi!֤-e ǏabGV];uѓF9<8݌UA%˭:-ؗ/?!7'e@%&49kw/(Ă2z4c~D$.~"!ʒФ` WɯesBM*Uu@(<_ !<ӄͲҶ ر򰵽p4dA)C$nN^4k6ʐ 10!e[ Q- VBOIJ"&PC[ ^ ,2r.€3)q_|Z$)caJ wl9 `3LA)\T\Qc3әV^=P wzn=aP i*6$[Jw.JN2^DIcW$A@ufppy p.fJouF\f#\ڟIo",@CF+9ݶ{Ѕ2 [?vyb`.EV/Y )N~IW:ʪ-:FR.T]~l$VUwu޲6!zWjFPƦxLM\-;F~zlXc'E7GFɐCz)xB`A&׳z]BvQ/V-܏8p :&Jw/;&\X u{[,.yPK;r bV9~:]?"$|HM Uȑ4ρGٙ<68^M%HMSɩpUG^bx־6BݨIW}^;`R+ jқerVhbaݓp0,H@sAOqь?é.a m{gie( իS8V]0a\spvT 9pH :<$h$mJA0&]'Z](YKDK_847o,Bcd2Y--,:]c;C|%~Rbe,CB2RPHOF_+>Gmz&XUuL_PvNX'H1#ssR -޵Nw ڼO.OL`ETw2PUw0m`:FJXGAϲ.NOӗUਊ2._Ju~>LUybª\T=[;;6!J멸.hf,wj UokDA"MJ`&ֻiDyGP%k]MҲB>z!pEc\$u6&t`b>j1CF=`̦?w7H.}s&p`e)D_d40oj"n4g)šGn)m;4qeEPDL?I=D<@;=3<09-5,1+-),()%%$"!       5Y , q{ . W B U^  z6N 3` C i % Mw oF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages:D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup9C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files8I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id7F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages6D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup5C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files4I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id3?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages2=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup1<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files0B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id/F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages.D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup-C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files,I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup*<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files)B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id(B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages'@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup&?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files%E1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/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!H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/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/lat4B1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/latex  /QЦ gV{Wb~)4udrx̍=c6cWO#JWD#XQKh,~A>3%2"Gu߱aU;8~DY/8=gJ$%nZMEw#w#, 6F$߼!\Ƃ;E @pN P_3}??@ډ*xgBf.7>R:6Dו3 @q6֜LWnz!~R1*G591.IJ\Eᶉ4Aܘk!Юa%v-۔5:mi.-:tGȌ͊ΒoB'2(;T&>NӅjScN9^S4)Ce9R erNmNs7(MA$ Rd>_p1I8}M6E5iϫt",CS#@*uvP5`Wl>yJb 4E_rLpB0ڭy(jUY@|Dfng.TI})Aq۞2&bV.NJXm(f_Mr ߐdbaww tFhwthu ^.;90Wop+^i*L& n<-1rG j !|ZL\6!9ܦ// %BE4uK(tAJ[܍B6Mv%t7zgfv߂y[ɯi#@u&}BZVe./.ͽ-] ^ zb;/^ɡ&7/M"s8ezk׈K`I-qK q*1_1Hu0n5 |#$h->o؄(c{E O*\y S,`Hc1TDٵb;fTn:+}n^,-W0IaC!U [ebssLZ? Ɉʪ9‰Vsy;6d%0L K G3GR-hfG#yQ ]!= l]}Z+\b3׆n*q5ڸh)^{B4O#ﳨ(ӆ2k\!Uͮ.AnO DH6pM! e5 Ɔz_l]@)Q.]/Kf]S`6\rn"Iݜ-D>7+CliĪ9Η|D@/\zk+ 3NAxP7%J;5%ߦw{#'p,UƅqN"J:eAu cz/ R#FbtL^Imc*I'o\ڨp_aV ue`'_oB sr8iz4\ ކ Q3䞯'W|Dhrb3kr Zf,w=yQTv/ 3/R@1W`яGҕQ5dhY[ Jj≇Xr;72M});g9.~<*>)MS G,-!6m=b#QWlݿ=z":Jf5+j;3ԆߘC_0$aڇ ÊU"@*\1}B;# pk=-k>YОl$UQY\1lF,QF|\Pe`"(dh+vhvB $e-5ONfP0 m<'Gy~#K8A3װF'3Ǯ.2^kk2\)S~NNa&1F>hb cO9 "*o_~9Q%bbz#%LZ|Kzi.UҜ4̈́IJ3ilPaoaϪtO5tNeB+y ,vs9ǃӔiu8Aa5Oʾ{[Xa@\1rC^F( !&}gblCqLlX>mEӺ.(; R7#\m_:g<@&"8)%dYꬆD\Ǜc=oLhOf)"˘}2Sq^ ѯD TNShI+xA*~BbgR DP-u,)TK\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ѤF%d@;_x Niv9tP^fCQʂԳ2:!gD t&ڻ8B-?jD)>!e[ Q- VBOIJ"&PC[ ^ ,2r.€3)q_|Z$)caJ wl9 `3LA)\T\Qc3әV^=P wzn=aP i*6$[Jw.JN2^DIcW$A@ufppy p.fJouF\f#\ڟIo",@CF+9ݶ{Ѕ2 [?vyb`.EV/Y )N~IW:ʪ-:FR.T]~l$VUwu޲6!zWjFPƦxLM\-;F~zlXc'E7GFɐCz)xB`A&׳z]BvQ/V-܏8p :&Jw/;&\X u{[,.yPK;r bV9~:]?"$|HM Uȑ4ρGٙ<68^M%HMSɩpUG^bx־6BݨIW}^;`R+ jқerVhbaݓp0,H@sAOqь?é.a m{gie( իS8V]0a\spvT 9pH :<$h$mJA0&]'Z](YKDK_847o,Bcd2Y--,:]c;C|%~Rbe,CB2RPHOF_+>Gmz&XUuL_PvNX'H1#ssR -޵Nw ڼO.OL`ETw2PUw0m`:FJXGAϲ.NOӗUਊ2._Ju~>LUybª\T=[;;6!J멸.hf,wj UokDA"MJ`&ֻiDyGP%k]MҲB>z!pEc\$u6&t`b>j1CF=`̦?w7H.}s&p`e)D_d40oj"n4g)šGn)m;4qeɠG+]ZU$e&d)Tc:{²'[tVq޼ѺTzCQU-X,wGWU$?amWXWƬ@"p5xXgWB(H#~f0V ݱgYZ r1A) lHOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/latex7zXZִF! m]N}T':=Q߲mZwb3Kzd9.*:3v/22Cֺ9bljqBg\S:eZ_@C2KȋfnBvi5xqrxD0LcE*A0}.mic (C4tBChw ifkG |?jh{<"Mۢ#,-!t7?p"blvou`ۙ@jlD~]GXNPL?n4bAifyK-=o;&؎'Y!N:23'+륰174]>b`vAr.N\ƼY_tppY.9i &\Ukw^uL3</Gqa~ ?I災%`RJɦdMIN6]nW#wSMZ$"at! G1_pFnRx`o{>0yЍ?u ˹ZUHn,- hhuPqƸvXŬ Թ7oH+x>£š#m9d,]z Ӏ\ wՆ̲[4_j :4붼}ZR8 xH 84uXmf͍ƶk=OXXPQW/g L ?V_kŗ0׌6o f;4mB U7'ᆪOu*E5)sd GC7iWB ,牋Mȼ.nƻ җTn-C$!kQϜW$3aO:bmR@513 ѬB`6 V!̭1{Ų;d i(HWl[prUOs FwLcp5 k¸oc54a *do2ߏHL(]9t%JP`넧û)63N 8׈ln"%Ď n-:WIKA[[ծ+ `AHHN/DM)7s Ͳp䎦9PΈ?c$r@[qV sו^ Gu56+鱩Hɵ{ZdrԮf]#7BZbS6bNR[W˛3C_/b6)β;#BLWG6Q340~q}NμDC8JҐwθM>蔓o?J ?x:3eL.gY-G6b{>! bC,p@qvw$7oE 48 ~a* }*Ws21wuxU9N)])KMPКVbSC<|?/ p6>3jsSaѝ:806齸ps 6''^4ǒLaeDMvd64kzԻ7aVե^R+0 jT7j3h0?XqYs޳/bչ;вGcCا8HQo(NbZ塜ȹOw?,6\P} G m/6F% JflHRbYU#d}(޾Ž]U;{>l`w! b6Ƣl)5ek޺WID<3s_H '=l~~{|UKZz]. ,krP>&!X$hv{/~A1$6(=P<~fy#J/ s!)ԔIfPSQcyM*l6cЩ`,=PP+|I"VG&r4qms|mphH:f{8Y,, #3Yi6U\A(P78 jkXF̟t|'khDՊ55f 'Qb \}́Y% &E *~kTUDB]拞YTi۱5V_lU_C\u$h1L#a,om9z>D-~dwٸ`.ba~c&p -X|Ts!}ͭThfe݇hc9C K:7ʣ{츍~}[,A,Ls'1eoqKVB42d3}?\VVu"Ei1>yGMa'RC_A[!/vFBVGMbp1 f(Z \A_հ~߭EEClgC\8/Xjbt}8f&)O/<W8Pp97D]8 =V<1CU(/G,^*kmvzĬAn$G!"(L'-3ů؀ R~#hyka*Tepx7eh%3!ߡw +UVq`6%3lWuABHMTpf=gtV}l E\6XX⩔~YIs;0?lk$L:Yը`=rN,ӒlBw."ֈ]3Nz&B``N/Re3{`2T1uẇs6B7d92_*̌ TTxT([\"[^Q*lQ7P,Y0{~gbCtMQ!j1q1v۞qU1ACEωP <' FTi{Y..or#C2 :.k3ҙ}*bDEBs/k3ҷwлD2)AqQ|(7,E6? )}lYnf=X᧕yi@l4:aRfHXI#Эy[^*v z7F[VUI'= +ΐ Tlxrn(H-tl5^5f}Q.;ԈuE'†e},?dx56! Ti<`Cx̎"VwG`y/UZ [yrQ*;*4E441X?Ǫ\?3FJ9O 3UDm*b1Gֿ.rԞ+FfUetҡ7f.:ETL>}1# E, zmEv*M?`a0N_Ix^9MbH1b4mu޺~Bfv mslBs2p.1p J8 9yJ@'Og8\^rɜ4p$˙a&Wvn=> Ab& 7bh\g`r:8/ 8 * Ѱ7]z/.$KDvZn( "JZ~:ED;фTDLMrч+-HZ0*P# `יִwhspjF]4b.<١N쏪Mq eOw+b`ݭ+%_A3%Ր]kVF~J i%8~oZbd&nXO-XrKD5\ 2mG9`HqHI*\*L#ZV_\y˚EihZYuzd o%O޺Zi)Nє'=+vV}}:v/OB29p:Fh|+lrx;{P( ]<Q{L݊ފa3r-\j@|of&{$cqOtI>Cx{IE8B(VS˒``;+r9>ZAqK!R53Ks"iT?6:P[YKY3 :p)Cz `ot^1c4nVOw?+ 5DhČƱw Zʉzz~?".- CN$ͨKsVGP i0r" MX#AvD/6"}DL_k~G(Gc@vn Bȶ~tV8'ѿ#"nY4Nf!Rj[:e [`"3̏ >Lb2"33l OCp$JiԷͯ+/WZ"-)RҰJ8rdua`a@\}ղAؓJJXΡl_ b_^֕1ظb꽝/sUtBt+LS4#ۋ*h =@bN<7ިTԎ^Ce(_"V& {|*=S=>,I9b[G{ c(=j3K\6^ `mH"w+dWPr]rA Zd=3s dzKwk&xw8wah|܇4P=tBhƟ _ыZY+K|W;Gys&L u7$#ې\/<>pOb;,|`&c @5v4(EDaFd%3Mi >]P3F5E6S n$abMoDxn{;GsnU8, PLMj)(<ٖ^tRb *ES."0`*D ʘe{Fw"r?S4 5o'V&1.&p"J|HvH6@HIvVx^JBAWs+.hZ EBS{AY)<#pC"plH(O푓gYZ  |S1S) HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/latex7zXZִF! ^F]N}T':=Q߲mZwb3Kzd^6 mJj!MRD+hﴨx[7ɶѱm}Zn Y`fMMN 5?^ZXy?fA{6l4DJPlǕ#,2&|rp~-OQƨx^ slMD4# )32srBmOt:1QhBh"ݸNBmW{DǸYdOC^=z'G:RZ9#DG;qg?[Xuɳ$B+ $T;zy.l_# =E;MrۼӤe qÐ(,gf zN情kuH`-amFW B9$߹QvnptI^|ϢfD8)յ ءG DxTʫo]Ћ{,//}:<$nOZIyUs,Ȝ-v`JSdRmAjk 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+?ow$xJ.RҡBjCCK"J^C3lB0&B^*?xQ*b#zM6`]P1%WjB>Du[N2QyL@j:y+#)_LX6=QȈDJmJÓm/ozo0paأoq B;w'~T 6'UO-mг8W |[h@ݣ:AtHjYߘ?"+gմJ-ʇ֓g} Mr GgR/{U% q.4t=o@GBWq/-R&?Q!^K*0ڰTv _ %i$1 żuS%δle[ŬZB@׏CϰkMq[[q~#\W 9rָlmS֜TMj|Ds"=/` ,bJkbQܼ lj_Ѹ0g& J":)quב!zP3ƅōRa(oj BHIgDk;B4lлC.S=4 gL~9._T{qDŽFV l!L2Ֆ fG.wِ,/4ˤvǢٶ]4g@!3 .gPZmFD"'b_Nb,VG CHg =;2Rĕ xyd_ #Dn"¨/1e _$Y:ގ6f>Gۤj1n!ha~YGc˺ 8λxصC~G9ɶ)g A1=Lr x@5CiR% @woA˗ ]X`"}T{L6[̎NOQ/EY·?,6pJ ܋XI QH{Y·^q~R"̝'6([">G[)D- 9C8W̷VYګ$@L1{Fe[DF;pk0s?eR+0WѨ==I:<>HPv2smX}Z.KD[ƜC]X.R@frDjvw#]'+$ES &`EAteCtk+j afSe;W1_[t̉57 zck$~nj )r5^Jx[6VHR:_D͌5:Afx88:ɧ/L^fÔ81xGݟ؞6o g\:iF1<BlRaT0eAq\4 ͩ94?wL~-d"2M#C x%ϢtvFJ(3bY_{# HȌb5zc%9CjFAҊY2c2Vltm\ rMӼn*=e|V9yJbA#hP4(I(4Zwyl ,b%}r2 Y9fީf̭m.+3d^|7*%vp XGOGvfDI'sqw+%tNLaJ0( 0n7ui} [`H7vաm w4D,mHo"3T`D!{n&bHI2BTl`YٖqI6-8D_] ؞0Ja_%Pۋp޽,Oj\BnTawbY)Q©4\bUN!e A`n :r-cM'BҗM5ܛan?}vMmCoB~^j(vQ3YJ񟥍,Dl%& IB!xu[k2 S '|4n)-sfiX\HDl`ue78 ƒ!L"]gvmNP۵!3w"gG:rUuqbzl:lA#U9q<ۍxiH*bֺf.lxR>wK.z5Umic7;Z y1 zM $ߪS,bgYZ e\װ-v,~aCjl'N8-JM(tQEW27b<:&9POzb@l2^3E&,7YdQq]Y(w! F~ML!ϰu39OףQy۪f~еbdyZ=V\m{&Ds ;yzVb 4䑂%km7qLjoCzeŤs,,}SxZR8_a"3:=aHJ1Ud'(Adv}\b->)?ٔW_64b.txmF?,X ~A*=#Y1zf;lZR|{jg? 1ktһ$ tF{g_r(X)H0v  a-"1X7]lky&c+%N27"i @#dV0=IAEdޕtI}SS0N܏Ǡ@2_g >{M>b:,[`ɢKEip&5?7}.:?]dqz 4ON=H~>~W8T\PȔ%\ב cӎ6ctѱTFKyagUSW)> *W'vx[`h)VV7D'Q{{QS2ZniGB~h19isK&L1MjPkX7g$]c{sO2XXu|ec8I(.q؞Y-ON!I8a-V$%{Rk˼X͏{zY~so6wĄ́7+EZ7i?j}{Vvž$G ^4C!-7 'GL0~_{R"q?EE!& _/Fpv=O?yҧcb:Y DMU1U Mo KI3\#%5XD. Oq8~59EftyH!e`Hp` UΑaW( yt C/doPrCtYy0k@GdwYV&nn,.*/Cp˻jM|JY?#>6gB<1=Ce _ >N'^ Sz73nu Kxs!ũ}ԡEcGF2Y=1W,QXTT*:W׳ sAs:~ydc茪TwḒ1<6n,-ߠnj9CX`畃 `)y71FF'5%P*<'zZt~=?YbƩEBa9ˠ>M]7X^r]Cu*&X&u6k˯3OC(4yc63F'(\#M?jdR+.Ch.wO.ડ+7]z"RUQ}c52#&׮4IA{! u?"v`8jxDiߕƬBZp*f1dFR?cfP\(Ҁ[mZ}ǰW@WPY!(t<Q]JvRtE.z1B9cUzp[*5j=D< Ӄ 0KDgYZ 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?j7PtSD*z~͢,2$7WS`_rԂM~J)OD_D~XUx5_`"E{@&U{Q/CXO30!#^|sg zᵽv$w," * ٛxS8$>֍wdYq+=Ec,QEddN#j-Z'aKX i$-t- \ #O VeVO1')[NNgHlRQb'u{cwY瑽 cF@"Տ7Tk[nDYe|чJ=ǻR@J@x52PDAP MW`^.ԳIan:PM{+ilvfA%H%N]^FM5˓2jLá=\uIaب才_c2~6l~z8+oByd[\ιy~q-PZ٤`3"w"ٍf?%[)rs>I*cBVȧI 2v?(U -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}ѥ !NZO ay !`w~*VG_-b}Iv40F[K'u&X|Ou&>5wzv4_fǤm,wT)EՔ#,`K'JWUpوh6{}0<_Y}dآRpq薅މٕ_H}{%1 ?{(1&ʸ瀒'nl*Kz/_Q9 [ k<37HYΕ]\z#;-30( x*cr Ařgp׀L:T{xs^ݡ bD[{a3uܤ=]w:XG3DŽ9q6> b̑lSK3/a$2kOoBSdmsS!poTί L)OX ?3BH}\%Ps/ $YC&E?v&y#)զR8ݍOZ7ݽ$#&r+ZnCS(go=V$E|gw<4  C#J΁Ď=$3v33U:s=!Q9u*R<o=_*@x(P{Ј1~mi,C6gV΁?'!hQ seH/5lJ}~)APSȂTeoѧ%_4z'tV[@zu`{iux\٭ю'~#޸֔f+^[9Sw}3rk0şeL`O=HVVx4 %wzaT/l8o fxT4#r<񸰈}^)B{s?<'oQ8xO=YƙV;;)hWRa.]SX h@nWM]M{MΒiJE*? o|p:m6icUyA1A6&(kVʜ &,7bFGRV2cG8Y8+ns0hwo%M4]F6Wvn,[%P13"cWҹІDhݍjhxl\yÿcYv.Q>p=˾/wPU7! .zXɺTq38\wdz[Nx]{q%e"p>(jQTmҘ]Pvkbċ p}]rx %~ٗeZ10fQ(FJ[p2`*.K-f FXSIX|_!mETfWgc( jL;&aqYb.;|^/žVֳ)6fvOZ'WUh˧r۠XQ/G$"`EwF]/3H<$%~%[,ZOR>h"1x#xW9,Ys R݆eJ0pˎ0\7GbUJT8('->~VA2壮6* 0Dnį.[s51شخ1JO?KR& N*Eu//8&θ%0?G[+$jUptXPv  Ob+kx=J0b5È\0Rn*)?tU'2A pϦ0-73w%)/i2'*L!Lޟ)"&HyyB &Y1`5SxQ"qn@~%N[7D˱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'_٨] $pyq#wZDgc.vToTt%nJ$+FrY4>ndLn%8TML#ʠ Oc@a{E5N=#Nй`ee(TU΀ͿRK @\j";dy^m~slą0(;ˮjb"e3(׬?ZΠҼIgY⤸0R_D/Oېpg< ۧhR.$ s[IѸ<<wyO, 䲓61TeXERIU` abw5egGԐvBdw  SU W')}Op3ת #Txe>Y-ÏV∵z9(>Pt6YSR觇ȴ"eA',Kbqß(Z 9zվkBh:N{)F_.ph %6J~VqlzySmsWdd cV/SgQr~zD,< ,_$Jycni l0$$MG$xeͮxV@MBR‰2֊ť$SChie$;*qZHg0}ղ}䔛¹#΂PnNp=w0ٳ {Z!3;DžΙTOyw $Te02ͺO+HіW7H9H|ŴjG}Ħ$K>t5ɨh˞>{q Ť>=NO6*TщYqSO5Q03bJRGCyV؅39Ez~ obX,w,ӹ tx*ؕ)  q3ngYZ1A) $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/latex7zXZִF! , ]N}T':=Q߲mZwb3KzdJ̋r&ӛdW@VsXm d"_{1G&*ҰYDMLe~ҥF߸D)@)k;j$~.$VWw|cz >@0M(,eG`"=@~Y-0Llheِqa \`A 0V[c@낍=sT2;ܲ0wX/߇~۪epȨ $B7b31e#;&Z"<-ΥPhUMթ3-@Q&s; \ Xd͞hjχ8AXo:)'fFk)? hS $Vs<}okȖHp2|GMH|§Β K}Bs#UMe f锔> #NO[f0nub-IS1oߐ5vWF~2ϷjsEZ@RLztBi[7#{7Sk" p%`P) $>ٍ)61n,BVCzOdB#ھPbO$(>B eܕ=sM'S5ؐyŭ7Dq,g br o3"&0hDR'IbTBы+0$*G}Je8٬,jt.Rk aQ$W7HJGA&MNB>.Ǝ@9e6DMzrMY:N#HH; ϗ[~1`bv(oVdi!f[l#ޕߪLvut}_7TM4@Un<L]N}T':=Q߲mZwb3KzdJ̋r&ӛdW@Vsc d"_{1G&*ҰYDMLe~ҥF߸D)@)k;j$~.$Vigw|DOKH:b_LS(^~v爻Sݶ)2eN݌efՂZ^i){2HP]lЊcO%@Mo$/ο<qZ;-,e +gV24{i7 Ө/z`f?g?~NN vrusaQ\yWT|3,P1֔z?UF Ր_s[Ҍ9X!dLidfdy$$ra>;g.fFK0:C6'z dy$o#6; lFd! oH49A(~fRkiJ?Hi k@|xPGaT3g2A5E%dV SHnoivDZ,rj8LjeT$O&x{wG" dx8ݟ9dzV&u36u1,ZRϿw!UH%XMEۜEzqTC汝4ϜPj@CEQbEŇW]՜MURt}5K&~uwKv-ّL^,N7wHʹ]tS)aԇ h%=DQmgӾWJAsOc|%keܚ4JM*d{YrxNѫ`aAw'_ 2꺘KM^Xl,uxY#-H*ۄ\tOa Jvz&h!–0Ea^d!I:AeM!8Wc #W"eD,%'rk |aAʎsĻxV,B+4?i=-NΔo5GBrq 7Fq_B7lӯa@.*NXE?Jk&?^3`@Jo:ct~⬙"?8jkmUV*6 [n p3z{mzYbJ.Hºp_\]`i&5'V!H@p91^f*rF3>BwqZn0;i٘嬿^ [qgũw"OQMr - |RgYZ   1G) 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/latex7zXZִF! o]N}T':=Q߲mZwb3KzdJ̋r&ӛdW@VsRA9VP({3ytV )Q)#a.7u*ÉfْE&<囋nAЄ RdFHWY}B)~ҟy;Z1.SqP0_Өi_r6>U#-=y&o d-4"Z` O<鷼I23$n9Vkmg8P_} XS1uYs3mqn{hMrـKD(02 #h2(l1Oj2:B(6zmqiN̈r52a=h_lEwe(p#I :^@:!a^ޗX~9+QnWuaUxg:^?ӕ Rŧq;epۢ@N4BALX  1A) DHOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/latex7zXZִF! CP]N}T':=Q߲mZwb3KzdJ̋r&ӛdW@VsA d"_{1G&*ҰYDMLe~ҥF߸D)@)k;j$~.$VXN% gs(#ȇ/ex2<-rtUJ1A ]IF+cg~A>Ҵk2½<(VPϾbe|IZ bx~tOxN2 ܀`5>hQ`QpQ=RFg#ZUE!~#%s386!l9yp|k53VFl*π5HXMW9gu wx{!zH"KQg )YQpS^U;Y@x;ٲUcdHvow*)Js⿲4G0'-~%gGz62l$MaLvpO_/ !t^[9X  -s8+>BU7ـEaX#_͝W»W,U~|?tdrv`D(7ڸܥ/@d1S*Tx~Ae`>ݛ8Dk/CJݿr Db(:ʜTᝯB׵qt GWW!1 y{cP%ttMwd%eFwzD9ÀDA"@9\+'fn>!S9hj"gi)o0tǼ|MoN@7:|ZLkA5~M?LݐF mxE};y3+20;BݲtC12}7ݏ!@[3R/_k䐬E涇5vZ_[d#Tk)HB!z@Y@ Y+`;Ϣi"gvIM>w/ I`j&a6=7guG,bngA*@*?G2`K¦JRlysQ4453?=vn3xTU%~Nq>$SueR'U爞bĠ)lcgTZA4= ц[W gYZxPWºvkUᓪod"S35oh}@|eNg{ 14TR.2ˌ#u `9#,$U-jMѳA)n*z'Oa1 D[XH\5b`+/~R66ƑH#7uŌzN*i9dg[ˬ'z)H[;slNJCiJd/:ў$iegQ15,JX ͚z#3/f5Fx{ډ?(~ؽ"eȕ/i?A;]u&h!TH,Ž'NNw~Csrj\aW9 7!Y2T;v*W+o]!8 XK1d}_qd[EjJğ$wTSnc eh  `y/ JK:f kŽwL/߅[9yG ,IO8gQv79JtYZ1+6DԳzV 9v "XqF@ϯ@Xm~2̀0ͥa8UDɬ 'xp B ^gPgbe&6x/RRyA?FCR7o k^jT)U/h00UYs"| )f3$s1ſko84L;V/| Yoyx«Sߪ 8>sg:6BҘ{D?8uY"&lA-OPIG2H=/ZFm)>KD(M~IJꄼ_o2x-<պv-BrGUTh6|S-ݘ$T8Oc*օxQ7 yw4fgUV벘~b~ڥ$~$M@6MpޝBT1_b; U1Ur jS-9b\ &$JcU >'bI . S[ GtDa>A8gҤS4r{;چ3$D^ .ZsO5Hd/*ix?EK<󑰛`}3S@i3:U8<(Fn34^) DO=TNM2¿>4cEL}$Q9= cNsTN2Z!Vxza:+B^YE{Z8cU=H뛁$,5DYΗ8ˉӪ0&sLU;Qg!mԸ\Ё7qNCE,:6Y}2dH/nC_M=qS.ΰ>)͏X%CfE⌬FyPԈxarĥVb2,YV9^7pܧQ}F?y|ma&,ciL٤iվ!:{xCn67)&U)$OѮY fCE[[bax!`AhNtŲ AZQCJV޷9EQ'V(-mܖi*?~3<֕S ;L]~#\w]^cBq4ۀv%M4=LJa`iI& M^g<-SC 57fL(x ;Z/ 7Hg^xڲ€֘|ybF :k(jsX K Rk.ڵbu1)D@3/N8(j $9:«ŅyV)? CJ{;EEW"܄"|_pc<\ sc#ޱx{'7'G8ܷ͇G[X/a +6%5 Niq0WlTA+IƔP] bAV`]Ѱ)FRQzxΨVTO:NJƄ 0:@[a[9^׉~.Vk",IJ ,"vxI{p;w~ &@c;j5*⯄P] \$H\)Bm5( :7J?vԋn[+*DG}FYRx2(}S'ܗIcϜ 3v3F+MSnyfPΥPWxjl+Qt7͟ ̱d> xWЮN:Ik[둜~(}eQ5ETU@:SM7@7FPWu,3*ⳲK`V/yMיVU6\D\;fYp,{&fY& SnxFf %( Dux;`ƵH(bV>\Qeʄr]" omǝnL㱉@8G+T++4t b6Zd.BKrZ KºX[oSnf\&)U9f $֣dň5҂KZx">@=cD*2>=-q1"3"┠薙;jf2G9I>oa%!!8Zn'bn$Un=,b60Kw<5~u LbvGy !҂.B9ʌi**iMs vZ{fK re{d 0k,Bm6PgEn "3xU``!TTdT߆$X Sx'f"G9ۗky `$T$[bbTUH3ǃ[1KPoi^%^.nNxJQ lsR%IdqQ)i"FSL>r1ֻ%2\'i,9ykeh#\KG6xSGsĶnAd܀P,y~%NP:xgYZ)`#$Ts*1jP~~E3"lƑJ ^X%.\/}iLNaCk &U|UB$MB/8X.Ʊlg "/.KԷ v͖4~wf]T)ޔga gGZt2 ?4 v`6Awn}9O84@tVtųFe9 vn3;ؠuF ~Rt( r2n .CZ np3]8Mi}z\ZҩU5f %JIuj(eʘ5FFCԫ/ T<3T!jCKy ..(}]8~O{\U􆭢} 'l(m@j, Vth5ش"a&:}<LRа8(o{r+,LWŗSϥ^_;bM1O@$ߚ+<ǒ`[N[\RG;qDTxqLDj. Y?b%d]:656벹y t;Dz+h}\/{l_qqSq1c,GFkCxiϏX8i fׇy~.WF8ݮqV-K}tKۧmz |DW!4 lWh\'BPckTI פ^(,gkBba58ete~GuƁQ0 Fzr6MV\U6[(#Z&֜-|tс 6Fp2 *H,u0W8Z.Z[Mm8ʄL¨W|[v!:)ʕ1mY99U, +')œ/ v,<ۋ¤78\l|/OqzŦmT8?]t_wH?*KM/hS(m }4lkH/m& H]_W-G*wL3oB6x%C_͚R?ذ9<{]oJs~9CN dlWkN]r^7 xh]NC!I;Azݵ;I%mg1IϽd19Y+aTz8NUNq&*Šij@DGDO8 99A/Q"B'3b@QK]pLz@%8eF كH6s^e }snrc+Ԝ,*'N{MU7j->]4ʰ):~apzQ|yO|oLt6@08j-n< m:plO?YRӇ= &÷=r;y;͛:zp}i0z)*2ZMg< 4 D^/7cE+DߖA}j0Yaa%],~ j ΢IS!.ʆhw$fV0a)8Ȃ42%ncLr_gd\V?:4\rx`ѷdR {P㵆)7&q AK(M>@에,5Bx U}gwɾ`Ĭh5GVa_4_bŹ8\teBޗHa~~:kmeq5-,rIfP=V6;"6X{B*wY@ZnrIdu%P%B2nP+h@b\Y"4C 3-A`^q9ZyszV" 5 jh,8EN>ziZj 2h@S`c&p)ؙ';k^6=/!-ӎvrw@3O"@c!C!D gX!f^_8.4hU?l;0c4FiL4"=T= p6lH 󜭹{ubWp@20uJmfK[6':a Ymt>6:H#Uc͎GKY)ҹa+QZ|10NE)[\q" lr@k>ʨ$y^m:#'m9uլ%ހb$G=G4 l̯Qp#p#K\Γ5 wr V Tp\>ETfA pa zS$xq>ie1+qp}m3A_Ҫ9y{?,BsQ<}+H^82d}Yʦ_ &g;lIXb>*KM<'<I%7:'̣mzӖ /)f3- O#xȇqu!!!+͗dD~~BNuIS@ m]-N4b/һ Y(ct'VRa6j~^<@K!DB6$CjXOje/Z9<6|۟9ϊK<>Uڴ$R-LtXX[WUnBkAb@F `t⻴ 3]/!Gΰ@[5 PQ]6R 6D3eׅ^|ut ̔\$$KSӻLJۺP2܋,+g)5tBQdM;AD5]8s7D}Ke3dmA': #LxC& Q hu%ՎƵi9|"3=qUcR焹1|"pB+K1oag/؀xob>ZSb'NHÇ SLj> تWM$D.ٷ:rKĦ1yҫEoQ'']y[MC7wb/5#ZNcI3Ic"&QSipqq@A( bF4eDĹ_'0MStLNnLt.gF{V%G~Hc\FL(^n_CT?<^ @(9i3ʡZfr 0J; LȂy+K2aէ5M7m?NӺ{'(j#!DZDw ܿN͆4^?BYb!wiAjßqԪmn3싣ٸ 9V4I@~ǧ7慬{WÔV10+;#$hY~~%2a/A@cL&^Tw})@TTAeY.R ZD (w\aE=~RTϱ8\XyMr1٥ah'Ol V~.qAl|}.=##ZBga -iDLs,j4. g0w?E+ám=pAٻJ[C=fc7{`H}g5\-A7RpƖE 8IA=x]b|Š䵑13 @$IsDd^`Ep;tG^o"]G{;~Ek 2ʩ{G⟠\)Z cR5[E8%1>r[zv>`KjeQ4CS7>Mu?gQScmrpS9/ܠ!,0?pvi/b "W,b~^62M y ԋSI_,J[~RP .kVM1 Q'hL0У uR=U߰YOSSv2݌Tվi+ 0H6 ^ ZP)P{c\z4X<ӊ;%Z/z7zk%DP} 3gp(U=VݳU!F: y$ç8evʶ)`Sܪ.D^Ք -6Cs@-YjY9˦gSO?]%&V$ZAW` = Cs7"}>O^ڼ_t%gKom'n YׅQـ-m+l?_͂h639$-cd:96ܶ) $կF-S{U#EGg.1]˕s1O6^~VW͌g -1Y]gk9,zuኀsO\ޥIm7QIѵR&<<݌pj[~?8[ 5_yFЍ,qKv#u@Y u ZҫVKrhM2Ga*zjrJlh& Џ+Rdu̳OCG$^SwؔI"\erbdM:\@;Yj&2]_)cƨץ x¼@k 3Gn@j6TsպPbpW&xth`$*zӵĴ jSWLH|i 7x܇Ȭƌ,NmQjUWT6/\0!L*"i3D[B5_+Iz'X*Y^t|7lCL=wp`нڇ+tĉ}eZU춙iGL] P78tt`T{8y;QIΔtHwz<+9 >Vt8ԗ$ʼnIQ uaB`ث5bn@'BX:4:9iJ˵ШWLRWaU/sY'*B(r3P8M~0xMz1';WBЇQdiػ| ?!]]> JŘ* ~\r/FJ)24F="E 〶ꗈ6C? >^6j6&(v$3S>9%ke5ͺQ\++EVnX\jy.DTfԳ{${2D1S",y ۱XAWfA\AsFa0·40v+``nqw۶ S& ? !K^QI`E۔ejщ _@GS4Vc|@E1h_z˽%78] .- TA5W. &!eeXJu"B@jvBƺLhJY}(HPϘh-~p̈́bHM`>h"> ڋd@B:t=D]־h"%&8wf %! s5UsZ=wƦDqYP]=MTP,__[*Qwb% VHSWB.D4_vs 9ekuv.<=6wTKI. >uЗ+8bSݯa%rT;hP&3גrXS{NJt-N BjEO}+ E֤"80gLɣ$I`(f'e:{bqKArK})R$i"o H=j|`bTZs`vؗ1 -:M?a8/hWv&$Rb]桘$1Ҫ[U,|NPΞʩVR St X7B6z7Yn#ӏ"p=T78+3Qx]5)9 O,:-Xj3H,M.$UrR.AB :I M3o n|Ż랬\,螚L ѓ6'W -Qwz1%/Ttbfz; AuUσf}d!:IN%w5 W3M".O YaLxCIG@-* 6"7=2,pu{+۟)PG>//u/O{L~Nܒu`vpE *&b~0!s+]fhkJ"k)oT*.QBFP ܸ/U G>2iX1NJSh }!]n։u]k9?pG4`$Ms$w<9%*^ [>*:lV{t~WVU `(xN&06\ }'w>?G@忀W(ejzj=e As}qh:U 'UP_ﮚ>욆3U ך4wX %H})w%$~阮6Όkl|*s ]:zCpN1_r=/=}V%gN$O\cҩ{G2Yt;+1DmB[ 䤌U2q!r`/a8JHA'%T,V/FUH溍뵥emgjKKQC,T3ukY`Ur:qd0x `HF _xR6sOXz~-< 6tYͯzq}ay+^u32VLZGU]lc-23ۦMƈ8?_7H.`|{rpHt uR[vd)=g(LP@DJ&Ќ $HnqYCk0֘!gq#po̅V._n]>tb?-2[%vVI.;¹M &]qtbvZJ@8'4ӯ"SۛJ? s\R^2z)*iH˧wc#Y\9A0~qo]fo}+Ko^qHL5Ϻ3ծ:NNL}dܾLdDÖU5X@9ds&[;ǬNz X*y?+Zp?OY#y"FO $XSb폄({VCx={?s%/Rsc̓ +ЂwXZ$vN̟#bnf\F PZAFu} u{ɗc7bVb>)s)*9[Ef&iInvS]!W?Phdo7D>U{ [IivPSEa rURN ?j?p\V 6UA:Tp/CIaXOfBlKEpR=OsVm#m(${dIFDx0YMJ~l/ wGQhq[ggYZ 5 1E) lHOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/latex7zXZִF! Z$.]N}T':=Q߲mZwb3KzdP?aEu7}P4n:L2! 0,wF"EMG9 DUdZtЃyףsE3&!v 6ݫ~Ƶ"`iS&VT u"krQ;$)gMi C׈0!!PGq}Yg?1\( awd8Ѧe$hyÄb7ECqla;M?b."yZ*7n2Y֨y , iKpp@##.`B٭[5|֏uZ4vÀk\Nq9tNd 1Ϣ1CXxNz.uƙS #!,$>"Sxhp,Y!5,lĬEAz>W=].ɀso|cq @K@47}>A $>ݽpk=W nL`l9TI |@ .w[)|Sy+{&ãonu2d?K5ܝVЕ)JhSuTP!-?J&xi4HG ; )+CllBWb/lJpYBq-؜mb?Lx<'vQiO6Y&|( %XZw{uxhS7;*`:$nhWL%I$qRddYO#|._D*H$Lfe"a=ڴ=D :O Gef>K)P~9jd1"ƞsݿr͖yՏ UҏS/\kQ>|"4RXQ}<'w 1E) $HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/latex7zXZִF! _8]N}T':=Q߲mZwb3KzdP?aEu7}P4n:J`L%IQHШ`)fT̙.W:1qzT@dUf 캰TBs<{B`/E{|ZRگĈm|?eEك@IE/J^2jН79;PG迚PsnG>@Ng^2]bajahЪvڑ,7G1^NS<7S=lHLtқ{5)ɵYʾ|BW͙& ۮGgg j8aܷ$&ڽQ̑Zf1_k-@[A܍VŃXAoh8̓HbBd~n#"'g'Usᰖy 6-E5db;?L]Bj+#H:d=xviurC>%.lBLxT $d33BXOE``Μ!o#7s _q}5oͳX zc}(*4yiǏ&I > oqzex?f(|-ƊU8,~ue(I@>uAz-0ShT(u#uFzUbjӮBT^cwx3ȩFʹjU(v@[E%h_Kgk#^,}f֖lyZʜ9" } 5 r0^Z,Ȳw|vBES n\7J7KS r5ͮ䝪*#vRN1[wr-z=h͵FTFX&sQ~6(2"l$y,P Cm `@\St1Os+nd1EvWQXGѮ;z&(buB3hh턙IڌL5I/Wmnq>,dE~)A1}br,̞0E^p޷ Oݱ#i"e>c $T ){Dfhd }[s,F΅$⤺k1/44l!FK뉍%0fYLhGaL`A ?!Co닧|- X* R>Flgf{J͵} sBB΀jKvV)|a-t﷝zWGTzxM0c!{gCM<칻6xv wՀ&d6g:7g-)VD*pV?.xHG\0*͎yvƛʻ'T.|۲6bxU'PzA3%Z+'t#=?|ƣ~u$x3hWH?ۛh )LV^jGSKj,B G AK[)|W>H(KFZY N}Ӥs{{g;6I.d=[D.a&cZ2'9Hx gobG;FT;0z׉jNk]>]IiE aODQ2t|ݬ  (ɼ ߉ ee5\1>c #^"f\JaR 6k ,m716]o0Qtưnčc{EROrǥX 0! -GnF_u0Cu t$*] 8TqlĞ}]=5^ܢhVL_v3 i I&~rn;N IӘsz4X%tu;Uًol[V!Qhu{M%܌Ve_mS!'RJJ֜<(mȡj AbXde^ٳW$Oݢٖ9J]\Cp|1:6nC0O;w-o0+jVO}iF 낸d"A( Quݠbk}CȤ9B&}p@$,{)_{É)ѱqiz^Ǧ&7ΏVR. 2P̀Rxؕͮ؄(SK'9do{b~ WZ+m)'!3iBy_qM"5u%O(Pj*2ZNle$M(m(G $nA)T@ -Jm|V9@6-K8$@ϳĥ2R;;ϭTwYoe`&8፡`TEmKHȭ.)z +E}Byo;{ {D1r%t|2SD-ő܍anFܷFI#8V!X|[pjB HDU?@*d )AR*Q6^0ݑ2g)LU,㞍籏83P!yM33(.WC>㪮~}_j^y>rѿ:XIx4mi+X^{֮y{Г/r=׶~ 'ZZU-՟TM el1ㄺ8C5Ӑh!Vaˉ/z=dcrL&f-g/C?3_FcM n>{AĆ>ˬQa;'a52ЫI+]Flm4ƛ^S1)sꗨ8j^K1zpXWr @|x]IjWAOl9\R3BkМl~Giͫi'K+}/f3A;g@,pT:t7x,.6@_Ɏch8L7UU䷄r@.+J*1b㛚 CqՇjz}{ka wjzAW̿Qտ-fsk`22f|crqS_uZ ɝ.(p2>B+P]eSǗ 7fĔݤUnyf!i6~45έ#ɔ`>ЊŚw.9do.:σĬb'ߕD̿zA ~ nUyYa='=%B'jR$WaX,Ajdp\RNVɉÆYL,.4VBZX_KR_zGǭZ;"Ӊ ‹s7>cCLVly#.}&~hq+$vt{̆1,rB%zHBr-^\a;{M_sU [EΤ^WDHU:Th RG}6 87b( sy,_8u T2v!dΖ?EG~;) w!˼2J ;х{C'~+ +citH 7sj)Bo.MZ/d'Ypq&`*m  Nn&g^k]Қͻs)jF_ DyN12͔+Ws"4aaD-i=Q6.\g9,؍P)C0.7P,C |pׅh)0 >"}N1L,hFYFS$n7OD*5kʮw9#sy\2>8tn6ay浼_Ԗ`oIG P#Kyj[WÑ"!4-s CV}'x-bB)uW~Q.vF6RUMʟ"긣*2!\+<V'2vi-`frUd_SQA}U |v4SVþć NaCYL1I qZA:m)V8j"f6R$& KZ|봤E2Mݻ+֫,b:˳@]bQBw&{gԴmH=F.﫜Ws[ a_?S\}(a邃lhl+dWAYY9Xж7C] NwMl=w,N9n@2!j#'p'˷4+ *HI?ty_4] θ?l.i GQ g5&Vn O]=mb G͙쇊c*qڝϜˎw(Ǧ't.F MZOeͥ,|i6_d7zfGU)VEʮg7`kFM0(=>}vc s}:4 cHc Z&yk 줘I yŇVbpͣB;}>{'0M͎jɘ.4*6XM3kV~"jtV[Y*BD j!GґHAyJNYMX{N8$Z= z9c9N hFq/a^kbR)3k,ex&ޱ#\ D" s!fc`IyKu`^dY§2E@V8oaܐ B6jxw\pZAA,vnczeU?ĜٳANnո=5P$7`Iu5ι@kbT8mD%z\Q'^h3IAѭEcIh;lj3Zmc=JD9!;y,9] 4&ݮj[t(4^Iw?suY'޺jgɀSgzY ` !7^wv:F_֯5oWЕ(جF$YwgVW߻ڮ&q]DRt Zh0}L7`ډL.rxy'SY;%o3 h!(Kv|58Qf: i#͖ak˾x}H_w=SN )&K*ꨖJI9K|A*a4AR]V=3>|Wø_3CۄY}XHNDݻBMk’Wg+Ę9t&b uaMq/%vYCxC Bp$1t3f{Wvx-9i1ТQ7ǭBgc_i^v?d]aJynt`@6#~)?o}ӭؼl|{_qqY>:p 'TPĞ_|u\& u/ZH7u VX[OkYoiz>J(e1F`)w@n;DkyVv}zH_1S$ۨBhGn/Y)%*:Nٵ&<Ü!¤e1eQ 0&QVxK,^Wg&DwĘKWy/GpAljLԄgco Ԥu׆blOHըǏ!6+Ύ-F?7haԲ:\_p*_OX\@쎖 Ule )|r I='Ǎ,FMvOX>x4בGEB oYqN|OVrfF=텟Ց}h\q Iݱ]ؼ*2TtxG@קsrnWCHATOJ>QqSM8,d0F(m65~ёgh{VjY)v]|imEYR{q 26_*zwF+뎙D.4'Az6&\FdZwá30V+,zy75U29+[yŬ](>ҔڦPq܋G|+x?\霽WR'mW/ TP0"oL]U-|WN u/$agK1f<wU<*H y+Z4Àі7/pRk[#֡)FAуǗ0秐쐽P *WM8T<-'eG0g ߴo+Ջ|>f>&ݺb<\!?lbM3'ߢA%9&p)uFmd l#N=OTxעrJ|UfлSS8CgىbKfZP;4GJx~JEE`! 30YkS}T=XH𢛕2  ņދPg]eܞ #D?ԷH.`8"MuU(knqJݮV*RάA.<G̶]V,F Ng.[fD Y bkyrjz0Y~.Xy9F..~μ%F`O,U–n!/FG Ȟ?kHaصE +=e?dDH& EPwg`vSq j藭fo[TEd(.DC|Vx&:Jqr7t}jvq^E8p:IFk0*t;ut9~sI ͪ7ctc̎nڃ0ݖglM3Rd1rGSft =X%F&`> Rukqp!| 1>Κ6%Vc9+'7Y*c= o7z^5]x"m|X+6 c.y2)!< ݘЉ.#S#IԛQZp\ J=GzL[xY5n݅L9k^=vu]C@J㶬?Ң@J!}3C;M13|jP4ts oEtwPfq*PJH>^p0 ^ d샪F n]$V]Aⷧ랞Q&'B;ݽP3g$ouFR# Z3#x ׆r*4_m",@.~OH4EhwhR=L]*S W~,6 kR4qvDnB kgyq|4M}mh]aK8nl_2%P DBdb2A`ѫ 異8Q^xM>`d*%,9 r'}D+!ґ(\_UQ4ز}wܡLN8!m%, rV=UЅ5k0= HYK"紲6~BUM+yZ=.>.MR~ D#@h)`n񱋐|GM4{ug[[C{ `;Q}<̳i&zTfr`oh1ɜ9[l̇%ǵ 9GFp }C /&`VTzy5QBeWn_pt-U$)-N9."CH3Kujrp ll/Y4O첶fqv[]c, xK;d}хB.~2)V8f/[&ujkǮQbQzcb6?f0"eDЦCd#PL%8]:ՒG#!^L ZU4ֿQq.v㦞Xz#xt T$^!-Ax{{IDHhѧ7:ɮKPPd\tDGI}5'\ɝ+u-%}ڒo>I̴+RnYGQ4. OOVoN(-JW"?g7=Je`Ifק<%`ɏlɄ xAIq+;Uѕ5raBaZh7.æ7NG]%HSa|lWNU,u)4W ÃPqOflWPqb N})ɝY@-nEzV$H0G'/dLDA^ ՘0E30`13kTo/Gڹ53=o]ͪ敎r67T-g GҗW>b  f#g5n^Zi2nX9jzQ©8UjGs OQ"i {eh^& ژg8]T ^/QPsvYZЅٍ^~.4VGJySRT 0m}K'#zqgj1u6j! } "Kdݣ6nVDb4(V 0Ta-U9Ө*>-VHn(nGf+O#zH;Svʹ襸,.peo=NJw,!ĞSzGM [)=ҡ۴IX?iPkcv81eHS=wdBgޕDͷvόAZ>y~t37}bt-tE >jp9`i0mjʭWIW4 F 5һ^sӈ(Č%/2 ׿``r: u|"&L-]9SOg兙ԏb0f}[2Ga̰> T< ske BxMK&Jdk)xw_mϼY[ F7ՙ/ƻC%WG+HPkQf Gg-=JTQ1ſ!22Dzۘ_%-QH?6?_ 1Ҝ57iK8 f,G6hs.R3@)ȧ[Uy-{Υd'9y t5@W01WeJ}_>~51pהL#B}6zH||4,q\[ڔ4Sǒ؉a&ZJoV|!t.m^ 01gźc9+r=; ک1*"6qv=YӘ-@@k21]C I3ΠikH!{~}WH4"_*Qe״bn3 ˼;Sg$j~ͦ=W#ʬܺi#NOe5W $'+2Jv >vJp;"rlOKd7o4:+@BC "=,Tīfu?_]dSu`mwjqpJO *ٌRy.[IkXQ!9sTr p"cc~E`ӜAZ(.Lǥӑ|K\%Vhe U#޾ c@2 ~7TMmy_`+gilE(I޿mcJx@ :)hAQ广l z ZAhH{iPf}BPF}{ab) \1bz6RĬccH&_r;y[$u&țIݱj0VG0HM ˈH"ur S_a!ꅖ3VڮwS/1_"W$31I6ƧN㲠B䀹pbӃhmd@1>0Lig|+MQ'- LL$;-YS4H0Fbiy-Av pm4S,F;Nyjh{ O z]h vvvKz2_#? BwKtQ PX?D\w }DlI؊T^+6~[vL"QB=T@%="c0\7Zڟ<8 :6dd4XZ Bw[B9/xgTx+rtt}.@"RS\n*UəwIӷV -t-i|࡜/@-bM"P[ȻWx+J}|i::|ʍ+\>fđwm3(U$1_NǙڇZ̞2(y#}R]}m͋nj}USG˅(A?ݭ) `kبEMx5P%B-"\N_LI["nA$eؐ&ѹ-d yF琺J?5;hrz6,k.&7R :c^=2r?0`1ǘ>5B:(/21RPI :4 ?"9y~ƖP>"AlC楬LH =CHE`VLlE}"XR;REHv[dyю[gT#6=h[K4xR tzOWyu{e"Y[5b?(ͫDӇJ~y* |?& @ΪE e yqn#z#1+|ZtEri+v`.*Tiv6 Z;4HDπ Rqqs#̅:p2q/[~! A .KE~S5l0Nefv_E l8'm~$*M}?9hpOR/}“fl8c_`uO o43 Wf#M"6 Yz cU*JC`|S)Ҽ惭c7XE deD'HGwv xh-VY[S eFJ8c#87_@ƻe3ϡ$ @JF(L3sMO6!1#r g,UNrA^s8bFzLU|JԸ#d*ih>_SwHdΥiNfn(rh ȊÆZB&8Lwj-U#BٮbS3/KH=W 3bk٢k l˥(V[^2XL`.zr0{p]uG>p)afAxdΜ gO.*XZvW2B"y"UlUѽS!/]JXݠO/<ƠE?30!u,)u IzYXp{\ b@.C@w:Q[5BDiq7Wށ &OHx)tPq'$^j{//Nv \~_:$ R7jred1ӡ51&g\'Ol%>>mr$fњK8iG>Jwe_2h̓~|O|.kn66=%J0 ;ihMR":hu|6N^Dy=0ĻBO)nŀa}AX?bYQHD]:MTi6& #HƱ]5b]U{.I?d"G*eE~~Мwauz5]颗J^,:;MfEcM;wŖCJ,1_°?kQ7dgf8l뾹jk\u_be]Ȇ3wM*=5K]yҘWݰݛ:alUU==D5c,}/ϖ6gYZ  h  hb1A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/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ďKdOhF{MaT G=#/lܤm?k׶5;RKKW]_w0jFTA.{l9>pкd!B-˪ʹG{H30EO \, vWQO^h;8p~v3;f ,,ͫGҩLؠD];iDT'wsV8 :A*vvV8"Bq#w]5y%2-k`!/>w 那kFi&2f8B0aHr7m0-3[ػ"dsފ1Z^/QgG{ŷd|dXc0Gm8mA&䓏&xybsWwe8fa\0o= (^؈B=[N Lj{[WqWE܃X%z@vX 6]RZ|YS@ }[ `)#0' 3sgk4E|N);`ٜ"hSBm<E3cˈL0lTIUZ*g9)LEWs|Wi'o4-@R|KBU#̑K|j%[ǻ~ 1 $&u{:m\6}Gg b>uCBL.dA%r:C2]:a`@ļὶ] D^,. DѸ"Mį٫3dylY!ȡJ|m'aۉҊmoƛTIt(#F-#{ȝD I1Īڛs̭\6r= 9yyVU4 SK,pcꉟ騏YʡelPz9JIp1~Zk&e /`#.$x0Uu3h@{M6a _Fre!NS^Yl%KqO*itٖ^&#,\Ƣ:odRBWIBVKBRd5ASi{"m dHpK0O3ZQ<>O9ҹ~NWѤ [AăAA nhEJ&jϛ%[V}١- 3W]W9vD#q)-Ge%w< oJɿ>o0_vIcs# *d]veM32ɟg#@eC;y-I>ErcCA=0tH&IO\ݙ[5jeVH]#:F&IƆ!h hwHav=\t!ui[JGsL_ C@UpjCeSycT]l"غu=n%3 T )03tbɚmDHZ 񗂴*]\Tl(ydRvF fk *N.K&쉆u!hoJ v DNtht8~ '%iv<=UU[GكʊϦL0mQ ;9,ٞt52WE ;+r/kl K~#ՕHur")30-IĂྪ7f}O66˜u چ/"*1習S \IC8ֲ?P^.Txjz%wO*;:_pސR0,BwH^A'T]F|_2׌߭CگRk 8SL?3 jL$ Yo?v`)*1%!`ͶCq>\],NC|~|C'py$; !o3-v}@ʱ@\*.x(--)3ϑ7 8؅lW|g:d"KZnpsMbp&n6lRQёTVFKD*PYA(lCߐUܥG1SDK쒙8/ضk~dvwj#xJBa]ukC;J8rw-m2X\icb 9AZ}8q!Q]q桔'q6>]=rQWH% sqlx67h(WI7E1KP,ğ^[a[u@zh: HO["1eq'qoc7Wdݏb`O>BmGl[YV~W+ fZ₱1&2'JkV%hnMwjqlBfy&SX Ou`h $x=e_q 4`#_fٵ IAaѧ-7r߫$Kٿb$W@s ˩91o`DhQ^]Z]ƨeĜR5_yxttZa^3cofCx42is!ËD9$s=QӉ*3a'iwzMn.e8]=C Yz2T㌾:+! Fa Zj@iz1l=p\g5 h~=O>><d'Qy ?")4MXO ^o/jÆpM‘ Ia읁fu0%xx[|G9!jolKҬ1'Lx5έeHEyFUAV>aī!wa}ͭSg #4CAat^RT (OR֬e/TRY9 YO.-o {;7Y qi5[eTcc9(GLgN+9]52fC-3:z6Y3Z#-g#i?yҥe0ױ+Dq,&NԐsЙwހ_B~2yX++0$Av d*W:JbڛvNJh=N Sc m.yJCMRt/Z6$cnP*[9Fuye qD ;s ^CKip޴hc{;>'KwF p.ԷӼ} h94A7y<)yb>퀘` Dv}{ m_4Z=C/LQy5w BLOx,HR>nC54 fIrpӤ$sH`Dx~v؜w!Xp6ZPNj\\ϸ2GBoo^~ug?FBԫk&:h8Ql9\҉Ggk6`tZ#p*C =נm b);oj|{H5dН#X{W +sVo5gUK9qS?SRqQ MȃU>e.-0 qDxOQ&V˻; K$j>:7eg繜hՉc;f3Ld,l Ohؚ?{LwK=Tcw#D=>71A# |HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&8]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o T\q&}s]쒗l(|}8N%Z6FU0^T(HT1MAd+_)N r]8؞sgɍޞUUǖ?q|sfdtYwLb!,q6aOD@p`,, g y QGZ,r1Py#[曢$raAuʀ'] J(<"wJm&#ڈnSpm1]+ɍ:ܦbcնne[ՒMYhվW:ej>$4>*c|҅Ge^Xe`BI9eB6RB6Zah'{T m3AC!ߛe &F\zIo<=˦?"$oee R̖cvQlT-=|bV~tZ573f5^3I?f"H IJ9%$CQ`jzB)?C) q۽VCylk tY^HoG}z0My0\)#P*alRݭĀ 'lʰ,q5iO쭳X:X}H $}IqAk Ǽ2NKjb&SuߢR1- ='U|YlJ _ oZB s讐 t"iRB/̬cjғvO"r*&G+5SNa.U F&t,'n12K}|W=qx!|DZj/kO94}/+"%iԚ R3*s;\!g"ZsdYRl0wk5K۳RCٓ/91#l "NUb|*utuտV-d;g4q'&F0Rh@Zp)~5 cw66UͿ8(HvUC__ŁK,))9Nd û>q"G}t. F i}J_$XDU,lKU4g9X{aao@pĀ5mQt66wIRvL=Do^c EdLS!cvXD)͞Ir*Dz{yWimM6!u4cSc:%\=@Dd)7ʉE5I UF.c/*`/b{ɢxh'Z(bzh$?$_ pl)pې(-҉lgvwz]ȷF8&خ0M;h?U3 T3I.6 ĶLOu9v^0i(%ϑq %e[\>헢#ɂ+k%,F eZ`;,ЎEJ_˽]g~eH\1hHY|iij8ƺRB0c!K_i<'MPYq  d1Umo  k0=m6Dx+sM\9ÚCk$Y38r{lxv70ZtɓT_#RЭzF<ީ7ho)~'YdI.~hղ(ArO)d]'a=Ͳyf0t[~{{C*0wh=/i7C|/h\{)x AXJ{wVK6+pk>WaOa7'7\@ܻRׂwOx).U JRHe qP2&ûXEML^)4ƞV[c#`'a6, HxS`#M)Qa} mT̺qxsZ+K~cJP=PjU:R #lI5-mVh4@C68Zp َ"bO서dlcѥM%<"b8}jOx2Ze1U!-H$OA7.Z F d!鐭#  6 v1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id542c1A# THOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! C]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-byCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv aKO3vwmφ2ԆλcﺆԫfAF`#\Xv$2E=F*/A{sJ}}_R_~1 ϑ[%14P5U̩t|Ip9 &L blHDmVU |13qmQu(>$AmؗqAS'l 5VE}XnEq~ũd.P*P$U4GT9hpK82Rؿ?Ja4#x" ξ. HCV_gDС`w5l q m!)RCq}\ Fvje%ۘW#$t2OSQ_+Xq[pThyrG:(䎂zN+6y2LO^^!+Sz`BO䣎豮S~u~2;QhoeQWU9("xp _C}UDd !*,ha^'6&g .e{tj鳇ٝDǨ^͑vQ{4Iՠʗ jѓ+NM%tOH㢾 9wgYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5381A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\8$ݎFxn<6[PupV @dѺ ӫfg |e4ڙZʩՆuT=0m)'՝Mq.ް(ai8:MDD߀mP]g?ԧE1Չ޾ :=#HPDj́ cy!ſ CZL61IY A94ɲ+NvbШ _3wJhc|zNYhY#{_<t ]_NG@7A&Yԝz6&C`++MUN $ۇk3xHWg"k9C9N T+rK`d>G9{7&RgpqQW=ڟ"H3MdّkxAGкpc~")4LpZY4g*Z5L*RQ똢<7"W:B_E坌p$)Y?/Zf^x-Բ^n$\!pRu&#x~p 0?6|]ږVGԉ l護J`/{'.sYY{dwUQŦ BgYZ z1O# tHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! s]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTB^?f[+FSouv@ &M+79*}#/L:`@st #1]kNr\G݌ܶj9H";vFOzȼ}@" BC21'a-ݬ;C]K&-NJѨY!keԯxZczʺ3Zmw{Yt)!)#d*F$z 0AE)G"d]83q RV۾uyTߺޫC.BH"(1s19 +\?MC$-c pnf3U=BX4 /#."ê&=mI܎?t ܤMhµZ쓿ؽ<'_dH?CG;5`x_)m`};K&[9@ޥQ ;7ت ?'3(cW|u%Xnv 10&BG Kз2g6ڏ^~tbzj+>jR`u( u7x'נ? Z!T*]|&7,moJה` VA: lǝwႯhO ti-4.P a5YOPˆ\x1t@_j-rQO: &xbZa=JDP2uqf̌QYrB2JVr<۱"-wV ׏Цja`|Yj:bxȎ$7 @/Oz8~;LGj +S]Zk'MpaIopf^H5k=P&wU p2,AiM _][d_+2=EBB8R Z6Xo=k;07jni2gE<6$(fՖ=bW]¾;hءhIbRi} u%XA?> W떇OqTHyQ~s,2-KHUd:q @ UEmNhg'|S\ʒ^J2!rNKbf9b]"ʜ0C)gjf9RbrG&ktU1-4HeC$ZS8Snh46,&pœFYV=.w蟾'DSz ka]u>/ dԣG5C| 3r9W˶%hRnԹYո-+JFZGV{>F, o jnZ4jqX,YTQ}G}9Mib<_7)tIEEWKcwy$}\(W8!,IlMQ^0+gl.(H-c Kt'g"$E!Gzpyd#k5-Fo^<YC"^e$Q |gy5T}/3[eK @ݩA%yQZ+FMٍeOϔwil[7D̨4gPyZUl߸&7(Ϣ4~ڃst.U>hf|T(;K &,'UWV-?4Y@MIe+Kޭ]]_Ha=&XCb6 |6S>sGnhg c_gK^q~ZP)Cr[:撦콇H=ـB/Ko g!Мw<-Kփ G?R$UZu_{x1ƆmjN 3HYo*ȪijT] U9\];yϽ8o[y^j? j%y m?eKeE';;}h꿡k_/-*7mcI-6z-mD?e;W,)}] R>%9_޹lktjHj({6O0r3-1S2ϴngYZ   t1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id522 1O' ] ) kRFezRgQЬ,14se`<7o@(?YRȱgYZ5-[ aFx^"%ִIUj^>2k؅ogmmZYsDkְՒr?¼"Jz 3RR8qT l͌q!Tn5T]Жq} IfɭťG\EolK"]I3"`{u#?-`9/pn $ՕTs$wj8Dҷ *anc%IQ0Hrccӷ~Ǖb_m;+_8|1A nTz 0S)Fp홓 SF}@W RrT>`ʦ3]n\pL_8ޥP1/ ֡.PxLQ6*ODo{ < ݰ;ɨ7Jze[u#*rRA8lYpb]tBhntgP~O,=VZmS{1Q1 j5,N %L1f?xy9AVIFp* ֈG~W<P (*zԹ{ð@~G8SR6-f09Y \$fI/aMV>&W*wQj4Gq5Ⴖ] Ud ˠZ ]4܈-1%BM~h^s|W}hY0x# Â<]wu韆Nd2NMe?!?LC`|O: o(u!0,&els3F*K/d< NOA^v?c"Q0hl;YhOes}Wkwqo%W{Nlfas?SKVݛ0nh+>E'RB%$< sH"*Nf]aXWeqGHmw"n?_s>6/c^ϩ  [{*!w{1)n؁No M]?4kbjkɢ 8Oap?(r=y00 ܙݴ-]{ca,%YƲq~>vȁ1^h} 7IL%Ec0,FIx/c36uw`5d!&iA6;"\W`5O ^L8C a0ŵq;#Çz&ajЗżg T 2z; UoI,+O.bhe~Ckm s;YS@wf+K?3"W0g_}bKQ_Pcić.`YWyb`@U ,*&uᯢ( aT{x|䋦ȥVk'A; `\cM4*iv5&Fm Bdw'$XAբǧI{ͣ(4%}CU:WnyJ6/M-YO"A/b 54}聦+z[<)؀;ȹ\fF cwR7wB,sq$Kƛ%dlhO Z?h3PGdtu?>]kЂr йЏ* !Iß,Ԑ 49HQ* o?֜I7ΤC?&1l^RIV1МVLp:xm}hn 9?H X ZI6'1Jˡphp%( ų@z>k HA|;qW?XIFc+#*pZZBY 4W dzD]Bg#TaoKfzka*S"5_wO1fQ`8snIdoP#2-'Q8BҰ,LP0l/e@TgRtA1l 5BVɋ߀ԈО|ɝw8G!d#w9T17 =QP@^MLÐ-4[Bس,|^baoQepG*IJw֠2;D-w7$r3H_+JtA1ti'(?z0_ZT~gnCzJ߷u1DVoP0#:(nfSL3WjIkG'T8})cKJLNK/rtTC"к'l*˨8 )*@""=b_C$>vdKzU 3 &#MD\Lw}:%Q/Xϸu fS`Np012v7ڈbĈ|r٦ ";=F6%/L= 14FN }c@*Էhi}~ .]!X+ X% `^k$R938d\Mt094Ak^U@u(]|i/nyAjVD+X{w7-^!-˭|i& o%٦DϏ1ڎ%ۤF1-a8AmIH92h;G"tm"fVbASs I:G;!_9iq<~9_:W@{f&]$D kL<{FDG{ZYv5*B|-eVst̿X$wf]6rnۆ#qex̺)Y}#nSPD<ѿ]F.4,H:7^gYZ %%P1S# HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! FH]ˠ)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ܞ-':%w oNVYҡmRSMLfQ G6 ~k}Jb$Ca0;@d7"ȄYP\vJ\!jtL:Z&N+K! y~-"~?q@\گ- q&Z x}.f=)=c,[ 2oEoPK0;߮\o!7S32yC&ƕʕ|=fs=me}у ¬?{(,=Q`JslkT"D[Yϻ@9MM 9$穳AE1lO#eI&9f`#PG\L @q)kDE HvxN1џkG '* 9O`A#Bo^_+~Ix_{vlv&Z߿!7|o!B 3VRl++47I^hУ氷OHtcZ\kiP̊.\>'|myلzH&N~R ,C? q} DD}kVNr+ ?I2ϬkXI9walrbUo8,b?J =uU y#1n! !>g|; TfZ4&A[[q|fBZ/”D G3!eŀql 4q@l'I)M@FB\AgioTuiqg>mWhΙ ĦL#.wnLJZUSy2j@侁Q%Sk. & qr KԹf@YBS7O@k̲m1d'⬉qdߖʸ lvP'|KJODJ>u;k$UUb)qRĹDr~]QbIe4uOGCr\Պ*o 'Ze#*p:L]fodx r+:)}?xԐIv>}TDh֘ d!hLן͉=)SolzS~ܶOH;\`A lC-Z/@c=KӔdtJqxQ 1vA.})uMʼn^9Cߩâl<3AנI0Ct@ܒ6C'IN2M D-Bq4-/D8ވdb ]t [sHPu/SMC*Duse!6Ķ#_ fNʨ\Ҥ?y^ J=67 w&XP9C}E#Ix vQ0x)d٦!lmROfdKkUVị̌J;b >zAx5Q3m;nq!m>7+3}xNSQ$ޅ"  {A?e^'%݉LayQB)f~7̲0 bkzV (08q4p=Pi1s}O\~4׍qa᰿n 5!;Yz]-IaoXp_k2pƢ@ñ+mWHs ѮsԴ:6yU%|8p93;qN^ O/d|flLdSK2q= 轘ȍ Lt6<;NՋ&x=}a95!5޽ g ?tYRk 3F'@1c2O' yBK(7 !gĎhq:ov [3rOepf˒уsU$ ~D2 xdMbo`XZм)O 7l5!>V$3mL9Y+Ss~24 (>/$0k4k:y-֎ӝgXV RNa⨡#)YM@N0L*9I ArxF8KJ~'0/pCvPFW#ꢑpf zoP#  C |;n%1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyI$1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id5306#1O# lHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! $]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-BEfnaZLLrK$[|jh7#眃tJaʦhvi1~#A> ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv{'~B3iQZê>=mCe0zrº.n:K ׾!-Pd%Կ)m+ul bϐ;$(4SnCiލ c5b:pcClǽIK)qW,}/[HXˈZI]U$aD[J=+AH-7B8z͙pMNGoܥFA Kj \o3hFyq[C\XWk&VM?H-2VwKQwsppK@mQs#+vJܶŠ5jS"*dr^W *}0ٛӉ}!=-+S>9` ԣ:YloJ18}Q5[%LO :/Y9poWEO[ᘮhQCQkX P֢PbPګBIHԐ[L BW\t|ECu,%mtA&ĿetƪTk+14O/aİ4va(&gפG7w\&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_id526: 1S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! .]D?7 {?:fH\8C}gӡxxzά6UcqVw .%uOpy[%юE #Mh@>nG9 Ԋb $<qY$`;%"/buJ4ԎjF :c:MXSX["H[˪_❍ʼ.;CR'&ҵO3Mrœ n7M -xj tʝo,q{ )h%tގu[[@:g5ZqOm [q?z,=/r~@sկvPQDŝTMuIo7t#I%K "YKܫܠ>mPN !՗.xb:8u8g{82՚EFfiqW[/QݤyDry/ڞ%Q޼mS&{SPfzY ߊv Rct1j lBoi~_6B}环C9mSl)3F^Ff\2*RH`ou!1sPQLJ ԔV׹Dߺ2Ifm@3AZF:ӒA5;TM*D L՛< }V䠽=ueC=Ob%5KR{KZ§YRmN!1+2Z@:YU̇͒nwo#J=482O"Mg5Cdiz}J_Ï~C2 x[fXM{]dp=\{G\] u R|2ZQ7e8,}abIUK hz)&T?A,3b.'|&kk߀$s?._Tvj^m j533H|cD¾9Yajtr4ףU ,tVm=# F心L簴uECܲE6ݜIE3[3ɍWbmC(ei5̀GɔR&ī;EF<,L&ƴ8+YxCq_"/sNk(]N*ΰ9?f pv߀fnsFQxiűfO䏨 JUN,TMGq?x2ipE$4F`.أ;wzv/z j,n_%M eyjayo`)um$͋xUh4NMv$`Ĵ`ʜqlP8 B7H5$[w{oӸ?\>x2b,DY˱8:ᔼ9hݥyOtŘJ+).R$[te5C[g,dz-qˌsĆVk5.Nz:"1zBn)6%]vAճ~XU|T pgPvb@k*}VVX!vb~R 3' uF."az/>7'S9ZXG2`$B1ΔGԫGͧ]9 .F7^9?m,#R?'ꃯ/m  &K8bS-|9D,e ]D'DEF~r`C_La8G$D,6xP3]|k3{F0ۿL/!ьCMť]?%p` }ok~<{2ú}!vJ^ce(& $= =7|0vEa2 5JdBJ0ĒԜ-AER^-atȒ4Cڠk }۹+8BVjeBUsگfE욱4%Cr^t]@-%Rt'wʂf㳟J_zz4Īa^sm[}y JJNl켤έ48QhPX'$3"!K=M>V[:?j1YRU+ivp|_P[w?⠰aׄZԃ+tF:ϼsy'K ^VN m6t΍|rI uŃ mOxuir37+jх< I&5CEhy>&B4=]+fm_kz+_'(]|+s0{?ӭ5gpbдcSo-oD ¥*TUfONmQ !"ya35 SG."slYLh9=V;-zq5/w;~4 aR bۉUi5H#C~: wx؃\8LQ߲r@E.:; ΙNO>/z:њ ~vFIaכ<"}&ȩUmN_^kvܽ]@Vp܃Ŏq+TS<4ODߵ<"U3ngMeQ#{y| rpYuF| )igW='Ljݢ岆G!%jrs1;@'HeJsygA^1}+ J%8W}\+yyCNhO8TZŘ2\5sMGb)eU S`9w6ı?v@&[}99w4*E:hB6q53W_ ޫ`z)RC3GJ{4C$ ![6ZG_?/QҰӈN>&9#QQ%br-\. _[ui ](ʨR"uEQ{vo+v:4]% Bmʿܤ\7[\^) a%R' bzx" ?C pząV34 Ua=7cɖxj.eG7B Kbۗ$`囋.i.NWκU@n?1Ni6*210k9]gO# {e؊kfE,t6$=ҲXᶢ՘8^!ޘR^$‚s-VJtG߫ %mib@adHG" bR9+D>I)QœVn7[Edv`)t-k$kHb>mz::u?I`( 'NgYZ2N4tx6'OI6TG'&udn+KX V(p( sKWAз[nAML~=L=(ubғniJмfڬ&rK\IV@Pʧ[CRЫ`6P%cON뢸Z3G>Q$D? ,>k YGD59$}VH?T{6j#F+_S y tqKhFNR|a4\y'BȂ 2dlj</;$  `ژnWȜ< .08X0>]í+GxqSNG-[ο駃ZgRF g[fBz$:_?ŶK +"j҈>Tc aB#sZ+aڪhfj7+ą<$ߐ]Qk,bn+pIVu&Tu! Zc9 s wu8~]lQM١ъ4Fe1GΏ 7‘?7Xl30~˛.@<^:vOjB#0W$ج1d!Bܤ^ [էMLTfp/a@a;/g2>'4B ̦=kTbobI?&x?FT7|ٞC >RoE>o$kDŽQ׭P~Fq16+ؘ'<d3Sb(ÁWptFts_^N]U_hPfgQa|1+oqLe½ӊ ka,}npNʸF\h=uW|#Z^=MfbY[ҘrՍzҹblSH .򊳏^k"P#cN41n؜6>t җFh\n͈IU`%ǹR0sL. }۵ZR& LhM<-pW;`u?JJ dwWu*mه?$o17%+{ju~NN+zGWAY,~G$$7d(+dyJ6uPI RUl(権Bp xun)r([UeY  /V,<"%' !IK&jiYwӽvbSK_"YX!f/,)1n6zS.&e7QWAͣvS&}&T,]b[ʞ;H $/ؐ@) +5ŗ8lgk4eѱRw9 Xզ)]Z¨:JdczБf9z&u|sc]\P ^F#mI%1rgZq CxOgf'VqP& v)?x!6v֜)-v 2GF !>$_.%H6U@Z#PSBXc\B+T)+-e9\Iތh;;1$́4c ~ePzv)D{D v2,mwgTLaXړkĖ8vf @L !&Lߒ R+,i D71<ĪQe[X8 "s+qpD M{N|CRrV^_hCӜ17MtjQh$偎` kTmhяGslI1b{-sJuNͣW)YjD[FI$] "߅¡6 B؄~C'YO46r 9MCngtOdZ>r`_NҠ`W4-ɍ!wN]71k zAjJS-ʘMA}"9@vIC?0=lT>Q.wmЏx YQr~uU"21k׷ak6 چyCt _\+H+,dCp_[He)֟ $B"ɯLK)%^4f\2 ?ξh\6+F8lLmq>ڨ-ҁ.Cre}N$=WhUAGr\x=H7'QҡD?X}eXڜKy11z"Sw>i>±uO.qEWvIH3e* x)ZC ^ / 5"*#Lk"ƅR_7&6$׽g;72Y>8NIZf=<-C/wnq _#&GM?CYTډ38(yS<8O/ح GmF!Z, iGeoq5ӡ-r+Kp!!uMb~v=`BepbGBO"fo>*P5@#H[5 m{Ϧ֭0̠V -@~+(B!UX_-^/N" ˚rhowfk7=1N~Rk)\V˩l &Ybȉ^ 13Moj}i,w^~Z*$='*o( A5VMvsg[:z컰h72C8{ʑ>5s ښ3jv Ѐ.k}7/H|^2C.<]n0+|`%X #lSx*w "炙l^ޣxgMJF"!F-i0*/ x#AJUOP_G̳93?E@@7X5R5L|;&{n8'HI/Jaws4Kqq|F⌆$OP2n-I,R) lJ\'.z Yl}{N¾G F= yk 2iSw ?`A"6h:`gk{zEZRHv}?Vh41ú%GEw-awUHt Qg?cAG xy=6ET]??\ٚ(,JН(gn %Q,!Ѭ~nzlYkz}١oy<b91TMo9kaʒaQ`>)p%^J:,ʁ#|2vO򲕮Y|M?u̝4k^r6o}>zhۺn`E]W5`E"fL4, OF!41?%mRFzgq:lg_S,lm*!{XG1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9s6lHECpO7@NEҤp6<:zW,l?Uh^iY"Wefl>x0wC>dtԱh9U/o `/p3DbPI\ó&ҚJ˄"SͲojТ_dngI\ ?sOZ|A% o4m{V*F&T3ؼ3=Vc FW7c82^g7F,q@ A#dr"ta%Rvsmea ]lQtqVt'-L; `9W€*0 OAjG _9}V-UEQ&蒛 VTPxi]ۦ"G|ϾD.?֞|:uݧP7mQŀV)( h8 A{^ll3zeH"ZL`eAc3M8\'"L|6{7zmH\,$nMqR;c'{F(sG\1N沆,DXr^|ؖj|)}byK*~[8\tkYI `(6R8B:uw/[/2>_w!{(\dO19YJImwVm@QJ) ݤq (_& 9SJ醊'slgWiU<(s 8d  \>}D3/~a8' #^3D X3Vuc[ҲTbV$ ;!r?<-Ɓzء{I p\JI%/ٖT۞LGE@fi[:Qڪ3ks2Y׉o!\ 4`P !x`% `vh jfWL$dEY %Aj/@d:MJ1--: ؄ZpZ vۋqZ dƿywQo  UMaA2{ {cj>8 G.lA ˁNk֦!RPϻTo-uܲ{C{9N69L 8-w B4qi4e&I'#3T# !)̋ %# *]Yuـ=D8(Kߞ$)AҽYpmO2'ELB꘡Y'-s9A) @B^{ (8C,?נė& ZN-?BP2ۨ0e6H-wJ T9n=(»\PšPBʶb~c }^c9uv aKO3vwmφ2ԆλcﺆԫfAF`#\Xv$2E=F*/A{sJ}}_R_~1 ϑ[%14P5U̩t|Ip9 &L blHDmVU |13qmQu(>$A4-vyL  Iݶ4$ 1!ِx;ٶgFWCv0 ;H6 p`%[Q)n"\XL}}dA ;Ȉ+@v %Oj:g>ӹ;q׭eMmJ}ZY)?\h)L/qKg<=.T1{ڰٍs`l-bBtc9oJC*Q8X>Sc,E>G(G9u$z;`w8!īP<'oc0]4b#M/R0}9!kY@-rH;듵z*3t3 uko?#{@N>S)riXvܺ7LV|9D G6. *xZ9##um9D@SKgN|O^E]]Y+DRADVԮqE;3Frl&:R 1.Iqa㈑gq$~shp14)A57"f-Giuj$ŃMV <^S"گK~+1)|).9 T /vTi/嶀*WU5#}emuc>UV#4J dp[!(i_Rɋ@Ak j (uɱgYZG1i"/,(-Lܻ4(Hn/uvz2ۨ"IAJ+5JcXmQum8hc$[!h]jZb^`V i`Y\} (6Ueyc+4 ec;D#_TF?}}e}z<Om$X9ڠo2 01 vY>td?=D(})IĺlWхQo#uR/ȷ%LuX}Ďp6uv_ BN~,>j "U JFOoP Gп˯, D Ja+2$.n1SWRWP=KZ y$ įCnH ]Cw%hRP$E {WzjTϾ8U2H]O`w$Yz/wh7qHH7 X9N,gR]YMAVd~+N FG|.E?KLwJQE A/va~-t޽mS/9M#8+tic %Yd)H9SP7k>"=hM2X7bv=Y7DxS}|9nsRdm8=(bϬ,aFE68F)<1ho|F=`DF=pPn^ "O)MW^%fO%]*,})mfH 2#l"8uU̞t)+aX @`zEqP~`w1H;\˅Nu)X SFz5DS*]mm۽1S>,-m*1HDZ^/hQ:I iw)J"b4o*nu`ynF3DzO9N %U{!"8V'5`̵.߹ J">U]AeάKr^Y9(|(*4'=*}HDb˧/iHb2@ba'dp d ڂd]V)֜{8s'UzkjOwa1D,LHzum)0=΋ -̧RVț| x:.@](^ .<;6(=r) 鋯z"CƔSm' Sc>@O#I 89?c_ީ]}+=-HUz`;d;*wvrg߶<HKp퉟f8}#ܹ.EajF*Sa:ptmXC!?C0snXH%>QGS|F(Bxx=&ȳ2^ر[~VWJ~R>f~=ݢx *΀qYb<јOO^fdNmɹ2O:xPSkq$iD!&{. +s %}Ʉa tmR f0dI)U #}-w+zٜwBXA+-*\=XgC90t$lޕj!J7'`)<9JA^ $!3Qv)oj[t[Tn· ZS"%0l7| ) 7 i%mk*ƼOk1&"n^ U}[W;k8v V yX-2l$+1[E{ed@쥰b+ܘF$p=Ԧ^֖YKʎ(D3,bP}"Q@/Rd]d2ը+,TA>We$Y̞iBOhcv1%Wk}N y( \NK:VFj}ˉv6IPJ!AF:SDRY_ !(YT_͞ЪuA) 6b`fN@J6o[r=&$!M2+7ih=qPHJV?) 4Xp sa\fdy\c 3ө["Fe砏wNC3 hzᶵcwgV :z-\MJK벐Ap`gj ZRYR7-t)pAd 0aw,`~.x=U*fɦUŭ/!iwuB}?}kU=vM7"NwABh|d+X_2eLm=R @;y,_a4#Mw (нfҚ{&!z=D:Rks6x:Ϸ=ـyt6nIo׶qS&D~Rv#Ƅ# ւ"˕z_Z(=@P挆CV.z#*J/F

MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34uf>s%8 .&O@J !Șo8-/9FN>\6 NeM`&Atd` %vL7`R" S( 4g< Z !&MX8r5Bc$z +l!싂y:4N@_@(X'R(!gc?rȮ|n~uͲ8w>y "a< ϡ{j 7pOL%A{43[T&0c 0{Ԩ!bI$4[-_q$ӟAݽsu삆== ,}'?[|(Rx5<[fi:"GJ]. ^UfŠo܏fn".ˢ8R DžQpćJjf:cԨeuyT[UR5v*G /AsQ.5#4tfzb^< s*[~0,3gs*'b6h|8_v )'}閜&VkDV(baGێ}Džuu=6-^T`EIf9I})m}2/'}r:rt)3P+=[P>kf3!oc-+s,s.Ca>WOz38HЯاxw}_V+_y,OۍgQFSͰ1[2a7gE+5;xidB]ЦI&;#Ɠ6R΍X'7ĺ\[BmƻZzkF;}$sm?R'(tvp*czC(S;hK͍c!'xkV#mã?whuvt/_n~Ԉ/+C Nyqs?mIV5v0}N+5ޱ<3.d9}:N=D`;Yj͢ζfD)Vog uWcS-7NkC7f[|-$s͝AE8A;cܞ/4L{89!;:j53m}c36Lhps7L.5(0u4]!w$/Zq)j8ܽ_Sv`(/$ɣ1_cڵx]Wß x,Xє{>@5* MV@w̰e{.M@7 {j@dQgNF)L>@&%EA$*òY)=x/Nq4Aj% p'#M"1 *~%a Fp1[PJg>yoな\씉$~x1ExKGdZubSî\` VҨWx<6T{q`\1 M֦Hk(Un.#FV*Gwd&qb/`x*lʝ[W&DƐ{2lK76=[&"SٗY`Wi]@af5їb7j;0Hy cϡJ^\C<D& @:}~I:(K"O8\FVhVK9FfFxF$vmV竎X/{Y Z|z g#XB#V0JvoS\za)BȜc"Ϙ,ooͦaO45$!}\HUMzSUMs8J覍b@ _!fYvv jAx+n?ڻ -5;J/& QlC5T OsV{ؤEc?u0T0Tj}\OaCy<"l\nT~b^LPއuz`\, e|FSʫ!8tO,U[Bϣ8Ƃ` A$^2h2)qH4|?,<+\Q]U&S.7tX^Qle![&"A?plh+i18 fK#QQfZIru**!(f+T]a놌9̱enR̒U!ɽ1ɏ5<>e!pϕ?'h\èUo?0 ՠ2*F0){qV%\į1*/8ჽBEE3* ) q ) )11A# 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-xVƆ,0IbVO3=1 tj28A27JQFEa* |Drq6:=;;%m?f|8D jW~DXY$f8'$aӜI{r=,傯k}B25e3G>t x)Pg悀fXz͈^X:(N}H P DW XmOCTz9 dX45zb!wZ*-bYJAgm-EzDA@o80!k+72XU4cz (>sV:5 R,{/j_LP? H[ s{x _M~cĔt Ƥ7Uф,L3E sirB_+U.nSDDn' hMo!l ī0ýmbHn=j4y'A Ʌ৆mDGCe"x p&0rҔ9 /h ؓ3rF sY . v6-T[s}dsk} k%J zMHwy+MVZ5FTMtˋtb썼htw83jҶ~}c=XQje޵- k]J`0k!fZ]ń󀔝3n!sNxYnM-YuI" Y܂ۡ:յG38mm:'aAQO(8yX ?xDy#h%*gg[x@osZL6&NΪ)YUI5%Nj _{,#Gn/{.gӔ.,T9)EQVr,-S+yף{z>2[u|}ޝza}*`) cKXaugHn9\-.ni78CqzCfuOsMlI"7} $SÔaj%R\w7d +Z5[.-Z>=Q )e)#MYDWdGp1>dHȦ3jMrTa&6r'@Fcb,.vT6񰳾37 YI-/mz2dIF6uJr ͠=4 S'鉅u:-*_ԆT2#ls^ȐN7k~MneZ oa54{ @yr-w6 M.Ņ4$^4]2ĝ@/ HߪQ3x`J,5pw罠}ߚQċ`l߲%S"m"&_zpYbs{,7'Z/,q`VT21愠K-\^.T[AJB!i p$@ӀZ:2Sɦ]h0P#&#\r;i= .!$Tʙޞ6{.U6<rX E~Eh QK )WAq .1͸&TÂs>g3V vTZ,B6.MƲ^MurI`#(*V-sADW5* '~JX1p2nRc$1;k(ܖ֙&kEUe;@WzrïYhf T " Z_lqsgpB"k@+ ^f"qRtf|onp{)H'(EnFćY yu20TӾHsφY@ Ř?hS/SUҶ1i86HwS@@)㐻sϕ4bJNh\B -uWžj?c0,.b=x{3ijՅ`wqaig?'j`t;ԭ`@Ȃi[JygbS6 +AqՊY㖈3T|xS ywl3CJQˣsT [tx aIx^ 0"%̌DYш6U{gRP h/ 5ǒzF6ֿ4LX5idwToqh @?Hu pt>@Ő5%X#\i)t1]@-\UduO7mb-XwΑR4/)ǹnObTS *ݱEl9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtom;)eGQrXNOG &L`NB0,N)gAGQEK?_qtPLJQ&X4W+} *ł$,ȟP+0/~]-6&̓y![ƅBa*/:_1pM;eȊ~kbY1!JuRΓU#/U]uPzT$#_굌jޞ`,=lѴAVJR.} T=_$cas@s|_ճ)krD?氭E 'dENElbYH@vY.ݞEfaTsz=${#plb'^ QZ<#v,MC T.ilZ5R ٦Ӯ+1l^ݍhƱA8ɳjN 89:P/8a_ℂTKf> ɨzh j$":Y iGXx5z}iHݓ m]Ԁ96:X c1nM4WlXf&d-okӂ dAɉ+EfRLF#^Onijl>xGku2rٵ75ZդO.#f߫6jr fJn1WV{=67׺г軪]gJx!*ҙ%)CR . DִD">XijX?Pщw cgY35%'~fyYSyoIjG/> f-. RT~s;&8,x_v[d3kx(>65l_ST_C꼇-26aV6곓Fsr`y'gckᾊ=wJq8oK/_ ;XPe/;'F,ϡ'FT_'-(j"C>;ͪʩs:L ܌@oNIc^RE\\$:_y<֛t-遯1ܽB49a`WdA9c 5$67^ahR puQf= ~Bq8,Jw) .0MNq@qFF?)~."yCXD/5dfCjD gZU T- w(HrL14 Uh8d+֍bdg/.5B{ 'E]xyNb{'5^sj;Ix䬊ZsVyWBtڥc /YMOegI#btOqL=a((4>%8[}W#MЂ'4p\jB{4 ФWycYTL4S#-Ee/ߒD{OfRueTbZL ._?56՗C4Tj?i.1׷;y4Wۗfiȡ|3r |:&PYYڿu4;(YG#$)c~BQz2s%z@pD`wzetC}ol1,Bl}.<.ɧ&RKMn*K耴 |1@ufm;U-i욧%ubv"He=fU񚊱M輍uplH!W^B5 $C7nMO~nf_4y? r# pW!30sWmjLRH@gI*jADe;#/!/JQ j6dPVR&v9b.8anhdJ ?;r!8<ٴ1jxY>eӐK^rT_M R L!ȮEl^SRk&ՉX7؍3&H iK~JY<{҇Sf21 ݳ[|ןxM4)CW \v*z p|.o@OӶSɝN=gIa٤ X\ߜ-Fh]{<ԑ(\a{#+ݕ3*H(ɩ5m O f07: `KQ ZZy;[ᾐTRSuTr.,ãV@6 ?Z4o븝-C&Iso?f%K vjO򠗭ͲS*\!׳Vg/kјa ,m'яC:"Ywwl{3Mz>ߎWX׹5'SzN ![ i_r1˵|gYZ/# ^y^7ON c+OpfFŤ8%t䥠5=l4k9}Ԙ?IY{-n'E^Al.'<; eZ{I^V}~zc] j=2́l'gq9ZolpO9 AyN^u]̹^;t^VQ .o澗tk׆?dR[0i1=9mqPځs\K96G\їJ >F]w -.h%S-! #H#;{ayo|!%ǚ׈}(B8$ϵ:mz6ʳd͘-1OгE-@׿MP%z:.ؒ5jŒuYs)()pq:h0L-_& }@ rO3a/uw% ͼ2Y7b?Ց Er7*$.i+K7Q1ͼC[cr2fQ6{\|i5T-zʹMmz(FVBޭ<ќlO{zK133k`/Ϗp+!}@6 $"Gw c ,V9H&h=vWZEo.aV8IClH!ܨv jgQus|ьᮌcmr(α-TgQ݉g|E *;1}91z(Vm7Q+?]J.vku6YQ`C{= ӏjڼBv]V d\H +V Гے9V݉ \UK)dq2 L6K`zO<WS $x)uTamez>bWM,ڟya0YK3}d/Ř%>V>HN|vdU>%485@Cc z P,3fV"R\W VUHH{"V|@1|nU(-Q'\?Li d^]J&uW-L?L8o#qz]$/qBsy1s)x㚥OL[9[0+\?3v)fk@t\ChX {s;<^9x@ ?жͶ@N#CSBqrT> RBRً!Rb  1w֥#3}"EAon%EDL%j=YpѶ Yb8U0K 'k9jQe@b h*YB~6ۨK>^a8r.ln0Nw#HH%YNjv7Vccma1v^+ߑ@~s']RA5)ё*h'A$J$~P04YTEQRW^q)3"ThFi@؈g|+]_s'ORCd F›O+CMU( SS;t$X4 U<ֻXCf2dWU8J0̴βm~,NH ^Al~5дPz63 e$V! bukH`Gb[k-AdٖỴhZT>euW~omn@^K˹HiT^Mjܛ MfZxȂ %ŕb$'pӜ}Uh㤥 @TpX"@;_p ,gWq)J\(( _%rᠬ^ΒUz:{Uo&OdQ+`vX$=bPĚS`<9pC^Xp67 uqPnt+nǤZaF,iFbOp\HJK?s<,0Vwc&-C@W_iW 9={G _U=GCK$d)fN"<0m.53IYES9b^5۲GxeTo*͝詠+}, ZNV<'cE?,Qӈ -6Lou~+$\e8HIcYcO>]nG>]QL|w>E,gvqAt#yYKB2Wq~SmIkY$,;rѐRo"6!^2Nf0s)a,Šrũj'U)aY ߱Ҫm+hӛ΢eMg5V;{ ?VʼnX)} #tȇ{z(ِz27'7ߕ_+\Wq5K|; hQy;ϓY:4MVǗwlM}ʰPX7i> >~\8qXwi47Xk[KZƎ,V=@XW&@ѻꣴ]=Ǘ| -Jq=P^3 PSϢ,v n\wơ 9=k̢\q؛աr#&2׍]bXM{QF13`v"6ŧ#I^NuҌ',U 3uh<DN1j*8(KU}=^+ʴf˭ NuU4P4x+$s]PP؈Rh&뿲䇭_90ŧ_ xn9C( D9چF|ኼ$GAh4o'AٔYefyh#^;)p_aY:Tq'ĢKqP2&Aۓd}D|:7ɣ>:M0x5G9Nv-{Fh@E53Rt FVeAkз_5PYR/K^0:/E>Lor[ =9){5G 1SNq¦h, 3p1~;0HxS:Lo5 LLpCC]ތHM{(@jņgD aZI<-OT" 2"amy7M -Jl hRk.ݤ|u4EſKapHX(UiPD|뽃 uVI]sRցO˚i!T0rJcZǶk1^B gbuk|9]#uy"CS` /ViuP{>J{n| F8gT09Wikt}y4M"h|f:Z`h)12\YYC4#,.Yi㴝5CSV6L#aƾv؀ɩ`: !9EagDr qC$8o}.Mig?[0-"y D}JS=FYAlx*~ÉP`%5~9X\_svV壔.4C RMa&~6ěGyTULzx uQu0l:zn4 6$,qZqAFzmn1u\ɾxf ۩*ewIL@xmkff d@~p67n6IRi/JNFdAؑH2W 4-W p~@`miQtzb栳 =tc8ή}-$ȖNp%*`U,:Q0)Bۈ\1CH퇻$"Dc93j _U,CP~U**BgbtF SV-~>|}?rxCޒ>c7/V˷ͭ~%HaW>dѮ¬Gqkqj1gU[QYߝďTvj/gw7-t)1If$5Mک|Ji'UOs ,: [k+ҍ{4?7-PqĤ&&$XUt Hʁ<O,t8o3n#xXw_F1tV"f_:/fi|Ծp!QPuedut|`S!9?o  6jbzLUGqwqDC?W5v= ɣbvа^MMqշy)p\N6϶&U# izVFSg? B5xN **c㖇K#:&ɩ|Dnkhb>k0ӱI/Wig]Ѿt658.>pǜ/wq5y82{ Qk\x97H)η%k72)a ޼ws VaPoEqlZRP!# bw?(T piK{^8uƞ65rB߾N5Ĥ圃Bcm@,2p=tHG Z}`5@BC2N}CF:T"AlKIݹ۔&X )\ /$b3P?p,3? /dfEe^b*j_ ۿHI-n>ٴ8#L sV{6[S &Z@E5Mf^MMs 7^sص@I͸ 6xx/_ܠ19/'E ~]TG܌36w ^Z{/zTTK7bƷ\|܇uAM4T!=H[.7v@QRtgߜƕd1od P!cp,vxVX"2 :cT#)iu#y `y! {(f."kQ~r&P K ITra1Ka:&ܒ};46w.JT3;?>'kf}Acxc7tp+ m|wek D!Ȝ,Kf͔sůkYҢjO,{>f ?IpwO- z eb- ##izN ){~{ 0"v0(r(~6jW >kǔun֘ivgb]>.! KǺxMQbyYsM8w{D-F^pDG*fAʫ5cdX)= &] +(+ Ż QhrvOϲLIKD ɥpz$<AVpBs_O(B`aVz]Cl{ ?򂮔Ph}*UyFYur*f֪ڏh&,4D+mƵ1''neI&A*_ ke uQYvp"3$LF`Ƣb z}  |@n?vݷ-gA>5ZD\Iĵ[Z/uCOO:UռޕP>?kkzsmBy4>-qhn w44JTfÝ:LpCbkE P/!usom=g!A3:xYs%Dz-E4)c3 & as aakfIxҥ)7Je8 eXz[ݫ=[%xx={'w<~ R\9͡|EuQ "tޢXMWUА zKY|RE5(H{”%3K N/%^fY y ġJĥ}͡F-T Ҍlx5Hl\~w0%C%t%&SU EU~ I-W*\P2ߖ{% ".mie6vplm&SGA׏#5$zԎOLdFwwǨvuQvY@?oם]f" ×֥V ,?;i#eٴfb4=m*]AM1 :nG[/ vVkэqJA ؤF薗GDtYӵ?*1xR\!Qd%%.07Gz i0*s7/:(eABoE9̾RƔ/1EMYM dr* Ϡ-f]jbg_ܮ$ wɛjW؞B)ihE+M?tYǯQMNh>'9S^VVPѡ_Ok +WoT[',f8&ɃʧAZƂ(;iCŧ$"@;-o_ UwIrp> Ѻ:QXVb\<|:f/>e䡯G[t1srW,A!+ }eGmw*Ŝ%J;TE-zF,؟yac R\4ܦg(ݤBMi(C͂aflKk|&ý*<ګ,2hyN!Lg.-)pa;,#VuNƽo5|HE1Ҷ^Xg~Çؘ.}Ran--W Tpaˢpd6)_7v<aAmϡ WW,ǎ芽O|$r.J x}"Tkb"[/e,dySsHߣP3['4b>QğOƥYMrq`H .+ėS0(,KEtɇM@̾?*)'[t3B3+?G'jԡt7H!ic YOJvM=8r2?8oW}HW䡗x{̒P+CV.^EZ6TȆZrȜWI'pAG>ƚoqJEh!h%/ G`EOPϜU:@vuyTD%պ::=&2 j1`R6[[%Y,ݒZ/Ʉt;/ iaV&dsHB .>!@AZ/AgݧÐ9È+ +]enJvV6li)# 4zɛ1up^fRϜ~Qd#C5K4Q"\a]h/TCD52?::9C+Rv){:K?{ 9qnIAc< %L?!,@aEm5(T# 8(GڧׄΫKBdt+/P߳yW~]ܱ+Zv<ᳳ^R-H?.An`9B{ߚ$9x`PJ%pX7,&ǝE<s {c?< NÂ!dW1:ᙳRd>2L隋 Ob@=xzi9b\ODd${?WvJuiUZ}7VͤpwlLAS$Bwx?7zKhש|%Dȼ`b]f|OByW֩: C$r"FPˎ^),yC%i`52qBtsdS"wRZ!E>:=HŒl !ؕzbXx"hXYDPA"F~foό`}h!+Ёt{sIDUfQUr\ԉO\́ ;mF60kҟt6My;ܜӣW^wKZPvķLjl8aӲn0V Rtnpi؇NWY!61x DK~#>,aUlX ,!/a}`׈6Q}4Y@Yz(E_g6C;߲u0[*q]M_JWC d9i5ľkqnoBw8h3, tXkqȩ. ?jfdʏA1&@W7VG>$Yt &+Kx[xԫUGTKKωrtWϬ'ӸFc'su@/ˍ ~c:[C'ڴ_c8Pua" ?1ES>hYrsB@%mԋ/16^\_J/xL ZTK$v ċ*'2T/ e^'[JMYV9K= nY }֫sm͆Dkvcql>1Uqj'y%m)&wxGⅆHy8͊ FfݭMėRCyɬR-O@tQ-1pX]*Gj{0~pNj!+Yd"98L[t~b^t-KDLqoZTJϣ}p%xљC$iDW[٪G-Ԕ̾zX.\~H)y^ ۯ`Ὁp{V4B(T'In7g_ctRtf}o\2(\M.WR6/&mkğS ,U%pz&4G`:㿳GЩ "`eoۍ`#nWCbc?8h9W皩ȟ+JEU~?yT=<q͎Mb݋"D -ރj$g'Y'зw$=g{&Te4 ٧9Uݚό֓KĽl{\ѡ h٥{,{8 j1zҺ1ad2lh09lFT%~L[lk}{vdò '^ [&E!fM9:2Qqz׮lѕ4wWb޲}*WFX`eĢ)8w$±r $lgFŮ"$訨>Ҷ#%;]$E 0w M2jM=;kd2SȽP;e@m7̝|P?g-rAo1>PTH>S`6HXycmڠYy!EOoՂ*x+٭-.[ ߥ+MOfSWaW`l}qzWZAK.\hr:{݅B0h)-@Eil+up'lHPM7dUь~=IxC> eG%Ҕ׆>^H ~~džQQܥ, P%ET`>ch/V1>b-ROMxtEWo=8ȡPy)mh&V4KzʴMjvB˟zmdoαP {x'k~#t Bam Hw>WdMӕVS mAץՄY@@ T<$ﺚ4?eLó JY/etjKߛ:\CN-U"z΃lyC8zEȔK˂i☆C( J[tȅ0Jl>LW@! >]!so 2Zy畈Mu(1t{h XX.'=JN5++v;V$/w=A)^z8t$3Sﲠ$&кXXlb.9-ӳ"YFoS͚p݈ĥhѺhPbvC+aKǢ M<<$֧_&ː 0^=ك)@:yW kwpi,Z_qѹRH܎U_h{QSTahJ$t BBT!?db"mbz?'&9y$fYU.y+ô!S288s@nY51 `% \Hv{|ˋ'b_29F׈N89rt8Lhl4[7_DR#l:L++v([ ,  ]^ R2aU VX{ <6H~0y{PUԫE|n w3,Lc`r0-KOP"bӷ57_6"W-\ԍlTX(2NLЎS_O@<[)/(o‚01) v|[6z9W.?5pSshꙁl@A -~'y+ 5ȁ'1=8ܫ8XX 1U{.7u!mugnӚzS79)VgTq& _A$ͺL?ixf v-@,/o e|>y)IH`YٛV z-cMw a "-ǯKeF.|kuOp*g [{?/R9"\kaMΟɃűp{{ޅE8a1Mb"qY3A,*{B C` *Ek>..77櫰Lg. ﱸv¶zع`+S ~;P'W7Co>Lv@W,U>.佀P/ Ng~Uaڦ4w|\n?I+Ҡ$h zrNe*'3rxHI5fUh2!m|4xhA]XL02P{/C/U+#НG/{b Yl񺊪Nݗ|c)u4.9%~/Z\:,i4Ң|3jrjy@$yG߃gYZ EEl<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_id532:1O' |HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! x]D?7 {?:fH\]CM-`8d8u9t6ⱸfV "ߤY³ 89_Y8ibwJRͩN\oʫ?ARo>'=s>nS~꡾F%q3:Ѻ9^2`25 b O#?Yi[LcNaKY zop!i`bfN< tChfSQ TgpZ4dۗye L2]7DT] BKnFvL4 4TQ]5q32A5e7fRQ^v$=ヤ%~Ct>"24Gug3/ճpR^`W'`m:o$OU#Uxʃz70EV\4;*fԚz#vrݟ R5la'h kE@0WAj]%z?pA3wR~ogj bl{@D\DPݏmHWY F#W% jìmcvmQ7r-N'EۡL`7;58 +R΀iĨj@[mMUHJD4@!8ytɣ{`%CD6kk"*V>SZ)]-߅Eds]^"|ZyĸWJpۙ nw1ZP}Mw{/ʤgYZ .-Y F   , q{ p 3 . W B U^ X p1 i % Mw o4'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages:D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup9C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files8I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id7'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages6D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup5C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files4I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id3?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages2=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup1<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files0B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id/w'HOL-Corec_ExamA1E'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/files1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesHD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idG?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messagesB=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markupA<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files@B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id?=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_idQ)HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/latexG1O)HOL-CorC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesRA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markupQ@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesPF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_idOB1E)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 #\r-T < i " L  x , V 6f \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/messagesFD1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markupEC1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/filesDI1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_idCC1G)HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/latexG1O)HOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/latexI1S)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/latexH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupE1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesK1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/latexF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_idG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/latexF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages:D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup9C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files8I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id7G1O)HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/latexF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages.D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup-C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files,I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id+G1O)HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/latexF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages6D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup5C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files4I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id37ܡGߋ^z.eg9pQǟf{|-MK̃39)1izX;l+RϚe>K:)Q{04 n9v ioZ+\A@窱)u9Õ1|Aw٥_7qM9ׯwݻR$#%~ 1&M[ =z OT@_@(F9q=[mk씐YIW: ;M֌~x馅hgmБ4cE_YgD^痃-i<攄NrY@D5J& /= ._prj] &@bb{FL=K_BXcW9eb= /FDc2sԥXb؍[aŃEY%>!F鍝w{g,UpMi3mIa]IVLP8gk[|GԀמafPvdZ_1(ˇB?4(0Ys}GRpQ ;Hײ1 Pe]n>#pf8jmX%bt 9ZpcƙY+^d knE%׈u2F>@U@S_4),b$BQK[K%u3ϵُ.lbea65ibaNYL5; GFqR%wr}rFKgW, &ݽNZ-8'!-o8mI{Ly%(\n2"箹ۼ'TEtl(qk4u1PW8Tc3 o*ݼE|GqIHlb3V2`cb ;ReK2wyw>?IT(bDآyG1%! 4熧'_JXS)mٶHmC;A,2w:eezKh]_)'ߴ o5h^)LA '+Q4 zNmŁ3C|{=oB ŦJkb\E #V4hSv@nK*"Z4.?!%|rֲC! ȼ V]GZNuB4 [7%,7QŔvx0|Z\9@sg)Wc~#, { C6(~&t7"`a2ͨ9] 10BQqx+א)P[: V$ H&& 9U͞<_҆zwiVq*6O#Ft`r_*DԵ6xH s[smpgϖ,[=ULmNظ\6rTCx7ݤH m=lhٿ{ۨ7X8NhH ,a{L+/`CR7K)xS]xF 1\97u./oħlP%qM/^ʜAP*[) m:ui$=:c$7E;B:DKsZ/  Ni۹5;te{VxG\:5`vE AQ6yF_,E@~׆v՝^)6c+Z]sOTe2aWG|vfHQ9!^=X8 *HL KϞ3B"Y,(N;<&I..( _nJTXuM#mU,⚓*R&crSv2#0׿dو\"m-O)`qĵB".m1ΐߐMID s>bLΜ:Noެ]Ip\!;4ȅwlz 0іe$B#R[HGF~_允>B)s1ykÎH`}~slN)'mԖԀHzuz^(XR0/XSipA0s?^xE#n$k=>k=(,U+W 1 h "L{ ,TƻӸOj .0]O%kB *\ur鍬KݕvJ(U4rp:}|%ђF'przl*#BdŕF?xe}%"""鷓;ƞ|Zg;ڵ9&#;{VqGR.clb~[9?oЉjN\K3ah1+Dg" O2=;,)-]I\3RɅ/(z yoA 8|/Ζ n̷RIUAk>< i~}JImr_{7Gt&;C#Mʾl"AӸZHesV엨?k [.A V)8OĴ_V %-:7 -ڦp\g4zEA %.;a1 J]sV[au# >OaY'gw=Ǯ}m1.Rj{jp*%DpVd¹س,+J٣y/E#YJˆi%Pdj^N֔Y2UYkjj< m/ zc!l\`٢L6rZ:4ƒZMx ȫ^̄F1~k /΀@=.nKvAf{W<#/w@f,0cb_Z]a$}g==dScgq“b4$]d 6X~j{cݟ }&`B:hD4tB}v{ >vN.5Q:Q;-hRiGJ+Bg#*fxd8JHjT:4y43:rdU?#hsv!YѾ1{{l-AMps] xbnIpuh.@ {O *ߛ4 LBivF9PPoڿauw4b0%8?wKGbGdjj=#..P%^LO%HHlUq>HM TU ItwpH;o~+ wiO= c#cb< 5ĆaVco__2qY)\:RbΣ r)"XЭPl/cD@(&% MZcu[dNuIy9G)omZZq˼gsKi?pNwKKlUl#3L _GFA>~].f]QtXeI4uO_gKf{,q=m ( ˉ/s5v-'K p >q tSb3 lAGpp"NaLp9D!@{Sb]i}`ʥYQ)Wfkçx8Nkhf^Ìp!Jx.,Qk)do[x;haߋP ܲ(ӆ`4-tf6 tap]Cs(OoG@u]DjcXFx#k{{n Qe;\Q>fomM,|KdA`~=7_+;QaMAhE3ߩohYT*0ޮs_e3xk(<=ydYٶXGQݣVҨYK{q_?nb50۱'֩\zI%YS \\R*a&2MHfc~ V#Y^ŌߏPo*Q{S =JC/uak?Wר/5e7mb]Z5 F^񟜠b@O ңG;s 4?4ἠ_V ۽Gpq^֗.<&#"أ`OA(,:^YȕS  <>юfQ̺XxLB [$ `!be%"8*<9)x[JRB@z'Ҽ(#bSGAY*YU[cA%0) A4 }x.Fys(c:'7l^A7PFkoB Z7{z@W\h7 y"}Kg%^rGC;|ϔeo[D@8}`l y&]Ȭ-n:)E]!Amjnyb;1~y CeeʬAPl/M/mP{C]:50뛽7?وB!#ƈ~ES9Obg )滇@$v=zJ́Ǘq.W4Lj@FdP(B a9&j @ &)3©R%Aij̄p5gLRK-89gR {V,f20Iw(rBy-yTJ|'rE/_<ZuAc?"Vr6mA,j^RF \1;$2x`Q^kɄ`Pa|1ʕ3O 5QyS=VA]o4vYpr|dUC| < rh5:wF7kԡ@D}=^5]G0a1ýj='l؟ 4?7 &R~ ْmѹ Z9P(Vs/PH(t-g[):<OeLnn#iqKaxkW.zOA}P&$U xۿmKʒQY19jtUu=h,7SSbOcY.sP&C p;87tr>` Kpc*9dZUCg 5w ьBbmszI<ì2~dO K)uo+~@ȑq3BY!J@\-2M`q`3,0CԽgƯ5^Cbhı#]!UjmbkG;Btq;cY}gύ:줸 v%r,nf cӍb ixvo7lpP:n&t ~ S0Ҩ4Oy7S~D0 RZ{.dsf$GG,* $ԹwGI)=)AIp=6'}9t0+Ǹ0@AR]mS!NcŹ.P0bxv1"]uеaT'N-p W:uBuhvF/hZ#Z^K;ե+WimO;F26ڑ,)jS YupBQ "T8QY5qQH akw+{}rG(j߄p1$gAnY.l'Yk[ W %[XW݅PɨLQ)w$xw;q,mR?$()RZQ('?Hj@ (e\%*3yBx2J_ ]X)N$"jgI Y?(PKRgU(=d(d1dΔ&74J1j: @bpZfc<ܱ>+i/Tr#7l2 3S{^k{c+,y, gPh9NAgHedlir .rWC|3n'~ZG~% H-4GLXr|-^kQz-!n Xf.2k%-;s5:Vͬ8:na$j2>c׀oHh)I&1O9 ̅iM㱓?=b,>!cR#YDz4EsH)>ϽYhYp`k݇# )9uj00%Ľ? ƖN/Zr1pWAt*'j8Yu1/&qz(N8?r$)j;{&R҉':Bbm~ UoYxԵrU~i W|e+fŝQx>Tݲŋb.UR+(,Yk~C_frƸ_,7\&WYe3Um50әJTUJmB$^)^i~Ԕ{)@S7[&-ZbpaڶBlsK>O_|{^ߪ8Ð1R ˖X=q+M_ĬA}oeOg|qh]쬨@q~@R ¹g'J7bkj}D!U!Irjv&w~um̳&/~Ec5u+HhшY͂i Tg+qHz ;N/Z!JyHrVc ~XrboC+^YRHZ G*30N@ iE`{=Pp'[M> %R'Šd#jlWo;Q(9C>J_x_&Qyr9Q^ۛ>4QV\_Pƀ֢W.|fpsAt]C?9 r?ePŘx8K)ou{ďcsT߮\%N0YDqlXneܞKru)`'sB605Еd/ ϭ؅omgW$ޫM)ujNN)*梢E: FGX7mT=0>Cl@u>6wH*CbliNnpFﺔ Ndǂ\wyPb7T3)[܌:}-ox~|e#8:>&5 ew&8+~~dIkkLVzDA.!޽͌\uDbM J[ ' мs) j)]ٟ̥:O620o0bH}|`Nn0Hv^]zí7\6 &]6+*ʣNbsv9VM٦LM&rj6/?t/N1[Z!o#/J+$A6Q[pnv0QUfɶSm|ʳ:ޕJh}m\l$8Mfl,;5iN͌=mT^-$bŹD|fV> 'S2͂T<7Bɿ&:b(bҶIEd>\oGI4v@%:ˋnY7a'RM7_Q %_|-m-.6@ XO\ I~guG,[ Pahe*]5R?QEM:ax ݨo uZ< }$IB8RNyϲ'|V>?ó<WJv_ 29& z]&)ؑX猯N{kF9$ ]SӉ$bX$rRcosa2y+Obm Kq??:9si 'l~ kʞ%ӐJJ7P;DfGYWoB꡼oz 7YUaA$ / HA "K~LC=SY p?ǤV9!۷qTL:7[EE+%@-i8}ĥJ**2bX)_?ёQ7 (جgo!Mm㙜^0Rs=J6FEWci ,P.30c* ~7{\t9a\ ݱuT*#& DFxwԅ;}z>$?+KX8GTf%ծs<}dfcBKG&SƩK~d ,[<VAg̵!dls"JSSl㓤Qt̲G oyPK 8 r֧ioMniW;8i} H71l|@SBcdc_?SZ^A4 *a>.tʈ.gn*J-LL):ePgyO78G ~ @&B~93v7S L: F]wzAbGF:g%i`/Nnf{ %V\%[x1"cC6fë]$ d/RUEvCq)MK2u[g:(9IM?C}yKTrsp;d8! |x_GsR5a,r;<7 1`Hpme0М0&~"F/$ V""W$hH2p LķcUh=G~} 7Y"l0#j0տ3_07L"9*c[YF;?iFsQ/J;/:D~}K= rw@xD%5}guy,k]$KQu/D+Mѥ\8k&ꣾryܙ[t7v.6tZf58> -(&z 4@զOfb+|ۛW()aRoYiθ^6|Sj9t1Kzo)~ ]n9iܯkd3W+ZugQGHz}r F詒匊~{zKѬmOrELֵ0m;;Q$dr=6SѬֱ>KW!-SANΞ*yr]ֲ|إz;)%oeeR,]|{sF5"jzN,ysZ]]S"T+#OJhD`bCH;'!6ղ[ Qf=.ƪO@ $9 = U1w~'ʷRM%مlVٰh0S'?Csl<ŪLG͚ۘsA?G9qύnV.Xa`J{-u c5ǽ oB6@L}\m,rQT5>( YğZYװr0եʓ:O9P]D\Ȍ'HMMk4{,4Cj^"A<+3?xvKx)U08x@ ݉%.?)9P#b~rM¯>3O/gEA--S7AIa1bDIw\.Z|oP^^NŮB4v W\BKU 8cNYIz[{f:dԑ`9@ɾ<{GVt-:3oP! p8>Ȋدϼ01t6bll s+,ĆQMVS40Xo(GkGԞwGS\ěR&u"Uc+\ ӿr5\VeϯKy^GGQ>-~H#1zmQ[%m$-%e_Ǒ|'(F^hgp򩵙Uv#>Tū1(50A{ KR^Āt0|^S-^ pË:wYgE7e#NQ# vuS^s^Oϴɏ;+Ap-3 `IRj?6?XuY,65K%E+&3K-s `QHW~;Ƅzd:)R\eC%g6np&q=Ӝx~JpzlH~3g`l6MN.=@YEAK NS{='\:;{&;ǂWР&7)b[kP(MBLFE };䦪"0D ` [ a|O0Ey%̲m^U>*H4ӸЗgE] a\ϽA['N .O/ _aujMT\v$c{ >shEL6HJr8(tIֻq3ѶүCmJ%LE\h _m EBF^:fyΟ"fZ(Ap}p~uVPy[JiJīuߣJYُIxnD zv*%[/\p1lߘHI5c )w%cN`؃Rq~L) s(_JKևZצT g!q'#iIG{鼍SЍ> ):eOOUIk R N‚&v$GD`^m`ȨK{~ nGq'ӫGѪ𮤈UJM?epx ]SbǝmNxbX \8|㳼x/e,ѐ8Nƕ2O Pœ.m*Pi.sɊ6bf lj:xa֫Pݹ5׼cQa,%p9)R%4@|u7 ϑ{ ,U?EhA;('qwJv| c8g5/9HOP{$lae?cyF[f(gBp9S e p`u et H o)6^ͼWpqϚ"E֫fdk=Mh~C@2fpI_ -YhڲKcKb*D4fƂί7JOqNE]IbڈN%-o/pxogu!^F,J>0<(4>S *ZB`ۃ*A<,Y s9RzP :GCRR[UA$U) fqR`A)tC c ZiU[|z~-GÀ$ ˕gߣ߃zŌ>6G4I7I(P5#~ƕd^L%컥\^MMZ|2ϱ-?[KQ鄻s̑9n*~sfp.T$ރ@ʣ6yM-}P(ܥP&(G\%ύخ.Δ&R#ХZ3m4lw ~g h\X [FNS\5v)"e9Ƶv:$F: 'Jd -~x2P00qg i0hX禁5odq3eAcDfyF9ڃ,!n|*3l.2d2ݩZo$8)!vCb5[-ֽJ,&m_ ,/z!kٕljf,)>q-%.̴Nx3DPeL҅:}]sõJ6 P&.lmnmejg^;w7"$E*5X8-}Un#%slno^"_z8`[A5zz@pFXJ{].2< G9}3Fj%lwj@ދWBQC+*1{o} kѤNՊbBJp<r2j^Rd̶3lU#˨*Cܩa)0z4XÓ+TC1lGUֽS?0/6F!1'M9-C>ta5O?&T5Mc\&bEC +wz&Iz7@%,Z$gd>dLd3x::y߅uQ֠EA/Oշ#&j ' 2@SYKXJ5,ZV_FxȎِ;g׺#wI|Ӟ:_/ Q.0Nr^CmxRX(l]y mwqw"ٮ]!0x%=yq,IǓK0 &!U}f*&!KG;=Tt4t|WCW# ^D[#T9 r Tpw;&Ww)ji>Jf[n^*(%*ф;5D\&#C"|U>STSGґߊZ wjͿn&-qńCiCL =މ?owHgY%]\4jL*8G["{;h]Au t&K!>5\=WYp۳LmFt˕]hj[hJzpŧH<pA${xɋK%^&]Qz}E }wfV zgWut=bxClId)ğAxub0Kx򓙚J2G?B0+MjI"I}g+Xٶtd} Yxb& ΍Ys}@`EDS,~0ڏ-6.i×e0r;m?[cn%=Sb gH?=fojj[/Ɉ@v m~`&Qc"v~.1!j ڂ `@C;ţ-_MlHJ]yRۖ,+yp AQ{rb9`6+Ev 5H3Df AU(i=C~@F'D]nr`PgjKSW\a2'~t](y2q8Dp/zY.8#v0g^r1>d>檠 G>P'n'뷨'OH`Dd sE A l78)kZ/Jc/ϙU3^)wxqsvEaUmfwz>L5Cg") ظZ4pX&߾SΪ^{h֏xLǍuG2OvϧtZ}Kȟ-`rC c:lF_^HTh|#D宿ͭ{b B+svg)ܒ]?N$9c$%i,hL'5Pn4 id!F7C2(6.%*)y>i[}F.MH=fݪ VK " Yp)5^$ZWsWyjceU*V ;P읾F gz_. **nԪf(+0*#iڤB{%Wq`~ͼ+ᒆC<׵SHRkxBanNU"W=t# 'z%耺ucBcK(SC!LaC~WPFbq i`@E_܂'),^Zllc/Md\ecLT,Kemޫ'Z"}*fhC~'fʺJ(ѳxSӒRP̑jU:{8цF0 d 5uQED;~w5 |CY U/_N4T)`*ܨ o Sre+-6w70G)y0 d=whNzS*"r2!tv&H-/Io*C-:.Kq4ش9m*'ᢖc#,'$qz *ŜXB뱭аaor:&NtaF tٝ3r$wSA:ҏ˲R<gYZ NN= 1E# 4HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! JX]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tia^~Q ^m *D*"ьc%Qw,Aӿnt]pX} i!hק)>}F4s M|8%dgSf]Ha(\p_E`!'^x2zwg w0}"f&E,6\ݢ 7}d,ꀈJgIƃLm]ϐKg  @ف 5!vbj_}a}3rV0:f,3x=HS:}[ A2 4;]B?Q_F{ N̛K(xTn䖪If.TFr474!ѧUϞs@ef<{.{SpJ6 JMM]-ESP|t~df ׍Mxrǧ s҆Y(j.ЎZhhlR 7\Z;[p],9VTfcM,މXcЭ[ߡ|Ԏ89>+c_q+!$V{k CiMp]7=ї?)di;;<4#ø`LB+Dc ~GQRѣc^s/`Ҋ4;q!v 4#s?2,Q ]7.[p>CdmA!~ #Ϲc'\2+SAFYr3?k ?^yh:mWʼ$K873uFֈL3T-[[ ܽ[E5+']u.\\) =2|>5[*r/@DoYQ` ũMppq+䐯WȰȭ|ҢsNuwynIrVJvD !C-hEsOAZӚ{U~zfŝŚ,ﺎ;Z=QZ- 6VWtKZ;[B4(&OqYPBfo+5Pu 3_XF `) c*8(b "ﵶP|CNtksNA`ޜ_uՉ&{tm$` !l4 2>~0T\4J AċŸ\ .AdsNG4UC_F:.Yg+ 1vUzKfE\N}3> +toKDќ=v-J@44"D] W,$KIA-ڍ{OJ;LA5x\"Lv[!l̤q=e,X.h?}IzW+!NtXR-7:Ua\MzEs. 6 nh@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_id528G>1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\f5k񂵄Y T.{Z9nw@# .':_ZeE JDWl&BnakEDm#&#8=[zA /"ŅCh`[]T͇,}TZ5ux#'C0q۱^ ܈BLOYcP0)&֒E>_77b E: A d &FGz '\Yj  *?lèXA5'ʭ;ZJůRA;YniPYә9j|~lH.Ә`IaG g}9_aKV݋rtύ¯C0~' "@j(@Jl7XZ;MmI'H (Kb,V+y.&Y;2 BQklPh| JS׵Jн7st&/7b_*kadȜo,qqr-[Ʒ| {d"zSYrCN4 *WP\ЇxC8TN\G6C_*=3}M$nTU01vR.䘶2ìSfXe+Z;^w"R.ܾwȪ#AVc}A> G]o0l Qm9YZ}bt<:#gC1?󰲄mܜ~ 4: ^sA"LPwUS Ae#vʄ"A/YDƛz˝X0)S^/FKDX̅*P&hTEAMI|xGTN.t)(PFG*%}daQkʽoA ?R'^'u[g: <Wi1^9H'ku <7'(e'õ'"PuZ w'^+{{2})/FB՛gZAVh .Qqtc{"Iy+h:{}㳑wh-?? [( ʈ0/_|S4)+M/cu.739E 0AYz*Hy+`ܪz;z)m嶾ǵxnw\b0x+gWIQtCMrHX0~ɠ=] f6Q0eBfEo*b6o7Ȯt]_H:ӕ#ܰ;社V[u0b4(~Q )dti0zPZob՝jȔ@(nӴ-84 Kir\=c #?/c{#Qг$ej ǚ܈Sč[d=n|8~m~VZܝ&Rq|;8(~6`IJD ↇўLEy|cgH:OʁR׌n c{6{vN}H>o`8_ⅶpJ ]eUf0tEJ7zUU/8jBO0]/p{)>Je1xwA;72NPy(;j&3Džp?E;Dxo'l`'GZPDWJaJokbu`ОyoOۏhGcL?:ğCKƩŠFƼם D4<}"a>p­IL4 Y̵szŅJnO6p4?6YP lY塹E[NmNLt~|ʐ1ݸ!}ue:ĀgeӃd :jJy,}8Q,߼[2aF %X}niwHG [p  Æy!Vl/н^pq~[Xvh{a°˰lsJ(K,J\R䁢yRug9 >Z*`r#quHS09P³* 2X&LeVaW:d!voB f_`CPvoa-<33fE7yii,vM 槢="Z=Ґ'Ro;REI\l%]3aa݁ dtLW^oaP$D}}z%`*PѨl "?dgzny-Tj7D0@!@EvZ=R`і>S%Rfͺ)9 2C/yͧc >_Cs~뫥כƥP3bD]G#0IFw^X҆e))|X) M*\VFG}"%˒͇i>"3UvĖT7[LO2HWL)C8`Z9o<߈wq]7E܆HDlEGWu(S#Ba 9bZ>-oL? 0Bz!:V(R,LJ#)>6m9n5۵<<=p/vgYZwA1A# |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1u3(8 U#X )a%pO R](~FvX+oN& >H>-ŇcW0w_A=*8a(xx]3fYA$hXXݓ~^,,~˔CT~88ֱ u' P%%Cί`"&}S Y#TVv2G Q3}>3<"VMεRn`e# Ir^•l]b8l*[],ZSI QbCB]mxTIM2zίm]cfa fVkI]ʊuf:b<6БlqYH${-gI@GTDȋ]CkI.61M ja~[Qc2z+((-,)70F%/qʺmdBgI!:TDؚd"G%B"fz:.{ΜO#Œ{.8pQ9Mq 1lj5]_49oV| B`mi8o^!%?eb2dأX{Q ||@. b,8 pRSwWDD2/nqC,Ah7 swFX1XF|Hdsn ow8$CwoyNQ nˁ<&?m*>^j}DTJI.-rks47kuC IT4{{Hw9rZo>5 &QD[0E]*m|E$/R?,4 {α鉽J*`56ٿ%EoJ:K-JV$ nIF7* $H rTzߣd7)"\kjMR zYyozU^g{VcaK4~qi&.PB\%'K9α &A1Aԝ !\LX"'!yL:J(օM/P7MU2DD顅ꋎb+/O$XUMN֤ '> M9oD^VNj6S+L1Sx][MXdtb=깒2Jȝ5g+fҹVDEw `ڒ3Opn HHLҷX 1G=wB(>i(6/j,,~5 ץƛaLS[/TȝF >>y,4d87G UD4JMlCvv9\hGKޖ hE(% wDuX682ѫx&2ل9jS;R/tƘLf>4@B'8♮o4" XHbw>Xf*Vᆞ'EPPMs :k2;z]Jd[x(22zGͥC=] 3)(^Kq.oi*p#@yEaNӆ[q&=i4(OQ(znBpoYg ]Z/Yz>m?7;ؔ# M`Ӫ+m19Jw)5&%1WWUex mA7UNI[W e5әt ]QY?<('g|M;o1I\Z֚db,KJ̓:- K]+*o|WJ(TDwpzpP7=HkwxQs])CVLr8D51Mg;o r+wB2N}@J[0(5qf%Z1O4r9HDI,a?08IΨd>v&Nv}6 GEmԇ%G wxJoEۤQ:]0a:I#(rVѻ.*lj{c҇Ϛ䊐3#@ңY{h{d:n*\Ӫo C<Ԯå\m |#: I;.ߑb`s^LNVqI~}b6zt1O3Tl GNV CL Cu9\vLώ ٦_PHO܇|.#;H'Ёiyc -`N5; ޟǡiχJ=r=7X lEή NSYVfdXT㵲}QJDb&M}JWn:nO_{FN`3]D.pWl Xr^rSK<.7 LlZs 6}oi~RpXJS{>D$ٰvXfj@ִЋK@.Ǫu-%8W>hUȻ¦ܻS ] M$e>_}((w0yp`n)Iw- U/=%Uz~+'œj^t3Te?2Pa>Q|CM j8C(:T_,pd4"e"wh,!!9F.87%] 7( ;eKJ^֮ĀeHKd)oc%o,#e4e%7X91/~EU)zTF |jD)'K~z,G4X-Y*9Tz3U[+W ηh& \*\Gܩ<{8]YIkr Տj֗2Uޖ=uǧg !w+ftQYp7Y4X%걄| _G B7gL%{T8FN\tA  "nߘ-0sHZ "n΀xakk``DPg 8cr1|kVe7@ :(&H*ZJL/CAob[#$[6y}<{+oCK3nBn2f{f3\S6nx(L-xi$RTPͷ, !d3\1CJ ki15 oXбR3D@^!چh-rς-$5P1 {(TĂ2:񖹣w>LR a;?K~ DU>2eT_|ڏ;)4 WX rXJPzNr'Y߇3X<ҞO .q2Z6KD)M4/6~=Ŋzw. cf[1x3_!0بӿc4\۶/5}XSk 2˜nLVbɁm+fsqW6K }O!=@;̿#\<E+gYZE1O# 4HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-UjCy9FiGsU!8447~9@tRxa3-^̰`$&p(s/<,/+AW{6;WS_#nyNM!Lst_L5!XDt|` a fZO*ҋ6Uxg| O3: " hٰ<\Savi џ*1z'ߴJb;dIQy^Z)5EL k~fcA߿_Jss34NMZ[6PT3*v0?^)>z)mz> *IFAo ;9f8T}Y=ZFk] >}*2lfO-ZlQ%PEZx|<6XiEQj _X (OI !KσWX|aSYOj~&0Kh S)Ji# ]NyKDBFӇwx8h_|>7ڦ=!Lalsdk{"0 ,oÁ8UxU6Һ A{|o:"'u*t`nT,`m߆mq& bb-h {UN Sȣb\ #˗5Gg.\AmwDU\EKX ͬ5btXDHl0%WDE wBLLBl+\K[UZ-~Wd'ļC1xL=/ɞ}f6|M.r[zk1ˤp\9|ضn:^`԰Hl*1 ("`=zj!IWZ]e~!dy^'P51`}IwGxuDE@_Q !Şթ3UuchfR8wf+,F@?Zf0bq'DYOUrU$#WgiK;;LPԅIfž]! |0ۑrQ[,NpH@F/quDEN>A X ;Zu);Ѭo[)ԀAhCs9esEsL?//^W3<)K#&T9O>`.( &96GuNA*BYkPU t #oVlHhd_fHtJ(m$nޯ=j??a3~4D9ZprX Z ']9V>͸`jXOž̶Q[ԑplIGmK!UTj3Ž`zKbj* 5pS[Hڦ:A4>KG+Pq)h>otBpؖ~;p^h*Km#(̙+t嗵 >G,"::!ҵwۈ^a>/0!S-Gl5&cT־^ 13qS2; K0(? ٍZOzV*~h Z ka`Ќ±ɂ69+֭/寮K%N JM?<[jN[Iw#x"[r͓jn Ul U|2UbzY>b9\=<4'G _z<=I"2]-(ce඙+"72p|Ċr߫ 颽D:̦K/Cng3;G]ѥ#J{]΂2y~ʲ3O_-hJףZ#F||Q#1RJ1]=_/g6AeX61Nc09uaU`}OB&wS%fqR 6L\晪A)<<TJ$jyNh7k1! nwNlY_,5qqEE#<-ջYgD JV)VAt #w~f&aNs,&{\@zdf*@levoS$ŢeF{2tH]+/vv!u)W^<#ׯo^1*jREvu]Rp -'wV!ڸd.ʤ zpmkxχͩbhjK r,[+3PBDѡ#hp82K sopнhd6ײEwfVPH]põǂf-{nXPy>#3msFt]Я4T"daOtR5bԞ Ɖ9Z*C{t6ZFbn~՟1KhgoeW+5:E @/\6梵Ȏ5Bэuݸm+ ;럷5DK<$< m3FM诘T0ScߢB&+B\tאI!QpNz)MM?AwŵX@rxڊ2{7&DG7c.ӵkY-|r./l^K64Җ~uKUw>S^Uj8/i&&Z}\R\W37s*}TS(x(te Rhⶆt Qq n'XsQ~~B` J^16ύG>&ϧoٹ\iIFq$k-WOώE%*3$ p .dp50,3z =+j<4^{]xYk5&FvKj bʒTF֊ G#Kz\>Hc(5C C:;2@C@0!X ~}1Yb~|ueIIo@?"|$rIL)|nDA@Qgh] A$PН>I)Ί0[&h&MrݯO=ɰדgaARId~֬hIK`K*ۭx&{4ڎt~OCв$G( t:I_- *>K0!lN +Q=#}.rt[H|o+Bn$dVȠ-yJpmnPRk6k-)EXpCtw17q SB9; qmWx H9Ɓx=!wY($%{nʼn'WHƃU5*=^ۿ"Y0ߣFw{^^|N@duT|~6+i%,;ChUjqc5ų@{᝻-WAV VgCvYN.ׁ6ס5=S.s+2s 9 [tDD3htƷplP -&g3iU ɠVX\rR:/>?4˶uG|N)V1Sd:MעP?e~{/"8O{pQ&bAUvJq5krڶ~Ni' /O @(V|/*agMh9]K !t LB_S)oU26AE~iw.eKpgP[UŃ@<5[QI?_ R#pM~=-,27iɥN,ݐ5h5dWrrZ.%ޔ㠄9Wpk_OΡQYM  i/:{鶢DY_HPy&5q&f{j`-m5*~쭞,)rbG[^1 b"&KQ6鈹L9([msKx56n+ &%@y QV$q"5Ǣv[F5FOt$UyLZ[۶TUuhb=vUp !ܡFG.um61*,}'+$f݄"bh-e!wx>IOșOĦuMۉKuIt0󚆘O>)ع,F{FIceŵg3Olvr` rIbNK1=q#"J}]PINX1!fN-]$.1 u\3Q}gpyd}*GǪRFYC( M~^j>H5SdӢ84a:^\%&?${]&o3lmG/"LM0`@X*<Tc-Wd Ϥ=q/M󱸔c Ky٫Ž@X䕇z?U|qkq?s8dI3.N UeC1 V%c ^ޱǙa>sÈ'z]<=jNP0d{ c͑ŕ1YRut)#ĄPn4j@" U4s&jڎt. ~D]KP6ჺce1rWEH3`eL'C+ 1X#9C~ҖJ_,|i߰1A/uR$^/`洃wr}oO3;ܻW~W<\|]`g4&78,.rǠ ݑ]q'Hhɓqza{]+γN-Xv4m^e.ĭ (ʭĤfif2ۥz:@A;#N껱hӋ BMMʋc5 /Xq ͒xK߿ľAyXNnFiFh(vL&&k3yV\EȻ4/mTH>eS_J.v=}o 6&r?$nd;Utpn{cj:lsV#l0Pm.t ͫTgƨ(* DfR+BC%M/VD]߲ke8j_Zyߐ}{fLnE{D:ͶH xo"75smd!P+ѕ2@}HaBX84,wH5%w] r 5 s=D8.M -TlW+λ3]&k0Yleӥ&*xG츻c_ _V2e&–;wHF݇}6D ^k\U_3%= /U(Cpľ f#/͈s0Lh_yi41g~Xi.$}ɂC5[9_lSfS[3_Gq)N5ХǷhMAtO\4KGXڨ[_k-cZ멎+|W V_e\KreǶŗ#'I"sŊǙMب**61g*4K$ f6ZQTVf$zI|%ۈvZqי6x :9! bđ%R0JCQ.1RD0Cӡ|@g9֢nv;Fu ֚hq*G m$Uke KrHTra׏⎣cQ\@];J?<٣9w狢μq.\UM3$)XY~;"# ;#&0>L GV?5}1^SXAJ p=iHBdnT۸R;ɂf. Vl?\©$_f4 M8u erhͅ(ʨ?ص@ 8q5-}'{Py"%V,>w5é7)dGqY켢v6أ"_tM]-g VnKmݜIed7x;:~pJ=ϱܬafdqODwʩl >I563r5ҫ4*Ye~`a2Lueٛnv?6\ʗ0Nl/]+Mזc٢bB{+v_Q@\Uޖ",=lN C5|˷YC|zmT=]d#Y~xm4B#';yv7ɟRYw\4~I(BWM l0I!.fޤDy^ʳ #` ~43c 5E ^LV3K; ;+Bt UY G6ȿAkyQst5mreG@+rݭHexs6w#뀼t 9ھAVT@CO NWb9^C_ dC m1]TtO*MJ Y^kheah G{GJar+WԀٽƽ_C~XoPALPB o'\ܞQe$:o銀~( %ٔwI F|z|!! ~.p ȴFVWhnoJ rGc6 0#?0ɵw21B̲誓V=$˂lCYIB~)!t('8]~eBu G3]cFo;nY t/of-ry}{#dqRD[BE w)ԤA'e,y:q2̥bs.ZwY/X&gom#~ދs3mդ+!Wd@.ӓ2 oCPj $*Ju#J= +gQ։9=^!ȹ| UfFESXPa~w0pIO21GfwvSpm<5lzeOc#"gw?ʇH >#roϠ`19ٷiC~7-^KJld}3h< \DV7b%,c1PO4>-ɼNZnp_,% Ѥ#W|+]rzyΈH{wJI j{? p9U=o$j0(Y&*7ȁ6[,uЁ%Z FB6^vxag0wz!?LeIӺ9c8?NY{iLhRFWO$)[-gכįdOGuuv̞a+d䪟g1lx2Jf~N7td VF?=L\uJЦZlT1: kX'`9zZ;-pH.c5U%e`CTBTNA*nAiN@ji wo)RAŌտ !q9:ox5YԣkY§HwD&k{ӱw7^V*"4={jC_s'΄GX06=-J#Ryx|4qZnV)j 6`yu542)irjKa߱`B/_ n&ͭ4n9+]NԆ[uQ ]-)G XX;/&swx ux8/)7-EqY9SCbNz@.`߾-_f~tYpNf8R Ye/b@0H&l;GoHU!3Fm(lZl|HH'!\ܤ6?QPkhC$d[D pRlY1msIU3+tS$u4pQsmŪ.;<I}Cf3~\@t%kb}[Kk⮌S9G8C-ۏs Q߯@i=<4%^I& ep8o&". B|) E{ij]CY50 z1ʭ:$oA`G)mS¯75d2FFoXz3$dbfTfK*E[60z!+zӇZRǺᧉ47bUJL~A&C}} hW p>ͥ^WWn0* %^?T_nVA};rI~910,ƙ1<M˙ʮ4ڨQHU<`2fEKAq: ޗq;oj?;$E!gd";iAӊpjov;e/އObuC?37hpώnhM?G6.rԓ$\RiAFrJ;S$=67֙RS:X0}#d ǏW&+oq͎Hl.p.S2}o#vR4=a-R<5) Ը˞|t"3rz%A lCl I;"fT܌4-m3 [צ SCV s2We[j$f ¤8a]wsIo[1Z3 Co)rN/Qˌ)"g 2&,vWCH:lt3) :"W a q GN AIO2ݕ@t@r"&Gl=}Wԑ !"1Fᱣ3W&޼?:mˆ0j:(vqee:Q LD*=\tMwL`B_'JAKŹWtkV4σm%wų{άj=X ʬFyk؇uo\3}R)VjTZAn U+%Wy͐\n~*7܄Q}X3o15vZU\^$3AՐ0;Z<0XLGNxڿ*/Ht'1"@sm11@64*6ӸLM-J66eBO+/Y-)6meXTFw-m‰S۹=1?^'%2#&拀 D=SW#\˟Nd 25ÄQ./X¢Gi}ޣF .Pu92Zjet{9r`νe` $n,[1Iӆ6Ʊ 0!/K<\<&e= 'F ZOhSoh_Ș-@/ `֌U~41ݵ(xpt<8-QPJI#S 5"y<:6Y2O>8cvch]\M^W^D=YTN78$@[|~O(.=Ǖ--?*6gҮ Ed0J mѪ1\=)6[^BK's3U3,8puX"r~T̟,,H5)!c7hv:{a)J tK6c}I}L,n|c$˞ٟkNw !dLD/5 xnW(fj]$Mp,lIa4rNxm6=xrN(#2'Gs5Y>]$F~bH:9]1fy.*w9^\ղX UmCqN=~-ݾ@6etM[||?-lWit^f==`[{فd]$/T= 0W.3uXWElH,}(8`oH߃NIOR ɗ6Fzxx] W Zvu^n}E'Ɓ.) P rWg| k0h7iE%TF1v;lב .u'h;(KA`#:?6wG^^!is7l!FhHP3٧1 Ձ?Yr!e w1eAAY"EiP˫fZ$~"ir2Bk&o<>7<ޕ`aQHcDx<+ⴠ5ZmK?@z#~ q9;U\`pzd Dhg5Ф2m[z6{j,-&ީb|N칹b9#d"e%:PfxTI r\5GY9ʓZF<4[iH(ȍc iRR $Kf]E+x_[?^B&#BU4 8%L'Ju ef3n#҃fd|Dh@lW3س}tWӊ!$9m-BuKJpq,ѵ8@#95;BůRM;MNkBiP>cS?\b +HAtu+Ž1#|->yDʮ.SF9/Lx Y.10;&$+/kX5-W?iHfrtx 26?}]nV.X퐉:tvg\M H/2zGi;R̨4\I`ݹpO ҙO 5E$/tWT*3E2-4Xk${"l(Ҫ4?3Q=ތVz6U D(ov^ػp(xTb!!JL{\YɗXǼr$0ٶ9=*A#@!)g1JX;6Cv_<Vp)SzZd ^0 0+,nae)  #Ɗ-%.􏩐bN(Q XPy0k+DAgNql9 2F&7msE**OPJ'|TTyookk߂LL~z*dzB8o "xJ{|-S%2uso.|n2QMf&\)[Uo aDKи˯{ٛfX1f-zvz-_@wRڱ9]@:1q0v;cE(4Z|fU-ujcNȾȌiMR[{2z1isR"hCqZTgV2"PD2һ!{3GKKPnLZ6Y4Ɖ; .k+e4膨ԻqP{S m.H%?s.8HS'! ؚcpG>Y tuWAY QOvZԳS6o`- B[͟8~,hYUk/B2)\P#*SDvGFNzw: \bD28/Ș΀06^,5 *},_dU:Ġ*uF!%T|yRUڜc]R`\Ux꬙|ߣ̷ ?Dj?l͹7Mz$(@r?.W"餴g}sXA|iēO/s ٿt({s95=Zd!o\`|npr&5$f@i@`6*rďހk ‡' k y5~hY~J:<]ð̙^wtE F! /cF.e4`(1Ao?8(O\@oݿ}ko># KPv Mj3Od(9c,o X~U:|;CZ@pz׭]Zz!+Hl:RV7jF77%=[17S2wo^!la+,ӝ:"fʩuC^kuγP io\Z tE:hcRSc좇-j;QPә$*6Fyrj+'R5w==u, {Z 8%|S'["  ]G薑ٺ/RүG~/?fNEm&Ë }WsLe̡iF}^&QToHQ:8@BO?¤%8?of6Hc~Nx\֣ٛmqs8j2j9kFja'0$Ȧn'OA?g^\,JngGD̫W-tA Y7ŊI,l$lwg(-}*GR1{`||'qDL>)E f8h`rשe/e6Nn~t@PD THp!UqjuPUY%͎DPR.o7kf_򴢄if4iˮ%8xQǥfV!ٯw&UPyueIhx'G _O{T5 xTp0_ɓ s솑A^CdplCʘLSY4"bO}! )9fVݽ(!UlKmEmJj70P #;.*XVȹpSϾ9[Xcג!}bs-9;!hpӌqL}8ZɦsQX*~ r<z5CLQ l̾=b$Y)|J &G%A.-:sL Nڗ,i;kN1ڐ* &igTp,6nrؔ7 MO]i>᳊xqԕ6 8 iiR8| #)PĹ n0 ^~b^j/^wO X~x{+THP.; }*nN.:|bY,ܣ= cA3$x RӔ"0iW8 "5gYZfM1G# THOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! d]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-Uy1W{`|B{)dD{GvN\ꪎ`0v҂E?CiAZCLفX=x2^NnuG/{H'(,,g? sI#Q^k FOfcc2@Ai(j}vqԏᬻ_,t"6k AXvW3d0Xw=bZsp&= \I=_Jq7̒EצK-(J8 QB!՘-@xͨ Ǖofk*!JAch[`0?#Ґ2yq@HM ,<"8`3dRv0h{ :Su`~H1$Ƃi"uhgnJě-|'H'Ѱ7n?e Ju€\D})8:-:-'DАBiԏ ^#!) w :>f.8R$qڠ3FCDrkSF' ,-{'~ +uY&ȸ`qJFĺ`)NKy omYb5=RSQ/%쏋"KopܲIVVM>bXcgܷ-'Pw>jFLG丹xyn!B1us.roy|`"VLjאO= ZIJU!}'QRW\wA\ dYx{ҟ #T^؆& l+)~32vYjƢYƈBDJ+pL rog}GX3# nxuмem_:voQDK5fCt؉c&"\AxNUw.31-dp8֩oޔm!tfzRUUû"kXd#cۜx. -&A{tГMyNZ'ʟg'9@հb$x&fC$_>dT7ի\bdY\% p=JXSMFZ{LC.n3KuRRwXe@KA,䫪˩iZl)@8(=Q9aIsi_i5|Fi3])\P ` $  fgT,%u~Wbom@r2^PxdZE4rlkhRϡ Dzg3hs&;Rek#νzWmRM%J *1Lm͌"h/U!pB8$nC,;sdK&)B}K^袵 0&w FbcPIS^A~(ßb]-Eɛ&?y]yrZ'*eX;FIxF~m6 >%WUqᛈJcj*'^`4N /2p34D͓uol1.n| }؎=zFinb3 %ڿBp~:Hky<5XjxY>jE&Nю?bw"YtİqXøqbK)NΔT{f̈R y&w. AV]<^Fexnca5ݮ~do0CҪ{snek-բXc"\ɲ@%F1 zTNЀKe* btQ ?V`1O2npǸ'$ dyWD^nAn4sӑ] [2V3#O~P̊jU9َ+QD_CH0sC#wK_f7F˘M]ZYl?'׼bj  qa>cF}Qo 7IK鞼|8`+\oW۽nQ'N55gYZ~R6]|S5:}(Ȯ <X^3hEB(Rq4I0=xH1Z֢d|*˴qf ]jjJa \Tipta6eA۲|k{%ve?KM@% s_۰z|bE {iu=x8_^ԢUM VGǜ4-R"Qd\]076Vςg^0L`{Ҥ_bJ9j %mE&s>*6~Pb. Zӻ8u(62пbP#r/d*1N഑1D0.&@"qP>, ,L˕+ͼOHr=BOԢ?_yk3r8rcù'PIOEt2kCN:s1JXUj N?5)KhЖ@̺M&TgZL3\b * t0,JŢL#R'8(?Ԍ n^%+?gBsQU |SH䙶Rh#ً7z@F'Dc+"6bFLQ )ő{||1N>g֝$BCӷ~^ P̸!d$>2L^j#-!~Qv~*BĦ޶kD6bshfrĐRxFA~%Q3(9Y9d2-u&b?4齒`2nNÔzp)4D2&rMwW-D'#Z8` ۍ@h)]س\T{ И 7]W/]oјۧ.#n 2W$9J^d& (Fğ@8/y9h[u9PqQ~JӪ}* ƥF0eqg1TV%iڟK%R! ^Dm;-a# ZiDŽY^uR1+PPBCw\x+D۠9K+'# ‘=שVhQw@8%v (H+!$$8H$n+!a S$ެ˷^u) RAIH.w/ ٰ!R{ ՞a~LSD0omQ,zեLa1fw owU޿05Ϲݬ`"gP gOk` /SRfXiBnR?,E+B½(wYE|Xl׎|'pٙ,|s=,1"4n7E{ߍ$1UB? 8"L`?hNaz\H4w;7cM^.:zubs\۶c 6:lK@HyԞIt q9Wud`%p$'x!Y})yD+NE,R30&!2ɿE@{lJ+E_4(Uy5"';^y$kaDo&k+gs }$=Xa:YO#Guw\V`BYHu1,,p%R[]03Wǟ 7 W+ gt'fqܥ4k\ [@%l`Nޖy0ZHECHAFˇ;(K R]gWvV}/N"F1A2,+; T@ b>۴"KS F/+X㙜 ץa|XL'A hrMXڑeWlI*;h}`m$cǓ̦Lц:]470BNL;04~+ËÆP~1FcЖ2Nu.$`e_I0cHj? (q'xgDqWTd cRAkoɧb5UC6gF`2cكsOy?x>LJ ʧB ҳpW6B= w*;sFK^oh[Vc[|X]NWU9hrύi.G8 VBM"H`ܥPdtyxn B|8]ΔB.a7t em5kda0.XΈ73.@z8X!Z*/MzpKHfs$U&2Y(r:CKxuTਪ[BLRvͮ8.ej\bJu0䛷 91WPYY-z .:5~+Qt6eH!KV XYBQ?p-/^1ΨT&u1JtJ&)&8 ZȤDM5 "]*dAam/J@/ х LL-$|:0@GH?Hر+ew&`ka" E.c^" @,0E']$<+ad;Er#* KQS*M"c6]8qɯl!eQ8:j_ PJf^b+@gYZ B B R1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\7U-u0*Wÿ-/%zt(V$ -4to*hGDîr]'-,"n/%^ $3{T&/Z(ᤡP82UpL8ahu,<DV`B ]+z^% KUqa陑n0 ]A:'DI'sCI=NR~JUk!<mejtԁuSF<^-Qh4_ %2IiG0G~3v<fƜ<'[{M'.DQ3 E vw.uw]9'؉I5Z#x 'IUf=3`zP|ÕFª8E:͠ fUnFoE׃ T1=>j&nBx BlOw M" Mg}ǫ5"~# G3=ZgYZ#Q1I# LHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! y]Ș'@7DѺ9 Ǩg2H׆\c`pE[eczM}LWUͱVcZ&~ErHDEọD;Fm__,N?<~sn:U/ 4A.t8kqTw-3GY[D\V ;(+4iI -:3ngQ7&t[+RO\97}_@p&"L U1 qh[ [2cVYh2nJkIaqyKGR@?es<()D[2QzHM,كCYeڒ[[Jϴ$(+&}ӽT,2^O|ŕEMc¯3hh9,:?kϑHo(LiLѶX0=6FM/M_Ceҹ6?O7^qi7kl3U_uS2z: Hs]D]Τ";$Ygu46J:V^X`J\%` ڏ+tt79O.-+n[u`U]Ќ@NyL++O{PrC&B \,%F~ "}NW Ս3{+̜uo Pߓg]1rz0Q6W]1uKN5'UΪCh rs8m(M(^W p"ᙺY{xrY @75}=9`$i qgvLc5]fhٱh!a3Y[F!܃}";LbBj"ݢpKad&atATݥJ",5+A Qmل/³)E&wEĒ6 kp Ֆ|T*)۔ 3)\`&nfHuyk' ^w)14RR8_ X>G7_ |{C̯}1?ogEYRoĉ؛LJߢ!tlYAD(G걹3xѻzX=~iI}l)v/poi<XlKI~Y!&}>e4fy@16= te6GTm`Q8X]t$(m*WIraum)iϠsY_"5Iվڮ*@ȸdƂX姹V]՗)}‘=ioFPeEUtyFIF7hY\ HIDm 'ce\o-=O7LKֈ_IzMzohgJO 2S=^iTSƆ(iпgک@U~*"*ЃHw`BiH1^ZYN~@ݷ'ꁵkZLjc? _24 Hb1qA0H*P`ifZ3Utկl"5nmb(Un]a`dC-ȲS`JgOZ5RP`e+,i$}BT93RLg` ,]d :hUm;]^t'8ф/6Q <+c*{kD!i ĢcQj Z MhvžzYdKV O~k,ϳݷi?\K1>W>?7m!BV*r j4V=234Tq5Wd./ĩ|'{]\1P?ҏ(!jqu 2i)Xe䃰ƣ@VEm%Yf'l ޠbI(T0տCa`){(fؾl(hu-H5*ۦl("E4y.9IMJ<VlԣHRgB,br X]فF֕[\VY(| `zhS9xE\\GX(UZ-bwevR-Rôug틷Z"*2R Y'l!}ԑ@h zG&~gc{W"sλ)b61m4# 0~UjnRU$;}P(&P2V}y5GgO@*U#lz Ϋ`lxqO#4 ~tU9E+ݵ@ĞweeKCeG5S?t&> @ ovLTu-nssqvWt;ũL&29ɂSb.8bnEуwσM-m}~{ '؅BrQ2!X CNT\Kȿ9@uG)Y۲m<2?2Ǹ|.Sťӝ10$ N ue2Adΰ|!9,Rk&ڱRI6Ny0`7.GIvF\h]}ŶuAJ l )#2'`ȇg<`?xP?LM zKs{̂sPD~~D bp }yԏi͵RyGKL (JOTxw w(a<fBcDpu?X~S'oQLVMV_}CAgǡNF\#aG}7+b(Ơ# &{oc5 k-r٩^uqp $ϋTfCc|Ylw>tEa+kײldPQ H$Nqo$xJcž!}Pk?>D-%~2t>:Hx1\8t7#$Df]-#۫H;Lu Q^Sez8 jOҏ4K;0er@VpQPw>Ýf(+- OQqd+ qU^lΝI:^Gl>~R#晩>Cޱad",9'u)7+N #ЦwDt.6P}9YOL, RAVqeL%IԥEFVQYCI >n\DV^^sXpD A@=@PKs= b髟FVO3ۑ0'X5uEǫ3n"y^uxuO> 6~>BOeuӥ/&CpY/́Q^{_92 f*V7/ec]}P2kn1sQՓ bHX~9 SV>m#j钂<5Amp pM6&=TL, tFZxwu8DܑGf)YJi`' z)NWYð"ؒg>fov&,Mlx+8sޅN(/n<>VB5 y6`L2@`l)H9 bI}y 9Js}u*{"rՌsI`0b_)C֛-Mev ۓQա>v3l`Xne5O7ii[b5A'ˇ=`k'RO삱mp<d#:1'8HKIC[(fu5G"Lȡud#ע fxI\ f$\$Q;Dlz$ˡBz§< ,]w2Ќ*Zƿ ۮnNq`Uw ] N(~u#|P0T651GB*E|5fŸ(/uE(u+N$az{&t@~2J?{9| š39B-ArRb:D#?ir8 (nC> D&lFA܋#oMAtQl=MwpND<;Q*13xmAL/.ڌOG2t?FtBt]'X+"AįԘ'/6=dPI;ekzU$P׻n@@<9(se&HR"3 57YXc=4!U W[œ~%<}NV!&Jb3#? cINDuM}S`|+ t"XǞon0VMD$$JuMD /b<#?]sj!GGN^h:A4"o;X}| O\qI kVj2^I2YZVt"MTD깊ݲJ HEȟcvᦊjw+EǚA|+^A.o󓝬4He2Qӎ&#œ;˟BʶnY2s7G}YSĕW6̎5J7MX8 *YnzcVJ@6r&eCQeBA(,$ʬ Sљw]JܐJh '@&mEqឦ2VowXC0|ﵩ0a,HlGs Sbr -03?~*.}~]5C<+ p,8ۛy!&*l$ul|Pis~UzIȄ?]ŒSuoPstsp,1{k@ lql-V_SX[XXS{ Kp~X3ph &#|Q\=yb)$xIrRPPpbP,>|"8RP7pogEͿ# _lY0˶B39vгK(i9q1ep<ӪmNV#x%hCJ]wX CDw|t*=HٯX=$֛/x{c8@ I-+]=r7RuWY ~$‡8Fn0ȶ t l>SAf9gSB\:V}:c.ѕ~ C1#zwFq odĨYv7J:;'q1NZRKuZ>.vs _>cShC?2 po܃h/ᓔRB~p#}բ?.OyŵYxPc:2,盥R2YnSد@ A X_.bCt!!wϠVpd%D .VB|`X5%2௳U1?ZW?>EJW-W&^}9cx;ƫwyw֯0I/~7K4_c^?G!>jQ ǸT86KD: TrrQWvϯ*'T(o6e7N'u-8I}8LzK  >+'ȡ`Ԣm;z[<mLPj@&ZlH$F$U7yROγ3Sc_N{u lW^lǮ,Q6*{PWܔv,S >"yֳ}%GS9ƠafqDM)JPN=d^a.{Ȃmݰ"sXԝWkV~nJOޓn`{\c%n GtrQ폪?*Zph Ƃ d>*PyI\ɚ&d/sɽMO˕ɜ2lS,$.^ջ2CbBc ɥxc/6Z fWDʘB)>Dk%qT=[.niHOHJf ;i|Q`[ gA}Uaq{A(J04!;Vs%@W$eEbw_Z"or^Ⅽ3\\mzb3e|^j~N&ڸ@Qd \UK^{I]K!sc^^ /8`d>=]N("9R*29D-0Zv5Q0O\"xm%>?Wb"'t|/6!~tlp kۊthBҶZBPAE7SdZ'7.yq>eUOꀁY7=|Tg(׭ uZƂe y; E}8ҍ}dZ'2#%hC1zq5Vl09ӢM]\gb0#g"Uˏu>-Wo,*Eơ9ov-AXydz`I_|ql#2b%6=mm'nۋ -/#@KF+%=LiD&h^k𲶷;[Ü K*k'AZP1%DcdZwbuw[`'7p\ǍW62>n݆Xpkciw? Oq5{ǁ@ ԸEl̗!RֹeSS_H!8ĦŤ@$=:YE*d3fZG|ΛQtt% 2gCw{!Du^2ߎo~7KD$%;.ߖ M}?u&j|[9C.I`N !)賛vNN&*kQ%ڱA9OX7#U Z!y7S~J LHJ+CD" kU詨AKeIO7TswȤMcK$!MYay"6W{^y-e!N86ɛ[򽳣_Q͵ke\ #xO"l@8dF](K4MmQ5֋J kzFI}5ą+ssp&$kىBf[].]675>a O@G1SvCl 'ϡ^&AaUUTmhDO%H(eP&ޟ;VR)eknḷ 'LWqw?twQR{a+hFfhP8lSo˧ƢrԮFIҀwSqbd$kadmӋE/ y/˼=UՈ4wPrt^~2B?kBi-pE6}T?_SM˭%o+ &%ַw|?A)Z-_d?ʑq;=ĈQ N/_e~.g 㕋*!V-XX,4DP)73tKi$4y H<3N*!]I۷ zр-R|?~9_nGX1⽟τRgyyj1m.|tC|h#xɧ )|[}` f6SQ3fzMQ#IFtO>WrP.n;[zJ0J*PĉK[4֦_LF~ڝm=nwV7<'`{\_q}Wcl$iG;+0^kxBv7 ٯR:\`A<֐+2Daɮ4)&-(zmŋ,47<|%UsbtҜO{r( Q84|۸-9=H]<3pH<Іqi;lM@uX"8"qQc>de\?^\UExAY,7fJ n ι}%=vSXQ?6B9P/s^2ʭ ᱰ)WVd]p\{En_da lձgYZ17aa80a449be66f1b9dda965d01949db9be99ede34c3d73a560673e85d6a79ed679f4ac127002b9c cb7dfd709478d010b69c5220c7d782899ba3b103 1413cd76501485111dc589e55f8106f97f9eef63