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 h1zT,| ] HOL-Corec_Examples:threads=6elapsed=154.323cpu=509.236gc=84.1807zXZִF! + ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7س˅?d9 Ey`A$\0چw2*=Hu*YUK,7jƲgI(}}p&sHNc(ximjO)55VbfW;ee'e;;q< 9$SmWQ ;96в\('A5z'[YB@0;yuΓ9 8Ш&\/ dƢ,Ҵ̚Zǐ)h'IJv8gD"7CQ[^Ѐ81VO3^ x('|\vV;; Q!{ǫ!Wu95k*Z#ۍT L-]` woJ&E#fUzD/:4nl1J8%\B6ʳ }p}cbnN> ۲j_{k~Zt-҆?"ޝG;媛O_Y"VfR&M2#%$۟s%{:1ew|`{ ZA'J%%Pg^ű , 䁦 .UINӸX!QKуV]\@}عz-a$aGfNNb:@Vf}t[.Au(iufށyQfC.Lw| } T\| %JSk] EM DzY<ʙ_+G#+xA uHO:ss 5^'撷^1Lc v86qlW"]U5Sq,̉9SQJ{=C]~e읦-y. R<ޙ=LGSt|dS 2+C4T(TKV&x{D(&>L"i?O?QI4t[BBr/`r'N 2^lJ oTճk)ʦߞ4⯡M"+W1)nyvSV6^#fh8Xo6:C,?ZБf`Ps!A=i$@j\wQ>Iփ*C~Z~yaFcTՃWu?;VuN &)5ך+J,D(*ygu,=Pv'㊿1=h/Z>"t=V%LӱRڠHUXu|#Vl.Z cg~ʘ>ΐ^8x@S%8bಯL;ogtu"qlÉ%ǿ̨(ܑk9}5ը$2-4FIUkJ^ ĭxLA&ɹq?jFd SuI/=[4,$7f NݓSN% uaı!ԍEN+$x|O$:eDqkY)Ys Q_*OfDUƸjO0˞(qH*IZ(baVh trh%DyY7[BR-c¼yT^#z'0 *@=*)aS LyfdFVqBҹGٽH ]h( 4-JԲ?JgCT?\6"蟁!KCG_5DӅ G7۱gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩtЕs/Ѩ/e>,D̑pq =xn l!t׹j[aFva? 1Jf@H,WCxQ){K-`yI[DX`?=d#Ᵽ?sq9$&y=4Fʸksxb i1CXe?N#tHq|1FH3,jӚUi  Cnޯ#܃>`d^0u{JP*#sK< 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]9P7L6E5D0A.<)8(4"1!-,&%"    + ig'c# A H ^c% a# c!  h | 7m( ^Y C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files8I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id7?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages6=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup5<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files4B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id3A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages2?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup1>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files0D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/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/files,B1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/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(?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/files%B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id$F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages#D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup"C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files!I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_idH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesF1S#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.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id=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_idJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.tex L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.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.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-C*>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files0    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 mm1A5 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 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 bb.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`HgYZj1OC 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 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 0 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"RXL~;:<$=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""gYZv 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ܱgYZ  j } j 1A5 HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$QтꚆ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠl¨꤭Xcv8M`w$9&,D@^IQKL.sz^mqQpz&\3UR-% 41ln^⶜\B?SŌ|-&[ݿwf;PeDZMr 3ދ V[nJTsI6G>fEl.(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  覱gYZ 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=(skHKB8j39ogYZ   p1A5 \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̄c3jgYZj1OC 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,?ogYZorx9<&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   d1E9 #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#!\ ~gq GGh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id5421E9 |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 gYZ  G v1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id522g1A# \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! C]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-byCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv \*ZQƆ[)y|o~訯\ @Ƀ*u{hVd(4huWs)|b~:@K~(nA'RHX5|3X7]:¤N=Z@2^ީX1'F\7 bw~d@]`LV5SPŮj7Ƈd!Ĵ$\+/@-2!{ Š6;)/B+U"ykqqfv Ӓ{ۚ_9x_LoƳ%ʢ`a$<`t&JR"Xw-ڭuC iݎ< ;A{\XV-=Lo`lkcj顨C'dQK:8s1`MP5u-_siptFhD[%ܥ=x՜E cH?/d/ƒb3b Z{G|*F +] :/SD`kUL}Tƣlp Yʑ6 D~ENN ֞:-WMv$oM-T6NFr$EZfuyNQ4AhV;RD2Lc; 뱜KCqtj>)'\csd|ɝ߭wOz SO7̱gYZU޿$>G3)ԢvޠXs[ š!qRPUͳޤeBd{)tI\3Yʪ@;|g8t;(Z+LZ"zM/ NcJFunrrb߶ @IM/GV1#:K`~2i1i&8SrBc~57v<_ꢋγ߭g֙srЭ^vvr2=> J)9>6[* K Y]o F6}ϫ }džzF Ut&E=Djj|2 B=ƄF7"\ dVo2gc9R^  =g;:+g l߳~b ˟Zӟ$ h 3 *{H(tϞNCB&A *A{$@s>{ὉX4}oEOW {+]4ND"bMGOke1ও̗o¦(4*|Ws# : 06 &{C؜V/1Qn/jRޗMXw) ޲5 c*_'!N/ ]:gߧLރcR'?$8YKPb'i!snZq %WIo - Mi_w q0]d({/%K c\Oo;^eF e56mVopq[~ŇI0_됔mb5ƕ~i ؏ݼ֢Y{5!4{z!}޷TL*it,Nwt~zh$p1Ȕ":)$(UER{Jӛǧ" .MS)RYXjT _aSH9^BװOYߙZku9BQQsDs' %{wģv_yܾW_^݁s=E wtn ia7([P>F:x,R<7 ldeǐ~Da JK,.77 (Gx4[vĄ*YlrɘTL$~*}JRkPz#byԪTx`2TWF8- ˇ/&Z]Z$55Ep{z[Ɇs9f{.Ų`S? ^֤:V4}7Dirm"AjFyHi1qqE)6tzRFGq9}͌ݠ([jAJ8=D ÒEjH Lw-<|0wYɁmpNeQ=k󇧉$ tR-k:JiuKƛK")31M`Ęj˒[Tj_#uX9L3JrȫwO'$4@GM#RPv Y˫H*{L{\8(L%wN9REKխ]B`1T:ꖇ".Di5Xowd ^[Jkb/QSV ە {`ĩ u!h(2b-w =y _8"n'?pE }W#|ܜ ߠ􌤜;Ĝ!Q>>_鄰@owBrzpo1N Gö 3R H.L謸e8jaZY[%P_}YĄS]r1"6 (`^=R->$XjAxe=m>ާǔ4e kYVmaU.L)؀|'zJv|l:SJ"M8GH輢mHE fg( /n #mӾ0ypdD4h+fta7?GNʉ(C&_U<`(wj5B%Qv&P}4'~:S yAk٨58ט\_$S\`JY ]Pyg+MK8`|$JQv07ު(O̲MLлpAԺ6}vuFԌH''Œ]_nݏ=<;$Ȼ/ iC`:׌2uK{V n_k20XWf#p n=q+,E\kҭLۮ/ -Yg[sr窺Svc!:$K(a}1f}lsWVEE9J@EB.N9TstL -+;WF$$=" 상2&w*Zg 'KۆYE~GNa ,5t9ިQ꾐D\+3gaLk3Y)#>&<*X[d;Kݒ9$/elZԌd߰б_N]1o`uOߣ6,  -,~1 A&9^@7!9HBnBbQC#'2[Y wc']b\಴z5BWT#n͹6i$2iEE#q?~b-LCsC- ;R$7xuF3+hiϩGo8>Gp aG9G`_- ȱH9Y+ GUZCARXTEYq(5g|]ffiU Lem39~9"gYZ 1O# 4HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! 4]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-!轵SUjX-%o NfGA]p0IzHz=%8i[ 'Tcb-y1Ib]=TTjqTpIN؇FrIv1>MӘ)liMQd[ A>:F*pAE߆ٿ:^',Y.wSEM"J:)Pœ34tvqd{nW9=/aY۳JĒ2v"v::8NetwQg@,oaW4˪@YnB2PNG7JW= .#!Z{u;a|V_տ%f`S']^60Xa ݤrUm_w";Q6N`9_-q<`&M $BM::{3$.H}=i",`~ެ_6;0GhniKg"M=Oa]$&WҪZ .הmkh3q.g]kT0}aEͶmpà 'G:8dIbd`췿y`wFV?݁nC`qe"Ci~{3f(&_y%Z`AǍ>|W; {[ߖ=&bo̬F9$\TCǙ~.KUP@޼ $p_-O[y!\fU[`OmNM Ww.S|?}Ob(8ХU`Hr t*F\9 Vz.vl:/,K4oiLwKqW}nB<.ܚdkP %#tD^*gM'=z| ҈*^Ml] _daGp\%m6#a/I2vV`sVvjX=o*Sk~:扎W2Ǥ< DLV/|ڰDŞE1/?.vHt+LIFZ$CQJڀmkP*YJ"4Gn_0բޕGPeĪҎ5ޜȃ +mh@pKCiͅR" ZI\m) enw1b4Pmn>&4nmpsWwʖZ~;U5Aծsw+ J|VlRWֵ9?; ΢R)#@J|Xup2΋KjWȱ^{@ 12GLd GIX=:/3F rpFq&BgRXj"WQ؀:IxɅ, Q @iMHIBb|jonx-31~/b%ѳYs,0mLdM-QA0VXv[ӌjE:ql9v\oL=4L0am ƎʍH CTgX\-\++Cf)/bQe-q7 [l'A csPઐb%k+Y1--6?D+඲ѷ#M_{J-cF9lqQbW2ojtyw2Om' Z(J]UzBBQy"r73eƮP䯮&2@4R~Eı}wm͔t#&6rBZ96n+|8,P d,IX8[1Z lCіԦ7%S >Hjšj ,3xTP43$ݭOw&:i]hCE 75NvtF-l+l5ctN=K 0}0ԫ5'ec2&xdQ8,S`)n^˛@ vR=KQM*d5PldrDZ֓K49Ӯ,qU 7] 1?ZU.Piݔ8Kեxk4*[sG5`44϶[Fv*/He#";#)!*hod㘀Ģ7k _]4}k E$!7y6a1$=zf;=H7Ta(v[C"s>zՉ2$gG>EĿ}CX:_?UmȹR`;zZG8zRLO'|.U?38Sl$Fu@Jx$|%^cureRl, fV |¡El-+ZDLA7r02h+0 Lܬ lE+('`XB"~*lT hvSMp2)rJ#Fuc,m7nYѨYrps_E^fz|$J#k%UR!S[ϔ3GVfM: ls DʡE؜s=+ΜF?e$3} _"{G352%?̿ _% rt_ArI(VhޛnS ]a:rBaDEK1-d-%G1a1> %/QǍ %+ajU֩gؘ}u9f%kۂ Э}F]ôjc(P]}V-{+L2or2f *Ƕ J2{QJ r}u 3ĻF*VZOdvgtuBaY/Gz5i")/gYZ'__Ƙ+K妡\*`H XwAtiA;cMm;9?iM-]@< 3(MEi |a=z+:Z5zq6M:F;1hYV^V؆7 IDO{sX/ N|5aߝ}B(R~qjq58+ݮZ V/1ȺyE4[N n nYjyC>DKyWIů1E-JFvtZ,?\T6!!4F܇5$2#9S!gĬh(QE'T=]z$3Bh5*sf eiKcQI I N[.-d=G/ |睠 tx;/2nºIP]^TsRl'Al .5dʚ!d`+O/t.ɇW}KcQWy4R^8Vڌ]bOK=eka|mc٭A>z oCqgvKNhek}Y+&788Ff ˗^C˜aTZ-}JB)8G%3A6䫧2,՞"=)ʒXb5w.WoKUPc5S% E!U BuÙۼgffӍݲEaۢlGR 6o9JcU^%Vjڈ`NT@ƼשY "Ih*r ,n8N'hd,MuBb g~SftxU<;CK:\Bs9;0!د'0˼%pPdqS~ ݖ,AĶ "XLQ z9wg T$WRF@8ZewPl:Am&MaK! 蔭 2BK躬gR 5 RaFD0=q6W D^!,%ӸC:j57d2*VN%̝?_Qa ;nX{1Ё(~zېA}6gFr݄ؖ?:d@ڨY*qWL5OAbK놦'ԵB#% )lgzX;^ܸ_V#;k%\.@0"Q}=^_xrF*reb-nBnJ4h.[)LB@B@#fBDHg.0K5 EWճHD[=kaT,'B $Avqzߵʍ=ΌK %Iұ_sT HYYe쑥6&VYgĤ['۹}@c-@*"jFU")$;T'Vk gA8LTdj|F amEh?b~^6g '`:yYnĩDi|0i 3D /7s]o&KU :G?wb#>eZ;2g[=@eiLЫ/g!_u@3@ԝ Ye1H蟪Vîx`9#sT-7M~'4 x͂O~JpE%?H΢2idkI,u8F)FɗX?xq&.FK h)%d~(k0z8bhSqۋ=6wB Vpe,\IMe7Mbl{p ťp7AG5BUJ i3gHgP|nvyemjK,PxT.q݊rY8^OG &"UzKJ䃛jO):m"+9/8"Ȁ'7x9[* >\4 ''Kqa\#q S;)0| &o+ɫƺ ⌇ʇ<ռҍ SNj`/` K[$Tom1[Vd2W~7oHe =8M掃>ӲuaCD0G7HߕȖEJ{N`֝\0xa<ƴ BKr6xwN A-BphSY AH {ENC%H8h鳷l@Y/(D6] %VkRt*^h sB>aB,Ri,i eT-5跏scҦgaG%Ԝխ;֜U>7}I_CB%O, 8t!I_,M.p+pZI,ݮBo1d!# ^źD@E9LI1&ޝ JQvJKpSJ8~ FHh.!Y #?l̼9: 8{,_}Y8BTE/,ۋ]y=9!y : q5IRwsĕ0zI3ȣGf?8UzS=U#:bP঻c6|W9il@xo*S֕ΦSXGł] !]Ѩ`W mFx 9kkLl RJ 'Gy./*ZѫJ$wRgRMHy5Ph\D\#|Y^ \s>6o"-;,+2["cY];6|LjSO5 ᲼uc]{Zm[1j'_AYmo|Mo'& P# Kt.HGZ#W?=guR f>&E> ^J[REEse<苼!ʩ"ڄ$C!C=+ʿih?޵Q@{=iX g*R){ėK+iZ[`x6ʞ@"d ƽD?'RsӈLq>?_vZRYlMq%HV0@{R[ ,`g8='yR2$b7+%N{w࿎z{LX}fH'a'q|%:s(38G䍁5[%~s,EhCO"-ʦGX14c$-TwA+44~eՆC*4EV^iU ?M} W Jw &9{/xf|J+DŢMe*Iu"|i,[+KǴjNdp7+oWo- sYIXy#O`v|4@YQvLzb8cwɐݻ1Sv^Cuum; ח-:YZGh?gfBV iJy2cl3JA.i^lMeCmk{oMӯ{\6 VU-f"%Rau~0۟Q=D7cǢaZ*n{*}K˨b9x؀>q (\EAƑLhe;nG"SCt (Ͻ0G5Ngo{sRXY(_&TIɋ&G"Bo扫r:t,gYZ MM(1S# LHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! B]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)-"(`1p^9 cٹb7"c/j=#_*HԨ[E\wnI<4Qk lm#(i_]OϜ?R#f !@G[m~d/D1& FX"5J$d&tXBٛD+D;mq". PpqhSt˗&Kܞ-'vӨ ݨٷ.:)p\裩1s'PO#eJx )zăDstCH jaąb$=#_(kBj} {64*ޤ11!1ϙ~BR 7)(ұeB_PVA,@vEvA-aD JLtf`V/v\#9OݵRhmXYZUp!2:"x类,POS "@ZQfIgml¨s@8M}@/|"vT|8t6pߘPO.ndrLAk3IX /u"jQ,]l j $Z~QJaֶ~+aWٓ,AmЁD[X,T˶,|,Vfsb 6Aq4%!s#9W ˏsZA۹2˧1MgēoE۳\# p}yZL[ȟ;I %hoFéݫ]A/}5 ]\~סlJLW.Y#$io{n=z끞/ј^ȋ\?緦8)5Ƣv^9zzIԡ|Ɠ덡{X[ t Bl$\lF=!H8> r> ja^$d>ڊrsANbr$kLOH>&l0D7AxW8(&ѪϜ{}5': Y5D Nr,xq 0sIJN61# #BYZafރҽw Yıy*)W@4v&1`,j g%|jxSs[Qׯ y(f Iכ$XVWMM^cTV3F.g2:we9*XdmbЈ%ĥlP;KG_:!RIMm 2/Ywi.13^o32Yٔ δK=+Xh$1* [h7ZI}J,k4AHA+RP05Nu>&-WL29t]a݇߃[DKq+j'>(q'`}+GN#ꋱKYG]t'Rw) ExX~sm>IR4-u3Ӹkv. Zmb* ќ$QNzA/FOv_8WOsapQaQhr]Q|÷k]_ʟre{ʬa%Ҁr=8 Y@%~Qwy7X\'"Sg+τݡ\;/4|]>炣Gr^+[v{A_$O_ xAt14Ltes!ŕ!U@Q4d$ 旦 /!z\kK$fC]@w:p[A_y=.eS* $)ݩ,*sN*gohqB6 g(y0}/ňWv<~9yɂ  qnPPl~^CCc%ǏF_flpSHxnm0:e$*=!0{WP}yHoYZx4Zp 3LOIdd’<mx[x%U!^<лZsY ], IdeC Xm)2i?#6Ezh R0%Y'ǰ  {j0ZX3uZˢU[pXN <;t+pSK?H"BD~h3zM̆V PM߆^Ąij殾D-\l`?֮ռ.Š| l*7iTzk-{gmvhhN}a[nqEv$fz)KW {G I_ߖ0)5΅̓b)DH&CjJ&a0 }1U85fz.sJͫ"9^:^%=g9E Sw*E{/ĺ|ۣͲ9RvdqPhhDOYu`Ia{t2 ?˴bZnqt 뱚{+ 4r|h /ih҃DM[fW{F( Z .+'ʆ\akLppDi懰{FP2e'[@NV^ ˡ]Gq Xԟ,^#Vdv;ͧʹ|"l iE{5d>, u+]PolpLٖm6]@E@7-}ic%kPe„d>hC+*|#go @-BEx)D fk JhC/ZhIҍb46Yks,9g%ƧۭZ +m"d<'Zr(w1]:a7މHZ⯙Ǎ|Wvfp  ùj͜fQNVNO$#aH'۠ªBB%;ZKh_p^r7 =l#36?:?$^"W}T{ͷ\gϊK5 J G +dJ " 1O# HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! ~#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-#L:+\ʙ.wҋOB i ZsBE M •k3BWEdk7#Gfxw{ $0F1"Ʊ,=ɪ nf|wv?ku1H*<WPeXw3W;]!*#䝾=9**GCH]i(vKFޕ d_4K16 @?j!Wo^Ow[p`T@|lZWVk/Q3FfPto @i.)dܣGC_~w_zS7[--hlwDXJ-UY^e]jy;"wqy(oTF#UU: @Ge%Bxn3^vIe >ྲ^ҷ4pNs\9jnRrdv0k@B8KEp5'ת~^³hcLaItW 'nX܀IHeODo{QcTCjLޤ ^>H=yHkUL#Z" ku=U4>~r;E4Zw4̌»R;kt06=JP9Io Jg9Ʀ"cԬdEZbF4 X5$c5-?P%0o`X@@^yߓ@‡Xs_&~ܯbTM{ sWF&oɈ8$+5D xLj.]N` ej p90bS>b|+Y?瞅!֍v!1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thyM 1O-HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/document_id540J1O# 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?4ӕԪB < [꯼r{ .;ăSje࣎n^K,dy'~CsSM1t+\`/+Ax] 0%!덆d>rɩLr$btnR$hi #)2pap| vT1q8աԍ&oO5qJΚ "ň止 ꄲ؆ E8!IEv *25MD^9煛ѾvTWcM#WBi.1;lvg]De;Y 矘7I͍f:? 1>v/a\Vqn؂KӬGM/9(0WKuP~Ԫ.d6alM:;g.^CVp-7Mp]nq "3X0_e$]̎2"aW5"H48݈{Ǘ/ ~΃JDv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thyM1O-HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/document_id53061S' dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! ,]D?7 {?:fH\{jqc TDVfO1gC.[G s"g?\='J,9gDŒԮim ݵC,Xĺ ){nubpclvSRiA9\U2 [5neandd](PDٜ|^/6=D,@Eudd=rG<-sfu&$Ç7u,@$% v OIbl 21@o[H[PRPѰF[GI h'wahhm*"xp;(8xͨ?~b%Z[ AgLϖb?({'9Vw,f;?Fp8.heo<֗?q]̯ն,#[t)yڵ<&jo=[d)UıfGpYjpϜaz(e݃g8B+Ca9%ſB을Vbb=}\P8O.%] 9cs"8gYZl3k`YݹBesVh{b%kDbҫ[,jL@Fy^ 5ר+ ӮnќiR\"fm f~n:2%&'NVyslsL_ThYM\#J2I"ְֻrB~$[qGg:hƠwx(, }ւbsB/S.yT9"IVU8 K|i' ^yTbmmm:|lD[K8nqdnސh&N{ji_ _^rIr_Th&L8@Y ~PHK(_bW8!hϊ>o)= + RSSDԧׂY`7]!դrߖڧk":ߺs}h4y ئk{\n!ᷫcsmet3@*(B4¦l̼Dgyc4 BʓAة%V]npHU!sQ&W܅Z]0r0`q;¹% #/ E ò^OBYnv*f5Y;U֎S6/ނE:@ܑ)+7>rѷ~3-ܻZK "tY:{Ҙ-L2;X;sY3ZRct% eJw$0HIOU}]@pO 4X|.@s `@'|m@JAqmSpW ,Ene@m 6#E'5lICXn1f<ԇ"85k4hQrnp:& ~\atw/ Mg%aF4s\ܿ-0-E:TO  [B:)$$nR3MS?c _~V{̕0^^m&o4mvRF\k 2.%;# *CV Yf tT> ?VcjÅy ##- [fHqwzh2~gWH0!ofUv*ɚ!;RYȘ6vÊ]?UԿ91_  K/`t$py R %䆹Ϡ5`C-`q!ROD_z*,G-hu3~@)&_ T k9.TMt2Fk+BXi}<8T>xzC#CvsMNOgxa?&'WP:ΰ@O ȗǸlYW?9GzVpJW.|"tO4BEd"2 &e-Lcx>{;1Yn7uruGNpd7AڳgK0Q\o e۞^ܘv JWT@iZ!>Sl&Tq08UbٝXj% y 7@4O4>P7QX&66ޚX\$f&1asd?qlT)(a(iQQ1|/ hx wr $m % O9a}*i6L>r >lsy(]bGv#t,-5ߓ:#S&Mɦh`,ǩPpHkٱZyoNFaߋ"Rm! n<_TmDYuSߑQeYFVZ 1d|-,J^E6oĬ]S.w.RP=u.Pqj~Rt[Y/z<ќfj2\1{=FD&cgx vDɉ@ #h_Ȅ9:$(kK:ᤄhCOZϫHmoh5ml'q[Jr7?*H^n ȖRS/%bx2A%MC aoȇ q\f]REɇS%r$yQ Nٖ]cfw^ԝSq,L~ F ͡GĄ?"#ǟNzcw<'w5suJ*4LM.'IW@njA1שq's=e ?M щȩ^O9=?ÑћCP=c7^EǕ`aXKau5jY ;iy{b/? 6XaP#qtx]f=g@7M4'${G5RXNl%`pԹȻPF $Qs`@ IFj´@#q9\**K5:+ ǀYg C'mgYZ49ߝc1g}AdbL l)COdôu?cV >y2[bm-rgv5I!ɋ!jH%nmIVIx4wd!+LOL\gm LmT1c0•V ޏ_` ?a%[|"X{G_^]&'(iݱpoL*tlG| phԻ n%wY>\ׅf u7ҵ : ms]lW=WMRDv)#M]t)Q 5 P3'3լ V̷`2R?؛%cx5 G'IBˁ>F1+<ʘX0r'$*?P#gKϣ'7b@MD=@Y_TDgtI&!ao@{ 7&:eBC#QNK˸QCwXX4h:(Tϙ5iNE_`:a kF52S[#yӂA~1dS+9uqŎ P$ȶ-nGw5_E'Kn縘>T>Caq wvY:$qxyGʍ, pr|̷IɆ1JD|{„Fb~k/z5p.+Bt膻$#e}o㟘ݪಎ'<&`V'([oj")J!U"U~y*ڨB([;ePwg7 7 v%c>[r*8dˡ ӓ՘{E7o^ʘg%BWur,u(VjP?C!5ׂa 0Pޅ v|;e='}gKؽkסXh>!W@T$<-_BT#>qu bSKN%X{)dF(je v߅D@$%@6S<<aĶМt#7&KQ57ֿ33>1!s;* /|Rk,)j`;`>jp$i{CP07XQِ =8"3ᶱE|i;6ib iT&cPqO#hW3"j:|e%өrt?]z'JXҺeNψ(o$(>Ͷ6}ҫ|3 0 XUކ075㑋C Ha16rJY-ѕN Tg$ڟz2$ҫH,9c^G{=Q NWqC*(yK1QX`:@jb-Jr 9 ??V1ڗ"4%u_#&AÝ*S0.-!!K u5X^ %xP)1)8Sz<?qONJR&r4%< ƯIl謶4p%,ўUb,",fh<)u>+g[ubNw'% 6ybwOn9aد1a^\ѩMhXY<BJa9M Ca`ʗJtKP?P2zӎ-WpQ@>hB.h-505h6+#$"CNyZwȦ5궭!üGI8IT%߬{(?~\WGכ9N`JFybo* wʟddB[ رӁb!'/PMGx/`0}$+*} }Q E9 @0xA@-嚻 fX*.t=b@^uTE96=q~#`HQ`(P&]j7Z|~AT vZ~7Pco" n*fy2#dғٗ=%&k>]=2i%r _Du+&lرn4# %I ڷa9LFeiqIZfɬL#dFKcMrJ}~{{qv$F(@6>'Y oh́OŨ%Kr mr`pт[mj}A1H*2]+e3UvxYԄC <8D5i t`xb] xj T(!_8ov+Q5$ Y%i1݈Q`(TXp腯>GnKTTiG`rΠeT \ -C=와`-O] Ȣ]bI{pv#)(=sDlXy*.V' eL ~Fl@/-G'mJ/srvsQ84gR<&췿+e2+Pf5+fx1qsOUtGF=IF‘ױyΌf EgzXe} a=KMD1[_B[E5w`^=eYvZ*QA# }F3 *dgrĪցxA\e%͑X{òFHXxւ 0%ymxn{y ?AMYHM6+5PL߱%WWom>|-\ K4 \|qG `^W8yxSs{8>;68m;icCLy/+t/?Y6ZTn wFy2unΠ Sa21mDfO& myL.dDIǵnWEK h_:~G>n!u;ZFNhRP.#!ci*zCؖ81R E4qj~w )1uO\2a'I%V`J/~ H<&xrJHڮ!%{>v ArCa}L2sjmq HO+[GBHkw*DR p69[.ΈOVɱb N[ I&5Y`5d'L]f#BHpudѩYOE~!eg;%'ތoѩTʿ#ۅ7޷6x}rJAv'e8>mrW#e8ʢ]%GDXY]$!{ǐ mZV` ̛Pȟw6u#T-۟z#yH.S2D,JUtDfz]2XLE:R*_d* l@5PX莬Td!SCb}i / FSimh0 yԩJw;Scc]`.yB1a5g&J/g8vB4$^l,B,@ÜAd %h/cXۙԟ仉"ӖkB fj`c9 Tw #[_wya UfUj=w1zenGjm\7]Ih) x2{\V)Ф̺?u`mk$R,R\T󗂒RUݎ㯶y#*M'<G5}ԿP 8]YB \XN䀊:$ H̯?횜K,\sj=~.֊> C3N,48<**kWɺ?ʩy%s~Kv4W,|*k *Iʓ6Bș4B~PqHkO}?U(Df>$}-ѿ%R}skY}qqyB)3}UFlK)+G*m Me(PVln݁zUFKFb=B)iKM+MĈKF=1[(7X]ҥ; R9(HL]~յw.YmN!#O"&ahFd,J&2`"f핉 ލxrNǵbDm~$tb26U,9x@|ݣ|0 YhgR :Ob1_rXKz!7=?̃yAAǦGoJ'g:b{/[avoݻb`Y1OW6}K: .F&Ӿܬ&TuEu}%7wsAxcc.kO6[KAťoIސ@EWS׮F"$Uh*O,"smoG+gYZ ??h%1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_D.thyF$1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/document_id548 #1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! ]D?7 {?:fH\59(g{#zHZ0ഒXj*ySvq'P-|yB0I=49b[;0%5VrJNuJ`V[pz[<7xDh>-Tؼ굹h?U!uQ)fNSz>kbTN72mzx{:~̺^JjuOƝP;e}f.ز( "r-B)SsbЏVdD/0d.7_|;5]'34P- j9_|˃{ȴK=Dhgh׌>sr7ɅFf\.(?jͦZ}ЏXPݵfCwtz59+hKɶ2zmF#ˎs\`ăa1Pƾ|\I4|=g{(?YS0!Nؗ2sJ(J]X,s.Ns[ uj= jke%ZPOB, jL4Бd/}t"u&sҟncHLhdw00вZ(9l[WW'ujX)GMMV@r{q"xX+Z8:2OnnJ#yI1+lgjY.׼㼭eQeźŲnO6kZ{Jõm6i`f Cd`7IxX [TgYZ rr &1A# $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}B25e3Eh&^\a#-Xo'/ʓV0A*+*&]鋀VWIr`FE7!6ׁcd杆\_^|%'!+8%/C[]#tː-F*0c?18n/Fc\0p۩.pGuc A0m^'/q$D -ى{&̻OH̐# B tjx zV?"R؈;ysj@GM=拿e0HN _²дnhЯdָíj/mr̅ , #I_ZT{T2jӮuHl`Po:x#^+Z40-j\Iv#Z_SiS(]>t=xwP=qH{@󖦩N\w&;R"J3N *TW)h0[`[ѩ[삃&uU~N2Ya+xsބ DwqU(|TŤ$D J(qtooK>•4 S℻rI`jKidّf R4!~8GD[Om M <@b)Gȓ4؜k:vkkV8vv-9l&Z%挹FO 眩kvwH.ٰ wk=QX .Lo8s\-Y(}DE+va$< p CDx&[D8n*xiZ PxTŴFeFGg^eaI q[|$#ݷ d,X˸ |^3 {ӿ1 gi7x>_B",T5L@"֫OTCgYZ F`b,1A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF+1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id524*1A# DHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=(»\PšPBʶb~c }^c9uv \*ZQƆml=/B#匫 O,Qڇ4dՂ1$r\^ҏsyՍpƱS57,Gk+'Oj0'4BZ&|#8𱄒AUkrStӥw'^Nj0p,)j4w JT ZOgYZh)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_id544'1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\:Js pLQGl)aGu}W mwNܬ"%" K6r0Str:!0(?2q~뽧?UUORݑ;;ЙKMR}nѶ6L:dI m SF&ű_6I_S9 JbH4+[}Ђ)❁1 !7^@_G/mi|0h\jib}N.OD$bTaB`B9 (M R7a KJ6:12.i~&. V A q8 ]^:Јa)^')D<<&a=JHT'X[:q^Lq 0r†4í# \j (XZщN&+ >f/=NNbI}JcQ;2g_#!U_NT~-+;m](0!i@Y=2z*xtQg H3tKpePWI4*lܬ7Z򋧴@Z3oAD(V;r6) ^ l8^\q6|ykc+0T0Ib0f8h[1>f-{t`Ů?G_pB ;ţ(g$ ,pzX՞2;F(; kHzO %H.NϥkW c=#%;DMx3T#raq]V9]y4<;YҲ tiEȃcx *\n<'6P;IIő yhjsY[/{(]GGuCUoJCnv=aMg;<> LʹA8/_&.Ph|S :yTh=׎WcQ|zЏXCρo´/œbGY1z`'3e[*.QC91CYk?~76Wߖ}v&CW)AlSJЋoMTR ȾXA~$hMO*I"4Rnв+F}à9V8jy 5$#/BYi-C,Wv?x>t4w|p,bsw6mR$O3}8%MY aDs ܜ(`MJY֞|˵TgYZ ٯYgC6#&l _7|_)rO]h^|Q1,gQѠwe]DR tAߗBC"S(N=΁}2C|M6i^H6alFmvS,_OkY򏹯yȊB]Ζ5}ŽL11&{z*e C>-i\D=cAP; ;0wBYrsk7|?)~"2k{! 3RP{0j+j՗tG*KBVGӕHAa*ަ:x3مŭb-=|F՟g[> m&}'va5,:'- &+lXN\襹7nMl=6Tz1fVmJXdҧs\7 >h<uJ\KL̟F9lZIFBw(ZNZX紎ZYHJ2 N>wjPɞUH 3ݼ)^rPiJ[ ,a!&4[̘=kQw.a)O[rfZ>}oӂQBVn1Õjv#0랟᳔N@YU:T\iՐ9( ^|vK&WW9ܪwrA96.§gvI(`U|kj*B!Q3pIiPt?T* q7 ؿR65Ny !$G#O]:0Da?-.)$i(+5‘Q Nb("(xlWϩnӿ[ eߠMIq^\ىHR2L)2bKoD!GLp? 6!e-6VO*(tma[vv|-%P#I@LHx4?6[vѬOw1ۄ\#vG{S{%ɧsQph;dzA]~ݸ#hz[خmSN!|Yy8bU?. #,b<7`<ֈG~}a+a^MM"!pUfdxӭtU6EӀ7˜$A}edLbec>.`i\EI1dhnDE. 4a%<2_NjP Tb/P!f&-_kTZ&ՆlYvyb:7䪉$cPN"u?$ Bx\J}y-oS=yHʲ/@Z**C,s 7!*F|gHG^͇Xs7v@?n]톾+D$,󑗇~$*u[ge&e;SMVۑ6՗gP~t"P׽Iqz]ZUI[pj NOKQjPoz8 ʻ܊NH »"P!3G2a*` "Gfzhm& g8;i!<ȩ[Mx3[DW|-Ri l#wPLܺbMHԹkмrӲpEZp\Hp29_ijĊ@zf!N,]py/I<MueSw3MNgEI'v}8 -/Į!y(ΦOg5$J6wN'? % iJ*E{W/DnM |杂Yؙ 8z'r2'U74o?BH鳺Qds͏!A"t820(^E9x'Z<ұlZLaY4D⼔Mk`MVZkd_I>5w+[;@Enrھw;'wPҏ~u,{" Lpj[u)tᐝ9 PҠ(Y؉  uP*2xصf"yÁM9UcrAA:p0+@z> Д D+[:8phr5Nes?R &!'fB {#8!*BV3*pGv} Hb,SY7xSHy |{x9JmNk#<=B(U|M6v~c^$*OV\H&h[SXҺs#5`p=[nCøP/,⛫;3 1tw%Y]# pn$BNj? Cvջ~zYEPcԟ00tXY،t[I]]չR(ikZ`$;T iN=[ъg!HO w5]vԲJV{٥\ASNy0O~=M{ DV9Q`Lfut7/N2$w%5R!e|jwzf#˿&wP @6!솋i[: HwCc%o SJٓ\/H ΄/&B,GRµ}R"2o9h3CUufLi 2ǡf\wd7*6'圖=wuПeXFX%c y(G.+) [B5F :`j(/1NxsO魃\`/VU͌&+!Ŗ &J5K jM/~i ^`ܪ{+]]J%)^(hHvOE]Tfb."%RK-1oU4xtS& b1ڛY+z1~U+C_Vm1,&cDcV_${R  9.+ EGB,c%Q#LP~#EDE!ILat"OêdN}wR v:ίu:@JO{a?xH:\ _)zfq69ўO1QHakӒK *|c< hrZXd;jSd^TxUMH̳#Ko?=z\ ~ڐhmn,GO5[Im=:j> g$T߂Vi R(d0rK'Qw-2;{\[J1&Ɯ+0]p PDm{`#<AEQۉ~i, z¡|m[tLi}r~} O6jU&%j >.:Qso!Ffw',@t{q$;~H. TA-seȳ" otAn~a1KՎmS RrӉSkE%+!a~f,0mW*P|Φ&f/ }!4]łA ZD FDY;UɄ >kB%Ćo8Lojc,:fWo)|0%t1_>%T\ʅ2.3,{Vwh)ěm{,sg4KZ 5N[!Ӯurꨲl-԰ؾ$uZ(AUCw.);X|Q:mw0I)oAJtQ [mWt3U@(2( %(]wS4NmX0r3 HFAֆy+$0$)a'_'#ȗ5\,@D;U'h&D)?WR8Ymfg) ?\xK{ ZzzSz_xdʺ|HF[ R9_fϙJ~GsQyn9< iJ/?C8z_i e=L}8V(ͪ3|^BOƸaF9Xf"7񵿬}&\>!7Pqa.WgwZ[jxDN: rH_/cnGUę<&`2L>b;{߰B0JfƆꟛN~V3$Ifjd/u@dj9WuJ<#|@k1d^r22 b ɝ9i=; 8) ME4%+L;2ty`n4TscQث3m,KWOJ8)"%7mӼD3 5T97s\`).Cfx{S.X97@緄ߪgP⅟KHIzA~|-/1Nl[7QHfY1(=AX` FvxuU){\ĊJ4+ ?; k7#E@tG釞>GfG Ъ؝+կjRW;ߡpZ{Sem=Eف|ܤP^&- eТ܌aGSCIfwW,&Bp-ļ*:8.H:"Nζ;śqRR`C|f4@BqB`l]T xlw@T} NJ<5iй2{Iԁ\:[4'e!݆ y!̆Sy/hy]Ff]ZSp5릂Ou֦J!ReK~1 q=bP.Jmxp .w90kO_ZyE]sRvi{o x[+ֹ>0dޱތS+2luy9|f9ލVC5[GaŧC*VD/Pfք<]vU2Tiܠko鰢yevkQg[EG0XNd1`S;J.g=Po'e,pXh@=ղr̦M<~Erv[Bg"{.&q#sּ͏^_ڮ,Bc,ϤYH^Jtao=67Aۡ z͖x䚩>vWez]Qdn\sw׏Mw\?!R!_i&w𖐅!^v dXN+&#Zo}}Ce%}x$O/U2v$yis1YoWosNBhn' տfǝACԗҖ,Ҙ?5& R!#q[ J?TrRe̋Kȯ):ՁS\3Ƞ!c do*Ɯ{D6*tlCXFnJw F0Cx^YomV&!s8LA Ջ_2gB8(tUL-_%:7l#,">lxRXbd8AAbi[ $-鏬90fP߀O' &6 ;]\dU Q1'ny@P}߿j?Uɥ.&^"n|M)<4nn nTi>ʎ^EO7 A4,пS7QI_a*bs/\7^Xl[|k\g*0I!th1]m*Ռ g]5+  ;Jx,<2gz* [&DbQhDA̿"ZLd\Ƣ݈Pk-HDY;iSf"_W --EىkNR+b@;w򛪇Rp! hoU"FO/*z|X;kf AUToIhWEFdxfP{Z{;⢒֚(tښmԋDlH^%Q26@ ~pwbf8CxuTox-)"slh-J7^2DZ,}.+"* >4B6úZ]9MK? w:g9Kj>ӱA[3Mna<ZIxUp]ivq>o7y0PdMxbz8֯_o1_=-үjT7Z!%w!+e&ei7%8LԸ)sN7?rsUzxoPh..R'%Atlx3[E ›v:i\844AGRS17y}ڢJp#ӿ40}EML˃7T ݃{Q\ 䝵bv:.8I]3*HdѮͿOrn_G}kD`87tMz:dfӐ2@0:Oi[cS"-^ЀW>iK3I2Pe~ . n| |ܧxB')#l01E!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_id536.1A' ,HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\zxǪ+uMAϳ`qR0MR`d%%ne/'6BH2?FĀZ 2 [v1tO6#m%)BpG 尣5 j7:XUFP2FUŴQ3BWT4hc23&F;"YgX(þ$+ǧWī 8;2$u%%;8 KFƬmG a5-#R_@8E))56@dXl;OFEa?09l |pDdNݧJq~Sm諫RNO Izj!LcI#C﹯c`dD1y~j Ξk79vI9g$>"E>V yt>6E~ר"e}$HI JlQ>ȱgYZ$YW_dᄍn<kSkn?aT޲npW,\u֥P1aPG^qDZ /stp)ھN@W}k(?t o4xTmjr~(d/[DQzp^=V~ |_kܪ35q VY~At•?ugC/Oi] `BHfU}]KÑLb%@v~) $xۣkFe)otJJ)Υ5eNIy3#<::o{PIEͫT (N[Wosa [@0ZtD¶/ws'sĢ9dGj<x4hּ3e~t!02f)(UtŤ.lfa -)c(jq2@:47AQ}w~>D$])6 Lf>ݾg6U"QU[Q>ύ$g?V fz&rg_K$@n`.FA;`U>iʵ2G8p9MimY+>-hώp.l/xtmwơd+3y*^1ΥeE3 *>݅u*|gTo ^Gi*Cl߲v` sn$Ǝ%l~oav %[h2Q o4L=˹: R3MQzq'cS" cn`h uJ243PL/m(GbYI1h-QɪGXkAwΡvʨф &%=M9_:qC,glC}%!HZdLlNpHPAsWoiR+~P_񮓸-l*؎n|~2K4 @ ,l&:3ܢ.pV_/9iQ װE߰D 2sZgeO5 qy{mf)ж'%avv(eD(xA?=#۳zXȪĐ7lEHL S*<8N|LZQ`QxŽV/8X^yRW2a oWMTT (W\Z޳(1AWc"E)Rj9j케)ɡWM& x3Uݥ? 6Y= A[Z#* $pzh rAt!3RCJFJ{ >Y0;,W|8ץRS$=NxU;>d5ͅ861~ 78wxkAVwCU7cyv#ZMI|* Of:jEEz09W)jVnQ.iу2ԠAF󔞛N#Ndc]{#xIR +榛]$tK{toB$#Aĝ' Կ6w*6DK9~N/h4w5An{PI w_L1gT;vӵUW}"AޒUgHJK_ 3\ys{oqQY$; M"g*XbbV/{&oaSv,eS\_3Iiuo.fR֐-J{ьSc-MmFĐ.>̣`[`(D~\B B",z6*Kƺs; |!8بW[1qzJ1Gx_Yx, H@kxynDʧFm:@w/6DBgc}e ׮ZTBѥSh j/ZJf[VcuL`H%F7WzDHسڰ* w3#NF훝Fg fj]M%Ph#^_M&ZO5$/!<~cf.C\G(0 QQ^s3ȏ 7cPx9"gޞ۪MG:(xЙ҃dlt.Ƨ84~~\q&N\=K٬6G_ۼZ@@n"q $ APDMZ8_Ⱦ(¡x@iՇ׉>O&nsW ,C|MoIk mGs[3 p{PУ^g1ħ14:(bʓ6ww>eQDl7ZFM)<4Og'k PvC>cѻNSa?_-J?@>`{s!E eũD6؞Y=6)bH1 "ۼV>3co!WbW 19Gt$Ӕ I̡ՕAg)eY btY>%ҥXYacN-aHR-9# JRu*b5&U8 91Z&2M#2h1j$FlyQ,)l!>9ddCSyVA=ztme⭕0M>pG^N;HIɧQξGb25Cڙ(c/}etNbgLs.)Hd8n )rū(que?,`*Ꮵ̋UKT7%="a? F^G.^-L-tS{6Ѐ̉Vbɷ>ZRo95>͂gY$1dWT= ;E t#frPf:fAfNݵ@VICx9~f`*c \5" 9bIKRL$ݴkOmN; 7Y4!`Mo@=k3C+ cn)AK1"DTx03gAKV} #r߰ܬB xƬOt/a7~@ YQ_zN5 %Taˣ[=LdZa 0F/aN5 4ΣBĺ[J[al{$ <ԑQmkcpeR)= 0N(?x?gF}Z#5\)աϭѲ[ 4zxv>}C$ EnS *C G#V]+'%j[d-_kQFέ6hsv WrgFkbZ5[<[KNcH&Pc+rsZ#?ț{G\p0e"l0RWuP-z6yǙl}8Ԃ>0*I7 Yg +=-Ec$n]1B79CVᰡV-Nm.VZ0װP̲]s0֜M<;E=hdhNҫ,Y2u *emBl ?ŕ7,Qnvaٚ䘦FָLeYLah݌N7KV c${hN LDr{REnkGS'_#∓q1&̿:c."㫘DzF I+ {7HGa@F#}Oe6`XSFB5W]}9hs21SiU@+K/]Wӏ)M/6/k?;MQђ:M[Km~153a :+;0ߚ]m%FռQ16=gVW&vPBzM,m8!Vlkfj 6ٞ5m}[{`|ԇG*2:f`ޅ ُܴLb˜mw&"_d`1k$Ks&g V޼(d ì *FEiB`GhJѠofN , uنGil6­R$>}M*;,)g>)x9#6H .(6q d@dӄxJ" ǘs=nZnETוOaGOч l;A1 'gKl92s9`㖃8vc߅~F72'i=zD Sx:޸?*\bX=/$6i{o+\gUiC-PǦl-mjedž`S'Kdmm$+ʾ~ 'fx.`H-,ͧd-'cùl^zUfaUMZ#j7>V~qw/fT-Q]85+gkd>rEW)Gz3%z/j 7[}0j߶&79@9%,ւX N鱒֖CnQ(~wbu=PGȐ>stԴQ^a/e;3U:Ķd?@VoTLs|Ӓ%o>OeaTT5!W4nP^&Rkq^\&GWBݬ]Jd_ )T@N׀Gxp>}1h"WDcy S!@XTT02Sx0NfNXe5n䰞 y"if_3#fvA驂-6eH qGu7j?b!ܯb(1R,vN- VoEɺGcA@)TGM'Hm[.=9&K2h];p64D<Q+|Q6ts{Uk@pT'1݆ZC%-2+P+&~6ɑC/eDWYPM阫bh0jyi* b2" 3ͬ`ߚT5?>+kLLo622%!ZS|UnCo`ѢIlQ/u62I8F:{&+2 q<\.Wt,7DmyT{sHR͎롺5̪'|_ :`6|qh8(]SsNHc ϰ"o cDأ%Iӯ3ybfޒڮ [ЊؽR ޏt]-w]?B%]&\+.Z&Pl}_M)oZtC}.2χEg!;5rQ}чIJPo@ЗJ#Ξƕ.>er-␾oIXG+1y Kjތ1y&cUX4_hB KOX+3_YD؉bɷ̤l(!!#|%\<&x;G;J hcc]tdД ; tA:6QACj5qyYͻ~AC#zyF<3%Ik~^ljeV#.rv0ȏ:6@i[')9f[|wc7W1yݺ"5㌊ѭ~&}8M ͚yMY.w , )g ar-=e"eCxl-2X-*W@TIbޝ1~`2ɄKCxWyT A0ȦiLq|DK_*rm{1Y%! ѿqpȻ0tu懼&._ۊԲʒ=ϻ='#}QR_1K'q۠۰Re5HTf߹}jD ÓnO2}kÃtê.G."oT7ۉO,"\Z?Va"BV-*#^x-%Jft$SdU7X,멗f9`6MkI+IuS28 Z b)68 XH& 9WA#w $Jwk;~"s{{$bJ._s4ƒeIdVo R++W WjN39/˖XTIsce<?$꛳s>1vF~1~kRu `HyW6U,y1. RjA:JN|[f/T.m-{c3j0iyK KP/1upIcFP'.},FլTÒ̢Bݼ/ᚼ)rkLW v%0\㷁<@<#$d?y(ԣhη(Q_A(yw \6'RWkh hI:}l\Ql2Hpe ljRij57wp-j^܏t7bHa)C89=IkcD'$zCA53,hQ<zR%p1gOs>GȿU/JC'j0SY=رY?# ;=قXW%Fnqv[4˂%nk2X\@u1ׂ{sU2pKkV3a!89Y#acwȩf`=mtj јmͮJ6L_ \.TNư!wjw _;}|G$a) Sط_Ggf]t,Jͷz):3-j #n1lm#P>1BLV~][z.xPDWa` ?̹)4d[x[Cq``l%qRNr7VAgA)Ft>#e{JovIu3k]* Бds_ֈ{DDZ^ӿAw%,{};3=mϏW5̦gy}M.JQD=^Vy Yi-ׂʒ:BnYuޫiXSq-bSa2+}x, 2Jɐ""=G%,>G& #-EwYu;fbJ,19XXJ ;GBRds 5?`[>kp?S"@Zm9Qf51+K7_uesFc@n@hK4 ?zh-  4m|q9 B:|WOK'a_z&#>U'( ^Cb0#SN](yCZr9b!o914[恉mKs2`N#}kpys!nN?X'Q F-8.6'1|?]F+ ns-*nVLR2WRH)5T\HeMtHw tpֲJr%۴AЙϒC. 3oW緼MN cy@Yu0 3Ky|kqY]M̡ MD:SÙ(b0+m=qJHecȻv#(|C=1`s0AUY%VW{R ̎e^)k@+2. V´3_^; #?Gx7np^}4;2zV1[ɪўeo5Uupԗ> ]h[;+wo!rޥZOAƤ,-4d {zf@`鮆Fb y}:=uܟԙČ\i*1O&ڇFfؠۚo!3SK}s\¸??J$Z,gV a02OhD{]7:M3Ӱf<;H':`̅ |uZ0$ô Jr'/(`GTwCVZbA TMbobh[`dEjɅ^]V @[ +Xܝ\K $`Mȏ/xEf"2to_9ƭ-ޕ!{ptHOf pՄMm)?ǻi{zVumѬ"wZsQad<~ ˛W[\ Lnq[}Im|:ɳuxiw#P=̇bg1> r)ϋU:fW"1Ypٹ~A㦌M{G}RkM픣sbFOV6n JB!&kBD髯 p(.b1bOz\p!Gnɵct "ZeVa\/!WAWS #45y- A!S?q"9%s%z PZ$E3vԆvUVȐt"@Yi鳂}6ZU+_0/c* aB9UAz)]{R_0QWdcmewg!u.Pq}U@H_>!@P]nn^_(Cz&!#1Wmm]m;wT:/Sw8TgpĘ`/zaLwC^SE6ZJ:}vlO,JD4Cwѵ9 "r}&X&pBgFŖ8OSkLT %$7Ds('%+:<7qCn;u5O!?/OXBgҹ|E>h='TQ$]nUzJMx]>v%KTӰ@ d͔ d0|B_i zr .ǂ 6a-=XCZrlU.`VxOhGˋNqwՕy+oEضaݸu$J>S7-aÉα-8^Gu.C_ۣFiTWZ[2lmM,Weհ7G" cۿB_$ݞ>'$? ķDzSMӋܛguUٛ~N|9xEHhwe6t9Zn+(ҫUWNc> !nLxH~%;9rחW)2[&^NAWp;F|]2z hD{B3=go^"d|6i1.-bn1&| NEWSG"Z 0NwUxRROmO -[ワwzc;#RN{otw k-Ws)HJ'7뼡i7Ι/ T'͊7m\"5G~i+P(ofV &P6wu bQp䇰CDyck;K0_4GJ?ΦgݡvY޾aF4H5%`XV3S5;C5(`yേ]7c! pLFլǂd`9V™X*H ?jMn)aAW65<}ăv_$m=ԸYEx|PvjQ^Z2I$ 8b5B *?쏘MR923/nAƠ`e~*ka!mZ9|I*>Ekɕ dXwoX}Iy O+b璕"#9=&B ٛzEÈjA# stUzu8t' kBK@èXZn \1ʡaX[[LaQKw(5([CZ2e7eXfG"Qf ՀfqB̫-sVxjm$>""̰܎?L¥"|D_[cK*"|s-AAI,xZ>G#Y7N*؎fcƸK;="ߓcF)Nulh vul:^Rxd҆ݡvE4r}F d厦 ި/Rtq1'>-*NlG66y؈ʐo:TgKa UC/u`-$+*2Oo/R)f[C'ң`^ʁ>v'Ls傍`3pJFѮǏ%g"ٷq}w^]T;_.t G{<)4mi O ~ &GyDh^*me>D*BLVm%YeSqJ"ܤ$k7QJK~M[N[GEg8 V&ފw[+GA81ӧP$w5!OWb/TI<?~;jt8->d$ rkbGP]Q+V%z`}a"1as|zx~]c cwMf ,2~7N[@bW(k_׹{a{VnI_~]9Q.龺)+Rc,%9W )˫RghJ)R\H~|OG0]O $vR#qC]ϳBPcΩV]4J @CGzU15!{ҥ+p5'dW/3=+n2O~L9nV/Pu>$i+d ERw-ȠaP./%f쒃z0yʑilԢ65FGCqidfkwӕ,sLo)}ȋ`ObĜ2#"Ɯ'ۑ]I48撅h; `Ylj@2N]-Lo&ZFly7ǐ܏=Ĥ:&!6U ?\:;ɓ*-ն鷮/]'P"w?T$)[[B-ˊn׺LzdcwE=ʰk*L񦈹G}T}p鞜/u LeQB%gt*Jͅިs|ΛPk=)ڬmJٔiL/$|]Aįǻ׎|{k:<9@V)4S>z Y2D/Y,yPajZL}U]LRt44x{ڏBcI0sG3gMX.U&*yq`g#̼ !N[mU<[Hbfc"6pM.aݛ xCmF Zjq(Q4Q=Jz{|'h ̈́{rM"2CpJbCTZ. Ђ<09S h͞Bᩗn@T+6^U#YpWi?z'E-{Grn ]ryuA"V:4<*"NaY/NڑNqlLw4ucΊ}GNY *lv4X9Pfzcm Q vm‹iE-򬑞fM{lPX'|}l򡣸HכKqBޓ;`N0?EaN7AH5 dv<#-(+N9V=>姅I(L(0QT),vtmpMkRNފ#~eͣj9!oCw福=x%_JnMYFLd4L}ł`GJG&{"Kl&݉a6P ICE1r.&Q%*t` l;F OIzM;3Aڔ$f |*!ǭRm:[guFo{ ٷ` ~(U0긼[z6yєx/h#BҐj}gX2(s:? T,raN5KW}(* JaOF5eOKRl@Ft{̲>>!b*9]r C3B" K;.[!= )mf;$#x8v7C(|; )Р)>]A]kz_Uˎ^*2z6ĒJ 0fM܄oA[(1vQX#^_]oY+3 h#qҦzL=(rE]Nv?Dq8:YZs6zoY`R O11U)H1uWF'q++$18o)/%I ;cOɯzq277"eA A8EWZ4Wa'?+`R awP90'x|]xmM4ǷxI_Cn,]y~UJ47 /)yۋP/Spx Ngq=gK402HAJ}.4P[ԙ5DU3Tγ kv'WmN- TO5 >nK ]`:/gK%'4f*Z5넰Dhi$r,QїvQSLfa YǤSy~ޑ'~_T("bFxda@_jȆӵ M*leҤ'2X<(*$Qs)k!E }(mmԋep9EMn"W%_e~4z!d1ys|rMW*~L]r)}f{:Rrĸi,Q6?g;0?t+t4ҨW׼qDg7{٨NƺGD|R]HkRJ#R d%H&lSo:3FBcy6QQr*\e lQG;:4-89zpEC~Fև+3X잕+lj)T"$w$Fӛ5gß:ܫȮH0zK P}>l3qQ!Ȑ7¤3V^4IpFAmD1OhEфPݗ\- f4@}Da&}*ˉ$׵Ɔфyױίߑp-vKK;O/ .~Y;>j^I^<)8k%ް_b)>D,ORC]X}ۊsIn=MOm!tZOq:~+n.NgrES)#9ə]<:TF yf0ѯ*t"h m7Q~죍}w(%L$"4JLKMN-i~Ю߿؄M>|Th]Hh%UKj(7p_!0=`BSIw^T#|=,P T_ŠW!w_B#SL%G4=>|@ NDj]fŽ/ky-c |}#:ο%yE@ sHhM-[a Fg+XE }A T`3KQ']1_JHvs7M}.^<8a[Rä5oM݈ ^݃l5 2&1\JP&7ǙL9>0dYZm 3 )T*Fxj/+Y8U%Bhͣ}e">0M[9Pp,H}s D&sГĤ/wn_m +ZpzHL3@Vފm!gd\&рIsDpy]߱xY4c(->y:|k I?ĹS{!kFa0Q6[ ڙzu Y ²R!ֱgYZ rh41A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF31A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id532C21E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\5=g?zJM70wʴ՚;앂)zNþP:0P. 1#PSzFrObnn4>F`qɋ!G=\\ 7T*\ufX69(}ktg%5;hnFS.> ]Ze\ПQ[oy J?y|w'@ga?SpDd7s]FB%;4S=w5vyW-ȇc7jV<@Ux7dU$- _zvm&] f$ __yqS9U_e{\ĉYֿ}$gҪ: ~'ޟNRÍQI9Ƶ+y@FnBz¢yGЯ緊ibpa2$ pG_9G.0 %S0*$ac[+T;Sm c~C{'%a 4 XqBZ*nX.keV3\\Q_^c8OxaϟRBEpVѾ*9yoY-]=a>2 \eȱW#0!\g8Xn'tȘMoo Af) kA  T2(.UT/KUꍏАFu^qmȂyxw}ؘyfriSo3TIAAo?W%D zùqT<djudkyv-=~ElCUYAahմ-K[e`,P"4T5(-MzAzVj}OJh}r*j%Pw/bFh"B[c 2d[XRp$sRy(P?wBqLَ,r-2c쵳zR bGND=OܤϫB͟p1 ˿zY^WVV-|+;&<46U^-PR.`沎(W7ϒ j:.ӻeCJUTIF=tlG朞a)uEq'y75^4.Ab`$?YTm|* ,ũwtY9z~EHfW`^a{soR|=2r:0yaSo!#+.c<ֈAAGa n# A{t.!X\."$G*hv`}S̀e! 2)3{Wg =ּ uv7ܯa$%T+Zi l :l4Lf:L{䄉K'ͰzBEHA 7 ZdX UBūb rw\J {5}nQz^8\':@4)̠15rEyWek^0.P_WuuvfAN}j㲎=2ql+rd ~9;x) u<>gD@'Z&Aզ~[S5:r.Q{ye}ι)HY-igf)^Y %GP~O)CŃQPdڜY2ɩ`"/B #vR|[z(ħh=?P\}c)Hē~:h $HLm$GoMuZrA L:.i]dSP;G2^fF%1x*m|E%LnCW& ,;*!LJ-O%C@Aؾ&1n|&o$̯roQ'tȋ#^5[ҊsU|cbপ"E314o:=צKM$uF\ڏ;n:]x`3 r[a;lH&ǗړX.u秾h͗í-FIWgtЩ8!$뗊'` iǿIkI2+TeeƫmMO(' uE6ޗڏovzqlS6^Hf-{];NE&?0UgYZ   p81O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM71O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id528=61A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! 9]D?7 {?:fH\3^v%}łu>12ck ;PzqH.hgѐ1#d/NVt.ö@ADY.WuYG!c}`H^R&޳hd{3O"{ N?Vz](i{%IU n(*ROKC]Dy91"4GZmD[gd=R=Չ8Uuk  @1qmSA7gڰ _Ug25Z9C;K)~2Gb{B*L鯔AsL\SfAQrylFB5ė4 /%p8o2́6nN > w܋| }'=p2-STDre3J -%]۬ͪR\9tZߜGZjs Ps}c~<;g85Nҍ=t':wk-*KF k^$ҴЩ(5M &۷L2qrW:0WNwNKQ*I;%a=dž#J;5=Ʋھя &@|__n %C` ^9Ĉ[-FVoمg 6uHAej S.ʘ{/ aʱgYZo51A# lHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! g ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-yCz#1j?LujD}nLo=L=+bv-ƪ*2Ȥonֿ1JVU3}ح+J,TNjY3I& (7:]xM#l@V`{cPD27=?%W͏94WS3T~PոZ4$iCd tz"z(>BW/ac;].VxyމzQe%,bvW(3MuJ1¹&f:gxy"A,Mm3Y0S}(%f::_h7.esL4SRL|`a:Ih;0 w,=o&hzXUCma˜ 1GoO"{)cs54,ܵHvn{MiakyI{:t/B)L1Q%idZ=TNm}i~Hf )!x:ctDuY5}-u_ac/VŠ.6^!a;25h1kNG;ɐQKX}6Ì5w}`(|!xĂ$5EJyY[[=鳐O.OS7 ?F1И7ĿeIXd?=QOۉ @*bDT}aitvV1V&R]B0"^ 2a؃^ДCNJo9&3>iZ1BX5X(~.V6FjDvB5VBTHtyb1| i)=癩K% --*|hv53br3e:Pxa\\%zK&A_f:X5 P_bմ%!];+PC}⋥ʬBPs3(P<'k#{h<kzRk6C_:w_iDnMF綸x6d& 2?,=i<[G2zO³)&pޠi,@rS!۟IۇXxj0fT]A-3xאoK)Ke 'T!ъb[pGQ'G$#iQ+t,#uZ :ԅl}%C3GշVJHykdwݮqTd)r7UG+)u!ȇBPېF-h >99ko;@Ѫ6/ Zzѣ&Sv[vEUFD6-g)#U(tHu2a3gtGf]]FE `0v*M`F`Tk(3'ЧS&$v  PzQhop7|N9GjzN MbVܘ*:GL!Pa5#{ts+tZ'in,ܶJlNK2n[A\|TNve<< lMw1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files@D1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id?F1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages>D1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup=C1O!HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/filesf7(p-P Ş9pA7Ai#Į=`ҷA6?06PmXh3*ۥJ¦~I.zߔ$ʥFDּ% Y-[vz62^qvJN{‡Πח}# >9_`H]li"#uط_ lTC㻎++P$9.X:eFNJn͓.o)jWNZ;?+i*#bsPKV{~9}w@Zb(Juc \!q4PXBzڃ`,O c]ZFaB9"7 iU6Z↫O%fx, e\Q' f#kc+l}Y ]e,b2` tL!p>xbPosXs*sXy.ɿpyj//  'ujw!hʐ; :;KOw=:aS秬Z i .l!su2JF!w;@$8'J t,LOH.=4,bT@,sb{~]|qGBK|}4B$%oq6'[{%gg3F!0jn_z> Oj5ߠ¬~?-_{Kw\&uɺh/cLY8}pMclֻm-| ތ2$F$찶L6(Ce#RchL(vPu7D4*8c|(7O)"0],(M}]9i$8(\|d<ojƖ@@N=hU=&rnbG$fUG!fN&| q\?93x K~-^{g.mp?.`tD0nz}z w;Ot̽)2"V=AX="6N =߻ ?*bCVqbu=.7k%r+m2AhQtݮͬŢ('s*A{,}Cytth`W0Ğ=ggqٞuYHT-VD+|tXX ,k #R"Nה^>#͟C=m/p_K=v0`l=R Y&?e)(RY\#3 X2?7zq)$*W٣Q+\)RȞzɧ5:SסhM㲤%&0,17O V0x2l^df[J2l[~=Ig3n%vnOʈ"4Uܧֶf:z%َF¹J"Y ~aݝF;R+6( ]y2 4ԟWq`ئ˞_6Xaͱ+ Ks~lvFz f= ߘ!: 5=Eec\&](P]1"8k+>qfغ#& Ϟ2|xR_>,|{u k:6q(pN2R KBI5S{b?ۑPB`65猜?X |"ը4c [;75#ry DD]ԯzP+` Ήq MVbpC3;[l [?QBJ"0-J!Jn*@ٕ[z$Jk1WCXq޺'`( K_[WnG] dwWG~g=mo%t6|\pXgh iO <]vRh#cOᫌ|d MӋPv\aj_ޥ#CJ@ńj*JyGCإ<];aY`2nlV%%@82E U2Dg'$J]?[ maT1Q]Jx.ےV? }%PF3; 6&zu;P|4NjX7)3{"Du\u{{yB=eL៊eAs08,[ǛinGgQK_GwMPU-$ў, <q̬,GO~UOa2]2a)e :jxרlxnh#-鷵^5?b:v̄QoF/< <_/~iftָ"Kmq0rȞG i,3H1N"9p2(g2yϥa84 CxӖ ^ ;c,nރYh"ZMŋeWR|yIt uyƕR2k/ϭ3_Mb4Fl,pbwܞ s歙U 1W]Ie#p ww|_|1C7mB6|=3* q2,V x^QQV_#=&S gg¸B*clE͊ʱkZ~Oʺ=,?kTЍ+t$VDmLU]B @V> R1 > gY[ tNpӏ)OavsgTðZ=b 2b.w5I,"~YU 09 TԔxHY`9;TcMG)r3"X\̕$=X _1 osAN{uDCcIWz0,9W'w;iyY!{8=51,c:ɿtq<"C׾̤)P:#PN#;--$.~uy_to gyKjReW4e"/uUBskavp5mUs|1Y9w >(Td]iᵑeM%0(d7E#h `g!'6}盅EE0$PCF쌡"hQLNs=D#=AƐNs,Q51'FDJb_}\$CRdl2pʓX"ϟ* u U1{ax.JÂSkdR*4L:c3!c W|FǠMл M ?mCƎ|K>`wf[^~r'&;g+7| c 9v0薚m&q}kPa*oJ;6yHi)m{5օĴZf+wt0f<걜R{{ 8[cϿ ^}'%e6'JTԫ7gTV ⦝ XM)^2.'ԉlA-QV[tAk Kl0EYm:,·=k//&nÅ1?!ߊK8PNLCb~PFsRo5*)ީp=Z]ױ`$iUN]1[d %Z%Q1t%Q>OBa4rQH7?#̲_WnRhL7\hmXt"ۍ`>-:tMTӴ7C)Ч ҕ6*1d1X >=#жcϪ殙@Л#-.4f@RP8IFl F_4sVGZM~nD#'Jqnz7Y]L/m NfoD^P6;TC T@{>%E'hPΘ~*k p '0p*nl.$fTV3ްͣRIQҚx׶Qd[!(nhFϷi<,ڑWG3ڥ O WNc:DS?`/|}"' *"WݨxH[אqE5-u *5|[u*<*&aIfՑp%an u%׺RVaGkO&]|4,niUC9&֚UgFcLܹo<^яQ}_w7G$LWvnjSLC5&t*/ AvdjCB~dk lMAubh8V!|NQB" gꦭ(EHI *njRkqS7cxnt&2֕xX'fU͟< ',fBDr,JՖ8d K3 +b{VutTH#D*IHQ/ wah2ϋ9iDIm[> ^"SUz4?sBcH1h{dPS66WexVs0 Z G40 :=k&.lU71&ҐLo ~s'/^rL ѳ~i| ڀ6r(Pz;AɵMȞdF(e^QlO2s ?`h2Q|?^IoS [K_c7zpGP[r"6TkF3hN@3EVi}'8,\mʱw6qKn :B=\3Aihkc<=̀~@r2>&0-57o0ΣyD ֈ$AHC.CPXݥɽ${KŹd@'3-nK?`M0kouKka#ʈHFX:O QKUxVrPj/ؗ3 㪗%МcBp(52}S5xΪ i vj]f OD>4~;Йm&vg:SUgnK)`2)[%~Jx 1Em&e*XT>{#' +7? fw!PϱŗoU[U2̼Uh8v6U,{{+Fm/cbY2)tc$˅ym#WCo(C!&d:M^@*[Kc`kPYn\7(_sYpMֹ'\c}*%wϼAkެf.4 VNT{^:7XI.’wMS:ZfiR=%\yШyΤg~-2h!#(4'Tq *hnW s"O=\٨q'O1%杍v} zێIWhr3MAf4UU»쬁-ִP"jy ,A8סr,2p =,v@};6wU (?ru^i4d=VN&TS* ވCJs˥\9$V4JcfIv?1sj'0 *;ӧ- 87Q2N<(,'q,397dsw=MmPdUgVg{F g`~mZAZǪUlA Qa7.}YΞ `D]—l@s~IZ @IլdP nmr&Bp|e 1S2Vlq*#os鉍۠W=J&ݕeh eWsDg# ^'pc; 7 1XɒǮ؈'A:%OHOyg%f:.ƾ$El9C)~/ۺ|&ڨRc7DO{a+t/5 '/nBŕtkWAP<1JItl[i 糢rP?ۓyo\ cUM@1kK"T%E?/eZdLxZ;V1_mΣI[ &^ 4@x0ūw|A+vQ#-Հ5צD@ A@*1jh>YNк[u!391x".kk7" եu)IZgۮZ>X4JlaFl%NY:G3 nG jY :~ft d1{ ]u&1C 򯰬䭊4D 塲pL$>s4:c6@@ɻeآäB>\V,m%0ʢoř+ɉҚoL>ίǰ3sSov&1t6>qTϔ'rEō|{CxhG_(MqP-_J\cuګsFyg0dw<1b:U[wѝ"~t 6@d"WY.U F'.QچBTxg,af n3Y#U'&B 3WX2C%$[wUYXLfq]CƜct#xd%Gچ B6^mjPҧ0 1nń/Jzc5=߉ZHofDP21>ٰzq Ӈq$gR==ZY} L2Ǯj\E읅\}piM%/>yK-!E,~Z~53_zQ3!9w֎d֗Y[r#X-`2g:.Sr8eW#V-'O+N=⚜a,8?v D胘< E'1忸ݒz"X3=X@cΕDZS#7GęwIVRfÜԏ ؅ޑf"1OA|HpYHRJ\w,lTMT~f8DńE=oHzx|yB1safj+mX &(YS.r H!B1rlJ ki@ Qpnd}Q_#7}ef0$~ts2ѷ>Fk{lPMƥW4\Ȃ9VVvFؘKJxBÁ7XdC:Xv4?RtfQ=IZ@x EvavAe>Ks{1]ןfk=cP~h< ʼ8Ger_Ni YT%sV Wv%pFgτ|۩Ѩ.`wy @AYI(H 7tg>LկwVݦ#wo'3®fP |6C"B_%h^VtqEcfVItW񉢘@Etad3xҝ PƔUWTzZV L)7v)L"o  ?Zo7t:gQbPzy*o}5e˴. Cѹv컏= ]b02"WX96`ūwfi& {ꭳ! <*5'2|OwIK<p~cc{rOl^ܻ|½?/ED|Xvn2}"r53cM8J?]4{hM,dra)fH37cu&deFbq r[df#{?sxe".gf̰ 1#i `[xֵX04??r- CQh$i-[q::(#y@-*7eɢK۴6T8Ho"GI8vO& q2x6>*łůɕ ]a<ߊk(LmH`6%,hAaZ3ϛLYfC\0Ѕf(+p{M K\TZ1Xeofd)rT CHFL||4h '̋pUgt)]}K'-8-wgN@*7A@vqew] S k|F*gB G[k+&@+Kxڵ /@>0Ks*M>G ]$'si$ f{igTЉ% Du][H2 }"S&qhߝ8য়9rS])g8-'ޛ/!rR9>t8d 6{$׻!I`ʞ4y)<'bA S,<}F(OD>%ٱ[+ L 6McP."9HZ8MODiH{Ww_D4ZhXm*5ޞ؆ =~mghj89U7W8 NhCP{ ^wjwQ}/hJ*Zؖ=Ma[y喹! Zb+e=NtRuC^l'G5TG 5IHiv s/OچUfziH]0I2tj4æ&5br0}x3B ձhC]P0w;=`oVv%.Kt^p_QA$q _hʭkj&2j)a` EYN2vQJڍgoB!:g6s_F0oB9H67J?4E.PN 8ĈB Dtl{om8A&bq=5uNʜ˱C0a7nBHbȦH +!  xG x:ݦFOW` 9ISkFGbzskJJ0'Kٹ(|yyNbHֹtjN"goD&FI"vbC>YIhsU UBN~!6#I () t/r#pVWm)Р8fVn5}PWdl6Mn>fti$/뼼l 8]3VYN2< pBh"XϐF Nb$>HBEteL^?@ dB&tkҼF I4 |ʛ~ 6H"!>#IU8)W٥AEF^1XrU.ޕŒ TBq IwpH8&>*V*hHsX:3,uh##[# ~XCRV,.T7Px߉cھp 1vuHdXH9c]#8+NBGt]3|Z]<8Wњ'\vo)<@1' R68,G$:񪅇V`Id7bWjŠ?}aR*uggYZ  v*A 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[#$[a|\q,C;C7gԉF~q5^ju4{薟=~a1==+^tb@}dNO 7_k<2p_^d0!3:l]ew-*#Xne< Ioʲ:1l@1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyH?1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/document_id538@>1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L7]D?7 {?:fH\thi3}zZ—Tmt8 6T_!1kjMRes& fkHpFa|A5nߴ A+?}ë0L&@wTb]aiJulTflDJ5 - НZ<$X KRbc(N{YbT޷W]fݻ`~˶4'o6,瘃#t7'`Az->l҆jik|Q> UO[h LTaTNP8 ̑Ҡ]Mr#l)TM25P  ӎo5zL_<(\:aL4"fh+g01)Ihxϲ֤ ȃr;;~bhUBGj]#v_7}u픛#(gLF,Q<: nW뎎tS]`s'p!5:13!}hm Uq5d4A .\l"JYh0mࢲXNK^p{NMUGQ@f kb B('`gӮ}=pADGL@PQ{Z -~0rx_ -x V/ "85YgYZr=1O# dHOL-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|tg~[( ],,ĢC Ap6gcܭq%-8s^L~O:1-nshDeMR3sqO,_o?P. kF^8}-7x ogX`i&Â_Re =U]9)ކ#? FwWgۖUV}b5 yࠐK,tz]־sӘUN~LN{eC6'6B?t$5߇>YNHsK [?3~FE 2Rl1*EnHJ2 W~R|DE"o}LmzRf^1Y{p)?2t,8D(3%`*ƐB-%IC V ڤF r;@8 2Nn/N-IӘ:VsVW9js HMkGt~YZ.r+o3Sm` _sBLBΧ%b-mL~ WGsu@.Sq)Fv0}Z4p[$0i*еrt3BWsUrtZ^h\7fhET;j 2fԗsfQn}S :\ƾc'9C#֑!TF 1Q}diR\q{'?۳w= $n]Ң)ldd006bTbT}3-P&-NbmԼ O35Or$/2KdI ;=e{|Bb3S%eǩ{}V&0ٔh_ڼ.KJݼ/,'^wョ pnzNRbƳiiG˵]ËF~y 0=BYԊ2#ܭ"GW,I{i<n[syҰک}t ^(4lo=̈LӦV^9 =c4ӂ}GTYu,rT(Agt|.ed`^ $ ݖ  i=Dr9 };ojg;0\} ˰~YYy-(BYuX蟍*ݓ\@P8.7l@?6M6J,uu.F cˍQv J6ĿY.X $ $&{fE2!W@ۜL;[]F 7'nNJO0>V+tT*BOHǿpQTAB.y&4l%>niQ-v vr;HtoDi@8˱b\݋{_j/2tf f c&hN~Wq]Ef HM~G{!>Z3)[{R yp'=aܜj ]kp\7/qGk9^bWDƏ2,҅dU:n1SݍC#LB !sl̯b ˏ%VrYsKLS%#M NT.蹂`5 f kj̴|a-ȼMKPOVV%Dm ÁPRs}Zȧ⎲Đ`MA>[*Z6^9Ѷc8*n?7xCB搉^ZxN.c[e#x `0VaM\ Ӓa|U6JÍ".kBFԧS[gVI#!#mQwYQetZ-YTouo|v|γ8Uoدk "V9,!%H;C7@߹sp %R0yd3j(6M+y)[<[ܧ}9AC7GԠoj%5%fijLQ4/>*|tHiˉ{|j.8gd b_-+Pk{T,~i#:/qWN0\ˮ؋p^7107vˤ_|F6ㅲAWZ{k#aVllRYɄ61iͨ 0L*~\4U08c饍)M[r(%w(9b(nvt2($N`F[l1DtZ x{ŞMA`l(:{S92F#wuKNBVjBݡ?(`#7UqR/w|J$$ĻZͰM E8= HFзmMi2> +2&cl,Z:v- ~FOf\:}ŒE12Fq~G )ؽ0IcE`z}ӍvSs6j$pa_ L[@% >Ɏqć?b&;kG@|yKfcQyWO<KG-H%9#C?UxsFX]}^v}*%<\_)NKRg^RIwC2;~A fBh{UYT;cGB?PenF.m\㧣Ӳ 'MEdiYT_c\8cju1qH/,,4{D33l,u' jwLԗ (#Zf &rMJzPBA/v[l#^:fZmGJب$CFL)3T .}l@oQ68?JSZ#ؿK:8O"N ibvG#0ߗ!>mE=Vwp}e">AN^C l 6.V 1ɤ};L G4Pe "v|Wo53kI+e:L=(ٳ'63k!CH !|Ӣl*P-,J|PW (+., s(HȢUgDC׭Jt`7G`F 鄨*DKy1(܌- Zj!_k>ӷ bf[q폆>yּb֩Y9hx\z)Ӛrr#P 錃[.t`3MC;Vu1{+iFLQc][?ÔJ8YצtL%ਥaBB :@]:v#q%IMΧ@dw^$`/og>1v<;-uÅ&.0vNtLTD׏4`Ioc%x|:F @(xiWG Z;ȧ(>ٰFA_᫰ .®?5C ޔo]{˯l߁zT ,d`,]X=$&V; 4xJ' n5Ȳ}W}=C]Vm-?<)xQQwm*clm6_Ī5~_2}3XaKqDu0O BE:J?lw_8(f[`8qZIɥ@%dxnMP*3~-yD~)\l,1ژ hi k|I1?.ЂN0 aKDHJ'uQyyY88`k@r9aҒ/[`u sq\*(4XWH#۱Re| oS[#KݶdĨLbc;g9"4 7HV}1k?J 5|3ʋi`X-dLmJn1MHc>֚c; 1RЫTLYbv46_M`疌0Cpc?,D۠l \.1|W3Ŧ9e,<@l]`A1|&jD:"R}wQS~1򹓤|JĮ,u$6¾ U\E P5Ob3lrX9T< ȥKax#0~nkӯH XY82/I,Yܮ9e8urAջ ;KwW<F^_f"ca9뤱F츊j;,L _9A}%Pɩc@ ɟ?>V-9!x%'fzf .l0+NSQq{ 48rS;}OB"=LlG%.Y<ުEѱ+/H%p>Y$m`pW%5E?t:]ŁbÎݫ4fbЌ ^D2҈ A xQ1}YW|҉Nn/9g2C @jg^Ot֓-m(֏6Cl_z;nU/Db y-'HL 1GsΡϵ&WY;d$`?lw`K ^*~81>ge`y fd݋]5DD锨h؝nGr T\L>ޠA eL7zG%rh"Hp :!~c`:?"f_ߙ$JcXqTzLT^Ig QO^#;Ǎ@L ͋)>4"G1 "qg\oacv2uFl_vѻ.iVɳ@MP$N޼vZ(-R@y*|EjY5K?Y' <. q7 `ۇ}tx Ͷ*;kK},ˡب~YKu|č )5Ce7l7.>J5`FBP(v_) 5f2#f/W`9t2Dǟӛs xZXM2 NW+`P \o96垑dFTn AHWsUn׃֮rLUXd8l7w:fw(69y}R9:O]u/Z.Z a^LJ{)Mf󼱁 _Rh+˗%ڏ:%9m̤'X.f:;P)" Mݮz":f63i?YD'ZWrdF~xa38^b̡+#/Z̠ 1ӨO_gl0 "31lC^'+{7ԩZsQ?0Cj;Ζ,0~io;60z+w(3 3p1DvW_|7.W7P7AA}2#U)=G9Gd%R<)j3m2Pz 챶&mLyBSmRDTl9;sJ}5ǔ]>Pl.:B]B*Duȓ)xh&PL (3 #U:0 UmFF[v4eWZ٥>ߦcE([Q 3sUW$(!i kց~(zɔPKTҹ; `I:Km+F/cR,ڐk+45ΔgޟR_(] n AͣnNK3uU^hO5׍ $QQ2e(j=e<(aGe'鵬&Im) Fz5p$[+k΂28R t!)`2qM^n=`z^|f\Kx)N[yl86Y:+{s+-j/)!—wD.l|}a*9# гA7 tAQ-PLRհNU`~Rh9WT (3LWFAx NRW#|X\6.HMW*1;gMtI_)39@Э|# _hCPK:(:í r^TE>e .Ҁ`d3,Y[\;h9)uK L 5W'  '!zt;%#[XwF$U+PBkm۠䏻BO.F5\&kPrl6 T^?끰9KҽUb|+p̹88ؑj_2ȦpVߌh>j}ŲJEqMVL\b rwm5|䰾3cGۓׄg"N,Ի[޶O#{i;-dsD+k26X~ϙX9W|UPg4 >M&ډ 2VKhjB~}ҬA,/vAL7E:< xI0h~z5o=0uL0'B% Xl.RIsD7*Zt(ó.MQJˉm?! Ϩܽ duJ #w[\  LJʒBqw#WG20?Rzi]"*Lج{ݯvO>[|A+E#DK~(4^)w.;h`F}4m+?*Nn>ʖz0̉]F,@>T߫LMCDG0sG܃n/:l"1w %:α_OPT$S K^N ُZg4RPwnl,y/HnDTz7Qkldy"B:=(u|xh1^{_ol2D:Hi!eZuGI-c9Rj2H6Qz~J}1spx]Z{7[Y>v;py r؜6[[Z \v;Nk&nugmͧ976MUd!􌼈5{?|G͜U>M a^Q6EeJWhcEF^bME$fbbqPUa@nŹKJܣT 7z*͟K&@ӵJ). lw Er'AWw)@/ jR9ӟ|5Y@c8%h6xUM#iNVZ5PPωD<4dv$UoϮTj `iU!"AqY*PʃFIyq?^//$m=($M1;-.TO,5Vo)wqݘv ;5(r0{EekJ{ycC |_moW8Y{IRT8WA.RћCa*DL!LwފݜzC&B`b&땤"oJ<_ڦ, iu$^!,%Cb6(ƫ" XXN#Y.0l6L3FcC#NbMCQh,y?{`Iw7Nul`^A(pohjsc7rO' HV٥.CIwզnp5]RFg>I'L BE^&n.6٧,nI().(=XJJUqtfm? _ߗ8璕](.v}C:"Jsp)>o dvƘWU$> ~Us^6+~G.Xgo:'Zs;_6(v%QwOKcET1@ =]og0H)? (-nz2N8\tC"d[T)WtG1l`]/iX kڳ"_tܹ"PCtUP63a^H,3@6 d"pzBI"bd_#>TuG,lĬ>"|)Vc`4e$ȏ?N e8G& Ig DOzGx:5|ǟM Ԛb"#%4,VH,O{j@\%&-D3܌ !1R/ʮRwc"R*:I4ODex=JXs-^z2 İ{3w6omdTgC`J_v=˓]pf'4nѡy^=݁i_'kX*l82 @;OqR M>=\Ϳ7OɸR0`ʩ; g=VǦm286ܴxsmr0YprhxYb rxX` #D@75{T)RZe24}:)B D/7{Yv@uhP1]=9:Gn>y%;F';)g@!@t| @zD"W׸^,"a3 }EJ[q93\sC$7~Mpu~z4*Z{A:9Q:ӠBY$P$kQ4O %/wy*$nn/vGP4N5nm p:/lWks[)V*g|m5F Hh?g{4'LuʳҬm&٤0}_v"&|8"D }Gˡ%8iSHtF$⏓h @A%^y- X9 %1*,3#mb~*A`qUo,COLPb/;\՘2lWe{[ׯ ($>1ډ6D <#WHcJ K4rDTʓN" t)t齧9Ԍġ`0;(qټ[g**!jFXI(Sl- Bvn͢Ƨ|p?sS cqr'4 ڒ,ϛ/c{i"29GثXFIwA+=h˜[;jӼ&1e>7T+܋Z[+tOqx'>鎸Fy{E.^bʋH~oLVea-DEL:? F!£Y+3MƠkZ+=t#vrzZ.}oe@ d&3< 2-NnY5Y':ahCE<-W\}fLxB\yM6nJ(et?wÚ>z&Әt|)y|_X~>זu ߌdC"+d {!n Ӄh(``LcٴR1+Jlۆь#[BF ĹK4mdߘO{BhE7 )e.bٔ5guf|k ăsU oE݌I<.^3~け&@[Z @3M2.c ڗQeuIZog!2@^dڶ7҆ Sz\]]`:\WwΞ}?F;A'Bʋ2޷%5"sل'6dN@tJb#qfr- #u@Sd D4 @9VW5faVE?Ixm/4/p# ыtRc@KRT-(O/ sY}'itW+ "UVL$TmJ)m9VsO.0BNp^ | M6MS3gfTr X"ܨ`UwrZɀp=}Z|u{ϯzn3Mᮆ! !PeArюT<f1RYh0 X#CJ\PK+hO2vR.H &)s,q_7[ mG޴:]PV|P v?Ę/Or)wVG+A1 .W"F .\Vo: y]ATEIsXlh .{Ǿ7 <Z.:>:bOzO6܋V@-A+)1Lkx ` "Ɖiׁ?+Yk4&)$8!䜮 ׽`ЇckePW?M0v1%$]Y>Ev^"}b^M<6'?l.qxؐ3mBe8o~?OA w.b1)gD1`Lwf8h3@Q%X{J]/R $539zuKs< 4=bG =9|,y;DՓDa?Fͩ۔ʃ28>D֨>ҽanGwRy&(r}հ̬ U%0i}Sss7yVhm'TyA4iΝP071{nmvԗDGnOIgbTEK!}$VeqB䐌 @Ց/V',^!ysW FCgYZ  E1O# HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-&Elfu[ZwFvV(mH-mqyXAG&f ֪PGCSB}[뢳,sTBh^E/a-NƁݠ;؃{Az!w3 )L4Or9.1r+Wsz`䗽q5m;2_R9JBOw8}:=}<5 /+.:D:BU6">x>ì>nyY1A}2`aN;&Xq2md/H\컸כ9swb[$<,qƯ܆;$ymlL3sl7[9h裆RiX5zAC(-k >|JrلڳP"Nq;㒣>Q^gQ~?) '”".sRkl({Ar'7UlENXHK=&;*|夻a[O,%G{Ojd ⯳h0hh@ӷL|x7:ȎCo{ Tk:.$ JA{Qtv"7)Ie"+r,ԣ68 ݢ(]\+F60 ۡrXQ]|R 2hķAR <+ىUӊ.e- h^wWH>Ǽ=h@-~հecHk_P "I͏q}u(s' vsצXSSIU]HYeaEr;o tdgwA|%14wװe_ŮtP7r{+b{! Qzmp={"q~դטƘoK(9%= *S2l'`1h~ !d:hZƂґp̰nY+ZPQQWv %fa*>ۃ~yt<Eed$%dtM,WIU Mk7(`nafG9H/լIW*Yt3 "Ȓz`I=yE*`S\%]KryVs-3zk`Qjy|3 M–o[@Q .9D 8 xo=K]dR"L[D4-o~޼4u5zޠ;Ld3o4uZ4(*C GoKA<#}ca 3#9R"sGsބ؞ mAaw0FoIMGDzMT.@oc$0i;PΐkKrhu,]F}q[|C,u/5j`yɲ.0~(__f/$ z%;RjIx*D @Q$0W!*j:Du;o3?D<ݱ(P !4Kcnѥ_+H*BoeOVuy2irR4xCxa#)J&m̒J2em3AV)#-㐉Np-%N7zAMbkSꯀ4H["0aP}e7-Z4Ih@[,0K Ri@- LZ NzQж^̲(L `1EwhGzPV8[ffb, }-Yi_ݶHʹt˪U[|k6K慌+,bn!rfDthSSVgtPH1y68!/al׎iBDK<@{N!bL j}갚#l>/YaTU#WcNRn؄Ut)lщ1*#YfС..ô2eVJ^#GA/d+qR2`g42iВ#thP K ԛ>S)(^!8)蝱 }Κ-)ux%V$A%@ а ^p; E$/_X3V `Jc&fy@KCΊޮ-ɧ4j [V,oNG1lmZ2A(E<-W`9FV3b15 !HjE;]o/.-XL.;@t Yb,DkL/~#.!G*<%qlC[} 7r:=/q)̋<[nzDŻ-pU$i?T~:ޤQ_a/jy#䫋ϟ~zxh7lfЯ"@|mո~nNSYH*KL%w}JZĎ (ĵOx=bgiV Ka -Ut(pF<3DvNJ ^'OĀE}BN?z\)ޠмQ'㌻߄;ffH&׫wmB0y!Ww0 Q:85/%' Dg`r cfaHN0%5n 1okhm=64̎5u Gz7=|ƩfeeTgryR~v0ן\ߔޜ蜒=<}(*Q]sߧx O?\zL_kkϱ!d^/et` H s=k|e,3*x9˅ |9q }Pp(e5t sslT/Q<8Si/[gG|7(x:4]>gYZ K KnL1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files~~/src/HOL/Corec_Examples/Tests/Type_Class.thyIK1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_id552 J1G' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\3^0DaI!2>iخ c $)/ vXBzշCt{p%b=F; Ihdd2DđoCZZe1K,oJv gg[.,zF* 0f|f6qo8"Z')ҝ(JrΛ&AVSj?f6 HYũG/ⱃ|_+SPZ hHW-eīUoCMk l;}S HAG 9^BL/[`dժ5CΩwLTky%ͥX!"SgƒH!~a&n aßOT\-:X2ʋ%8vZuYk$.ꛠHV/#mƍL8CAb=RԍԎ#)*{g- fz مd<^ϸ !%[?_|_ ְh68SFC~ /J1M}18ȤQ#݌N.6E"[kA(sR|樯HZM@P('F:$7օUECMʤY2]͆vgYZ~I1G# 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]Y9lo|MPY0m0E TM"ʾɩ tOCǫeQx]Ԥ@xsr@<^ |iO3_p.; %(%@n.G|oeyɴ&~;F\Z'4XϢ׷*W}O=R̅NE.s6^cuE2~HXj)|ԥۤaNtD>X7ķ*ƐrϚH[#l ދ:'0'ӹ喛oyO9J= FP9Klp^v@H&]F)^Йw(EI=_׍ǑL𞉩JcK3gFqp)ņ-*b57@Bbw,A׶f^(~- ;Pk8ʓCkA|,v' ys edSE4G{g.W<b6G/%UX#[| 3%tHs.G.C1y`l1$%xe\N mzM % rwV9B.cZP'C,C_ߔdr> ?-ed%_jl)8qN\r'42, __SI(>pZXzĹ:ҭz MJ&A'e2íӉ d $8-^P:FK,׷J{ U~ z(Ux/}*2!VNN>{ƥӧ~ul} JHK,lj~GTT)pSX n('йi7HgE2I➸  p ho`T@i ہhpΫS x6hѥɜJcŽLWZ)ڧN=E@Z~JB70LD^Aj|(,qSz)Z[I¤ĕb]S:Cf7\>P'~Z$aQZRs%Φ=L 8IwǢ0s?J3r3, :~6ox1~(GCiz T+^6PLD~4M5uzO6 _SxuJ%+7X~t|Z#'IQwh^/_4.@)9u3POմuI > l(,޳+"οĥoݻ9ɫ;HGsH858^&(ݴɜdVˀ!]u޺܊q̿s<2^mA5V8nH1G!hHOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_Poly.thyIG1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_id534$F1O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\:Mݰ~_T ΞƺFbshk3Q[35Q;D<`xmɢ~O$ۣڽw36|J+a|'?<b\}$2ci~駟B>G o(҃-r9fpJoN^4`D@  hL22m8 ,/}5I 2UV._-jAvi U*?J"yh )1hPp(OP;,Po΋EPmBw> Sf -J·!8|Td𾛜jk-b[S1~]+4ˠYo@:*4( p'9A{8ʦ(C!~C1\wݶ]f k!: _ě~=\%,wp( fr3\&t6=ؙ~'8_C|4 >2K`l%Jdm+|rXqy%kQ RNaѪQO/cم dP:پ)AstA178yWi)tѠpCmU9VY9m2|*?OTSgYZ%G6aKԵ5Ug 81?Vlq9齜3+ v8$L;mCXVL (,sݻq!dID)C"TV1sKJ KqLtQ' zl:>.r`F뢟WMp=MϞ4m* 4Fvh,5Yh g x/pR "$Nc=5kJ=sJzS>y]VٽZP؝q-:-?V  ,(wnV9^sV+ ˌF HpjVFc)L_wV[6Pea8'!yֵZ ;т`:mVj2&zĸeJ(i躜e&v}C&*_Xݥ{=Z,@ڌfx~|9m'+,z) 2l_E1V@HP;%=^;*ߖ|U}P jDtHNgbw'dNKUMF?RH!~AiI:e@Ks×T jcv@&: ]Kb rmnp:NmE诶ȧR5\d6ﴘqU2>KcۻvBJ^ᅌkE x9Bi[sFV E`NE59iDR[B Wg~$ " ɐ=$d'8Xc1V:)X7fj$_L6an7R.wlr5[#F#'d[1= d!!RYk)a$ Z? P {l-حt{bŸCyģh 0ª}ʭ7\fҰViL9b m S"LR*`wR?XusipUArifWUAC^}w`7&gR$* M/]nAt>$ጔ hZ Q*,ˠ%AE~QL܋h>F "J6:&1W{(@DNbYAP0 ͧ5R\-؞礱W3XJ eA'ʗjOJ y:o_)3ʶARbCO)3agH%O BvfI` Z}؏X.F߿d`?H„r#,A}[_{[x&cl~cʻ!)U}ؓ2kvI=>xO9j2.cEjQ EhAB*{>l}gD:eڍi>7+ ^'wȣw(0tE]ι=<4u}gcm~UJBf>_κ7T6)pa;zK؀"f~NԢ*p-j8v>Ƚ}95'WʤV@>ĹE:mv㦖N) ӛt fגth߮fx+OY4n~oYu)ܘNLz-5(.@~F~>wv1]|u=߯n{YɩޠmT `m0Xӏ [h]}Ŀ҈1L6-|{ ؎zlj=.6]KC ēBc5,J5 @" 29TogB O?ߞ==ܶ>ImC"aV = \bOJZvO,?ax-.Mq(Lz=2#,|sY0J:"|i{mX,%=pO !YarjaueZw-!n vWl[-l[oύ%=IT+_=Q7PS`U3pâbl_ZCLoWR/U yF_!aMVtרhHX PvЕ2'ٴv tQ`غ2[cJ,f]_wƉ3M,2<ű>;d+''|νA3rl!npȩY)C|-pΜx719q~e^L [T̘) t a[h/?a.Ԡk>R;0 ^ɖiGbc`5j/ߟb%G t]0no 9^ݥkl`IptZܣ*EB-"n6\j=~8`F&r+.` ޤ#ԊR98zF=9>;Ŧ7~312 ؗ9k'?ZxLk"8#6;£eDKfX; m:ѧ`MFbZ2@^E#3wwMEg$r(r00.K.\&kq ƺ"Ň: 2cƽlaF[`N,13F90,c$( 6Ӕ})h[qlh# ǚD'UnCtxwpzMA(GA4L!u#A&ԭcuz\&7#DunR5?0O`ucn =~WGd槃2焅ؤ[~*<B3ѭ:Pwĭ"g%9=iW>ùi$ZDIG h0c[!в4+-#(>gDGzn2~Als'ʎ>$^J#? &ׅ %D͏ mMfabcMxޮv 8M]XW_dbLitMeKҟj!ԵHZ0%Ve$y[;]۸T̎j{W'+bxJF2naݑ}uz"DrʦYW9_Ywc1M1-:K{9^He'/5ZWDT"H0ځEcr)qıgb]kb8:rHPcwCo*AZn3 DPX7KX@vjcM$v#,햳i -R)KىSH_f5*&դ?^ZO=)I:b!`q3t5 +j]o/H~6 AEplL!_t~wQH#rD+N4,g]@ܿC-ͣQ>#ZCE*c96vLwOy+PSsHjUv jj X\HwyV(`V$0X ath[,%Q6.01M%h׈Z"1t'r%ՐEЬ\A.z~Izd\ X(a ٲ *ZPl*uH*\8[%t8eZur UUÔ*`1myo /`(Hxw1gvlK7b=@ N% '#^䵉c-mwd{JɭĪ$*u(x| ئW?mE&IRsQNTP/Nю1|B9ySr26)vL 8}$ %ẓ ldz-)tıgYZfM1G# THOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! a]ˠ)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ԏ諞a C۰k;Ƽo\Ë~ W)s".e;_"_PJ8LB^{Jhp¡WoU~Xb,",?dJf3 ZoLu {K2t~ΡGq#_;m>WPf(rk\hO}XFLs$FDWܱlKF*etJlʼl2z/ZK-є$^7| #H<ƙ^+} VFv?oX2#2 65='&1u&<-L%m"Fp Q;g\'b =7#Bɥz*ϲJ8$C|;8pUz:KhI.:W.XLM<y-`^Y`mA[r+T)dI#rr r$ '; !}~kzhЎx9Ʃj~ b7I7~Ɇ L|:!/J FPO/*k! NŊB"bpEjRLЉLd`M]ap@LQB%%@I2ՑWp}v pYԱٙ2߿4nLIR'S*).34TP?LxGݪ &M)z6Zf-"b) Z4P`lPcNLNT5h1_8`Gl03tkA=MBiX/ld@ & C5-PT :o/*R`qs$#xl<")[X}tCtGdh> {Ըu2\q"rjy!'Hqk v?9hMr?P* GznsG;vfh h# RE:i qqu䬏&|eJ+M9ZD+ fD&c/t(A \$HĪ$x@\g`#"^kQ+x#T-ϠsnY ^%{Cu|m\R_@?4Sݾ I`:4~0lJ՛!FF\[S/z8[BH%ArQw}ξ}_x) WT\)- M`sLg[y-YrA V!ӏs/'\ݬ a'|<|mۭQ.} ׵;A ?੫A[D<TK\ M?S}f:P(q.B֣K3k J;Jn$xVjXԨi[Gڋ^r%-Y&@@ }7Xn OMנ@ x,GK'fv4'OLvRs [dB= #n7w\AJljů#^ԒeZ@OkG$1qgH;Io]?lT+E m5%(#S΃dJtu _M(6fC^fDYdfvζ꫉LT@lrPA/#Co(F,wGQҦߌqb#kJ/sſz7&='}2ZޗM(}?- z6+y3Oȹh[ݮW]X$굘*X"N2+:0EaPS8&>CWKghǎ| xƠ}FVv䬛 [ЙFNo{Z ζ$'aGɻ|$k7h?(=vML ?͇!1#W\ E?SS߇2V9@!cTg糎!'ߠMKâerOngXW/{l#˺D{<᫕r$@OMFU57VO5~ B (c=.?zsEROw|qf47i&~s_n>cu;pJ΁K_4e(b DŽp+ԁd7t*r[I;*mv6bΨОhyX b]Rn c^DU͎OF&r[j7$ c OX(m (6:}\]#_x-fDJesqXҀ7 ƍ[w4tfkO9E:s# B0ka:B^(2'l~'BVp%lB|S"|aeOKN},uUyJ!IAqgq;N# J}CVC-ZZң;6\Y[:GX鏻e`,k=%}((^D||G`#d"~5Pi Vԥ>cVB:i$SNtO]ediCS$v"\Ndpͥ%KOE'E̾]o<$j5S;xv4UQ$rm^,Ia&k2əiкƺ}fhNe#퇎2Mʃ6enUMR#M̺t|Pl/RtE_x*:sJ`vN9,o_ cr\qq?U ?Jt#xO1` @X"a7 :vn*ePl2%rV!I@/\ݓlj.K]<ᮩp00t ~bb+q1yT΄.Uޜ[2/X1m\ğߝCDRS)9*W !&rK,a`W<߰ [ހb'"5~%i~'uCM4GN˗]FFFz0*(ޠ^<J3BzY6 h=keA hRTB3d/!ޭ -¼aqIT`Atq05Mr ";'LB~#YѠ6RA:1m }]:fL( >S'瘥:HI}£thz"pʔ'wgVeٻsl`<yB(5%UUū;ٙKK>"/;AOzͦ[6¤^ob7&w1kgʼr[8wڋ,*ꄜ?ωݖ\2v]&3=6>:-NTeɣx|j_Ƣ*;{̲˰A!0x>} A+,5Trk:bGO12Mʨp'<1z̤ DXEWZ9?YgTl]M<`k_?D^"y-RqוiQ%2 6a RBGr[E3ߑj8ZKE I^yXǴaxޒ5W6*\:ۻ1 |->a=s-fШ|ewae6vmRm o|!ȆN@UP7~ƏZ̿օqքĉΈ hh7H.\K@Y{|]]/S\85g [P!0~SJ7(  a1o$̴ %Z/1/U7jf ;Br'W-if y-Dm6E24/ORwS "]tzf4Dʵam~(м31xZ‚KX#|hxln谟/闎إ'}3P+AWNŽ$Q7<f[RJRG'c&VQ+w%򭼤5j>objY-DS=_Znx C .nY@ן9ƛS0OrlOȿSҢI#O#)5"pk`.H`f53tjgB3#ym&-k)q AG% Z=;1/.d3Ucr46?wv#{UyyfV *oLO~2ļ^CcqvٱM_w}JP\=]E i aekHp@`d5XFO %p*C XX{$ A/nree/7zNA?%PJ=GMo2?|@F? B;p4Ղ y=Oϰm-ϲޠ~ﻄOkE׃}0 |%,iˠLܙ8<;j]t3ب'I,哌'6oh7:Q)%/] gUJtW8Zi=d$ 袿v?JE(œ4vȹрD1yq߆:L s9[CV{Zh8p1o$@Q O4k/&j)rEYB׺pz'7{.!{_. >:1hrdXYrKazE1fU6euxu SmZuΦ4pSoazkI:4ufe OzȊNCa3@D>n zZ|𬩴43`U6q"+eP tHUbrF m#+#!M ש2}pJW G+:~p ue>㿉ycJPvK8{yiVFM5<ҧ}7LYH fA#k4> ]J@+^] =,vF00d)y^f+2ɗw&@rhە+;EP4(:+&4Yu;݅|?&ȀdDSDHgF),@‘K F,9y ]^Ag2/QcKP+#M/gYZ " " R1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\yL2ÈRK#gi]8V{ՉE0(Z}7pVzǒMbs6f:ҒfMBa 8u|t{a_k=c_<cj&}/8ςʮ +>V)SƭYLX z;H"B*3lVi@'!AJq?} tg̲26 95/.! c2jS§k{J?b5 iAOJT;^ )ۼJ~%~ e͌?\`^ jj:{,M7}ȁ|&4ZO @y:r¢zHo8&FTwg٣4]ȸ57^ʬhoב_|jD4dv'e=їA RA7\Wg1co[R^dӂ@{sgYZCQ1I# HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! n]Ș'@7DѺ9 Ǩg2H|?_n 3 OGu.DRo'ᒠBsdCeeH']Q5@{N;Yl9#zyK;>c锳>J,C#ze{tzpN6ϭǵVqsBwqe\Ain$#7E]픨1\}V4jAcdE8A'p08hة@@ujkWΈعvr5L?BoΨZ32h4 ;C 3B+udJhbMi%>&*5VEۭ_acmr ].Ip(3Mm,}!*W V\kE C O ZnOTm$IS>.l]"XZU;%/u_3VA' 8:Gڞ^K7tpN 9JA0)-c}R4 NŖ3``E7Ll#. iTDWwRv^/dnwotK[AP ~d@e˃7~r_@ MdX૶o,:(N\*Yx]E'++tT6"z]X3M&Uh߃z\(9CBoQd=V3@D>zDӋMI@̉OhG2xmsx]!Q'(&/ScH ! Z|>9]گxQQmz.NdT: 7Su >tV]kUF倰Qk|1Pt-EzfFr T}哒A5hoEDc7g s*@y >=ZYCEHntxHKn$'iݺk㷥mUvwh3j^4{*KѲ)Lt3KG+4uŭ1\ȫ;C8RkADZg:vK.EG}q &Bq CeuNp,l=&MpdꞠy{IF"?ǬXRa\A=Eď}lxNyW WuÞqnfXsgT_}mD9h.v"Pne. "K;hN\2ZMW5=hg,.i`_ޡZ9J:X~j\_㈆ķӑv:빷eĘ喏ęRȦ9k5WۼҿT͒}ʢRB&,Bk3rM%n:{ROhYiCs [wX$(Z׳Zãe9dx ;it"/l[,z-ϵMT$.!si²!Nꍉyi†hK!|S\y 8/Yrv,Iuy,Fݏč#klqJ|NHhunCiѪMLwpEiħ{݉ \[DTסΊd xJU^ [/3*:b]>&$\ ?>4ZR ep9\9<~_('p~+f9ggiEfKޏ؝) ;Ľ~Ğ&֛U%LRh#%꜒xM<$vtmx.g^Y|RK1 [XBՖdf`V) P* n0AXvI ba`۩Q^x~wI4CAeݐz39jz}r= !l(Dx/H,\,#w[ d|uo. Fl,L 0X5ĪɷYZ)pQEO5GF*n3{%>?aĩk*^Iӿ`t~3׈gژNޅ$cݠӔBGY# Q4Ԋ޵_}]^FgMu( W9͗߈7I)Ѹ-i&/&Si$妅  תDx4 Xm1J催WsoV1Ez-eD݆ {dix&E l\$%@H;Gy7ɵP|3UL\p 5>]\mmd?`&›8JceVo.̌(+ IPFJt\j-lCe_ALmoY)q@]7d,W Kdk!4O2<}}.!M<8q5?iAc0%, SF-m[cY/ Ujri|*j l%srN2ok"=,ܻY־ mi+DЁCȍ-)6,SJ ByVYtWs}.UJHsz' %ܲEAJ=ʜ$~jSUYca'JW4*CO*̎,5xQr=r)/bw笁hғ1q\j'7vGzO}Y> azF 8h:\8 8ڻvwWzfE8H,)z@MT<1x@)(FOuk8X5"e4Ŧu[֐~G@ˇtCU؞фS|;9ΛSkm9Ȳ6c"0kDSU=%,^zw [+) Ŵ MF؛'~8ĉ<@h@'UG' 56dcD^MVS#Ʒ Jngip ]ZC051cQeh{Vk#\LYK|ɩ2KFrHjlf2 0~0VdU^wXtrXBi6HIsS*{D tЫZ~g}37(Nٴ|Zl7"|X1(L _oH0PEZpW57:yygp8LҼkWWVE]3`:Ź֗|MO0O*fOQX׀24ֆ'lRLs"3obG [z"y涌ii Y,g/*t\mȶm4i0& (dJ(2f]u=?+6oJt;ge"`bLPߖ^GtRHݰ{LG>Trȳ4"y%ZOCGAվӴN$jB Z#)+Iw 3"SNfM8--EE/h1!聢Zf P`+/?iejtB&f81V/kmjiꠤo4sUBlBF,rJDMB-G$ vΞ.FjPh'NhzK7jTy̒=V+M_ҽ xjs?C3yAt 0to78B}eRP"HRjTqMks@e e=ԋ*^Q Hy='g1=g!Ll$yz{P0`O~0;kP4޿Hcv'r9b!Di`'5ү h;`D@;9 3Tc^['MY b*p/m"0+\L7!xPޔOTGg͍'#Ǭr}[ KMI붆, ;~ g\}ܾ]fUj&%:v*ɐ,Vd?!m97z.VfD,#'oGJr=? (@gv}#,T 3[MR# >O~1pA%Ĝ=JyKß^_xrϜ%`e7]!"gë-x)P8A$5p')543XBLDW,l?>ƳY{!/X7(m!8şXlj Du~R@]=hY6^g+ijb[9츾t=`A 3 ."k\h0}`ۢޑ6VѾ$v{ftzi+@P`xcvqT\3(VoW$IZ qv%sR[Z%s2`FpAMG#FiR2$oi_,S̏~, qSl녹xiy!@kb3xDr[.|2.K/+,T?$y[u IX_L}Iwe 6>$AK/CY M0ch}} ~<<+~Ծ{ḋ๊HXBDO77 9"EžWpn^M~n<@Iyi4+iǛq%ѓaafBg26H8bJy-SScqe RrEvNqN9&/ӊfTȎa7韩,#AmyRS `(^)~>Y$iȈ^HFNyamesFA6M+{J֡@oNf:5.Qus!딹o[ٲ?~@R:W&p OB'+ksupQޥ"9'`f?)Yh o!)X ٙkF WLtN&vOHH56`@i|9xNR*.)Y,$:= Er;N|3Y ۈFCVQj?ƶ^1c 1X= cؤ&s~ƒ)=nej)-B3l Xsn?_b$N(7=svOG?;AbJ]QԔsTJܗUdAbFYn'W[:Dvxrٷi = 9FuO=_!$Čz15hWmYd:|?λ*\v?ghAD]M/sbvAicb?I;J-2L/p&Fřur|_Q%Qy0zAn M _<ҫ-72%olz`/l>H^'XD9?5^E'a2+S}FT1,M ^7+ xTsWVà0",YBWFH 4V .iy#ߩNW߃9$C@*3[pcvАJ(0b%Ffg2:kG:Յ3{ď"D 5(<' / z Hu"m/;?+@qgX1:}Я )'Ow[{BOpZ L1NZA_ =_%Z 0QR1h@9yRPD) ex8 !XQ"ᐍW|NlvD61XtK aEN_T\<Ș˄@p@ż )x.~U5\p[NWH~ x0n.7)qYf -E+H!zΙB6FD~Fa],my'm|툤7gMO B|1pO'14W[GB*~hV)*dgT롧.`3rHJ{B 9"^튡d.S1Qe7Q'ר# wzP~d_ѳu/V(oRt񜓋2Eez2ɴ3%k0PjVh^Dta<`'»2zOb 9?L2>n%}W @S:]2R+!Jx[$z%j?5W 6cnϷܿ#nhgA#w^п”F_ϸ 0[wB`FePdfHy=.l$%(Ҙ-|rz<l  Fd9""T{xʆ)wH%wGj'q3gŦ $6nQ_5}&DܾȨ,#!H/l:VW>'HvDk`aR,899UK_&9,pL-Z4V'!CNT"?.F8?w~"A3 >X Oaq'*L'IbFSKb=Cg˩ =oJúEZ{qإMr hҐN%-AA!"&XtHHg`q&_ baO_ՁQ |[sxNcqsqOv q*e k+ӧ]&,un.u5vҪ˯a5E6N*nGJM 媇%Es_kʺƓ5$&_P,DYʠ2 &AɒLHH^ BT?ErwF떵_`cv4roݫM(xp]Ҟ8P10St@,)%jCI+g~Eǿ=5rҩB0\cX *uPr7|& 8v5A]\N-k%bYkYb"A>rAJ[`0љT̻5Xv,: P +p5_y#yG|:.wsӓE֡aoKfcduHM >T~q 0 $R0럍~%}Uc]|J1k4ö7B2-iXΪ`1cSW:oZ:2(ߑb>E{vdp(2;AT*('a3k(DM~>K/=tǮw 8٪I 0\L"hI#Qk3Hfw3,F Y7O 1kQuXembjN4<$ 9B[iy  ϙiYNQ8wĦј&H͐XpK+iXXBEtTc~Ǡ) W8Bn  Ph6GOwYlrG8$AU Yƫ?I_* 0Q2_[D7Sڲm}DWy axB7*EۢͺQU6I|om&?#\jRT7Fl=Os(!?ZuFR9>'sV ҿ@\"E{ q dOu;YgseN$EEg{+FtOگ,Cѽ,sjě{]B2yBom]J2 Jw-yh>-X^..5*R0v/7;-V. C])ŞiFrQvs\4TOq|wmDC( ;/$Si0o(P,QHc߷y C_ډ`^rqh_Yk:<+&t