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 X1z4$ ] HOL-Corec_Examples:threads=6elapsed=155.912cpu=516.936gc=86.9887zXZִF! f ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7+xә>w/SkJ_/CJ@Fv9.GR=F6,ޞ?d]*_8bJty'twY3QTKZs`&מWϚ(4 xR:9RI4z`Znз@#ǡӜJf>‰kqֿ- SS+(2;4@Ed G\A#є`>k_ai$D4 c"MC4yCD&<6!x8UҌV4 .,Ǔ[Y@kk %# *nZbz1av/kܲP*>skzTy&0)S6G4hgn+H1>q$[T%J/}K_!cpI7fAY `^gYu514ikxx[?0QAYp& #"mNtڕUS?/oD7@HѣxjGP<Z&vfxb]fʙ/Mh0=>NȽe|M^QelhZbTU ;Jޟgc\Ֆ6VtcÆDme2:_^T 撶KVrJk_bұ;MHw( p;dwiֈdZc|>FZׂ;8:FH\m#o(ك,.#zzToa'$gc}blI?29:()gj([ 3B+}sT)85. ҟۆn*d.uT іA'Ll)AA Za0\WJ|̄Q !cժ"1y5}!~9(&X|)<a(6g\x ;Iy1u|oAlL=wSA*U!fԲ7~`AD9)>r^tNF򪖴'!`˷v#YɴJDC|RSrum3I+&}J#`*@~(zrwi}FwH >TCa=j4jVn +[kxInL `mɱgYZ7zXZִF! }R/;]ŗXi; 1 HOL-Corec_Examplesy:~yr1SG < 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]<8P6L5E4D/A-<(8'4!1 -,&%"    * i L hc# A H A }? c! n'D ^z3Y 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/F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages.D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup-C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files,I1O-HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/document_id+=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup*<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files)B1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/document_id(?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_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_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_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.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.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= 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 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  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"RXbV,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 w } jwp1A5 \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 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 j1OC 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,?ogYZ 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 E  _Eb1A!VHOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/files~~/src/HOL/Corec_Examples/LFilter.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id522k1A# dHOL-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Ɔj=MB$bv bV/L'MaaGszΐX=ik}K|>| *\#J?1WD_(ʁ9C8ddKz$lF 2g Qt#)XR7.Jn;}PO@DC_zu(ZT F dΖ&F5 DswrEgL gYZh1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_B.thyF1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id542d1E9 #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#!\ ~gqG=j15]51lH ~!f}$[Y`SjPi{p#㤍|{BD#n8Zf&LؐY`cBdhlCy]itղp Vms@ Ss6E­|dIQ;v8PÞ / ԡJiܰ2B..&\Ԛ]nh5ԝX05 yZ.=RJA%gkM88YMYЯm'ʏAE^!lk#V:'/| 2z_^T&-0!xQO̓L⦎9[L`/&p[bFEs)v /w>JA]Q@{2#+V?GX10Dq$\Klwn= 6m5c Q=FS{=J gWM&v1Ъ?5o HIoE•]@48;tG/w 3ͫĪüe6&0'ؔ]nx 3WbDw~e$tUbsJ-_x.#ӵdn=b3[{&pc6٘IIbTYg|uidXcd=%#BJ[?Z!q.tP[|. ", ,Cܥ9f'GRG!q9ը@fN0bJ~s-vanR=&FBɧv~R|5JXXim~?Mvx^Urg,!,,mJ["hyD!R`FK] ;X2_#%Օb(ØU)rDgO{C<>$ep_wQ9mK0k#* :FE:͔hxFvŪ;Kd?P#8Щ߸@1ƪ6pbl`oKՔc0k[zM."⫝̸].]TOtը!c &R'ΒY[P b%_Cxmq0X~ {nͲm|iʿpޗ7}p5po9ޅi9Lø&"Dt;ҿj'mVݸ'o΍Zc"+9_UbyX^{ӖgA,"㝵p<Ј>@BH(THSt#xӣNȐn HNYI> }jO^txcd$ܸ.nCD=ug0nZE~,+P nݜߥH=uVt[RU[,LͮFhtqQp6uuU>~-ViHQ-ӚY!6/.b?_;u_L 4ܴc5C=Sn>TJ [qas 2۪/f `Cc*TC-*r%Gh*Zl; W?;a09*T GZ% ɟޮ{}$sjG Վ "]cU'rC\ gNRohLG:zUq-% v\snYk"jQd_xKҕ Tpm4D2[IeE3LP7,H4/Ze,lv-8TJb ż7D!EPR fDd[@U2q:ʀkqR}̢_Tk/a xIi/e4G.x Av ֿP3.}s!}.,6kw2oqc-c\ל5AT^'ZgRΛkgY|Kכtw )' $mnoG]ƽ1v\Қ,lxYiY鱼FF3(4A}Hw|Cm_|lD].*P+!=( 6{DЈD-: vgYZ 22C1A# HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! 9&D]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)zֺ8i60_X58x)>c%o SJٓ\/H ΄/&B,GRµ}R"2o9h3CUufLi 2ǡf\wd7*6'圖=wuПeXFX%c y(G.+) [B5F :`j(/1NxsO魃\`/VU͌&+!Ŗ/  HN»k9k?P 4\ZZRTfC08z f(WWK ъ#ihK3B4ߑ2;|]=vļx@E-2C̼Ok 7yCO`yx~xGK[iy񫸴ʛŖ"Ud*جRuSsOi7g9ҢC=# t$,(I:b[P2w/ Qئ]^\эȚr==𠝗7v~&Y [%5^)<c1瀣==+ԂzOdPqVTTMe*Y*]x{+.@:%kw.y2A7H<® ~KC3qn\mfmJmDy=Ǔu%ϏQmsR35WEtfnueP-kMW_b@!agK/"UeTuy]7|ҐQqW5ĥ( . 6BҶxX'4O!< ҩ'^t[(0^;uTI:[qd\`=GϦz~v!>R(<'ᥘL/)7T#J֖Hm`:6.,iѹFM@ٜ3p~{#0aBpޢ9~ZQFձj+DtxCC_ʆf$P'BBsom0<|p6v6]qgy Bt(qˤd7jDۼ% 񛦊ĶSh/Kqz,&N-LvDvoOq-`gA5)+W~h{3iv0rbzE7NeH;]ڥmjCn~SkS |JxugamB KekGu 7r]".5+@\`Y yS j ,=$GRS<~Hb 0v0F) =kaF"Yc?CX_]qzCȂ=5_wx%r̿ ,0M/$>m5>E D+VT[pMzӔ⌍-HejR*3 {%ju#M(YPX`YQ]!B}5RFrM.6 6uYSҩ"i'"#dq}|˭s.}Xv&d%&}md2/K MlhT7?>Cd5m;1f#DRbXk2ad}& Bg&5kQTtdONRHMõnX'9mR޾#Ғ;5XXǡ!@+@W#@HOܗ2G2z},m K&.򚰻oҲ~j`NcBY0YN{z|Q庋/SaȋFݙѴ Zĺ8K#Y)XFdEVaPЍ֚ 20 T4E)JL OA_X o'='`(37U8)fA&6o[I6@2=(A5FuSu vhMtHJ T]2==Y0(bv$98T[O2&KV6 ȭU/E3٨9V" )PRG NA6<-STEJצ7sQms4`:@΍V'1lXp@L1pcVqiIwDLN\ ZMq'氺&U1ݪYWU^ rK@j#3K0_U ]sG<N#Vur5Bk=V)8(Pzo b MZ،?ޑ[z)qX_&L)kCm|(qKKk_ 4`bi*.^Vx~%4&0Ĥ2&@1θ0lZ[ٞT>hg  ! !t1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thyO1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_id5261A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\zB{ L}|j꼍Dg6sGPGwJeAYHJ7R@Z$hT~%;$KjX+(#6ì4&}e]fx u0R#Yǹ.V僋ɩO*ׂ$>6ƴ)/?p$`γ姏8z,;t9@?~ܣWޓ8~ (t$w߈Sc n }@`ɸ%% lFx?`$G[)٪B~ߤBs5H-d_4z*` ]04%/`DƸ%F9KuYGs{@s "?gZVm=RΜ'z^ٓ^ngKQ>" Gv46.ټ!Zdplvb-,!BgYZ$ZhWk|1xAﱾq;vJx%ztn;j1q +$y67L/tsz)4O|vRe6N?P^ ݱ_Nw\!4L,ωaEHi{‘G93ӭxbf>V"F}kZųj QbSݓR/+?[$_ʡ}QN\K$n=N}[Cx@bs4~EUVí}U D}3 E˼ǁ"gi_&dHfiA ʱ;kQgx Tܝ<᠗TIZۡ65I5M40%5)sb& L^C6Kw#""͚L3$ 'dTiS1*AI O$cy<{t??oFx .&a߄K+'q;V֛1Gy!!vcpCc),ƋHafYt yL6el(JP>.W}% EÆl3:Kf\7*%YCQ3 .16!Ym/eqY"P0u/Z\ϓSRuos0̍ڶqEbfDY ELCc${iX&D4GB`/5'`.ey7$<x+,6G`.}ՙ.8Zl./zUc;u\/Fzr^a@$(rUO6u 2OLu %1(} : j96ڀ23/YcI{m6%5BcDR:/pBa0'U\U7XND"S0$ Tsj.U!H IN.O g 4+Ӱác^,v$>zD"H555zNV4\4JXU>RYW\|fL%D9T3A{ncL|O^ї}{`M#d~jLjQ+\f˛xraE>:=+"dUb:`a13|0Rr3< ɕ-evq8#ej,gGI]G2[\ޡqT+2,"Dj"dt1`/ KaeѱC\xV'%jR4{0.5_UV7dZ4;6Qfdy}|-_Z_[߉%y Xo,c2gQZi#iF-z$8xZBLK8ԱZ/F`T,?+,h9)E{m!3fמ7/qA;,Zl8. hѓ=tjm<8¥=H^t<)YEء]G֑ƔqxX=qU1OMQNK DhaF7t͈ 5۬_*)4C0pP}Ҳ8 yi6E#P" kQƛO.HbןW]Y~ˮ=Gxehl9ZsJ<ĨX㦅®fVweq_v{`ۉ*Onh56Dl_zO>r}T~ ѝC[ Pgu Wc ;wrtCÌ@F;eC0,Iuq<^+)h7m(Nl'!v4洿wv`hu&hom5ujh% ueW^1;pa٢7.pM?V: $V^Fǎ~),QHW.QC$PIiW L됊'%bӚn&mr*Ѽ61(~\@- Ŷ_۪,+-όCx,gַgf˯īꮇP ̮(^Gq3I>]M3x=ris'|0]΅;9&".UK}*\!뇤5HW i̽̅9:jgߗ$ĵ|ZU<&T-Բo6]ӁX; gXK]a쑌eCSҴp4Mƥo%j͓3֌>`䵁 r?>ɳt?|V|r%I%}Sy'j)ENB_Rs:<ʹ~XZFAKQjxE%Bcg&NoP>lSn֍r9YH E8zSiJ/>,bb '/,škwi7bU b~Gl.ylS]8Rc rڅ)0"C y3t#غh66 >Y[e# Ӧ)XyLYp}Im4ykΚYaJS-uW+vDX|w9t+dF?IE'y #Ϋ#ש(ñ8d=x%7M_s FWmF5DςD[a DR ʗш@5&ؗ4Td3yKfKDkf2v{,k"eUI+m_N0,.Z*dϜwO-U<&BOAK#K ݉Cv2EvOueƹ5ƿ t+ z4gS63QoaԒ|i-8l4VA㼞M )*f-;p'R8H+Oed0nš9rO ,?G^M6:逾D|0Ѷz 'bV)#mLZ$ln>"G+oEm$R>;;aY`ZtlA[eN8Q\cEhbt8`$2Ů*^bhT3p6͹m%EM9OK#ǢTƒ0U-}4&tG@C{ mzif\By<,`{*< 6_I;tiҹ>9V|KڐTfDнN2"g6wA ]F58 ji26:RCu9W\. yS)7ߑ{k Yxe"v򛟠_2T8J j-4j|,M).`(N6sXY\>6Xc%ෟ9\ވ羄?j̊ѾH)GM]I^TE r67>]h=H`5\4L%buj^7`,RvHTcŌ5b%K-@xW8}Վ'!:~3gMSQ@[mBVrA/W,ڢ |E-Vl O.]L)=m؁ #C!ʖ7+b~BNqK' F@:\gYZ YY1S# 4HOL-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,@vM>3ypm&^A\gĿMKi(c'|JUI,a#o0s:kܠw:@-|-mSnN0NГcC1hdhqn ћw`3C|rČ0 scgC>U+'5O<.|RFbr!ɤ#y$@S9&GS9]Y̤29tѤεo#"T؆3 HEs&Ju YS1LV5PJ\wpsRT ZW$l:U~"mVyOO"ȰUvfF&"gGֿٞnU[kZM=Yr|6am(5PYD98ӏnANwXz/;`lz)٭)H.X!UR` ުRz'pl *P}lzW%aQaPg0|^M߽ycu9/.ޢ~O&0mqs/a3 Te`‹c?KL7rHX~=bvVr H}r}@Շ5qIyQw+Ш*V5-*^oڮhJx_t:Z_^Ar]|A"_z{/D¦<{ Sbh_k)Ax.,z#IIW0!FV^qez7 S_snxElddzLҚ)]auf8 DUj;} ܡ RXgr;5WҬ YyN]ܟ-ߚZFϭC)q`a.~{ 쇛 iuᵯ$sl[ 7/oA%!nG%kp~|ѝBcg4لJRL?8ػ tk?FsM w:4bA &?~y%(vdi|>Gp=D22OwU3n[PY#~VׅoYSiVoH kW\KI1kTB\e]\t ڗQh׏>GlAs]SGjP罠dn\="dnԺnph1fxDSzm['KW&|Zm/ U}q_;&#'|/BqlUQkm:Tb!ƢVPF;:[*~tU :~4c 'm~N$_AǤ suq6DrVũS`ڢjvMK9 ͠6[1=0Ӵ6J7cHvKs԰ >o(#EKW{:Y~1O~JaĞ/22VN0y0x4[yX)B)4u/ s8)gʐ\cR/]*fl)2kܬDN@YmJn,UCE/zۣ:%Bh=mdo_1f[vulVJV&@Ly4V +jK"Q%V~AgS.Jlg&ՠ%>ك9TN^p ڈk޽}-}8ڛS>I ;m X DO*II5V7v}IـIN_ߞCXF_~mHBМxU=TR}oe _4̔5~2q8 )i$֜Ò PLy!̜g~׶[ur%I(6to,M47Sfv}rhKwF"_W@_NDKfwB}Ȕr#{?VF]P~4ۗ RtR;-h|[4([AԷ+/=@yW=~Sɥڻp݃&9 M/1-~[XKyBxGS3[f1`8%[z)*iw=Y``p}CuẄ́ʿ.!^,R>;j9ѼU10fx%}/oNl]A(O tG\9L#§o^%k!=*(᧹ }\>9eF6DxwS%BT3ehШ{G^{kwIM9g*'7a|)]mnŔD_y9=gKpجu.mH:RbbABK( 8w4x>Fkÿsx|:ӨǸ2&T[/\ 8\lXTBO?ԋɨ0z&PLOO qva+A &g _q]#Dz(PdTs DKk|`0f  &^yOkqv!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_id540N1O# 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 64ް)'$_%w3ov C=IC ؛6mN*qPMg+Yyo_QX!ݮ}vob 9f.I^AkRDP:d'$XK?vM:`9Sv1O!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\{n;fV5wXǤh[;crWm(I~-;'O'u| ziO;mAeVOTiTyjʿAM5]>!NrqӋ:zēOu$X-~G"vVmôb:%$xB21^% yRY0|-HXo^iY \v~xRՒm'*6<̻{r&kҐS!v ZMe00/DU.7nI1g6`4 A8#M_7O|aȜ/&_DJ[9Zw X*I[xr$U6(*%KܐOY yvg# rcj'FT"TpL4*מi0*bub@ A#~N\8gI\(r.Ϧ!uYZiv ۥ/4!^"8gYZI%^[hy[:qɉI|CCGD8u u4pAԒ1H}3Y1G "?"bbQX4]Is+Eĭ]V }Y})asTYE.<_u%ڠ_S_2Q:$j}SVjQT| cnaDuQ;fѢ 5bʓƉnH TyTG.oƄ3\!ƨy!KoJey gmzۀR.j ؅};*HvPqK=_~dl٥xA~,KoWU)`/yzoU?~PTM=0Xz$E!>1Oh]Խk B8ETT"j{8_8tS5Ю4!b9try1RJÔSͭ)mO,<@8{YWw l ?{ #O}zvaV='a@^{ǐBW f w;g`.K @> 125BF;G\Z8͜c-1!BsNyL5[&4]Qĕ ﹕MԴٶ]r]0Vsu ¥_g,%\D˝k9% Jiu)+t")S!DX|:Yl6.!wBqUi7hc2x!r,Ooq-$=ciOjl(EmR(W=MAV{_(\ ۮJM`x~A'阴RHq}h iɖרa[ $`S98>ؐ^vn& jkHx܇ͨ|={n6KcGFfNy$S{hh/ZʆG:JiDЛ])A]tbMᚺ&1_&~{{Eeib᷂c[e5KWNZx6V(IVɇC;tXY58nXg<8a'Ah%;0n4ex2QdG%E&F+@~ *SHՋ1iuDl=Ñ~P_Gm+H~}8s<铔CVۣZCEdU,8}X4Sq3O:͠;2x`}aٌClTզk5 ٬&;%_؉3w$|xGPbQ.[IGJq JXمvQS&>zc\yͧ8DAt-{)~'fי,,T=iMRkV:J˜yi͔ƊNROAX|ƯY;{W"K@-w?Aǚu,8=N"K.Hrq+\9ՇD$њ}Ωq62$5PA Lਚn"T?p(4KXnljXgY^m+ΦɲMѐ*O~lkA8Q5¦%^<ј`em=p'o7lHe.g+l!!M%ZIFqqPp.2gcrڻё ?Dj!0]|-H_NtIdh/U]W|?`lA9pR9߀:f6 b6 B3~?#:i*C]! l^)V.>Lj[H(;i3s 捘/xfXnhm+0oYWU0ҺFdX:<جA>T|8 q@u-:VCUc jBy~"`UQJbxW>a!%&RϠY){#}FBQΑv<) tv B?Cl6QFA`qTR6M>bX'IsbtY_330TNx&qU}CGH^Ap{16dIۮ$r@c[]g|~zc²a$W /QU&{"B+Tvߍ胥娰JB+08ӴN YBMG}qKW?:MktEJCx-cg4u(轙Ы<Ο>pK SEGahw xgG) f)~ Z<t*Nbڪ~X@+u_Gh$gdRiPe͢Rsj%dF~ Yo!"6yilV|| Ū,0_vm\G/|be9םa9I`S$`ja-@ Wڈ!ƍrq_(T >ܺRypbRd^#eP%ŨQ &=pmTP`TO2V3\a V4$5g5>+_ふdȚjJ^Ziі9P Y-m503YcWJ2ފ)s\,M8&iyQF!Urީ%:i\ Erb r}4fyȠ.\q2XI6 0S.-%-qV,ábXq!Nyѫ؇y%OWAģf<&L,3Ժײe߽WA j]$4lqBJ`2)4s:dC@ѐ߄"䆛SKUŠ9USvA ~~[nw6R6HY#>[B\MA/@@ʴtҡV}LDZW}R\ p Ȗs~d<[%Bz/f1Z8/^3b< /.=_N&o{\'q4gYZzIviFӉcLzIʅfkRַy;(pn*ԈJ# '@-ɨF A`~]2EbL+}xtxcU8GW ;P _(b :>1ŲCaTYxl!U$s:E=Hi&t(u )/LSi|qX@Vܡi30^T6&lCuYnWzcfb0dgvgMM K?8*:_EDc8NVi@. x]UoHVsI۞ꦃbu̬+ozpq`r[Y`C gr *5_x?83/tvĴ_ʵX#U$TeŔZw4dɘeB""X϶϶O&WW3kLԺ#2EuNB(]B4 ;bIb, A)xrIpPR/" Pwy!~kwh 4H [NM"З\ۀR(irA4WTR݄N*h773yySɨ~[jy:S`0ѿ/`ƇUӲ'aIj \ 9_Zd~tL+ ȋ6x*^|<'(>Toj^?y$b $p14]3 sHh<4Qk1-AO*5ӽ`آ*_I.է $^pjڳҪr*sy^CXZ4Ī_D`1,C*!Gnkh41 !E n2Ak uݡՈ]=~ ֌>ΒwV%5!*b˴8F3#YkR`n3,a0(LoPU: ٴL3*Bd->VTpR|vprU7`DPNZanejۘ~`"^mGh?X-OeS( n` p(u;Jzvߡ.M] ^1v+L.{^8{jOxc #М*كYsI[IN;qBa=8Q u-22jQƋ'RڹӉdSN]VaC E4t g5q ; t1Iz40 Ik%983 Wb$@k >dvF9 \eJ+S`f3k"K+q3/8 [8wέ0wڿLgdn5;zN\0'>p]w7ybJnհ؋1 ̐ʼ~y%sJ4.aa\۞Ib}2zXᛱHmmPgd[Z fEZbeyR(bsRDȻ$)(!1> H`$â3L@e`pAw{8`ԏ(lzBp>̅ˉϽRZ_sKUY q gh^[дLcsѷl._ i ӿUˉ=&E;64A`(猅*CO,}I /ԆG&Oa!&_̧¡MV5,r/0X8~ܨMs$q4ʅ I[}<:ol]x?zބ-.%Qou.>OLYϕ$y5Tق9ǎ*e&~m7Qr/(!ĉ$oFJ~y7ڲzD7d%maX,o'ײ'whAC瑞;Gpg CMyq?|6ۥP!,O7z⧽hXPA)*pj1 IwnY\ƥV _O?S͎MQ77-N)BĭDFt ͨ_W?e_iDAq}O$hV1"r<\"  e֊c)f3aD4h+RBcf'* Nڛ1A=KG$~~AkgDwy<~M;UJ׌Ny.| =}n& fi3HMt@Er 3B ;amtd,vh NtG\LUz/`L\DW Sn^̒S{)3>v` <_ Qb}nY"-ṭ[2*VQ:'Q?АDj3Ɓm5)дVaT?Gό~!UIWhDkAQ@#ͱD1|>N qaXShsf!#MdGq\=Zp# 6MwwmTc`4YV5B\]5ok z LƲ7Qà@m*O\Z۷&ڙK1-p ۨ{;:q qn?W>uw#!&X 0} |<,•jS,@$Cάc2!,[!Fi En< VU@7-[%g؄7!rBVW{RK"B s;11G:4itt'8rn9%r,3-"r>/ecρuR24hȍ.5"i9X/n7 Ц趆;1EWNoyE[l^{׎87[A~kh*bxc7 yEjU=r4?TxߖS gkBofH~HXm2lRBey>j9u5|?8J ΎڮY1۵PfaToȃ+7Nt3g̭Z[|*;g|BW!jK3r .wȳ|8;'1 -3ɻ`i^}.6a -EKqdK\Ek4dBQ'}a$;o#*NόP@"LӬ;`.TfNw\.[ MOObv Ҥ׼ROhLK~p2^Eʩ`A>Ђ4feZeГܿ55̫KjHmiY9}׸_2*xR8ScIl|[)ʖ*|un;w f)s[)/Ƶyʞ }LmN5T!LkArB?hbH."S?x7A$u/@&uݵ=ܧs bO{`¿J*ƴLBcl!Eky;Tnm5R-;̞g25G%Z;y'q *,@q(ԓ~ ^iMyrc ԃ ~zhlSBL[y2Gk鍭"]|WgiЂ/IҾ2L|;R^iK2DY^3L'Vߐ4^ۆ}f֛YC)s sSaDd?d_`3D8 &j?\P=g#|X4M /& 4Np@o1>P+O6O#N[ Of ڵxXL v{X5PQlnBNRe5e(łƻ {[ȶ TiC$:7WϦB*t|i:Gfn0pM̂i^@:u?ր< *&FGG5$i(0;KxC,nq"\p|N;4GOvP^W)֛d}r5Atv!#X_|ZݟɟgOw4*ЖK ~O0A!3%Qn5uȻr76+WN)SV4 ۫;v*wt~6D'sOXq37Vnd4*9AT ~s7qo{heUt3WsW|b)~Uj+sCFUfjii7{m{09 ʅq<@-RRJRMdg%&-IA7Qֺγۘ6L(KPQ.ٔsFrS@%H5Qi"ź8>+0 [*w_G,X}ɬ8Z[8wAvB6FOι¨=ӳ}Co%W{S1*Ugc>8n`5t #3S|{z%9h[kXnH~_G;(\T)(;*\ZANF]ŧ^Ql:> Fݾ@:"Gj8e%Z:VGygYZ CCh%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\5 |4q楥ggjt򻊀˓dL|7!+Lt~lb AnW!:R%' bX,VGav~9B1PTՕhA49z8g!Az͆F uZH5G @{bq)Gb0 ہ,߄6f; :`x{&6Ԩ~T*>ɟeJ邽 RlvfYFMcw6$u dVlxwntQf,V!BU㳞܅dȟ>ҥ&yҪLRקy"c:I"${IŢ =XI>xSxtF38n({->ӄё6(@/EA]tM'ڈgݦ\Drha+vosjCnZDqk~?Ku9NdB-wE7ymuv&?H0grYjޙs1樹wlB]k&֑dl.R#j6ưY"dGǷSu8NГԈ4NQ/ɬ.X&4Q3NlZ5R6.J0r^5B ry 4Uݚykd3FW`3+ǽo՚R" o,=bE&WMqYw|nmd} gYZ vv&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%! kQjc:C ,qBɁh_֫}uOZeAhYx:J噎dc+@0Q= +hKzx/u(Y1u>V;d"4wVarZΌLQK+#aV;l+n|U3{VJ!V碛$D+]&фBΩ]¬aZ COpş9}OeGJ Nu$O-2yOm.j mo*CjoF&=v&'6ɣlo[l9š(]5lt+P|Wf:=nDL>?5VuiY~=HQ6cJPrE{zI}P:E=-WjflJR,E1Q-1SuƫȱpK_m6xzo3Dݹ46v9pTPz/zS~󔴞kDo_'GMvݱ9yAfg#3pHQyV^y籙ˆݻFi׼HT+O%jY'r2Š@KȘ'ƈ"Mk'qe`4|V0P7BCf3y3(TVN:s⨓ҥ-G?m\UV<1Ǒ1ъzk.^n7uYA伭GVS;llp/St7&3*S攫ˮc|$Y#n|JjƵ҃+'KڤGE=@mlS~yp]WaS M籜a'l㺉edKZbzyò, b hV Ux 0~1&e WHkM+T>8T Ʋq&5ILU-pY_hw0Ɠ=,'h$ [NT'#dχ;96_;vK%FߝD$N5 %GCY;h+g'5[dp L*kE&1*Pd/ On@T3 ,՛aS7eiY|۩& uϞ̦<2-;Y*s : :V0A0љ(rm0S~&.9&pfDNC+ 79Nuڔ?^vul^3cFޡ벫Ϸ!9$x'w"b݃:zpfd}Cl!>T)͎4*I)35l<^ʯg .W/Rzta/9:h|/ĩN%h#K-ӳ{&[R>vW(wF(TeZ3/[B(»\PšPBʶb~c }^c9uv \*ZQƆeL3U]Sl֕ =U7Aq.Ұ7D $YL"<ҒZ@oTޱ;@8WN>u7¬r;ݑjQYo<}ӵb2cE0`EHBe]Ba2'坽!yʀu8mHBvσEu$}5ˤS.)BU7}dZNx/_y'"6 W=UVЉvS%q+M]FWV,5bveXdB73mWG$  LeS4e.]14~խ,L^@}P6/c*7kTQ@ @LXND'c:2V G4Jt=:QSr4%6%<)\9yoθE3Y0:`oJzZY2C(5{drNS2mz>o9?>UuoDÃr5h+ް6pMyF`vâ׆FA 4*ﱘw (uɱgYZh)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\:Dq8\WKQUg#VNZL-fJ߹ܠY?&AXM< I,O5uK5|`$-߲!Uvk\8x:95Epl PB5=)h<N/P{UA;mVɐϢ )j n; 2EgWmm/QKJMFPiK֦tK9JUҳ1){ X*;8#Sr۾ P()S.!~SCdl0ۥ@J:!e'D!vK+~(J:7~)[#0T{{VFͬljObY?eV{AF ^ceh V7 jZYR |v\z|HeHXZC܇{뗇_KڕӧS?U/BF`1!EJL4IHu'qck0P I- U›U;˗_g&~r'V$=N#]t X*&b%Dg@$0>;AH.A4~: 6;"ƒ%[TCLex gф?g$6)&9URnI}@l"A ʖUT au2mpX_wyi|6`bQb[;!#y'J|[zLwY$k$jXl] S8;N=p C{黦vJB(bg#AJ[J|l# +=L0aWg#D˻F^V4><42>t&y`伢/e YnВt%9 L0W.?ͣ3{Yd` Rj;J4XcD8tKxJ'A)A2"tA Pckwyܪ,g h)B|=0 ppjڒ~ھImt[R9E;T\f:jr1 9~vgB͠Y6L6GvԦ Lc,q^IJ_cmuj,k2ZBϠӅ'6ی|NyuGbOOW.Is` "\~&W<`nX)@D&vm{ۖ<C ͍S6ņ,idn/eȓ1 SyeCdBGejAT TRZ~]2ہW t,lFW7u)'6-=%?!nH>D8!`=UBL9W֡co{|$W2®/yE" ԲVʻMTXXɽA =sRK9QHTWt&?bOH Op<HYBq˵|gYZ y@HUaMM)UGdsU󘭾INz :ASLlV[B* i'ws!gM \2bnʳ )$|OS@{[]V'ZD(F) 9 bL%ֱΒԮ 9+{CuG07W! Y Xg7ASr_44 ViJƎMHժ6zN[pZc{Y?{}H| 9L嗄%zO2jlzphr9=ˣ>"x|dːmѢwSzKd#8$(é#s+~^ :Zs \eGt8W#yFw?.Tk<$y1zBqt*gbýXPmn$r zBUQr=6=3~nݟS߯ 'l02J!h# E"9!ku^Uw%e^᧩d;v̢6}.˰>-tNyϞ+ AZcwT#9yߍÀ,} NHfb~k1vDy&z q0~.Zd Lb4reNӈ[w,gG@) ͊ҕ,6HȨYiד%I8$dtDӚ#Y+|bx}#E| 6kej䡠gN;>'/s>Fn썈센ѳqaghU=0TCI?]&$9XݰzɫLҥ!n;a[⋽+ӓ}BDU{VM\~8Da w#d2Ygtθ/۫dTg0mIɨ)S,6|TU7QOlƑlU7 p [z~چbC-FOO'e#XCצ-;;܊ ?w@|GQ= ɸEb`i"yP*>S҂n2O~0JժH0ܑ tmބzhlJ̉@u<~6pƱ%RG6ǃޠ ,I9p[23eðuMX$avzӓ\Pemৱ{i_8Gz:f/yQ붍ϪXALIs ރntZ0}6d_" =lŚK&f|x,sqI|yHC_8tC؝Ohj5ڈ#0vؓ9,?Ͱhh5X?h:BVfDDz7厘zI& h<Օ: X[{a){ʤ@b3ze߫ą/Z̏:( pӭb2n#[.5_L"ߧҁ>\5vB,\ WڸZRIG9R1/qe Bl4Kw {##̚f*&2QSMkh> ]8\p+rUN^-H gD4,&2c29A tS.޳~lMo0k! ;(BU 쥏 fO~6?:\3o6XC ɎU=VԎ݆SѾ0Q@*PQx=<\]H B-m]N[5Mț*loOMS!ӣ¬z`isgK=P,ߔq;&Ld3bO\VM-Cϱ:.ۿT]XqE~pGYL' F3 m18yҼޚHvMCCOY( S6c\ʟJstJPVc_vEZX֏&R_v̼"tO{ Qv{BbKg}n0Ь䎀6Z8m`}}7& L" +HM޹_V/1s k:8J&3ARI*ЗY9] c+~K!O1]߷bȢ.GB6-ʅ¼ 1~ &'nI|ꀣ}Vڎ .3%P`Jl7$L󞎆wneybL[N6)'TBߦI-8ۛZE +%֡Ii!5Givs9N.%|9~ו)8Wڦd/Z3Rw9F#w7vWkh% hoKek$W MyN+Hz: rE>;,ULG~YǞ֮5,F omiS/RMӘ)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_X=o{\+&x>0aCD@ҠGNLA L+u^HpxH;SM}_>DK+FR+r$֨%17UB @p.f$j٫fN9FgA326Pʤt' ;̓ᙖ f Q~>9&0R Q, r\TJg@4IW[:[OAfjϞ\\WA?-swV(X񯋽0pš8I/Y=dGf(e&`G> j%ew߆t|Fwx"AD-8a' 3w^`pqQMuÿa5`KsE\֣uTA+;^pobp|Ҿ0ɧ=>DjvkT -2=KĦme< (z;%X3:JhLlvVF(o7a}=Yso7gȁJIJ1c kP$Pou [k4]1v`c@jX3$Nl Z;xdU׈9N| 0|Ս?6Sљ41Y{`֊\RXYtPZuĽc-wnNkb1\. ś'W'H81Z_U8z6Rc?$fGAx~u]M%4>z{رR*Y>˅\3ewDR9;bh>!=s262oB,:U ؿn-qYqg7I@ƽXb+_a)bÀd z!-)DICD#yHfC{)< kĴuAT5HrΣsv0\E]|LKݧh-m,cP"+7d(&_Iw0;_[$EP |~T[ҧmX:QG)Dq׿{, }T  D7;g{>'f"`Avd_pgv_ӫx < 8I:w&_"'֛LXan'BۣGVjǂy dT1siMmR3~t4Z)Q}!٩6'UG'iD^^d[Fko4}6wՉLjom\- ]Q~0=&:O4ȺTunSJP72DJ:_$7[kMUq}’ȇŕGl-jr8/ee1az2(yBʲՈ_N*^iCe5m׵iìf?vlA&٪ק@LRVZzg'/m%1'p{Oyߐ)3˾d'_T~%65\Yxt7:svMҎ)̀Z;Ώn}C065g'Ky& ӼOv/QnV&G; ;Tnnwa=m)2=3)i֔5e ^@Ur sTm.ks=O,ltNP`^ E5SQ_/>x$C  q ' F1 1E# HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! AXC]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)g-J 0=֧4LDv6i,#>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͖xqkhhj; > Qt~ kO'qY# %?Ň~r/cB"k<^g_1v8Js=tBAO1!x'y ,8)ѶEh!T,57WaؾԦB@:*CB7~طcua_CC@p8'R,~ @ʁm"_LVY({-_Z#[Ӥt(]m,x"WG)W޹Ֆ: [wj<}hc'M֓* Y,αۊa#oeo~ ~=kk#'ߑDf% zf7vęYQʪ)cÂwJԉБs[G֙ /2NzEb1aݍX[;J 5ԜZI or+䓊 #=~y l?(z-w 8q?&JfcifLPP՘AiXH[էg\eHBsUο? eNxr=`& je/ְoa  pn(t^>/N[ϗQ|pyk*T,.D)XǰgK^2>90Xoh-ۇ#'5wGzob"r$!Rɳ*}ڇDY9(-nG\zAffHEn֓au.mD=?s ǴevMS)#xunf3"M*0VK |Y%h[ ssiGs}bH\MߨH{jr(DZl(RS9|{][#`qJ\1#!܈Z_Z:&>v+vK5e-ťu-Ā{J,T&mmWrIk C \9.YXQyջW϶2pxt#T(^-6ω!= qN? elQ<1AecI۷?%a@^!W+B>[:}]0kNFf HE^m8#rH,hl8ӐqTXkw[)';~ƺ E.7So,A ,BzG Pe!n^fW77"ra|i UeҡU;Q_2:>bj`.5c8h3 dJVF~d:Wa\y0CA/Xy1URf`'R% ('dʃat΃3}fF)м wi۽ɗ%55ihZ} ?om)&{2#ʻ#ۑQQ+P!!ҩr&`/㞍<*m.jl#.S e2SȨN^][#41`5hkis:HCB*w.(*@K6bB Ql ܡlw?G2"68k\CsA>^TWK݁.$S K3fWXL(u0.Tx"a"̐H7`i^o2 u^&3(Կ{^cfӝ_npݧm?Jwrx f9]%#IntEf&3o7ct4uN%~C2l+{%SO UF'JZ Mciω.x6+ Gf㖛Ki?.O Y֩G_VagY?J;aC|JTQڑjoi&4njayNc!bveNj}LWg>g,e6Of2| H9}VbKh*;.0^<bH -C7@D 6ˊd0q1PDM]+w'Å Aהܹ <{q]vҠF4 "^1MՈ GREmD#|坴UGN H)]9OQy;x_THIIbΪ6I8h˕e^#Z;]\{[$КOӖfU:dƹJh=mtIRQQQ z^w/Af% L&PD^Z[kuyV=Nr{~/YLTW%_҃u"A4M|kX]e}513 Y}:AK9ߋڢkj!]SX[@A/ _تTvK{q%rHpu$\(;{k,RS1$5U[Χ aip_^Yw05ƋNί I`A2(axV&!Hqi ~`kbCT*+E U-Q{{ -jf`[J\8J|>rG$QΡdQ3LHɾC8Z4doRcyDt44m`D|%FFF"{ī|2T, Z8,7;Scj$kR w%1=BԸuNE?fY^5םMD%X%`06k͠j!AN{4H!OVS~x8~a}* X{%Sr*9۲Vyїd k_7+nl>~SHCl./q4(yUw]IRV$ "^ $g"F .t2i[`/5B!n}%R]}]"u|9/4exXAP<]A I83ݞߍD}f5ԹV.H}1RЋI"s 35?@`T&iuLaV M4)>E& Pz 0~}*W.U*y0~c\ijZ7eu(',rC =Y!ql$뻧pQ0].`}BĦki@5xCf wp!QݸyUa_kcXe`6GӼzaC%}K=,CFֽ߮)-VZ/Rxf+H@.{nQjJy{w(IV=|tfrsᅨT3714|i8A ?^)WYՄ`iS\SeV>~^Hu ;i5QҚul_7"\,36j|}Ьo2Tp> i@տ(5Ʌot:gȫ_dR-w ٙ9!lyދӗoNhe6DuM j~hӊK^_} ?ci V3~?[{}3Jbߣƹ+;t-݌0 !+\M΄?ΗG"Q0󛩦 %D*ɑ7 ׯ=ej(́[!*'SaO*] USCk$ H 0Upj[lr R#ېKZƚ}x5y(bґfѕ.$[쉺$U.ռ u3S!GPZ zUe_t6 e|+;]p ei^+/)j kI97Y.jI̍ Qڋft<\;oDA ~OfJ&!g+ic^2D>%:nRW}o#1^M.bgtpֶBe nUA CW̋5{LX/U (z`#(? swn]VSbIh4[h~Լ6I1i)Pg\$JѹgnGCuyϊ- 1I"9x>;jqUPWy ,;@ Ħ< uQS_vXuE"h9 s\X_%G oax)h@y!Iw*zyċn` jPLaH\(%5 cdRƢHap&3~[mѰn mc%*ҟn+ulਾJ_x;ڻ=g5倖 Zæ͛y6~LQNސ+)\5޲P[1ǰ2\>@ :8rǀ"%bP|YS@iِ R x0l6ƈ_ S \GB]ܬ.HMsy|Hy̡\Pdt/ZƪCLh5e-h~XҪDIN7Z)=rG)*ɍ+zf{Y8ߘSzpSEanQZmS8U οb䗼EvigE=S-ߚ#<3m‹3$s1{o¾H?k߭ ta< N1 GA;]F_c#Vr).IO4J:0 d RձĻd $>TJ9ޝx@-l= Ycok|D_귘-]h"{qo2bf . 3'BLJ0)꯰_ )sKJ\Qx !tLߜ|kf7Ags*(Xe^/ᥡ YqZE+֣1CK~C]w?vE# b;-͙ BbNYTocăr\*ff=gc瞍*II|N?oC#Ge``̾oqB 3F컻}";FՒ6WLͬsnlRxOs.Ia:j^k܊ƱtM4QxzVHpTggOuDKFGHliĖ"\@nP5?1gכ ܅>0^@JT($O] k ֓T@VzUul2MZD=k0wXC4ҫwPDYd5He] ]V{ 0v {]PPx@7MǍ_QoE|3J4ɚN`I.BDg¸v1 0ptQ6B) ͉%-^$~8ODQZzٚ@ibbKI; gh*bvv" IP~hH/ rL 8mߞ+|)^u-~{~LQ3HYQr hdGX(Wѡ4U=Y֟W!+U{ON.WG6EfɊ#ZJ:CN>=A:*c-_av=H@)]Pj!' ܮ$ TαTk͕E0s_#4ZHOT盝^)q\e,Lzώ{o3dnOcw"o )yvLNSh UlJ˪ck]TؓgsEhk\G&SMXVOW&^"o qI*/ XM.Wyi.Oai_!z֓ʎV18j [kPtգ F|0[a)g!Y8g{Ɲ*E r˄Ne91PzهňQv>UbAO ΀+sp箠8t| W>,P7Mf;uWMGf(Q>| (?N3]74|W\U~\Y~Əi*Zw?fݰ4$yQ+~I\(pJz2{d q߫Fh {6d@:BVI4χ%ôk}PQ?#۲WQmL!'c.O8pY `8Fn/$D8#yP=$S[3h[e@"QVWxM"ײw!Of\;$V LrpiAPV}~J$fy?݁ 뒽HGkgcuR.N^~Rw@YQ$V@eqdTA\7M=tPY?|V5Rः(7qrR=`( 8:v WC@1D_S-844 n=A\66vJIaGƖ#wC%;c{8zRz{~!3[1n38j]JFLsVG<:(؃{KÌV !:f)=Z>Ɇr"2Թc/md @ty/v]jzJÖâaHJ" fޭ:6OHnau߻qytքaKKqzmz9HEЬQ@GʋG_xIv̭3zgH~VxJZ FXM/dqYP|Im|Ŷ#$2k{J'>`?p;-FXP|94]ClV3,fR :b}j4/b`-&)t.jvfnW*6=of"bb߇n!:Ua[) Zqf͜K^mbO?%oV ]æ;\\G0KaU)(B00{I|dC~Mv( =%("~8ofS1UHFI@{3 b|@. {2y0D%1\ tvWzaA¸pß\)!F ۈ, zJD91[@OMy&= >VbιT4DD ĬHHva35u-aO~x45%7=Tp0T 3u=lsDÖXmRo j''Yl3cZyXa@xݖ , " ukT0-@ aؗWgʬſA ?# '] cIzY]`[Ĭ5D|[`i7ȭzۮgm&+Dr oSe+U˾Yd1 6͐$h:ФsbDžH(̭ڸ@;/Q]^p8b-|(ǭtmo3C~Nj`i )FП ñTe!e;c?P/f%)ܿW91RlMT-誺ʪ&Kus& 9k<@%62&y g\F-)|pdȋ[zlKEBMΨPW,Ԁ662 h/<%rRh ^L"{Mys4 7A[ȻQŰ&MR3WBsF ?l ̱ͧgq=[}ztɟU>d_+Q2M߁EIG.e-mu]~O7#L#,iT*Oge7 @U2簈҉Ki ~sUT` ܱb5[u _r0haXۺPj]sQ9~?oI+OIٯl)3%4 b&3ziKƙTd)IcJsxÔA!~Wɸ9\&ɴTnzEdju˰F|sHjYt1#v|.JpuSIX$0 ;8-skY9})gJ3e3d|:D h ƙ3FE]$P0:ccG*5| ;Fq,\hRCUxI+cuҹC{^8ڰ0^khxi#cy:[8zL+ v>( TZd\~6 ܦ˦m{ .?_`PʱrZ_PO9jsPoll:MMBm2yu,PQ 5bp-!3ruaNl*`{#VX:[)*)}b7 JiEƐDǙ)%]Ϯh(Z(Mbfkߧ ~zIEN"lsBHo&MjwτmuSE x8-PIY5rs<ȫNBET -W/5-xBE0l> @Q15"qV#`FN[븤S%֜=.zCbyf Gk-!Zxz!Op3ҏ">vANkoޠrU v IITOdL`_bekV2~Tstl&F eu6C# MYg>ߘ@)[%钯 A$ NFÔ Xѣ>^CLcU D^xj޹?/L袧Z0mœ*>ޢuq?K6kԉ/5=ZYCJv؁߯ٻnY9jfK xg' P^FT@1~uq6>sCՠYo^vH6^왁 %$[̔bV_w,y(~譩. YU˫8%8d;4M)=l2$qH#H:,R ñ\PBRvO:X@ 첍ւIG}ll"]Ur.xO.TAhvGeN#hn NJƯc $ַ ^Bt@Cekʹ O.քNg+=EYx4N olVqUo͘n8kYF6D;8F?gE4I%pS"Z@`8-%_qNԫv`bFf!BY&mA~*o=9k-Ѐ|tuq°=,楄Ao;SwjoJM^,Mi3+Aam/j[\e|%mා"-AgyVB2O/[.m&",vYG_8QZ6'ƶ톚4<%oR% 2j45^'2m)yx0ry ZoV (yTL\AuhI'l)F/ u,MZ&_K:OD%4GAL;3Z~+{w/z4OBIrNFz rB\T WYVc4oyӿA΢ 9(ӛ_.U׎w\2{kMx_ēh8Oi3gqNZV*jhToj22M}9b8pg1^BqGNh9BMTys e졍^Z3W/&>HBo?kA k1+1I@=>ץEx FXN()U3qnIa5z[2w&Wk@791c!xĴp (+X7>Wu~!i8)M+S}3c?Akj l^cvJ[cljzp;#>o8. z{pf)+8-BԫƆG4n͙ fg5%BPT.(ůq=ـZ+s·Qp|0J6O #D&T >;ZPNAW+8]=s^D6D2ԓxS/(w-u\xaFh"OX^j+4Vk lj`y%bD}F˭W]:Si OUǛt(sՒ#X.E |Q#+KK,;W8 *je/hG R-IQѤ$ *YXgx` Y35ަ2.G * Xm,xL\ɏT6:8CqO_@|0~=h:C*rrCx o4֮-i5㩲.w!LWxU"٥Յ6I= KJpcC(2JtZNvyvB|gun[gù\ÛtUnqZYpF*Ƣ,Jh{%D&~(%N6 r@*?G[8Q!da=r_jmZB(΃u}<"e|BBKC$~o`\"Q-W/#Y̏ w6?"w.aF&|im cmq3-KhJ{i1ge|}k Mj{>u _rSŗǞ9qP ^E` ?tJٟWq bq >ZBBMUq$6$Қ^pp3U} |jjʀ$fKP}C,J8._4$HDC=DcZyKK?8]'F%VO'dƞGQ8r-2'h8%UoըG ZgeKFٕ1j%]\OŹ+ ޟO iJ%@wc<ςٶ ?[ 'a'd᧪,v)o{pQnא{ }Hu+[c\{B:Cf0T m4A،OZGq,x-dt Q#ȯY .Pl]N3I'þHL?F/}>QЯNKo=MCslB[=6z||Th3HAӽx,^8U BqW=Riyu$~yy'7-0*Ne=ǹg Ƹ# Қ٫!| >.i_3@3|M~/AW݅D b K5 ,Htxβ7's/&\!>>2AYLGy{XD~].Fp؛z:'벨 (,Qxq[;º`d $LtyfD8փdw!u+G/v{mF|So I_0YNw?jz^BxRt<2y<\w83'ly'Hn+Cl[E t&#a!{(tMXu|fgr"SD]֓5{Zq﫣`l #7;%U~ }Yͪ5ƇA:+fZHp`f^>8)eAxj٤t.4J/qncNZ^|"?FI{5ԗs@КgPg]` UnJ8,V}6YGE9v`$2f6T`a7O꽈8YP=ceYQ@\nI>u'*&l%;@'H^y˰\c񁀸t Ț+lو}` te]BpXH$'I$9NwԠ-B4N{ۛJ@P}W Ss5t.$Mވ.`XG{ru0"__`ӹMk=CmBWr L쬎 gvI zcǒ_ٖ@t32 ?Ԣ!: ա>(+1xzHPb?"9>,}9=T8924dڄVP^rw6FR@'K,W|Fd`Š#e,Qqq?ՉuY.sرܺ>6XwA^_)?s4RXeeFKN\q]fxAL1ټY.i2.I$hbd鵯|ll^'|sq mAKswVqsy씛'Ii,rR V,Hoe.S@|]h@=t~m;V`/ ~1D(B} gD2cOqpcZH2dc=el4; >sUu}?)޼k{y :0Jj8ʶǸ#8X,[U?'.:?c6IC?!7e*e WZ7~f|S ,5IKX:fe唥.-I"kRIC@)>s|CCQ]܅Es,"|*W#_N y8vS2H (1$okC赩>9 Qhzjۈ(k5;w-l88#Gw Z |'IdX~`44Kǡ @ؓ=/$u77MuG[o8oPcuoRjG!O+\]:vM~.QKOJibdY>sq;Ji,=7^ (dL1t ;o۟).#z&9j:= ^&|h~.ƽ0\zٸ R@o, @@(x ]!SB׎ K@Sm=LHO:q="]3<\G\NTR0 5 U"`<76T04\+Zj~N{4r''[|vZNJ-:⋾'|D@n0s~|` xsƑi:J23bLL)T]p4LȴYO*ԏk{~ ǔ{}qR#,Z>ʇ:*Hױ-QL'n6CΖW 0$El==_GEiA?i}-1 XǰTin)Ӷ" )~DwRBz\ ݠDBóxކ`JY=ވ5Kr+.QO|~^1kBIDzRgkDf_鹇̗&³nvYE˿ 5COޙIjMTx8~!=%"Q 7@7lnQZbwvϤ 7& S2i9H|Q]8Y |h]%=%@PT \bȁ2[ ]MmއX >\󿄗w "z14v1ЍJKzȴM/vr$m!-jnmO։g''ۧŽ!ܩ#"_P'kA@ml8҄ok{o?eC(} u: 4~7]hS>v϶*vd)0 әP*U<$X6W_ta~\94mqTNGNz HÀ3^8 Y?H˳@qlO#VO#"+" N$kMEEIS.de+(SW6U::V"{6b |1/oZKO&H }QҎnxwl˪īufVhgl.vlY$Nդnw;E><\)@ C-KJuR'NDN,BM"TӛZu^mjրԕ/to?iW}VP(bRՄ;%% Aљ~ڇa.%`t<]UΣ։%`rUƲ5_kG\.^(^sz%Dތ@J T7Ȯ.vyT!5#U US*\߀\'p\gS_ŽRdÜkm 咏fNx d ɽJrc!<(jUc`ClM 9@<+iGA-pgh a4CƘ:)uZ1Cy%#1A} HSPҔ[۱px]7V gLlT ) &+!چL-߱T©jFQQbtbvxo {$ar"mu +m*^tpvɺӥcF_؊ˤۘG 胑=U.N,e ؑ{gJDxǬwwU>ȱ5ƾd 1˘eF(F_/Fv[^o[ŗAx؃V}D_TtkAyi;lD#1{a^q~2ZK66a,ivvNQv&D13!55}IDXnkQf-(*|:j,#?/,oCU^vHZtOϐZg"̚ӛj ]pBԕm xqߔ,%Sб%_b&^D8wƒ}#7$ɛ󼘃I'п (aIY%n^k9=|+'Xʻ`?[@Ϻ4prm݇$dUr +sڶi.ՊСú/K(e_Yv `hآҮ}0%ðn%T +Jpmڐ4:1!t&Bg7)-~4(p%3#eGb EӮ+'}*sy sBEqfCsJC;F3M܊YF'ZPEs@z!J}865 Ob{ Qr6`y̷ٖoW^ؓ{l]WSV7'߰²RIgYZ jh41A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thyF31A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/document_id532K21E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\5 n.4ёk. cbG-o"h sh‘W2[k?8dI=z"ٟWj4z4?g͉,2K9+DXUnݫ F 0(1UY25 BL~jK 9-WʜD܅5g5Cx^c|sa*7ea 6x(d-Z8<%?e4m^/~ k{ p&P8MyMS~ʖ;SV\q6vKo[.aklMC<ϧTIv~7omߟ^[5ᤂpyseLgA6;zO|z=plL!{ػDN+[\)[gn1f-fڤ\ڡF[=Xɑ jΦOY `*7FrQ;r}$jt [<8\4*#u SczSKHV}` $N-7Ȇ s/^2>S8MV@Oa[3} 3H!eX1/gO~Tke2ss(~]"4"].ͽ5/12Izg Ԛje  \GH!x& :SPJF,3,͖hqaܫ?=46g\8xO4Q ff^U٧7GZ cިPZÜ v L@'>v ^|IGY@QTf<6mP[$(q¹ D{Mt9YNiu{k#j&?΄/U!:[^Ylk坒3`LZԢxD+'2>+!3c"!Yg ]qkf@nft"uW!nU  Z +NTRNh %&3zi~P^ g<ԈvG+)6 X^C|;* *A{('gwFePP8_ FZ0%5R2cM4? wDڈE3ME %C`85 r-v]Ӊ;+t}51ޘ6o{Z(_vqw2q N#9&$j4j}g"dޏ*XSUAtL'?!wiw]Bwl3<Wo;Sjײ"Bn>?L>(TR-ҋh[G|VKW&:^~VWǙ#\N#lRV] vg|%L2IfBl]vYՎ1Sȩ^vWoQEn=P">a͋F{4 ^ ?Pi1:ԂD(0md"[h֝ˢ\p(lJu$ -\<''N`B7&<T\3z1mDv WJd7̇ᄎep) 1f#\ՙFjT*"ܤ5ϓOihUW-=R{Q?Fa@EbӖ[Q4 ##D!o"@GfZ@"&Jy|) gYZ  { p81O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thyM71O-HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/document_id528961A' |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! 6]D?7 {?:fH\3_1Bʂ#tdYj IdE Iܝ~iVU*)wofJMȒ G0ۻ{xA;VO42l_#εv")JzNS_Ӊ!#J$|ve.T"q3]hMJb?ޯWz+OoA+ lfk8`t&}8J{Qۈv&y2Z !l\@Iу9+uovաvfSḰ4>7j1Bxjiq)EbC1Cem|Kv7z ^?KILj $&|kZT ٠YZF*9E69kVwV&]o 2mI%7ĬWhcl,ARmE&xӴitXK*Qc .(L~>9Oywj U5s0iKۮ쮲e R7C` q-҆@{ hl{DoRqvfgX#5piRuxLwh}ٚ=u rI( mrJ@$uΌߛ4qԎa[Dr:ou%q8uT,~ub P0=6BDH'z=ȻI&礆Z?o/dױgYZw51A# |HOL-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;].VxyZyf'A$-}Jsiys!_ |8s=L=c%xbt*W!]wnW_Cߍ_i&8n}]w0զ>7*ԚŇMZ+BF Q ql8e:OKZ`**r7ɬL-\io"c ezڮ'Be@xA|ײtNm$tCm TW3Q2JOqԪ9 V?;#R$K=܈1߳W:Hb[r= k;,z-\{u|zso}0tޏ82}WTR rُMS_J!c)[MEcU/.7SkP]I,lQ^K4R41̱?A=<56iz-T>I΄9=cP,:c@q$OGub5H|߉8ۆn"ܭCBFz6zY}LNס@?GscѪm6Kwb3-Id*}z.k6H*)`O1=7y2򒠤=mf␱*?0|B)/ƶÖGODgVӥ2:Yr>N_X1w\koM)LL31z=:`{r+lW ,3.W~V vηL=/JUҿz$dv&;XI u4L ,8h h^c]yZvѡ U Qro @$4*jj,~)Mx˨_;v| 5~b1*PgYZ !&#\ iv5 L hc# A H A }? \ n'D ^z3Y !!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_id3';'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/me?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/filesHE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/document_idGD1E-HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/document_id/'HOL-Core@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesPF1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_idOB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messagesJ@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupI=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$'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages#D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup"C1O!HOC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesRA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markupQD1O#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_id "'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_id?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/document_id=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/filesB1A-HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/document_id 9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.texJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.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.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 +~3K Z) v 2 Q  ~ 7 {6 A k Vi(pB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messagesN@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupM?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/filesLE1G-HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/document_idKF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesFD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupEC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesDI1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_idCA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesB?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupA>1E!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/filesTR8oK.8Ґ҆v C?ݞ6*,7#=@T9 GɼZLVM:HxOĺ V-{5"ۗ[jN>wclHԔ uTA!Q6ڬ76`ߤ+ӮgE!;%H}YfdNsazv+2 \Ҧ]OLyfa aO#eh>ex?:Lb<]!fjuhD@ؼ%Go+GREˋ %/?] 5;G5#190+_/Yr'0?+CFU1w7ItLzMEy{Km 5?EqmSVjk&=]FpSG#L3a '*mD/=/gC rEP+VOf(Os-bF>z~uI@t_p5G1{MrdSa` VyEގ^0ag7YU?Oi<-(撿Ͳ 2}[H Ȓ,A9{Kv< O{rNxB2#֤-8|{Hŀn뺁X-v= X\S+5#]|K[7k8G`b2._eLrY^o4!QZ(%f. We"t^INg? RBVkquxc^glpNY=B{Qp:#c'qiT"1O+FiPDdj&P,n.% l?aD VmaYXBڨ9séze eH]Nx';*?95upO0 r.!uEz[nޥ# -*$HU,jAӈDG8׺WUe mZry~aT^;J;=?OziNU!wG1/;pl)Juݕt"e oMʳaB6Xae 7 n~6<*?s٤xK! vi^a^.V>=Xr I}!VsSy;:\sΛ>2ӳy^Z- h[_WG-Հdiٳ9٪/Fr62]ҫaY*\ɤ)xӿ /q)x:QiFd?Bş<߉A }ȓՖ*1<''=,)$-2ԓLƒ^DSq2P5{UE# q9ĺ9O`SFlǖʢX\Y -*^JE ٔ98LnįH&P鰨-WI|2O' . Vs rP-LFgPqjm#@5:sEzzrY5;"{,%ES!\0, I|' aՋ xUBt BCP~B!t`7WV]$XiAv6ar kړYlAJ~0 Tn'5T1w6GFauOgg妜 Eu= O76Jʀ?&Z9%]TB ۧ2[RZWj_ޒ̏fs/7,U y-5 5*<\W PCi)M>{s)ݜU߾ Ra0^+d S75h1XRćlX? ʴA WMJͩXm.:zM3U&̙T:^ okHRp[ W]|a2bK)E^P+08Dz3q<Du%2j~.?V׋:Ep"6O@] D h!cBkN(`8Fq{lk2fF_V֍Th͵_xM<Eeq{1%?>|tKX{6C"$d`D".ΊAmLmȀ;*vi6Cs6saN~\DQ(2k`/).(%cD}-pHN G 1[:}O3#Okx9-*#R ;PoSL-]}{|c=!"W9 VaW@琒$*X ؇S`0vf`A 4 ֎ Hq4 >7XSg:CGِ͋8<2? A w6a_w_zhN!oE8E;"򐆢g;'Lêm)Ai޷: CINfŒ@-&у8g:h -Zp#?< 9&MBJho-@|^4qCh璩 {[rfˇF4DX=ћ} +xaZTYdg4{U 0%T]1 Lh$ݸ2<Ϻ\y?3Fh]X@V[x4YӒ E5AV@.`Gj?躐O5$HGOGB@x.wnZƮ߭M"7D4u!ؖ!cdKZʽvYVC#kȋ$$}( d-LGϥ*> i=|k y q9VkF(|^nr6.!Ng{_M紉,ٽԝ|87n,?fB-c)=LeZbWn\r+YqIW{4e 8*Ï6+i ¹S7\E#Bo>/CcwӶąې%AGKNJצ_ <3scH'&cY|ȊTQ%*&&R- Bk4DJtqWO&.`g)D g &Rs3¸yUvN\OWqXD4>\XRNB}jH#d,%lc(/(oi92@'1v$\s;\c)(@DJ*FU3kqDGM6!֞vT  UН/rFj62+T5^hxUP ˙(\Fx,[.?Cb0䯜@ ]dVʆ;=$ ԆaE0EÉS.P8A'\p6@&,ȭ6l;teӔAljYQ'&HxG?N<(,YۧO$D ))/.Y #XSM@x6Qa; `` (u(h8c9ԲxzXOsmAQ'dr+!?hԛhl)Y*B5[+P9_bSz_#E]W4xd*asq]T(/y|ʋRbmHH1K,[%m!鷙SxF_&b^"8z~ޢ\#6Cs1Yp-yXz7t%ϠP) n Lӽm<4bŶS1e,q{h&Z1$D%Fm#kbE) o?ƦYdv)/kO*`co|Pl_57RԣWjN NYUܖ &5!l) NzAh4:p2mnhl^15>\ܮ|$,tYoo6ɩZ)۶G9eNcMٸ!~40TKK'kv}so-F@FBdse_IsGaʓ iИz)<nOԩS1o#1 &W =n'[868 *'FK(o=рq}HЕ ð 'iy+ _J]_ GtweNfVWPwNeN ?aK,~:fTBEm~y8Y/ˮȑ"&Ywgg( >~JKQ{/!8(oK<֔z BlsCm@`GIJn(:\Z|2LxLv5P]zVRpήg\"?5IҩAr^1pZ}un:}*xe0,A\2:Xٍ6e'%@S+RLg#GPټeIůfy9;T+q'1_jͫL 10xAI͍x8;H@I^mnk2 컂R0`vmz1=]jSIGo; <~v!qŴ,t7xmKAN̔Ve)m>a/$=+ jޝ{ @b#ʖ0xȌ cp}JY0H y_o ~ƀZeٖJr=`[>镄: ^&(O/q/r CD|A +D$P *93څ]EDF(8SFE#H>ouMiih4G0\%VLmՆJUݧW  `v&w :9JtBHasqfn{Qы,`>bp=/`B46~js=l-A Kٗ GLt9|xYCV1=;PEIK9m*??@Msɑ'0Z 3() Mg'T^YlRNMT 0/i}ߟ+pr;|<ӌfQ$4_;8je[(·Ԁ|ڤv̀ 36kFx7xݯD s:Y0׎>~u6{NyF+@e6 }qȫd- FI95/~VՁ_,ͣ'To&Qy-vS^2?{NFUgX!lE @:ωփWT~ayr !,^9.5Zo[(~{lhO.ʟ/jo7)X nIfdre1Blg,^64r3$B{Qt$\FK{0[kRXG!`c=+e** d%53y4T:fF K+{˘s*$H=(%E5t~_L*(Y.%oNufioL˃ W9uo--B a6N6 fR;tS r(δ]}(BRJ4/ɴp/-Zq9\(M\yYu`^~9 yjEXc=Wso5[ 3أ'Sb)}.5RCMqvr^A 8)Y`ƴՏС(Ƒ͛,?o1wv6LsQ܇|- տN#KU5xjy}cfW.Δ]ek&V:g2HQ!RTy%{KA`/d|5jC^o,yFa0\\T9kP.< )8Q$5N*_ 0ŒV?Ƶ=>YSRIѽ$`r^ou:J,J]u 3kgYZs9 1O# dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! G#]ˠ)jk2p O6LP=͵gl5f&DZ5./`Zkk)~`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к0\ 1Ĭb!C̗l-5=7'O)݋ HjۿT(5^T:dTv~j-,>ug*MJƴWSjĠeѪ@@ MM#!M[^n&i\euxAb$Oq<( W}t(kS[Dh£{>&0| f|ISͲ(^v$^#X^Zf^P-9H(֑Gޢ=z-Y|R\bAldc ŶjYI/&jU"Xج#Zl9$4#/qt&Iyi{+hdZ%YO4A`/)Z>ա7Dn$%Ŋ+YauZV-&W05KA "+[K7" ;^8$x\%dDOL:cj֩HΩC`$kW ?Q"/=Ts0vgBtT(~9l=9εbW+ mG[r|:<:x+}5ƷS)})1ZMFЬ382`@AQSC!n*&VhP)w6v,(#^Z Dj0 s:x:8Tfoo |cXJ :plځq}{\PRYmq2l9jb;R%m|:;\Otb`j3#:M7 [07 @fԋ[ >3_R#甜]g&'PmqaMc/=F=@bբ!F[?9}HJVj f04{1ҀXr .G{n7>|o'm.U\#htT^ yO{uUhhi# sNU;iǴIv08}&bȜY8zE8wv2=/IgҰ解A80M"Y"McEk;=[74=yVm"?De7( o =ܟ; o>h m?w'aCf͘o_jy:DЄ i?.]:ɟ? h.kKc|ϐRXu (D{&>[`k/ 68%KIG)p¾?zWc1V9F;OPRUj<'y 5!ZsQk @aJ!Mw->ԜK#N; 9$Z>+[Lvx:!l|[3k`\ Y\E(ꌍ؉@|q_gMH& NoQw.QקZ.5~iɟtc>ij9UqS4CZ4UK;hL%8LR/ hlyc rJƊgNäq3 @hgb^ɞNjc6 {c73:{X32NHE0 4eȂѫCF: +.p*):wmemcDfڍP.y2t2.}6NBU}rN=i":]X\ f$B p7#]3g_?|dڻ$Q_.>qׇE^S;@N*\6kC'8ǵX%ԝ bb Qd.Ⱥ%FQ%FHcþB 5&rgvd 2~GƔ#Qg³|@( bEll:̄3\f |"}Sq9H:HBo gd1i3S6t+}G@s㣴F*k/&pu2\`+&,lXҲtL1O .؂68D~9qzgUpJl hD i_-;d܁Ya䕹x#Ͷ&HwMzJ+LC}C3.31SF>BD^)l wt{!Y{i,$pM"O4qmU _;ᤤ qz İWwxP)?A于uyB g;-Fj@K)KǓdg%n1M.9W*kٺÑtRXawv>ȼ ^5}7\.2ɬ˴h `A]Py".޳ŚrhP+fExiG `25+I;g{ y(nwXxOnG]1/&NrƚO# 2|>? g 5a@x&LL^5M1%u Rߝ˚BA^d؍2A/)M}mgʕB0St;:qȪTw~=ǁ^`U}[Z >rl05[LrG'";)aT3~ѲrQm_3N sq-U&g9,|ePrn6M%lZjq L<ۮ̷|SXH;2yKtْ#^R̺*}(kUP@P+[ruA`h,] ,jdslz8qK-|yci#xxsf] h;Э]mII!DwVuw9h2;GKHmnXvT=>hk‘,n^kB2zDzBBbgno[?ٰElr5֥ta]CB~\lR$Q֯{ `(nI& {濌=ڢq*:NBP {*32L.3&e\\gwLH!\Joˎ-C$]LpSc&6]GZqe@Et["7=$Cxl[*t_ vפ֔5>0z$!4 ˜)2AI@.?O7ut .p u#zMP88B^Ԋ;BQhqSujKʜF4M ,ej2:$AlVo,w/X^zEQ ش8UJnV(W3b<%X@Lb72BṴ+_@?TSz0 )WyH2Q F Ӿ<%usc#9ճ9߬?ōw mUXZ(®>]eU2 ck~-%n}mtEyC)ՒC[šJ(tv+*#3gYZ  WNZA 1E# 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ʲ:0l@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' tHOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L4]D?7 {?:fH\s~D=}#Xj`sZ Z@1oWR.>{ ZKfg[q@qzJ!E:Xt-90#jvS $KB^2wIft"]F-kgRMx=`U"8٩<..:zacrPQ>l !xlT Nl Ș4sBEվl j.h'r֮!:aVEqt M'.s9։yJH8iiNU<&n/ۖyT[ <5߈D(;-SE↙j>c}l\Xmq4odmG"!db,Y TVƔ<m0}a 4k QWUU;$GP@/;Ys:(1aOf{[lVbrs 0atA9;%Q p[X*.\H;z88 Ħ$vCFco$95p.ƑTC9ѽAmqC,Rl\izB蝼I)77td+C(2= #xT H݋XzIc!眸cO 2W[P2nrG2}+zJ- 6Ax+ٵZC٨tA&u mtxe쎵p;V@'qȵh2vM;nCJfgYZ=1O# 5!XDt|tg~[( ],,ĢC Ap6gcܭq%-8s^L~O:1-nshDeMR3sqO,_o?P. kF^8}-7x ogX`i&Â_Re =U]9*廏~̼PJQ, 7-&7\NXvfbE.L"9;{dgoG׼ܭ'qv8,-4Q$CS~m%VMxuLĕ8 ,: R*X>t,鷺ͨo _`|bAMiݤ^5ke7>] ٤il߃lN{sQNޮ^„AzaCs F1nP@g %E'p|?TUP3S${4]N E*-`F(ED^gI95i IkWyq״N}@ac #ULK)!Q3m5p>)/Z~1s 2 mq}D2lk/]t!1 wN-t(pz6X' s~sҘ(Х7j@W[]al HwM.eh?؞H[&r="+AzV.q*:s p= QR &2n.1KdI ;=e{|Bb3S%eǩ0-𫠃F;G|CD҇XSŴ F&_q]Ajy= 2~,%}8ӠDڃv&Q.+~+ `׾,SR VߨWxv~sG 7!ѽokJVkZq6L-zEe@9sKVv ~"wΤ.PW'.]C9De@j r |0S`MCBw @1zʞG gG$9GxIZP2+3.Jw$RfS!Q5xˋ5nWpuEF@vNEЫ*^9KyD&UB:Ov6ċ#6%!I3x>a12Ըܟ#Q_M^IG uMm Q$uМl WюM!7Wsvidm!;^A:M-Y}ع#3=8ޗC^pYk.v(G7>I'@'R0{1̹lRh%q2}Eo7FEak 4U,!fdk=^q_VxUH_Ʒ;biW@)ȎE僷Vm%V<WRi{a N8_)ʍ'9p!8\+n9ְlW!װO* &svFBpZV0`8:M . 0H&;jnvW}=xY*4>!k>1Bo, j72JϮmz: ͚|[!oިn', {Ņ6xxE{ij5HZ+.^ Bq-҄_"qQqOwMDh z )j JSw|| UۘRZ#MWq󞊙<Dm-*|A 5HK+>hH+%y a{ۘΈxk{f  =E(ä nLnf,zC!Ӟ %Xȹ [g|uπ{x@YFps}$lgWqU-*Q##.M7*puiթT~@/~ey )-]GFwv^ MYT$Sۻ^%%6a钋˗eسز,(Ͽzr94mzF\%2.>x`ͭU |7LaߌssPrPiQ;f7t:?zˆH]1>o"fwl: .<ugtV/IMዚxcʟ5fKJ?]ĸ|@k4V&1b ťTW0lj[Gѭ`Xx\J9R C,LX[%eCOP/e}o/.Q4ȠRc誳PiϾnFyQㅻ$\( DdtE(dv](oܐ"/%1 K]_llAN[ w~ m&8m;*{ 38M*6P_G3E^$ǔ:͟'׷=}; C ђ sO<Xp0W!hK_hGF>KdBAuz&D.;7M9?O29y@Jܱv/.J,o qLKCڽ!! K.ݺM(7+ CY+֒b0tFx-J4G,UBNm{Cl>k$2&!xO߉/lU(G^<яF$C,qE8+.: 9`ҘI0;3?Yޘbv 9X|aw.BT4GR v7 y 3/?D̳LJ,Mbu֓/o?,KAIN6Ky7oR$)a Ah)#[co X2& Rt9J_EXl ejICr]8~&?a{.'07Sh{4V=K5CiTj&|7HJHԳDUT\ 23VfC"k޻TKr{;k},vS(Ӊ;kQtb!)Z1EhjJy YC1M92I^<S eQ6! 6m{VeGWĈ2d?:r#bn?_4SyA8 #r5Fj:@Q#Lvtlrkhb€DL !Fdpdp*S<3w;fFc@Q/LaW6A<qs_,$!a^3CSVc%mY{I}Ur0(i]Dzj6pXP8Wk.T`h0fp|>:+1 wj{7^|R~`-d otDO^D\S&Sj Cܕ9y쾃FߤOGyWIgr8 6NI'g1cp8[WyL3~ct 9(QMqP{pdH·e!.7$[}Ő[&=] ]ΑA ,9un՟'Vt >{}3v'vΞK:c%&BͧНю`-|S<8Jڏ쇟F+5,Oj]Gt7 G*oPVeXW8Km U<(7i[#>nPX}jWw'ȎEge:[- aѢ È3Ao6՛D&8$ק;ܜޚp A@:^ *QxCAxgL48|=荄oY ;nZ^l>%hCO2\{d.i8(h;|M[uLRΒV%{GZ<ݨ`0'PܰFYhI$(cr'r6pH72&6f 5~!_8=ksLqUhqg@v\A3JZ4Ka\Кށt42i )`5ycݒr7[ђ@ n /_p^ @b(.;ޥ8>jӔnFAUHr֯-x^œ[!KPm Q@>2d+\X,-Ҙk&2g;>Yڵ!ݏʣ> JY Ύ:̷[D(?'pmnTƇɷ+pp|%02e>A!NPi&8s :y'\AZO3qh@ĕӌǺ>\I?yy:.UHO@+8NR3#n#dᅌy '( CavonЏ@t/ſa!9.t DqtT}yjFoS/sr!3Wݻt:ms|kO,Ոn,.{b Ր1 1O`swpMVx\=@JUlnGcUwSXMBl˸.Cg,2'[Q1Uf(!vHվG>^h=h^uP ˁygy++ӯX}ɾ]9yp%7ݲ)$M>$1"˨w#ZF0=ݾt - @-*O=@`T\&0-iJ:9 *P;?=uzܣt)ښRa S=sA-\?D4)/.%qIz^BEQf戀Z$ $s] f\tхnɪ'oվqQl֪bk=oϡwCBMe.| ^f@i #4(G o aA g2Fpf'#_3".78[Tz>- 8̤jtRʺ0ja='r'f ݗ'">OV}dڕ3Xt,::>[*M\[uskBn̾*}u [= urSf+f9NlÌ-]N<[LlS_R.tԨf`YV$zmB;$8:i'X^GK B+}d`&W.+RpT­裦aʮɳlO5u}XVx-vܛt'q|i-{FjOE4Mktj9o^>Ta x$兆 $ PNz^M/<$I1R%P2?.<L MR4[Z2 b)m:/>R N E]Jl2[]MuX~e[L@aZ(ջܱqO#P8sTk($5-=Ōu™OZǝša<>}53h W G}Yo140ɩŻmJ 1hծ~ !]Tv' 66˜ClBfrl+8/nϤh+ޙ ; {ݐyq$95d]393cLxq ȓ.\0ùD#Vĕr&=? 7/hKܘTr?Uiis15b\!p)#tfT*UR̿o+ | KK1q!fS}5͉ߖUMz6/e`# A`MWve#Z?  (5K>c@;K }:E'԰,}oDa&xqKͅ@ "Mᤖݛd#SmyĘ0nzh3/]=ҡ*2qNClAmaTڱe>RiF7Nm n."s1#)o׼:['[wתI/V_g%Ұ×@R; BD~.AR+m07ikCyOSN~N:l/|~V,Pv\bZR­IELZ/: 8V܎Tݵs2KOqz/Z\ЬW+#=yĤR;iB;tVJdofg#-5-Nwik~^x>Y=*d^G6g^(S]`fzEsj8ܖ1 npL0 Cjzɑ /鵺EOk"EްU=I‡x w5/,I(<9Ч;8zB,XM8x^Z8rܳk+}z+?f!8,2EK2oQh@,A0PT08a7$zh6*J(-c,[2b" Bx]G;tgWX\7dZ02ز?M;Ʊ@dAi ƅ-ϓ$)FmkÞIyX"^1&HZoʣ{`N VW/M?o|v_K/Ma_c 6c t=R9mcq-IFe)$U  K,Y;E|M)r|okZb<L.O 9bҰ )2<-dq@q.A\(J#糫}E9PO,P s2% )1fEc7 h~[^.v Z'P%4<Ԙi>Zb\U>$UH%Sy/Y9 *0!_@s@!iKtrqOLA0KWד~D{Y%G轞6e=q*2U Y.s9܎ѢrJ^xL[%O4.y1S8*_˄Xڴ;bt#o"U<^;XOL+(Lwz "_v"𗞒x[~ք`ݭT,D_T7R*2tzW#f3(,Ycv;YQT vd"xƲJ _AoFHLfW$mCKcJOڮ_oi0@wPhB&DTZ:u`[cҐ^66(=o!$]Gdf4@3ݎճ gVbA2¶g#b/VTvylLlTـFp,aYI-:lY՗%z>aW;%FU{<8Nj6&. Y7ypȾ:5Qk;0b XU0qI-`yf."uQqlk# 7U8rCmҐi lǣ~:q1ш\UXn8;mZ$*'Еx_thRȧWCۯbMfLDW~)J9{JH&?%[U敁~~:x˱?maX-;{hsr1n֤X񷙵 '| hvd:7* 7ZMarpՒ 2[>;[pDp7s 7;'$#`B) #}zF\GãHHxgu[zW)-X&tBo^ zH ޘR* !5<XΗf0'ܹ#ΘFjbih#[]`>sizHpD_sըh ·'GQ+a swP>`p" U OͨlnxrHdD9Kʔ>B$Fj+wF ~5Tj4E!(Udw*36At)trr73AD ޹rT$ڤ`,wx] Ed%ђ<}Š@d2s@VB|WZ3?c\ .]8 9(`s_3HPM@,hKnh{s,0oI;+q9i9\C"ғH셾Kxw5e|@ DEp2ikoPlLJMMqp Ƹ+5Tf5 JTX~XMs}XoJl>|=Bѝ'OtpTJeeCФM Ð\&\Ѱo޻NZZcf{j2{0+y9#0O9Zai _|h6K2Crv!ٺkEnD)XصVfVoۨ!16GPx馝+ՙL|6jfr^IYͨa0 э)kMYR*`2+02s42{/^n)"%1}}ӌG9J:tl X*A({K;}n%KzVC2 ?[:6]ZVz8ƼyAb[Cl_8P$Hf͘g|3y!>2z^"+yFl۵[OŰxWK#N]%7%"0 z~FJb.IT/dҸ]tIYBݛP~*4Y|/(EA[i=ocN.mfdF^UDu:X\}I*U{{rk}E}NC)IWWE@B{8v_nHR ,{1QȑdC/ecA0 l@jlkƢAU| ?)t7L;Pֱ7LjV9&;Mw߈fyI)(wYؗcqJϦ*1޾*ZX˼281JQ3<kpz9,I BrIW^F΢4o_rHc?Il0pbG o$$mz}P Vqo4QA:yW6)7|1xu'Ck aLbِCcBS|apP^ +-CU7vxrs,:vטbӧ`eI*#5^F7bNWpB3Fatqx\K!_hwcPYwU(f~͍*H9  oTY%y LZך&T/7]nx_suLHP1 1&济Q^ݪ'/dy !um=/gW;d^t ?uY(:Vү`6^zbmSF?6S'T)k@lN\fc6cQn4,<0a iQD瞌[c[ċY{:r q")Xjg&%|DX!E{ EB@uyG_[.+僎DJ !ՍE8֡e1!A3h[*5@LO "r; {eTRF~;QPKRGQp1TuT_*,;vHT[:,225^"Q|VZ)KLE`7q;x-̞П3-,Su( /Dy0q58650(W]La2 xB p.|jdjKq5X6OlCSy@(N+&@hW=5Ea&lw/g!Ol%_?B䌽DU"h(~!*¹yqɀSef$}.;xg7ǝ Д%6#h&4 =6O+Q~Eo0t Vաmcv[&kWBeǑY`'@vHv,60Y+9`ы…<;X{\ ;gފ$"׫|ȩ8>BB6`~x\/cuQ! c07.޶,0_h[+FZM_L0hʡ>e`:S ;{l+[E#dPV48,w8yPP.`+\挕to:@L^6HOFg֨LNc+LP}+ZX1ÿlۭJ$6yxYllʩ9t9 k*'iZ<29<; ˻rm^)k4|khj0ň.aȂr!YJt: 4%l INa^7pGn- %dI.FSWQ[HRL&}pzCTqK1@]H |7 |QqBx  zȣrZ9y "סJhXyf),cq%(;iۋdw+9#[lr3b%OD8zOS׺ +m]/]a%%i 96@LMRB6>@ ʁ#!+ikC5,QK@Zzeg[D%% il^% %bC.λUAY1H'c*Dpӗ#MS }| b$xX$ɿy,`ĠPܧ.@mY#,}p?ӨXnA%0HYa|TB3gYZ gvD1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyMC1O-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/document_id546GB1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\5 )ɂ\R@fN7D4/o&VهVeE]XK! v_pT ,Z,E~a[$9\SXxD2O}lWV>6 9vΌԗ&sC6c#%l$'-SG)#:1 ] fEMTîzCXY-g{csꚬ:4G6 G0JY@(\3Ճ;CyUX34$Dlݴomq&6Z#[Y/ԆסBwXcDw( $AU$lgqZ w*r+Q1m.a*q7J#g_--|81al;}Yb4љO^7ED"aI?yJy/g})[ &\򉹹d7XХmHun[=߫5Δ?!QH?aL^l-k4v҆"d;l9r [R)x݇P?t>RK $xɾQ2wu>qyXAG&f ֪PGCSB}[뢳,sTBh^E/a-NƁݠ;؃{Az!w3 )L4Or9.1r+Wsz`䗽q5m;2_R9JBOw8}:=}<5 /+.:D:BU6">x>ì>nyY1A}2`aN;&Xag?(g_&c$[+Mxm-=*'ݨf\ՓyLfnD;E5;kꕊ RɅȓ&TE9"+dgo^ uk{]`˕espi_Z){oo$m]w5T ’F4sF2l&,r)dy{/pxi%;h+Iɢexc̾yyMSH^ `{JNxzں82q:p+AɁ@JoI}xyYFpEb!^Q}0 j+*vUg&EcLi#W$͠ UĘlx@;1E|:kY > nr?l<ӏ .GO׹g#6fڟbGs^FK%$ţԽ0C~4 tnf*xAavq| bP_@C1=YGB&FX68x+789@KD]wj-C S܍3 䵝i4z+%"tSustx=y^CXV],Mo@&<}q"Ulk U_x9Evx!(x DLBrwЎ~ABp#:S]; ԙڶ?Dҙau: 4wp' ӐgM7~C3sx1Kv2=$bFΙ#xjq!]mد4bD6h~T@͆i:Ju[]C\ 0y$2]$n%X]XyaE*<6̅ C>5Lo͡on(e%1#Hdd5xyRVN =DK&6zcSM9Q^w=JpEP?!祥8V=df& sNaj9%-pX5{ J]/VUw^\Xl+yBwp=G&]3=|%(YW%ϧYr]ȍ nB~yUJKpPϝo?qL7 }ҩYOU(uP‌a~s{:(ix\G3.Ev-t i-oӱqb_[^}DŽTG%.([W=.Gq G|9ʼvlXL \@ÎlYx)>^ŭFD&O>8ybG`^ȧ'!M*d1-+sRW$R]w/1<}Cp+ܚ~fTۊiu@q`ߋd;_"VdGF׃UsG82;Dt:(C!<:vϭŕO]$(`m6tEj:re?P"|vJU"0WnڂG њ`s'a_ܑ:xf&^ 8:*Ǝ#rq?tא1'e&ޮzUi4"TӬqCkjUx!jz4zM%̞k7ޢ̂/g}Vla*vTao)= uY]y\ڎV;"_DqvEt@Hh O衒@#@6MOm6 obU0^=0Q 5$+B28#njQXv<0Nl96 ud,"3Pm&Ruj:Y*^!9k񡴪EIq0:k dw 8hϿݻbєY(uchHjs+цpKh;Ko 8mwoI\?权#u=HDӃsp^,H:M'D uKRg}aܺ#hH'W3]C }14 BeM">^ 744Ż:n=UrV^X'd \ P^SFBL&lLZy5c4iZ77ɭL4g~kSA=zūz1̳ 6h .w2IJr 8C> 孋A4xsȬGpK"3]xwL &Y$ ֘|q?2V\>a䯃.kK0r Z[M'0e0 ~B8- g=l&]nEUгHj<X-BYvQ]. ٣wBPo|PX'{E WW(BU?E.?l8k_v;ֿ%J/n3!5c? >7F%;Y(KUMQ/#< ZAϐ5a/iL+YY"J,QD BPh46`5I l=~o#cĞ8}t]jx  _ "(O`ot$x2~2ONAsOFC+;8 # Blh-"ā{!T=AJ-߽cg)j$LCy ޹8v;ǻD3)N5Jh&[8+Hdu^`5"cJ-BITm"'m@XOoyfj>X0T7pQ~b~ ̘`*gR prl@#$-7*xt+;v1b빍"xcѵ⌐JM`0 2mNVdoa<οjN٬b.| ^-Qk]a.CB./ÏʨM|̱ki]`6щo0ڢ0\$v]e/mgYZfI1G# THOL-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)|n2&_E"U8A@l ߪhƬ[hfߕ_gɌ: Sڸjw4n b(+Y_΁jKXmy_-аaoם!91<&1h\npD;еMRVfq$\#sD.;h1&fPLf5N*/qk`wkfvQ鬝C)ILWISH:xY'mMg oxf8z}ܧ<^aJ[8 ( Zza=p xQa?l.~FO>#cn^싘8VRM 5'D0IvEˣReP5OԾޥYܤru%+{q)l%5TގەHV.ج--J»0yiߐbƍiN֥ʂݿ/>qf 2H9^d=^`&5,Q i'Uݒ.D9UU4J}Mܟ< s!&$%kM W! h0ߐ9e17[ӯݡw鑢(bg#%kcNߚ'e@}q<0Ljwv +yYѸЪިXy1YϼGG*gbJe}Co'9>vJ ؊BHd$:w)B8{6JnDKApEyuf~st:`Bb]\`˲/:f|T葇s̗jVL(7<=:*8Ხ[CFJ6WƢTQ?,餖Ĩ~|i{[N\V"dc/zy>~GOnU⯤34!a` R{"ol÷qe lNu%Lj2%4"}!khj7Os:ǥN jVJ7YwMT, Xk%TVF'%U@^_n FyZ3հE!k KH--͕{]Jhn 7Ezb 9=?XeT-Ēˍks9}gV%h\^ ,ßN m,fϒfe}l=^F갅 2e:~tZ0MK# {;5T9: )PV *ʷZٺ*X ^Ǹb͎-c}"qQܫ$Kܠ7OUByfiL#kCRz]s"^SRCab%aFr1V.O(Ux.Y_|^KP`:~` G7nH1G!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\:f>.JSIz4o(Gm ]n|%n+o d+cm!LY6I ekƲ*͚0lļvAN}Dmy\*+fo ~R iܵm}bJ4M[\U $AiKQgRvJҳ30GTt ,g]ĻtH dF||9'/Fݾ{BCˢm!91ģ?ݽJH[ hK]㛰cu"M(OhҴ9[:~rEeIbx(9{\[Զ-_/:G=6\eE+Uw#8a˛oB ^CLe{ܸrq.'oVP={BiOmfq5S ʕ<a -PRT76~6Ю#̈1or?Úze'w֗6~()qP f+TSqǼm؎A @ڠ﷊aRL*ñUOV@|'j XZ4p ٔqR]Ev6 iElTzb6 0ͭpS 3JAQoF4vڴ/HE'97bSNFzLA6O 9||S{GH#aMf9Z,&|ؙiyeK!yz|P8;+]+kFu0E6lwfNI;x)' _f0,)j_~cY<)*t.a|JY5C*яҙl,r~2§~>zgE`4^YtPZf3 ?'W͑ꭶ%L V#9vYٮLxo biE 8ty N@$s{#OͽM/e G=鷲XV1Xlcě2'AeOt@\!XY4ޝRM=䋢iئzkBqųѹ cb=lYv6-JĜzPUUl#`W EE =?Զbf.dhmTEOP+G/\ق]]~L ʀAV埻nĀP*qS:ae腒b8qN 3w;~ BR^rpfn04yW|$S1P}xpt[́&N## O2h=X)h hxyvn_C,{,w2 "Ej1c$ɶ,~i5?m6 f*_8yFΫ\_ pYkB񈊅2}kRJKdv>Z3_D ,@P,ie&fE* њ[(\$Z(mZt|\#0LwhQ3g*y#z\~;//u>Jp!U;l{T?iLy{O%[/g0o$8'J`S+es{DGq4k~fvAnh;/MKԱRS~'oU'iAc>a;,vH(fnSJ K H`11d|X.4TmvyC?>)hA-Ql.?Ɗ^A+o*2#Yts\;=XO\'qњgӚp>HcZyWQ,nǸ`PjH(VcZ0o= #S~+釈hMF#匷&#s֊#/_ j6!Rg#|)Q8W"?Uʒ|7ϊAQllN7sI F 3͗=2_,=`90jWHVVfh=ԥCl&N.7il^7a6MHCS qʺSo֥d[&; kZЙ!BZƯ]<ئ k^o+J]È.~/溌z;hTڑ9n1FhګcW6?5gRDaJ6*~NfqK'7,aIBDzf[g;ӿՒVY VȀң-,uΞ2p:|יpFǿuqY3aF}8'Yk؃N L}_zUJ5^K/gQb3TmcL5YoYUB*[$~ l#~Gl8ű2k=>҆o>{VH^Y]{kX1utV5&g[۔P3oڎ.:Eq`6YVK$6%h^5` Xgc)#o᪥#]OZu4_r4q9'WiBCr{Ucv`f_Gdړc'4 \Iv.L p!#Vp١W@4ىwNUcS. Av+J8 qnT FQ{-b} BQt$'C{ܩL72I6i#AB'G;"ƃ#Þ7 _hqp;OtҼOqdŭ_e+^q3>Fa悘cNV[/u(q@+8IOx\\tH ǃs4J |+HI]A "&MׅY MU8wv_P80ZڮLX I`,؇^$m KDPhcthIгd)>J(YS\30-C2Ji)Jn TʨwR9?=uM%!#}c'&Ph+82Tz ʆ"g+  6PPJ6 |}uql &1[XrFBi'‹V08;~WeMs8$`۶/@'+{Qz58: 2\&A6.H;05Gšyd*bf1"SftS?(ăzJWV4:0$|FSF6UtiŹ>z8~'OIo[8 6E}3+9kK+.??e684c6E2}1=tKS`YS7lDŽvwN"׻k(uvD9Ph`]?xEB.Q ~Zq^W<)*Lu=~oݕn去~Nu/} Q¢{7_Aq3b$RluAKIM {o2NL(̱/*keҮM~ d arȚX.%@JY4QBsk ٙDad%<8o9O4 gAdn0 u!$=vL ^X7M ,7efDKkvFU|dZ6 V&G$޶׃T͖{,Q}-)(<-31m$::6 1WG m\V3Uq&Rx_ AԽA?QzQhGOdl+y6̧IFtI8Wln"l@a4yKB >I/5~.=LgYZ TpP1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyJO1I-HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/document_id520@N1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I:]D?7 {?:fH\<mN[#u|9[^{IEd>H`]TwIBaRD_taN}M^qƀF[gs$REw- |wTݩ쪏 VφmU Gۢ(7:̥ubt%^;=zZJg{L?VMgr {wr^؆AS# 7X9*4*h>{>I8>T@_1&j Y]95ڊ6٧ EL(^YU JX)o&#j&TS`:_q`a8PWBcŁG{<䅗#P`C4(YRݼ*ommFm3HgNDA[Rjr15_?Ok+NX^%S ^ ]e8@&W#KsƧ>}F4jdO ׎6-<ލʟĩɟ)ea7JqKDM [%fըY~gYZfM1G# THOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! b]ˠ)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 >e)3Ogkj*Mjh4 ЦY?SJUϭՒi+,#=Pz 7 5>/岊W jrNHm1 )ٷ G6c J=)C=Vc=QHUAꜗT I$[42Gq* @6/%:ՀPAH/`:G511w.LNgU`232 + bZeM%]!pU/[Z:A jNu) [Y̎_vuD=|KgAd_')%W 2'vK.psoW_7"C0{B ڎ-P,tN+^[=By|6Fv],Y%#`Hդp 7<恹 = &NʽgdF_Uλ>69^/+;/pQIy}-hO糗"xǫg@_2z=)k\#t )~r?waˊغkK k$pz=o[@xA[BU8ܤ s֝L5:`4͑m v2j T^<9 _ @.5mlop|`/'-i(Zv'"F"u#CPtry]}]cC?2I6X 8༇cm} =Ri[OE֘D!`|yœycԺ*28Z8p BkwYFLgS %۩әbE‰,6zGa&3,dkP#%Z+a<ԭ =GZ} W&S9-IB4fHBݢsUF"V7 \FȫWS !lzig}u ۚ[sR*]n@*S;Sv5a]q,֤^>>{y:p[^n-ʇ$O^{:%~W% $?1:dPthdA I=[YJ0*mbM=aDm0'mX'6t"c3"6*inqU\@cC*&ShlJYiIhؠ!VFr0#lK˴Ͳqv/Jw QZt<,P~{{$0ع+[22u-Tʬw[IBW!eQܳCZnrv^ǡcj f2H:ntH~ܚ3,XzbG, 9fڲz(FϿL4QYtU ?2,|1L=PO%Bavf‘_3ʂ'+iV,I/fHB VLp:Uot tKgT)Mۇ-eV߿*HNOԶ[#9Z1կbta}wʦdp 5e>j\^"D-2F ٱ?K!fŘ|L"R/ZuݧB1eR/$$Yq_7 BFj0;jxbCM*Ғk-*6e6GHiBNJt;x)'/r=VB79OA^hTrQy)~X$(J2 :Qh'FdSG)r#o`܁ @1qڮ{1Qû ;[/x4'xV&j,r2<왆`dB,:7>NAM,"NgRwrOb=Aw;*z9b!Dz&/ۅdS vH_9a& ?RzsH]$υ[F#?8^XTwcW l͹'ОTd+٭oIztAӵ.!P=DFupBhcCz쭹kiu.?㞲< Ÿ3Aq߻6ekq}쎓&ŃƑQe8iJ U3<~5Zrc`mzӽ+={IdyL e\*+L 1l/"(}kZ.±! wF!US'X$0 \8.,A*@7GRS-BLTF kKuϒ Vm4>X#+S w,pGD,GG.(׆ÍxS%Lj˨L njfGf=FZ,29۝" fE7&(9!D?snSPV&ɶ=ıDC ""6-(YVnx4Exiku/8l,7`J⯏87ٛ5CCh~vjIQQV3FW(B RW踴DZ^3oe֧´3EpCmv ދ X!4Gf,5MY++gYZ   R1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\yJ0B} 9{ n4sWdȵ!@cwVqEaz@ v[,FtXǜ9JvJara#~#' ǴZE(p3`uxcN'K~ҘF+ٵ^]ME{:' &.bGe@e-^qRg -^wB|T̋v'jY$'8,Uɭ J"o ⼼uB ǿEkmBOT ,xO1Jdk H2ўj|a͝ƐԬRG" M cLPOBaQ<;nh2LN,d&"r|U_HƧ;?ъfǒqpqJ`]GǑt) $ЭϓTd|* [Y69915y9+H1b%f3P{{͖-K7[&iN w34Ͼb.kPϳ)epHf0ookՌT@̄8C#HU+#p~{Ob3<P{غܑ͓p AXRnB8ZFYVx oƘx87 vk`2Lf5{+ ;:3v}cf|̷L]cU3aXlbn9KSTmL@즨uѾR3 k yɓ(MߩƿvfαeӷҒ=٢jv0ns+Lb*gS%p^ e)6Źui<,ߪngdMafD@M.z1xAͅ6R0ҐOUp 8$CF A?p3#J؉7j ) *A>XP6.6h/C4&eqe[@QݢxyڍwWH"Щ_@bq1qln󊎞7_j=BPqc+k8+w0LVKAtLY膧B`wu5hk .熰D߀CUPp)cqd*>E=J.EQ?ZV#u(+J2[(z43h &`\WU#lD⸤H#@!ONy_[ mzqiY9<%yrH&Cʷ2Z=It`vך4⾯ SXYsmϧʯ sZ,GbWa~T!@'~b!l鯍7:e=7MJȶskJE4:&pR6&FalmtX2]1_~ !SE<Xlq^K9𠻈 4!ML7wjbٺ%8XA4!{R O$B7sD0j֭ B}DEHeH2;~6MZT,؜G4S\ eU#KaY'`9k1m*(,9! |xn${qah'ld>Ч< Y䪗{"D Q?3y~WGnN>RuQզ du5RϕD{+jpY5ͳ(eӨ^Cjslq\LUw ࣁFM?L.3lbtAJCyhiM w$7Av ÇWg\fzgv>_ҍhz(˘ZFAzT7]Z`vXbc2r8) iLP[M\ƥ%B$)uW̃WlTLVT ̂0=Y D*/Y6Gpf+++ XO#^l%oɻfP,lvaQ*Oj|>uRTjX4*IWrKU3 tPmƚNDWy!,\|j7g,?/ھTچi*xWD&SH v`/jqGon1 fi+R:]amK P~kxFWXV.bـ!F cC^~Z~O+X0B\@yu2Y*%K26}W#`[iInuxi}ի]PI`Xň0O$a(LGGO5V~O񷅲ǐAbs[K@]4o|q47x{R׋(T主(-yis 6Ԏ=S:Gns;*4S(d ϸW>ӑ^w/Sʿ_ev'T=|*%Uu;`e\VMX~QI.2@qQ"7iR2_NfdXІUne7If-Oɝ(:wQMIk[VF+"aJ_6((bFO3cž2Jx"mlg@0hb(0}prR a㷊m-'2HK#a,Ɂ'ślPՐwG1 fMaPeŒ-WK\H9'CZVP_\.9|Y\^t b?F;:¸ɣD"IEL~"4ԤhF~}U6y}W Nr"APWT4H!Ja!;t;zAʍ4qFЧfQU=ԻFvhͻy'GwbA<zz۔Q=4Oc%. ŭRuf~a&1t75g-ݳD| 7C ^lbi0 8Qy PFFsP`A]/ɉ} t Z 0(;lP6R IHrePo%2-Ŋ;Fl0p13`:"*ɶWxqF{"Na)9]4փ'WFQ ʅDd3Z4@;G(p.tZJsohZx ?60Ӽ4$^ P}v/-Qs_m-f1 "(q\@j+@DNΐ*8))љKtB+eoObl[MkWȺ.D=m,q/ӷ_'{֘0e0#ogeZML[]ez!nejVkO1 |3Vfro7 nSyE^ yRe|k":SڲӾ$ŝb,? R%nWQT9Nud'iۡ\V(%# ZкPRH><+ cL+=!m :;Kq5z%`.Xx̧勼tr& bu-T~څ,n] 0h3ț/ ƯOet-z Q-L)SaϧzV0''F!R_I\Sp4fmYr. YS?^iiBW`yR+bMEkyRko3bHp0U5/s8w>ClTr(_F[n:ʝf W QЮ Fx7їߪDR?/&Suhj xDz+BՇ%<'khKY,{,O:80O ebOC $&ukzH諪N_ðDL-*YU~;jx Ծ SHu#򩯈RJ Cm,\-1|BWW#Jbt].ޣk' cCB¹%5OCLRh&AICŴ]fX{lj771['~`+`2eYxQTOPGjB:H@cKƯ}C'xءʯv!W1~+g2&Fԃ܌Pg Of@H^CST&r. 3c k='_AbY"`3J=:V]z^Ζ(Ȧ N 6yoL =L<:ͅSgVkk^ްtՕ3P;TM΀_喲Cj!F 'XL}jGUBry5ZЭ.T_] /H렾 %ASi/mZeMO?Cܘ3*7<1SeqS~k{{jWX2o?E[!3|5;ܫBL˧1B*n"E(_x8QW(S(usAp&'wIo, Oģ-牅̽tLas@̲մv/^ۄV kz?:31Fi=Nb[Q9<NboQXX:^Q fpNȖn@,$m4p|)i,"xߝqƥse;񆚈;}ᬤi:0AFIr\Y:.R{9ӗ&=8=[1a }*!εs<~a./}+/JFґ2+Ğ7MLXc4{PS7MfGCiYaŋ6WR>`h FOX( B$}[VGW`JmP!j#8-Y xT3Em ]a8fc/zeR"H(v*.pűK};(^_AJ-x+ctQɿ\g$(,P]-1ފK.*e+I=Ve[ԃdXǺITЋ'تh-5`GէKYi|~(k9/yHByWMK,y \>nHXsl"i)֟1 ړC8Fĵz_llU ZkI擎5Nͤ_Ff2W\VO6s(#$oSslgP'唌PY+S OmC+&m+8b u}Exgm#AިctADu VХr.^A mℑ%reKJQUg1<ޢMnI S Wcn?;݂|~!dXZLXُe`ҞI,C=#jl=Łm1"ѯB{ƮQ,'uAfxӄ06skafʹc|\EA\V흕4}⠵Hľ)Ȳ;Ntq>NK}>qufæ$Yw4s ΟIY|%l|wzyc95;ɇLU?!a_]/dI B2F}';Ų 2g ͈UT0/wR%*Lt;fX~jqRv)_g6cg̝15-{{  тLû[p}`/;-&$jޗy.7QpȬ1 w!2jPf8(C@ȍd-Jz 2c-Rq@+e=(m)R*UUS^0Ήr!gyp(1vNyg߄@XF@HEot1YOO-?r0< J)CDjB*` 1 3hŝpN/.[nhkȗnVԫ#u? ֗ĚK.3OkN٭':$3Z1!:++S'C 㡾OĻ-\(h,="I}*vZō%7Eޮ Akq)V<0=lwtH=QR[^9څI[z\CzFQc7Ԉ"@T 3=⦬` _!Ƚfvk$N6ja|q˓oZubɁg'jW,faåIcecTi s1Z~!1++8(0&Yޢ7ˤuB#3rp֨@6f_Bmp>x1Pdl:Q=Ag2 I.y__ij7,U8g Hסd=ec8l-h#,xT_&h!/)WܟI@ ߳$ޮ.A oBʀp|PWxό8k8[u{G`O ޺tBޫ,S"i48M&zP6550P B,!tt`?Bz/4Z>Y Zk>o82 ^N I4A:)(+ m/b_t*(㸂0MD2V@yReVsk_?(>q풉(TrV~6= d kxjxvD;-%S?Iٚe"_~X]g_5d~:("-TM`cB>c+Z85 eVQeJ$[ZU=6M>kwCKݖI1fMoHY z'a9EKܫ՜ki%,eHhl힜2H&u=D!GY1Z̹̓t@?jy72Se݇E4#8D#޿~Q䮶34\/fyvq3f$abW7thY/I..gPm&5iEl9fxq5r( ثDpVE_R4D'd>Ո91A}3ϳwT~\dS[ >=n0m1J=Me#] G$2CqyLÉE ;h:Ix1 C}?]n&(h0hZmbѪɠ lm$$?N!|]#Bmy XEEgbIAEzrznc8k 8N7-Lj$:}GY DQ /v"`$bj,mBJyr¤<<ͧJ~q֘+zpu#1M2X,rb hy)GpD"%jVWB@9aDwΨrp]k1Ʒ0Ep{}D_xw`qƂW(@Kd[Rބ$pC=0 2]Ƙ>A&P% dU>j?wJ[q%  w!:-vTrcbc,#ܿuHîٿaXOM7/%qW}'5!Qk/_|ȓ/-cӫDt`]p9~G Naj`n} {=g &`𗞕3c4u%􈹍H5}P`VƽtֆToFCHfQH|^ıa )ڿy=ķ$3h{hzثQ~&jf;d:FhL!S<Sv$Ņ&~ o1>*)R!fvVE?"OIqu*AeȡxU2Y΋,v\c{DPF!MYx|O*] 2x}(fUj굊po+Đ.̰^5+~A7ڮtN="$,W!Uܡ8)&9 z2XCQ l_(Hgx~]`*e5IOiL{ĉܦ{Z|Vr[ 3cNHp>KټVH]-Fshq Z!3qMv;ւ#mi3-0Nͱl夷IIw)?Z1bjvٍR1H0.N|'&\P[u}.{T@k6X=edL`/<jeW^`tFSͿ|iӯ{ț)a0(AJthݾ5D&tb-?Mg ي ur}FpsZ* \sP!gi^~ >sF\wsNwCL埄NceR1 Zzy*G- ?W!ſڀ`8 .aoݳg!Υ]vG%s<%ϤۘytB*gyRTC0ETQ`!EXs^h'n܈2]c~ǯBN2ԶK2TiG>dn`粞hf?yijMmg !%HѫI Vk65;ju'm&CܣEx?,O!.a Dmt2-҉o7Nh!脣~$*pvve~#fɸ}+&ݥtc]ؗGS1 <޿c  詝a{q$,rF8 ȹz0-oh''t%כĎ?*(Z^詐M8Em?KY{C e44=PZl~ ncd[AqNC(Jin=t@| * pn@3 IZ >Cܸ@9%w ~j"~mh#%wlfsPDjtY4Q,dU'iD#g$Aymb ߟxp*LP8}c-1"{ B3B?Uqk]PОDf"j>):ƣ3-Ӛh;\.v@H.E3Re \"Cx Îb,[DX&;br)DG;@!JKGs% LoEWqӷzlXHpgNY7k^9/W ~g{=T l>OPhߥ ιn9{Di)/#‘yDOm$DOi;Uh3_Go6 DcB˂Gn^Ѫ\ٶng־c4}At f9R9EcTDSµ._J MH΀%w݀bhZܜogŏZ"*4[ cd\d8sDM~DWҏɘ֦<w^\"Bo1ܐA箒!Rv^ QrgYZ579d51e5f3059471af7a948067ae349fae4f42aa957af7128c56069f82033b5e968057a2b85ba273 7680a58cdb0664b11a4e79f2ec2bcba369005015 185b89dce80237eb079229b008c7afbe0c08f59b