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 T1zd4< ] HOL-Corec_Examples:threads=6elapsed=145.643cpu=470.947gc=62.6877zXZִF! , ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]78|B( ZZD>lٍ4D`{rFWI'7k+|HxG?倞QBb1(+fV,p4p5 ;  tƹ;4)Jn3O} D/kPT>ex ! e .N2LÙLV_#u KN!ruk5Ps8HDk& I3a5El7j!0,At0jPX/#힒 /yƼ_1CA6E\v5+@{S#K!x@ ]@:Cz`[] 2tif@+$Pp)*/ v껉'/~&ӕz^~ay aפ|#6Sj}+RJ ;6IZ0OdWb̄0[TM3inŨEHP?T"MQИ6gƎVW> x}Z`Rܨ c+h,8ٸRuϛS` _sn=?m!-x[Ǧ[ZvͅAECUϓW`sM w~OcǗd"2#P\aDʦ(`4ݗ7'_WMwWYQY/sgU!:Z D-n>Pl6k'Ov{?$)6GEltv%5;n.l ;aSAn_s+ELVY6Vʒ ? Z*X > Wo10"^3 ZW`5-QHɩxQVD,k0$kf?=Z9_ yjIa\.2l}`s֠XCT:@B]|]( SھZEL¥&a@!Qxz0h-{thfq 2TfA\D*`u$_fEd$oCRL l Ðh &̏+xӹ!:["ν˛OU/3x1;K[>7Hퟡ9ьmM)Dl)˾;gn朕1E\7\`LNgK!6gGh*)V[=okShn_ wA(Js Zόׅ Fe{F75R 81#vyL GdR)2kذBjq>֑4U$ݒX~Iv#׊膴; V7yi:"M!8to0vW:F&8k=PL];"ӵc7{1(T:wQwd@#C>#2LPu, g<⋨J}+n8ĐncH)#ܬ9bǻr)wёؕOKMp'eWpKZ(+>خX-UGcAOj(=0s֙}RjnYs6rWjWY`]MPǶMJ'k`Rcocp#/Tҩ .jsɍ Rɡ/>ȟz @bkol8oV3s hY.h[ I+jugYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩkg dF_"3ihDRZ=D;* G@{xLbs$AJ6,T'0swC}y{N|f"i{I-ı:^l=Hi v;fT'xclܚ3EF7%q" ^-=IfZTr#_9s, '}ָ q}dWI3$k0LTYxi}PRyx(1)yx|.qQ 0^ƃ@ K,F Y8kκs>ejRa+^DžrNޜZwe? dMgYZ7zXZִF! HP/]ŗXi%BfY ďKg^4iyΉ ӬHM|(aԤ aUc&jp6`(OWꩤŖMx1c:Q')~H 1 HOL-Corec_ExamplesjG~ytojJ1I) 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;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|dXc0Gm8mt 0$uNh*(bM?(#^XVp֪_Nu;/y3vzwDɼԢDx-~yy=#GVW6a#BFٝ*3F  wmJA3T#A=-?XKJ[* R%ƚБ:uvŵi*=LzY'_B5.HvRE ZJ -ޤ9>%3;7_qC)MH@޷se(kޯs)Q(oLNe'YT;~xX>0_5.R8fv0%<ġBrNi2wSQeer봻TzUywpHO๋ȰgtE (`!Yͤ۞u 3&Y;쓣sq΅L+}8N<g*u'vx `W2>TecT ,n!Y !N)!0!Sa9f6nY7^i"a^Ԡ },tR~pUSX= C_,٨y=uKSK*. ,7jDx80klJ|qxfy D|L{h~TDQN@7.S7ͬoMw8NXuN6P;s9ؐGRlȶ#aK|;FLOu(| ZnX˿FSf@HD>O~]-#Á88FQ2_W8swy%_i%\U.8۠\[nͽ>[ÿ=6ҊPrw‡b^JA&SM;Htib9_uC| ԫ s {buGbBtJmar:JhEӻVNN=Szu;e-"swL[~I]MBXK)4U}ph&aqNPPrsˮot/p@|9}Rֹ7*gۢZSapgA@I*RD"az٢o}xˬ.*%b^|,/1Z Ɗl<W!33RVFxuiE{=˄=<{$뉄㠁z6(7KKͤE!Y,N#stԭ\0(6_U}̽hMh*&E` BNL! h:-qO *ʥ!C4a/QO^rz E|E͵ïFN:&zةK"\KI3_~DH#O :剣`,ĕ]*8^O^^:B>dq5q@pqyC1&ڬR> %%}_!ΓR>7x7cGk-D 'lပ :CTͱ4,}ԏֻspqnKM#fnoeh?I+tskUԝljZy~BAi8[|V0#ena~)=%)3rr]3i츆}h%R Ku~Xe] :twBV$ qudnĀ g/jE~mgcxz|i3Q:˦N6f o g!9{ͷ|Uj"ORg璦^4L/lǁ^~M,3*D&8_c>H۸/eyLsGfbTVi;%ֽ(L F0r%3nN+p'Raxa3_q:6MOIG.t8Z;ϖ'gXAR rېF/h6 aOr&xqݔIRsr,8pun 9&J 5,wğH帴??=T`V)t]G=[x HR$v+%00C#fZdzbcV"䕜Ydvj*ux"K}nS( &urnL]|85=׍x0: -!6gYZ JJ+1A# dHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&,]ˠ)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$V= ,G8}"vy$^Lw9õbIȾ׍( -\REdR1l0+Q5KY,.*[.n!ڿ=)9*J(E71=s5Rf.HDx]+ :̛gav@ax{e`}0 Q;cɦڒH[ /V(fx @๹-wʲfk*]!dWdEDn; <?h҉5G! s]Q,ݩc x=Je-,ndL,Z㣒 x*r w ݡýolnf&=(2v9I>_8maLzV@K; "RG*߬' /k< ڜj|U)JʃQs@jCkx}./neT5}E:>SGc7$yo Pu xxy%B$e[|;r6KqpB_>O+6ӹ)OEH틢1rvr rҷM2-TnL$hmn_HD-̄h4ZV0$:8.0~Ym [~}c1}E _Y0"sCۃC?S?(Zٳ=ތnɻCjjͦ4ȯ@r;V9nluuͰRAYn7-NPcZѰ SEDPڇw[l uyLX=tef$) t:<fйBȧ}ZbV2 EƉ Z;H9RBZwFR/(e}.0ښ)@Kz&y)3|զ t6u.*v/m)9ҞtZIrĂ8_FWiKe7+)z8`QQѾ^L4@S4LW1M[ioI] tΐ0$Z\-N<%O1RĕUt=[D3[@h0fp>QjE>/l*=ȀCqз>,?plp[L㕎cy@Aע}b%Ka+d~`#]5:n<&S KV`5`Q5__ܧg*x. j?_t{Mw-ƪ\]Turr)BP%RFg'xl.ߢ q­q3x';mƼ{ v|̆ܓH1jOt-8c}()K_|5ؘE#ފ >OGXSN2N!+A6\~o|۴DUSg-{ݢݠ@=v3IkqoSw=R arejܨ=ewe´LIZL8w!/XP/(Aq^  :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_id542_1A# LHOL-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(>$A,2{zcZf{ւ-9ukۗЎd)G>95X;7zW,yڴBQyݏJ;;0,EE7.\}@xs!w Ic1!^M8)x7 Ӕ] ]ALhܞTQlN+G"=gs%5VA' 3!(7?n+nf]܋kEK-Z額9HqVB]B彚젮v)_=%$Bou/4LޙjRo[kb o:DJ}gz6k \z[eyM&@FȎmV t[.h*̞;k˶ꩾeCM@_ \F@$_JQ;<@"7)/Eu_Tڸ0+'qX06޾Ɋbn\H Q|3*ѰSZÝkTS]Gn˯54?vwz Lb _n1[tW ȸ^CO4k3ʄ]eؿ3pLKjY -蘽Pfmf-_g&xPsPYfN}ʨq:tǔxkֻ^k'`;xo U<} w8?"w A8R499W0{aۊ2}+,{VIg*mD [}P~KW `9"iD泵k񔪂^|\b,\^ /lgYZh1A!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' ,HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\8k*vm7]{aކP4sh:-.ܻR+D!Ȍ)7ڣ|jȒIAg߼)9MLj'mW) ҌPuR.NAƵpÖB٩r7*d@ 2;Ȗy#YvE5Næc鯭kFceAk_xI}ñAna27݆!hV]`݁2}`X*MG,}9R~"rm\nX\r>H*NWG1h*voؠ6Ιx e6kؤėzFid٦arcVqrŮ;z<,V o$.lY{ e: )(Ձ[z[ahLYJ.owxzĨnS8ⅿz=+w4w :ޏ)~:PL`6;_dyӞ@Ke}F$δqEǡ9f`H]DwkbB}Pm0y~ɢ[za%Zv%Φ֪qmTcƉCHAKR߃; WӅ\n"yǿi{I-;ձgYZ   r1O# dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! j]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTB^?f[+FSouv@ &M+79*}#/L:`@st #1]kNr\G݌ܶj9H";vFOzȼ}@jiՒ{/jcǟ˺OoAb+ ֻ9hzgm1 c~QC6KQf rћi8C﷡.I8AG4ʸr2V;dfvj+i6CAvʃQW-+c0lD0fBI_">oNڒY:R1:26Qf߶_3\U?'1m$aeznzQ6O#!QPd@݂8Ƽ;?_p15NU if66Fa/)M/yhNHKyg@A=`!9l&e,VOet%8J\5>[4&~TT'Z9pX{U風R!v d4Do]jpm4ڭ6Aq{'?}(i;?^S&9KQsF 3" ԴR_#bj{XVR&+5-9N'7JD ĕ7qț|66j˟j5p2ղU}*}2u8D2_$Mk/S T=jܟ܃:< my=g(Zɢ@xDNޯ~7Ĝ:yFvf9-n=0" Z\~ gb08IQľ:}::mX6]p{bD]@JR-W*"6*FhӶ#[VZqH5ׇpRT[Ss'= Kn'Wh|mKN=qyބ $_]z<?PԵ[NݼVlk%d82T }(?o_̆NNP1.fa>Cd^Ѹbhod~qV1εљ#4QnB 1H2wW`Q-x µc"fTeWjU^,^5,M#J&5Uqmwib0QDž~pA7>zhGJz! gjSWhh"X 3ۻHn;B7D Է3!1aɖFT'یt)š0TN˙bzdc1ʮ5v?t9Wt/[0IM|7?tHž9%1ʰ.m#SyZf%Dn8❨Ř%TlicCӴ"M_ؼ[]pZ1Zx.)+_y/);p,ٲy?چ %šµ\8݈0mv{z#xfsk謖aOo\\8Y*4 ވBASTCMO}V< vδo M7gŸ5p@ C14i߰=PBR M(}1-cݖD{܄(_DžT+Vﵒ]$::u$MP.`TDZ𚼗S^ko]XX҃zixQFpuj,sj-ajq._Ć[@~$zK\?$˹X'_~aAWMu^Q BЊCӣr<5vXY;<}Th䟈og*ؗaK9g$m}Fblg#9tJ[M+qH1bf[0M^P:|_ ~ː?{[r3SsL:Z[%_^\)!q|!1 :*gڍF6|kK_l: N3-S@81 m ߙR=DĝP9Kcyv͇ H%t R!9|ٍ4%yq+7P#~o㯻.ZȡGnqrf@;a mˌ L?N` xB} zX7p͠{<'J?P`ciac~P ɑrV/_s>[ x?n7DMG3ZAsAb5Xnh|0 Ls dAJ f8@,"3Xie0ӦTT,0'> hodXt{a+Za<>fHN%Z1gt+?{}?pU]pFvpf:izؘ{ Ќ*xL s3jf 0jЌCAlj>R݆Đ ]իek\P(dPi:0>Nb&$O/@[\tƜo+'R "Frf̮kT!7Ta2C%\Ɛ'Ҡ.v4_]<нUS2*/aHP 6R"s"OE"}7::Z2d5L\NT3&MmF ثmwxV|́` Lh|$%vq4J&XIlO eH\SmJh^yzC&0j]I^mnهGi].k^ٞaj$F/ Y.X2TOj pJ½*> 5 V*N3LFeB4C'#L_Q.f؆" ;$7=dHsE&Z^8+l#i3 s(8G(a;='^[ ZwK6zv56}Ž؏Eod+IgYZ   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' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\v21dTgs$'V6[amz] ]{ީtJ e|-҂8gL 5s@?zx(0h|K,{Q$w'^!پ)%]|x(1FѠchW۫oVH1&d6\tc 1ˣIRvN<NR$G(.X<M 흮t~TkE4pթbI ơs=a<8=|9~u$ЮK1F-$k4*0wYg@ א>ّѻ*R HX؆)`]yL9 NWSmE|6 dQs) ; p8_jM:RM(7PD16頾:)=B^0NQsurL]}o{# 'JkW540K?<|7dy~(wM X#J{U+?;iGV-@Wdh˱BjŸV⻴Wfkocb{'S\&t3Ūloٽ]3O)2j? ^wv[zJVbro]2}FJ˿GT*QdKmrS1]Iy'h y/aڃ,'rΰ[Ft}tz4RRiK5 D61؅oD}a]>PO<5?|ͭeA|}E_wyv1%wUٟ}ch  SFJ0Cx8&&\b"3,k;8Ap"7(1G$2'v{öĸ݈|jd2.Ry02q`ks#Ʃ@czEǬu524EZzqBlU`hxg]Dt$;v}H;16d(b+\HrnZʯ~|?)q;gm:"ж4}P1]?I*R#.ʩo]G6yi2p}oj]J^ロpR͑C+B=^X19yʚȾ1ryZFM"_5JӨrxG0~/GB^Aʵቿta %%h6c  }}/|UUh 9hU#B|R(%@`D@ϐ N')_,Y{g 7-#Hڞkdb3VZ'Vj|dDK$e3aog "8v}̢MZMCn L 3[D5.g0>xl@{z"H݄ J3\ Ek9|w ?P"pQk &GK'Mk z.#m2ZA;KOq'RZcg4+rҨ9 27ǽS)N)‘zCR-f"Uh` $ѿ -7hxx~!,SFv[FkU +khUگS-Cւ:\M"bPN XÆUퟂXh5ơ6#O3©C9cYK 9j1$c(mpAf"dk`)ܒ<jX޲X 4XU &a$u+E8~WjvW{"@Ƙ^ӣiFɚ#n %ggx9A+3'x$/FaA V> ?2 -fM:WѦf0/s*UqadX (Z0h4жB8)tqL<@9Vu~41 ؓUdfy86DE(XT!eX0ZZ[!rY0뷶p&dDbp1,m Ww' PG22SNvn8񀣱Mq{_c:GkUO2ólDS"Ϋܙm;Xq8p0k ˆk j_m<GFH:Y\VojKğ%?˥ڹ'8%%7ěöo?g.)@tc> / 3P}!Ij+-g1 sTIh.>{2+f*M*WN&C,=A+\o޽mDQr,zK!AtNؘjo- TH7$(2v;o T^s^P jC@NTBCo@iZ%@HrJt峯aXdۛ 4'iSụ7R8KPw $^Q-&,w8C!s "]ٕDK.LP3d)Z /zmL.L_0*9Ά&dnwF:)IkL"W foaPN-k}_$"!J#[6=0  7kˍ/c^asb?0붖Cu =j e[B"\sm̼ㅯ G>s߃5kczC h;~)#z+L] Ϯ8Rڑߟ^d1jR쎔6a!<ÇsAoT3eTucAGq.(8~(Dӷ<(x:[8hnIbow䐛<1>|a-cA߰{(fkWQHٯ5"ZÏQIOsU-@/~r'dBЀQ-M(=C]mabOf\ʯ[\VȂc!Wz=V4ϡS3j،:k+MB:}){E PHx%Q%l1Ҋ*W$AP]<}u}ʿ۸$(q8Y}@ksOay0ϷpF87KEV?~Iwl4~c s>J= e68'Y7] g-j,XmwSfAט :`z,OcLTn7]:6a)=HOSb>~َx m!DT:~8CkKs,F1v2V!݂UJs%K G0G‹k`3&؜skIeh&_x gXS3NS!"67܇4SP B֘wTbf!&0mUQ/sMs9Pl(.*yUlf&Xg}v/ ʷVubDf yzt:Wk}TTߤ =&^t~%KQ "/A OH1; ffO]l&}~Kk40  lվϵ Mvw4fX]N#Xw3K~<1qf)TK"BKqUcmJՕPgz F`:݈Ǹazk /S IE3TL_49Cv5J?i3nuV,*5Uk,4Xʨ!a:C1\D:j"x}3^P\\U|,(C\&{ج_LܶY>.Z+ %9&[xyq@\pToҸn~`# хQŏvVml%~=k@2O18S ZE2qjǚU2! ,T&g [C9QvKk;d{EQ~]?vu+8'k/ F2weR,Ȩzl4nni)yfT6Kw>XQG7Ndk@54 иp:G* ߩ{yz~4l 7m@÷v}j}e`1M֊k;T*W:^IkP`O~ %RB o\_:bK8qǃ8BTmo9O̵.|:@T[Q 3f0i<|i E&J-T)]:gYZ 11D1S# HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! F:]ˠ)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,[ 2o*N`?SH!CgTov_2pnu Ej@ΐW4aI{xݿC#E;D$w'~5Nl.*PÌ`d&]5䔑\?ߺ?`,} sK# L6"NuQ.NI52)j 衾Ee P1)r 8< 3@eNV=ۡs՟ESz\]ElA3{{ )XzDd2Dk >09yZϑh16j)?@5;O@W4 g˧ WVpzS<Ƿ -cq<1 NLl"?:-a>m(BsDmTіD;2D-TE4-V'](uR 6m_5=M0/ "/.A]_[ָVdT!S!~sa#jv=zÐWW^!FJh%ya; \/RHh 8b3XgsO^epeD-PnR#J歭`{O I`'RQe`،qK F\3b"[i (aϥi 8/,Tdͮv/H.캛b*thUtI)ЕͫVa]| bt8x[u`X0/ kLf,D$=KWBwI\T8I#.y:r*d ٬:tn&Y d@ X> 6S:g7Kom"wld1rvc0m&,qM$<KA7d6qED]5lSYO tqOS-wQpEJ/. @xU'9oU.Xb-u]Hmt9#7lAo!$<dXZF~vZ XT!E'y[sLFgB_HYQ*<+ڄ`n3ҍEхgTeGd|$DŀC7F[9{K4(<})nV ؠtk'zPoeE|H6`Q] XiU>8H%ֈ{Avspwٙ#Jú2bc+yoYs]<=Er5ks`Y}ZCr8+>jI8&|Ö xo.:􉪻X1rae:ͬhBWJx`]pm/~133hNʑ`eJ;ㄣ[@,:X{ !7"r+jW\o:>הAZ̈́Efl;6+rfﮒ w\~$41&5zMkudN /Dӽ L>kw=L^ ?hUDtZN#ϽRE~ _& 7mkiޓ5-({ M_6uftNHzώB(?A߳ބyeZJE򵑇Ø[Sc2^Hu< ᤧ7CY7Ps &j3.5 U5'X@nfX{AcDo^txj!V|5L1Q'֣;[KnW{I?(!;Mk˖whp{U QM^J@Ք˿ 5g%՜\KhПhֈw7cpRdsy O54` jos^',v֝ -Pr56HxҡP\TC0.;W"Ϻ[# yay/͎S+ίې8T4 ;1oޙYR3(g틴QdtA ,# ` 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_id530V#1O# ,HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! $]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-BEfnaZLLrK$[|jh7#眃tJaʦhvi1~#A> ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv{'~B3iQZê>=mCe0zrº.n:K ׾!-Pd%Կ)m+ul bϐ;$(߰]62F{. JYe VB} /ob1FRmŽ z+*;'Μv-k*b!adw y:$)vrT^ue麦"+3 :[iaKI$VC#.ؑ."5I/ם;~̤p~k)6TƎlinxo.G r5g=a9Dql fa}~UωWf1 K!V,,iD]S{!8Ee7Wp `si,Nw? |!2[vE f30WM0h ,\2FڐAJ-ٝ`U.@FE`Mgò>@ti=0&0$oTbb]ݢz /)Q.M<un%1/BPt+RH\k@DphHƠYX^E e d7ʵO^Nyi'QR(QʊD.V'ǝX:Bw2FVyP4`R@^y2I% oof 3&Jh7 Fφ;F|qD.ILS(2 SUiɄ_ j X*@ЬuaQ&*+v$~fUYB"rV)?SSE![se0LՋeCR̹[ E"tQ8#.&Ћ"?,&l<΄'.bjN(PF`2IPcuH%ⅶ}+9"FgYZQ@vn_C&UB|%',yf^&Q .zTvmgz Rʍ<7Lեc^c.hd [Neo̷)2?PCm:)87 TRJ %T9Qhڣ'KU삑kתǟU`dB~H '_g߽k@4WڴΰG#L*c MroA/Ocil@=vG% d!܋*+$qjUU΃zqFtڋ?Ekjp&#XQx M48|L!d:mw:cdW GVRc!)Nq"u/|K܀\9-TT)+5uwUi%ݻ'wՙ77kBAPP#s^ǬMV2߾߮hz +-@v}M4ƿɵo^4ů048D-u A9ѣk3ki t+7tq":{5 -G4!@ZV#9&ʋJ%#ӍgJi*ẅW6&ٜ„vjnK!8,>XTlmj`Jҩ=_Z4fΨfvHfV_6B5ᤇrmokk^RQAoxU$t%ǭ>+fQ\C@9@C_f4al *q*-E9H %}if"leIّ|&eXTsԠnu{ムlZ{ik*U2. *uŶ 0l{茉+Fǵ[}dǫQ'i(h]NS)~ 23XS O!=Ԯ v; Ga\03uEg-LD< bqt._D3nW(\Ww:W 3Fo˕x9NIKUx0n;7M|x=EuetPj䤍0oU2_Gj #s)  0! MN3]eЃ%أxhs%LrQgjhJ. &<>f/ 29{hvҠsQ׍qBw/$RfE_Oi=W  94e Te\m-gX)8qO?cl_}β0k56]n6ZƬ+RIHҒ%s`2xѴY3ƄoīX)q$.PITuTm+ Z{wvy4N,  іI[Ikj6%_*[=gqcsw˴Q*z%陼W $9rs2+?x{X;S|dzLI5f"2ڎFB5N|g,#7rO.'(P_+fAeism)eFBvPtd{5;,&2*ϡlC)T8Rf:s^Xqۆꞻ:Cj "Ҿ$-jc8xGУB-OmP[7uvqV@t=a+Fİ1]iLGp?W;[]٫۠k5z6!)>;h72Op\e;c@ #%6 )q؋ү =u;y/GW_Wѵ祗-TʐzPY-Swm5jm3Q(۹ĤD/`ꀨM1Zٛ~QeXrޡɦ O>C:{ ;kN UZyP.=p -s{S:?wԿ5},p] ͨ#8?:G{cd!k è@hz_3",H#wٲnݿKſvbT+<ȒR{)}.Œ{Wչ׉hOv8N.z]-X`"ȼ\4l Z}Th,h0_[E=r;ЀZI-b\֠`SNZa-{_y?3̏ZR<󲣃=H 7k[:C{/Ķ[:ml.t=SL(Pb (u}\#/t׽o1^U,ƪF+5X69X$(lō-W~1J e农Rė!OSэT'DɅ ;rnvˁk6u42CybPPP잗y@d'*VQ/|7&Aڰ!a[CIRl^XP`~&C)4g ~."eqv!R͂g]Odr{-křX3|(&pft} "wiЙfkVK2Fzy^37W9:zOK>(~ِ,"\#'b=έ{c07pt6mPe意GE,$>4P>4!-(iI~~F|^bHU$aQ-##M⹌yq Ui;K d(ӧ5EF;[1y 3d *$Ճ5T L|l"Eh JΟ@ԍ;ܳE)heاTb1$Mx7p}x(QH5a3BP>ګ+ۙS7½yttѰ =<Nox!RHX&dZGh1}nߺ*Led8TBK4ųC@OVc(o;Xi(iph}+Dtȗ2_(X5^|W^gv p7Jb{BZz0~ =Zںa3vXԣ>8m(*RKlٍe>:Mz6FY@uMpz}2F Py#l-9}e[ޯμ4|N estNz u>nB/R8l>q5h;]"T\pC${E2W {~!r=|)<-Uf¢e)#p!s"-Ǿ(Q.8C♕5U0WP@ qd"r'[/a9hcJT%|/t8B-muz{)\RpLm:/d( T\u5ӗY 65yaw`y'y+gYZA76sF$S-ߚre~ " $dmk1SzO;(,(Ti|f.7vޛ+Y&\,bMz. ^eIuukH[>CVSҕ}[X ~n1Ԕ[M򻥱5TG)JmL\i 9f!碍x+ewR 4}s G:<3xKף6u,PeFHyޅ7SХckdQ^^ZέfR# E63\\5rL눩w\ 1j>֤"X1uX'eXSv @)vPV)qwGyc6,ݯgfGPeYE+ڦLYs̾@> )5Â۹Ŷ^uǁnlk[hg*TLAnKtlg*,Dg|n{ WȮ $4R =,ò&'(:Y1hpVѳj;Yכ&ޓ;X @9yMDb`uNN\ocq8?k ŷs||W.qj+{enx?c'1u4}ж$uJ6VUdpDfSr}26EޟX*dE8xwXiA:rmuҪ8p;憴0pXed%^I٤r]FQ ioL w'C./ H4 \\H+y,n {?tM#F%a%̉B-{B:9Fzӕ;_t;fXc9pEsNN.uZ*ҹ8 +}ɉKuL9 \A0 -HN7?<ށ9P?v6hQFÙlaxU}+MC$T=ўWkܝn) U 𜏣eR}rt|t:4G rò1Ey"w75=6}a22]J%$kێua\{]tIDU8W9zB!S~l.-EI{{Nl*nVL0Kyo`nt7]_<(H[ʯkfX*@J\p_Aȩ,i}»E٣+gQ!T(!Ʃ"_bTv듚pT%ulJoU ڃI.5?B&kԲszR%-BS=skپd[9Xn8e3< Dd^$nC1C~J}>xѦu!z 4UCDw5kU&îJz lJ*D(FvsBn,seѴruЍpW?!E|J%S^&5(^A dNL-И'=c v8A2 e|hZRÇҝeV+i京!o? 4?k/?۬~2r- k ^/Ōj4jgU2T\|:Rvj`]~Ŗ"͐'pe(_'gPL9m̱etg IJ15^lcً8o)!}N+E^ZNT#o L8NbHmm |Eg^B VǪ'~D6':e†12尿Ԃf~-ۮ|}eE=[AgnYvROmݘMFJ$ߕ_=tϬoj IiaI[-W10U 0t;Y`լL d;羞:sBq7ټhJn~c (TҖߓLb]SеY׍1'J?@A*D?e`I#CP`\}U5?;|Hu#H3*R~ fwfao l۹argΤ!6Cb?@O-$9pI7tc\0$6 @s(4ѺCDuz(J#aX߈s*Nࠈ!ݡeBN!ӀdLMa*mzdJwat%z tMKcA.Wl4# i`ʛjrעQW| L?@&q4m9zCXgdMwZthC:ysjII^DdY gZrf d. }%7fbW M8iո<2lV|qJbD+#iX匏:'fH$Ȱ; }G@aZ2bWθ4YxdK*ިvYgu2MN4kO NaEž<7V.,qޟkqףcn}7bGagJtOJz˜]_~ +=3a y)j2:>r, ܹv=Gi>^>G%UK%D+*.~+ ."o!`9 WCcI2s5E,g!oCDӜ Ifi`]tv:sP$[+i |ۢp֜oTD_>7$@G[y|gt^[4t,y[b1^`h5VhL,ɹHx \2m8,񓹿NTXBa>czrIMz_IC6i1Z,0I=ā.0YfD~q:IY\R>O/%fT$B\(xr,EGN;BQbw8.콦gYZ BBh)1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thyF(1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id540 '1G' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\{-Ȕb(\2Y(PA򐽀]{ԺčMM6Q񃔎31e ͌<Gd46V3hX ;m2͝# .ṂkO> UHh}<_ă>b܌+0EW=[# s6O5n-cv~WHB#} `] ҩ,Bi U( v-sKǞ^ 5(uYp "S2 9 q&k#%hk0ɒ|Y#*M]( 'MAĚ' ue{u)W թra<}/(K6OS#1ЄΕ1!J#bJC` R'ixq߮x:&p}R)>cºOnk?, qA++b~i;ƙw&Ia!Bj{f5'@XQȭP9Xq{IFSi6߸pPh&C22YHko=ŧ>DnL'@$<[vXC>}8:`sqI::|"[D<$M I# Ԉau'+P-@I@z40bSE1 "U95i&Y`' (CL&Ca_}5 Z:~} A*Iv? \4K˵Ȱ2ix]͆vgYZr&1G# lHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-M"Z/z5aW˒GeT#UN2dC5lR]̘\qƂ5t#] wzFLt3>G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9s6lHECpO7@NEҤp6<:zW,l?Uh^iY"Wefl>x0wC>dtԱh9U/o `/p3DbPI\ó&ҚJ˄"SͲojТ_dngI\ ?8e]92YO=cwmP:a EcXn1%T2IT$UX&**z|될yq >-vaTbbcyP'; s9Al-Y g?OaaPۢps^e>eZAɈ[ipkwE 9 !iʳʀ]%kPHcTsWkFDPZ6nxfQ(09C] 0$j7jmۚւjɀ!icH e$Xj~{~7-MF%ӧ#X1M~>cTUC=Dd9pӂܸL<ɯ j/f^a2 VB[/wu63Ѕ0PM,DJtkoך6S}(Spg bO 婆# ` ðWN شM@6%!>wZ"ShlV?j9eIo`܈m_4#ǖcΰ< ľasܢwէ_s#Vw8 Ϥ>))Pct6 ӝ ={zuUm/RñyC太Ax} v:!@OŊj hIn#^%seq9q1ґ.ɾÓC^jV(H15xq*2`6Vpڿϖ/0a:4pZ[ղ&ey7J}9i+IDܱ\a(x^#1 }QyDqH2CPݠzD{?M߲`ǧ[ҵb J#Gڠ/*N(H;Otw5XwټF8%q~pJ`Jqsw-Ru㥝aN/qx",E3Ks,af۔k]";Z"a!h䤡nՇzJ@w[Y]J|yDW0UP'wcPN;7Us {._ɢ(mJ;Ҋݽ+Ri:?H'  j  v,1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM+1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id520*1A# 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv aKO3vwmφ2ԆλcﺆԫfAF`#\Xv$2E=F*/A{sJ}}_R_~1 ϑ[%14P5U̩t|Ip9 &L blHDmVU |13qmQu(>$Ay۪[©;$GmBj&^œ|؜Fj_mLy4,Fq _;%%C0Ytd5}UIľol7]ͱGBj6]O_hX#1=Sl7d(-r0|Ha{OFͳKi辁lD9b\'RV 㭍  ]JXt?M'X$tZ(WӦ(D /Ui1$ R/e`~Q_qTq.w}L 4O(b0cj2 $ ғYꌏE!bNOR{+%)RӖȪ C|ڹRnƲE4Vζ-CEpuHtk m4Yi1.pP-kx3ɹ\!0K䋵%ٗ0;+sw /v-U8$*e @fWAN}~+g(yT9!'?,ꧽuW!n%7\ZAX,?gJchmgdZL"D(gE0;#cO<>}JaݖǤR0:KHjp[]đ`%+NC&6xv"K^)!XŔB2;MRuǤ yv;9F_n*ZNsC3&# m]{82NyhGϨ<'?<3VZb]?7@6ʹ2ZT\j 򇫾V@W bɻIpBz ŠIu;7$?uV6o Jqt'E [3G5+oq}l˰?ąn!(zuЕluLd^ yKϽNE͉\ȱ\Ui.>%\7rqCE Ձv;s:~k裻TYQ]NS|i|e}I#ݍiT\cܽyEmψ=w6;m /p7Ɂn*U??%Z5ZxwQbczC?tVzOzœtsHP,(җ`mū\sBcDgCJKm2zgb(FQ G ưM¯d2]DuWV#MgP(LM~(^LIQ@\WWV:'ʡ@jßYI g'=28fn2~)v<sq&&eQs3zLn ֋YA=𰘸Zg-KEv;i]ugMX_u:pk͍WhUSLoƴ#s<4V;*XJpaӍ9)mH|bSaaY8FN ؗ\bźB\cۿX%HWV7!M~vܯn<79j-3pÎ~*`oPrA[r^YmKHxd{&R'4B(փcM54# 4%pЊvdbexs'Y";Holx{:`Ϊr4M]yd=ya |΀څ sTE1~ו HZS߲tTY:? ľ}ڑ>&n67* Wv{-b\G蘦v/IpmcvSg2ib}$(R I¼&y ř:@Q IoQiXl#`MMwNxӦ. v#p2f,_H Ōjw.#{l C8+}1V16l܍OY9 H>XxEg\7E1|B(NJAlhSIJXA-a0 lˤ?-z+֖@I06۾QҎC1GP!Kz_8R!}2;sVT C H0"8 0~bkЬz.7de:'@V]Q{t BHU&Oyʰӣf"W:t؅ÁKfC!_|COL 4V=gNH$t/cf۝v 4jSzDY21+9^ 4jz+ay}BN53#\;mgKsbh2w: jkQ#X )k-xvG*Pjz7z#ݯdxؚ1k_OX#,V^w4Xfv$%,aL;]UǩM [sB@5iK1n<-7T,wEYz- !A~\aA= vL$-z[׶ƚKI Ukp${ˉjBJv Lf1[W6W̡A%!LYU!H10@ pk0y+)VKXքk<< 3lmKYj>'jŢ^!oj-L>F'vHIRvt2"4~H 8s6!ؚoDV+g3B Z4BPWjo6_ >XJk9$ ^V$P z"0G-/0ЊBR>/_V>+|療^G8L] ωWnO߿d9wiVj*~snCOWđrolLF ?O$^B.(g<KvtNYwgoxvۈ';Tj&r,#Ӝڟؓ4n(Iq@$a؀vm)!XvWp3qB}.  kJ]8?D\  }ߵE_fyRH2!:FٍdȮ 1мP7jH/,eFTq&1GWGTxLv4ueUY'Mc(w:f1`Q!Dg}n :IRtKzJo(QydLLC|tݵۭmvFj..R@s3̌AHy^4;odz>D@gpRBVpW&&2Rz壞 rm8PE{/<b(ǟ(6]U)Kh "^bt$,&9o-mo`N7)Jhȁ}r #)W/ғi3O)cMU~UB굂IM6YZ< 1ޭ?@Uqy3Jn󺘍KKZ㉁@\ }UZ[ٍ+lS7ܜB.g@PGLCKND?tƶ[3.8j*.v7\ވf?"ˈNmZϏ?!M^QdxL @ B?|Iawp <ڞ}!aH QrfKقs%"Tܣt^ 8?,J2{M\LB_'"cj^(dLj!mDV>@iHuX\c##kJh"R@fC3<@i1w_S>f ,8oWUTKL5 OX8ym_JEBG(aii1<׭.^Q(&bpKJj 5gE-6B |lˮM_Nw+2.m2_j#^mëk<Ƶihsi$+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?rY VX"Da2ǵIH%:Rrgk%HdN8~Ʒ*]i3u^) ^Ւ?|{ڰP#=@$n!_kCp'W˴L(Zhe8=#^[,o'D U-_h@j56 ܞ̬+ζZeCЏhe8~Γ r,kMDȟ!MMBGVFY@$ M. F0 Q_x3 M_rhz3mMP͗zXK$8JyP 䮻ʚ6`(ʳj ;|@"?^ƹEӢ3üGD?0DkRp J0~:w{\ #_J;2K'mNv.yV)mƊ̨Qv[ɩ \H83ӱ76'/-f q\YT..o[c5052s3hj#xdZ"qd3 [خ{xA +j@]|s9LᨰwI XOn+0v3$}p2R)KH_0fd^:gIvDQdno)Qd;N8.x.6eNf97@w0 e*%YXܩ9Q~MucV59,m_ kөzʾy0S ؕPX;E5d)L2q } %,ZB~;Y0-¬cִ^`fN԰ I icn*E|cxCP cK,;P%Ŭ y7AR1IOE+rPNhHPrZZO!ϙE\cˮ'jeV0hMF`<;+o?X9|;h`QwBlY|UL@^ }ܳpRdbJ*=Y[]t7a@Hï?t\+knr% el}m{djpryrxyȶe+D龰3X'Ճ(-;^E,&PP K3P90)7EQ0 67 l<0ʋG2D qy*r3]@a>}qc[3L(=ϗ;BW#ɧCRڡi_&rgѣvyС,/.7>71-% ec'9Gs/ԳrͿ[DV8TAyš4|cXx>Aㅶ{s7tu<ʜ?P'SrD]W'bxBBoNm5KJeRwj}92_v?\xx`+:vUEHrw7qig0)zB86;{{*Yf5ĺNO2xhmA۬ ~Ը^v lu*l%erD9~&[;܌+;ԼQF5x5yb0{.t|j*[jWׄՙmZJvbK3P+n(fݡH@Ujzb.◻T.MVV*Mjb !-73 ԩT C<3ONVdg%NH +zE7%J7?'AD9B,Qѝ6Eetr_TU dq(`ޘVr-AC;$r5/(\*~Q~bK +C;B.7Y\5ʵ]ja$ pjpc)Yu:K ";m2{uB!%a2PdAA';/5|w.{jJʺ+u<^)ָ$2r΀}s' { ~T Цҍ?["y0.HYԠl)Fao<8at#JUםX31{dt+?וjk BբD5듙ʍ?Bo]Jr͸ww׊{މJ6* 9 } 5 911A# ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-xVƆ,0IbVO3=1 tj28A27JQFEa* |Drq6:=;;%m?f|8D jW~DXY$f8'$aӜI{r=,傯k}B25e3G>t x)Pg悀fXz͈^X:(N}H P DW XmOCTz9 dX45zb!wZ*-bYJAgm-EzDA@o80!k+72XU4cz (>sV:5 R,{/j_Ld1$RF}GNrOuXhYXyDj9{Ch.??%NR타O--}EAY1(&+jQ̓tj`W$xG6q5*()G:M B.iENi-1\ KDbHnH2vSL]Hs!י_\BhPҏf 8Vpȴ ]KhD1I˝2(."hpV/_5UAZsKjAl¡+d3I:N;y0,Ls r|2OFD%J?E` zL- &I*^;|{Z">S2t i՞ՔCQlZ{M="hV<I9x\9#2i۬J/kh#p '- ܾEqԍf1J. g{ݻ'ncak6Ⱦ aBȒd 0J-D!$d{/c<_U/;/5L>)Y=+kLpm[h\ S\HrP|ATɞF҂W n~8tUdږ]/Bs3uiHy%.ՁA TSA>ʬpRk7Ƹ3%SB G]$p[W!5t#)P4YX;m_^5sH1&Ic'Yꟳ|(pY3.0\jG&q0iyA ;"Jͺe _lE-\2^ktfPdih+I>GO; 8'/3 g!d" ^NM%19SK_7I+~H4E`d|[-f.!JbYau$gzFkph?E`!mڶ x]`YQhog].!̫ S_*"0~@Pc$Τ W '}̇A#մ3!]r@);5 bWnpl{1b qx\ǝ]yE]W'E6ν9]D28gYq6">RӄcllNRm'oz` fElr'Ӱz1 o5=njoE#=j}6=@_{h֗U8S LNݑzܭC=4A.fJBiISv5V&yS;8 >8#$%JQV>@9fH㨇BwR.?^b,QwzCM3DЎB:qa_*y.EoH E[(_{ۘn4Ov}6o=e g-ȄßvcH]ƒ+^h_Vhf67͉t:h ]wJ-Z2&}q4 [S/ks3q2 Aq}և g򮮌9S>P%lk[N[tFOsJ!_-o֫4J4gYZh01A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF/1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id544.1O' |HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\7[ǃ>*q[9qtsIlI}Cup/$d^"ZIH=z 64+~]dw'&=_\v|6RL[4[uGb-V[Ψ vPr2X%Z9@66f+nmP%}=5yw] {M!2J+=..}cxjyI$0599f6oH%7p6ؑIeVxJ(܈a">bA#Q^37`DSR~鬥F_Oo9" R3C04qW[j_3N*ӬuvFV1QDٕZ{^mW54cW隓| K,)-Pe4w9%>ytbiX3!xlR(y31D}sָ[~ٻ9d $ItDC)3d o5<ΝjDpp ȅO1 nU*GZ 1+\A;yn7B,_pm-~@#҄kR7y3$P#Cu̕T22t2y͒@;Aέ+ȼ"-ƽiT{G@{R:_3tKu ^h"r0򓐘!˙%W,f "['TQph,@g2q~ 8G30}\pdI.ه[Qі!ߥ}u5~ި4R\I.tBѰpk??T>(%/ѨxyP.XKuv;{TpZx4頗I"ȓ!#'ʒ㙌%"2W*;N]t9ύ pzm;BAud'n 9V|P4A7,;}Q|/='X$5jgYZ +_5 1O# 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]uPD_jWpuT% ǚ.@;&BCu[/ B)O1ktae2 G޾:3{;!H8+凃5Pg'*AaH.=C@{Fc!+wzT rE{FLȖpʕ/KPQWP&*#t׳&[=ق0;r8\-̵=fʶ^=?i~F(hK‚O_.Bd؀|v+B|U{G&podh_EG"- {ckFV콀\s#6=8@fŒc8f35]AW8![z.j6Vt~F*2\SS'tϚFU Tt|^Ff_%V_ȫUF,[4ʝƝeD, ,=V\$:Mr7_ii!oZx‰y³L*03m a0:b=eSޫ4sv{r_/I/y̦`]n)BDkc@#}<3.p41O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM31O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id52421A' ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\,%j`;D5CEQ=0Ghq[|i*x\)!s8-#pRuVW\(T4pLnF%9&몏urDhDا*4d8E JF/<ߙ1M+Z,PnBMZѕs̆ ?pMUIwiX^ Ovy*>LCwbnzR@r쩹8GB?JzϬi72'{ ыY}:K2֯͢sw>;cCSQd~\a_NXR/_, j<  GzA䧃xnV6PH)œy߽z=LY O)zsvG_ :,!~nJ@0rI'IEs+"*yf9v)dB$m&Jef ;`׮ۻ|z(&@SApqgs)l,{қ@=`]tx]&Ύ4~n_;5dMdC֭Pr‹ v<DA0ҍˁ!ҿ_+ڍUr#0CsWcTtN_ l~(&5,%ѲY %l(ix|@p3b$jpWtPBYV[GߑTc$qGndC)j!'|]R⏖whWxLzj q`‹('r ak[;fm\g_e_%1 #5\IݧL9mTs H+gꁹ㰬*ŭ/pM,)rTp$pqC4;{Ho[(ˁ t:=Qyċ0ʣSZ._Pzu2*'2ETA4!9[3q6vB?">dT0Õ Rธ1$,u!Zd'%j⳿lpy!ֺzq<*%[7:ZP.5dl캍g{)@%6_^Z;h'PƆM\QgO:ޖj?_nPeSs6eBMˡxƨh~/H9ImL+M/LIQ~7mP tv;Tr_/J P7{tf*d8b Օ5x˃%2Ӭd6&AfƁ`ho56T _\]8]24jџ<+=EO0 :Izl۱;)] + Z$BtV4> jo(ξZz 7S Pn m|:?QB+J qdžKnLՔ4ָ ԉo=5^UQ- d8uԼdNz{a &e!0(`S咳47l{eII LBu Š[Pkmg}P6@gTiB[4~aJ<] RMky":PmM$pF˵/fgYZ/8TEY2 xPC7ibc|ďnt2(W)5ρM@ i~"U̶kWc\)A@VT\O0|y/OD+9NdAr=.=mAUڹOmoTS3ˠҒR4s UX@r՗KJI sR~ U"ͼGc?U2s"a/[MFnϾ]usn8/C0CA&~}C _~j]5D >I|)*6XgYF`r5T(Pb0B{s}uZ~( Zz hդ_8UmXȖ'whR6mcАBzRaosgV; |pMItu ck7q0 }d1M;W/-M)o(sKc_;Lf/Ow/ 3(Rr<ȳ%BI+ߛp]WIBC| XzA1h)lgk1M (Z[3c̯k ,ͦUܹԜYoGȀEߖ?45M4$i,&7t88戓S HEK*aw=61bqnг'8q#h3%@WS3xb&.D1W%Svb>Nn jF,,bH8 K3VKCo&A ۩ס@`ӏ_4̖ 5@q0<؎N {P(Y}A]2ψdlv#T_?ƭ/sQ,!4ܝTWMOx(._Xvjx˴aJ *RЪk"HJ#P0. 4Zj~|ٚ5ϰOIVmL¾~ɢtTVpˀÖFeAI 6%'HDxʑ`\T/#o@6UE~G`,{}qFW B /Pc.N[1 PJRsXLmXNfL82D[Hy:( &aÕɮ"iD3bi]j?Zx?X^>.byEl7NEdkz΍5棴PFC4>1"=ʻڏ$$f9rM#`޳oR d|EYۦ#Y.v=i-~M~ ^r->2<3#2l'xQ{Knq+J{L3vo:O30IdŸᣖvpͽrb#^Ke]sycc&IQXaiEPB$>ftSd"YʭD;Ռi/몥#^B EG*c7'Zr7{ )ÚLF `Ի}0ᘧd'-d/bH,xq͏-ږ<[bzϫ@MqLcƣVE%ə@@W)l(2xZf  fQY)6:Y!!;ʴ;'\R8A_;|oVSյrnV0#KEoHKI*>PZ%[߂/B0ϗf~KI^ Gp8 j,Ru{Sɂy16E|X =nr:8|2b D;T̈́+u}ݹCp Dd/ܙŭl켤uAxq)Sxs_h`B`!Fә.}ֶlޮh92{No@S%/q<Y$bkCChq!I eБq,1i) k<7,In)#x@8ͦu2‹S@KgQiӟAͨ02.oG'Mֲ+4ٙ ClM$J R5쁋d F%O?s$>YCjsutwS k9@&Щ'y8EN]M~rԅ&ZW0{Md '3)ј[;?eED:Y*ke$0´tỀî4AQwF;MWNu!?)M ESM0W;f߫),-DCj?;gnS<:鸜rzU0ZWHB+H=D+}Yv{ـy:|+ FS "|BS;ܑ& Xf6N)0WAP\pPAIFUs vN /uO8mhPMaJ$tW-A?ml䀬hT]}[g@OAV17V-8:DlYwN7|Ҍoxy߾d gS"rf2G$hk<l.l[uwrhWax{ԥ\. B1s i4`K>W) fکm^հg:z\?{Rx H*K{lʛ j͆+Ƕ'{u8]kH|r4qgR0FROH7e&ZvXw`זF4yF¤i@kI Ans5"yw˻ P7S"s+̗Н \l]܌>5?6wb{y}˻Ez~4Qo򡂹PkF h>hRaC'F(޾tm>){ RM)W0`Lp ekLw$6 U)*L4O윥qQ#KwGPQ&yNtYq(WL., y' %.889 󱏋pJLqԫv ֑b)43RrLͪ(c"j;:Y6^G`@ՠ:yE JD(J1 qAl[Ujگރ}K*qoCg&ΚUٚ Ek1h'n⣙_ɤ-ԉb\vBI$^l[>}#"MWM/n)z!NZSfe\]lWݫ,29*h %&͞:z~֤_'[mKO& ZZB0&pJ_^Q k m慔a A'b"v_\0h٦`DRxxPĆR9eghR>i5,NxV_Tq2GPU |997a-8j[? %So ޑ#.vP>s/ >CL.CS!rE󝙏6;`9f(9:6쒥ɢhvfP\":d0Sk[>#nV@}}v@+<_aa ՙ-/ACdB>lK7)q,Ïx`{2hE'jJ@y#RE%1$Oݐ.3⧗5^8}w2f$o , q;bSJ3(ߚ̥WTY1$k[ Kh >`āev]D,+:o2ft-ʵ6?4|̂3" `9YH'KWl]j2槲>tq}a>B߀ KLy2Ya4 @^xϝKNVߏo^iv+ZݬЗPK:TE4RV9 6e"zv̊]r=>̲_>/g5iOF <|Һ]T8 A봵le}3. l)FmtQy(M;gDJIe+r-u| l qк(nlJ u[_D3 HxڋNK#%&CG|.|vŻcs_%{%lH6~نvH&! ;eҕ L\r QϦp4*4hQ2}džV$mu&:ם^Jx]+6DaqWpa8{l|z40%rBT1b| E/, d2EO^N@!gmx^3#ˊ-R>cT!5_#/x7ێ 2ZB\]+gF'ä)}PBZFQIk!#zhv*:+dv$5X4-I?vEz) l#gv #s@q9϶+\"rV6xɊZ&[:.֙H,MttIUPx{ 4PTvYH؈InxҖ3 '+l0=رy9e|q~&HIk)UlrޫNt& E'Fqv$r }9"s-Gmx{59=ށ*kBch<*C6R|OoY٪`'Jv1'7R^ZUC V&DÒ4V_;FڱNXsG?jԒgp9<\*, \vH?BG֩7\R;e_8HU`iVqJ;Nw ^ А9*kby{׭ ju7k4XU VŒlJRz֔h}߫CX-Of4H:S̪pFNӥxɖvv89- JN f?1Z wr"{T]s䎯QTcL$"QM_ֈ08!]IߘXCжT|iM6 OC`%6D*57l‰+b'Yl ȕ[:$,w ^ziId HqGNM4j|GmP;*Qϯ\y`o"_:t/G":s|@cmwoI b`bhbfPQuGi/Pa5^:v^A|y wrnhU{VcA{-{xj?.?.& EɒgA6DPW,X^5C"'œBt5T'yPqhѱmyF}]cˊ(cʃ65d;MyH$c8ظ>e'~$ؽq H;9iX?yY>ܝr\8D9{MVLZ?'Yo%hz zzRCǦR[ssBxeQKsطAtCIhN0fj%IPYrk`9)v@=km]OAC+1 b2]TYKH ^c ;:ES`48+_\K'^ƜT#SgCt1+BO]|fFl[*l0bJliE eAG%}-xLMeBE[R`j+k]!SIZ! !kvUM̋VD~a<gg2<kCf2**`XI]g -4.?kd,fQQֽAFl_dLܫ l#Mz.4: "aDԘћLbſvGH sXO+dÿnSs /E;#yGߓKZ%8 rlw׮o$U2#qpQLc#vRI@ɋ1SY=.wL-4+5W<`۞3DPS%g74w6L&K{~ έq5y82{ Qk\x97H)η%k71Pw8l? ;T-o_!@羸y-tNd,cN~dbD\;U#3tPD,8L'}FpŃl')RM 썉?W/ַHfJ|xt ) z iEMnYt؂-. p1{;0g,KyfD2B JġEuh׷-@}>ܡ3)ϭa$o'V _R*>VH9=D݈G݀Abѡ$!]Tl;/^j!Z8Iek+_61Ֆp*c骖⏋Wars5BFcjK/@cyafI2ѭ!{M\?&ٶ_ _WJ]A;Bê.]/}ZIJ>w+ڻQJ2}Ke ^EVbFj=C,J]B' fI@EMbR[kmy߄N7c4%5||fJ@YUϾW Q r4wr^B$Dvi 銋 =wB7aR/^ 3 "iJ@_vإa<v}Íw y԰fߪ. T61>[pVFJ#Nɋ$ *J3l8U\gC,F 9wr/@­ o{Z&Ѯ9paVCHC*^s@ix~s14YyibcÎa%0|,7R;K!r{ueD@=?}v+{l~'^D23~)vpD^X/T87xKbI}.;"g`1bD[\#Km]6= ctBq:yXNjt&, q[V@RKKۚJZ d3gYCұ &  >KA-Q-!Ve:"שjA8#*_hujpđ,H"ik!{9oL$ֵ..JQU|YCM@,Ā+޽:*5!FLh]_@њ)-?Gzڵi,DLZ[ho^Sf҄H2UF+kvfP7#JصV`~W'TɟGĕk|g9Qj#ơS wC+tp3۟KrfF?Bx;a# K٦0 u73= flAO]@|Ozٷ7|Fz/E6VD XPhhh@oqoIp ݂0 ܗeYE' 2'0N|&kw1CW!ٯ:="RX³6Z 8ȱgYZ2/{gKm$H^̈ȮIlȎХ5Qg8!M3Wj D!žgkDDZTRن8kŘO4ꥴr?V6eu;4ԱmDGa,k^=>$Y] Pp t5Iܪqt_V[υ,+8#0gԿw_ OʞFt4mNކW& j^#/4̂(zlf2Fr}h<iRMA҉eD\ڂr5$;ÁǽMz+x.YmivX'le '>Ջn`vNv +0If˞ 3M*=$:(]JxD*͊qNNXDpAW/9Ty}r6 IC( qEf?I mn:Q~1JZ-C3ht:xF1Rqkri(igٌ;+ 6>A8 h[K40wB)MB79r6lg +b k; Fl Ćx96l>/ X"{`@h_L0UBCL=3]d*_B@KYuSѢ ń] y\fip{D X"9?S[coy"EA(w/lY 5-cʉCB<`!^|\x<pQpBva69\ʴCfӹڿٽ&vձ7 D[% W/^o151k Ihs׳%v3F3ʴ7>㹧?/M\)Y(LYco }2&r2h8#zNNHݪwk1&b9ş t p1`JR#?.ؔj2" rŒI@ VtQ Da$I8".Ҍ]d0~8o&$E}Jlᅨ@.Z©/V&ks* 9/!3 \ }CȄrLv O&ZE]f\aa(6,Kk|LmȨҜ€bՆ*qhs+:vQ{ScؗV~!)~>ah&q(#?}  ]iXDBfS ̙Bjbi"NA^㹢w[<1A;eU(aX7ǍẄ́^oژ4.XCXWKWUJYݹԐl5WK/g3ǵ78In ˙&Rsѓ]C%Ӵ55U#V>j"(l0E}*㿃 T" Xh; MefqsL˄@`m)͑9/d\JJ X۰zjVV*4sè"CΕ 2@c6nOM*.RI/ef0 DMkMJ$3FPAq􌫑ru_ ':^|8ROh)||y.͙Kpq$3FB c(1^C^K-J)O +eN[Xr" ݕP0f-O tuz=Yen9$/+ǧ@K[`\f'6]8*$`7 9 ,#'n$$On^/> nZ]#det@22s]x^ 3}nEv{U(&,@\c=fW2P;ܿ3'E=e6HME'jyG Eb%(krB-ySG ܰ- 4.h_3vYSv[\=͜-BUS.-etricQ[mqֺ*:}K"(D={˞zEg;кb'ӑ@̘}I5Z\X0KJA~fο4.|w)Bl6{P ս$)sH) fLvSyj1n.9*1BO/p%NZB]hPN:I #oEP׆ |FI*^^F0*wߛsOw<Őv>FuڌЂ8bYܼ=1 }̿ Lz!q N@`dNDnFD&wϬ'阍χ P0D"{=E:Q) a_F@JqNN'f‰c ;kJe 0sqs>; r-MY?n9 x>겙grTaռҞ1Kci(Dcp3dCO0Cۚ+}A\[fֵf8؟iM.Bh"lDn6h UG ^ 2O)mm 䥇NA>tfl}nD!s -tIe^ƛ{0\Z<xtP |ٓE"#r[C mTW2,8:ȗ#>Svt7h=VwPi{]7}m'NRȢ|.D_uBTnvlit?c|ݧ,z%0yn"CiVQ,uII +Jtf(W핫ù_/,.nrBR%FεY4I&tk;p ZV)w(!$S=%)_U[.LDdִX9=1b)}5/1nk:1HH†e[#ʡ{0DN3ϱ^S!]l:axb|P61B<+("iuv 4 rѤRǢp]cHsK' {N6cO>0]<Bf6rȠ*@otڦY$fX0f\jXl$HP&FnL7:ay%j3Qt.?ϵ_=wH(pocғF4D)6մSsCk4=R~++@ IK^GwٲEֈ:@x0 5E a{dќR ao%5^Zie`gdV'ܳX9^.'ux:y;D4bǣ6¦T1ğE7! ٸhVT26SX/j5gp36jhȯ#3% r_H׎+%0HĶjMJy3_}0#="ʃEN(!N+ f`6 4mqNukNOc+w2w=}q'diqwB w`[}FV/B[YF %k`,~<OaAt ->Ւ '@az_QPibo-#3NbIoCFJ2+g Zȉ\TᘤFD_Z۝a{ADa-fn ,CJScg@4C%;.)?gfqN Mes6T:6K# d437@QpI\ CiL Jt ÓpN& GS4@+ϩ^G\ْƚX8ģݢEOA5;hs }g-^^nX_-f=bXQ 2|Fd9_mȭ-|"&(R=b(o4y*m5F=[98B1-":RKR 9L,nǓi&1 Fy.R%,BY9an ~ PM%a%G r葺#U{"ګt7y$U~vHh7qK:*-"SBY 8mĊ8uHuܽ!E>qa0^al잙HEa+ݙ|9216^?r)V$ƺUm @x"zF5~O?bA.z7M ~Q%N-+&GԲʢ1%s#kj)w~Lso|` yuǺO̷d|Wju;=v(Q ۝9GW8A)J7+ۥ/GT K$5n`*OI~; --D60LcPg e*TsyI}$vʏ8jPǹF#+?64;^kxwaGnW%%'7%E 2]1IЖpjKJ3;(D74FIp4;AWsW>2{D[ʞ}곦m x]x;9YD{~9x$NhioMgӧϴV<Ӯ#т<߷gNK/Ķ%Wt<bbHߑWe6= s- ᮨMeErTSBk1{zبMjG`z1ڗ+;Ur}?kﯦRȴO5R!vU3Ht6+qH57mQuq[< 'ݠʥ8(^Ekrt K_m;p;GN,3lJiVi/Wuf #ɝ 훘qTZzZNM/^D?>.*ؖEg7&9X?WtNŅj ގDgȐ~Z^u-_ nFTB6^wr3wd+M4Ǒѯ)WYr 1K80}m{P`'a&ea|mM{3\$rjHb ĬG5/qIi`+jDxľEFRǽ8rD: /En e$ flCߛ`t{ C+[mߦQk7އA•cm ^F_ c=NȰNo%)iE,.xv.xfj6oXc?;& l4Ezw=)4E9Y[RcDgVw\>Up?Ƿ )aZN GZVnMqk)$v0W:$gjlڊ?'2D:Q7[Wq{i>3[e~ު`#&oUǹY!h|*}SDeP"M S5@h=BO!Fk7]ֶU !1*&]^`ίn$@ ;\ݣTx7]:Ӫ( Oÿ"i4M 0Nu, -ӯr=o-YR֜ wqjdzGeEz1$qGmB.%0S,{KdYX/c Ζ,S5Cr.NhY\=DP/= ǦkLZ;u1aȝ /~o@×EǢpܕte(SWwحd`q96LҐѶ\P7T^u$Q&MZ12'Pcii">e9a'k^-{Ŀ^t4Zi2K ަ-K@}+(fl:"##ҩ f~x8>Ll)ȟP+l 2n%if3m uՌQ塪}!p3 |25F ,8ܹeպ[]]~jYs᠚ sEMAsO ++o)ːЊ;rf[2GoUKgYZ AAl<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! {]D?7 {?:fH\tOVMbjbY@cA#I8FGhݴbG%?u_Y|KnY%Vk9&~*ϾtLpsN 5h[6﹚rІΨ!#/!89t.\ow 7?cyWblk8AS!hG),cMtfKG9ty$P\n3ƍl zfeuy]]T8xS4p:*x,K֠ <R1j 1^Rŵ`W(ؼ{Hl8KDzk5"E+l q_1-*e+a(ц1m*lg-BShE [#kRptJ(zPtIe'ǡ)WnLAM^>2gPA 9YM4(x3uMc̚_y,eZ#CCGZ: `ɂ,wfe8k{-(Gx` Vfsw.5JN.T+L?vƀn sI֚}Yt65;1`iF 6%:TcLiquP E=0;6R=x8G\ɋO^¿ =?UBJX]bqtI@ l3UBuc{nzf"<Ef#rz"N6iI`0)gu53Q,{&V*ʐ9n4yf/Gs;} @Nc$@*`Ξf =xF{{ ޢF-7Zѭw, ZC ;+}|u Lb#3Q~+=bMhzQBBዮV II'&3icH:&?f񞒅g Qѷ`fe-pvϷkMKXV/R@ $mpK)%'D@!ߍ4V$q7>X(JZ?ͅHtXHFiwf,<ǁt레1J^/QRhY ٪T#bjZoUn~ ?^mfUoR Kj+-y4Aρc#^E'zY[ܑY1\ܱ/z|vdTKvB'# aDL< UQ'FVJqFx*>oJSʧ/'s\+gb\u0d 6JgYZ .-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_id37f!$V%4;+Hp(n?YH"}K>͔ ӢA8ݭ710޲&qd8ksv{lB5&zv8G Ԑ/.+75%6̓#^ TdFPR] 7<*?h tڏ#AEqdyqRQ'BI |S k=8cˉG<dXe\ gӬ&)n,[dMyK 8Bgk`)AS1'eI \+~!lTK -7P\M,u ?HXΜ"g-ԁ!|z;N>?չJ#+'^$I$k ǣO +у?\CLɻnվ׬4B(a`PDB֒X:k9EZaUjP.0ϻɱ}_%cqԢ}gC<\Gg?>5ap,tnh-tWܳLS$;X C:MFn'F ҩS+hgZ{@@eE<ry= . Z/{UFrזej݆>{/2Ubgˣ00f Vm=!08f欭Puqd߹X.S,bU,{C]Ӭ[\RI6oزD7D;|+؞ tG6Z>ޓfOϋr˛oim>2+.5ўl|!/$ˣgUd1.3P[YK1)>-;iW 1'?^(YmT0Q֙Ak!c]s6P6 9D u©drUIw]c0bqR%Xn'T$4\|!:\,`52r5Wd0$R%/<2MwRV⃼攲@<t]-PM6,2LБ36RG01Y 1 `̫|&De;EA:43cVq(?Dha2Eu4@m"i:6 }rwFM?/9ј#p2,:PMF\Ԫ9_̦Lo/*>+*~o"ʦr:kkCGFi]Iv鄣dQF4w 4u䌞ۙk$j]ȒvOS?0YAƴpVnP%QFC7AWK]$LhTMXW C~Ҧ6g?j4'"3_7 )n' _w8KsN};"u29Րs`ڊP%vұşknYS!" \`ᰕ, dz$CU¡|>{]FPWZ{2F _iaThJK2u` , IH`DĶXC`$#>{\3D?!F2_*_7o"@*FCeC@Lt'*XS:-4}UN3ɰ]i{JKz8oLс >T\>Ѩv&[fJzgt¯ O7)'#O"dt7AHPD"g_QџɓŝpSXPE!$N=zLI92Mw{rbv{HhaVc~C(Ij79[qvf*kgǗ7&@7dA`uM:ti>:Ȑ(LVQмR7W;a#RnAt'Mz&x4-HATѢ Ifh@@ϦJs;U@m s%\l˷ |<1<ĩx&d;4 [5+!;>:K}X84*WP1/,AG[4F* yJўz\Dl%G8N3n&\B} sZWNDPL}$WPQBcG` X!m`֖YD >R"wluƸ1`v7T\ZE ۙB&DS 4u 3)ͺ]! JA8g'h4VR@qf|Z)#NG9e1GUv'#gzO@+N )E 5O:>Sb,t#!xVu@cѾhS=`\0LJ-A f)r{TMݏ@ևdfPvzЈ!$OM%rJ˱hfÉ`̠u5OGȭ*茫NǭHGF:}_낗~H5ݔ_eYw/ Px3SAи1M$7}UBw4u{T}e DC!oUg:L/3-0)D,mc5̈);}:"텫qSπ>wpg;a?iKZxІewTLds# #i_U~Qȫ0~G,9w:SEO碮#;n ~H=uAAPuTgLtBՍze}']6bBqxNC`$?҆rB"fS||kofWnoDTҝBr*'Royl=,C[:`{<3'́Й& zz%?rvU%Q[)\zwmP[x*nϮBvIhLId틪)Qds??0*dWՐUNPl19ñB8j?ZSE].v tXXXC9@m<MkG.`1^A~(n\q- FEσX@1#[ n;M$43 i:S6:QUPSٟP;-iCə@Ty CzʏA9;/0{A"S$1 PS:ge#<^"Z"nnxPhĉQϵc=;W ʼn Ҕ]"U_,Q/ouBQ vƛ$OBzgPo߈nc5c@4GϾklyp,3^|$]aڨjuՀt%C EDuAT㤖`<,=R<Bka($ʛ=ENjkL# 9#7xp8p9 o# LRx=%l+}DeWG ohS6\=\P+ FĢj%*Y?V?SAؽ;14/CB焲]N8a׏;_P*Ӿ،Foe8^^:Ja6aX =8+o/ХӢ4neb\!~R8c*й@qNEDtҔV58ǩ 0:ο g:JBv9 {Moe>H%*9L7slAPVR:lp'l ~ʽ*ÛeEFdAO1 LJ'53i-4 ="aFŜr  dKLBFp:ie~ԨOWA!A"hǨ3.Ije!4Kn8pn Y{XmTie=>ܠiݖ6JknM";:m"ƴ_zٸ|f-ɩ((r^O1?$CT[8Xx<,:#zOk3j ԡP?&j`|ayKzbn2.t!F1Kj %k5%@{Lroyk0 1p_*N{kk2yh$Xlhs9Zm:p%u G(ix^}E+*z9HV~u;d 76{JM=b =Y`h]EZ34\ Td4bv)*4ׯBnKLfjF DTӔEoU9KHl]hg(dq޴^l=&vh6+1;;_d0߯йV S}2j/SiK;Rw  {>PiS:J$6ڝK-""98,RA ?.3J l3UCj.ٷfdIowX?%&eت42U;o"rYW(9۵],ne _?l ٯվDGCN0Y<:_$ŀQ4ixTT2"WF˗%:4 @R'_7Pk2f2f1u"w 5!Nh),SbUh|e)8]D)#rjn)Ӛ&r9 ~G]|mZْ'A=7 8D*mՔ$hxPڮU*Q+N;Mb2e,ـJ|'&zh}ce;MC_/巕OAjpLgq**>O5u:vvr(|6̙'l9VWqw3r!VYebfo -q8" AFP'r=6ɚ8rJpFkbk\+gRw\2~E4JżsTKLxQ֔{ vH[V+1j*oD+g X؋-*W} #j#p,qf B{-P] 0~xfETnAu34;PޑF56\}[ix ! a+NeYx D~;-ͺ'_p2ʀ1GϔQpjl/qNs@غA H@w/D {]i>bu1q=ZAmc[r%g(ls3/N,U>/Y.+n6WI3 ixhjjROCD?a9%2*FiP3ƿ=,p93OZszGa^yyt8)G0C59J+&@5Yyf;!1D=MOww `D4O#~0#4S # ., +̤t/,yTҒWˆ!%g?,/ [BߢtbvbZG@S'V4#/.-2*mi:(p\x{`~W_(qĘXyHY 2N')g2_( 9i'2F o0":c4Wp,"EOKZ #I_!Bikt]8: v"6e< *3<>ƞC \.kcqpio^dpKXė|3RLuiOT/3f3ʢOΛs6{ߋc*LY 8~{pNJX z?"DIhUr.M1L#_*'7Zv>-bVI'`;}{9qs!Hn>sp%z2fi+7 2CWs&|'+1ɰ5q!'hJY- u˼W~Q_QÛQJw:KIeK$i*} n27ަdH|_1}ٵA%h׵ NQ/WM:]>*3\orDHD'EtCQ 4B7+EҌM s講f "w^ۡM]g'uF^J| a vcox^a·$pցnj8n+Kj XNxwpo^x\m$)M-$sOzoOǿuc 3֙,ےHWU{Σ@mem h8?7}ɣ; Hqw,D %Al&B޺!=RE9=5/\V6ITxϙNDEQ7L360IÉ) DR1?XtKd|%\H ?rQᜨyE?'] oK__dJrѮ_>uuS@q5 ӕ%,f|g1vfvp4vN'?k l$1D<9hwNؑ4~[˒dxMI7, ijA%$t:aQo>tɼq%ȞY@]et +@(lFٟ7arQQ'1Jv_3 Z>I0z+"'T]ৃQϸCqtyڷZIlM8[3#dHp:\Pp#l" WY>"+kNA@(^}fzH+:lRDlImr+I]K6?&ȓNWfP̊$HD<(!JlaCJ5nBH{,#!rR;42 M5PNJvAܽWO*g ֍~RuÝGdl1PHY/: ˋ֌n{mb1 -Y"eAk-O4l|FtGp@9F|j–[74 ~dX:$.B9Q)I[!y^ptkNˉC0ODM+PNsoFQ8+GK;9΁.JDj{.0s3'W՝1|hnp`Q%~BgX3Gos[yOug͍РbŠb>f dH~0<{uxT .aF&6;~&g9jT/b`{U/CmejiL;gLDߡ@M|xX 0Luhn &k"{s Md`3uo",ވr[7riV躑EY%B.>X~Uh \|?r3JBk^Fp}O'5{4'Lo v}1زkCK2I i%b2(<6%n}_}x$'HM[>FۨP۱U\K #(Ow^k f \z v(tr;j P342H@ܳ)睡t,l$I~,mX)nBn'UύkIR?^d٪h ޽Z؀3#KøOYdmhǬe ٿd@3 bb/MM"fq4Mߐ:@(z%,i_ʘFCAP%G2D Y%~cpoҭ}pк1" XL]l^Diŗո!}AU0W 21Zl6b0qn绞0Y7ԴvUoBL01h|(hȔg|5J)\4`yoy* kc۵3*X€L9HN.vYnvL-$B0zo*d9QZl9Tl5N:؄MH?pX@(M$qI0hQC9]Re^B?yT:]Lv-1{GݰLE*/-u9λ-ʾnU_JGی{W~ZrpO$ "e}esaqô$cN|E!KYQwh>ƕ;婺ܑkQltheXfFj2?3_ jș0yliܝz[kS$ǡ|`2bf%Ѓ}d;یۣ5Ǡz)^ttNJhlWu'{>xiCy:KS (N 1!e\_uiڇD)Gk:㹓,If8]|3HFkÓ9SdkgEq<9ġF NC|Eޱ{dzYnYoUՙ{={ ̬͗PiT^L_TtJ.6cBm+a4lV (馳 v_㪍sLREәwsl$5(9895*Ȩ}$O` ^^;2"~h=-H/׿ޤ[P$ȿ#0sr4~57$G AEK]\~X}u{Ci9 }k!dW6bp/zq0R o$\q 9+){z@g )ʖ$恦nM=Vx]`nZȢ *2ּU `\@n 17-4(+{9Y4Od_bEG j$a<~ukwĺRlC ӝJ5iڀl1ywe^lC7eEU31gBG*;ong,niѹ>3 4BQz 슓6 =&GO"S2 Vemy&'!E{c9b2 Ovy~ b伽B4Afk O)dMؒI43d/Uh*B\L"dwsofA:Hlnt zg=d`<ͅ F0w|^ q1SY>սy0wwW*mJ962ΜB>+sN8?<4^Urt _24dVKԧeF7֪mf_C-e]NpA['ɵ2\@N< |[8,+:/LEG .cU&d-w]ZBPĹE%=/݌ۺyV).LReP凕5@dZBMuh7ޭL f.5E{tEJ:[v% l!;rARM6e@ǁa)FAa"HZ? BvʕJMKb)]{gW}4j ; n cNvܹ$|TdTOO "_ ; ]j\6)[%sroPL3a_bR&hȎ070{SjG/le &UUiདԘ U~x)ψ3aCZd BR .O$ }R'i!)}I,~iډ60Ơ3|RH(Q3PC*Nj B4H0rc2$xȮ΃F*E#2UCG'T*.p0lm*TFɛBkYU $fpf& 9f՝Td> ݿY aX8h%ԾPzd5unOeˢL7WȲghEǼ &GY-ɖ@,4DNQYuWKOxᑃ7!ia&'7Ŏ}/-5h;S3( I"kZ[8h[Շg5H !7y(dAt6B7-?F x!{l')7q;~h1"6A\ٛ"͂),lu\(0h݁Bv_lW-@ ">9Y J%iKo%OgmiǡaX1R,߯(uHcĊ ?5"ͧ d@_(mJQ*)$39 &~3x$4< }AOmEcs ٦A9LS9<1L$!dfTQ?EQ\Zg>JK ]"Aj/9^oB1kZ`iS[]loYa_SnǙS6ˮxKjo\*E !x_25 [_R 6=>1ٹSf|PrB#cQˇ/N:#z-pr w=MKf2.!Qt;h:"[)Ji<8aD?suJ14K,jrM'I 3,8mm1^jo6ѭkb㥵od3/۱/gre͎F035݌Q/ `bfPf LJʁ"i6mѭ:g48[Ndqc=姃,["?:q狊 xeiLCWZCeV&r ^;_e(AbUCʚ~M9 YJ̚Z ]''z5ec:,QH¥.(R~3[g {'bվׇQvѵ~fs:Vǁ a( `MET9^¶"I{Q%|EDQͬ^= Km! wI} 3cꙊ #P`·aT&NIp2Z6VXÎ?ƣ%_!k:4F0rkAq^bBH[$07%nAVLǘT2S-R572L4C{*kG\xs5&+X;l¢G +cķ+0]d`jbd]B\)"?Go7U ]8&kEJeFcM *`86 p +_<ɩ?lhN0GI0%(";֗Ro@)0 Fpsl!3 "RW  8Mz%BeoPKv8q}9Z#f$ɶHIĶrǼܓƟJ>H1!X(ɞ[a7sFT?4a=`gQp0WY>|!u V55\{3nFZEu`Rfhw!=c :B7`$"Amy̴p,p{e!@ǾbF#X=UB ) ;d_Kiz[#+[0oDdfr^9YhAP 2Y܂oZOT?з|S0m~"nG>ax'K_POfh~Mdoओ]ʑ ->Ԭ;אM!7a04P|6\最i`虦i6Got9;*c̔*6qJnvYYߥsLR4cx@1Qz L)=aU dlZ TOKg?buJ*qzB_|ֳT$5˱ ɟ~uRSH"Z֦*$V xU׹Aʹ1BQoeb"xC?ΠbE*:*hGчI+߹_wNa6\t"@ =\yHGHnۃ:͎]N/mI V O9Q=Ĺ,߅ɥ2ӭ._]DW7k"+ʉg"] JݵzwѬ  kz9f %ۑ3K6wq5XD"g*!A51bzXgVf p# ^ZR(ldW,aז4'yJӻ X.AW*yX~ѥhQېb'>IzlO6|KZm԰*}s8:Nr.ZLJR/P>}ɱ?dMyۈ).!MѼ]jOPSGsK-x吞"dRB˚k$~ Px`ygCl2Bą_gLOV'PFip"("qvr7[/N$}BRuM{Fmg^$ ^K<^j~p؅ǀMlӡf$ⷊM>/磑u,;ppWCO/c+n۰e߮,]?J:M V7{ B}9]h|miI靮ܙw[W .j(mcbYUשE m0Mwy/K" v?wk|I~yUk g]"YUn;)3`́_B#0,/t#Q6]n 6#]Ak ;T{!kCd| J{,3 6!4Kji9IxK\+T|pvH[[2>kf6Elmp&h;ZPs74V[ʺt%K2LDYqݿ5DMu-. p$L X27o\:V6q5/үv4]C>ԗ>1u9"wykb{9zrl]A%])}Ǿqk 2x$^c-8GG1$z3ƭ9^u.^" ӈg(xw>؄k\R_BisAA1|cجE'} <5a>lViq@9} &ćsOń$eAI !W{Zxװ\fQvRL#B -npaf&DkU^^ۀxqG7PQn>A6.$.+āM <L`V%kp N&'Sl6iՑ 3-j>\B,۷X7ߨZ*dC;)˴^(~jP&R-0g长mɷe)%zd8m_ۆ4$ O= 1E# HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! JX9]ˠ)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}(IL$N 1h=dw޻(:c0}iPm"Bi*}&YxSwI.1p GfDVcr-GRB6D SM4 :#/PM{iw ѓH"G"sJk+s,kձYjuy K"ǃ]H;ӗ"G1^w鲶ҵqXRܙAT1\;:IgI.A B{=CI"ξfAx\?{"Y}}+ɹXl#?#dD#a544vlT|l_êӝ0ieݐGZ׭`5װ-[fk[i@M仳(mӰ =wYcdvOa  Me]Z U5+NQI)9}pvSIJɆܻ38x#]`Vn"!\hΉ)j&.!}2Z+#ag5y%ݢnab z 򺾩ok-Cҥ*~lCU8j l,( ke"؜pB:\tt`C\L6N0Y/^F(9 a%AX VY򌅶˵E/ͶĮβOc_ sPązHNrO3LO'zv-Si'ka+l 9x Ilg# ce#{VS4bgu8S%~PC1B=i4WgQh%#7'9븞֛>UJ[*|!/:mʣ>Q  /Gw[hk2_=T=C-O9lmQı=- de@oTEsWihȰm*)#\%e'RކۿeV6C>'+s(4A?{3Vr7U%1y4h'+[5Mu_D"}6 bh@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_id528S>1E' ,HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\F(jЗRqOQPT :c DڥC*b{x7hu~me ;cc1uwQA4̠I+C 9WNUѰhy80]\@URNi Wr\Fd^V76y pԚUQN@pRJڱNA*RO(/eg9G3Ch0=sr̤1xg$HS4X/J83z>74+\*c@+`Ռ⺨I'a*k;^39XW]0)%!Qذl$FQz)N,$ƺ' .U[Cc{+yϒwtۏ(\?__ЍuIxU"BM2gG"14n _+">@kU*%g}>(N)ДqʐLtIɽ/RM'6y}[ x\^+Yq? S)zi@|'T'\u,8sz7 )ÂjU %7LzȔlD:{e&𲡵 !Y8q-*6K\<CX.{#pڢV2N~u^$q,4zOl axnGh^*J@VSyfAN }mЪ?յj)w.1& ( POȉ DDǛYj7w+ 4zPv: GMm$d=2Do.C5j^=ԩ~ȇ竉tp;Bvn';}I [$a]:͵Dvk;p"8))G]xl &όX~LhF<ݙAW)"l-HX׈gR_8o("v9Hp1CYƾC>/;0x\D1]0^vw))K.],\}*cɪRR%:(͈҉-ex 0nyis</޲YYoN 'qO#p\RE1 m׈Wr e }fӴLdQ{mvTpϋ疤Y)˨⻖egBp .45]έe棥ŠÇ 3[D/-L8Gn5[Ei)Oђ}6:OUQNM1K c0'c٠N+/!",rVEUs {Kh+%H.VTN7vy|̅;frPD𸠷J:.B,">\v\ oѲOym,h82EݚJ۱>hP/3s%sOaZR^?+<"ʿ" @sf8PZ=dXUu;env?iLq(4Ch8cDc<[HT2jf2=с[V-9Oa`\Ǐ, bY[=(Ftj _x$8CVu+ô`oLH1D!YO5$GQrI90rEy>lIx!]*+Vd-.HZ 9G#}֫N9cTκpy 2r# ezݗ|OɘۣBclI8GfE~>3yy Jm8pYfAO_ti :^=z !Cɇ$7P`c\sUTwr O=qGi-4ٸ[ߎѵzqP%(.ҰdZCs W^l_Aՙ^[#]XsO˒hZN!yE`<{8JJ>W"I~EJ0 'n?s /REqx~0*M;y̑}޳buVRUF*3" Eܳ84%r&!sW!uWR-A:cJ̙z2;'M[c颛$h}Xӱu1Vᢓ9S qɇP}$Y sv`iEnF)+*h^j{2f> mp•-t}%*=i45WkC\}\:_ z?d \M%C14]{"ƃs2Z @3^W)Cǘ7 AhH{0pvnCkD;ksX:ǓK#x߾'_:̼%8hG|/ŝ}x)偛Y(Y?wх=Y|]mκC¾ڛ "=-L w ]~뜢OqrrqGNP-W!$|J aGYEtn 厍3\9bȾt\qąp STxm,d@y( ;$`VWe\tv qt3 $Ő|J^,7}T)^HB,a˥MatV$! d$m/ aʱgYZA1A# 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#TVu,=A[$ͫI ǔLɑJ~EpҀ3,㙽oYH:{G~ -*SYu}%r^҇/u:_,;<L$' ~"Q&ѤETuδȹ?=H h:Tp;Z&qCQ4 ]!z(|| I0hyԐݭ*dJI!XzanC:R{R}U YREVKtÉ0+^0p d u^7B1#NGB݀zE  h^1'̱z &O؄ܯfE/ %Y\iͣ|oJϐx:9{Dg}!"D{#/QJ3Np1⵳{1v"=\_]]K <%"ڈ4b&2Hb8OYKKN[&~}_kJ>' T̨؇8@WD$܂F*& eiCFFOM6 0%ب-'g{0nˎѴyR*1<^ܣX^DGpOKijJ`,p7я疻n#`6X*U\99.`L`<*I-ٍ .T97wl7K5)kҾ]&Z=2mZ1'G:$Wuts ppC nE!V lC[W'[!zu3?LvF0ˍĿDP_0i(HU1SX1ۍ\h=A3H&l/m;Ax 7ъ47x\y8wZtFy 3*&?yN}"2tF|P?.^PUQPhn,h76$k(Rt51{'NГQW,(% ܑ )L0T*\%)<*Yt'y\윧5&GIɵ`;}5gՌ6Q)W&gYZJU vX;+S  md[̰P"ٲrߌBSY 7jP\VHv[b)6&~%abDCu}T<\UTM perk*LۉJ -pZ$G&߷dA_ai=#k8)"H/ a R}HL.#q< XV;E7vd^;8-ljJ! E gԥF&_<<0+_2|ѽ*ɬfݿHh,ZŒ'\ZQ +:(^%~a eu[F[DM̧L!^O-ߨ_q"݃ V2r&!d5]{>x88mf?wMŎSxD n" 9s5ʫw{ӎ/W jKxKhNWP>iFTbRML/a2h\57X>WԠx{6b^//ojS1Godm͋ݻÑA?gB_1mI{oNl&5hYl2*[4*Gj)3 /9͉za\iZ18{}*\K1,X޿߻1괴{K`آ혷oq'w_&`Է4qɽK: 鐲ѵ`NJv.s΍Qꞛk@UHɣMVsihZEh/:fSU;v,'P5*#UgW&T[.m>Uk!6倣Y͏%eYU·8XMhVgA&kB9T&12@0\*ljFQHm9ɲX;6}s2 c2#[zAɠw^qu& &cBiP~Y~l),{4&;D3s7 '(>L,<ѮlWg'Uw8vԧ*xμ\LR"Ɗ姙 DSKzclǃw8E7g#/#I]LU`Zy"۳ }WBka-lC]#/*NRt"਼"l"fCŀ\("a_z+Pk `:uA+,VM]<ҧ9Rj%s2hnD>AJ-$x1-K. >oZ0ǧO4mF tMo r:]S/ ;"<7ّ}Ξ}P|ISveܞz>LP0w:}T]P*RXwK_hkT( ;$y4NJRމo%&'2ͷ#%ǻhf>pnԐF:LPܗD崎{`oǒS"~p*hQ}aY#dD\{}`Qłq]^F#cw .( HJ:('/GӜ%qXiD( g0R+ =3fUOW_KTaV^Vu)Y1MWos('g ;Zmaˣs7uжz $ɜy?22SNu h+$f;}c2Hu7Ń&!{P. ǜp!L `ɻvle,կNBT5WdԾ1bB g]MZ[E ]$[ٺ޸[ޖ#M82W#aqֻ,u28Jb䳋q%B2;a̯imsJU]X%!}UNs /hԃoMGIJw t+%YOn`F/& >(_m;TnFjF ,V̛jT_ApieŸD)Yt'3iʯ/V@).I/ ?̰heg8dśd(S:,M &[P#~:Aw09hq"RZʹIwD(q%ɰ90)Qmw넆`)'-66g;cE0: 7BB3)Z`c7r\!; :\}ehe.lH(L6A1ΈB">!PztqڭCvTݼ%JzJg+717z#Dw eŽԄ DZ< Kbpآo͂EiW%!RfZ+,حSGhV73z&#-A~ CHW&0"hL߻ŒPa}p9ގҽҲTVw_A#`rW/fnfkk\#m3UMd#/Wb?w̽Yn1D{ vg뢟894_[!8LMqy1Z;e[so*ƣ&|J$@\m I`EÔ eNQq#oNUZq?Q= .C믇)皀[%u+}1Y,i-=jR3nk1b^-jEmA2p)"uD@8QiU #7F}]oщ2t[~߮1̕o 6 ؎{X$AJi$O䧆9DnFvSxuR&;qu6',4 #Ʃ=7~ oW׷I^yĘu,)[´cu}>70vYA+q? !(CyܩEX2jG W5;dBTa>>T[$CG؈D{d NWunng! 1uc= K.ƹ4$l$hK |~6IAGANff\WrloЖk[GKNqh,fke$v=Qx5:=Ȗؓj9)PZ꼩wKS bTs"DAqyޜ#WGK֡b`U,dd^l9RRSj*.qBv%7=\n5_-ڱՊ( P\[.sts^8ڞ{сz * ~gYZ  [RVI 1E# 4HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ?]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[6y}<{+oCK3nBn2f{f3\S6nx(L-xi$RTPͷ, !d3\1CJ ki155!XDt|` a fZO*ҋ6Uxg| O3: " hٰ<\Savi џ*1z'ߴJb;dIQy^Z)5EL k~fcA߿_Jss34NMZ[6PT3*v0?^)>z)mz> eH|\%}".9v |<>1WEa'r ="Z¿X %a'a 8/,GiijRX;&SPչq39(# 1ftԢwaAI-T%cnoދT5=9Q@_C7 Ci9U6[#n6o%cDƐ:z{UR E5@ᐆ48%,h K, <ΐK dG4[W3)oU.Ztg6voq'd)ziw#y.c_Ζ=CZbt@PcڊQ e:IH2xO6&ʃ C>!Ofo(JKoۘ؇跭kCeUaFZYYЬG,/nG!+/^:{m]>'S.I?r) <5MSxɵւ#p]^PL\. |8{eXXFWuCèA(Цqv(6,e Ս]"J<)/:Z*C~4&WʋrUU7}N5mzK(Ƿ@~ipd+mYSq GbFÂ%\`Ky bds"Qyk(Fz*Н:.MDgyL>A X ;Zu);Ѭo[p!b<%A]`DX0l[ƉzXk7rbd=\Jh <|s6l6oM N'N4|Wo+ 1Ow;4d̷gk 72>]ܞO 頻oj!9^)ɿtxäo*h|-nO' f/6s.HIisf*n"Տfz/L]bcΊYe w4:W-us@ڮKU'2\5.g9-O=g7Ze7|Fe:Dž&%{4Gi`ذ8:C'>iveԎ@G)$?sѧkLnNZU8wQ>o$Yu͐ ?j"$xD rYr8JNjcjMم$yl!}q](l?ihzYd`E [qL^Q4s*sY#-cjaa򼜔UUɴH D3#8Ebk0O~t:CWp"r_&:\!)~sMFWݡK@wc1/aiƕI4hნSOEݸޢ-CuJ 7+rdtlpfIb]e&βgIf_U/캳b>xOzi%=vNG@HZc5@kzhA+@] ?ء8ckb%M#Mj!'} "vէ@>= դ3Mq dԎ>A`_OɥF!^;}ŎgL7Ftub;@,b}񦪡"w>ws0sFVof?/Co,#Y]cUef-Ts%,mGM: _a;Y*Gc!\`4/G2,R% ]9Z ֊8R!<"J# pvqwlyxgR`W0 Z 2vzdR=Z߰D TӇt=֮w)OW5\Toʿ&#/\IV7@RXM_w7o\mwUmk{Xvg|b%?JY=cH1 wUQ́ߑ%!jbdwb6(j ʒ+:%g|8?f56]\!S&ChrNmjdC^fr\1 !_dܸʤ?~1E <~G=zTID:t߾+#(teDCO]-1Y! G8+T\{?/lYU33P9@u2oP^w̩z|]vt'ӝb蘆[ru֒_MUǕ#pwm`~AX63_( LnwyWS{_ %UJ# 4f tmt;!b;qp?oFiOQ|Ry|`TZV"ڞzo2ܣ 2Gݒ05ߒM84 : g YLhYK0Cf\ P\pޏKUT)ʂgN\wzgU|(4)h^yt5RŻ9h%NOT:'p "'ռ'K;|gSO hI^dD H02လ_*35Fܽ@Zxc"iͫB0)Etxdw_؎z+9ӡT[Q5}^`3M> & zgQU%~q n cVXg/GW K0tG2 }OKR_D]hd~[cCjˢ#T.?#Zyk˄/wPH<1]kSb+:G47[Yi#fэfr_d\>|^/*w2,HQ6R_OltwFB1}Mp ٛ30S!H9Qr}t+\SDMO|l49< n] x|~b8Zy ,E?1m(HN¿y5|I tDmӝ PiL(Q_TnA]/t:o=lhֺ_(jtoJf[N/ʋSyQa3M8sUzJډ};[ch]R[PL?2u"{գu 0?aJmA&m$A"xNIfxД 6ڹi먟aSƟ5D](z :X؛}INe?ҰUp`sgsܨܠmpuR$ CNe?\@aEK'(c%Jώ1} Jmq>_Odu2}zPC TVz7A*Sh[?)~#;??3ѐ`jCQ*[ J!L6@3\j56B`4UJz=;g*z^Zd1.i_]c.v^&P^ӚO*Į}TN:"ș(3?"SEs'$Cdm/9RX%nh{"ݻYn+I;pv0؇:"']|?2 BC~"#E~W2[3@g639)L2)@E}N^XMԲ+Ryݰ,VP`#yĎ36I] fkoI`&hCfٰ+}fEkLt3V8A$T*ߦ-^3`U;!jU+sX)s/lJ@>#!bI!^ڧSBBPT˫IZc'_MV>ߋ'./NX  shhfY3p1YPHw3 }7EkTt TJqR&-0@ZT׿ io\^C74q1(R\ fIyقY8' ֥<8bL] 'T-󔿵oȉ:~ Tar)Y)]$ 1 j1t/3]s `L3+ޯs9veڳ#4zEE2+D%35CҜ$7#v& iv2I%ޟ6ބ9x\v簊eo&]%`h$ :43g~V3.d ust7/mMIfQQ"QN/V6%}}^9n% Э66}Ř{2qx@/ |?@AFc#xWCHŖ] `W Me;HP\NR Yby1=j`hwH^zs.+ wTqoSOt# CQmM$X;F=LLzm΃{]lb3WX Kw' Yف%"BYSxAfWO3׍S:g\G6Kvk^^XJ}k 5~ȱd,$h̨HǰkEXۧUk.F l_528+9C1=*^C˴'s;7ӛaM-{9U5*pH,"?*o"Buj#k9A{xy۫S0 cT̔3TY1v9>s )=ٽ64 *vIWӸvhMrgV!-#K0ʉ2:d"bj7[3*G3OۮZK}B1)#R[Ŷ?gJ{q߼)" FD[u||F9(A2&;W͗P~''4wAByJ-݊$z:pWUi)ܛ#x1y|=1@#ia5MŬ1/'jPmQ3ޟY01 `)IEӧl4C S)`< (3d)1+wba\ѽ+;mXljm%]+L>C0d|Ӟ5I^, ns'@i9R:m|5(ڟnh֩&- k:yyIK)Yf"V/]*g>ܹnԓ2tM^|"GlpNk8ߟxS#'#6I[v*[;-aXq:D['([E[-fD%\@\v'܈?,P~yhh6 j/u[XvoOFh.{t~WՆSl#THڑcW,W0Ln8QpQ&@$8C6$E?`om10|i9%,&TWpI1rDkFR22&hdC8cB{k $Vi 5(3U@ ͙]ᖦ͢=Ux y#C͂9J!0(J:S2t`$ l)[8eCPa_ 3aGuWj)" /ۂ܀-iLbPW]d#j>K/Gn89H7^&aqK^q6y!gA|F[ )ksqHB{GQVlBg1Xt7G".mЗ#&H#hנU 8%lG_#HWC9Of1 I oB%oq';F&G_WJ~w?Rd59zPˡE?|ō^zypE`Y5WƣGL%J,cUC$wZѪx&đyZfQPO:n PcTV0 +Va8GKq|[0§+aEĹTKbi3 [_v-}ĸUE鿇J5RO*\+Ā$Dw`#L P kL{Yh e\Νl#wƞ)"e~6fb[VJ7!1>zZ&݅YxYi0l3<ؑN|]YSv|M԰es1@W˞\xܶEuwSz[41E׌pý,v^`[™MDe}5jxkF" hbM+T-Jsw'f^j(..VH-Oq9 &oY{!>sD {?32 X'* šF]s)lOh*Vwe8)_T~oBkXʐ&{n+F+#&종sʫ̎m9UVJ[6a/&|rl?A D<{vE8(cYg2u]y % -b"ewiUͫ T `6)TzĥGBR΃?23/%rVX[uE݆Zp`]z0 1^Dm\ PY,v O$+- R N}!oUDMR~ ?y[ _ :>.:77iMeQbZF{\@Yp8G!î yh[%taIah? pHDL+=ʜ xUdF"s蝹 ,`Gь0FP:I# H[0 ,:0 ­PظeK՛a\jL 꿒=EJZdlo:٧u5]G?hd_P] rPP[+G8GM)(jBp pJoUh@m~uJ#]W}.sPJuLl~2y(S.FeƂ>OQ$|H8Dh |M*pChպo>B/@N^t[cH}QM'+MĤAuvy75ir:'oqD|n i;e#I81\CBc#VNSN Wwa` ׵~}2J17q_ Eh^2VDNVZzjL҃|# l'3{y6RD7a24Yx^+d&|Pġ5~ {#i+ YUl+9`<~XA,RCO-!K?J%dLPRкҿ&ӳ2$? D/cRr*zn iH<҃^a/1%Y(c,Vw!ǓbC,?qZX` l_(T#l&j 3%rM2Av.=KGAԷD"\Uܨ_.Gj"&'v@;Gc4-qeݓߐ=g7YLY^[!͝/`bۄR#6=6nQ[)YEH7kܟ-NFlUw(5LXyv"/kwG<6{ࠋ!BwA)}#dmN@I|le%;|c|ً}ރI&*ƒ>VޒWptop=_x똗}m̶tҥ+I`P۠}έ|"NCNz)j|*J} p3苋Oe\Ę`׆ڨ/BK;FϿJ(Xͨu}4cT4"V9lН̡_7؜%狿[]Os2+Yvjv >HD*0[z)}6^W(‡AʋA\^ ο2Hu}0HϿɌ19 dG"Q'lkApYE}qFTPv~mӀ֍un88DDUED0?m3sp"7ve4 - Qa/L )}ϳ.7xN?V6L;ij0 gk z7q,\ g_DSԌUj:g]J)E?-:ǴRiOe7u=7)|ꭍvzLj4NjD׎HSh\uXC W r^KҩxiOE8};nC 5\kb.MrsOxl,8&~x,ǁC0p:G S̆Z2UG5dZa\7X2&-^m? Cr3N#ҽ2@]}9VI&w}R[|5*r̀HC ֨֌R@ȸd$C`Gp]>K&J>mAg%M`_[m>xADu_ xHL5)Ag S0J+)OM \qQ \m~iXj ތ_ E|4cXrjBL\=Xl؊S`fy [/,%+A3&!p1JmcTEuWuzZFV۶s!k}-Kg 蕎NSk YkQ֬Mg91&U4X@G Go7.tzZu \ Ɯ$]wa2#G[,4z֨T{1d@%]ӓy%P4aCBN!T6;CXp$pL= n#HM`~& $PaײG\LKkC(R bt+O2mI2hFI"B2j&kP0dڼJH+d,'`gz+zrYrN%;(Mif'սn-CGZO8*Qf$LI.-_$E bl*Hٚ(Eql[3tGHln,`?}㥽Ιj j]~Ke!|Kk&C;1A m^q0QVκ3$/ ^ž j@tմgs2ylwl(英K}&bܿ= n}PY&Ҥ,Q-`A2WTT'qGHJ,CΡ<&UlM@( mGY2F ]GE4AtOF/(3Tvo_X"nl!ٹӜq08ĥԗ=@|UqĜD#gjɶhOYTx#X5XV-&v;n)l+| Z3;Vht3 2N34.z>=hmC,Ѓ=F"*nl*=c}9+(UۭGDu'm"@?s啦20vFg1n1SJnKDYW#,\ĔNltyEU*[CD=Z3&$g~";OGF*?IaXm3Yp\hjk;z,' }d76$,]f5s~-su / ʿ /1]/,vyt]8q_^,R*d&]TN \Y(d y]G=0$8d[V]Tsdo:wmXw&ce"D:e>o'V/<eD lp1z5Bхʳ_SN¦$;wW/F{?Z@ K J"WrXO#My/l:!9 |µ BZKHB' tYLB:ScE`%%ӿ߽Ii˸fV#q5rVeHeme&*dmx b K+êsH}\Z1W9&ܞ1x~́[`Ax<$0@=og^ExKIcřDRܞ4O޳Z 0… 4N˰XطRs4p\45`xx,/40~tJEtCT[.Zu%턋mN|is o$niHKkC;& |˙ ‡]eMK=V\>D =m{3YˣՇl/u,= N*2JmCgbJ3Wߐ0㏔s-+بB7t--Cɠ. [ )).gR|u#iT R]J%CȊC%sjmwm,m5r}Fr,k('+O])ɶodZo-`M u58B:O  ndؔt3}q;q'6Zm"{Ӱ/{:+=4Y0cm.Mq54.Y"kUzP Wј[(2#,j\bӺ(=aPQ+B{4whc-5)8q\xW< ^F,sOyIky"HĄtN\&ȩXB Q/w,fBCн.}xl h(EBX!'FܖL``XcSxFgyZoh9xq|G1]qOKҡ6HE#/90hWyX`"ҧ|d)%"KYN٘;1'Nj6@x"6)}Mq?qeQOH+O*|e>1x{zv>)yx㬂VKꌂesIB+#+ׄhPVaE2E6}ڜֹs xoicrZ)-#TuүoaHtի01KWun?/ .hhigζڶTHԪѐ@{O-ݞ^<)@~`s(N[v_=:u4|1uoMgPɻzqA5gX@聞',) N䏂xсu:W`r ʑՒJɹZaꬢvFyIwPsai,/si"7O؍Ƿ8'v z6֯2hiTN\H-ة#||$biVϒ uw>j}ƛ4DQ0LWOSifrd) 噦UQغ|TSPxO]3Ovިe moNTêOi;S,>Jn:(ƽ-ڊ(BA|d pk"4_Ώhٓs^l,ͧ|bC0{,GM}Ex$3 HMOEq~1E2R$0dUBU@: 61!ܖЧ$ 3lLتaϲf֡~gb)b!cʦWl L |2͍ZE#)$xFer<UV׃I5ZǦD(/ z4b߫wrLfbtrAXS!ޡ 3MzZ|aoq @qN߂^h]^K݆sصaϮBwGUgYZ  { nL1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIK1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id5487J1E' tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\)c(eW7ӍiI,a @jcB kZpM-dcx(D:(@3S^sԡpUSxW6ctth9@m )-eIF$tV$T {Xt2bQ]g1g1%,n-h` NEM2TO6ll6mFGۭ)Q]Kjjyxv/:Έb*ٽ4Bs AZ!!մfkn!\GuP'W?=7ʳ*Ǵ(E2;~G5YE|~P92@N-!%V*=p,FcuK-w`Z:Bڂ`D2_{7 iV?vw:~"j0L z0lK9!,c79GkR4axtfQ@YK_61ɫaˮ"Zth@uH}y6w@{#cJ%^6?*Uxst:M6:x/<]Wq@]av8X<Լ%ԓoU`&hRVWB}^pHWOBC[׼Ip0P46 8Z&='i낧E'B}`? [vR?ݴ̷,Bh2mf< 5 apQǔOr@+^@}yiH*i5Y&Xo '1XcUK)|lKFJ1[:֛ }RA4WAÁ2FCphNi`6 1 4=-`O44H]#Y{/GE7d$=lNu8IDw`iX#,' ]#%Z]a +^vW -9s(0(& X_9[_72d@|#s2G۔=嬅ܒCH'ߌil'C_F7RkqXܙb~Y wqs+u‚RmL$G.W W١@omJq7̒EצK-(J8 QB!՘-@xͨ Ǖofk*!JAch[`0?#Ґ2yq@HM ,<"8`TU==^k>ԮQjQHS{tTiX%_a%0hDV1Q4 aFhLoD@m%:Z!ut^Ŵ^GAu&Ǔ߃^r:I՜ryivɳ]2@ 7f n`_Nj F (EG%n Ў=d#pCVZ|V$Nڻ}$tw~{QҾpG6c1OE C)5}BD(TѰ9D;* Auw q|-[m\jYH58?0-w|"9ɯFZk>Q XȩwOmfwbnjϩܚds5PqyiA7En},Ôg)'ixd{ N@&4!BI,%AD E#N&/5@pcr quP@QMhk_b]Vh<~-J,.E`rՀ`xxPV!2?dRVoe%61e Ј o![PY?b@aI z㶹<!6=?/݇U#=<5v#ݘH+yLy<%ԑU &>׷TQp0(llq:c9 Em_*p"^6O@ <@hNoC_'<3@f$?[PX^>RrfSZQ #~/hw9i."zHa", ˈmDry_bм%8[jT<͚͙ e(>.)ɧIS%ٕrP)?r@\&{hM[b?iTӒC `#:Aq=1G{4:L;JHf$J/ιb`0ZGFXtKQ.aXį釥[w~[pij$ ῱#HU˗Aª  ?ҀU>#TCO6Ho֒z+.Zt50՘JR&iTF6=n $6x[45m[¦a4h|n~- (xgT~z4&$a}"Jbر(JWסRpYi#m`~ju^ܿMȣRЕ8%k> kIQL1N3bF%T8EnJıdOhFҖM!`054@w!; AVKR[$ݔH"p]Lfil`?qź7#}j|eeOJx_%S6Y~f($1dz_?0sF Cfjmzwm + TJu\a%!3vRV)#i_iH^e%S7@gC,ICU;+ObE>;6|^SBdhU|Sk6xqkzCNc>%L\27͌K;zt=%ӺM'1y[ڊǙA\^L.E+p)ރ}-Awu씦c%t7>u [$')QLH;?H^P{ x>FJ/{81feTU5H2/D|;Rsx hKE^DS& {:yF/[\^J͌:.k3qWh{{ĒCo[w;iM;Jb禂q#Ve*`Ҭ!?p^ а=S;qã~>KH$aC8r& ukI}t]]d-OR8&_qv$_dG-cJdjqb>\9H~>luaa{:KߝPՀWE4M [kcʕcs cuY&;gU@⡥K_1F1yi>ڥq\!K~Ztѓy =uMI|WU^!g ~,`L㬦b>7q_dQ2k, Jt'(b.+G-͟ų7s}0)35%4`_? E݌i?MUd7 ė"ږN~?^aTo2x$#mѥ7eZ7c!54Ӭ/z} V{})Zqf[N$h"uiIGrʑiM'#dY6|l(1>Npp] ΂xd4? B|C;I[uP^^Axge񨳻r(!T {'U4+}A/ S/~E%JF ݫ$wX FB]l9*++qCN659t)T};A3+B$:M0Uۖ{T}Y{]Vřx+reMR|Jw˳Pyp4]x%5\ 3z蛑L\|\P@\J-cufžvRÁEh@8QP/|XTSK m]Z0/I]+^M*%V"vvezUmI{ƏCfy>G(%]'tՇ>.S?+ᕮbnq&*/ 6_)~S0\UmȝreW$P W4(|.3gϜp(h̒"^{mADV2PZfzw1DD܆?kd[U@nH O L譜 sٔ<"T5!(lyǯORˌ4Ҹp88@2- /ÿcCDC0VL&%k^#R-;[lvZWT)b: Xg΢H*8nLɢ1Ua 2g=g 62 !j;Pa/PB:607,*C /_g/֢RFYIj x#޸ҋC^#I&7ѡāS޲$-VdRfFF=׭8b3[A9I1MAGE:TI|r? %J ȼun_ DB):c]FA *ZGU2`O_98<:ِ7i[6#/Ʊβ$Zfp"ǠѨb5o<)tW)Ygx ԠzZ:;wl 9kI% > R1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\7TRrV0J&j5pPH:|>QIm_?{b 7x J>oNR%~8lVUIϕ7FqTS—LjF#U;uk{i/# lp!wLn A;RvK4k-5v _#W@8w@ Z3:E!-fxq>j82Ի4%JDE]fCFImW[eA0@Z4/m~czK}₾9"B/>h6KԸ?JnOq>*=N_D`]!ROJ-?Uq# q Agަ+!)\PSn)$V{BŐW֗p@9C:ְ̍gYZ'Q1I# THOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! y]Ș'@7DѺ9 Ǩg2H׆\c`pE[eczM}LWUͱVcZ&~ErHDEọD;Fm^{05q!x0 pk!Jӕ`!*&mU +E BVIdWi>4̨oZI2 Ffgdkԝ)qD#B۪j!/ji+w1%8lOc0Y*ͰLFH2\WdV_v8B=!:13`C诽0 Lq}g1su5<&0`,F&*a7S7ƞeMxRW.S;hD)TXWǨr8СY|Nj $lJ}7]!6;Pl/qL,QHKrط>=-R _9 ]$ KZWse"G7îCPʔ)dG+eKyyK`e IͱK4=o?ouPx":oLnX]fRt`CCX`B^u@gz,}EF+UVnM D?Z [jCO2ݢ`Q!CrF+f M *hHbJq]?d> ,-7JG1MnέȢ3TTfj7z1DyW 6~n '^5w)6iy#CI6,JO:hgcɸ./O9Y~~FI@1q=."5y}GwF)D%+sHYA.?k._ᠼQݍRr {&Na\G=ygscpph=z=ot.* dqS&GKX.P@Q`UE]Cg.=U("gjt(DC9-rvM* ܼT bj>"gP{E夌,B4D<k*˰$/x+q_e%%?GHX>DHSЁR-!~簸(2k,aL=kH~ޜ61Gw*C5ɰ=a_ +G I.iܑݍ?9f/gb6 DXb8҅|A?(qYB/I OzM BMuzC[q#m8dj&_"YhS(M'DMsAFIaVM8ԫzA"_y^\W![Yg5 V` ,$̵BћXekJDaMO8B~o!-2;En)yaѦ`hylu휹pT0OE=sdлXdٖj= m6 )I:H͞6眶ʷc$IH #AN¡×GgM6^ԋ >ݼ D#19ѮFIĔCcmź}c֕F|?Ϙz$q4;r穀}9>?G\ > 遲ẨYqH}$1/;7B3S\Mx5d1/ϿIaT~X{`Q 'k:*X^[1 _j!P?bfd7.U;,'MCc|9Zb՜WjM֚g*I%-p OeSO X93ڀA 9bWbdW̼ sZܷJX >?ᅪH ў6@A%Q:Y[/q.ʨnE$V q`֝I @n:г͚M3Tw1q6><# onN= ܺ 8 &CDuϞqswle0!6GR0!u:-}na$`.ʇ`D4}6-&YDWӨK2تgIJyxOkW&okYg\l2$/+I"q`rt`h,ԎrQҝ_VF[fRCX`\_H-~+WIwoh9T̴$GfhΕ͉ZA?ԑ oSUj&=?m^\ng^RyY$Œ%/ᐻI(@{&I%qwhxT뙗Ϙxb"+DjQPM dCcǓR< !j&ŴtWZc:F6݋jb ;$;Ylu&Up]?TcJ6'ѡX-*W8P =7 ٱ Odq >w-*k̕@ѲaJ\w, a[AR49HHR~1`f#}s$*iJGHkB%6~}[FQ{ ?7o=~ҳvXY'^ZA^@:iX7u0ٛd@ u%-f, ]Ig)zEZ7|N(‡t4ɶI);?plTP>6TpqFW La}yY^3e~|;[}Be*Bt|˰f;jTPMXYè"G3?ͥb?v5p4%CǾZUc?cS'Ͳvm;#QѰI?1.̽_ޡLc_W7AlzG6cw̬5T"N/{q[k)KMnh2gI 5dD4+2<Ш mVk=jxnDž}'X4EW~Q($>η&ail [h`4n"@V0s¹7 ;:N6YJ$FAӔAީc#%LKϡM0:97k',yN8ϺO*q~g\s~ CSler#KH 8Jg`MԹ10&;6$1' Ccf;B;OTOs $I+$| ۱#m<t?-6b?e? "Qgt&"LɗF #"/%G3#R HWܺDY֞`B1Dfͬ^bt6R[N!{m@4$y R(|_a[Pl2=VgzG8LٓdymQn\Fl[`z@c4FNtq-يv dx+{,1J.oȸyw.}KWkqYDVXkM9q3&bGhc󦿋GWli pb A29l *h%\%aجaR7[n0^!&όlJ3[0a|/`?O?uA{j~yX7 yU=@# Aݢc[DYW8ݨJ5։ XZsYzjO"7U,)>"]ߓ ĸ/3IA%}HXh3n_wW`o+.x wFiW$xz[d;e4',NBJ]hGeeP )D٠߳+owĚSE85`pPCYd1<; ޛCHK{)3ykSb5D Ej3HO45~vc?y6Hp]H !?UԞ"H%cI p7 ~VץIh0uE gޙ7w'isU<%b?Qq-PQ8yf[5Q9Yr1-`J[m1!VQZ6U9_r*\p&)Xlu|-wC~^}0P[r9jwk[|%p( &6TbjCd2^Ge:\Cc DWh=!zYB`tEw޸YW sP,KHuϸ@LX҉M%`qaNbS<GƢ+@'}CLW¡-,b~nRL%sOjM⵮j*;9 }ŭ~g-CƵ}6LMouaGBY(=- !s7^A.ڜh]I(qB&Ggۘ5JB+2K42zP=MrX6:>3g LQXm|fW3B mM2ň/XXUj쩜 Ƚl:xBc"w)E| rPNTEЫ)KWEԸ<6.݂7w\(JYSN_ߟНZ]E]WS=ӊvZБO9\cEvϠfK߼* PNT/:XGK0j7#L7U/DVE#|;QW>/<*ZO2,H^YfL;2Q UV2%+@@ݛTzޮjkB@$fuu;G2qiԿl|Y(mi:1ʂ#{PEj D fȕgdC-\+ˋמVAR=M :D]g^FےmJn/eQ%TAg 2囉IU;3MO/Pl)FͲ8e/KWHGf)(p2U9uKN+<^dj&vz_]Aэ!@&F&ɨՒ xXO~94_[zҵh2dg]z&Z8ߘ4V"Ku|\Av$O~Mjɜ&N]!%|Q aų]@ ꚯۂЖĈ7GG h| J,x15¼oA?8##`6D;Z6/bW_UMc !߮_wBS+jܼr"/U0jV W2f*N\:K|z&Gin']rru*cD+ZPM |wtNdziuAf(0閱ݲdpWxD.|xʸL6޽0^oXZ9YBVȁjԉ"bBnE~_lfq!ŠKf,DbckVn)} !0 tO3dʀ.(mލ[H^ɩ;Xs J.?"k k7nA$H„J蘝%coBH Qņh^q!>c.)=F29Ӛ@eIeл>+?geINF􇞑|l-# r+ yUh,ڀhsyfYg.V`P=Cԥ!jkH`Ҹ&\R)nKX#4T9Yh:{!E9~Zp6DYaݴ´XOkyMĖNk*3xͷبO/Ff}q[Q6`1`sbˏKZ~/[G25 |{\ Z` ,JxtDR7jb`殚5aSgy(3-l!|AmeJ*[cѐ5nӀ E; N.hzecc~3yyQw_Vˆfk  X򅨲qHBr׍qnN|?ѹԇ'玾/3*6E=jޑ^exJv*w`t"?mjM7# T%*$l.&@!Qd~=f}x ϵ}oR&\i{3vb57yzV^þ}zs\k&I&$I(N9 P*W](KqU=ZvA+dsR/&C'p^zn`@Q©P,3SvAn?lz=9TU@Spnj',=qo5e[:*c9dׅ9@EA7 =Hchi\{q'|uй1z2CqK)Duoi22S6Ŏ89H^q RkՖfzo6m!e$Ym EOaYh>Q>*C-I4ӣdJ˩%@HzP͖99DkN,Ϡze^F1 +D\\g $ 3H[_/lV`opG`%$L8kH9K*JggFȂY)Sh:{Xdϰvpmcsٿ =tՓHz=u\(oLFP՝wrnb#??k/[NHQ1KŊ1/mGZ qwz;T(8up:O;'xc%8h-ON1%yˣD?l<#%Wyx1[\y[d#k6ŏ(8 bqṕЙ];@ГkZzRL<9֋[Ӗ:B6VRx/U,RgyfX\Ɋ_.:"~gg>^RPT!ɒS#0#'Y9lήŃ=lJg\4+;}IuxJCnHi͞b.(i)WMŠ`պrF̉6|vKnZP)8">:K [}5]AR!~4^O7UC:Fm&cS7Y6qY`/*¾ -j ⳮWs'%7pŦnkO]!| u@V%1ÖyAsyDU uT-Erݕ}44 ~-Z?oJBayc=P1 0{ tΗ04H&hinY 3A4['HrP l&[QyW-XZeIEcΗ|!T}PSMŚ3$;i5kMP>_ J;@z \3:%qQS6$dfg>j<Z6V-/t=tP}m@~ +>vm[GHBÊA(m&h܅%"HtiXHLJ;t* TzaBr^nH oި-;K Ѫg%卓k̙᫦}G&n#@F8N+"LsSHZdv|W!ßU|VG2;щmm-wת$+LhC?&s"s}} #D եEA[^ fcտ&(<|gA[Zv10 e ru@=OۘXFLYlMơ2X?jݛY,P??J챶~Ũ0`N@ /P%h3ӊPSEԯSDV>i Z'J wIv!QtlN[tX8 &g(`\CMscв@RUKLTv}˵}#Ft# [:c^‚ @:޴ȡZF"Yu: X[0\*s&: SYS 6dqMdyUsHӝT.in1_yc\'m_ߩFexRǀkW#j3Iܰpf%cG@eHqok a#z؈7L4 '3,DsXw?kVt:Er$}$F?yg_C[N%_496i`t%5# ]'Ήѱqp\Gxpz1P#;9f)'%c90Q_9R}\()IWK6KG:^х 3Op,p)D |:gL4G.+[ ip$:Eq` a !JJ.%̴dqag 2su:pz!aA6ds8'.=_qE{+ Eqeos{`)p5B,03_Q#mȀEԝ@7Lt ^EEA < c2 S١?볶iIDW޺}*HKLEw#kZ}ɘa=P@uX .jRkp5,b6Dv ;(BCu%nuctE}_[ILg_x[OZ] ٧3".ai,p[Z(W-a9D^n:7Qy"9HN`W!jJJJ8Op4n$9-%:t3v K-[%~($ ^{PF"&EeԨdn:(!c45\$n?d.Lx6,Nxx$zC٨Q}C|f[[ Xd Ax"5=.0,ҡ+`%j}<ɲE/hlS|e| "i{]u8a pjHP*MLx.$LPH4^ e^ŸƷk}< z,&%?O{.ƧImMD(4T`vV-+2#n8>j }x΅ۻKLގVb6 ؅]$[bc1FQ~ɏ<>BZ> ~t?9"_6B懘J]ϵp p&Cp ߌVj\Yg0]q^iuh9PᇹK$.ގ`PWI凳v2iFS*0S|NF-oGzţnoKFe3_j(XC%>ڪ#cԛ.XLذgɋ=Ԕq gԉg)d2ҟH+3¾6BLs i/ nşQ\\*eTwyV:uu郥΅MJ{ٷ.{Qb2~ =8 :ګua^eL1KqܚWбnǐ Aš1Z!A/FTOݵ!eWhNIfo̞ 70rA-'rGa+ޥD@hq|oaΚMp(xD*Ha#c/<\G!Gk!ˌxH+e̲~u$؆jua]@3س;g-~bcP=WB q:ε- q0b]#KEƤMۮ6ti_-%8;M. &Au@")` G+>O8E .`1J[ȃSd,Xo=iQ^ZD=io,HׁvEiGE.6,3PCk,g{"rM᎚Sp;YWvSZ;aV~cϵX~ftX#O"&n")pD9q~ 0aU:#@qKX a8񣩙u u毶%YIk3lnGdj5\v_ii7eMfhU(|MA0yN=^P)Ċ62M~_di-r5aΓZr(5[$g\%kúغ1S' )XϦl0; 3.yN9_K8&}. a^H& Q!B)~&[1YEOˎٖвuw< j3RH\_. u>oŁ1qfR ByT>\gdh {2p`ku ~k/4Kyu ; P hav=yicw-ct?NɩA0ddaFUM2ѺT8g3BS)ȫbꆉKlPS/&ZnYIȪ6n L Aut%hTђ#πX!=OT 1˿-D1/N9aS#2'!Z$E >ؕ$v`Y2]Х;3doPTugJcpF#*>N~}>epyuXp6jIs{U PCdio+EXYϤwF_]:`C7uj8\`FweM3!.R뉨<_=8 4Sz1wiHJ<ԙy8 / W-h{/>wXpbNW <zVQ`,h udxmWI I7)#Ęi>]qEncI'ʢOH<%\c ݑfӌܢ5边F/_ѐ .gYZ7ca212ef7821145f714d338b0502ed61b3cd0213fe1ca847b6e56efd0c060c7dce965855c93258d8 153d078e60d5674c65d75db5c4e89644349a1dbe 03179217553a698b2562748ed471fc7a29ef24c5