SQLite format 3@ =.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   `1z4, ] HOL-Corec_Examples:threads=6elapsed=147.125cpu=474.384gc=62.3857zXZִF! _ ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7`w~chF ^ w)7!Vl﷚'=;m7JZVjtjRXdUDx/3:MkVnĪԾ>\qXlR2x%/bal_XRNA:2ﶵ̎X)aQT=WC|,rFBcUG8J{+Ԑ{Jӻί)UZ^pgFMv\r.s( #HY[w4rBgzG)L#CILTW0W&rȗNbbJ?$VnQ+v\H`P_q52E ۯA,j D7huwBAEaF`;2K冚Dj׿hxYC8Cz-,&[Z:[s(&_){qm!j2g}Y2M=B2elr Y=[}OEcTUA/B0z9Ezi Q8 Fݬ'ҦW y =W!98ѐ{i(:L#'1ggbb9Y-5Ő%\>-wx#nlISh!{h4>Sy병Kv3 ЫLL] MمԶ}m)Tծ}R}4= D('tY zȗxe,(_屎@l]V~#c,]KVڷ4 YԺmf4g92zhV> EyHc.Jp-ԗѮDsJ1aZE^ G[XN bSR+r9%S9NK6+SW#7`n^TmBeܓfX[D9b@i&Rnl~i!܆Z6]W9 AYXL*Xsc\DY&[dVo;3|<^Mgm.`Top?8&_'x(<04f7B!`8Xަ6z|'~UB4QKp1pDByE4l}-rR)~@1w$z/Tp]~m)~* ao5ڍK8-1O@ vDb]ҹ &n$Y뜮RQ4Ti}.V|E#5"/!"/SIoU. |n<;F1-ʠ$;}GqlVjSݕ@H=`"NQo`9 DDx8WVfXwHI8緵ݔq"SPׅ ~WnJ5"K포U٪\qôS5_ZJ"W\& Ixk"d#2)\<3v}S"4v0|,Q5^OH-1gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ(s/ѨFe3bbykC5sCW2a=S:KIvP*7Lr f/\.DT O3>0ےl(&p7龖3whZc\B_cҡ$ -aD*]hއX0p'@Ut!m2.=XFaZ,xf-v< 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<7M5I0E+>*7(6'3%2$/#."+*&    -(G hJ  k . ^p2 A H V ~ :  |8`Y ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages4F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup3E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files2K1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id1F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup/C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files.I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id-A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id%F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id!C1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_idF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HO,A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages,    r1SG < 3rJ?G`~H0$ɰ}623Q"9u}f LՄc<|gفTp~aЈ[!d&cSe7 5裡l X$")DjS@IR8<AA ą\ik^,%TU&"Lb@  2ejNk;WV]*7C. 3)sLaXl89{d>303C>{yls1`kvn3ڦY!BCȳ)vƼv4q`n"M=9NEMaPe-Z7Ƹ9+&+D`b"Erqp uSU<[ {#ц@ܛvC`m $~5xf5s^]~'TŻB"ƴ2T#UO0<%Ml~OM5x|G|J IU&A [w>,GcĬ /zgX)|glM9A۝^zZkLڍekU(X~t^GbV(dY7|lD1ĚɌ0&=.0i b=L.CAd Σ0 $^9 > ֗2A`}veJ+nlԹ>99Gum"sj4te0:pWAa׈lgYZX1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex7zXZִF! :]A-MՋhvG"uIBm52CEֹ$zne5ԌJ6upϝ&i>| CuXܵ H,|;s/Qw>ƧÇމp y^{ eM\jPNe77%[:e^AQ&m3i8kcbwk|?!%g7!W0tT1"V!8.uFY WjՐ8hQ=ʵ ҷSuמҾ}o1.^&27'_1Z6 YMO]+}3߹4B "<~?%C@^Z.NqE!ø̾Oi'{t\ E1)o ]8lzo~w8GK.i0#7WXnh ?m@^KԖ}aĿC{/D]d|BoRc?bE8ut P&$#6-_CDLiYtJ#ѷJm{mHU>9\)k!e!V-z\Cl7\ڛ[\ɢ`9/9N+fuWn.srrAI*j&FSywy$ w'Y>91oLn~Nö+סi,{̐B׿( >ҺLwV#Fm&yרgPyDt_u!Q/|1ʎxN ;˕$`n@4$)afCE B_H:inxLM&#cMS4:tIFmd\n5_0m-+j /EjEQ?9; BWZsǪk =ޤ/*C+HZ'7Yņ W5MzMQO>RM-eP6o `/L X {֯|5G 1\loi@$Ĥ/hu {3+m^$Os/D"C1n K Zy}763I"gKzq=!(0vǢ0g]]PxYwRUOfb;Գ!A>0qUr{hm*Cq5Nz*.ja,b ~t2OLčVŸ΃s9М,>T;/%. 9]̫DyUЂ8:j]<[ ~)w ZSQC0}:^g+Dv]Eݐp'F l;o, zǷ0׫L=i-Ͷf}CxrnF uz>MgYZ F1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZ j1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex7zXZִF! bj S]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLeyԥ-jPʪ]&ځR`f?сo$+Uzj͓.\vJ)kؒ1i/59#"t"QL3esQJwL xLàǽ1APpO{fEkf$!M=d Zn[+AIЧL~h'$d8!1-T0F {"~xg>ZA%Vl+M~w:\艐 sKyP ;C\ZMݣPq:Ba ,qAOЖTWwH.t[鹘5N{1&;7ԓ|G{tXeb:I~*l׎  u}hUV~«WؐW=2iǤUP)=_^m@8h) SUU}Z2SaNԳg04Þ|lircXS/ $gS4d@վ˺;8k^FTSPR >q,MW<"1]֚ich:=({w$@R_w[xA*y@6o=q\ޤ_!c0QDÌ͆Ajx7Z54dE bN9-aȠġIA0e69 mJRwp g ;٬SBvYyYi\ ].yt^1C2(rQglh\3_%.JEIq8H/P0N~:(d IQEL[y:;_JGQ - N+*IW7pN$==xPU\yăW9UM'LWOu6OLAF9 dѤTIVߋ@&g)UtcYyΠ=t]a{76 uh~ԍE֭qq*mmUdDhm~mpp5cskKG%Uj2s4h9wVΎG)])\>ks44m䂦\:Y%:p+? yR&m_,O#cTKnD92{"5/o{f{P8wuT$B:$Ge؋"lBT_j=y Fﲇ*{ecvxF5GI aYRh'Wx~g6Gd*ȣ9""P.f|HK,?gYZ m.1OC t xT7 NWsZIJQ䁒Rn Lr pKiQd}[TV(У!si߁t=d7J6; )?!%G]pF)Pހ[@0,_,V`NXSCA &E-EqR7A5'G,DK pIVm@#_­~rʿw'Hfb!|k"}c\)j$T{0 =[т]ʗm( ?Do^A>@ђΌ|.vb#ϐ[!=9@,Ϟ,xL ֩EYOF]丱{ 0E/^LPh"buC69] 4{O7ks vmk|2F ?|L` 㮋3z9o: \u=t֕48XvHI@SVn0Jod3Ѻ%h]?9Wt:o2 .DY PUHmBhÛӄ$y;O)BE]-mWEj}0em앝*l_?y\#LJGa[z꒕Qp&o =7v[Gz1U co[I5Ep#JWxS\$Z2dޒti[ǒh^銬6o4܃;c2 YL+K[1)uf`HgYZ1A5 HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex7zXZִF! ` ]A-MՋhvG"uIBm5Ug"&R@qb}>n EǞPr"ӂ0Ŗ(Y.R>-;mID{*#0&==E<XWW?VrNj-Oeiޤ"M$رp%- cN.Uol;Gv!{ԪzO޲Q{Eѧ2)l[ד&WQi?jTV.wVL~4u;rIsO3C'%LV>!HE籔cɫ߃kb`*H>\`ڶo4@Hgz#ٳYqYuƒ[[jՋ>0ϦĢk!J6u Q {jǪQEpRo$ 2hҐWWDCZ^fmtZ񥾮aOy,›Oւ^F"D ĸISSR[(\Gޅ]"MjUN Qle?i;_q~uTKr?3Wa,,W":!ȡ-Hw31_|Gu%2#lJw#k˅R]I|u# YS;}uV~~>T 8lj̃Y_W4 b`_iy7&/z^X=9) f!}Ҩ5G ƏuDY]m*7H#nB@j'1 (oz.VҋڄCgY* (z&lMo+\`J[pw*)WTS"<,cuSw(o}Q+9оkFl3M(eL`}38hXQ?E8T$%PZpv#T$``4.%ZD%&lGC^j 7zieY;H?$ 3!%O!}Pf.M!+1,e\G(Rjj 23ԣ}/ 2A[a.Z Tꌅ1Rڣ^teD\w7{$6QZW)[kDJbz(һ|]c#? ʝ!wp'E3 s#k!qLdm؀ckc@+Vŀٱ=CܡLq&sC)-I5~[ ){VFot&#tfDFRE<<p󬍖juʰ1Mw;ߏ@k8GT̟dTD+)y9`|dbr2ɧDk+AԫUPBt LrF{tTCcGHsohMrdi Xގ WªϐX22|RC43U`G$9QFGD% > Eς=Ҟ)d%# p7跃ᓜޯXF/L&'(9y~-e!124 K;xl;ãW|q6 į￑k)B$#$kϬZ_Qau&̕IZLyR^%fU9yC ѯQ  zWi(fz-{@vL=-S4}ݑcho^o#ugYZ n1OC L/"+_]KYz;֖%o \$N?rrJbkhCD17ĩF;j3B`.&~|"݉>3|m .+/Uc 7@]ObLK'dwX˶#דuaWҜ2x?m?D,CqGۖ-‚FH6R+Rb?I/o^?:ڡP<c$A89<\̼7,sCR=L@rᤶ$]tv]Չ kkT[|iғϰ+/~~-b`KL ڨ*OeW }V+i>Z%M&8 t#1&Lv-6g`w]{sjx{Y[Lct#%Joewu+_"Ѿ`C)4= v]lT-Q\2HH܊r+o翪cu 4]oِR&Z#\Y" ™gnbʎ~4~]^:%Y _|hMcGY>2ALP8ľiRk<!,/}b'u <:(x/z$!k~LdUu7eW런hngoi&,@ WYtm.TZ[DnOM#sa$}yK:)+vH!yW{FD2l82Ty=6Cz7F t r D8 /{ZLԹbd+=z*CLQ(ӗolkuբ,E89X4- EzY<>0*Lr/g".3<¶ ru^AIbL-}?.J-4+o֋ޭf'[ hLsjFy#|(wfwlĵMLhonrJ"]rv5 BǖCfM 3a'kΘ X@߱gYZJ1OC tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.tex7zXZִF! Z]A-MՋhvG"uIBm5_?7ԃ2@s;Mܐb&Ρ Vڸ(Π[kcj݄`ng_l%cy-P2/_I] $b2R ,I؉@Q/_|JmWJ2@iѥ\O[)ՄlΠI[X'2 Zʬj(mp132sl!0kpä˳@K]n}@jztɜe#E#3j 2/ f:[ixcZ ( Py&o.,jمp* ÂzQ= ƪ><[喻*9yDvHeg ]lq@<ۘ $|`^5b2 [d^]~z*FDw-H{Շq`2RTU.2e`+EYL_nSy{/c@?YGJV;8fM^/M7bk9 (RPk܍=W|3vj}'L"QHҫ/ST;E-Xƚ* 2nHN2^>d} RF;2LρNv'v>=ˣ34J/D"w 1q!s8zמwI#.,17n B=CTqCWKdlib"=Vo7yНk\XF< "\{gQbWw˨h$&:CîF <]ވg=uj_Q+ ʜW0\)7^]N)ibA)z_JqTYu-zSA1BqKx;/>q)qB\21;.#.6;x-H#o{(@"}L㷶w%cMKCJם91j':hcsz% ؐoaLґ-_y%GGpKld@(1l>J[%$Y)C~SR`!YRǿ݉ޏF' A4B7F=\/&pv3s@c>&$㶧7B5Tjtۂ^MAOd rLù-!=I r{vbH<0-gP|LI"BHfsZQ<[ g nzzjQ̉ETy"9g*4pZ`_ W 9lc} -V :kU-R- v-x [K-^tˉ~/F jεKa~]T!`Sv PgYZ   1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(skHKB8j39ogYZv 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex7zXZִF! o]A-MՋhvG"uIBm5d|lT cfpQ$Q0Aut\%iW1rny2a8G1YV|ߍm/mYG\ΑwLe#J=xTpƉư{W;к37OQMY1؎-ٚ4/gs8#UhNȞ9Z"lQ""~.X J؎4-%8IBP$*1#j@M *lRm:voD镈r1׶؁-ёOTY mpan¡C vRn(>bV,cTd4 gk jmsX8Z ???)c-H`0]mu]]u !4b*`>U`#4bg^;(P686{U, dK tC҄/m5T2St-'_6iʤ%P rrnpM`ĥRcapUxUŤθǩɧH?ҠVql=pNfe%4LBǁw:]jw;JG ,q2So\|mW_ 9|JM8;a/-ҙvm EũkzGn)kʀhPͨ[O)-OճN" r`)̩!ᾣ<|ޒ0$gzMex2{gK_ DP jbL*7{N7 ł2 qKcöP<@g ,)›rVpy瘩2[s&E\QL!+5T$xrkr| ikPNGȞ@+YfEī^0Yfh}Ȉ?3]쑐Rl8QIqaH#~]7&.3$QzQT)sի_8^e .YȤ5;H׿Ɍgm<Vjٞ]`- dx#ld*Md<< g@n=B^<8QQL^_B3\Y0!Q f0^IMs]kY躠r(I,%_65kaf=zm p+ﵫL.2dUjy(dTr} Gt᧩>L*[/E8L!`vWб"A3;B;kuBO3eTl]ЬcJ{sg̈́/*J-aZI͎]^0|uѻA8U\:XurD曞 z/:lI3Oqt8\D 4 @iՅkᒬvՑ#AW$oΪr=ۻh+Tꇻ41O/w<F}* iFܱgYZv 1G; \HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex7zXZִF! qg]A-MՋhvG"uIBm5u{ǶlΑWەXlVTB$VIוL~;:<$=P # |uzzkuR93y_6{7HitRtI}TsxmmN; oM(%;}*7ѾbAY< .qp;r1,_r& z%DSpѨ*^U;;/H@qnKs+2ݖXC̃-a!h CMּ3LH=!"J}Kt|Gmy3xF5}ᗉ]W3 ~YsHi *%JP#vL_ UZ,zlƓ(*/LX{-Ϣ_θwCݶa#ۥbRf_ڹ>XzRe$'p&dk}>籲 g︓q""gYZ ` M`j 1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ0 1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RXfEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱gYZp1A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex7zXZִF! f]A-MՋhvG"uIBm5d|lT cfpQ$QꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,DzD65 ݇YOT% J76VӲL։3K=⍂o.la\y x̄c3jgYZ 1E9 |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex7zXZִF! $`u]A-MՋhvG"uIBm51FbhK#|Q}k@ My:YÃ&[.GI]:^"w*?6IWqXp(ߩh!K6cEUY@*GwJt`+ mH/<<2u(|&sz ܁c_jH*dHY!=L"SrMLץ[ pD=vaY@5mFb=>YI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ  J  Jv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id518d1E9 #1%uw8JIb5 ٖ|-hjSxC_&l'K[uvv#wYf;mkypvrdr][YPyL/5w_m:o!SLs6 t  d~ hg+ZEܕcOYL7{"gl{\ 2Fe$knAb&:^dN! .b[IxܪX]Xw˜*tuU.Ǫ^!xR6z,׿zμ X=~Cvz;f؁RHslR%-PW勹- ͳuO$ls"K? R_tjSv?oW_hg{&fї )gϗKaIjFP0X!x^Nb? #7Yy}_:\ ֑~] qH{QQ9;3aD!9UrK.6< CbJ|MS8Bv"7 v @HV0j49tQUCD#.0:$ 7*zc\Uܺ뷑z`D3^) kbKez7[_4M;XCOwdjK#z0tCh +]Oyc{D#!\ ~gqgm4eޕ;nr9Nh6Yȷ 6S)ӑ='Ӯ#dOU:k{1#.tBEr^jT'I{mK,E<3q42cP6tSlc*0ʻ~X'mhoD(| *L% ەV[88hU-:Ȼ4M1v|'tOw*pf-~ 6lBB<iEY*"gg~)Ǎӑeߋ㠽f Ku|dəj Kj(Hpޡm'4)K=,6.?/)gWUzI]-%8IB#aӓA[s 'S?*m׋ MGAdHY0 %UېU~f,5w'yh}r71uͶ_s~Y+WGOqҴL<vcEG%l:F_KGDb7"5HNv?Xtii\c[B8Deev<-z?"py { ")۟IH!Y~'3:5!u W}F͸m:bnNAςtJq͓e~"J=3^^QU~]cxԑy20FtZp,7/"[43q-ԏ5FDKnlWY4^p 0Hԣcf_TEgVڜIat]fi%@C Ĩ^] b( =aq=AIpܣ$BggPߏ *   X9,פ<+"m侮˜oӑr 5O)M3h#~`E̙C)ٽvZh9TubM0zp ϱ\G"9fd!^4aIk?FħV̥dduht4\`vPjA](jLEsBWBBnRm/9e|{>q̞ mRK=/r9S1J?Q}!JݜkݠaPFS&^yt偋p| WD2we@Ws O>d+10C`(֑p _ ?eNjw7ۻDtPqoMJ :1,(a=ux{mOja33}ş("Cz[a|?LE;+.^bU]>.*75V&;^X6;h.j5$/P&HsOԺ+]z#Hy;$&/u;>9Nw_.,#9(eZE487mu;O8KhrCmlL&[jmB(oEFXɛ}Vgf,M4[MQ8%ztld#$opvD)CnFn!'bt1O; 'QdFn-&kT]86 =6^Q{!5ڍB+;7oWŅI?nnJE?+>{Ĭڱ3( e"0. GWUzSE`cm 9)8ִ*cCT>Ap$[;HbE۪x2PdЬ,6Z} % GYZ.jɡxG$ZeySQFX>+J3ura& 9~zW;mބ̦Db#ڲd͌ ץfr[B/E*?V  Fj"^Z`njO#oH 5Z*ӰHbusB(Ndכ4f8 ]&V< wjxBe D$^|As ɷ|9ٶȼjmTp`CaMa ˋ2mV1C^H· ~: F:}M<ų|ّiduvm!g<(8 x˚2 Uo}ww]Or]0þ<~_h]ڴxI+ɦc Xópzd)J+(q*J:T׭[( S%fe+± NBYyҾ];Wr/? 0AVuL75ǭ3}Ad5f$Ѷ>2/z~Y3d%(k1&fUA]VxJ# RKt;0k)R9`=7nUPz \8'}Hȉ + TB-}nt g>5pk뵗ֱn= qd:EU(egOȯQ1R?V|t7h SDz{sa8I!Rew2٘'IS6ʪzgzE AAQ4NѼ8 uma=G! |ZClObFK1M |#NWEe@LòVOg>tͥT~m݌`F fdcO{!ވ?"䷧/!`/fJW7f̅瞭x`޾Vl-(9Kf!{>|2/ QaF%4=>֯.Xr|1ll.s([O5h*#時w:.DItX9rЌY&YNE* |.hVXIM;s}8BI9yM6QQq&-3(p d=NSX/~Dz]:6Hn|ďN&Kx}Pj)j+mL[lbL[M(r CT2sC3(AJf1LxOKS lm_1g']_QO@dy+bU9 FgYZ F1O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 6]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34tn7qFy8aܞA1R=qd( #'TDGS+҇E31{?6.S|K%=vNB.v|kpw9-) t^ $9?ZNɗs{q7Fe5]. M- `4{FhOPRnaSMCxQ5nOp‘X~BߟOiH4 7'Q T)Lp=/wj?\f(O8nK g Wkgkc9@j&n0ο,WDW;z4Q_l5cg0]ƌj%gC.uHnz~Y;.;1EvncZi1{sp2QIN!a/Onk[KoS* []}?.;_qά0Λ]sU 3$KSJ k/Pd14=wt#Z|onJNl%mct ?Xhk#WӴS  Z@oGki̊.g5:2.ǪĀAvop!la4elZc#` $Os4\\~MEw"V-Q9bL@U|G'-]D$]v;=| OfIxU RK5R:2צ"|j$<ܣ"~xj~ P.0+`8`Уʁ 1N1?.ad9Ť'PjO`h]YIIhnq0Íɫ;pZ/4J}0b3*SBѪ?#R2Gc2 ^bduX$ǫP8d`4΄wXo axHXؑńs`+Mj[:(#AIxoޏV#ԪiTYY2R"1oGti)JÌ Ջ]ZwW<.^t+gzx[- !D} VHߦ7yG0C~+yV_g@ЦB-ɓC( }5r q/8nkֿ+?[_.Z>W'<}ʀ|9P6/&;9<^.2z$/;SRn:P+׻> ] f#ƯNJJN&qc{2c<|ao-x@ߕ&LA_l2_8<=N-y GOYcc"/ͼ-ovE!8P.,rTDk7R;`p-< K-"ؓz%*Cu+j' Cn|0ǐ |)(b%4a];6odovFV&C'5[KtoOvFBB6?:O>c]$ nOUqDƕ_! OdyCsءOeꎯ P}_|䒻PkVm/flS77 >e8bE4p, qz֎c.83LK97ХXO~>[PWke{FjAL<*w$)5~aS1WLJLmeyݐD>P3]Bz'{k΃7;(698b)*_6&>_7y^Qv)kS]$7qh>& Cb:'t9KPa4gtMI @/9>GQbND,qj͈*=.f]J hT^`"駆%¾AD* u}yϷ@,ačΦ*%,*1"%^;kO͈&`3xL2-Q c};(E<*sJw/oLs%IY5#:x3C5%.%Q<'JXؔCߧʼnbVQ2$ .²(vgF X [%I[a<9]"S+׀L%cL_RP>9˜r}FJ̡R҃"oPEb7$ 0=a4Ѳ)VhS\yӢ%fi- =Y|^Ô*Y:"ru32Npn?t49|`uio~;) v}#9!Le{M@mRn'Xҗ;$"NϫgB}9 1*բM8e?3O+eΉv2)F&%{d-DCEq*Z,=sY>&Еp걑,sz>7=1\{"3 7ȹwO1lcL/EgjSU^-zN&B95 jh % 06 ` jȻw@E`)  9 5h1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id5421A# (»\PšPBʶb~c }^c9uv GD't9vGW(:1׭Vk\*qO vB6TkR!@/oFR<6urnPrؐp ŶqXvC^lD?o`B:.2$*-o@*Q2^{Rjz< #Q4)oYڑA>igT2>T1Z$X>E湖G S=pâ }NAX4>4c)v<^_ DKK{,+Ht=酃o6;~{|叿Ê<_$"C*&P835%v'!+Q%?Og ÷)GO|[ID%Ͱ]H%J hLyz B+ίa5]^&! ʜ3ےK7YNFTX΋|F*XI"|3 t^I?hFj"aaXB8Y>c1Hh8'vx iKZk Ҿ#h#Y}[ii%%)cy($jnx'qL<[&>+<wQR!uf6onFw {향z5nPm69 TT\wj0a=g_x uLh{0< ɲ*8YIs_ z"ĖkR;Uq'/hbB! 7(`pwT ~LiYrA =-X+9C͌]+IERWw={壘o.* ֑oq⚅KKi$\ԭaţRѼ%^^s#8'"`{:= Fw)Ac B?^~8kB I?/Ɗ@2L^@҂YXtS(`nb ڰ4d(n=piFJy+sv< =JP|82mj-ߖ!UUͮuzz*P)C~ü*u7R6pSWY" bJEyE\&I 5uZܪ>hqhryS!XFغanv*VFT&-ay |C(率-gZPH=|X]7]5}>W/=,Qf՜pNP/(aNMRB]F5gJ F)Ae}lس֖M9m _ q:ú"Nϼ_؀/KIA3(Ō5+SH$yù噇zPC Kl1)rj6L: D= F=fx9Sgd t=/E=a31.&1ZMju~gYZ w1A# |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}B25e3E޴͐ia '0 pE5\8;F|vRQk Gah2%5mt! ~.&>s1{M)tu^}^~.M[RJ(X?C[?+tJ3+62Ɠ7Zԉ+IuycMi3r-z7>!0P"ceM ]  î<^"ȑ-DC"`Nǒ  !C0^12$SFi1&^[,c(Pw o(*ŢЎF#s+ U)waW!dDǓq5򾭏֬-B<[UGF t6W $؀[e߈9QFf}E?[()B=7T`G o\ﭻC9$,>:!g! 1E׌xt_A`Lm`=́FR-zؘuC &3TOͮ\\n)D6Mo#_[N6Rgn!WyH{eETID"-d`&-7M2*PlE L.2Hin6 N/.No?dm#aJbt=6ԩ'5OL7/ t1=lwy`L nI߽' b 4^:k?`SAiw[\YTFY@* YS <PDr$wXw[g7H< "82L',}s,ތ-/qg ˯;7.P/?y0J5\E,0}_o ˴Ǚ0HP ;aOlmXlv!8.8Z[4&->D}>WCĩ\ 8ҝ\cӚA@_TmzF5nٵ>cE&O]'='uЙV bqUI57<9Q*? )mK٣l%^EF#m`nKE;߷Q]s"3mnAߞ=Zʵ$>\RG^*Rqê5ޖGAO>^&9iB GodžnǡΖ wZ.\=˾#|^ 78f l&7 X\ +sx|^@"lB!]\ w[%f&D vg# f6ј-c܃UOQ>pdb0R(1HIHs rE Dplp4388Ffu aq-vI-}etXFo d r|o3,8{&R1U0rv*b!!Vk~ I8G{~4Y:&O^[tSg F n5-=KwHR{k9A#k4g:Eiu.l骛O"͘BZnYT_#ĢZ,N-'ԯdĒA{a6:cK>U jlxN<8ƕσMȓq|N%5/`IX0"&յ5}e4.~-8e' r 6[: _9 !UJGoһS;U o:7sL"IRvgSymܒMd?W`|P CM"aM[8<"#g>ތ[m^ᰶ`U^'I(iX((q_m/qA>CFD8n3Ր +퇞L<;{ԭ#i;HJSU@b jcd`:?*(egdV4J%PcmܿƁ |q{.ѳ1CZ†}:;l(iQ6(.RFӝ:Ri}]D^j??_|;_ҭM=)ф4oH@-_W1e{dـr-|+83AAn O8oQx &#aCqr:ޱ}q4B\ؙ89ssw(6cꪸQ$f?14;85"PJIN4Su]}p:,4esm\P]kVZB4-8AjBTKf\ 1~w1H kŸ_h[N})V?|=f. EOxQw^vX$:TJpKs%%T[EF2gA o2$ #6u($4 h,JxE5,lՄG"*%*0SK=E&^M[eۓ#|s:! }2}܍`dZ/0b.e@M6 V8&~,ٱXgHV 5e1 ~:OxU2ܧ7Еo"F˲%z2+IQC՛ӣY͋h߰큧`1GwB^COJ7OmtUkom<! bUSx2LzoujX`V{\U#t/˵%\gYZ7E-濎hF,uD8JUOӽ_|{2\v`EgfhS_>PvcIs/w+)Wΰ.L#+D}ZVg屾\5]m6DûNX>;ce1?Լ~9a=Wbno Z O&"~=Om)Ί73UqڿJ#u,oyLa#|ګBy5/! F=P, c}19:V} "pLb'+8BDi܋C=I/yP_Cm32$ko̸NXak>,}ߴe=fMK~/db#ݔ=k9/OtVqK@ "'r<#p!{*/zsiG G:F:|?dlizn>[lmɜU:\jK܁H|HKl3FѐUVJנ#Zb L]RpX^8WnXQ SMdwp.ct)fӶ:ce~dBh}oD;(az}@C$K5P }8t:}2Hx"jc`3TuG%Sת@H <8m)jRCnW:a`WRw7 )ڙW!-ǀ„+}hAȄ9MGr-:/Go9t;wxg-JUW-ύʒ0v^.Ͻc1OOYL4K1XM {=__L Nq362Ήa ±:+˲xLӒeHSPp$$0kWgln`]cU]tŪ/c~.<~z@q& 3BA`:fO,k:hmSNK+jv%kʶ= Bla KV-U=S^Rage1:=aGF'3XsF*jS B&ht ;UA0 aZruQ"fQK¦9Fw7782tO31Z Z +Fw_Rrck2\(?;c3bЊyΫ2YwTxLKMN3\k[;f #C4L-Ӹ>bPF6-+q UU WTFh);~zCT-,Ңy3͖aZ7gK}l| fmUtmyؔ:p4 Ί2W6" IoXm2u_! `{&, 'g/=ɑ>k1S'zOvS&5P҇DF*IFrTq*@XX>˸֔aW} 2JK6UX F+ T-݊ W 7%.vnPYϱZFd:W?P-4:ꫝE.3H{&C]VwyluqUĮL mr/?]| 9cf>K/4b[(jiԚ,~rCձ~#% v9m(; R8rZ}faf:6ٍr⽬dtf&AQPMO M$.CjX:ur.@ fW4$0 U-9rK_t*kz6kBkb& fAW,7GZxn/ۍ^Mǩx_l<{4~n%*Xo",ՊJ4=9j@o~>~ kD6")sD"0`&CreOme$4lc~#7giqILTFޢG>Q/ ?nx;t+#A qckNEM3L!U$3LXL@]7X*/5$q)8+&zY?Ez}zPH Nzib}cHx@6훶rLEA2֊D•Ec%ZBQl;!G2xt-z歋L}< A\L[aat "*MOԤM\㾔K ZTˁ~V%ё 4(w%PĂ#5FXEŭ=_xP]p*Hm|FJBj{~hmQ V{TBw",̼e,$X;ʶ+F$ɿąQԥT8r?䙷bo}޾Z=zͅSp&5"NKl39;S#Xvh}T[2R&/+x4-Jw.h#F~Iy+Af{$%2S!>[G:Fw-CfTYs%jKsu}AD[}'fE-X~S{J~I"t3iйZ1+},.[;a:)M$9A 蒌tJRng1KsU,ɿ^rR2yE4w'i貆L# bu^Q&Kofa:6䖊̚nhjao=qR)oMkgPKbLw q p4i=A4npYDh^L-T;HC< G4]5!-?oYFrV-%I0^E]˘K݅ eӱW t*FY*> c}fQNeb(USPA)Tfd͞o0k߯5V#~9W2W{cS;֬NG=A3Nf#GkRFump+0+e? gO[TΊ6КX+5gT:By32Ⱦ[ї۹9{xıЪQI{ʖ@:)l;`zqO}bQ VC7mGuŮ`$XNFd\y NtLM/K3U8nI'Я8W l cЯdk&e(:5hTQ v*zw_gb ~Ip~\nR&F/Zk++t"My ~Y8~2|i[ yt%#@gPPS lp6kV:ɍb ]\NVb"&3);'G9@T8qCPG8ADtFW+!gYZ  p ! M:h&1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF%1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id526H$1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w@]D?7 {?:fH\7Z ZzMϽﮣ⩯_[nlo+~Qh!4/!+ʘ_g _Q_ƬU=dʮ w*Sn drUM ^r4{~y|d@AFV%4rO/s\A=1(/$f|$C@'guVo1٨ /%%fKr^q_M`4O!=ltgt9  +5G.QwjsyzЬҌfz=C2KU+\J9Q!..EXTnEXzot^+c',,q&%;}3 D7p}YSmWz آ<5.Q휯##u`܋?L KRK?gȴ2 ,qu?յnYY+S5=9~spvoɋ 6>K8(Xv!vcC҃aKӒvzC:ᄿ*&=" '&&d.̼YQwmSbGW7wA{N 4d' ^ S-S*Y ?i k}c S}JkuCϪ2< LNgYZS# 1O# $HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtk\tt& AE۲^ݚCs&>HIĊfM/cb%ɵKԒ]*pZ.qPA0Ǯ68t1L)Eh_(%hd/4jT!8k!_۲qkߤP:D5}wٌc="8˾p cg9J.oG0Js8gZ itz0pE`JPv/cvxFvAY'51f8K6 I U{_e:ܹj$z%D 㯻*> -5&/XKT5f 0Ɓϝ]AX2QQ[ŐЭ|j̕"b+a[dEZ%rQ+a,Dьb(u[.y /ƞe~%VV^{O;({F*\ IPqx 5Ϧcv*T0/=9워Om||$2ϲ4!{cR}w$$ᗠݟ{mdY͚M|}{qԻyX;%Dܚj.=U ,4]DSlSV[4Ew\-Nh'ۏ:*ç;5 JV ssT%)-cYB7pBC,5*{cgEd= ʷlnËYG9#} Tt: zӓnu"}~Dp3[7vFF:;Pm쨅' IGMWrwDojr/NEpOcBE3=u2\M*|GnD6և@)+yNjD|bmQ tZH?t=@SS K ^F 49 r3! &T(|r{"QCUo9bۙlNhycRpn%rUAƍ2CYx;ni[Vn/J ROR4*ASmM8vU=?Xzƞ}Fi/0m,sYnHTve\gc7pQQ]T:tG1d߲cn]`׉AլDb3b$+.T;}y8|=ޤoSQ~('3Ն>`{`eў; ,1h5pSRB󱟧f 0iC1滆#2YC\!c۞rNMWW6Rll@+.Y7fS1v{#63v#jYv(C4S#]eb`d}!4s}=ҡɼ>0RL^Y c6H8뫌[#BqZ \Ε5@flY寒I\ħN+*%fZ KY.|E.%yV&ܔpƆ7Vkr} 2?~EیMtY4Io"ciP4;AdnbϜ}o՞KBZ o'>F[7ׄkNM#•D.2B+nyxpj瞉l hOjҀ ׊R NZ y5Iw *"퍟=7i~w*Yg,{?y7V"ҟfR?9P9e st]Um^ !ia#%JjI0 &ǰb, ~ɀU$> RnWR̬O~(qqiO 7g[_}qLF6qح/KbuQ$NLeprtO}G: -joψ|.wuat[X[٣lK\e슋TPLfT֨ }qD2aVb]wE]Ou+ɷbs6eV5(7rNeZT/6+p*E / צg_Lyzoeҩ0c^1x3q#Oܘ0\ԠO]vE~;_3]{i)S"md>i Q]=MUBC) _ಒeD-QVF-/3*2څ(2@:4DZ}N\` cn L&J˕A0b]~:d1Idjq9GWag7%AfB廵Àֈ uj'4u"Ail ۡKd70ŢTC.NB *cZ$|dGUgoLDMւ]Mo9g1EwdLb^ogcn$ f@JČ*+g.v7)JQZ.Q2Ǽc#gmX_0z7nxt=DX@0]aT5q%^'Pꮽ{!P% ɼC xȓ>~d}njdg8?c H(mJ ɞmjZ8Xs  O 4 "Tr9h*m=V!Aul}+8?tpEa0OHjh5 [ڔV>L~&C"eaw'u{Ym lNE!G01?pszii^4gO-N=R>g~hRY XMInuk6O lrYD Dh*֯@5ʟ)ӗA.1K&GVzIW@cmaT 5⩱=}Yjknn`X&1H <rb .mYҖ$S2-e@1o5} ΋{C00*z\b},](VRf3I_Ч3<wVC4Tȏx%rI_~p P;ڸ/QǍo6x3M0U먼aPbn}_w+kNķSN'U2Y\N@Ѝ DO4^Jeem8W=&./t{4I966()fiq."]^0p-w(ީIZw+ѱx'^zfeĿH{bid Yios' Ĉ1j{ U`a+cbբ R )?s0TW1ʅl; @fY$߷2mά)D]t2mj8zǂ_PRːUNVBhs]ռڔ< (uB 3E!ZMx#@P3Ʉ2+g\f#}¹@>eLxPn$l&5P a!⁅N辰㑄mHpE-/KIbg4 wc/%"r0cdRTIo^( 2 @9<ځA$ ]!:Fc&3 RL{:KƦ#2hD̗OK{ y KOʡ֍i#^oÈ~8v0ӕڠhY|ؤnz~.rDO#(qv~jrz8k)&盁"P[Hs6$bOPTh"0(H JP|SXC\@t9ue5m=y=B}nYb`D̓.[-l]A ӇFr%085GW>_Ǚɰ :iBVM,햆.˸bMIgzM.]Њ UqE2ɐ$2)BqMLp{Ѝ#&Fd ``^3Ou*m,8s5+-b(B_2ݱTf}IgnOX+qo e:SIEI$Pϕ,ʝNCV{7UFi"9 픕{K0u Md~_F; e`Uٝn#)upۜ CGf= AD XyR k΍SE43btSC<>vH 󾑊de.qU|"@OT62ȵzcVm8K&kM ja=G+?lJ!~ǯZ Hkdizo"4O I^+hB3"09^}O KHc4,%] :(+jCe{Q AAϭ׿xawƺk>bбdjΑ<Q>bԣ-De4){i$>xS0FD. L0^CcgXdOX(T7j uTm_.uoRUCF ömxn<ݵKad`\cEv2if(5ǝ/'ݬ%xG^G}W8w|4J)6l}:P6<֝-H?RG1|ygpFR\)uİw's;▦8U<8;IFx+1~.SHit"BC4*;Wg2ȮPo{`7o@iKNWI3W1 ~MILG#UF3?egW1 *A y u0^y1x%E.B/lUJUQk.3qjQ?{&޵-!&Qn")~+ op+O2xss4o|-܇̳F[2N%TL癖RJ79[ rµQhu٤Yy]&} n64='" ]c8lwԥ kYECEιkχ^mWtuuTRtУF$6Cw# ߒ Q< !ȸ0 .HvW@~*Deu#}!޵,+U NN2nX4,v,_\ݬzgL,5@7܋nLj,6G!{AW-mm&A@;眘me.J]ˁ|ǮuE6ڢd]|^R7уHg[E!ӥcm[Rsyy [[ǑRsF\raU~G^d2 u1 K5;.7mXW랧4X leJ9 sf_GŝGUBRJ|X)Ʋ\0B. A72zhg$wY Rn `ʯkI$YpQdF231ksg3 TC H9ٵWK`+ kn-x# USr;dչ,s`4yfؠe#{ ƧoMe8n1\m%#Zlޞ-;uq 8%YwA y!5eXO>R}is=p!xqӀ91S̵+gTEr{)['cs#^ ]eZ9ԟ꣧cVYmy29xԊ#`)2[ X-;faqPUa˽uiQ5&odoeأ96|.):-*Tز+JJUά !C5؈8ۡj Ƞ~A ljp2 Wle}0]׊ۢC$ԢPs)΋gaŧ E1/ UY&3N+2EhYW[%i:JKTO&1,x?ߕ&Q#7硼A(Kh߁v;qe-r- w flkBtRʄVLzbQL }[ yn9bbP擓(iOA;5؂p ⶏ~&55Laixz)V3[;ƣt_Ma61a!A#k.K#;H?FB^ReEJŬ+kw) 2DHj{pO֥4˩ ]~ǽXB宺ДS ɫ__U@lj8I)ZG$pWkh%eeFQ k5x g[;/R~qvXE$oqqy97ÁQgMc7JjdPTw,SzP0,wN?9܊ L>t l%ft^Ӄ(r@/*jWyKST$-G g?/ BpE7י$-S|bTk4zt]{@ %A>l[U;oڎU^Hڕ"dd܊*l˥1Yf_~/H4 +X7&*A*˃Bd(p8T)1&|1jyC,~~tc#*B@O ~> -;fx4]_Fă_|/9Q2Id!HcD!߮4o{H*BcM's*H/b;ߘM+PdY;|} p6XSh۱ 4(\U۟H" yL"Dv)mRlE4'.܍Ҟ+BzhA*A-G"J $>qqV.|W>N#G_TJЉzFˮn:{pUl!ֵ~Yz+JZq]/qqxPm`ZGVљ]@2iF<3gee0ڑ@ !Ew1$٢]Ygz5eb6)N}q&!B$4ł{(njP(i'n"|u;T=J5 xu7Ю?r){| ѭ GszngYZ  x l*1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyH)1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id530A(1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! =]D?7 {?:fH\vZWY GKh@yFm9-L܎nͱX91jP. \>^DFm t/I^L!4)!9 _o`PUt!JYP?nA4A;)w)1ʀ{n_<װn ѪﰟĘQEY@yEy5nq235.rU/EȮ &-MQi fOK»\G͈l㎮УU0hbU%ZaVO{ΘeT%bb>6\ԴCb3baxL=+bv-ƪ*2Ȥonֿ1Ӵe0i JsoVQ\ǷİWС_cB -JxDf]]d v]qra#CyU0mќ\^D+o m;<^?ՠ^F~V }&ҵm.r=M5`zt~^5` B-vAr/3EL}8ɮRB} wr!CX1OD%s}~$ެݕf|]}XiyyfƹO`Wڤ F\wC)w_$y{󔆐h<2bq/F\q+'}Xx9JL3e&se1ZLVnegl $< A`5Aү,oCt0[O5ؓE0W7<7+I9oCj-š"5dOsc=)/Sy7h$JhB[d2$̀zGԮ"tՙZ(,^.h. ŴF9vK?L?qj<:-'g$uŲFF2*.G7Ml.Ù{~A@/zFntZp C$Eq,,&o`dWO' Bn֗bLD-I@#{|Wh͹eXY~ _`<^GJTթl$-Ӈ ni-v* /8 n~,IU>hVDjUk`fw*WNQ+NOŸ{kXB\'$U.XhOi"9W_zm)8\fAwjzO4'=+`1wɘc |e1zL;5u5F-"_⫽LϪ'b'3 ˜ԏ%!R;*0qQK=a_<5tӓ&~@W 댝 :'pd.s %@~.{ʙNyhO}2]&.%#%i6@\1̾λZK]F33F>RΨ!AjrN(Ro-B+yF+ RTks&kr!{q쓮Nf$? ]=iP=Dܨ*,IsA2՞alg2+PɃlivݹ}ZR0}tRxdyI%PccfGS\L꠷È}^eo1, /ВY2*?y$A$5r&gYڮ|H89q¹|l蚩g9ʄz{i1vpjAKy|ͣ _urnU8BZCMR} W IO>Iqz rOU&?Ɓ^@LFvL(ڌQ4'bJ>M m_Jfqkz,ʋdb&`\:gYZtߒbHӠ3y+Dx}|H?9˅ NN *0ℂ+b21F0y6IʨUZ3uX)I]U>XIX#u P{Qi M!"3[dlLsPU/[y!Άux]FE|[6x2* C>-T`Zn1rB%PN~4wfƛ_С^zTu%(yǹ>]s_82KhQZP,J_QZ?z;!-hэ [{DHzS6V NqW(>?!=}SګUWPzW(. 'PP(I;)޴=ʪ!Dz2M7qB2vc<3ld`. RJN.2NYB?bMm **=n-'Ӏ[.KiTͷ|R뫻@-mqL H NJV)S2 럾` \ x9^ l8>.<3pΰ z#A;s l$Q 䱛H,5.1.pAfg:e-r]=*FQCI=Z!݊׿cèow5 A+}F_jp?t-b(Mb#\RZS"gkt<,iEsbu`cpQ t㣓*p`:sĘ#2=s=7Azk#e)]] )Zt)$1L`1з 7W [,؝4m*ԍ%؉b01z|`!&'*+N]m'Hmf mjVA7qLF7[p:Od:@w5_NMFҌ6iL5䩎GJl,F4 oeVt5xV.*QR T\*ӿk{/Hu,F{; %-TΉPTҨ@A⏢Fr !QX oOPW`R\Ta4gj740w0=.|ozeydSqѦp1峺 0`j:؊j,YSuvV~cGѝO[ZFŒHJ&QוRʡ (L}R2*prfvF= L޼렡徣 j9=7ݸl5BjH$L< 0&T.a\ W4ѽcYOR԰/E>?upz+m2b.K(:O{abyk*NѲo0L !p`eH}jja&'tz $} F }!uCp PN//2H'Ր$ェ@)Tx.{5m۷Jl{X-rjtDx=睽4hIk^PlGoJG/v=z-l)s`Y4f]H9~U`$>3뗰^!o떣DO`ycS&EtL*,]~w&{N75ֱg]9Ǎc*|ZK:_ƻV2}$ 1N?cHÜ soT-=(`(#҆=̴sW4D9[!b'YX Η`nswhنFؖ3ŷy{ejHqΣO X$'V) E芀@Ƙ}B~Bk7Po)ZQ:?l6Fn?K)ve Otʊ7WVY 'ʮרTпMgRsL HbB >胯55_aؑy:{? K^*|\Zw= 1Lʹ]%zdyGm0Q-C|߿!ȢxCR8ӓNl4缜7XS̘qϟl$fh:Fݪ 3W=35)M^QX^Pd5zh.Dbf%FYfAdc KOKLle_Tuˡ#c\zhI;5wP 3 [_ N\7,V穁u F#_-*ĕh{B)/9­Yヶ_֒_|fͣUkn/(/i*sTmcp7ig<`ΓPivͫp'e3lAyƥL))R *׾<-k.ntTK3_gC{Iyu}WMɨpC|7vpu 蜚+ @p{Zc۩2ot V8Džީ {W)҃T,`u9n.6M]z^ ڛ4l\2rh7{Y*$C^[*8ޣtR.5WjI\6ayȂv;4̇(ʖվCi^^J-vKT%z+I^1h5yV$eL06I'!#TU%j}S[ lR.*3}\?I^bI5)iׁO!>鈷e{ud[5iTԤ#Ů{ıT(p 0Xu 10CbhũH{%Ȫ9NvST Vb)7z g,uyJ}0G?հlg3#*f\(^w?溨u^ f%ڲ[>]5!,P>Gt8uPW٤%mA.?Yj>@̀Ŭkp(+Eg}9 a C\O&~a a u̷cKl[c0gKOSko5Y1N0M5ـWzCsAES{,Plz >v;;LR!)T sSyF O:W9EÙBNAcNh86)5FK@c cs s `d{V$ǿG% Z!ѥ[9ۣJ5w#Ǿ~ϷM_r-baY@o+GfQ~]$PtcMZVGV>VCf6Tٞܳ/_ kcp#/fø { `cP=b@ٸBTZe)':z`FwxN M:'lU!p+0zL<D8dUGv0Oi ׊)vK|kp6i=o l^y~^)BLι-d>:j.f{ijlL-a0ߦj]'RM&eoh_BrmVELa]W2 4:s *vtH[O;Wɬ:{]c樠Z/@wb)Ũv=?֏` K5:Γ/4N]`8aƸKu}9)-ٍa#U/Er TЈ'gzqn7x4A3ቹOxRVRYyƲndK8a9zq@y]i_:/a@{(lV@잕"F&$Nz[,{'6*(2nq<BMw:^UXģC9 gxlEBU zZr- UݫX\ {SPgYmLB.`Fi[}uTP1-7$vMҧd랔OL\]txHH& ޺XtWY#gK"\N-[.3ɑcͯf @Kkr*4?jZT*[BR`喝0`fFp_&pFmyN2VU8K>b6I#D }٠})_g T'|;BIh^1(nnoXt{a-`oUmmFE®L[敷sLm PYkk_-KAOk@џ~Mvp>b,3<6ʑN%ŇjKP!C# “IpY- 2HZ32򵒇V8 rX^jms;y)Pkk{A[ ~,7 3=m*Ѯ"TaJk%Dg&2ԞjD,qx N~k-v).1Pׯ I`tqP+JB֎0.b6D+1U|"57td>Pa&4*bG.ucozcJwb2z ԙ S H B :U5GR.w'ׄ:}2gԙ$K1s %pM>_ LA.+lL["&N,}gBB6VM*:ߒ4`'C`^wk>'&b^uz^BX++'չwN漪-<`duEՍDQ辄DJC9,t=jn C%ӈS>eZ:$43le,/9W8Iڥ .-Am@ )S=>Ş {f_u#zT#k1Z-I=/b‚#S_j`ǘDfqϛEЍw8 kε݁/Us's|;' K m[# زhi& mQ盲] zHbh!8"& xVNO 6| ʡ#Vo먆hiݷrfx#[V3 a0?$,meC-P+j0Fk56]BDb1!C̔@1e#{}_6.m"Ɍ9fE)j wظ7 w6.l~Tُ!.ޔS2ixSD ʁ!eTh 2jp9Dv2*qD٦O{2F5vNi!W:1^\Ŝ~1:Pb8=` }uSNaZZ;jO:b]Gk_y#=`h۝<|b#b zn)HXpPtZkrBpDjR-ujh.siCX߆h[0aM4of| -k8˰7qYvWB|yl|YI̻|7ZՊ[,Or?ف9f{~cA^PxBq_EFѬ[:˰Bf׎B*`4[ZX /ձ̣pgdW{ռ :\3s.3+>+\Yu/Id4'jW :JSnS&e<׳ JId FPs5Kp2|zT}4 d'%Y+wXD6K=ra@w|<8\5?V̥ǯչuM G*[=WH|7/ƕ Nne|8BQy!`bT8ui aț6T3-pGcփ ;)@AS׿:`7b6%fgDc>T:1{"sa9$ `R`qX+ (6&W&|XJLĀ~ !qT¾TSLIïM6A7pš1Zu}/Oif3-hb0v|84Zs0Xw4կ̫nxwM6㶍moȕOz| {OҀ>DK+{'4&}Ijo6_C]S+yR9,Mn= E%L%3gzU2ڸ5J0^GIJf3 =nji`|sovXG"1pܡ0\6"5>[a1K(VL/UiOR\~_deŌ왱˓Iqj'*;{6]C WG,DrHuX^F&*٫'(gh̜&uy OSoyZ{c-AV4 OrحR0*]~.<|'EnpkiUfʄ+}\H>nn C(Wi29🿦@<rH|~I.m?ryQ:Cu%n$~ ;QTp`:ֻU=? f.) LM|Ȳ?))TyaU}70'JF%-$_?<Q!rBM &,%ܾc`6'}28?t3[z>2\1聏5xl8e1]x0+JV(^E0AL2t;bKJUnn)Gy6w=>1e&B<ÅBv^>;CYk:el4!7sz Nx=Ƽ5jRhW\'Pм[4{j2rʎR `*&jCj(a]C_~P xjćg v5ofd' B1ɘ~@[-%ڴ'.ړf bFX'`-0x6'Y3:ҫa GY@ssTֿ;{+UF:unC!z0{ Xm̝Qq>nXf-ۺH'Toݤ#Dټz(`eG##{n5m}ra`}3 W÷I-%x[&Lt, 9:i7J)m1<}7c5db.!J!3~y $?fFrӇܫ#K.c3JvZ]M C|xKYW IC}+?b.ό L}؝!:վBx}F⡋:_!0Zo ^ElGݙ憬\5+5! Wb17 }ё,j9Bٝ !yLzNG{tcA3S };,vH+g)߾fof^ 3`k9Π#~~%1]NNUpo7-T@^2ǔ斤`J-{RR-E f R 8vCs 6-Pʛ4Tz(?;0$&c0oMb\3 ]5iwtcvuSzl9R2g1$=C&M^r;GxW>y%́e9d!bQװǮ8Mh(%_4+rR@/fp(x(?$F dtAYb$3spӛу5xl_ҵS9<+7_!EGfQL @Ȕ$gj'DR; Dݞ[b,e?~0-QgQOtU#PsÂigU!rp5*qŠ֧mMc.}_@O.ݾlzHD 'X3;*ЋF~KfmkbptsFG#OG{znCq5h y~ovc@d{n M4- UBa=_qGo٩tPㅢ(PA¡Ն@s ptu*])LpHxS&k6Qf^M<5dQj NpL+#'k/ϕq,o,=$@}-$&oF*w$#gX"*vpidTh@xZoh(Qyhd!o{KUȁ9 biJw)Z;; }DݷRk*3B-vΔbL;L*ъir>ݎ]y9DΦd6^Ik>q0NxrP+*B#}(f>gV9sp}Bfmi4,=Z i5.^!ƠV>]@,RPt4~6)hC{(eheٔ+GRY)yzg ys?1 ջَ$UxB(`18Zx]!Vmɱ'N0x;nzcWJ0O~!]W .*=KS%ÛE~V-[N17_3Tx1@>ӕX˹}h0$]P~lW>bwaL6]-kԩJki⩆ .֌FQ,~G^vFq_824TBZm\6E|FcG_Fc~EX@`tyjIj Fdq?ȚĞb_%s!؂Uv F^XNבkFl!11Xy 2F{㘤Y`Mӊ=3iI֐u*{@"Wc/pwʵr?@i36[.GL1at즿 =ђ@3&i]E:"4OE 1s!^ fH;k#Pb٨yhR2L9X%pfdV'lBNm ,>*06Z-ҊC|34*-[]5V޻X-S3=H2",B{N@C1!d-$[w *|L7"x= \Qj ,¸X%X{;Nx'놨&7a#=9̤>xVTz#bq <%Wڊ4'k"c7FOϏWK0Ԗ7и^@xC^i"%V+\:<Ļ/[apVܯWwΎ?j6`-< 5Bbs=[ Ġ@ک7 iQw)ቪ-K﨤 ՘ܘPRkibPӾүsŒfƫ8>aX7|!tJ:yWQj{px9( N)2}5;B鷦Ԇݧwհ{O+ hҌ_P%]AxYf#><6jZM.G'/>sc9}5 hFzϷv7\==!PkqEEb ڧ͝ǜѤ=iܛgdKd5L(hyzgxJi}qu`w,~x4nWلj0&RDIϢ8I#ndypn?3=R B6@%?rjD6m"n* AJ8LVߩH6Ǹ( RBˌh[$[fh,w"p84CGsWg:JcydurWT "txn"ǧ|yeZtIr{},W-ѐK5`@!AٰirQ#uG& uLIJNӔV~ E쮄\йd]'{1hgՃEb&cbLr)~(:!Is&:=kRjTFP;@Y6NÝIMũ.]@!b1u\FEM=HvJ|Ľ4Z ?Vtކ0Yp}<@]ƶLQ_PY+_MLޥ< ^n-X* /6}>0Wf~\ ZdbЃԏp#u[G#7&ȴ՞9oQ8SV71؞ FeBN1O:;rԁ+Epv7{ u!XgX^x h6 Tq!eߵaJNcdJfViCT픂oe¨3o&LcM$MU,As?  蝫qJ4LF*0Z {wԤϘnSe|1f~$nǯk86{Q`|h?͊}mF8.,Z w $E7%Q`ba$`ɸ(Ə;@Wq&ѹu1{O7&Fxc򅧮a!ѡY8,p_]?+h[e9O`m?2۽dʦ"a R\  yY񦕀i!g"} *f_o%i𤪓-u ^te5Gp4:T76kz-B^碱$hh fR6AOE`_`ۂWr)ɦ @=+"! ]f-_~m٤)"Nmic[ȼ JQI{$G'D]ttٺ, 9'/[hO_ΡE $A>ax3DN\l+K1V2u3g}}}%2>&?Yd@巓ORB]=<+ Ob)*gK i]Łt{44_ +#m6Fo)"("ӪI_joyMas-r ml6frc SՓ3 }0r}^= ԚbU35[^9nbwKKw\ 'иRYh!E'zZKPLZv/r?T){nWHFnzc?[,utRBL8U%!et创ugQ!5sə`[3NN@֜5eC \B\ ܉?) {'_Sy4Gر2F@v[ɛl9\e* tR U2q,OJH[qxvthZ^Tm(^;*/[tӂs"V_RfI9V%ڒܒ:>Xn,bէ-_͊@YB~ U*zI+oS՘@ hSΚt:>kcEnd3#B+ʿܶoTW1CLȥjЀڿm z5N^dp"rdwKs#̬U>w>g$HOWPFUzz<@H c-D+46rlM.< V(9rFCi>QZfM.ly'/6!Z+ Cx?2;~oR$zL.PVxs"1۝:8!,M}|mFI3nƂll5xWOP" $FsM!p A#Ѻ@8\k]esiOjh+退= 7I3k~,1X#z+|&xڹH ϕq8u`Ud}5_\ wVۭ5OXErjŹaͩΚ~inuZ!-!^ #͗*qeׯ;/noSKBKp:jw|q8+v;W3AE5 X JY.I|gXQqz?lbJksw 2 Ӻz'ϼw`]p"е;3̺qʝ)"v4°^*,bP{K}"գ7ġnaRv'|ZʫG\оۘQ6^($=-IND#脝Y W7 j4βgI(I[ϣwc͏W/< __ ]5\['O*'l>H^ul Y4zҞ=,'Ԫ]رf)۴~WQ|Pv?3Ѻ(u_}8Uz)0u+ :9#O+ⓤ/C}+g.@}P%s+KV T'kG1QX([XuEM]zMmh]tfwJwR4PYIp#Rc~~i~člV.R;GP%ǩ@y/&ѱ+8J;5c)oˠA'_>CAH5.h Sd#{!UhG_zIb4l{5ulQwd~4 Mt1"hqپn_xwRcIpFCf3H|fH Rf(޾̓>lR$}]inQ Иxvͮ` Pfݺ9ȇ ҷ{RzCm@`5Ĩ\JKcp̨fgq_I)wܭmw\LÃ/,gs9:fi{sNH4+@l1], #nOЉv&ffP0AK]G O][F˯pF /v괤:E j@x(0V]4$^3ڗ͕H] A:8%Hp?3SF[@th=\V‰G]cs/ƗN0L\$5R*F`E#{JQ}>SL՚uaVxsE-?>h9_(tD"N=,ݹHfT@PD_ dm/ՇNy R?zQTWQBd.R$mPLAH`)[g컜QC0(Yy#)H~wE7av P^K͹"UP!ZK3 Sr W&˿.}6N;w =Ӟ$ZyL /_0]naؖ &zAѷ$㛋bkǴslZ&ϩIL>n{a"81M]Ӫ+YNΝ™0)@H{`) M[(䇧74ԇ*^\ >K#:_ S܂gbȁ2%Uy5f],q a~ 8OU hhG\:fRYd2մ*Gd4Ф@g~K߸~X*wr8d$cu vuS4)oMؘr ~P[4[Lv_6N˓,h_3L.,dLǠKw-Z[RH9`$S uC79|N6m+|3Y͓>>ԬFDCFJX\Q-JtL,({ һ,m[{puī 0#N'ҕZfy^ E\%*U}73u[\E&_cyE?"q"x<4`,ݘdCEe*$.C&jfnv'õ84h|PW*>Vpg%#GlLZ%OO`Z~_%ݨ˶'(/QAa^b9t;]M+i0:kCP"+8\yzm$]7RߋiZaUIRh0 DTcxvfL?NŸ$q0x|f4«@2#3C@jD;3ݡRCt͜ &*!Ca5 g-8?SWw{i6um㡒?sB+û6SH1tYfJ=.9㬯yȓ6xdX.=|gzL2wT4wR]ELQ: @8ˆ]b72 $y!Õf(SAZZЪAO_ C~*Ќ`:#&e pU6 DkƵzS8d6+'?c GD۵;ϒDtMcQ~!F{FU.R9٦Q>LjOZ疘6+ȯjJ`g=-8E!ڞ7#݉ 'EWg-EV=a(ғQ+hQRgĐQ\|h Op:cĶL%o?2J0-m68mmV0 ,tU^b;\qK뤄!#C,(QE?lِUl_ u)wwIpAOaȁ,GU{Iοұ&=k㡜7dyf[qK_ns/"Z[Ƿɉv6WUz#ѡ-$*LO) m(Z<Ӭ<5$"!qvҩ#eJ87|2"5`TQP7:&!$5RYFQE _(ڕUMYU҉r s[ҊѷͰʲRY gYZ ..6+ 1E# tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! IX1]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tiܡ] FHhn+W) ˁVA}l Tuc{~H/ʳk%zgEG-T"a{<{.ܣ# ^;G3Jz5?AG8@?l!ƢobѲ#-`/ w.mpP^S<|=#dDԚx6}*h-1*ڮrWj֬bEjCF=beE&^D,% l aGSڀGrΐtʴ?VK&kPtH\`u*Rվ{yM,Ճ=o_e ],*ʬUV@_M H꺈̬ݚ21E _(6"MꠏRߕ"E!:I$\ BA\:p@n Oń>4ˑnzEb_>JH m'bn;j-D8TL᥇V0&VʈWʵ(I{B5CM0tGAL}!M+fAg3bD̽ Ӎ$+[+WDO&2psp8o##|nOЈ{HY:3h>GC%AFE=瘠fo>rB=G]I~OjY&P7qT':9J&Wel IG. "P&UUXLvb[ z! %e;|gH{?U:=OWEV4xZ!<*>үh-Gɯ*Hg>i6YgM~o ^cR/-fF㗄V8%lrcլBUUyEbMY}.)&6)g`Y$եHb}h!7wP.~?:}@V ^|Ҝ cv.1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyM-1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id540K,1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\'U۱B'2ጩ?bjXb@%ic c>g=  42df|Z﹔,QtikKXO8lq"!&yyY?A t{$p݉M g A :UWsWXΤHaHm@g+DzsN&*N)ڰƛKg|>0 ո;'b naߑ:7;P ;m[;P0a.(KO)7'%4뉝>z)X_{"^Uʜ=ɓ<#~ ͍ǮL=1A_o7eYu 7@ËhX71_hr0QqB$V\gcS!bI0LM% 8?#Wrʗ7R:U8uOm#Wّb.gA;,jT"ǕRk@2#'(W wb okݙJ#WB>pPufuaGX6Jƍ0ѥ2.>80LPXj-Fǿ[JI{Ѣ3Yq8A'jOηa:1Xk QDA[$CL."JW&I:&Wi(X0uѝ!6a jPxNkKwssr&V`ƾ@YdY ؜2>Hx ֘U8}E۟^PzY6sBFYYq©D~ ~I2Ć嘡sn5-=nuBNќhQEb4'SVIiМ${Bao@*Ifs0?$MUĎg+A!q5P@l0-bڙ¶6pi0mJ.U/Ccih؊W:N[.Ά`nR Y.c߮Fo]S0!W9 GL`)@>iF7r>3]O̷Jہgk26okB(iN-pE~Q|# &7n\K|?Q\ Ӽ&VMji=p=@ͽHگQ^gVB,C:O*%f3Fe,LD!9=䰏Q7m\'_7 ߕm}$?X)* hk*ى"af~ٲX2a@h ;ruHBG$\;?OioN2L#c?R˝]H~ M*gN$$3U*I143WK鋥@mbG*]Ľǽc=x[żA]^ޗSb:xT ]y#$!^6b[kd[6T RY+5mf oU.;'٨cBض_+{܏Hp/l-[\^M6PKѡbOI΂>)qj@ 9#⠭6pHG W?Ղp|*c^gح6~H5r=~'9![Udj,pyF4nxy63-k%->^5W)sM]P?.s,ىrPk0aڔDfU Ԛkb+4]`Ptއ*+9&̧^ 5S[㴻v)tB&y$V/(Y;r8kcG5(ɣ75"6.fm_r>h=8&F&,p\0VE6.aIH'"phAF+WgYZ   r/1O# dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! j]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBjH?kšuSP ڲYQ[D^XE_F ^hC썝ѹe 4ggSJ|PIr;՝˷`ݎKp 0bA#:gT\CBZE ظiphx8 qeUP)ϒj.˵mh#k?-y3j8,=H:A͟ls@M#@%q͸K:w]4~#\ɝ۶];iYݣ^?i]IF"3`"h|%SRh"M6?Z1&^$wD1;&a ܊I ġ=TWbi*v3D7Y*Ͽ6BpWfgU=CBl=`0WTP UN(&!ž@ ]ukc_ *Igb-|ٽ5ʽÊX0giBf/tmLwT$f=jE?KnL{L,9Y5t7shF+J~dՒq2 DfnzlW]6RӢ[AGi5WʪÇ h'_эv;`CDߐ(ֶ*$I(MZbЋ`GGJqXZQVZ~%}Cζ\MSO$`?`_ ݀ZrG8di T'";9$nV3vyh2\6X $I'O@y2܋?9/VG Ե=a< OAڅe[Vokmn:Ŵ]c]wmN?h|w:Y<;\Ub2}K˟>S,;S:{hf tkJ| .nifC|.ޔdPb*6| Mq-ƕ}z3t!1x Lb2V_>>%1Q+H,֢GFVVvx2p罧J]T0*h1Vu)ktyV 0cAo82.ݽ}!t 7B1xûGG^\t i9wn0YE=]fw![ׇ)>*e%j>??o#uu%ʟ/kN6/t7E0oo=|5%[&Ȓf?M%PbǛ^*h8~k+L -ׯ`-0ap{b>#NKlj>p,^h:z"ܡ.'%[a垨u A{NOQh)3<_LXgO(%S\Shĝ|GTC-O#ȌHy|쌐_go52[A%䥐5\F$UʞNq0!o _Y,ȂOO*hm;NX@o).K65Fk"]@vyA+%wrEVNp64𤵏mBN8 x&IaS2u'Z;գ8I"A 4|в:.$sY5Z %Y5]3;ƾ s]PCJuK #u))vjx= K2ݰ( ?t|px%tN6ehO*o"O܀`8 i4-,@* A˳ t,h}jXm7/(N%ީb[O2n4n{ `Yٲ:.|d.f4@Dhъ׻x9U~B̗Lp Jq_.5@6#tz޲%«}֟T<7.Ep8 nU*f_<'L1Uo@߷Ztw^ r8< reQcH wW78\3YƆh'@ϟf>'k^BN&8\Žǫ\=Yjf ml?ؘëQ^MCx|X p7 a򱟸+LVCUkhdԯ!xY&PU Mk+3 ZAħWE^D}N'izYZ^Lç3QzFRhyH.O![1 (+]:@2±J8 NjlݬߥXFq".nr| v=з{"/>DS,&RS̢v9G|ځP*?ق&HeūKY:w[ѪsRIL4jbX mD9H~a^VnS $f9RD! (IɵuEI.$AM>N F_UP US,4$Z2uw` ?ը,k۵JQ h!ZҼ&:V7~yڌuvy~4 OY(yQ E]5K-zA~/X`}ӀNӄ[*$5RҰIZ{.u]ANή]o#x\x0e5Dɉ>>:m,mz OI-O%vpX9U Pe6\PL 9fN_HעPW#}t&A 4@9ݫy4_%wަ'!ߖ-ɱZD+IgYZ   t21S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO11S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id520$01O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\o!Rk;{_ 9QS(ݚѻ.*noރC X@H YawpF$I|hJQA{0ly)rl3ݨ**rQw,+1VT`qE=ȌD &!|ҁm'~ȝy:Fvӵl-JL>Zsz|NJ!|=P5`~>;Vy~jT ǚt+ݪǽp*8ڤvV9B1{g#VOPEkbvX θwbt)wIIEFN*83By92\:k[II`I'g8?HW ]t 6ʼeph)FoW^YEJU~ :>W%T `61[JN ]jXV=NdNyF}i<ʷBo%EͶݬ$>r+"]qQǯӼ`N&sq0(.P {h}ewەQL6R(NA@M<iIFӮ[h m"㈁ɪ./[R|g9! D䟗?FG`?ꇟgYZ ]-" vȵÄs=uf\;Pvzwdʊ +r Xd3 FU@r1eCx[wUndyޟ-#K+'Pk ]8C#v( "5 h!d2e`%xwVБP% ::VOIilzS Jkt]/`zioMUF`fa!8iH . ŢEy 4<9U/R&cfɸ fܖLŔYZsm֐ĉRw}lV'FyދW_$mq!mjУR3+.P1"](Snh ~M&L9.M2i[ n=u=EY):#S1C@=ęhM`5d 2|wC,,,z7J!,\MZ)dsG0' 7BOn-C 5 %#JBݼf\'-*Iʁp5C Φ {zA] BB':oSg&7w5{}b XujEhIOj/1䠦\P4C$J42MMJI( f+s*eex" `."@cQ-'q o^aV&'.a\;iz|=.V3lDtvSp<Ìn!BnK"IL*0jzs:V׮ksk(z!Fdk-5*DmS Gs aE=o^Ϩܮ]D`JWE IDmLR(QgbyHM9e&L.$*qQxfXtaވ5-p2O ȡ^ΜSeEk$JKfW㿽}i6>%'ѫmC* V~A~3Y[Fx@Prd֌ (O YY; ]6uчLy2R~\,4cB ı]z0!:E c+I9`xfS"2ݺp3!Ryr>{ X/m>au Tc츯4sWrgXX^,`<ƺgNxG,; LYaHw~f9DŽ"_KΥpІ}w(1x(TK0(yt֦R5Yo3 a*-ĤuU5w1PxJ : EB!2U5IjUۑ|ySPL8G@[Nz#L!z=)Vnړ,2F3w1AzN;Y XM_8Moi'1xD?eݗXp=w"g͉D Г쎠a).Gjz'#Y$m]12̺>Sj ~T澉X<#V9=%R:i#3ykh,; Zgo.4]W` U7LVhHWfEԕ(2{G58! 9PJ1/Ԃ5;~ f%jml~q;98xxĹU{֢PGkC5gFn_4˅T¤ZjF&KW<ۂl4bOs4MTH8͛xul5XDJ^lԶ, 45  ?vb.qZrx?.ܱ(aqU4Wu]sSpt%tABW7%~OMH)r9IZNC3 ye{bMxрޅC8Rg>ݟ-75Y^7&.<2o~V)bBn!Q<2Sw]zFWWO43ZVp=̑D`ZgLx 7sA‹x_1MV@A!6OMak )qgK俞]1T52et8=B[o%tdCVk ȫ+}]7v;Dst"װ_T}:?P 6է_K>Sk(v J^z[-$:1Gs褋PAx;-l o'=%BZ:k\_{pLLP7],2B%jlaHy'Bsm3 R}Q=q0Ć!vcw{THelp6S%>yq:k+rStk0Fs7x*n~$[՚r\. 7!daa!4iX 0'#x.Q`:y*E+ƏN'`AyT[qlcU3Ǔ)FI͘k$G#yC,)䝞5Y9iv# M,K^DBH0 ۱σ47Tυ2d(a\s7Y!*J w/>:KÀT!׬DD`1Vo/jCVe:k9,Rs‚eY%қ^t/==cs !؁"0|3?=$,mhS=Sn1}/Pc5iqZ  ڻ`u?:}gYZ UU 31S# +Z (+^xΥU=&ջv]% $N5|ÛZ]thHƞ K IG[$gz6J$Yx@עAƠAM4)*1zeEǧIRc4I\e6gxBmg>1d$2z:R_>blruOWx{[0sbo̚?'3Gm&#CMP)5;ھ?+T $Rj].w6CA,}M+%['x]XS+25Y3YY \&$W̴ePx b^aL )K[@ZmL#m _1]160Va;Ḫ"Ty3! /R.taOScX_^Hy I!Dr3תhؚ1a4oz AgOݶ)tkͣ&V&ǝNM/U9X֫҂Mb/_* = \-C :j;Xb2yr]v%mDVS0doRl`"ѩCrmdۗoPtT[ʉ`&׸VyYev M`C~9Q5< 9Ӈ2(QfuXt`G*&@1p3O1'Z5L?܁t,(!2BjIl|!80SSf!b Qz)dJ 8KB 1QYL \L_0K@`(*fOqPjZtӯ3`!*Md=,oux"%qI5t\;cGP5Am6UP{  H T!t1w-> /ל87Kв6J0zB)^z}8U?R cw h C6>6A>S[ס>dךC0d`"":-~fX@P%4{4z7((# ַZN}">{^v')hx2 f0`ڭdCFV8^n@dg(ِawTC|"X7iA](:v*5X 5V(2b k+U(>ȣ#Vm0>GltG=x̴Ymn:mDC Wv[Czq~ShG'P*:fA'U{g?~}郕ɋiiO&DT&TgGv2oJJ=VĂ&Hd&3i^dQVOG Xȿ讣l؄0r q7dzOLד|ee`-qHeY)&ڧB 'QBO|0ׯJzqW{. hc:˩}D T{ .I}!8|~ &dt<"{Aҵm9ߥw]`7im:lK=&;g粰(9{(i$7@ 䰂ngS}fh[GXcJɃ8kvmn "g3j?azLP/>m)s>}4!t18R)*N]7ʼndG,a6`8e-0NaC̉2o-O=+"8aѴM#2fei< ]Y幬P6 lj^0ޭI9`m.)Ƴ\6=~ȍ +cH'ɺ#!޳|zQh0c1:;O^,G;T/w(=ԥ(Oe~(6͋FU Kv6E{:XY}@ō>tկ.)4%4s?uvVgۮΞ|wf\n4D:[ւjBvsvQmoC"W>;_*pk rlT7`U,Zs1&(ws%aaE}aBwʗ@GpY\GpUa^-bLٖb9?2cVYI}Z\򼿇KeHϹ 6 vUU13HvPE=+sgZ_Ԥ6蹡m E0$r'8W⟨s:濽hmngΏM/߅9p$HN sJ߲I0LV"F1KTO(FZv(̽AUYz:ҥs6y,rݚOL^)U"tM>iq_Do`|T(DD_ %; wF|l'x'MH9 uu HZQLtZ{!3FV9:bL*|1t\5^ܑ&C5tP{!Q]ѕ=b'O;g."OKna>~i |EWt [@;r T]^8r  P`P]JdxűJ&Wjde'9" -܌flP*XE`n\˨W?vέ:g~.z?>ۃ@;ӤjB_aت4n5Z\K&R8mfT_C ^aD9 "Ξl4B ќ;ʭG^SL'1X"|S[lsQxse\ÐA  ,`6 3|ƑHO}~q[v !Po4srXᕢ ح]gLŔ7߰;4gd&  C b61A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF51A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id516:41S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! .]D?7 {?:fH\8gPYh=nz +b8wIx[n:+Ԗ6hqmJE($-G˾,sxh'v|e{r\;[m'4U }s"xrBKZJ $1OkWs-2`ʜڹݔT$-c5@*w` vt0 KQ֮teqd{+牸@Lk"{̥aex\ቅKc̀cZ=Aޏ5Q8$B:LBC ;CmV\EÕ #NIޞ^Nm(0^N!Zg+GlPanr>8g#v6-ʫSiz-D[mTuipїNk*pZ\2IdXGdХXzL'stvKCT"qںTl䖕([v2u,ʢι(u <#P. 1>j*GC҇#8RM_F.&"-?  ? ?wA4.2˻/JbY lR ;U(Dڨ)Z խ Nɭ)2x.xmڧ{8mka=< "_4JǏ'`L_[|K~J0j y-IX^K7.oB}̚®l;JcQ( VBO; qHsg%a'>8^x:.ؠ>3 , 1~gv om1ۯYA{ Ѡ|c4ߡX&}+ 5?bpU8l#(7a}qjPw 3=}0unYrp.]Ֆ pW[dCut :O[:Epk{4y5OT"BHin M,&M^ay>tm:;H|n׸cQBc!*T莉] 0A"᠋"u aݾAG{ܮTfSxeb>+YsdXC`G>2Ư g3Ӿ`0JAbIl7:gs+ux֕1Љ` pއg6] jK[G2>LGvu  [q㋆\b^رfϨiem J5VW]lFg*/3xy2C?9Q0ݓ=fD`EԄ7xsfQS 'O='*3IaNāXL>16,^`t,o8YJa.➔SQ*X O;4MyUu3 h߰ꔴ\A]$$_3:U(byu߮E ]R&krҫ3Y4rlP\1J\W"هnhw 𱑷㘏2ԖLֶ*>wq`hc u-?xI[<ȤR>l'9hU)z;v) ^a~T/bS)}Xz˕)tGMxx~_i8 ?_cc%_ӶoHke?*? 5N4l Rl.__&>U]~8,AnLA p  hG{{d$rhD.Lg&D}e 0eZ"~ V 5 zwYaKBWϲNUkvylVa6L$r;!ʓ57:{X]6HbBg|=Qz, h~.K@_X!Aq?;ʅEX}or#VM,e[%NXqtX˦Ko7ks$Q>l?X͹ W(99BznT9nvl1{-U ?bvP\Zis:k+d%0|tm]ˏqh6I5>2 rG|v~`.f?ț[%&X&oefzOC6X>aoE6cp۪)$5隝1)i_8(DeDbK)?'LV'woGfӻDԬŽg#v.RX@ӅSKSֿ&8ܹ^Η~#W z`(?4~DB]r.Έ಄L]'Ѽ;،fq]萝q&70v"JZ|MQ v0NՆjK'bǓ#20=.$ 2>,ޭ:}P=d+g),7DPmU~ޯCrg+_[2 +H}fD+W󲇭7xaISTZ2P3 3{?12{&n^^#uLËBb O3yUWbNQl ļ`5RC%(1+ljQp`w$"F1ׂ7w8Wv_jnv+B!9i|^KG o8\&KWn\X)װaibHũ]%+,'?[ PU4L‘tUMBvӟ 2lT\pauҔ} uUN@\P)Hvt.{*SH ąH C6o E(l5G/%pȪh*sc٤oO.iWmPYV*]^55OxN %nXQl$!Ua4SA+aC<I#n5&uOz7?#Jy<8"+'n{L vahHbNs|=t>ȭd,uv&LўT]U:) o"+Gro  d~tgH-]54d΄< 06dYne[(|-&GC{@Lp]qE2lsgw~Qr~PE[H<2oo ]8J֡TwDa#`Ѷ^K':;6/$rWEm\/J|T@70(q?\<xvJCyld#R Uo@l`]p`a*[HLlԗkOY@ *F MMLE40+ )7a]gG HTgEi^E:`cp[ Gj2PЪ+6* (ľ1>!\roSxOSeMm=Vъ#婓F1 pn JRuEz*7|2ۅRPAqKsM8]KԝDJRUO QF5OPQ8L7wQ,rxtM*Bh.a8ߘT,􅷳U_xQby{V\Qd|u 9޲os`$:; ]gYZ c71A# THOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&d]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o S3^1Ǣi1H~Ϲ rQBZf0s\wt n)#wcv϶}^\LlX&^/h&þsCj|$qȧ76[ @g<·^SP_@:ؾ #~ioCprnn_$~бTˇ9&f'pm7E-*ἉMU<ϝ"v( &b@dˆAsKIY/!]yz _NJ$ְy>ž؏Uq5ܐHE*Q$?(^*i<ψkzV$3՘Y (3ǚ w~o?bN^M QKa *+U\z`Bۮ`VZ2T !bz%#DwA1됰"+l\wҙ򇈎2k[cۇfmtaҽJN#%ʏ0 @eFNX(8-:C0at>8qܸzW{n y"Eu`)߃b~ϕGudb^PeB7B)]$(GZyO['9f3|[ͽĶ'{vj 3F;\>kd]KB}A.a:DyG4) O:F~49ljOܞ;RJrh٨ [-}yӕt T!Չ^lp]Mm8IU&ļoV{7*ipwÚ0)'9 sOW6v"1fH@"rQ1[C;faHK0 lP6*\PMaX3;pI@-m,jR: n 1IP]W$~K¼A__7LJ54]fAYg3>U^.?"y~SDEUǴ$"{&!~Q&[@Ho.v[ .RK4T^x%MCk:  "~̗ìp ծJ\rMxק|$Ð؆JE$7r6m9.]%Ҕz &JXHoݥ1׻0`3Zz5j[ O"e&ž.FǕ:d5)IFcB7Xr/vanK"!sT.T ur&̨K΀j:xʠJuhy zh?XPGR )(SJO Hߥ eww,shޖpuT,'b8+½2rC[M0[zFQ-Zs[J7k°TVV)l2U*mF[&u"LwlPfb:y9uNeyuR$f6ڨ 7;$!,3="lnb`k -7r 63!8% p2 ksb}\'aƪŽs2W6w@eMpgoNo?rK뺑w+heP/:LpYɔ,oC+,aFzf=T w5xhG8K?!%! Lm\~~h0'sH2DEXZװV$t@*4͜ţ-Coq~wd 6_$oZs-Â%zLtMLOuZ?0<ѱ n6;ߠ 4DnZ4]i)\N.s3mYp ~,7NraLPt{] pHV@bTUU.+7T=~82gs͠v5|z-iUhO{m_5UsY KP5{@DT]{iDKG.CުU`R(T7IwƳ|ωF"bjL_zo!!m`AaB^c&${&8PUh:Do@3cFXɷyX{8GNzӘ9vL%#5Tgaw1dLo_/͖&_t\*8!ТbcoU ;Ec=n ݆vM`"-}PHpO W~+Ldן_?]wJܾJk_A}Hox8쿥72~f>8?ǥyi:m0^6 :"b{u39>_]7. \TpSbKX|qwg 'u ܏nZkhڟؾ ߙf1)  !v>1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM=1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id524@<1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L6]D?7 {?:fH\+[K 3f|dkh*ab د ]<2ofP~|x?aRe>E(Lmn'.ߣ4.~@ пuw1^K ~٢bEB%L.PpY9GE28*sTu:b~D?,U"%;_Mr?2}X v[,,T*O&T5!XDt| YP DJ BK{@ҍPJ/X+jUg?\P˧!,UIMIӀ8ТZlpDu:PBN3x@ύyܷ39Lycw#)uZ t~osj\-0m 涵&[t>?Wn'mQWd'|r\m"KG'`Qݾ 7~g:Q3>* UTǃoR({D5`%5'E%0^hr Ŋ%P6$lW*ڈ #Դ)65y9k?Hv!(*סּ'Qm=b%~񘹕J }c$Ê =ܯRTˊ طHgr8Z~e3[ք;p%~4z[V+nm+t\m.< &rĀs~uM~l\; XrH‰GON0xU1XM74W]$S]K.v:1O!pHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/TLList_Friends.thyM91O-HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/document_id54481A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\7X&%uJߔL~^1crG{' 2S0u'[v^%Kޞ4 _5dhb K*' *2VXy6$`ʇ4_^b 01wyrMpOjmBz6qĂ+׀u/+#ƬEfLKeӣ,Cd-4 _~ om]u~ݡ05Cj5T"4݈TwɌf_%lM-vME\X7ƖVYg4 ۹&P"4Es.ͭhJ'Q 9P1k),+U]δZ|{lA4 ŧ,XJ R`oj>4t`[SlU%W+4rDJpH7`Z_x:wx9.0kZ<˷ZSKUw(BgYZ (z5 ij(G hJ  w k . ^p2 A1 H  |8`Y ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages8=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files6B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id5&'HOL-Corec_ExamplesHOL-Corec_Exam@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupI?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idG=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markupB<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesAB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id@D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup?C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files>I1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id=?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup+>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files*D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id)?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup'<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files&B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id% 'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages$D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup#C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files"I1O-HB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages A1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id 'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex M;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex T1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex )gL j P m ( 7g 7 d  | 6 M EaF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesRD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupQC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/filesPI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_idOB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesN@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupM?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesLE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idKA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesF?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupE>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/filesDD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_idCF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesE>ARND5aӎ4lT!pᎻ(/#%;oQ*);hD9r^ЍKt w/|@Md]7BP*dYM$+!=d.yb]l5%e:NK%cTKնf/+`a淓a|ܴaur=CYr JɿwD4aA!9dXN!1/2*0磢 [^9 _X7nĺ3~:ZIFoaN Cy{?f r߅tz VkIh˝a Cq])f#:jTg6+YCi 't`:zG/RoL`vvt~·4y:`K )\V^<kx. v@_W`ZTMo(#9KZϝgN乢]B乯%ק@3.m_@4R`eRFy߄Һґ~Qk| B# ?Y8bcaVUOaZwD90JP,Üp(RnQ~֥9fYv(L ;RZk;A;beglOKDԠ Qc`i2 @2ym\  ߎ3\/&L?|^nݳg$.8̉,ϑ4{٪OrqPS)7qd!NW}%ĉhVi{Sq|N )jL wڳZh?0i@bjgH|\/Bf Zgֽ#=2֪3pT`mځJ/gym5xlBzTs8W :â9@JeSMM!(4/%;܂tXrj[ @@ʍ* QXb`l-k >uJ="x*/Hǜ;Q1zV^uA /~H\!{ $p}Ĉl 6{(7OH,k,9x)p47?pULyED_8TuI526^۪p喲4(GU-ő6[%CQۺ@R;`ȓhr͂7a(_8%| a印w2;8ڡQj_WgE*sŮ4C(|L.;мu~E Zȿ VӫC~z ޝyO {g UX3tHs[<17e%= 'x>nW`ib~/H i_(!d 3Dq0n@^ES Tk] >5 * Wglڂ僝P ]AjsЅL'PMcuQ bR@dlSH:i{^S:ji1zam~d^ 3x>u+_.| -%ܼFT0 $%k8.%H%ۣ3cHxn&nn@/J 3L\bx۹c8"!+:~2!yVā킚Ed~5z X^uciȝϭ)%c?hڰI~<4*f)gYZ7s+[ɺBT'+>|xuFONv9#0*#@~䤻j8Hs82_n=2Y è#Bªq~|pS2]I y?j,71Nج̆ˤmک?2Ea79F ߰{,##fOuom67u?C}V`?G!w CBtZX-x/@!XQq'ۅDFe?ڞO)L$w۱54*ZWyߤ>ҍl * فҤţt)O8s ٦۩F{>0 [DRv{YTYB`+:sgxix_dUcr"6sz=|[utyUzATLWԇZV!eO`$Mg*S⨴[uaEy蓽ʎuV@dxnTޣ,^KIa!8= i|Y2uvmhi3y&lPIX"CYWP1O)7.!WlRa,mѴoIFpÛv@+Q}B[n vxDf~,*:}"DPͅ=q;{s]VK }~"5 ޼r7b1=1^I!>z-*OXh'gDo}5hWypж 8B*b ÊCHYݳ-"ibyT{1r,‚)j;bĭ8:#>8Oz/?'e+hn"𖧚^p4J*z q`Cf%Ga Jz{C?4פnVruF̬mׯT@ _v*m;*Π5' 6m74|FcHXb%#9yܽ""Ѧ&Fnڡ l}蛹?sFсzISYp4Η_7RuęFc`hrS8W-&rR]=YO'K<ʍQX{cC7kpDtJ w59pˀۑ|UwXm&NsQAkz!35. |mX,1W)j7XN4}b몠KVy}PC{+l\z'd-k?%w+xIR,cIJ@›U7/I&P>*B9UP̶@{']ȡ޴/];?`?c+*d'o/L9?z֑%>#YרVCvD]]Do>&#(TB{V5a#>SCc-R% l M ƌήv=Dm)j[u88}+4DJHX7h)u59>?(tBQi6 QJd43IZAFcwoĮm`,3#ڹf"`8$%qe?za>l|QJ qO~6gW@˟qgV><|Jt * LwcSKAOƩ23Զu"s}M` UB硣kU}1L(<6q&iKswEg 8cr1|kVe7@ :(&H*ZJL/CAob[#$[35?R!r+:u[GZI`;VU+qryeRX&mt]œ<;{б(»\PšPBʶb~c }^c9uv GD't9vGW(:1׭Vk\*qO vB6TkR!@/oFR<6urnPrؐp ŶqXvC^lD?o`B:.2$*-o@*Q2^{Rjz< #Q4)|y>+<'[( w{"߷-?m JT-."F?h >'&Ԥh /V py<D@ .v* |X5K3[}L[)9Hp"0i^m:ݤm5K5jϳL+Uٿn6e^V OE#B,S_\3>j @t_D|]3łi7ёޑ\ZUa @J`k8Ft=,z6C'KBjgsy{b0+DFnchKWRwAE)Bif[U#Bea"l8w1ڱf}{”qFSYssg?ѥ;0r,qi`av%|2DjGAĂ"iN;*`2SR*Yx^t.C". p檮XT1ڣÑЈ+ɲ sDAd9`$*Jlio~w.~rWQ/Ȕa,c!LD4Yį]f%%(4y.K0JaY(.Oc-}l2uw1T佐#p|+Z|nrhwWG. 1F0`Jۃ$^vSnwiD+E>+\=3w隞iIjE830c{O\y1$]XYT0o(3TЛL5' {#^/ ٩ SO7̱gYZhA1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF@1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5366?1O# lHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! $]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-BEfnaZLLrK$[|jh7#眃tJaʦhvi1~#A> ;&6Q+P(b#c BFxUT^ ssvK%E0Sl6Wv'] T'F`W7Oؘ7 ޸`H7l nŸ*Z74kV۫ҵS Z(s6uD50 9m&vz/)S VđFAGŬTjWA-~ ܘa1Dq6on*EϚ5|^bI-`rXs9fy@e`Z(V~6* TICQk=2\ וnjw9}H#.?O(3vgU܍ŒK}2pL. #Kp{Q"5K1P]q~{8Xl}=cZEE鋐wޥ7NkN;ϓj95#㡱tloQrh16IA}VDg?Gڞhm豆bg?} nxmb+gJ|?Q(W2dy+%W18eK+:'J(nNgcTݕ I,8fo}z5pz{AKeK%Zڞ$\symMY3^˂[AMԣ D3J0LueLtuLsK>b04VmΙ0j2,.vВv]cٽ`˛Yu) ץjG9!9sv_gEp +F/2#1pbK_qL?G ${3sVCpr+3Tj]-HkѠԸĹ0RjY%cAyPL_ZދpT4loEo"] $aC92{#ǎ3nkƜQbZdVQ3A%͹X2/WBXCFik 9^B۸:;ot~ۊmeX> tN ۊ_}Asݥh'O!y<W}H*^Lj0p'tkgڵfkoo#H/[03=3red= !tNSS!r/344v&חo[%_Bi,rHRS<7 @$͠:xYnKF!pCP#RG<(Mg$~)|eW;2ٚBl^2fӆn߂]'Xk>G ˿E^/j',LLQ{Hjy8anI{j€:).j)T"~x02vc S^,цTNIk)_7B\9T/4s3szt,XZJ~a/^4vK(-ܬ5ILɦ)FǽEYy_iIK S".*=BN׹)'4a3j IjOMÙ2J>>@~[U$ؙqyaoFnk`εF:x+#3@j B\Q>Cz)[&l[c1/̙52Q'C-MY#4K8Ty*p">Y33lwlZH^˖qH " o7Z$=a4W0howσ&S.?fyD+J Ta}k?LC`E),Vm7/*YM.Q9JEA[Ǥ8E9r?P2'JKt?KqT,2 QM2-g9~"*a_8SR Vȉa-P>Omn[c3~K8E(~WbX3:çۯogjIJ@Wm"*4ډ ]U= Brܔ=en)k' %n{NUKK}WBzm*:(3\`gq t=F(HabGy?ݥ>ߌD%!C9Qth|uPʿUf^}"+8@T0K.U;SDrq.#["'z^-*N-KQ=qXz;>Gҷ @@}W*i&idFqIǷhj3dfS ?DGi& ⲆPaRbq6-yZj;Ee` 6D7Iژ|qZ+,+gӧcb,b=Ʃ-3'TՂEQjid Qm\](c4S V)/zXTeECس=KzY: Cf㾭o#v.c3*foYĩURt[HH~߀MnxRt[o86a, a5y׏Y^(^aS8nk1 f|ǀn ^)w` 8oМ=o˵ ~o̳ɪ=rP%cQqC֯ '5اVL냊gq0 S;@kI"q@? ?~_ڡaIg{9V3Pu,VހOC˝V/&u8…xr Q3lvDShbbV |=}<,3#%Gڵ__`uZzuQ *FUi||wuGҁ1rP$!|#~P{ܷN)K՗*,t05@P!OѢ i>FDFO'+9}NsGXڠ.;,W_X_joCk ¸@&A'$.,rڹ(,{B8 tt8%;AW-^۱l̓a!)r8%Z7Ō|c\MeLUށI70Qq( bq%pC& Kd1 }n(ߓ]0oX*۠wGWT-T/&m(pcJ^uERsjH\7j8:kX)1 V@l#gK[˳o42:6\ F:~pT7b|TEq_ n-6kѨvfx}18T<~u;%ebrg& /fi}JgD81DkxyiEd,VJWbpy :VԏGĎf2 Ly5$v'J;9Zv@&WM( @n;(~E/P)ᄚ 1NOeE[%>SJKAǢkgO= vk;Z؄?Hݸ킊[MVCU8~?'rX*]πMiT*y0U3cKEЋGOv#L껓>6Q9N<$SlX\@i?s?ԴpgzMٖ630znW0 ֳ0\#(KǮW6ʂ$lJ=LU_XĖ6ux6l7Cn?iUa͉߭fC}⇏*WH托ϲ="Yb&1WC&T7(@8~^:Sd6Q~mGOɡc/S_QgƫEBSzy HtI& _&:C ׈IўBS9 TR]{wIf xǩF~S)Br.PPFt2:/H XCěFR"˒ @U7P}.kYU$i`P#;quw&BexA\A֤k8")s1w<_qJ h!v5J2p L>:0p}kruGUg_9l,@phC?O}; .lX"]@O|h@yM6TxPF4 p:ib#W:i-f.~@h"Z[~w?YGmܖ_:z؉$)) S}@c8=D!cU>@Gs8XP]EOޫlL SZQEFG&ks n`*'=Ayy5N\/TA?/t,lG6bd؆c$ve@2nz,*Xknm;6x߭_5&ĹTJCE!䀉b”. d\p~zPф|NO2 #%;(ў~b_3iԏ.kn z|G/}>wiuͅBPV|n,v\! PV:K[ ˋp\HHOjJ: &ȥmuT6a1v6Z){}t+ Q|&h`Es2 n <.7\AΨ5vp2F%QG] h ڣCUo1*e@Ҵ.WNa;&48ۊ…bd:dM|t-G'n.8ULiYn&t*wT:SH;%XN3-(:s,V۝7$M*Tj m{S'hW3ju@&N?4|ѓtu]SCM/yU֙а[=%'Q0V%5gcӞmczo?dhjp >>h?<_JhvDZ*BaC< Z<@B{%;V dIG??9z?G\]6ދ荸pLjHl~9Hcx9ő8 ɷEknb$Gy巰Ya] Vο03zߦ"R<՛8ze D?4pq!xBi)bLSӌc}z62|ZLJ=(`! yujPR&I\LҒ= _º2[Wf/`8κA]e,g 5 ti Q&M2mxvtue90xE-EEcu>xfz\`x&Dd} .HMIxǗJݦcPAo>}O@SÍ# ^12j*d'KB٬_ !Kũbf(1tWur5_97:w 0Tה솟6]ʆo Y068%(9 XOZml-]_p\yMfpI;" t#sn# JV"X7sʃ"WU{<ƒAXY88ByŇ:ysZ<G 0o='̵yM^ˌ{^m/2䠽(\z Qi%FnCC wĔ?GSyMcXX2#9vOkcHU$3XӸw޽=P  |Dlt#"f} ,Sgɤ `%t)\]Vf ] `|Cj/h|7kNmܲsE VR/0`@./',B1 T{Ou9ewH{5 )Z^{:Cw3 bs=JD?ʹڟtkEYqO+>sU3C?.|/t%K%PAنeGC@@"<8`:vgE}-H 'qC^>*Yy9LM ?&)^>`ʕv`N4KdԮӔϜBԑa:L*@[!`Bv$c]'IJ)uv%H{;hRU%dKji P~|*6` JpZ *p|VIHZى@,u%-@xPgeNKڶ,߽$l7?A`P}3:GW Wːekޡk\V!XGo>]QOSǸ #GmR+݃6}X|KTc,4,tݱauן%NF+0RǑb,zl?t'Q *>*Ț~n%&\cM̉$qC7b;:AlWbIŏJLz>۬b5DRf-p.jeG9"2u ׮j6AV! w)Zq}D岿 @%Ew<^.UIA!* m*5< H˄=qf[ٽR2D a܎nIfQ onVg2.Y־<&ri 4A$ DSIAw뭽زj~{E9 (#jZiU8K-'¸Rf4PrU Bp1>p1`:@M'OO#gL0}W7)m^d? 28m6Zx |:()U &Ƙ4<8O& =|d_NBD6g*liG-wdfŖjV;q`58ȺFI 2EU5wcкs/K5G)8XWJ%>]ke1.OWoC,[_2毥u+ELzԩZ_@hZ2l(՞ye:~NbouZ3clߧQCBs;cqW ?c;ên29J['baZO,62˜q,c$O)Rd'9X@w Gin(,bJ%=4ԬRuy-;3ҿ/4+J9+KYQmj) |;)T(cdS[YGtrNG2ZpkNI$*?W֎);=&{#,@ӷL>¹},%|a~ñ1NHުZP ~ /d~@;_vCb|byΔìɏw؎LZ }݄AvyS(h~@- [ϬؐAR~=D93^ ~sW\Sj>ml~Ʌ"ZM$ʤçm*NU-vI]r] ً~0/qLX,Ksc:awC;-X=[{O[r_P@5\@@Z] xFںԛ26=k؅T`s%[S!Y"Ϡ(积}^˨TOa&7]>eoظ.9Xe.Fǵ: "TaૻL< S|FՔ `]BF #ĕл4zpZ[`CVW{+ `DI@8Q۽iBfS*U=GyHQ#ktm<0cC10-|KK.:` 'HuF"IFf~jW,:-Hͥa:LvyAd]*ژpfgs&6nO+ */wn=ŁP$lOB^H[hs MC4p߱-U<XAm\3kl}s-6h` @-AR&ٿF }wZBĝA(u`<&b7&gJWGZ մ t eo Ɋ6"=嚭\6%CBsf0x#Qq؜$ f8~Q"Umu.Eabb4 6aӘzaU"9iq>. S[je6P. 2И&-q7T3Mft=%Π-rE('"k}xE39d3Y\)q`"0gĄ!Pg~rv G4̑T Q@0GirUuj4PEnҖйNNYz0Fua*KeBXe`QF["\vtЦ"%m?Y!i,+5nXD ╰c+2&4Q䯏zQQo 뷗m+|nV޹y4=G%~|~Vk`ŵ{.b|#& t%&=ru%ZQSG X|ņZHKe#^7lbyfl%.kjۜTB&1S)jQUhXl~3޸DY.e- cyס4D Z(vЦ*%PKN#:A=79NɋBaWCg4 DlD{HA{ڔUnA%rm:-\* /j*=j] UI:➙OWt;ϛuOV r˜'%DP* C`ԝߵk5D_i$0!9MǪ%EeNkKMr ƻE>7@&×?8[U  ([x<҅P@^)b[s7E:wHl%.1Tw6"e/'&0iMTh ()Uk[tŔ8cQ$Lf8U6& xn[~xDGF˦BHHl8]}hd}tJPt_iԱ3[}VXE%#wY(9^Jc<L)l!67D= |:3quEGxZmOŜZHTTG/llFu)6iY H9mL*ƋqZB(lnwx)%Q}Cu+6cu#Å5%1mD>6Q@Fgt?gDžglW]ⱉ <7g*Oq=u Cg5و^eB 6%uy!-[*I"^[BAcSԑFbJzAZ~U_;а̜9_g?{ >~K'&AZV@EҒ#0O F:Ăe:s7hW/`¤~* aԋ.Nx^H7 QUD-fSx O=.iVYw~4Flkp3`YG0 L݃^h2lTxȃYg(X;"ܰHOʘrK(Ve|e_p \ⶀ̓(AK2V3;!Ly!苩j4Չz\K_wi`Fد #d[; jEAn.WjS\*cI "yNfB-d+¼ٗx=8xR=o '(Q;X@P%Jmxf"t2}Q48b~,oq;d\ߥHj)ýRoTBvܟL##'*~(]Fou,HpHdUTI0B|ˁP+ "+ն=^r`; ?nz'F!y'|g>"raD nDuOa_eYѢ"D~Et*\ZN C3O;׈9N.NX6ZI)8hVk.,Ƿ'؜RrK U>~]3ߪ~ N |+ܯJƲ#,kRwcAB[?&]0)7'-Ch:Zl~(T76Ԁ2rz BN9S 0ۢ>iAnd3<jd" ZS._<"~aghVxm8O7ˠ u9 hSwT3豲qѣ;05<5. ,ʆyTޘ}2 iD4ʪ\b~≟iJyHkb1 \<6Xw|ȴ=5T!%̟^mc@1NKe× o jxR:]OWMQ Y jл<29傚IծB.%EO U+G=d'f/ML= &~(UxۋoMI .kSMpćd7>hsM |9| rNJijϖY [M7.:=KBMN-}:)]v|KS_XostaW(M u#rXTRekűh\;&HFz$޾_N+k @!pN߱ExM>mYԂa> d#,o5x|t-Z$!VhB-XYl(?qk?*:x;=oFȍ0 ^W[*E~:NpHnZ \{>ag;O.x~0>U m1 v8%@SzaAsW*B}Ƃ 5ZCJz Sɭ'EqkOUA.Pk#Hk s+@_n% R':& ƛγsL lia~8#qbbpC:u@%cX_gF=}R4E0lU[+^]U^ }ȣfn}c(H},p|* ELB+j?G{^uRȋD3SNaH2UsB"dg3S Av{F އAa|nStzj0h+ (z]L 6B&K=T6QHp+WK'ڨm t nWHL'.b{2Dsh[k\իg$9ML v5\M69- |>05y^M 5#Hp*.db*M!V5t2(,q$*s2β ,O,U\-QoP:AVxCNX}(6r9XC/|I% fx"t,DZ^/߈n6"((c.4w[Byy(42w[Fh+zƍ=6-@CI,8}i Y/޸'/|47>Fjb +h<׆Y;ӌ9"]c.Q%fh=BZ&' D12z1[+Toeqҫ7\ =h2xG1ۇz}aL %*uJ7.^*ObERY')u܀v):WN]Y9-Ã?퍇YPbU[=(/ֶ_Pբ(Z ӑ) ja>f!1uH՛uVH3Nh//ϋ>mErߡ,fڕ vD0iŎ.;abӟV`Bz/:KI-ER'(| Sȋ ^`K]mJʈ=̋&U8ChI1c̢ʢ'-Rח\Q,g!`U&t`Sr.2B۔-6J.V@`7mӀ۠jVOVM3;/q]n5rȽZ-殖>k< /JcMLAO M3~5 q5-NG_Zr.ͺe/zpT8+H{RrA|TfnTG eJQ2xBMxWd9{P)Je7TLNZ%fPw,17C ~#)یueC Ts?ddHǩ6XjyR{qOc ,ʒhCѓ:bv>׆.{Og ?*ՒX36vjhϸoıQLבg%Y!jQZo+憊̘+aD@+4tE*re\!Vb'ˎ_ܜe١I@ְ:vod r S"\:}rPky8 Hy>m/|>MMI;Pa&fXt_ٰM8vf#V շ[n`CI-_|NCF^7cYz+ !USKj[\Ϯ&G]f(ϱ<%G`w}6ӈDe%y@r;e5#3ѹiÍpQo~GL-sSs*'+w6+;Q*+·T6|GKjGE!OijAj!r}໧c}e<ڂD- d (%nٶq 6nH1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIG1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id5287F1E' tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\ vB sIrɽ-44ߐ~& ·G`v^SS]W^ik5.&$ [A)wqlדw2^6eƓFݙSo4,V4QP]0|b(^$HNH[ ~;j>En^2#Ɠ;A=t`//xżׅɅP(糖Ourx gU똥r?fy6]~ja~F߁q9=Ӝ|D3&Q}e8^ iKG灨$^aAbicQ+MvS*jGZPsh]%x /+ ()(C ֮•߽D5:8\OT. ^ph_,mGb !2>OATp|+`EftJdg ,*?zCHT ^A)P#qs]u-v*:h":B}E:- 9Ek9ɠ *Sձ Ѣ>ѲibW*GQQOM[ OAmSh},X JrW1xڒH_#L\)V nL(Q>bɇ.&_{-ֈ,?WIl2\VBQ3}rRc}U j͇:ar[ [O;,CIGԡv* z*P_Sf!h̋AeaWD`'$[Y&2Qi60/jb/tǫm]vj@zd*W7K1'ׇ| cuC1ʒoʠEi>k|?gm:Rȩ֛qʺN,ցrL PH "/e5wn3*Qo:[*x~%#|3RY w1:I q[l8w>Q طڧX0,M0l\P."pl^< f|xR\0 E A UXKӯ`uzUMp1?%@a4d  sQkʥ<$`g H,xbLCmZ6%IE Ӽv''_AqdQTm^f-,>܇:r:uE)L*5-`ӷۑ/ʼn(!btC,(6IZ;;ușgE1'x \Y> g֢QI%qyHzFvkƺ (Ug n"Zo[tZ#oA\JAwgFE*MoM0w I8SU=RʛSp0j 7'?ژ9|w8m}T !O<[^PPA0 7ΚNWO=/QK, ohw>Q,Rk]k!R=ohf׶`S@E _zNwXf5Ck@_ Pw{D"xa"tNqh+Tg Jy{$8^Dy ne*"9k 1)$38' p is5#tp4#BAצ* aDYQç[Qv@+z\8k^wo:1R~m;Np)YNodVJڷڮ'PgM+,[m1)%2r6:ҷ3*-u|-CniӁ^lᡨLIpMA7{ǂ?qƇrk=97<7V}W :xt=,ǎ/8d>' mv˭>N/ gx%G'a^9ɘUaeh]ab)׏:] 2opxV:Ֆ<}]UK@@W cH/f%C&WryVBkݟge(T3g Tk`leG̬92)&$ƕCqӬNnuF99@YKD+_˽"`\whi 9S-(͎4;k`3;!_Q~B4 j!ξFlqhEkҨ7<&ڨ}cbUV]3haSğR7A^giCFVU7TZJHO'I plAI`< r}zEAE!Cd>N4)qLq&o;V@rսnp9:A`O&xuO7P(VRsms" 9'Ћ`+q`h9ֱMfU"X"ETo>yiS/N_񗍲 H\9omO95jWA=y6)][[wi.gԤwQQ ^ٷLHItF0N>[7{ql~B%4c@4@RDI !n(Nrq叡9>|sJdUǚSی. ?PLNZD8pnvŁ%S9xt+sZ/:.˕hމ E-yYb/(q_껈岱qW&l~8P@cj[G)a;D6i tiU6:Ɲ;ےHp`W`:b__㍤8䦤Av|^DO wk/H.ß,d3'bR1>3(]XL8ɒ>z vBktcҒpxt=~'MO\7Oh?)b)iwL(6JlTHbȁ.bM2j`xԖd%aĈ}ŃXfdO Xw`zL$!Y(7;_\`,,*&$IBShf@eD[m@`{#8-( \zٔQf .b`mRv^Bpxm9ўm'?f?I|Sfu߯Q7s OqVCG'$մҥw\b(A-LQ) ˜[XʯO.at.?ha<1@ -MC?~T'-:H2o~ 4ABC@ƸúFx`1sp#`ABD1A11 E3]4nhV/]ze?,֯BצZ * ̃pArGB2>?$~s }Di!ݾJ6j4c#1m.O2 }78D/ԔA.EY+G,`bw}ۈ_hT S6 E_h ~J G'=fc˱4~ t&6\IPSd+yp>"o چ*'$툚J"]9'E}hɄ.\Y?gYZ  m " ^M1G# DHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! []ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-Uy1W{`|B{)dD{GvN\ꪎ`0v҂E?CiAZCLفX=x2^NnuG/{H'(,,g? sI#Q^k FOfcc2@Ai(j}vqԏ ob,PضbDd_J:Emi G\ C;|3 $=/rU9Wp9ޖtpϖ30kP3[,ྷ/7azAwFA3l +9B- Vjyv9VZfb̾KY!q17B2ք"N4 o -jW GIa1W :oW?VoS~*~gNҁᕱ B;Rс.f:r;Γ ,>Z{P>-tVJ~BI\x\ Ea%7l5پi9yy~J6 8([Lyge3"WәĔ79z@"oN= M Rhm̸ИS tAY$d7G2|`uJ},oM5V(}b~k׍ bqijT[H׏|eK!d߮hŒZݹ̂˽OJEq)\V\0+8 m7CUy7.XB H?gK@㌅C_ѺN-jy&0KL 3Ӱ&?? y2Q74꯴K־(ͩ`ڃWΤ^{is{+Ța 1H Wwx)tĥomb&lYuo1qD1OcvfYso3EXTm906 0^8Ec*™o4&b\lD'vUB m m +DZ,V%:9cĵ$hЅxMӱa&(LbF1Phb]{ڢr7325wGަ-'1oYJgFṔ&zw7t>AQu~TхYUz؉t &)˵3h,~զTmvrgYZnL1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIK1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id546J1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\tUbkYszJVh!B1MLVRi8D`Teɧ^*b8^A[-^Xhܤ C3N{E.3&$[%~݀9~­m$~oahYy}PNW;7@GwP5}VfƝ ulqo0D_/2uW+vǯ75Mpvõg<,Z t QK@M UbD=5]kSk?=+R?[C Wkw=O!­r}m #&YVy>yw Ru3{:PYܗ UA:{c[J`:nʹȁɒ^zr^XVYI&ѧMqǻQEJ.efnaQ5C媎"")w/fZ1Nz R7,ɲ~$}<*& &Q$Eʋ]'gYZ 5 = v@5R1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! }]D?7 {?:fH\񔐷dyXN,mpEZa%s6sø<>"ٱtWQW˜2(%s0xG{D`u*2:{jT&nrZYmQQ}9/;*Ю]^~pR{L+Q Rb%k6]bS0]I&k5,fbdBqj=b>{ˑ.v] #Q{l̋jY-uBGx;A n076O"+TP,w:[(:~Cl\@q@@#.$KzX0cԱ 6ܛvu4fʐhuΎH=[&p'q^3:xW^cj%2fM(P 18ńb%"2^L2 p,y;ieW.sGˀSqI_F5@9I9WR6jKԻ)60Fi^ 1A&4#iƟ .3HBV[[{aOM=򎧹H$,~Nl#RLu<#l8}QbzhQ. _^_4UتilϴE>IL~D vs;iZFOo,ztnD>욡o`ΨP".)>j4Ϊ,Qvꑙ>i~@O0ɩC0[}Sզl7IB+;~e%j_u Sl9 Z^4љZ^W#7t;yZg 8N1_Sa1̂ssaվ;3>|+?]*^ณNp^iV|KM.<ե^qZң ?a\Ozv8.;pq)bmop>>%P67a2֝QPdTC6-]ffdIa.$PzT6"w?U*6UdOzLQ:8}|B:}k)t _["CgKXR%'2AZzCbяg$MRNqV[%X,e?WaRC*^ s;e! lpE4BMTSЍ}Wcfw:QaU6njMj]\K\,r6H*|ZX)ؓ؂4ovW%z>uUۥ!A N 039 q#}/"֜C<A9vP1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyMO1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id534@N1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I;]D?7 {?:fH\ s+x`:XFß&Ӟ!&|g:_[ RjUl8or#U>#1F9U:0Z鎞fSРzIqSZ3K5ˏG7:Ȼ^K>55"PqE2^BmhȰYm:GKzo2=ر>zx%@2Ŧ &av8}r bHXPr4UfѴ1)4-:nOqԡoe 6SB*y\7|o" lzp e Y cfpn_G5K]wfR[ hR>^XM^03X*ygaCh՜Xx xX(}9xahNˣ0EtBރjY*-SO ѐ+4\4g4*([wdv?sН XDqa3 }PA2!;@vM.󀄸[$0WJ|)PaMmQd!'Rq!Ţ[' "5gYZ:WF\Q.Yo78No /UbmO?$2\Omnd'05*U${:<]Cw[VgH_kk2:>2*11ъ@:F_p7=>Y<<<0$8A#<1>,9~4mClWasD d~,Cz**s/qoqtL67 5];>l~B E)&/#`(_?_r$X5׳P dMI1eUE'l^:̭7Sw7…4<AE2 2@W6#A%Z x呎DcG+TR+$Ϊ[~_iW =HgDF4F#)R#"2yZsՀsq K)m( &L ]osԖȐr#^|s0| 1D!)6vJKE3$6%A#䄔/7M.`+D-rZ N0 -0 RxߣT9S#ҔGƤEÞ||D:%%"1I`gC|ѵ{]EaW ԜJz:$ 5f!&F\a ! .8{=9HTR!4Vzp`ƃVMi")zs(8%ws~VIi1%M#ef usMʝbWgY6+>Gu.]Q& 4OAv4S^u F J~@JD btH^n;3!]`(X2 U8SA]d xJ"D֊As8 6+wW㼚D DhmA{fopo~(Isoaz,VJXTcI)E89˅Ce {h->rv'&'dzf.G=6 k5"{63O ^sN;oV_7z$8ʲRۋp XA ߤO%ZzKpyaZeL6_B>}i]b*$7s{m*vMϓV6.~|d!`y!C,>73|}sў51&aFua Kt%é~(lW% |fx0tRʶTN'o3h IG`_ l׆=\)g* 5Pbgmt+=nUS1Qj@}TjGfrJP^ n>OpZu$툾/WZf$ |U4F(zzI#wR7@T @ˆ=k!(qZ$_!DRg=\oSi"R-VJ/uSzWiHQ]ҟVUVx&\ ޅ!y:KFZLBܰ}'0?Z*:i\*Twi>J8%i c#`=4NP)~IVrn".D5[㬹jt!T7*9BIGAqT9I`) ^ 8L˝2ȭILr O ^TZ` `*WTZ]'ؗ'~WvwϬuơλ*uh7Q/vT^)[HF\@6X y`Tw)ҝRdLO:&)pA3@;!ƈAw 1Ipu\Ȉ_ގ\ SdQrŝob_*J;_"J)Q~? `^^Ii\َzxLeq+o؁y" :2b G9!S47!UYӔ;Cw+"0= '>`%O䟈ˡ(Gid6Peror0༗#&>'ٮBGcJsG+ߊZDC7S'.G\-YDŘMô50i7N-@٪s۽*lY7^.s|7=kz.6to؅ΩG0͖tI!oUka&xZEN_({T*nxBUIWcBO چԱ! D I(APUX4ܳw [ l>•wTQWc6sAAlRL/5.O>kkFC GTAw5[ؙKfV\N(:*w7g& γqš39׃(GImDȴ'*iEpEBͩh9[l8D;S>& aWpD Hc}m~r6 ߡ3BIFOKNʵXA7RU9ܢ/T~|hwB[DY.R>b?(.LO}((aIfNhTQ@3,1{ bVI6cm31-Pq]'ݗE.= rʶEG1eewPUuxiWWςAHMߠ GapkJG 6 ,9&z-7$W%Ll 3*p2X#m,S8ruUړB鄫v~%Eņ-F#C5aZѢ[k5qDTưD4v'EYJs밀cVXŷ/QŪ~ #={`Mҳn5pNZiaisB aIv {x<7apЧ>̵GƌH$H'9|p.;-:i6bZ)A]W TM8r7o%G%!xѽR\.iQyٶ5ۘ8%'MƟ&[ ^!ϋK58aV"':οxsGe}}FH/ohWNӑOˆH x3LlI`Q#hێ~!-,0wص! :ۙ ;Ya6XD f洢Pr<`cBg‚}Lڢޝ-4$ϵEjcvlǮS)  3Hl벗R7 5+ylP /\Ѯ)g4m ZwkaD4+0 Mm~I{ͭ#G۞?i2?Ya#1JꆊeC*mxHTd}a"l W.M:X@HUwF/ɓk_mݸ,l{`t#¥dJL95A)D00zhZӬ>kۜ2%rJ2(Lzh`CX='.JXDuٸ²Scn{#gdE.Y(茾$ ^˳8D]}7i='aDt6HǣP¨Y5$kދ# ׫u^lhzj}fx cm0Ij~l_ C_,֨av5Z}mCU7háG)&QG *KOt]ۃcǁAzVduz"d(EP @O6lIHp8d{62)F^)81)XL4lG:d/7䓑+ WЋq.x7f)l+jb@hCRdj;or %^?vW֥tL,$ &p_L@ JN7AIѽ)(vAz (|6`+bA5y3#ǡg*Ƀ2=D:,MZT8 pouyZ?wnX˱]ܥq?<79 @.?xyti2|K"9lJ2NۇfG)z(+ Y?mH"Z{j-hAOfD Uz8-c?R_͓PN'9r:F:x`MpϺ;s8Yj˙VHû#Zʑ AQSQ66<#f8)>˽~eR 2qu*qԪaa2acS{% KZwPD|mJOdnϠˠ=0nLhzs篃Q>!&GE=WA`c%Н.Yb9&(gt pC@hk8=\}^> )g aUD}]cvC^gZ6~)O …!RJth? @9O:wyE^+*K+C]~SqQ'jxx|\R81 s~kˋzQ Vo4Bwu.vT躖, 2e53DYl[qGܝTD1B%"Y-0ֲ?0PEt Vg+|JT3ٸEn>~RM۔jdRs3üP@=,!A (vc*]WlGijd)Az}3&3T(\C^f{E1tvQzbJFn,XN^DS.Cf6Y+(bOGفDSmJDD{-- .;qGLsTtLNAMۙ[/FEƻ¯]dn *vOg`ua]^" 5Q{LEtXf~L5&)J{Vμ]1t ܒ!r;^O6!kH W.,k{NGʖ`HnH~ngwA 5B"AeqC6IobC_Gv:# (v>@i)WPpLtAv"F:@w=1S*qDy'Za 7,<1yQ.6*Yt;rWܱx.$ aw}|aha_$O,1J PHY`2Q/g6 .C$tY$(Z}z1}|1=.۸\QRƮ+WADF5001qqxI:B @M?⁴,,PaG7O꩘Z;&Gw@mCD6fm7+|ɉDEq<=RV9n̘..`8tx)\a" V t^ڮKՖtX%Hjsx ȶ>Q>NDVHA! 0RHD72Z! EȾ 3;E=Ss?]ݜ̛J5Y?">(.5r? V+sJ#m 3*1F#t&V&9b94}{j^(k~; ((HRIh5XOC}:cA%1U9RK?B0v$awgd ړ毦OY,⵳IjΚDo ?rgL"܀䤫<]7ak1i|ӕoG *ewʐ#&HN4OW%vҊ0m~)\yҦf)ogХ!сJc$Xvn1|k3[||CUčB-Rٖf:}yhSFi8! eԩ"Y:}dS"Wf"' ?~5T_"E7TކLM;#S;:> (CwIȫH. Fzkl&,T=G.*k^)n kǠ c|K`¦uzfI%SF>7>mj7;R`~{3V?)/^~(}.*Kԑ6~+~¡Ɨ$R2f- JR}.I^RY?)؜rL| s8TNIqgҥAS=B W 讈{~2Uo4(%AQѠP}wJz(K ΃|7&ܠI]Zc%􉺰pmyɏѺ$)Rtk_]q[$ݙ_ "R|qc#=`}Ub˹1R2&ԬQ WutZzDta\$*mvоJ'Sk»53u _ ;/!\m*xVpHӖT 5V(͊I[JV} +ZkbBM#V0#lepVr$H; |mR ?% f.XRJsRm *΄,u{fg'F][6oFO(69G-}y8VTwE cF|eikjsVVm>sv!~C;Ȃˣe#w)))J5s RϙՕǤUjM&;jFy8#ǀ!P@K֩Hoph J(wÐ(l1 ӧs[ʆ 'ybb"$xD'Nm+!M¶XuwhnzH5e nEl< , @euֵ_H>fϪAea.|y1W HKy :ZHp;},&N :#dkɥB+Ey3MNqZU}аP@GB2%/mltFL1*XlРt9CxzzZO mZ$U>#UW)9 Dye K1W &*WDNGfh1ú0L٧A-K.r-e$O(?=?1FRF!ļRP1Ab% {nh #m˶Q%΍ýqDžqؒ? }p_A/f!XZq\Ѷ%邤 fW(Sr!"*cM"O}o@Id Chg3ix|߿}h<>Bc:pޑh{Q[Uʯl- ,[:ɸ{閔,L}Wq ?؛ie[ŒF;X!,#B$g]=s-F¥/,nدgcf£b(S:F̙Güor3e:KT'Kj_>\O%ܒV1aR'^*"8M(\b2 9dڪe4IAE4s-jsOr[A1?OE%#iX~f* ,O:cȁ9@kƕ06m/)<}R&8_RgrCZ(%$<\|!OfHPi`f%5 cT΄Wh<(-Ai8|k(h ̏0'+g`Ob}=2".(/+vfIZ gj! GPH-QÄx Iǝ%/WJ=J8p6z 5R;"9ym$TZ#kV6yf:=v$V8ܤAʓn䋫R==qu'cp|$Q?$X:nO+A1m!_Mwi_^MƴzոNӸft<ys+- }A xw:kTb]H!`HHҔ3x|܍u4'JwT'CO gv,s UbshF:e:y x(9I4 1P%Sd)k''Ľ5r*Py+'Z?bB nes%I/5K~p:˄xFȬKLZg̨0če{N~eb_5hb<6Ӆ*>hDhltk՞p5UyDl+Ýu'rMFd8 )f eN?mrgğ#cю&\y[K2 W/5ʰhmI^D(bXxZP`ֹbk3s[hD9|4^yO ?ٳ l8wmoi?[y _##:_x.\Ρ]VQ-N\8:g_yb0CDExj xnz0Jo }@>  z6S[`J<ѠgdfɱR9Xj"[Oki oOd(Ւ )g0,n.%LZX3 BC/&)>~+SYѴՏpadbH0wclelR|B䁉ۓ3@-7&ϰmE'vnpO'uVyԀI[JFyt75DE]ţO>>tD瓾3a4w N6ޏfqX+}AG^d'By`w1y0x h=)LBht]>g/<@f;\͍)0M>',3}|amB uCƛ#?x|E.hG?^}tK ^;\""['P !I<Wu`wʿ XA2(}Y"+fM) 8öt !B}LFCH/Lzz))ȳ$M n|f%~̎uW^iGB(÷,dSM0z aC ? =f9oGq$a.zeUǎtcw)e"fYanGHx֜o:꾕$mt } i\0Q4ahjUi ɝSwsle  Ig0J ԗM0r{3K Tce;i K`6WCDfjAJ˽e]FJչ: / XQ7<|0X.^`=zeF`\1ԏÀr*f%Z ԰Jo86=zj$@XH -.i;P H$/%/:ص"pJ_3ZǦ# MR3u-58r<1NGݠ9'[ G2‡q&%l{88p z /T[u\|q3@Tft!/2?-0Gv {l*rv(h`aʔ*u[/ʻS;\9v/ 2CzJeSxN˲^NOJЋucʬZ$Ш74:7?]ͻLKD’y䒼5|BdU] o0IF+,~ydXxڢs8)=dzjQ$t3'ZpcXsq 6USGmw 7^(mV տ>6d tJr@/yn֌[a?Y"~}YU͞O4TZ M(BAo'6Ox MW~[O~itnb3CIUy(pkҁ9^+N&8dA[Hxcy@K= Ew-:ŭM:ڲW^4P$%iZ_ K AtK~5p8!T紑 Lj߄ BڧLCeVgڬ g]'c /eبPډ>p iw6P6t2Z6/;gf~!7ŚE@Q')Q\#`+>_'lg)@ƥёY0ryZߝ'{)U%4][O 2ڪ534eX##dK%{MxD_ 67=RaUUsmd28 $VT )G\K ikzm{a)pYQll,BͤINw;ʌ<<S2o3>!L aO:%ZIxpԆ<<)EwD Zw(r#|3-ҥ"8<-tf3ב+*ڒPfip,!FNHݛb1zJ U;8^|`CYexIJd>o7*p G9uF\b},5$~;b[Fߔ(STnYj.dާ5F/(~ {|&z,Tۂp(aq]z#s1`ǟv'{JBdqg#s8. % pծWCTF5} νź:e=Q?s&W񷾫%eJlk3?K2~5 p"2mBT-#t/%J.21~r ݍefےlsv(vANeq1y( &p"߮?D9w$OB%Z5< *-ߖAN;,ZZy|H0O'I>"Żk0Q??""VLxEWij&>giYR鄀8 1B9$o]x;WqN^' u |?IE`97Y%xٓ3fY`UTHv"v= ϞM/n̋!d\˩r$@ ^@䤉vห;`<+jnjox\+ӔV'8'M{h7OC~']qt~Ӑӝx kGsBju@~a3Zl(N"I9tv"}JF9j:k6ń>'=i^QŃGܘBCm N`9m>g\=ow F GYUw4g r~m7|w\"iXr|dP<pp?JewI 9b>) >NoAT%*&'4D#1on ⱻzZI[ү_|4Q0˝딀ctu 1בӉ,memFe m6^:5쫞*ueàƍ}~GK mf w;9>G;F]8?dX}q&9H`V]ͼ.IU2y>猌dE%:vT /V6ifre{`nU͓S"d&9#ŝِn>6Ot fRDg׼Bcf&svշmaΗ hPa4l+D:T81_݄(o X0=9Ak,M]ǫʠF I@P[#[" 8ϓd%+d_ESl̴.|BÖy{ք 3OKٔn12Jx5VLs& qSpi huV!1KT_b V_"2TjeL 4fԒLNħ|`YԳsyң](P'&RZ$4_*m%`O!QyڬFP']_kgy-ٖՖìτNjE`?2紗qfo-;suq$6kN`Űⅅ.ܞV!w Jm4IFN}%NWP&<>#0焞sv^ɡUum0kJ?0jK*\a 2UنAz-+&XQ 48)"wς$=,XĶz(зw- ˨*DkmrޣU.$gިSP:~L1orz_ _b4Իd iGZq*ID41w~} ~R ~]jw 9.특ڪ#\Yz&Գ&pwh 03@A:f,W ;эEGھ?ve1-r$0mR6 eNNH ﱞuQ -IRXZmk]6.Q9w\P5EgSRϻ E4%+_Ξ9I>TZzaZ  _{'VtwIEk3账&#]# s8Aɭr m{V+%E)Ezb=amNܛ $UJ-M='uw dj8ʲA1'-/yamo~e/m"ʴ; U'ruL9lio^[n|Ǎ̕oM-. c46 $WxkК~,iT黿)o>r8{7c91[ T)ٗcL*l@˧G+`q puTMVN;n/8<8)4'cr|pWC2/5y0 ^0gBvqA ą*A ;J41ۍ,ϓY/PMF []fp)%_ݚffYO,5m٣]0k;T)ƒ9>H&XRK)“o$zNnĪY6w?CR,N.@o:YepС@g5:Me7m"ŏ=j|ttO"l(~]cn07oY8e0g>$Eb7t^p T$.3 XYL)Tڛ/G f&:O'"EW5/Lf | j0TPKwӡ+}||-JrY#-1K`vM2޻А|ʵSP!wbғ#FmS0b xM6]( f/OX%m[ 18'pN}K}{ڶdӽՊ]un?QƠxrL|7"KXр6I-$2BP頌Gc A.DAvDPC_*D.姮FyΜsjPu5o+bz8#~lHcQ}S>b9<]p1jhE̥@Аz" 4.M3e&vg;J_SadnO?`,ӒQ`ʍ LtW Oɒ}6wpkJB]0  >B`XưA4U$ΥzfP0a@{sDI!eY -D/bg}E4DWAdٜ'w>>Q{ۅ>t4&B67w՗3H\{`WxzW]Ԑ,N*L *&%L xl;evxox];t ْ$]TvcC TNIZN5{-:E$k z9`xY/vFۙ 5>l`Hnq>;OMau--95ؑŅfOwM'ܷۍ[,rŻښ+%t˺WVŀŰgK~ 3c^4/(1^D89冗gkPo"ePhI"}wN-3'8ץ} P' Lt+PvJd%x2bE“I#RQFqfqvkcˤt:CPKG ovշQ] t^:@9 ʉ ,)QMI ot<:&,US ()K~l|@nbj l,cc 9.vk)wf;T`ujz+;͆c #eV]-WKfW{byUtIz9g_]"9l+3Vz5[0WB!41D7u50'tbwB1DD}^+]u]egJQǐ'qZ}oGfX6w[xrdprⷧ z8 0OSFT+LaxGS ~§%`LՊb'H-vCe($֌fUxU|x 0e*]#BfUK"%|#;ks5g5L\"P@Omב<{}7QAB̾ԫ[;psȥ*wAq;MWH R88BKM%B߹ _4\3ҸVJQp|Jbª)iW#-@n3dPTZF6&ȭ\z.;+.HĢYuzM20\ d19#ˆVd*f9 "1Ŝpp>蒐jhT'\Z<nnfyHj)2 x{2!`פ9eեPmPo^zEޔ18y-+tg͗-sÒS,|*[um m0Dg*SornI4!\/z6. $$Mv!NOv,q32i=wn;7cr VGk[G )8Sq|# ˃P$ 0-sM@|gGM޾Np^+4(qٕ@}Z~thІtW]NzWWk- 6>}PU ٖn\ ec͆Ru*e똁ثI+!8;]Q{OuUM0H ~N8uţ