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 II$1zdr *iԔGUI v%?OQ Z$n%X%^<0xcЭ4ꊈ"3s_ۄ/PCûGQ[6\dh&5 4qqLŭe|wmpID==<4I76YPNd 8B==u@.O@wsƙ)}n N$y"H=!AMס l.DmSC[M|P}˷=o&J"hiV&QX3Be//nH\ ~| m QUPy.2̕k@0P23OntxW{®I_`͓[.M0FءrgCҼ:kdD4M}280V*bϮi)m _Ar$ֆpx'Lz B "DO(nR 5tm<3}㲶 o󯲹0d,h ُYZN?gX+&egM򈂬kY=x?hޙE!;3OffB3翾lvq46B_Kx^{hM?.S V;K6:b_qIOp?1)U16̎Z&!b&mqmɘrnЭ vI6Ηnv;zz12}&g@S06F4|j&ﴤspjV3(?D<_g %'Ñ/ ;ytH_ GMaZC1]RaznM֎"V8Sb=sg}eLc 82Cle*X@sIf4#%/ydH"Y t rdx`Qb([xm.mr_c.W,wT@j`JD^)8k[Hh09~Gl>c~_I;Z] g/9X֎/XC`,l+mx9f;`+}ڵe"spkF <j);eX"J#k-Y *:bԶ"}ƕ_ME7'/)w(`샽%]`/o$̋i9T*\J``"3G x’\__0N_9 F3 Iip`;<4r/Yy($9PэC!mTzEξ!sL+fSm|"E-ɏQ4L mͷ|[jզ)vU3ABƼRyB.DU Ot^$Ybv $= H>,eS/o2MAnمn ~yM r( Ű~"[aPᖛo[4GxְgFaB]{Z8ޫ'2!A|:ڦB*vT瘃9<^fJ{+]svr;UIp3A#٤(Jm3tN]Mo5$/tz1ݝB+oiq 7#p[:lSb\I#*dsHB54!Dm:"_b]7 ueuHJfƟDžͫN$xJ'q5(c F7^vSׄւt9aAqJ䧷Ri3qM+g!sif~(N-f['B8#M5;0xPׁd y[*<2@~Ѱ ڪMvW@ 6 RxO{W+9喆DorMTh₭APonB^<+9f 1(:֏N].ӭGH-$i]gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ*qiݝb yKeMXVf˥F]&3ӎ;ZwVVQ吅}0Uu ^rX^"}AW{՝~g8}`)!Y#. 8xp?" vx¼ pץ\ȧhTֻu`1u'ÀBCC)ĜYuپ*}S֢(ӗ@@~^nYUё~D Aٮ_#M%irQ jwVa1ڢJB! %!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|dXc0Gm8m;#B)x/e&_{{}drAH]LۓHenday+@Tpa8.RW^uJx1T,RK(|9b: ă"]U)ȷ DV 'X%7}72}X9lŋ&@'1<[pNuƩ iQ1=Gy~zHeLgjJvؔc70h?sH^ḖJ iwU]4W8^YZ^ L;*QW"o 0%\iԠ5m")% ->>Qv.^ YkHJ7C ! J]N5Dw9O]KE)!/[#oC&ZhJƼ*%;xqc3Łk8chBU1J^OqV cu8_%lhXAl\BbHON.\Ȏʮf09I07eEChFiJ Ю"s]q8>ߤWw qH@{^&7ie (uH!x=r%|I,**mS|/XCV}'ݑBVκaz樌G-&X@R4Jm؟jebb\7}aaS5&χ.#qȯ2ч4pEA1VK)*MP:*2CsW/K[D*Y!X6I, 3{C1>b%e1/eu߼]|WBX[FJq\հxj~^̦o7OP~|X`M(bj-~k;7$`超C8r=Fl!!0_Z<|4=`bΜѕ'_>XE\tąߖ">BapS$6'ȡra'JO.cTpiXb]$HrӠũKҲ4n&ܭ=Rf Ηg:9`ث&'cO_ Rc$?տ<!Ӹ\~LWҲK`XSYYm,jr.Ht[͡hْZ gSs /y:|@00loh=ԎzV*R |kGgFo4J2hQM`{:ʐz@έ`ܴbdrg&A}Ut[|ϱ jڮ9 TCHk osmwIwU&/nJ|J zjV9݀<>-*O @ц|/k5ҷˆ[ yc}.KnOc$_FNvnӸ tsPLF[|協Sp$ܭp]zK#q.L1UZp6uvđcƐt"wn[Rq廞RU(ѡYYxJ&G䠴@{ywxFFWU ! UYo_l5{ %0|uJe%ͱFZJsAٻ߯ß@&=+leV ADJӻ& o߰+*PmߧOD)Z.JKO8D|o!1;i0ޟhBGT$%ͶҒICGFr1,h]yTRJ4J%3^JRP4,2xUNd$1;6}|ڑm>+أbz^DEG[/=ohDv`V=֕4  LGVOs!:E.懶>G3QN= ",eW4ťOvLjv܉k~8Q^5oҸ^қG'Y`Ofw0jpO 0CYW³StqG ,(JV -x %gD^6;6`齳%÷ ~2}ϪF#}֌b{ٌ2;wѲvWQ o|{p@͑ ,:Gi9>􉘜Fa-Cxcq{ y^CG#MyΛgdA 6_ES^uL}pPVEܧ Qcgp=IDZwNjA12{>ћ cCd ~d6:]ѠORaBL^A"wrg4X+CPlZEd2h mʑ*5Qw#ZWM Q8g5[ɓg.;͞ڜ^X Ś>$_h#?muHk/u5y5HO.m]z$~him[_C龱8LQ߁TAϗc hl@pOxFI.IvSBV5SLIB3bd8퉕#ӳ?o}Ūw]"'bJ!+K{Ja7!jw׬ I6DYVEi$DtFt24 p t4|DWy=?^RBʟܚ'DGkS5\심 `"tHY괯h1N@ę㚚!F3, \Ff[_կ嵼 w|%b*8~ dC.w&c$|cLfqK|UY`q Il0eh׾tUnUe*Ln Q.)J*3Z ^'eUpqf"]YP:zNTڕ(Xl"Exo #?yNbLCV&= `RVڕY~KYD^/ܦ/UMe_r鴲i,3׽n|~@aב9 QD.9V|s5~346MV{*&CSWn8k "iEZ1٦4Ye,%n{~յZ})^~YIHlqw}Enܴ: SgYZ FF/1A# lHOL-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#sIH/@?$U9^l%-Aaމ$Ja箙h}u2F3ZqEa![''k#Ձ~Y΅錽$ $1f`Wu!4El9ovnIg+ۺ`M{0kj!7K!jFB #|iAM @@E򏔣=Q2 ki h:5{hE_Ucw6Sy4B\3/CXXɵ\Q:^^"2SWi $΂XiE~'1Z?X~}1rS`*K n!cj[(ϬV∠C<#ZRT(fޱZa-xI!#J-")*F*lIGρ=̅Ƕ1LjB[3q?Qk3Cr ۾̣S+r sZ҇R $Ofܘ,8-Cx A8vD*1 աK>5fn>Շ&ND&{z_ 繭:7 <4^U:<ȝOd/OFd8!k:bcڕ6(xuyC\^JYЪYDPB$I)gU;^۾dR*Ky\OSr'dٟ>pmZAXI~U.a7VEXcA2)\d:gY?uM%<*1RMB}sGXs j19RŸ 1ҫk cl[Mra|:Ez+FQq[њ1L[ȎT7qR ޮ<I a܃Ugr\4!CQ mWm[-.5`$vQvz |(-55C%5HOeSZ_A;]n)tD~BMhv5Ξ}n|V(Ei/XzQ،<ڀsU6>"S˲UIV˿U8۳2*PdCSXn>H25h}Ea$+wĖ8Lou+Gk7Fr,8c42V>ub|K xgNɞhL怂 S NU1:Zj8'ֹ9q:ep= (&˸Swٿ?3d[+׎?0|.щaEbՃw&Q fN)SX c(.g#)X?e8|o;2Ye4]/|?>h}=\?N?H3jx\ziD(ziْ LI*#Ϫc$?eQ1 DЀaP6ӯ AlM0t!PQ$$ u%1[5 XM$ $Ez`v,P8\"MJm©OMyUFM5m|`}I> g`ZT}xwh[šv" U5Ÿg߱8uтʯp ThLR1cƧXpN*:4 9?*jDŽO?υ _4|ʘl%5ci"94TO_f kGANZ~^pvC3J5}WX;O.'C{fy<0=2*G(ep-LGKq_ī~{ }Vj׮^ֱ?T&Яi h?_~Q9Bs}Dyè \&o(A[9P\nPzFL]{aIy`̼+be}n&*UNb T?'OtSF6 S _5'?L1vcQnױAl`4}QlvA+gm3򐑵[muz9u)lßkjȶM5&d(»\PšPBʶb~c }^c9uv aKO3vwmφ2ԆλcﺆԫfAF`#\Xv$2E=F*/A{sJ}}_R_~1 ϑ[%14P5U̩t|Ip9 &L blHDmVU |13qmQu(>$AV`6y"uU+R]v;9~]d[n]7@r>Ίt(J k`+~Ar4~80JGvE'"Z|ʍ]qj6QUmYj'S95n? >h::9.%cm^/.`YR +~>ļWzC++/Dlyvdzf'Yp ?^Ip_i{tܚ ̾/ّgTaq/;7o$ =r~6hU:ƭqyXAG&f ֪PGCSB}[뢳,sTB^?f[+FSouv@ &M+79*}#/L:`@st #1]kNr\G݌ܶj9H";vFOzȼ}@0;4nAp4LCB|Y >DUB+:Z([T|xJkNa故eUO򞗠}=bTorG8- q!* \a^`KDT%1_ ܯOldP̰cRd)< BB{gR-ʈ% bPffŎUN#}J0Y҄'TZ` {J<'_OI-Ӭ:b2_,:yRdcd*:y# %%YbƤ9o,,SC=}]'D6 }tyk]h_԰uNm;UxVgauECxxy:8K',|;rᣘ#vjz;*ȥW/.Stv@>T%燍Ji zg2mnC?6Q$hV~;Qۨrusnb# >d|;˓|m{KE&*柵߇CrHV9fA\|ґ zJ)<NřfXƯrG#oT8BO;Aa1֧(@KDcܱPELk@UzIThiD=(dBh|gpה~s" W_F۲:z@Do1IW0Dz-Un*b$"j0;z|EoHpb$t $I5z d.\Լ[h  Dۇh➽=(kZ+Qҫ;C$|.9- q'4;q@}4 =N 2+j&7,wЅ>@9sVQB#(a21Io!Nr0[\HIԪMw/-ˬ$ffHm,2q~Cx^c/\T.?{~= [eOڳXe[KWO\ tp'"#?y"NS- ~w(Rh,)/>Yi| & E=\ӀMGgGXq34huk ^ޘQ+|PM1+ fmdIUκAuV6h;ZS1vȰ$A>c" $,o~>(HD srJm=PfQhUU oTz* o)UڴH8ԡ\|WCs<%e<:a4| ^xa^5}s@6-ȸ5X.D^- >}؇wḪ_3dBd]Kn51>yx;=IBSA`7ۮZG-A^[N‘fН='lVB_'0&|ӧaY hѓڴOӚ>QutT<bgPO:N10.zE2$Vn'T 9yr nN5[</0tC##צW<׾\3NA֖P~|Lfvώo`zml\7@7NLo'|<∋Zs,]' nmǷQ1yqϳ^OUrJVbX!@T}l4d4ָ;G9a4~l}2W"ֳp<2rF,.':S1@r\N)^hv2 Tϣ}X/l}~_,>)._S1  }ŗOjɔd` 7G30w,[llxY!J%=f,erkXfM4 0HW!Otl!,AF5g‚Kku㗟8A*,*fjCe)MqKyt!1u94唎Ľcڂ`kњ{e1bf:V]`my3?o#DAe֗;iu!B4zěȡۛ,jS{`z.QQ,gYZ   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' E'}< ,J4 fmk@V'Y#W ۳Yq?!A VeMB͜QV1 rBqC!0˥SLLR&T`wh{.x@~4G~Pn|3*Äߥm2&m64uU[l)K?^&A)ZRim[/Ò*bݞܰF5I\4 Sܻ$,9# o;JC>J+iҩ7][Yf82bXc-\¶+H l#X<nyytjup3#1JVʹh9ք:uKf1ӈI>xa]]JPxĉnꯂ!= qcW<@6!R`tg6KCJВ@4l VG_U'`"tֳ6.ϊڿ,ΞbmudEsE/֜$1- z`ߥ3*m~zIKElA2 0bADZs^coN%b$&rֈbtuٸ4)o \F](Xc!`-ix,5G? w`J&l+}bT # MÚ"c7>hbbRMJ <)BGʁgIUєkd4:V?i b׹T][y- Q5O5Ae'چ {kSRSQ'ͺ$"'S> uf(KZ)/zk*v9ΐi#P5)*ӘBI5* yISn1y1 ,xr*DT”Ll,(o5nhg@ڲ٬Ǡ (X4לXF_o @[M_?jNe(~7nfi9 QD^C9~|2Th$0F鎨";eDYE] ORns{9{ 'ie!zH#ᾙ+lz<;xpD\+Nn=)(ɯ՗noY4W7SCe^pЄ܅X&nXa Wm QG*`JjŃaa4X`^͊g܃l]tg K}bܲ 1DRDfVj~U\.X N IL9C@Jf~@R/3FᎯ9+3w'j]x"804Tz 8 bdI?V+GAң&,Aa[BX$n_k˟;hʇ cz0b\ꇅb^+حPvo@"Jon a)We%%Їj XG/8N͋Öb-Ψ>NJ_G_P&țx^ g{{)VͻTyPGJea;JkC#>Z7}#\%4LܑbFO4i-A~M]K/˅ zJsgEi$Zvg0hY s%v՞Cf,0IA ևT*u!B'(:ؖc!Z۔maoϩ cm9~J|Fs9J$ĕ/<.)<zP}hds}'OB&y﷔hN/BU xFF8i~a%EbaH/\K7ڲ/Ш 11#d£qDbzNdhm0WwKNc>b(~P9 ٸUsF`)2*6a 8T8rXTo(*zF З.VBq aJm:4Wib@V18>53B̤|uAzSSG4D^3q)U. Gb[.6lgU t :č)3yhxTnuP, [qY"z3+nܦgfՋ KlpμL]QY{es*42P@Uz.^4Q,5KopZ>YKo.Ԇ?O2zgYy؁ H.2b O/9@CvϏ>^Y1dG0a(Ճyf9oAzLm,'zᑂ۝a6|*lhjo@ f*aemÙJ~s˚%.FZTgM]'ڻA;BTtRNAk:wAq8Jvxj9taI򕟀)ܫk4dWȚ/p)OSWg 8`?-MQnJ_P}z?ZU^1-?k6Zsx3 q<2ORA4OEjTD.o2+ 5OCӞ?ceUuM~=uk,([`eRIy4X\^NFĚHԞCPg#Z.4KݨpQo"jt FuͤO A7UhN c.g fi,^fM鯍bgpnk˻d-G`ħS(8xjJ#WC<=Ω.IZ*-y濽j;K+EJ4x~{%}\;iՂA,{3t7&vN[*?jXFgWs (Sv9FWNPEFS$tذձAh{5vP#ڍ]bYnGZC,h(8Yrω 5K0[7z? nq+S5'Ap(ں([G/79֍_H:t^JgAS!.ukpEre7iXU[qdY01eFFm8'} ~Ch,g,,v~K#Hn" X0w>p79P0#Vvd,@S9$@_lT|uD*i [:=U%_!Rl!nP0.{Vm]\~SJ@d5}>$TwL  mRZfN!nɔg'SZ(`$|Hj.aʛmҟK&gD-{gpk5:L|:_u[BJXg|.5zD=YF EX*^l`he5/iXWDJQ :ȣ1j u~pt30qq3=zۃ-E$g >z}r=.S,wIt=Y%-nI1 zn]Z8ԟ6-ԫP3f`4Jb9bV#%6p>/ M%̮t oQhkpuJіh[WȠ}-G%=#BvCG@0{n^p.|$J'w0@)cwXWuz(`W8$}TPS-6\?faڧsN98z{QN}։)8R >2 -q! 4V݌ܨyrR!Cn>R AGlRl'i9`*& ɮ["kv: GXguP'a}k?`MЮ8Z|d!S$e@*C㱰,f9o31ey]gbٖP s\/@2;w\_x$ڍ3/vx%6n(V#L_CCu4ێ.T @yX#Ű),+|2^ic@rw{(XR0Q6K70uEj0>6p> 8BVnnP ݮ:FEO|4dLY=j}r=w~hѯ &ݷhӡ@zy W`Z+w_2!Tާ5(_&(KB9噦\d#-.? 2#}]CG2%悑}\<0;!Xɏ$d,P g"pu.98ݵ& Y'#~IEaGzkNjmc0Íj+łqN"YBALJ{Wy*ޜD)5O1(8HCDV[pQȝJ;/Psǿ >GmL ME~ ˞-3*]˽g 鲝ԓgh_m5SwA"[^(Ǟ !ĸO'\Q9) /cA$ lކ'iլ b1N1B3Q3:< Vsȟ"go(H֞?BF'xcΎ1}wR9fVYr^qSe\ >6Mh9eOtXu䷾+|0f)]i.\ jwc"6p6aB9288Fgb %R*늪v|rI&S1,W}HJ{5%F9^G*+ >sc3{Mzt]fpաWMRxDf*^C@j/9Jf\>lm\MdZ^Ǥ7(_VmB.+n,S =o5, ??. [Dxp:FZ1PIBrrK([QxEks}.УNTC^&6$vq9job8%ܹ22 u+m;;VnD1}q Q֨xyѐܲ7k[QN^g'%b_j= mA^K\,m/)Ll5k=׍|x,D,09Io9R}q[mY{&읆=MИצ|2O_K@ݔӹf@Z>3̲?g@XCOQъh݄XnH_:y@}dcoʣn̛se+xYکmw!Rn:: rl5O*1Xün( Ab^jRcH'LxuRT}nx2ʒw|g 7shWfۈ]eaNlBR0c6o .m6/="G Hu7#OX@h15Í @:8,ӯ9ؠM4ep!Mg@˳u7ް Iyv v\ 9JL]S=p& J2K oG}a+d$y 5L~bvK# 5@3|"c9Oy{bUr*$ (?;n.%WQ%a)`! C6P`^?Q߯%TRLF(jօ2:Gg}әzDd G'wqEyOU:t'YxR"%R^[6=C},z%c RJ!#TCV86o#f!M" Yˠywn.KLTdI{NkvkٮT\# ` 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ϐ;$(=JmffNw>>1r:73mCW)m-5IYCSiB''F 5~U~xΠׂ=,{RNT<|%%pImѣ1 k}o7`Nn_8SX`o$hTv7QS'zvb&c;RIElg^ b Mʻ @SD\J=&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\9ƣí$9C=RgEi.2/͗dGW2@tig:FDrYmئd;B!QvwZ͙w\_wϜh4͐dgd,l4D>N ExB kDj /"}:d:UH^ "tIϑ}e |d=IQFj_һ.WvâsNXW2q`?5K6 ȁ߅AQ2Z?.BPM$"FgYZ˨ڊD3y)NhWz_ejCx9Ql]|Y{ ̆t%[KeڊК6D=ZhwV4kv&lakŐJ.E<]۩@+gPh<[] wvukBI72C}Cm1?Z}>Ͳf fw.W[ՁI%vlT\]Sr_"{O[-o%o{!8ph7g&bIuI{ UIC){]j]K'8wYW^ Qoxli)_IL4K؈8 Pl>q kkqXݤi8WxNS,%nؖYLw-z1 X2V3O!h`Ɩڢ %T ~>ƏhOBzvd+ ΋ SV\"CіrڨҷDTE'7{EljYGv8Ŏ=+)'Hю~@ZOZCFoy9 %eG6+< ߵqZ8A=2aN͑"lte+T7h"19ެFIV.ڲ9'm[]3ruX 5Y>Rk-=U2CZդ`L$пs<~kidRC2hCj[IjiJOK+:_>\):9\2o媎Ϩ_B e@ RrV‚Wvs^5vrRC&-Q_ƷݤmzJnkc6CV,۰\\ #Y1e-21hqmdPӎ֩ Yg,a] qI˛%YKޕ]W퓌@ X[#6K$Vj.K9PC bR<%/ju7_p:ɡd qE\ц:VyCFb=`geBbcSv +OŲis5 t{Y!>ay˅WG핒Ҹs Ĥx{WS W L ‚Y߶4bꨙ2^x"*t˴{ E^-F󓐚 1M1d_lgIJT7,2',Z=7>x:YH=2\H~:ҏlMf 2 ~Qn±B#S&xҠ{֢V֙&FMA:a waqubLP1>78,Zs?= aUBLa'}}R;F@@h暙3­~.;2A9 MIKzev("iM5Z}AዺdP`UKϗy+%%fk& c!zalc*tȔ˃sD`;3/JdM1 KA.{*OCVsF3HRKPu=rjS$Gq 8C,|C|Tu#g"H>8Ӕ)%U3+,VF9t8 6gBd˂.v8Y )yXxV96Ep:mI]8.zf3ےbD&I;@@L[1;4xˢݨy* dcF&w&iQX"#] +Z֢ꐸz@/o`">AⲈ rI'[UV/|N,F 4lNWMH)Ĺ[8i[Ϝм]`T7,aA2mH?,5|{,ەΙ" ϡ7Y }ڡ9UO}-eETOĠ;t{#zasMc"SaobcL%VYBŸ{Ľaٱh~C۞>$j4 tjgTWz"phsaY-,YQdц(Xo܊ ]M݁󀿬+n21٦Xdsea! 颈#F@ W6?WӦkKձ?C>UR?|r{)>__H{Z?anN Pܦ\vE+EUH"kXU&7=Bicw*GRw-XaW&r>\z%bnyo\WteHUkuyz5< #T(,!T>‰I ͡~+XJ)ۿQ\Dޔr @qz$,ףH9۪l)¶ o/Bͼ p#joM=lz+O3 7ۢl;ҁ%lՇ?r9Dmф Ҟ֠]naϽ/Q)sVR-!WOwIhc _F!NJj!8<. h|vECЃ̣&pK }QVоTχ37!j|aK8I.IDJg+U0=-,d2ӄt^¡D6 +4ɽ0ێZ5q eKC3G=l v1uB\LE"צz]@1|' jRc \ J&/@vo9kN=T%jvAQp/l!;‚Sj7߁.(3AZ0`iJP) x_f $Z6«ą{?FA;/1$bvg|E`Pj=gGY a`W5XpA+r$@~+lxveU}trBSCĢJʨBUOmʜhvu 8 6%_ |r ވQB@jKէ=~uTQj +} |$أy8&^}CuPplSNs1V=aExb|E8BY6Mxs>HsAPilx- +oEDa#.88Xʜ`񇭨3[j'Cjx*9O܈:/,16K-~/ٶJ8"HvY=Jj.-OGǧ-RP\XU<ɺ`x-39_U:ȍ nvQqCwAt- HXHt`\BT[hGp *oJH-L/.904k g.qU~ :+[U\ߣY4KI-kz0_4KNS8tyf+%Y Ycc{LwDΎF⠖b{Ĉ|\9ph{B!bugBl JP >h4uD=!P ;.ҥ'sgYZcP<Ͻh3v(n^: :*ҷՇ ė2poy|m;eD]l%z;)?98}cm/9DUaz¶ߜ<HR~lU(Yx~aH2|a,lGeYZ_RyX y2J&Tkg. S& b0af~ -o˽&fs-6|<|Jٝƞ#P z|ɡJŚz@>TVS']Ql9Y=]gV!ow0~e @jb=ǿ> (j3{Y|!;<"~dN ª8zeNݥ( r1ަDsM`{k8cN1MgzWYo_d|r vdxdĤ)@L䉊]nDsg9"GNh>>$Fcr1_+cN=JnBWk͆hUPnQaQoD LF'mvN1TenUAz@oJ519PG]'Tڑ&A/2C\8+K rqs?TqZn$4yTWV| ~ Zxqa$L٪m 5僚v_(:p+I dINٴ=wbJQWnˆ)֒لF$ҠL!wV3؍v.{qnKP!\8r:`o]Zm+1~4+IX1.Vmzu*2@g>wUʉ[`fgY-H!t{ c ^=PnnЋ k]f+l 76N Ur0XYp\֮aA VrジKOƼ7j;< ,M4N67c9.Vy^g[V 'dKDEBWsнEAUZxyOQX Q:FD JC'&xO.,E,Jɬ[(:HǠvB4Xs0K:Bq6f*ƨt`m/U4,"~/f>=!JM1ƴ} rf\#o4 w͗wqke1a{2|#3}=!PVHǂ լ;-Cq5r"> $Xe{94dIJ9SDI3ػ&gP4_C3NxƘ5hTo_+4d330pQaYB튐H/ dBS3vw*ґɥgnu_ܱv& hKmUo@/4+=k(G8PT'ckWu>xv ~e(F*(ezHS0k!}NEQoĄIc% tq=-zhaT9f[ҡby \^"ۇR?51J4Kp2%$ G:u*zsH,ocD:O+Vߢ[2izZM%F.[! ;]Bi m:v% ~=#\ f(%b6D 5Y\szUh}udzwE;@,b(*IgX@]cj3 EW?!18\e~L7no:IQetlecb1X2V+Ս]7xǺĪ,&AShS+= &2 { y) ?qT/@`D 7Hf i ~6V pq8%">} !x.l}Gg42 pgB>8onΩ1SK܊5R04`Rc|H=Yig+|B:o+ܚ(\g>7)"u&LM\EH= /e6(/LE,p>aGml.fsd7P`C/4)2"0rv-Ub8 ||c )OATL +",D py.A)J@ClwD~Cӌ0eW@7VAfEd^t+rx%g2~ ʄ޶._B0(#;WkH y`uj  Nm16 S5k$B5-J601Jiqh~FbW-VyW$+z ܄y..gYZ &o&h)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\XE+.P&[c|dp LNp.OBb1AkcaXYUPA ,/&vh82c#@#M)cK϶Mu?twj'TH>LJӥJu#iknlD/j_*뒟ST[ւ?4,`+#9@BƜXE(ۃf\VLW^{yknGr'ѻ4D`V }jpj w82_9, >v3ÿPhM%'kj&9K>K;7w0jPQH(J8yؚ4= -[ ͹afvI_9l=u&IW|149?X `>F%MQ}^U:J5 P|{&|;6&آ $;c+b}^ٻNu2vv1C_!X6E-Fd TӇbݜ4w7̞5‰"TR=&߳}}ϢM$-z=+ h@$j|Q%1@CdEpb4r$فw5.8f+ `PE a_XLDnܺR&Bdr3l)i뎚ЫB=;+AtCx Պ-k<ȴ!dl +VâhkK @(B3 J<Ӓ*1Ceٷ]gYZ&1G# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! a]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-M"Z/z5aW˒GeT#UN2dC5lR]̘\qƂ5t#] wzFLt3>G1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9s6lHECpO7@NEҤp6<:zW,l?Uh^iY"Wefl>x0wC>dtԱh9U/o `/p3DbPI\ó&ҚJ˄"SͲojТ_dngI\ ?2P}E[$DbɈ #FPғJgN':. ,(^Ik#!3+-Q$;MbPiS4V^GL0m^\1IiZxˮ[XzڕObʺ̠PԕGfL\țC*V.wV/P~a9CK-nHWe#B Z"P8 p`X2lЧI(@_!t5/)ꩤ )h*H~ -EtS'/\ow4l2j?cfrcs~ڰh.JdC($i!x~n].v{- >K>P,c-=ȋ[|RnEOo13 1IZA~fLr$u0Z=Uu;8wˇ# D ^-$<5QL}"9^[.JmY Kكo%#0lxtXǟCގbHr%rn&׌brR(»\PšPBʶb~c }^c9uv aKO3vwmφ2ԆλcﺆԫfAF`#\Xv$2E=F*/A{sJ}}_R_~1 ϑ[%14P5U̩t|Ip9 &L blHDmVU |13qmQu(>$A/'5(/E%Uz)JXt-MEF5wo/u~+,%/$I4%b&}+'cEe6#bGBBgR(a.?ςfZO٭}-t qvldJG6]'D ކ IjQ11X鉂Q9Uߗi+5xK4 ^J[Xw[#s] RKu;Ga} /ľY^U:LCZ rJrvO 9#/TQ|{݃vs*P6e]&KM(<4f잂QTUӀHY]e{sˡfaa$Ц@xߔg6EfV iJ-8lHvk7:lv`Bo5YP(Ny7]cިZTR&G,2TD3. @# ǭ'ҕH@D,M2BVL)V@-ާJ}xtQ0p-XfQҝC=5^JipA}cIq8t:.n{e`MnckR4 İÂv޻Ņj_jM) u7}]TTa]6g(GӿhNи*; DP s[ƏSOF~/»rܿf h}0)iC޼Oޤt_QʗߔN*ǙDYB+rFZT|92 XQi07¾PlXZgR2Z @7|t<9pcK_Pf`F˗cw ?sZ0tHX-SSVqMܫb!Ndκ|ج"wƻMDJYg LPF~,*4m /Tie1}֏`k# ._G µ9e]>zGj']t55M8B;Jˬp:`NҦc^\v> Iڗ('d ƓlXdoe|TQ?fPVң\i x.5wim%^ BS f?VhnNS3с;6KNRC =_@Bp53j(pO8*!_g߿e|,hFxvWi , lw0t9C~Ts=Ӿ"!XTO*.eLr;QU!R_i^c95ђlg!:l?{W6Ub!~wa0F;9aSn<~ߪ@ʮ(M0OGF428~gR$\2ybc6.JsIr)vJ\~Mzxtg}zF[Jn,T\Uf%ތ$Y>k@(R(4;0YDƭ Ɇq,HI!1#Tۮ&\V~FLsX\+d K!S>2ƀ#J6"*Jl2CD6e)#%j :l\^(>Fn7f^ٕߑ$e{=|p$UXG)?DMӘ)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?r0]#ji' =_8*K|0[asJ 2LZܓ6{xmX}M%tnYyͱ}>>#c/-N/&I"U3ŨyJ&6j?}֟ jOƑ$'lRw9M9'g8dXȰ+lPPx\ǀ/d]b&7@h S?`*$VrT8Hsaɦm~,xv z$Žg{H6@%&b?T@CcIϪՂ;A n}Sl#U!_Wtvl Vz%+~Os};_O~m^Z;]CJʗ R~4`pse"q䔻 CԆɱwjRJ=Fm{Ya 5>b678oJO"u/Lj"wMeL,X>Ն֥?xцډ%odQ@[^K]pß:mFmX 3:Ғ<ګz+9ďATHԡhPѻ|ӿnj|Ke@ν$ أmw.|Cl_w5Q>-v{H[qKZ1jF*Sse39N9r϶*/ `Hɐy{W?K7#;^g8Fg^.Y<$db6J9WF3y]0[@^V:vb5I.7s6x.`*`AJ2}bDP\ث5S8P1٧FTf'" >jy0, ˎ1,Z_Sn:Szt ѦR/mns?8ya+X/ Tz_{Ϗea녲 ˱__|K8ta8&a;w* {vQNS%.[ڝcpʮn<6Nt4{|\ĭ޽OgrNJRvN!0cVAldɸ3J+4;O?3x2hXEKMɄ*@+ uYjعaC53#D B.EM d8vAOwJF,5er?Y8bZLW$oڿn0,Dr%LKhB?z_uGĦ]L~vAys!j&񻡉.[*uB귝oꍒwAfj >at3bXlXZ,~FmXLJ c}a!Q/,o\7!C7<}{K/!,G _acs[gx52h<63;Kav-Z0Ywgov}g`8psrh! zP^oA%/~!w>+.-lr|Ac:=].qf-Ġ9QwEӔBۛm}ߔ˝oR4V^Ҿ/r2UrZ3>zyX5 &ӀܹpX \ӹ bSLƾk;Q(cr_1тyPks/IwfKgID4hibP@)KoU#ƒ ΙKhCfUɐ[]"MS_24DR|m>ܯ{ 2NEt"Se z$ .~o .$<|ILu^ҒGBUP+gOC~cIkOmc|;鞠`:Z,#XJA>>ޠFu>քk_–3:+`h^^åZ|Dr ?Iwx(^P` QĮ]{')6/Y'}A齡X\BS,C8y w6llxfpOk&>K\ykߠ ϐx|Z+K1o[BE}:EcS@U|RVCLDt x)Pg悀fXz͈^X:(N}H P DW XmOCTz9 dX45zb!wZ*-bYJAgm-EzDA@o80!k+72XU4cz (>sV:5 R,{/j_LZNB)IPAa؝-A1h'v+󯆒i~_sdR}h20>tr=;j2.w%W[Ȱcwezrpu?jU}|!\tQba $c)@:śPp!Yrj4BO8Y-YU_g.Y30 >z_}qCdͲ.REj=?%ES" sBb<@X?GTe*uݹLPϠ!-i3L g%49ٴnx]-=y&FQT'L D&(85l3*agfN jZEvyGf5Z^=KŃs-zc:K!&WзIqxnq$@@A9E4v7ECX뗫 cBE aƋ 'nUc&4 AUt8^,|S]2yk =Rs886Trh"y4T.O+'(_ZTѓMOQ+=ٰZ J// R^&c5)<E9MTx~S_8[e9_.[ER[pg)nr t ljRa]`B%rL3vaqRnDM^iI&q0ڨ*nPnqI<`@j˔R>M݄ n|1^~bF,UM9QV+{̊r4(GA n= P0=_7_0t:KԁVqFREuTCGLzԬ)h8r7$x,ueSP#"EAb(n"jnּ%t ^wʇ̂2ϢZx!" I!.BZ-|׌?)%&=WZ)ɻ)B)䠍[L~̓G Oܫ>rOs!r-9qIՄZ*KbAҒFc-|~T!@5 Y`T|x3L ?7:+>-t(̺W@/#fǰsȭ g@v;A=UیcT̗ f|z-k]qc2K{#d N&uGvFnE9l\_tqd:kj> K}L^[vM\FB;#3 18`*ڒ#und 6L(IXD.}n|u)k/o]髽?Ի63W-9CECH39 _)hFNB9n=)HRXJwR .2U |[YZM{'aGi#` 2#u^\Г_ԍ %WSM4Ky(k]|XoNbλ|  7|Z9YHy}y?(H?Rs.M _^H-u%l#\WC +-a: fD CaX݇vn4$Q^ZܙKC($ Sa>W<(/]>VO;Y_D;iAjBERD<*5țl ].] %}|b"C! M3j]' A M(F6ucQ6qΝbb7T`/!>Ut25?a'd}щ=۩!/ Gl#itFtABi(^Jn$kCT*llDWF{ANf7Z>$8D<Օݴ&Lt .?JnI`ydI &(3!ItOqi.P/w8\ Te,R/5HKa| ź 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]uP7|0y8h?.!Aq M%8 *XH&NFڀ\1Մ|:&4bo4W=Y0).qKa&N }^K0,x 8+A,9m)j]1!6ӼH/c/lcKK>9qKwOVۀGK,@Z\YEMx!4#g)#,Jql^?%trO6nn||9*&^@o?wT}ӝ}z>i13AwZ'LCS2QۿBt #hKXS xdgt:7Snc_`&MF¡X|dA]Pq @Ä,xQJl\K|lK[Xa߰t&1!C5 'w/w-* =M+EQS# 2 ' iQ:/&1Yj熇1Xħ"8Տ0,,&ojPXeú 5`>R4E',Znڬ.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\鯲g2֙u  "̬E?ɰM.n1Q}Hؘ1: jI!ؕr2^d:~%2`h?>Xg{rXN?opR TE>vz":WaeE{pqǻ. l:Q频rQZE,@ov6+r˸Aϰ_xb6j#ti/YZ3󴑵<$/ ^u?ıe^aym`̆F[!v|;Vs!W]/cD`H#IB]mv* 7c E2cڊ$J yvNIMc] 5Q,OOs3wVñĉ)Ky(e5{UDM 7b'vr`ٚon 3[z;<ʀ0Fd$ԝ!/JhV4efnۇ"FZU.ռhN*$u+gɄ}_ZF5\%\~ɒ3H?,](F-4d2ܔs?8_`q``Ad|:)K~`JQ>MA>dhR<".bP'$#ӞwOۅ|f>̔նtV"Dvy_ґdL#]ՍG[p;5ޓLQ r uE*\-8"M,!={OHKG 8+F̒*ܓUEo?Q}Q":P?4\pgf$[Ƅ<)'2  78жw9LP ֈm"zwU4vtA&dI> ?oiEfbn[Wh:#n[/v\ apGK&ډÓߦ:_ [r^:-yDds+E{bsL:(`>:Ln8Be H6Vvz#%ubX?2(Ytm#~| 5v@'Y ZkC'L_{ U9ӎRbGr]NDw=:I^8|WJ/Un]`І}Bý9ӽԾ1 Τ/܀+M"59VUqצjԬ}=s v (Hď95ޣ'˂addiE0>ސ۸SEěplyA ?`D.1PeiYQ~{~hWn+((Lz͏Cj)4~RzMʄp x!(B!mfM`5])]D9*Uf3.09h l/u,-NَC{%:TSCB_BClƪ!$\mjJy3BTYO բgՄ' vm:`#WVu9uo1DNe XKc0w){{Bc%->le~y}'8P 0)3 41^<h)7ՒA"5E#Emx!ή7]*R"JC_Hk 1W !ס]߰g Hk<1'=Y;>Cd  "V:ǥ_S:ʒ'yf+J ҭH%"0ytN{AF9ڑ.L' 𒬇ބq~C&FE B+t99'E>2/D97=J Z3_ =kh墵3)PQ Cbke`dIc,4ϓ/ K:ٮ5gTb< riI )fSJ?(잝{$и^)V̆`X+7E<'Jm^?%gvHUzjnN")P:^?D7< # mi *d.nwn pB: 8cdq;2XcAC=,iW6^*{X,gx `kI[h@2Yv=s "Y ׽I 9%EZ<6=JuBAHKp6^-;R!;=V-s >{Ѵ-hwr̎C?^JMuGT= MJx4 a+Շ4L̤nǡc"47T~}*G.P%yC ei\(!$-HSlm˴l' mT>m3p:.">kjW,䱨t{aSqo):awE|*<^g)kN@¶DᅖT 9Y#} b{B <_"_ϛl"K9Y*Zr5HY1!{7KF]10g~l"xt; 4uW=|Ͻ ㊨>QUױz9 ia21X\lsLCᛠ}^0² IicAN.}PT6`Zls M,HV9fVԈ]` 7=+}[ytMְo>2=&ݡ˽b"BxNB88t d. "EW!;#06Px 4y6U*Duhti0!{ 'f?dveK?Yw LϘ ¼mbmVA|c]0(4;7%ڵYeP,0[/y@D[ ];mmL} HU+j~2NJGUn/s.3E4rvC<"B@הLҁGCyFP\#VDRQq_C Fy725[{P}z@9Ѿn;c6' Crv%zЄ]cvo)iͤѩ{RTU`7ѻ%KM;sQe|3K)!x& MBLAszA!75t]c۸YR<(J"WojHQڹGK3^dgBD!"\ժH^j*7:k'>W!\'hkw̨l.q?utd*થ8rgB^ŞaX[@eI$B&;=5cAY& 5!Y^-ѿNno)S(϶I5gel |#2?<vXf>-R y ({V )d0g*n-2>2 Ҏ.нBhlNo#3ɇM9nhaD'ÜٗTCЃAtųǻ )2&R[*|\Ț:MP5{59WEK ,_ 7W34hwaϦeY`l|\j,!MY4h㚄 @L2KJv*CHʒG''+k]flIÅԞ"O ,F s "o0԰'c%(d>,_#EKGAиZ"F9DaYn @ D0x-v_@A96;D6PE4#Y }mP!Xd.aIĠ >!N0@@n,۴,&Ҷ:O!A|l ,AQS6GycHȌz{_o23G )vi59)u-Kgb%9cTAьȚoaz8"q =FV#pY)e+w) __/2@2+\9s(dÓ@U5ol3r?&]*3,W[8pP5kmuA!=<:ۡ:оGK=ŜG~ebWdQlib.@}‚Pcs_F%`IF@\vW!C;Ya\lA!ҌXWVR070-i!V JFԕ~(&rGsWQ^fYqU/RyK3t!r':Vg9:cFx^" +Mk bj$F5kg~@@k>fx;#K:%//Vo7 f}A1*TnX qK19}xrOfZ6bt0+%}x? )i^փvCN_,p{חq4Q6!arr\Ujq(P6wyQaЖEO |t\uzXFŧfD(Z؆M t%=-<~yF4@+ͣ7i sZ/~nh,A#S3v2F}Mޝ70?8J|٥Y'uS vS{ٚ8oj#W{ֈBvr1dW6xs54#αo%'<73t o ݸ2l!@ɷEUeNX`Qo wTCN+Gεr)7pI Dk(@IREc>D$,s>H"tr ϝ͜*6:q:^,<%V5g;%vOy+W'Nɾ#K3F7 %{R]Dq#jgD:i(/Nk,.['' (#aPJ= Ǐe-d-N;UAkhqjz-ֶ]o.CeMcNzG9X/~zJ>4G$M]Ձ[hh@dC+/_/6Bw+!I2zҖ˒,<*-G f)D֍hQwt+ [ ӼP9>G'юihZ8@<)"4`)XIK(I +VP= Y{y" x bV|ڒdysL}|jə+Fq%*l 'cBe(Ic2pGhLt\cxX,b_3(U՝M,:C&^*f$Qj522}z"pFsyDwЯȰ(mF_$( w;41x8C([Zʡ4="a #LvlSkKPKȋw'I;dʳ \h,&s!!lf}y$&Q%go׶푟 WJe65B6ذNq*[Ps䚈8r0ܨ I/hj%SWISi|wmW@"KE՟xdg%y?屧vy/.S4Ж)iV>խ L?P?үB\ }vΚU}ά@5ftep/{jXH8zq6>> B'%R2" ;ٷeDl&'o-݁{d0K\:} +$ӧ,>ɁFd1=է* 7ˁބaߚ۞߮r>8Ŏ9_ߛ f ǃ$յ |a7.dNdUJ!ʖ`qCqGRnH{1676V1K8L֘D8}PI| yx04XTIG.i6g1ɐc"nKEI)5b|XS F #,TQ܉w)|1Jg]w, ?ˤ *ѱ!A{ `8(,FBâ7M+}&BLq@¸ȋq4U0^@ մ_7:P9nCt*|>wTeÐҜ|'Su#b;)ya/ӡ_l<@bBӢiM],D]'#(|W(dPp28 5a_G)$,1z<WZ~-~ZHNj٥wA7%2ݰEw(hޝߴ왦k4(XE=1{= !ɒ:)]m42ު <+#e6$MƑm#sGŇ$1ifjc@ݔ;sV6U_bjݙK i_?6;(7K0䀶h03lm7V1"^y߽g(Cwp j_ g!<"#W})a\F<P{qe?[^fW(?#'ҁ2/\{!g0@#N<\]}4 _؍':PNw? 'mBt'L4[17 |5X7N¾vC pU͝Reo0:v5z6)6V17/x?RkE)7I/Ч3Rum_!G0bC I ̒_{oM&.Ч^T:Njá\0f,<# DO?+B/ė:K܁TP]Q!=0ҿTº\$#ҕ8GyU:RܕGPHspgYZ ` % ^`o9 1O# \HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! ~#f]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-#L:+\ʙ.wҋOB i ZsBE M •k3BWEdk7#Gfxw{ $0F1"Ʊ,=ɪ nf|wv?ku1H*<WPeXw3W;]!*#& }CԱCC%ƒF1vMdw+aN1++ZZAW?*z`bhhL]Up20{,L@dS9ϲx嗪FgQ \8 iL8t>q5y82{ Qk\x97H)η%k7ԕpaY["knL1m d,N6aC-)r㷏wua6uӬsC%bfYo-A\@spc0T:lYcfHMU-5G.6Tڗ?0]lKXkrb(h s)GT9恱mѝ "\/Č\˿.S vڃkS5DzL!T g'/Gin|] #ʴ5n.P[1v81O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM71O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id536X61O' ,HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! wN]D?7 {?:fH\9ŷ9bmsv>G޾'l<ί^,6HpәfKz !)̸˷G5ʭHjA(._,&މZYxʜv kgdVjTW@ԓ@*QQ-BSO$9h*Jy Fw{rEn 5jxkB>w!xLjznk4(~_oAeyUF>n3?q4`._˳ P.9# }*`uPTEIY⾝}"b"\rn*Mtcc|8S(Enٚxƹ_D a3FTsF+#$Z:dAqIÈ雽);f,!*t}雦MǜF4g}a?!Fxߩs_cye&'m=)-@M_BW5.{b8 KkH4ߛ;DTn 7+}YiڇHgbTAyb&SI螥?CX1IK?Ƽ*6b@BH]XFΙҾv(lH->_F$OG7S:'l 3:%RH瀎B܎[j,@iiZ&sL90[7.E*Sh~')*om!oQu7"3Ϙ(Q ݚ=tYNiAǒ'3 ڴDe^&#G6#NȜrS丰kry= tcxvxt+.+̦>z ^NouHJƢ , uD#ƹʈvnV}Og;7ikD._ݾӟ8r3&Js`#9J4ӸրhL7Y~_dTȉ?""IQivѡ-CKҔKdkiXlLUP! /fYHoʊꕙ,EvЁ A@.]l(u G` 3Y9Pi2A7]K5Ayiz𘂝7ú7e~%eK592d; 'h)¶&!%C)YC _^Rb\ 7t0 OQeI76Y fcE rD g3CXD5C8&R!vfgMj(`wXn0fNk ͍#% O1f Q<8[i܏kWvm(`h[_yêڨ\z@וo E,L"vH^bMld3*7y!6ҾYeK02ӓ;0k>M57l̶g;؉3u"Eʹ daak0D"സ* sj$}B b+x'Ea~OhJ3!꓋\RIO6UU[HC,!%˞;P7;5p.{\; 02ȂC}xRxȼutJUaKܻҋZI+-*Z~.+ƺV^@ oscg3\ww0PJl oW,ivP-)✂Xam,8E7P) X$&i{􎲠[28+XdN #M"KB<2_]ƹd[v^01'.sq*AV.w{T]^_A.قOTwb3,ao}cLGiKSi5l\{q1/93LX3) gt:}%e֌[겴e<KR s^՟=ՓeS!nQu-w Of`94B*d[^K*AWC}0/WJY9"1 3s( + 8ʳ&I-ˀ˭kS)V4;$n LRm ZgVBoLan^]`MgZ"n▹k-LȮŊ{{%6*cjp _q݃Y*1hO +M ,(VӢ-jB z\ld!ogsI]jcBUm͚ўlz Dଜ>vxj4 UA/s.,&΋IA'-IYJ6[gNngvpkQ2vsZH>S8z6弿v|8n£_L"%f!K}VN`tÓ &AϮYAwDz(_'FCu2m|:YĝK;n~ d$/jPuuL7Jg2F jJ }~ pJ! u.+`QIE}A|cɩ; HPw*E<1 jiwb!HL]Uܩ1p`~ qĿH)R0W$^H fg#k8#Ϳ515EO>W#qI$>" oǯ.boV+bw1z%|?)-X'OSSc)ɋNWvOac k<$"k/)NSQ~{wh<,De5$B?O&^ZFw&Ak#K QvX TOb'Cu ,S{@&3F7!(3g+FWTIPǦtp 15ѥڦU6Jӿ-_v gtTSِAT9ՓjqdOfY@Z2tӁߒ ZVChy'͒0Sz9y%nۖ;ZW)ޭ~9-9bDNYb`Dd-. En> o o& G.,~ޣYbu-W^Y fV, *_\cC2fX:%y(2@3W9Mz(ϕGvvuj&l̎m0J[ ŧ.F+%1|S_d+)g%RE @,Hn$:^ڐɧufJ(L4pœ[*uaMn#UFR͘RCt}_ K#ۉg)A6E-aԕ;z{c /B Ü kD:(fSZUR[v<#"@ XI%_[I.?yYP3Ѵz'#ᔟ;M},$IqH"^;;d~Ci; \9@ Dfpo&?"mB/?l<O^Y=cgk,K@HRcH"H:I ʻF6/JUNJӲN3+||֮$F0D6bˠzQЈɨKѲK_'059(,ϯGͤ^NQS:cM=DiI{]vqqj*S̉)삚)6g|ApJ dq6j{5ئl6~?m4 F״%tq/KBܟi}t1?AuќRi(ƻG{7:vC@PL'Ҭ}hb SIc|P^yu'$a@J `i tn ]b‰Ybm.j$C .YyT7/7KCG |u%tH)1 I8Zq# N8;u*}/Lk+D8 p^>C=14ĥU#OtEc"O9NK#_B\"fl!Pkȴr vTZ} |סڣo4( O4#!X3<еb1yY.>=~ց$m1-A/$R[񪬭VY@H FR,rdQ4#}yAlDUcs p-GK_wЋ2WվP@ە@{A6`<:of0%Q%+[}vr>,sHI{ob.W ww+i<Դ)8͆]`A(ݯ >Hvs_)E&aO&,\rlGlCz BbWyG9ݕFtN2iYN9=8Exw&$m4\ߠ#8Soi3ح /0I Dac2z[_i'Xb5JvT|Nir^ڟ;xE(󩵎dnEBQ:9\`Òv=^X*D2{k uZ=M;y_1`'szs'hkŜSٸ" FU9%WdBZ ~5&av-}YAq{́~[ġdβȚVNBJAF Ӱ{aDhIawIMZ?{/4~F jG1K~[.@w> GP稯!7.;BmZlha\kAZwRU Ӫd<.W]&U.ٹ 5nN.@ TWͦ{ ko}qmR7*?7^.<+NpzQ"j.l).; jo$|f7zX$9|{,&F)kXyp }=ٗ{װHx߶k{Bl3>r]fىj,wKY~w$ww)WBdl,rU2i䊚VFE}0t&`MQsy1vaxa:J>#J˻ݦ#NَHŷ6>=_7&nV\ʚ0%.b}A K#bbĦA-OɰEצPe" dj^O6 X@:/9HҭܲTjg@ TA,.:g|V<䵃 P"}ʕj{Ɉr̺)|1P)S]2[/U{ "f{y Ģ<0{K~׸#mC9y㟻ڊ 1/z"yH;T'BΛm/\>웎/QA?ȫ/=aG 9WP9f*iPVK5ZR(F5T*8()kqe kwo%1[Bpʵf Vn,(-LyNwj൛lY^zǾ:e3߈/%t|8oiTnEZ}q5uz h+,`.Rf|6'+WU~2hkr &318SW+=`eAH…:1 ;Qa/"~ta4QN؍{cek0}?cZ[2]W'iF _GZQgYZ 99l<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\U F SX'j&k4&(cl^W4;d&UiD c6Fc !f$ WdjI;;p2SS I|iWf)%9*6WoQ[ # tdjhl $p(w]EIg2cksӕDEqMYb<6nא2^kO/ٵ>+Zᙌ"]pZEfNEG^'`o]H>] M"U9UO1@oփWR-zR4O~t?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_id373gP,G.ڈ5|DBJ2oCߟ:hcI]k, S?Vvl,fXBB2S1CB*l,*\ε!TBP53EiwVC`;:*\K2TWFQ ej/l%ao | T)+h dn#9=&0'd{h69"wx%G^vX:7#rUUKhn%^77kx<'uV&04u908]|r@O`9`R5u=Q4g>M:p8d!̕*Ms; [j94&!Xr4$ƓwK..njӏ>oԎJvѬ/:s; R`>5C $ÿM@$(,jE֡酬4$x K.[Bt^d;toˢr_no"47 ڼMtP}$'`hY/ flRg.RVd"ڇ@Lq殣R͞ b@IIO'Imgʥsŧi6¯n:DOye 5>XհKivxU;%_ݓ`>3~{+!+[N/-^;Ѝz6AG,a 9fw6'9kh2PTO?+oi}5aμw-/ML?q~Udx' iGʇA*/UA29 VT45 ً|wս[҂P* +THY޷GK7˴# R:2x\3gJk B/Ǝm8>/%g4+`Wo)q Ӿ18ƋJ " NOVWs-n~+ܫA?/)vXb:9czk2*7z{ǦGJ{iN_i!pz{/@[\??@@^  VŽBf =$S J6/3,I>@JQcbL$6348ɭ?hvSNmt,O}IShR~E'( MPFcW[K$R,Hk7ѹGl=˾ĕ>9*W}?X*L Z1z4n}SuT>6firwNeYS8_UmQbti]'N,Gx]eSe亖ǃjD#A*ũ/tg1X4;o>`;B60RJ5:W~ ݵSwD \eћ[s5 ,/B.-Ȩ.\A1 9(hR4 bcOľt8,[LYk *-}/\QEաC@Keͬ&f%K/n^~(s~k `s?BVp(e}E ί)bY-$Z`( /toi͘L;wPOaL*>_Oqվ&qQ`w}kY8NKGiE ^ШFujۍ#x QKUUάdM^LOv6J# K1ۮ6+wIƘCCC? 4 `8a'OAK&K_X` a{N=MH'G߳%Ġ5lc RSkwCAą%qWtt-vC! oX~'Ha@`?]" %}B<#ݠ r( Qh`XQ;0ZYhxk1~F PA@3Gҷ<Єe * IY_E@evb3sBCsAr =OBLדf,1 15ȧ?q()o~PQph]1)sEʍ3dZ6ov0F> a5\uж 0(p4ΎJNOsaH ͩ1u;Ҹ]R|a r/]Fusfgvwxv91DMo!:%Hq &,M>+DZڀ0Ts!Aϲށcx2r Ѷc d78#ޗYN&× jڷLӚ|0H37)v'/54oh44FQIQu*je w1b(j"pV34>&M:/c ]"7y%:]역O]RG05o}[y]?ԇ~WrXSR$ ] >DڷAG=KE%?3>}sc渵7%Uu|voGD03OWt)3kgYy-ݻ(lwf]oOqɡ/CL ޷tvpŬkۗ᣹Px PR/Rj͏MM⚾S-ӽ}4xp?X.2}9my ]㄰XW(0c;yN=$cy"l P\|f.b;p6r+"9%ibSY, ^lz*qu> :OCwHvn ĞoQykǪOI?Oo5 L3];|' `'OC4G!/Sjl'Gg|" s@I6\&@4:zwB1azt'Ly sBx9TWbHQ\RxoRNj.r,ygcW, `הQ 6os,1zx%_HsZ ]3"w-2\`TtȴnwA Ir5Fa\TqYZ/nh=\:͓H5+E O" j'%m8uzĆ0Z]& v%*F-uܜYșܹQ\_m!8>FeܵMP( C9KMO=vI`_.pF?",G[]`pD?09V`/K+h%i,Ģʖ 2x{wKx|Bj`"Vl?"ڮ6Yc!UoY ͎F"\kU\ovPz$T"S (! j Q 7PmAB UCgΣujN8 !ԭR /bӏ5l6: zg{rHTsBfY].?-5mwY/EYV|=\}TXrJ2ȓ_&~0լ'NjCi9$sSz[dE+@C2jY!s%a6z~|ͥd'ߑ CA jb MAAgP)u0ZFY- 2uT\Vl|ѵs/މ7:3$:sm휯P=_<{QL6>s,|"v16xm)oA%`ύFbdG6f+qdl>Lȫ9xΙV_n3aP({MNjZEgR|W'MvT761 SŃxH?؋/dzjr=(s&+@-Ogm:Z/-aPŕBA+㗩aތS`si _%nD2zpY[d CV5m}QX^&{Lo@bX(d5|Eupѡ"mBW$de5qT)UxYF~r(a8j"RaH8ǘq )Jl8jV] PDDw#mR (4=>Ow:LS$`"JI*[2-,Ǜ>S+bkړxK6zːdM Vw.x~ߎWtۣ#(ޥݐ\sG{ y"|Cx]9 3pvm&-#JcsJHY\b*eC_.<.uF"~7(ìhuזRԮ 8/+,x.^Tm]Sgi#3pbw#& x=0=i !i;6mǸ7sٶ![" 'Y4 4gSb!roMseXߚԢ`Ίo#膙KQt\M@+C'F8la1DǺ.Qڣ,]C^ 1N̕7Tߣ2ׁue}gZvu" KhWEp(E)!I 82$pn~dU=3ĸK7ބ ʦXDFJ;gex$t /f=vW r s٣/b9Y1nu mm-HFDzv)3<Ŷ$(<$G$*:oF E7ϕr"VX!~gvjkOCd/d?zӌVu jIq MB=zv=[|=u>}=41 'I#5铡3fM՛YqU)A ׌k-uR8Dk#ȃ x.KpƁw&(?F+[|hF|:] :kvi9B`[,˴'4MPx^09GVC.~_4zic ̥N}=}`jL3'çCZ %VGoIG=heb uo6\~#:' 綈]+}Jϫ jS_`WL 0f\U!Ԁ*(U, W3<_N,ve`:,AӠv.a29➭+Cfgcj YT)QuG:/Hyǎ7d["| \$_QcC%ҔI :ֳAzU!K3+i"ō:Sd_b/ܕ!"V Z|?߾ťY1,Lbqn*D' hQג+2D]0~;O ȗnD(ғmNU~jɣ:ӷNڏwr_yYuVű_3%0zZMR&KiS"+7rM=V~̈́ RJlQZާ(8yl0sO}u<%Z 3n)kz2MMmCV89[^R/AD8r{UtǨ0j2rqKJN{'_79\_f!SNry<6|CT'1]Ǎg ѧ*vTc.(9SbIiִn!H!wa 0_|[;zF=ca/ L].{מM#Nq$}&X}a4g=|X)=qOS1D?mBd,Zӌ 0Bٗ/SjހN#Ά#9o:νرf:aә_j :,rV͒h;NZ![%$2iI?B]5  1;Uy`ihz-m Y^0lC ?&%;P{(Sq.DpdgH]Elm2}׆$ L#Wm9d [xY n`f!"m=O6b] N8H JcL!ґp]i;+YTprHk#Ӂd0]ON1 +izOĻ(Mo Q`dw0?k"?4.? 3F16lU+ss6!B}V 8ߎ`U;nHN擐 e.^_L|:#K@*߁Fg0 O kZ'WY?-;Ћjy63:l"lA|xۘ\F.dVE'|.!3x;<늣g|~dբ$nS <^v #m7;6mlj6ƎiI։V"GdE*W%: ́Gvu}4XS4u212C!GWKn Kye$/) Ae+`GTl…-/x2Y~׫7*(eh.g=Xi48=eV!8ؗcp )\Paec\C`Ȉk,A[YMH(ET'2d(J}SH0F9yC $rGbzN 5CUk$tUn۟*7g#=t$KerT]LMSnW0xY)z"? &xAER++z,iKV!Il8˛GX=LHA(h#r>~ v x*~}C{gn8 %(BZ-īN$PX3DQ&KA)t38yɍTTqE~/¬vSGY|?yBH#DdI>T:Mb[\?A:LBƹ^pN}íް+ΧQVyWAf׼?k*F}t2i!!E׳:4@ͩsJ``zOa!dBT%&2akۦXyzG ICDى$sGJDXf)NX!ȎeݲZq kAJ'|롒@ΩnCSNw{,W+썞pgwE|_>O[CuM2D<yqzZ JFt<m,kRy˗VMm#d.*aU+kAww1)LaenN./ xӖ{]1V :*3v>єcr/~*c%s~ gי 'ycL/ewpi1$Aް|o&W< ʣo=B6 rbܫ~W  lo3>ӜHI,*Q|K^6KDu.TsrRal"X Z0h(^k% Q7z]Ț`ńٞ)-^rg1O# U0zq1"dn @rJZNO޶]` +f!4q==Cz8ֹ0QaB+v]лJMp^KvVw1NR]Tp\.xgtW*@ ; 6Ìas̼.(kߞ!ۜn j7WC-ǽU:?j5yd_5l!0|͗aE,vBHYFB/qd"6fEn5zWziC&lo% }~܍D+%Lߡ0`yN7t86Vv@ߊdDJfE  wpKփګ_!<# FנF!=_gbdyI 9ag)rw:p4s IvZޣŽ5aՒ_1 r(nqԫ9L'[QQLLFkoSVvmgϡM >5f".Zzby`=CK,yDvGm1N qSꝘ~LWM3 KECBzTk@@%XXح%Jm f}(!QCN(-?F̓)#rt `QJ*[hMRe5=>Al^wX *"_eUn ]Wxy{zQBPXLE E$JYTh$Eٱ X:F<_ш1@oTS[ n[4uPٻP 8.a)=M ]wN&$>{ϔۯtJlK&Z_#*\" 5gF.*mLRPs;ʮc)s@${NX1Pc6a>9;/c;]ڠ-IS=EYuL?yP:sa?xnkr`%O^K{ڐ^`enP:y8 }94j B$cYƁ5ҙuW!J?5e5Գ|lXJ٥4NpF_löw g4F|;K{+  W9)E[ Zn`SM:{Ch@/ZrLJ.t`lO]hE'd6V)#+m0֮ Gp#OeEYGҪ7Auz:)D׫@Il 3Ntכ l<20"WH hP07ZE ehM`6N@oV4,r4Ph6~uX_ z^"͑er-vx;ll 96=C FvJ!Q[+[Eˏ(!?@uh\"w .ث$X_p<;\ُy, T'PT`DvM?3rL,wv *њ}4S la-_֓v^oeP]b@I&rXuNCmYInιʬߥ en:9? oePկŽ)Nģ~H! Kc*&!G{M"?RqcY]X/,eH6+[-gY,Ɠ #3īuM6u,Mcϒ>*nJK/ &tC8&hֲ4AB? '%46TigǠs3<[.] bVS l NU\Wl6+aVEpS$wқ5է{c3^/sU7!A q;.a N1(Bx| .c^.AQ`a1tOqO a_oIH !7/Fe!P:rϾ)NphK/߃H $jw4qĠT w$轉f.[CBqC(Q*aV_ݫ- >OJOz2kky<~$Pj"c$V7$8VY$-[vrvJu$uA~X/W?x(&ܫ>"/BٽHQ%8ٗrXÆ>~EkV&fO}9{ AqpDW?HkPf*adZiGf2֪U^%g`-j|>r$(8tEye-qzDj*F˰6 uq}^Wi7g2@Vd֖L$V£4ҌaI>u H+q@sFTVHҲ.Ic dfٸKޠpLS. 0TCΖeʯuSy&?H ]_o&2_R[0^4TRCS:Y9J] 획Jh=&{OrJJE1R+iWx<ہS 8.;DT@l5mҰO{}u]ͩ^ŵ]:auqlCRWn;7 1 ~*jS>Q4HRgm# ^ 2^vJ1 1l9V QómcZǭ+H1q6ץ]UfQB~P9=zK_֖8:&y)2Y*y؁Jy&dƗn#6ǏugLw3U5r,nGUy~J#Xɍ/)4C`]n9C bAVl4[~\i(C19%) 8P~?sCݯwrGKODˋx<_ˤG|ک6'xE' P;V#+,Կ晰d#!IW|wol#Y7itL jc@>h"Zi%)X =qKV]J;^k_ylG%oh\8/DñmqQ?Y&ܑI||MJ.ss-( ZIŝpbTj9SwNV/c7cCkG]qB=rH!?5jk-v8j[qNXBl`6>{ńvU|f]NdgĶLN;_.;h`AlhSG1l*klgx ^ғm.@54`#t}%t!Z>ۄ"K r_#73v}TՃ:{ɌhvkIjy^jq,cͳp6D4L$qZVX0˿8\ueRNyҎ]۽@ XIgB&VJY|y{!U ُ.3,`::chm.k%Xd`r/b^wh|K]gBGQbcW2B#i&;#/^'db5\<.šD7f *컯 b ;Eɸ񱄪K [CVX s6-%67Vf;xp^ \+&d'C_xf1dt}@b*RǶ¥xc%dQEpـIv2A1;.k(sL nz8*nPuf7_[ [ hO.cQcjd[ ;C_KCW R*e%dq<#@ M!@J]cb w- ΰ4P0&>SzGbO=D?E8ǷG*; xʙvd2kg 7t- ǽLLt)M-(>uDlIj#Oԛ烟\\G/J:3%v[K9Զ]/erS`_H3X Ǿy(Z4ͩ@FiUE%,^Ϲ_!II6i³.dQnQAns;.4T5SMQ%)@(ֵc,ƻ֤[:[_UMT Xs3Y,RT倜 |#^ƀfU쫹Ƶ*k= JzUcrhK1EtoW'S@juJ:zz6cN^赐h9"C$X&:cDŽЛ!rR$e)x*Cj/`z|>h uvFf=w}`&axJuJg!=Kxn{v eS+P_ nEKwdɨSfNU9Y fA )8'!ܫBR*XRiׁ"㥑8Mҧs9:뵗 UC=9W|.s'aKAׁbhvv_;[⪷1R~J9Sꀟ̠?5?%ylK 6pM"INz#L[Ql>9?-y8:*a;DA,b0dC\N^K?~vK(Lk<[Hf֧RIzuB\LX=*6^=^TK/+[&Sl]B7u`=c.0־ѷSjW,D3D0X/Ge $I@6}gjHƷ£\ ?-gk\m='Sio:454ޕ'p_/M)zz˲R֭ñgYZ J= 1E# HOL-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\ݢ 6oٴeDmm dH,3ۂ6|B"ۇ@F9qdznS1Ru 3G:wcXǓ0iL}9FIA.I7':S0+0L$w $;3q<<]()ZrvՎ=`0̷^aB&#N-uƬ1͖Q+B߽kKclDNk!Fwvi iH?E U@_¸ Ui6 ]K ΅>Y۪7;.mNZ]9FD(ST)\@ҝrt6qK&Cjqk^3ڠZWqbVub )lm` 6u`)/P (a솲900+M gH Ury `ꚬ@*eMyrN*J w^1ƆQ p5 YL]cDZuVVAwδPA=Ą,A}XtWA/_1e caȇd&=׳ H[nƋOM.еOYr+@oHnTSbHɄP5g# Ez;sLwd|dQ:vN#<D*.")־-X~]T;5މ#m:GM$>;I2%L# <9l6 |XvՄO¦Ƅs.2OD|HV*0A ~yޯ +Ƙdsh \HJ298!E'I`q.졜eGPaUľVCA'IҔn(IF @m:,\AMw$5f*ǓYlI.wȭڋyIe;`EGd!g`r`?P WqO^q G)];1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\;1_8̈xNJ(ivcB kZpM-dcx(D:(@3S^sSk@]HL]a vހ~#o]agmpwwc+QƑK׃3Ï@bXkvR:3|g`!lruƋm-ҥlKy1'ʦ4@~>Bs@~9gDlJMr_f ;@eGpf"M (n HCp>暲}SOF1jG*Ro~z@0l^߀,2J]M嚹bp 1M窥 ɇ\zwØsم@4,ḝ!cd 7).ڝLe-j)3#&H1EϔQ3+kr sz35ybVTcՏsAD+;|^应z!-RPb Vc"a 94+,gr\ ]hG' zw3e`RޗXխL^.q)qTS#6ّy}asN!dyCi.úI.] "lXH|:\ #T w d2]Ɔ<`VPnK5"c2WRvf%_\+qDfHހ =w+RCr*BL6|_NRjueZznv4 P8g~ꄧPv3#1gpi1oZًA; ;v*Zfk NEf^:dʓk@3с.#`nWlHR^7K^ t7ɰ~JCsՑ:,.QL:j۽{{s#yL}GF7RM 02G؟$"=-VP>ǟO9Hs7TI+nA? HT>.d;&wG{~tBň0NK0L4`~3mmF&քlh+9Ư@G+/ (\°UFqؗP).~i O'bXi$ɗyh0*$Cɖ QUz!鰨M[eQGUKb{ }&G w b[źѠ\sT)$ߎqY7 tLax?a$^l׻ѐߩMKx%L~])u GaU2CWė2KBMɞiCnڈ$vmٜ8ʯ/|XAu0gF6I!פ3Yk}>ySSGe2lfׂXgXzp(|)W"d^߀S76KlIK(peONo @_o78mn?3g1>3@ʭsu@Jih˪ݮNǯF2NFo]Ӣvv 6\zSA}tC8v;F 4tmSJ _2*y[ Un&&lChx <kǝ-YRvu)rgYZ svD1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyMC1O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id546AB1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! ?]D?7 {?:fH\򼵭Zx8:6`~xob ]qFzOnB!5&\(X9QGnDVA8E )p~Pܞ~րן[%f-Y+IyUlS 8V((oPB0\/kj(Q5*-Ta>WNwn8+h 'fDILCUZe'C`M+^<(ttFgVZ_0c݃I68~qꢀ/DvN֨-ښ~B璎V[m. EnjU;Q7/G_y nU=AS5hP?ՕuVȩy"1 A_#~msY**Ok" Xt.GYSeJ6hb4i[U݆ l"YG)'a=+j =⥍=}}:)ڴb`}NYP|7uJ\>~j%@nm\, 0krXpwC䄟{/>K4hJnȥh MH7X|=́u#X:+0K/үvi+F/򲄖/PkgYZwA1A# |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#TVL=cCs5^,?:$m B"^eϬ zxCh֨S)Cpne ,:=XT V-PGbe-rE`-"q;F"v=$4O3hXk0aaW/ֺiLf9&~z#T2hUA$ASH|n!J*^0ǑY< :YhP'D0B]r!9s߅/u`ZprYKUZd]# />5tWfjqfZ4@cCYCӎCcqQʅ!$^P)7-X[z SXKp@ +^,peCd|`/H:чwބ4&ZF-N9=!&V ?kzL98ڋ.gJUE5;@3g3慢^,ľT6RD#WkP^-26 j^ʩ4ҕ` JV/ :/saJ~jtIeUXqSາo[{x\vYxO 7} H3\6K|F$IWJ !GU$F֍=&Tx!h?k(oIA9,L) nRy-P/%htm~bE@^;c]/qQ- FJ?sz=0K+HtVuԛxNR8q5_O4Di /lܻjꠖTcXٔWܡFXP e\ oŰKA Ԁk7ks$Qx,Zfzf8)MD{kXƜ @W)ZkYZ-9>:Gf:S yf'ϣGҌ Y():'>×U5L,Hڽ[Hl^<-m+c?|3_)V[oKDXM@9B81s;8)\ S:zӵ<87E*|jVIg\P"ZsѦ%miDA F6̳ȧ`yRt5+J]32oQ{x @8L"F=y4+b$Ψ#*Fx;ƿ6Dȕ7NAN!CRk4x4Of nH1`>p1 ԏtV=A7bЄ%/ / BwF4z}Ed*oQ׷s*RGF?<}|=G&YrN2#3C~Y1FԖ9WL; K~9[=e\`NK@Q/u菌k8)-An| N*HА򗮺lkvUޅ+#bpJ-.unD..jYw6-^ͷː8O{N{AʩʌЧdO&!:24NV&iw,4zoJl)hLsd)tagYZ)8`- k(V6Q:7dF =O Ől#̚*1lk9&z]dx #~$5]u)&v{z9t_Ъlx*,8|B eS{@&#߃_%͟cd4 gR+EkXD}F)]g'A]@w_uOPz,!=~[QRم+%IZqӇkzxq q$`.Xy"yZ iBiI52`#r4~(^UNKǴ E#VuF-@pZI &?s(kKdH}&{ GP{PukM%AxYohZv,c"W'76C" 2Y ("#~2+T-*FE'tbH(ܾJ$*[kM0+]=kUCVjN踡>9Lfo5ß6[8Ľ @K&">t?0@fQ]RݲY!~G{1pӝC`K0Pa ݊bG~Tz 2$"-.ӫۿqA23S 9d#SG('}uDx/Րlh +L86 Ӧ^ӨiڙS^&-((sI y*Zds Gq_MU2cj L'qxW IutaID6<4\brIrjuEo1vȧTƝyOe?u1FR`F6yn G_ [ҿ];.ĊMDRk:l!+w|1Es-5 ,Cާ+9o,7|:swPcB5f" z8`}(k+RحQo F4l[N4t0r2;̗b NAt&$ d|qUz`y 6~-" ɖEyNJaiPC-sܑ$a+I-&ڇqUNÅFSp_o:;1sҸܒS4D.c2; wר 畄h|ef =TFsV]Ő~r͊ LxZ\/Ny\Ev8@k$;?ɪUP JO~ 1wVJ2}*zȇʕ=꣜ɺ8툛xTv65o<]AXHΑ?U5H6 Ĩeb"FeIQ8<:qJ85E &.S6TUd.;+Xu3/|%hުXuU70M3nlbJ f5oѪXTmnש;]芟)S:Z4BاWJOveF[ ~NiT/Եe՟qҤG$Că9LΚ v#f20J6SAIG*ӜT ȠDRB΂*Hwq)g}QG!5L+nmxbj@l~Ź@na_*d8#YMGK? [FNl~[U%XӍ+$S!4~eʷP?3/ȗTIλ(P{xYæ 3HJPgN Čbn!v}/,GE#߽N? kC/Xr9w(Ӫ/̿U͘YϓTٽ!qllTn2r=TG'5 rnky?Ƈڸj{IԢzWfX*3|xÜmxpF.aIἷឥSςnMgLaDNqQz^m#nca2~>Qnyq- tڎiQ`ɝfȳn'  loE`5W0ufn*ik]m8`tL{ zj{~2D$xL`!amR^K[Kg` Ch"J,cIO!`,^)x#LHJRƗ=y6ەG-ܛbi5ںthT r} X|ifM 8Ȧ  ]|BhBl19oZ3`е~Y$/Izß|?v.6ã}c*ٌ@=#rF_RE5$n U?;K+4޽4bJy0N$>0,q~ Y~<X=e z.7u;S3>Q`kΊc -,ShԎ҈^ninP׸2 -!Bݰ(cN*cgYZ  cZ:I 1E# |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup7zXZִF! ?]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J ~yv7$(S`O'y}V5zaS.QVSLq!R 9]}*-UY^1]C`6>g 8cr1|kVe7@ :(&H*ZJL/CAob[#$[6y}<{+oCK3nBn2f{f3\S6nx(L-xi$RTPͷ, !d3\1CJ ki15ؿ\s-|r{DZ51Am?<2v!QWnoB7L妪uׄkW`EqzZ<|q)R;ЎB#Hnvs=GvI`hց쾊T=qNٱgYZE1O# $HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF!  ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-UjCy9FiGsU!8447~9@tRxa3-^̰`$&p(s/<,/+AW{6;WS_#nyNM!Lst_L5!XDt|` a fZO*ҋ6Uxg| O3: " hٰ<\Savi џ*1z'ߴJb;dIQy^Z)5EL k~fcA߿_Jss34NMZ[6PT3*v0?^)>z)mz> *=NE46B$X>@5E'1Ϩ'2,{Z?iϚ"fAkW Y eh q\iWK@R>g) ~9BװQU &P;fSoUg< :V0L "v&mTM (g&!ɂ>DkuϰLڏICq\(xyk?+މIm IL#[vyDTMh\Wf٠g|-^'8SkAwBhP5Oɫ-MsW V(2W墵-bx)&n댑 =KYN/۠䕍Q.gvWӖ?R% kPBlgsjWQ({3MŔ5m|v dV0FĹO(̮AIX/E 76&N[R4ϸ䑱; yES6_r $;$HgFmfhy'TŽz~jJ 1pָ+=(d1=eg$|SVa#Ʒcնٳׯ(ȟ+t ":ѓ M?Ek)½;fhE5g [;$y$kOUFם{KNxTMN{Lcsnk/{k 8pj7R6{ΖIYji[b dsJO GIa>R}nJ "m+:&cn RM@iVX9r[p]y ;\ lMCn_UO)}a+2-*I&9|zZU:DoU{]'>A X ;Zu);Ѭo]v(t:3 QնgeODb[211uL@R[:(v:s:3 jOPs}kM2בqlfȾ$hk ĘrB18p- xo? uTh«}4,+xdncYTfѢ RO4Ƭ6Qh^w,`#;/sX)' Ʀ p y`:`TjJoo*U ηM MW/%K)q5%|DZ~Yf3$c~5wUji&_3qˤ=o vM~ $䏛׉ 2Lw4v\dF=a! Ҝ4 >e@s\+ ;Tow eoum.=-ȽCQ4.AsQ~qyۚטi@t a.^3(4wXTwSj 1i=rJ ~d !Ŭr=?>\C] *Ы$*ؓ .9^˃YfH# nNfSʓ]WWʼn]b8J=$N%<KVm a&AV7<1Ԥ,+fP@i9DGFOzg iJ;mU]dɭP鍲2ˌNx13C+E-Rư&9U1Wi 0^NxߙǢМ:N7q(*X6 L\@?*OpY>Ԉ1L݂0 8CWHeENmiw&zʱ+>cbyI` #ߪʺcBk2>Ln?.U4 "BPHpĊ<*+E!c֩WiGZpYc9ӻp8@7sEGď8jzR,e(8]O`YD®4Xk^rp $؇i.>9@jth8JbF~QCz; I`*N9PgB)PQ?''=ƀE)R.A) PRoeœˍx8S?24E;g؇ lG(paǩy&@&TRN*+t>Zdԝ3?%ZArLE鈲~@!jY;w %!m@L:[yˀS>Ȗڀnjut+iG)qŭnM߯)`9^Q`y֝o`iY5#0SF\jzSt+ݭst"eT?&6#dLxS7dWxavB4UlIWަt;ܯVRΙvddYrhyKUީ=SJr;NKSF')EzW8JCH,aHi.ߎVmB[N=si.z$EF_Tks 3gT\,A=:J} )g*̰Tu5^bA=!`ZA]m@8U:c K'uћ;zcT΋y[&Itབྷ]#Kp5ch7p$6ZRݘ,"$V8Gi$νz> ߊ}ek'9?ٮrv(_Ḵ?~Ix!K1nC4CN\$Al !2u*qKdlaBi\gsX!~_x) oCn"]F4J.bKhBC$*0 F(AKX3y1b3Es)Tn;;Ψinl7ڀMt)N0PQmxjɸ+wA,o} QU AXl H[0k0Hl;4S [T1 y nC~pD5ѹɛ dL$+1$'\UbEkN}>(u Jv+\;τ!eEAlO,ը+)| tHaB8;ji&QZߊ|/%VxT.UwNƜ %TVAf@"a3ejZQy4}X؀KtB:.:*+B7P9{sXK5W^Tϙݶ!AR&&jab@^#NtdJ@epIjx*")R,0vL Ƌ؋kв 3Xo4Κ/D<Kjy9:^qU  Ӂ,Y$/r$.-}KP B)C#I(U)LMA(ች\YK?QxsZ˚pb'%"Z!&ֳloix7רP{=JԳeҿe/zzcW/J;f[T3HJ xq&cBLz`PVӎ,cqH.Y G(2(v5k<8ss-L}!f,a͞,X[ WXN' ;`kprDɃܫHjrc:" NAT(/VF}32) j}R& 04@.;oR|=U`WDN6~'BwVB>rE=3U&h ^6SV} D#sDvu]vxjTrRWl~ͼY[&E5P`߻1$oGU>mOfjVcSl=փP?э'Aۜ<78At=QNte`NlcQ-JY+VH0>rwNɬ?ϰz{XKָ͔Z|]m=z}$(I.~ pɫtnM-+ IŒeݕZ2IO+k~. l8 IHh,ݢWw Ĉa|"z֍)๲CEgn?n &}=< ,z'\y462SMGZjp~Bċzc{-iOsI*uUBb{3T&>+%t(mXz}^Q.ɜ5jqN0euWj8E?r^o"qv}^i͏pc旻ܢ.hŶ"1VGukMpܚNoJ4{v˽?8['A|{n]7K arhYjr @-5Fzk.BLFIB@'xS0~@bcfƢcJ$O[_¶l!- $31ʜ^XDo0{W_@͌"4&ذwdы3DZrƛT ʍBdS@D9-%^Q}f]b3wcA &CTT vr8+h7IylƯ Kh3_ǪGeEC$L!m!h{g&U=7tnEE"̫j :y09)50} 82(~ A|-02FkR]W#q#e'Q=(ز"021i%7+i;NY2oLQ@^ҨԐYjYR-i8 w} Z/$ۉ1{0t68֗xP:aG@ *E:%jVb[N5Tbw!O4kA??} ˎyX+tkdu}ѻ.+Ț#mi#U{~ -2#L_'I̴򼁌כhq񕔙CE-ϱ6=̀5xDԳ_k,9m JIab*x2ViiM mTkc"] W}2YdDG5  ?86)blqbW~^j@8J E!¶J͖l G$p+mS!zG!X|/OЫudw;7\d1"At%/xO@eh,\!OOd_fk#?dh:iX`Em4~$};7o OITDSG"y[Ь:{@NC|ay>a8Us"n^gxzlOVh-IQ& TyrŐILh.C?Tu3}L GgVDポ9fQ>T:a_sH[iE8~OMիM+V{sgR2_JfT!Pcc,ozp:`=5L̿Lw"ʞ]W#Y)~*~jgj5-!5[pGpN,Yi~FHM!w EţKڃs\iEpu! ̍Xī 2[VOֲ)&У" UiJ6 DTK@!P/>л!j^ܑZYu@ܘ(Hƭ^͛"+kj ((_^(+oobEH7pV2&9̍`VbsɢBV/EgX,:Y9j1u9(RfJ*r=~C7r oC-[[F4"Cԩp2,: =]p`NCС:ܟGQ$֦Vr6 f&-L^4+ȦW6d|D_1̈́_\/>{cAޛU&l]{QH(}',ԒZI@a7^a̛t"_fYs-|yk$ "O(kLVlo9dv\q}qjşpӱKqԦA@5~tohƤvљ z -9cT5 >ztzII,6D{KLj)cpYSLY W/,>L{#| >Ͻ7ǭk@$`:"=OчЁ\Z5h§ wt`s:hb+\' n6v6`{/ ۴^[X;P[UEJ$L2R4`&4kހ7*]f8' cg+mEq\N"2ˮzUt(CYU!^YIayꋻh)Bƌ:yS/ * }Z_&i3 z"6iZpG1:jwӕc Iq-Z֐He|*οfN*i0 b&dZR@JeNqIQAQBt&5kI3Atl`hqˍ0?(_}ʑ嵔/黐<ȝA2e(j5B4|(~>IؿVUJK25j-ɸk{A je0FPj`*" iWCцpfy8Bm* #j~({'#䆤 a:J)xc]Cɚhui},wR1Rz(F3}~ğЂa`BđyuE}~!4AC0s-;&?9 1j_?OfcNg+T HOBՐJHfU\2m"rr}DpH3CxR-Bʹ% \1ER뚭΍ˣL`!@M-Ű-:&K# '\%a[iFCH ;>lV/g2`xq3Ľ@#"-=Kuc6֟6 kIݼS'*#%bPNmqzaJL'c;#4' ppnmvU ^<{o|ZQRov?ltz ,1QR*fYO,:{ҧdTV~^<8T& )9}ˎu<.1(Dcq6nIj|"Ew8{#l<@R/=*/}[BU}gcI*' <;HN"Aج; -?^FWb -g\nl<^ T[ YvX9c4˶ValِA~QЊP;,Xîn |)-î swƛz#*|ǐx .|9!.QfG%jSa4eSYu {H>)r;qg6}c+Kޮ]"g/Rvy+^=9d4zX%]vZJuڳ}V}.E6cz$Y/PG~>&8Ðl^nTc>cT)k *0V#wQ\6Ą,1D}jOa@.\#fjU.w=B SyuWH%RjTDl}K`;O'6xAa}gh6:'%u6hYa%?DBD=Y.7\F>($f)fj nq+#^ ^s Rbz2lq _!6$ypl{քy !`dW; a l|b: ΀m¯k;'\'K_`v/\RMy X(/vWq )p5,%GqiO;xY0u VWYBUk:2* z w\,9p(/8)TL$PN٧nk6D]+4 ^Xr ޡ8&͍FLjd"p]#8L]Kڵ h;ЉL_`&Khy c}Oj|DU5CAmAi+C k6rpro. 2wW@_[1xع~E[=-m8(Ϋ[Z `xXg8W޽UL/(6;[N&־6u+D6ɘl|I !~h`*%񫬶>mE'vCQA!hb}˲bCw9[A:x3cHAo]C7>Jugh`4̋\gʍӣ?D!]Za}zS*NbՕhgc OCiڐv_Fޝ sNAH;ct@s%zˡ4&oGʒ4}L9S%МVQ굎-^bh%P6iiYhHKvAeOi(Ֆ)z!('t3ƍfMtuŢH7꛰"YGB ht˭!q 'Gi:!-G1 @l޾ؑ{&':CFC0;߈]Û]ךVl؆JPrmEDdzbfkO컿 P;Whӑ˿{"t rw;+6Y֜]تmg m߉/U*nZs*@to,~c= ؏G[_^YQ뽎eWĮ(+N) IAD_<)-%~!WǓoV75:1̌ Na&àx\R{r>f<.+yMf:utnx"]Xh9itmVBǩQLFzE xڜXs\qHy.w1Ȍ6uTQ{1dXŔsEXP~xb@(( 坪-_ފ =ֶ0PZx@u#M)ۏċ&N0k:tKiJ{8\SPo"LÑc qTS#'%\1)ݠN}F̞/Zџ.ZM<Htw!>qcID/b?$>o<>q1_v ;1AOi`J˗ǔswSK*,I[hզi:.K1WMBă.@ƲŌLac%q2m UV qj;u}݁Q&(iEcWcsm4Fu^:PoV4 - a)NacjX&GHm2_rͳj~vuá$j-ܬ.AeZ/Dy*h=6~Vq1. p~}?ov X\RS:j\6EOi!x1 >s%wpk wK.*v/ /ޱq<]XP׆}ī"5X8B6Kvgǟ߯E$mӱ`)EV$0AQP#e\;NCӞPmQO{h øiYWTqdgnG "eG-<Ō4( MlT0Y^T|dDm\D +CA frvh 2[a&7 ˔$X<ԇ9$tt"/\sq |x۩7aJbՋ}oьZ-Ex3b&* 7 'VKL/{= L'UL>D11>V3$6ϐZo/Xi$)H8H0P^;dA!s ZPT㋶/N"9]| 3H4`yX-U9KB4g:70Jw$;2,oaVKLgJܠZ7U9ͅ Naջ3McUXwҐ "SɎ6PtlO:J3X<; ,[Dڭ:3|R֩yWU(Osȥ־e5uySBag`?7j ʟ]H%Br_߉pLp(ȆR6j{!0 vm:^|է3)e#qgW#Hfޢ MjO |գ- S#<$/w~A֣Y<rO#T'?!N5Jj'bSYQA[ǝ M%{g%dMnLW-=k:n/&;qT'6;,)P j\m=ŕcq^q)N wLq*>ȟ~{<.+ḰrȺAnnz/('RGdBrl7U<`8 r_-YvI*D0JwDP`C -_IF`CAEhɟ,P¸QfV+L.ecZÞAm^m/Lb/0,O %Iwkԕ ͷP=O\&jSX3Wy "u,Y;Ap3urEFҐĘ!HD?OIRpF/g- oL}wՐ{&iս3Ȕ\|aTLg }a 9=$t,0o4vZ-%b'h6կa K~Z?6,xbd\ӖlPϪTǒUb6Z90@Aӊ}cuAM~Ň|͏,Iw|6y ik2ND;܈mVDL0 Ʀҵ'i~S;SӍ[w i1ti*V()M8mlhE.Ifh lrBB˱ G ܵ(w?l <,8O'F珟tvtLuE}B%A[Q<D1%9R ?رgYZ PpP1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJO1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id516DN1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I=]D?7 {?:fH\ :ЦkyN{tK|ξ" AJgZ;{oۏ /'d`Β#P}QdH}F#)j]S5wCPP#bo 9uݬ8Y~Q-=/:˿:zl#y1 D]c'tQ 3rܚA3?s  Mn"u)jqz~ 95\$H]i!W[27I^Rcix-j\`LZsu~u5~4|()\M{,1WV=p>;:9ILwJ.?oB ~8S5x v!B5BVZa:t,yYc]X=3jܞpgK:IGhtZ@:ĔT=15вs՘]Jq7̒EצK-(J8 QB!՘-@xͨ Ǖofk*!JAch[`0?#Ґ2yq@HM ,<"8Gb kǁO(zVf7E(, V(yMhmcַ=n׍^kwMd01\bڐ#2ř=B_1W5}laB4ǣb+m}A}V,c% 31tAedr6-؜jWGug8v,OLRy.WD)~NF.Jߩ-'F+^9Og 4Jon%iÝv+$ʾr7m|70J!WJ]8yS11ka@8h}MK% ^Gf8鏁t#\ Ddp):,h6\;N!DVuu ps4+-%.1(&x?COo Z k>Nc<\ۻXpjEyZfAJπC4Ru4NbX7]ExӛP$s0)y%+Uw@N  } Q)#|Q$0z"i3T5\14m>&lscʥ)]3*2 lNח5g~ HK%83v./_tJIXdp74L/cDjM!@"^ z<CZY華R(Gx8H!@7`/gf@%ԥ?dG(|:rqNHg$0A܌\Di' sR%\`j܀*OAnpwHNJo'7b ?! 4А$% VٱĒx=oͭ_H87_Z ^lvHR3bU׋ED PMĸ֕ꦎ=k'4c'a5{;0Swa9_1PFBKQ RmiZI%n^ o;o.NUUM iZ:7J:? j{Ю)K;؆JF|3'e6JU`59q4j=^F6@3/ |#ǧ迟@cqqH*̩0LLJl/0&xOvvXqce`۪7);/rh3zЈM yiTO^feruS,q y[;PpJ.QY5H3Plyv8/a .>]:# '{:+zkcJ)Kۅ_)66O2򖆞k0~*`*&q[bN$u |sZ`ge DLQ**_m`OUzy(H8_QTUB2[]((8HDkmW(e]Je}c?h9*vMQ?8p`6.u 16?[Gob]+=">C's6}&~dz :]StkYi!܉d#:0YljvJ\V t8 w!)PuaW~+`y͹g !^ޒ`<7)HYz$5inYvUlǧz3CpB(QVJ>f s|jFj~3{H /ށl ϯ՘ՄGM #|{bÓXM͂b0kQ\u1 JpolXCb:Ug^ Q5oyk!( lؙHDdlSWRӁ1Y4`MzD+x_lḄ*uz1ML9X|9=a2^ށkf̎ݚXqRtA3>e+9ޡb$rds< :T i/fgFL薎 t6ӫX_o=z=1.Ί(fkMZ8qwR<ٶJ\Cq AD\:Fm Tn*~B_հL[w_)s38-T9Eś#XkZm{CpۻYÔE-Ѐ<@{+uypTZ(>y/EHZ*?k0*]WW!;jzz"I^We؄lgwԑJ[?1uw3hagH)4c#n*4~fQ\`W^`A6mioqs 2Ts4kJv{ZI/}\9q;kY/L1J6LzKML ` ]dVB,'GB^P+]DYxFo'_a"(faZ 8Ǚ%J7,hb'@BZUM||(FG'c}?x>= =%:Wqm 6ۧ|.L/\I@%> a0{5pz<=*(%ɁbXː󖤜p !~[&@=WF1(+y"Шx.^/N+"T=vߔTdFO޿tdQ mib%G dfֳ d8+m‡S|C[a~MO{=3bRJI`~ts4@/`IH'#d/U2-`8Pqƺ^H VT/hQ7@Z.+Uv_X *c" #|PY%ZuF|y;~!ˈ\'˵؇x$?Kh7 B|"E{ۖ)7!&ݪCfjY|'A'dU!l,\-{,AgC8݃JK 2/J&u gb1xh%<8Yb:ω9 p+t ZNh!GӍyr={:qFjx&z\VP } i$o7r{R<ި@nRtO~W }2GnяέFYP/{~7Q~cN"^kO%OVtϜ&,{×Ɵ&}n)1ʹb=1GMqqN%]j i`  svW](D"t]1dSaiM&4&#a/mS߅-ޛei(oGV.m> :u|R[?ߏ1c o\Y=Jgv#;+.)+*]nLdfz tZF ov7#@"pl;T4ldʾ88 ![qmYB-K 3<"[z{P'`GEɗ`c㮻&'1_ִ3of;6' X 뱂_ӧ~Zߨ7^Ƅ4$秷)ނ>JyOr,| Cɖzי$؊`0݆6z÷-nWj砺W\ğԳ]ý^/⼂M 񙻔nز7܃Z2>jKљdQBsNy&<z)qEOQ I;<sdʎ7 վjMN=9F7o!or]58͙̈%r#,RRPCȝ}Y5t|m Gzx{}J [:BAsBI1>oVF'K96s}I{L\]t\5GpCux^E .;yrɃz/]4CdBX9ˇs߂κo]|]C|I1 Ak*s"V$+;2 p\|mu=ɳutX2pqv Aؿf\77C[ZW7e'yA;/JMG?7-;|P at:"z/|Av*:IWw]1lDN'e ت2Bf(sYOLV$ϋ|&)3$%$͔BL`I‡յR!@+uPbW_C5$ DCድV%){D1U[_r\ j9(RML;M j00b%\APTGE( y ̅\{vb,Xx{+x#|mY[Іp~ek@W'h!wf69+@gYZ B B R1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\8gNާV}2%g`nCt8KUR1KU*(E_2ֶp_cr@>ղGe;0 v#qpK. Tz6q(|{?P-9& ϰHO(ND@|qAjM}>ECI>S7WBnaީJ1F){:9>٢mg1YUNjnP1t=6ZscdNjU=G0a>7[>Mo6u>/\(G.A ߣ\D@3>O"LtWVrB[k/\UxjB/f[דʹ]]q@-a2kkvDeP@Y Lu"0-%Ղνֱׁ3גlY\bla9xuYA/%7^*?r¼C\4{ dBkS@!roqpOc2"IU@=43O?a&V %[uȝXb<FC~hx?@H3̙/B!jOXpPwH({Vۖu yR7w "{&Ka'>Z0SɌ>0RvrnFI &M Zw}ZnљmpEû:ZLG2tfQF.J3ZI?+>cj25]7(37`[lw ѳ^O\ 42Uq,W(_W%\KjO@QT"joI7r\R| onx% ǩp̑E>4;8fS&ГT D\WL,  Q?1ֿn)=gD̷ӝE (F42W}؊Z~oQ]`g?}7&+mZl@Z܅lzDE~s`Df2Bԛ$+{lbrǾ< EGsPVRf֣$4]OLح=2qMŀmDJ9uKJ64&$U, :C=)5Gvԑ&ƍH*$8jȅMZhe{`qfCZ+@SN^E{45YS l6v\IWg5tc_ `K@pE&Gmx]r"@'V FpJӫI3-yFom@n(H \م9xSC>2@ B]Ut$GZ|+ `봯Qh@E C{8ȱ*^51YLYU0̢szRW|l|w/f ev䟐^cꠊu*xw̠9 hn@oR D#dAa&Uh ֋ߚ0wRcQD [qJ[IǕ-D(c3!~;JmgDPA[%H}C}k}E}7;Pĩ$+*dANJ8mv5WʚX F8@#%,E CUAK8y}݇?Y]# ]"1r05U\OeǙ] @-@P\#fK^GBKavLLzV)dD \ kT1F(ܼs>\fhb*;Xl1 B3 )nXvYD>fWUhJӊ/XqH3&5h8%YhicDDP]lhx a@Id) MlY_O6y\> R3'on. =g,ϔ}:W.9w_`s@NGҐWvaapXÇ #EoVQ[#B nK4a;hK%9z mK@`m󥜅^3+\SJvQs[^9F* %>4 $AUhZ-%&? ¸GNNn(IAĽwMyy'gGY[G@+IO3-8T5.4NA#L<jp@2'-6oik mY,~ENG/O ry56I`* զutr.,/Fnv*\]v8*Z6FȊ|CQBns:YkC*$vFO?Ԓӆuc<ǻAi?J;e)_*CܞG9θ-53QhBNp(!!]Emf~'S }UHP:FV -卐 E9X/U7t6cAcC oAP$[y5*\5PTܜۨ_;FʯU|h/e9ܑAt03?1N.aj3w.q} Ok466~*t⪚ άaV J ݽZeAŜ_qd k\9qP·gE(zܒ"lY!erϗ:Y,@}ؠOmٴ6qD]bMCݭ_ M <VUwU1#eWa>`t;+Nti6 ϥ91Vx!5"mYRѲh&ܩS<7G.ژfTD.v#tJX ,É(#,: I.eo ]ؗ(@v3j!I~ J/p0{< X'yҴ&xgLq`zlu¬I6  ++rrEơQ2w^.׻U2͕öIGt6 "vH_i/(ɱ N`xqh4pz*JHg/x{Jǖ/rs՟T{N)In!Ob Yg#s}{dD5<t/ z5 :ꟉPQ}7jkqr6 $h7n3 9d.ޑۻyU:#}t [jيƈ#hkC8E^=ےD{A˜,!y'tPu~֢J|.=*2ʬ mلN"9*/~7jI!\!b E)sĽZfŐ}6t!l𨳘n쁂,JxMv9 myrͶ'UV|M^4E1`\S=n 2H]*v d$~'ns`{ =B\K DtcM1%gEƪ;+׿yOKg4H&l befW\?0#LF'%KZ=IA`bKӱ.~d:λJLjA^G縷jkzR"DGmAuMfě&õz8@Km1Jo[`Of_)opj8aw>?PꁎŦTaArV-˅H6\u2#| 1W:|na ?;Ъuax1rDw{6rK3+WH!u?H):<Pis%sh^2&N&.SP T 4E獻-甊qBm"CkzAd3(8W)G3XNaZj؃,Eɿ:/^F9QqNEj{z*CmSryY Xyk>g:[ 0| 4~Hb52zAf֠+Hzû~袁\p"MQ쎠ub`IM.+;U^Ba%Oڏ]V0A7'S{L5cD*,q[Q1lV?G>./s>QV غC.U䃙I0]OeHZvr(?/ % EVb !3`wABv@pXiOc8l(Yߞt3-ܓu`T|7 Mw^dXl2 4|BS3]V8iJ1b Gm7I׺&P[-Z|K9R5]fUC'&\ SBl8\z9RГs6+CJWU"6/O3+bF~紎eiDQݫﲗ:InOq<WeO NӺ2hngsfeT?}3xпQlnxkʯ,AX ʳpF"te'ț@ռVB ;i:2s.?30-OF<ϦѤVm䀵5-Ԝeq!dwQ9 ԛ}LOW =?Ms\jM}ey4?:M>5V}+7JQ,LRp8`vD\.dVuR ~K?'ϨELb7KSp4,6FزTCqpǺ&)WG!9ܲMqgEN C-wRa?ZѡKЍWJ<]7Is?.M!M}neU#6˥=g{je9t<6e$kUAifG7(&\-QRP[dc^z# Gv3oDh;^QK%kʤVY@Vm֍*zsD}C{CpӢP_Yv.49Q UJa$@RA)mA̳ p%7XJ"~k{׊h*CgG=MV'iꊰQ,l3[9#4kH֔`o.R_䝯8em,Hb"4L"s/ކDz<*H6 l:jľeyT$5;j±%|asmzD\<6aw%TN"jݭOvk դ|\[*Vk16qԱsnj_1q&\a(vޭ.{{ p7=(ż%/>'`3CkO;òP7e%N#';"9PNu tegӈeHy"m_?j| 1(9OTdֳp J? ۧ51.ճ6mex B2)y-D1%!rKR+A.2jԵ9"N %$gnfl'҈WlLAj,PD K t~/VvwFgx{3-LeO% R2Cu:bm/LpʌG8ӎ{tVO Z`\qkNlr螅|/=Yn#*V-8G^+΢̕^.LQ_+?Y%+n>7GI8@T"Yd(]t#Yu6#fy֖s9ȥ@55Fȧ`'J`~i=hь=bG.;PV&Jzt_j'}zg2UF9{T3fYkR*2χoQ6YšHHSe#(%r+wő(_Fk8z%IC-e_Y~ e%dv$5Р幭pƞ*MEFmzδbd Y݌3ⲙyw͈DϹرVH9%iX4+|qτLYqѣe{'ЙO*&y>}< MX< VP' is2p)'ӭV',4h/%d(Y=gRmB-qr^ҍ l]!ٴE6-?y>`,tQLU&}B/Bͅ琝ŖeJ7"ۦ+dz/[绮#p=}-.X'S_:^Ǐ+ͨAb`P=/g2&+2WtE%-Sz࿴%JJp쌌KM G`S5 7#a'iP I΂3%сGW}r}<*>F. e`R`pC$\+uw<į ,$l޺$EߋFKH%HW멕ᬵ` ;mك =9y!zl ]I*J%'_\ʠTax?%iKCm%@&z+e8j . όYJy]l$d>ٞqnղk$י,AF\s]9YcLz/oRKvnaCV׿^PlηQ>Xм6VmQH:Ht5??])ypظ8c B$ D :k9-@ooʝL5'Z5iҍ*ERbT$~G\f`}>q BsQJ$2I骫&{]:/t جa;JFf '0-0@yޤxEa΁h씠n@{k ȵ"UdA^9fPSMpPooc #̾*:&Hj@m%hO':w@7 |/QXhal`gG0CwâC.",|C 8 l,d3b5e!i{/] rs 2J%-X>ߪ@ c!'2'(=7]Wjyk)pu1}ڧeI W[4dpQ 9iూ²V'?_Rwh&erzqnyaM#[IU+ f\H{¾O0C.r.֋Hv+Ȍw\Eh{xW~۝2ls_ IG.g WӓL@PJ)m"[K7_0WN1Fҕ[mˬ B#Y1F3zKhOf7$iװ]1'pw.Dیfʔ3o"'8Zg]So5Pͷ4f7|PN@ wGIuhb}yhc|3+"KmEJ>1z|ڱvеIFhBZR`W~VŹ|N!{CIZKP#I W>j`m_Zv2dZq8cjTJmD!c  7? LT*1}]oz!3QN %02HBh_54'"͚$`2~7G.% dbcX*THAB>^ gYZ390860821909a41f9080c78b11b65c92a72cf40aa2fe398aa5bbe1e9167c32c9440835ae76233687 bb893dcfe41cefc4a17b5a562e7b39f67c6612ab 0e046893711c861141fef1d6277a6f1463479037