SQLite format 3@ ".C  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 T1z$ ] HOL-Corec_Examples:threads=6elapsed=153.920cpu=509.000gc=82.6887zXZִF! ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]8\G>t]K2z9ÍDFsxs2m_ 3vn\]x F d4b}&E, $ 2YGX_PfudrEy${ SŎ18n(VeTgv_W ߥ>LjQ$L:ȩ2:VAt cbl3O=!l~i4:CjLVޕ3` {:*3cзN@w/a@.vI.z[3رCEY*Q0BoCvhac譥/` Uq#ϸ@ӳo9cdPm <HO`\ RB.joN.kԳaSt;tK4͌fL'kК*RB r\WaWiCrGP*<9 K qZ6(% ÅG5ZZ4&Y{jjNi>HR.&Rw0T鹸vAA:@Y(iQ^ۧ"O usL~Cw R߂a`G6 q9i`zݾ%}Onx(gmZRXaALc^̽"#r}eoe4P\`}Y&0~Q6FQ\a%1d׾0Ce͑LJQ`aԯoz}+smH^C]83V=xM g1=/+O NČqn.-@,pUpZ#u$Ŀ }/";BuzKyVtkÀ$2{Q WlPDRFhRa*n (]A;n|ՆD m ,fQ&EoYl4mV*ٜT}䩝$})ug!,zx 6`=:z UGA/+2] t$qHĚ0/l$FɧpqEI= gУ^ bz_# _!ߐ=ENG Z_EA\XЫU˗""n b%ebu\(Jt75Uc(7% ٔ;C-&XDʲD*`Oᒿz)tu>pu~.J$3MpiFO7ApTsXf(qG{F0nS̘J1jkWz??S͇σ{'yB,: wJ^–#d`l_)2Lp8f4,l zCBEp(=GPB9k<iDvHu\a- mJ$JgYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩbp5?ˌ ޅdӂ:*P-lF鹯G\l-H.h h)w:}b%>|~.v0kfOY9v~#E7%H5@2 /)_ {A\~;*NE[;8ԣ9v+F5JFUyRw/(Η. +* 1 HOL-Corec_Examplesr1SG < 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?=<62/*)'!    n,  p +Wk$=q $& B rO>  [ Y qb<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files8?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup6<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files2F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages1D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup0C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files/B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages.@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup-?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files,B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages+J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex*@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup)J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.tex(?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files'F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex&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/files#D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup"C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files!F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.texD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.tex?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I=D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup    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 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 Ect1S!hHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/files~~/src/HOL/Corec_Examples/Stream_Processor.thy 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x"#7B€͸1N7/Ac-z]oq?LI?0kĢgS"NR:L=5tq cbϲ#{/CDÖճA) Z= vQVIwL;{FRʏ4>zF;y> ^L@{"u@/u`rW!҃ t,.ik dMABxoy{OBHM2L,Wr!qYO`#p" +';Wk'rRI[E4zYzj:sE Oa k5*n2E'2^ДH|垻h2(t"!oC  eMJ9{ z,sbgYZO1I# $HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup7zXZִF! ]:F.P2p#J) :,U>6>OMBڳ:?4JܹLeg0 ĢzZ#\P-t6nu$}3,a:D09WBL~v].MӁSR-}RH5]csp+ngH]4&hK:$tA+<GE; JNhI2J!%:N P@V:ΣUxAzf6]~Ron:ݏEUoH"hQJ?!V{u2$Τż3%^)-:tl[SЦ.T,aQ3;+! fE<L)(,iyJVXO%P:co⺏l+B' ,lintפbF)WƗm\]+Ew gUp&P(Ā%;{8yUVgFÐ22(B<%%:r6GUWѾD,Y /a/9}O?麵x^Ko+mEHXt[5}^J&"/R1z\p|*G2Կ6VȊz[AB6e=Jp@v*ik`j yvύG-c*|B>I; zJ?'0Vjl-;{Tjb W ³l9IgYZp1I!jHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/files~~/src/HOL/Corec_Examples/Tests/Iterate_GPV.thyF1OC 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  v6 1O# lHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup7zXZִF! 0] !M젗OFK?aִB1g:k[&ԭ"EO"sizB%Jssт|1KywTUho*> /OЏ/꺲 m,ji* eIz;1K([ӶE~ n,6JRtŝ4kR2u2_RBmJv $,G(Ǟ*H6H僶K J?Z1!G F$i3V(D%ʡEȝ˄YeTr;@e ҿ%f@ߚaE#_JwWLzFۖ> Z7K \c?^ڻ+7TV]IxZ'ǢPURh2*C|P#\c4k1DW1\r*C\&ku\ij4CX~-H9n22[]͈&@h/oZsΖnh Fwf|M"LM%JW9`Ng9,ޗ6L"y]O-^J\K_I8;dI!jqGr商, ;"sqB9/Tn;pIpL8BU= X~KH[Vmޗ+Z~tT_ Ѥ"+#&oy ɠW5ס~NRЧ׫m~c,I ́%N8ZÁnJF;tyj9Md]툜:3wp9 hso1rA/qjN-? BFu~: ޠX$ P/˒kY)mUE>!>65 .v4%4 `Tmp#E9sY Ѧ!ЊL:[;KaJ Ԣ;fj8ÓUEh}w\Vg/ZB+QڎO.B/gr?K 2pt\VBE !ߞOEL{%|oQ[斪Q#ABg3RY$ʟ\GN2j(!mgEQ+zSE# 9N虦Hd!ir!vŘZԤ2KcYIC1eh<~Ky-_L wd5 Ƚg#y]d:.Z~#h/$hm7[8(\ƻ%m7uo6*z3y.ϯeNP5du[Z};V,ǗI;iR1TB%b$QhSG{"ga޷얝Y}2bo"\qOpG쐡eE{uF'0ﻀOV$ Mf&%f!8O:c'9Nl`g_NQ{n2xj0Wi6sc [D Ώ|%='6nP%y" %;ޱgYZp 1O!dHOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files~~/src/HOL/Corec_Examples/Paper_Examples.thy: 1S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! 0]D?7 {?:fH\y4Ox3Uy4\&|qR΅DcYRl4GK0I֖<)YsmQ?*zRr˟ /}Q#7/SElUUJSgub",ꮃ"r_C!H`̊ %F!:D Ӽy"]%^UGk_@Y'IX– l#an_a=8ˁ7:ܥvE/J~P!|p4O7Y*5023զm y=zAD_8*Q\QR3, hrwPڢ8,>3g.ӌU.W ~*5Ovb<`R;ۄ,E&{\48!?bݯ}{$o1NLF1;^g*y'fx.c ȼlTyNZgd},am_0\:y-l g5lw138wc'E@r[J"gYZX 1S# ,HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup7zXZִF! ] !M젗OFK?aִB1g٦ #k .\ykdKRJ#y_goc^<J'V@{#ƨUB=A`-cTrN @BO'Q(GvFV4 +`}9Li:hæf5_&a&{ {DL] {0˛?uϓF7* 한! >2.]l#$g:'.9 5_s5Úk2b=\5+p](PV}1aKF: t!y(Cd ᫑ji閄lgFM1Gވ9HWLJ#F mXy}QYi(OX:#XWzxr'ѣe[) \eJ@>P_H(NbR u4WU0D'~DE wU.7g_ǷyK9!X${.j0HNyyotO>]2L/W_]i{A{[G݆ 1h:)M -'3!Dæf-W AbY'#>Ք{*'6>ɠHp}h&‾mZ#8 R FNvQ%ͮ)cY]œ,>:\lm/_qvne^HNć2GD7Uf6\?Qu/p(=&DZMϽ/H9Zg;iؠsy"-tBsǪs*nᓅ͹n& X\z÷Q_b_IcP? 'σb iG)Afm##Ѹ,$ŀ% /;h/ru.m&,=U-`_*Q̋ ;3_m_'êGlnjkˀ [g 3 IIf7$YZ4]ld%kiQO`V4htf5ܐa?)ȓVͥ껯Vp7CM94 T}G^<ɱZP04b).W0' =AKol ×&c+@@4K%zn/a|8t9E?+!|y /]w¯ޢO9YH.``ѶЕ~qQP3zV*$o7?>e/CG+n+Y`As=|őAMyVJ!t&v20ek0ֶXs®-[{N:af;̬ H䗭7CݜoHJ5Rе}5+=AnZq ]+Q L h IXF}xlm 7l1i]AbP'u1_TwƎgP 62\Ҹ_HMGo0> Mfڑ!.+I?+>uDDThx,I 2!~VA yR,O%Y=)Zfq-Q>!ѯgb7:-kt!?s)Br gؔ"#&5 jaBq6f~ĺ@JC[!#.)UAa$cT^t'eJ~NX4RXIom{钊]7=\i^n8I\TeEM>D3usk>}O+4R~3XfKքO|P%덀qZbh,ˎd J;N<k'"Ɍ|^+khzu7@܁,o$mN:=!SEC=;$A XBAHV\ Hb=,wȌ$X%CX {q)#u|z9*q,vdLOƅDi<#W}٥ cTҚjJ H;[J[jŖ]/d0^=0̺Ǟ\7FW ]F&*W6UYHvd$kc6B: ߟ/[c8O3ڲ:e/#_cgj|\ʥhrB q.nJ' sVsO ʻ}Pmns%>|5g'V&E]u3 UQK~l5]@mqNszPQ;]n[EAn(+6L`Oi=O B~* =*`D@v1  iIֱgYZv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files~~/src/HOL/Corec_Examples/Tests/Simple_Nesting.thyP 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! wE]D?7 {?:fH\y՝NR*AFC2T3* bnrhnU9#/1/H%Ezc @at*ƄpJݡ(f#ŮGm?F\CBq&&5J #se1MT,؋4'S>A'j hJtrLܟ wEv 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  .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`HgYZ1A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\y79d/{sRšU9ztУ_` {!BUJ( %lR'usU#EtFiĤhRR-UWD{4 ҉4|KD!p%C&|.Y 1MPj>{_b:C'$&LAd+׋$Z׍d@Fs5d=e@]g=5{@xғdޕG lF RyǠ2m %T74|T 쑕%\=>k΅ϫMnk&'w(w4YtJ1vpBNr;Xd_J``^Žǀ~Q,<٩U7ɕCm5YcD  u]̗Y#7GWhq+71ϜRޖ_u_SgYZ?1A# HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! ] !M젗OFK?aִB1gq9r2r<#Ϛ+iJSX*sͧ;gHZr":.SrjCUڜ߰:R6t;"1B>ǚؼ^)Ӳ.tj;1 'O姦>DKD;0w*OR=Pᡥ C:[k;6y$F< ONovyzP~o?G bKKT?LD"8 U7bϘaܯbciWe8&jO< N§P{7vt#+-\ 9qۘ^ВKt"C뭩2>3Q$= @Q:pE+*%h9"=0hSJBw؉"h  <22'U1m "bE؋[ mKӌ!kʭ9x: nq?QC1Jo|i *ʪG?^cpuH1I$2?w_8(]Ъ3?0du )U)KڦeFBH0أ I՟GǴ#DVK|| 2+\\o~rBį.ٱB"#~@ 5}Gs&A"xj5L;2<oD˟ey FF XEɱ@iQ?3uMli ^{c3hӇ,p"pB.'pA`nj.#=!r6ɂ!ܵ%%X.SǓePi[0$:II(2$C;so%g "{V/yLUɻ NEݷTNE 9ZK<+s C#ZGZb;܏|G3|X' .@Ra|Drkэ+q+OeJj\B@(Tf} rf@lkqTvP  GJLgYZ  J1OC 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 PgYZn1OC 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@߱gYZ v1G; \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""gYZv1G; \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 RRF1O# HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD *-IWɼII !6M[.@` _XxxO"$R.B}4댬am rxgePӾFv$ĭYPO]WDFmE,kٽAwiE~kk8Te Ns8AWxMd[tk pɭzvR>Kה .!wSlPԗ",-"iEm#~cZU>*)^1aR"WP#bJ()7Yo!r63<0/W^\`nH'ω @f3]v&U(!Z≎fQVqU1+n(i* ؏n}؀;ӭ^G\;_X+l)7L6m]cjhBA!I|S)3'ԣ'35z݂\R21B']GZOC.O _[Ma%k1'gYZv1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/files~~/src/HOL/Corec_Examples/Tests/Stream_Friends.thyj1OC 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 < M<v!1O!pHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files~~/src/HOL/Corec_Examples/Tests/GPV_Bare_Bones.thy 1O' Y0ϖp=m#AM6[[\yPJwPG[fM)%n+DZ1a?ޛ|Lb!-z@-4B)l,#pE`&RG*z1*\{|>1SCqU3g&zGM`DZ-Vީ5OPw5|HaOr(yIxv] C"fb&_V_^L@ږ* 2#ӎd7r\+:Ap{-j3ìjgYZ1A5 |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=(skHKB8j39ogYZ01A5 \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex7zXZִF! &]A-MՋhvG"uIBm5d|lT cfpQ$Q#&Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^Klܠ _ zY-\َQ'aji{ܯ!gɰX+>~B)gpR)|I*(ز3dւ "*3-bQͳzV/G VΏ-1TZ8.iΜBÄ )miaC2];-L=cX1E^:63]&T@ίAv,[00?; Ll[lp#F*U@'f&t=/+K3^eh^n+f&b{Q? `JcCcU"O[Yqy_yƬ1"RXfEl.(Jwe}_UtDEh-KM,3"G}Mz pzm0A/̔X`ᣊ_b1Ռ a~6JO F 4(5 ?"@I'ҵs ;dTwj"yF7F0WѨJ{KCa1/L̈ I-Bk.&d[퍥[YGߍ** Lg  覱gYZ@%1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L5]D?7 {?:fH\;"<+8p=U@A$';b]嬷"։A\A>&ldLkDEx0@zҩ&c|+bQ̔Wk9oh^Ob1(1 LK:ءB ._ִOu϶˗ V{wA lLՂx$X Ԝ oZ)(~c$ &.59)mWKi0+L8QY(4*Y;}eʼn_zH ãKgaGXrt>rI]~  FhRaهOalA_tYv yk烊 6Kc?WuႱ0i/Żp=Zs͌Pg5 llUگ?pKoyr.eB^ɈM\\u>t UNP' ?'읇IT倆.!J'*=UB :-g )?xB}qRn>ƂJ bҨ\(g#OWYΒ7&Q/>k&zB&K~w0z\EeEɟb0 MD/CB*ת0MRLNIi/ %Noy׬wɥZn|s]7%cQ!4SР+_1E  K WbAКjKROmrO}>7gYZ.$1O# \HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup7zXZִF! ] !M젗OFK?aִB1gDmx@ڃ_SL0Z*ڟcBy@S%Ύ_y_i>=|`|3Pў0]-0.Nv6MW3b鳶YF=0:1Ɓ˜^Fo79S0GEE_ pJQWtȒH6 f=({k~% 3CIؤ% P|4VltLʑHjW~ӵWo|ep cחoQvq5Ljhu<[ SsDqٱ~ơ]f+nB+H%oۨ`|ۤb1/P6HtO*l,r{p*ʃoQ|i/-r7v+3g6^gF巅*1Dmu|D]̺q!aNL2jOιz&t!Ҿ9lStjk\ B:ԫ\70 ,i{KdB%ƃfi57Ees;3 Ƞ(Ki[yHے\U˸a(EI%#ݒHɾ+lFwJ+Zʩ옣d*e-m#΂@@qYPMD|ya  M7* H*pF(tM* MoTDQd6>V6?r((x>K~8 s859W6Zy]o9LR>㕝 +Is%BRԹ zJL5bb1~YiP)^~/ٝToD+E O}&Ghb6WB:vD<6V`kL _wEFIy:1Ȼ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  B)1G# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup7zXZִF! ]] !M젗OFK?aִB1gD '+JV sBYUwm4=Qt-LH: ?mihǔDozMw&bү[j]E\/k./5;ٹX~O)sn "FXv7KC+݆dPftS/3󠊫S2p@Z9Z֤zkn)QBUQUSED9fQXDWYQ'8>}W̑+>$J=sBKڕUKNN>GnqrV47(M`|Q$_:rQ Ws Za4~U )mҐξ8#UW ? Nw["Ne&#ot$"ݕfR@^"oTG=) FN4WqвSDx}lz,#sSZ(ߑe8,-p&i .~^3IշM*;A:Pn@MGhal_Ѫ>8>􆺛K=iOOMԽu'Ϥ;7p/LX'd>0T|bŊe{$"6Ɛ1Q;nW|>ð 0tI }nLy)M5{/'p4ꑏ_юN7O"QSE2M *(fw~:Rd[Gfܳ*x|<gx]xP9:"P]d=iƺ5dSc X{(6#fNA>_L1 R8˯!t'5&3}9Qn?&=:MA̙fHLe'a?=.a:>ٱgYZd(1E9 #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 *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 gYZ U q  Uv/1O!pHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files~~/src/HOL/Corec_Examples/Tests/Small_Concrete.thy@.1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I;]D?7 {?:fH\To~2d=;Fq#iLL6FQmT@_Au}ȓk߲Ĺ }؜1I@RD>7fQŻASnEY2K_{ U\eXL?~Zdt?ˣQ,oX |:lzC,U~k3e}NI1ԃj!2]#omso7Ni ii2<ե^.|`_ګּ=E4豖 'y>8xix Cc/e1B K Qѧӵ䊞XiwQ*9)ɰu@y`{ tޢEݴ`rT%oPJzͦxN6V75E(o4>؄KcT"`yĊ;vٛ,q'Ay`L`<Ь.i")V[Mm6bbr2hqw戃^5ũɈ͏N}ᩐGxf|+''˚վCt8;']w&e'mCs!y "5gYZn-1G# dHOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup7zXZִF! `] !M젗OFK?aִB1gDo%ĕf]\<'pKQWr^aY 2 ˦L~x=ܑٚ*Ǝ!JС'\ Xq}*l~z9!iғcπ (b~dDgҗI幄({ $א,J_pnP\PCUxaK]>o }o>ʙ@EvVTݧ;S(Yx)}h8E'f94VD~ 6 ~g+2PN0L? 9dv>>1Iqd5.^u|$BCR"Oi#!j-N7F俄vٕ%I$Wf;bi! E aȅ :пGɥ~<*3Zr&l)%Nٝ.gܥPD[4ܤfH 4hm@!qM'_VF,p.Cڂ-T},*us0Bjw{f =QDz&\O ""GP-|-#f[>H`~>72fTĆ&r+sExj!k}&U M}"_wG/7w «w"5b[uoR }pѣWKƁ"GF(箠B&*>;ͦb_kcoMU7JT̰YoTⶕcW0bҹ?|Ci xi!a`d*L)0\aAzZ:Jruu:HH߱8P@n ({i: B셡bo" _ [; ^-):ԌG'+k"@Dhy=u#&Ը`ν1:Ͱ'bEq}|.XiUNGԔRu(֜KA]S&-D|5w/UѼY76MvڪaCaAꁛ0bQ"mnQ]l!3v䚵y.g5/Ӹ]߳ΔOO:wz4;OBv!qEn2Ղ2ę$(rŚQjN1OG@=8;&:T:a!"^-/v^;G[)m/mswtts3>KjF,~ҠW]GYnvp8'_^XFj]֞QdJshC PձznPߧ9 JU[] ]5`ŷMRJAŇEJY,dܸͽ<[] ]^Vڎ^Idh62{ݰ* -90r~|{KaV؃0 (YK5VsJht6z_эv?I ㄴBÉ"Y3>'vȈu0譾$e=JIpm;ЀAxaRBd)+W7.Lx1 15$sj<}̅TDa Φ˨ӴkޝW{q@^sk9e9K :ML=[c,}AaH.="\8)yޯrFΞܒmX#m@g9iA x t"hm.4dӋ3ƭ>f7Xm^L0v0mUQ wtoMS݈c{^hyuc僷<*Gu"3lDwuII)AEL(*<1v=@ 1_v2=G7DkV_(GV k- Mz kұgYZf01O# LHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup7zXZִF! k] !M젗OFK?aִB1gD 9[=*erՈ* ],kVKYGLM?IOuLڀ.aڷʙf<Y_7pOqeF똨^-UJgpLȸ w%{*"::;h2 "v_b8״7&[RF_?%a6v9,YyY.oLzC~HFE*X, h 02i?AjfcKK+_>mݷ-IXzU9v3+k[;'{x /a@ 1F ;OJu#%s^a>C ؆>I]lM)yWqz W5A{\B6rӾy Lo_j@LgB&VK9fG9F3TZ`Li?IPuRڛvcm5h9؏zB{)'oaQ0sÚSQ a:ئ0 QZ߲JA_3Y0Zv&-i  U' װOD$hF%,,,j=jҭ)uvYApB;og1y?qދ.K!'ͨ[\ ہ >?E6w^1Sb=V!muY=a^ t:f]1O%d% w+uR#wƟ:H5'@Cx`5@QjAȬgq4qD/PO/yUK猭*3KIat1ߛ7C%aN]&)on?Z9nb MS!MQx~ȏfCCMQ, L J59\qvJșVl:Op]5=襻ok f#$ٚ1yu 58FE"=G{ 0j?*Du޸ 5cV%ƭ˶YѮ^(! >? Ԑ2;"JH =2/^ٙIjikoB|{s&},ñF5kYĄ{UDQX0EV$4z3{.w,)zZ[Xz c5mJ}קNv6O4'+o0(S L_ض|ue_(Sobcy*PJ%BզB@tb8Q4Ϲ!.LB#dIyJ1*&*80V Jw]|7tX `<@GG-y~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iٛת:{/.)6fw[9ߩp "+X.B*c.*>b5q}@HaMfaSj8}orɺSr+yF`*=8J'm  tZ6`ƥCU!lu,AR/>nrvx21#Һm<ۂ])> ۈەb `ZMe0v䁂kVAgYZh51A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_A.thy}41A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! |]D?7 {?:fH\9[s_^I?M![.x  )gQTfłe+-k^}ODŽF",n}G[Vv"VءoMXuPLdv/T9qEmsjԷm J]ag/ YH_.l Xf)%g}(ϠW2S7\HI^:JWYM%oOPN i3WQ2e#N":.d(1ELd?+C _>bĪgPeبJߢQcP7UM(AĽbrF=0;`XCouCS:[` v-XfCQd/&+C ,67 ;$ :E(uT6)@BK9;,en-䦮jQ^ zD97 K`rX|Hby>A{~ć (P`5=da=cD:F."o>_/VThBIͦ*|MwWn-Veݛs6qT"nǹ<:ox[ M^k+#E-uu߲ L3^Q`{G$*;;SyKhcRN?7`y}9\{E lS} Kpk;,\Es<˵gYZ31A# 4HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup7zXZִF! ] !M젗OFK?aִB1gD '+JV K| ǭ=$E<SM#TSQ$N2E 9",qct1f!03By)e=mx3l6))gTbOˊTsuQ%Fu3ɪvtx(|\]WoH,i`T4dBk pCtcj .rs 9Fo vb^nUCiB$Lר Ya Λ9E'FQ׃&HT  U/p2˦@p(?N(:Em|]03=mCVָ}ȼuiuI!Q}ǻ ED#Y9$-F%E5*e 2Rpz^eV>S!j+=*@$"NSkn |ĭxn4Qg[^ĹV !*|WA ]:(s-EWӜ@8#GֱgYZ n <  nl<1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Mono.thyG;1A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup7zXZִF! F] !M젗OFK?aִB1gD '+JV {5gG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g)挡Sq3iT8W83I ݔ&^VBx&@$0ht3o-h\E_H0i"@m?AIk; qrv0 F `3x0%?n8Tph/dQ$gYZh:1A!bHOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files~~/src/HOL/Corec_Examples/Tests/Merge_C.thy?91A# HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup7zXZִF! 9?] !M젗OFK?aִB1gD '+JV rgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~]QOo6J#{[ mF{7|R+t # g)挡Sq3iT8WU3I ݔ&^VBx&50Wowl[{'vvutLi$hŸ HYkq@$'QDZK\ )H npMK![\}+D8OxAzMawxazWf5siǺV x')Q&VOv/ngYZ O&T n,  p +Wk$h*=q $i& O>  [ Y qb<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/files8?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup6<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/files5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages4=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup3<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/files2'HOL-Corec_ExamplesHOA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages>?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup=>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/files<=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup;<1A!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/files:=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup9B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages+J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex*@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup)J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.tex(?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/files'F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.tex&'HOL-CorecA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messagesA?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup@>1E!HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files?D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup"C1O!HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/files!G'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.tex q+#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex UCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.tex rUCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.tex?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup<1A!HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/filesF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex \'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/files'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/files 'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup@1I!HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/filesCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texUCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex d ? o  J h  = a L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages.@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup-?1G!HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/files,T1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texF1O'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/files#X1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup E1S!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/filesT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/filesT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages1D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup0C1O!HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/files/T1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupC1O!HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/filesT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages -=1E# dHOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup7zXZִF! 8M ] !M젗OFK?aִB1gD ?S t$12'oLXqAmz` l}Y(4y4v#^zK e|8$@ՀWu|\^kmi\"ܭMN,Q,1jZKʿ>)R8r _<2KmBmvޜY]#Y>3o3Ԍ 66gO5?a,AzwJKx<&F.^xhf [r[gkdCc9ͼY 6~ y8g &bB2:R;]^bVUkJ4) afnJSY/%!0B1LV>syaz-#7$+Ҫ)Nʦ}<'Usvd8$HSe7)~JL! k;XL8J@ bͽnZzf5K/*gtT}@@d0q9º Ѓ? g0+"+*ڳP !@JJ]!)}.\AڐłI/8{{2HYs̔gA0S BEfz)ljF"Ƀ简'+y,>1;jDn3-4Tg+)6L^_2CgFE4dkuLW؟%AP AZT pӄJƮ9/X[]fO\A|?>]j, :šOZ:Y{`ǁD=O4p u.ý۟bp} Y]?_D( fpׂ|.N]# `[MoGMQ8[Dg(A iZj6 2|Vd j)6LZ烣>=͑'5{W]C6`rM̔C܌*^%CF?S|\2DqU(Oqȭ_ǐlU]{` e\_0a E7"'b7͑~y\iţO~3kCV Γ%UZ>:f,b zO#.3h*hN Fby;x1I>텢Д5BieW||J_i84^n]aNP>pvD[WӜSa;SNQO[K7@g)nc4ߦM\:a/[dQB?3l#c8A5N@37ƃ7$[ReVwfB׍󎛱out4c4j<=ڲP ´d;GPKp9EXRkv%,50{yXcc@9\RRE78"@s~0%˽= ߎlVS4i@t9EIG*畘[se5J bJ@J60%vRZ:JF촃gmΔJz:nd A-?-G8U{~6gה6=_M8ȲPqG1"ot+r! Q><5'ǖPgmtή8qP7+O*xcçKYTPЊ@y6tN0g6Ukldg}.'j[=] W}!hwE~,S}; KT ˁ&,M.C@'i=K)HSeÈ&2f1hlgnSW!k=޿bnc3H] c)攦AZ`A3\;aݹЉ KDVTj߶~TywAt2?rkPO~T|)t#WngޟQ?imh}s/)C@N~H5^,iKm Xȋ4CyvJssA󠙪V㑏QC0oLm؝J6. ,:,HX2V=q{_"!|*v-Fxz_y\Nq7vq( ݘwq[đݡQ1ޤ5DO( pT:EhD +Hu3ZX"NdGzE`>{f%44~Lͬ9H4gk5b}");RWZ  4c6ͷWnkT`;:Rxv4`N=ʠ .:amrsB`\,%hS[F&fA/-5٢Žp=}%Lyh>ʟ:dX)aBd*$exE*VO61|VxU(O)1ӏםw/EscZ*ȓ◡<<+K.Y=qDm3t^uDWˣOP+>^g<."`6zy2=VTHТΣ{=*zK>b1$-ai3Bԧ) FUΦayizm cR]8 7ҿQh? TT“G>'V6-oUu|͑TefAp.֌kA #q ̭;P z+9 26 >^kr4vG@t? S Ix|l n "{vةpV%LMRh Ik VoNN99SY߄j>UE6': x5tr}[Pp OxpM.gYZ LLl?1E!fHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/files~~/src/HOL/Corec_Examples/Tests/Misc_Poly.thyC>1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3&.KyJ ӺHEנt~) c:zhʛ  c/{ ^iYaނ/gt9 1c>KF聗zGAك̠N:!lDn]'=?'j \V(\AXfBsJ@6?3ٿ8.2yS@xA$0γ }3?ée|S$Иk,hCm0GYj.%#дV6Q:u)|jRs6ג٬:u,uO]tsmwY1*~TwՙxaJsaל2-M f ɛ_r꺘 CwlCp%Z! kYX٥,xf|ɴ\Oo n1XFdf-KN6FYu̓.Xz4O.QߥѨq^ޒf-)`ҘJt$$`Qh|uXe_tDpP 'f" )mzPfzG'rʌ"mI+A I[}X܇e ?\F؝ ݱz4'&0!QD֧Q p-ѳ[;ScE]m}³?,Fрm!P%.eC&TPgYiꁴb5U(+% ڀEV'h)hvSH2G̍X/=`)ϓN'OYM*߾?\ubHjPE5F&%K\4dQ?fC,`"8zQv?WUޡ|7`}5c8܄%Ff8oJ=Km∿$PT]тuY[;[A+ڈar(X $jc='[B_q;̹ 5ukij9<@}3l@>Ibbgi ec@8(whI2Jd/ P><<ِ z:1^j!Tp8x F=\Q&'376t@*ɒ|GZ'xlrV_"Qz_ "QgkhM5^Znf1`>LM 򪢤{"O1=eNж>篇?gb)2&^GR:yʎKȒ/`jWWNl˖^\|VI[B8l?r(e]q36^ r޶+}bV`$뿐e\ · YAjc^k<֪;'TZnK*GDz^m&;9CjaQ#-pXzj1܁yU7#[=oyvjnz-Faٷ [Go}&]{g F<ك  x9%.2;"HE ~bP8^*xCQ|tٯ}&m>?Sn'tTD9puꙨ >qaꮳE6`ȰpHu~ȏ%: d%s Ztu%x3x1?Wv2;3, -m3agYZ /A1E' dHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2/0Y4503̤rNJᭊ¸  f^;8?8ӺOJVKH9uB$#t3$}{[l.&($$2"%N)~9Ͷ垯9"&牁8@Au0#nV(Xo m}ѸS*GDǢe#FE$`@z+T(]g'*ֽKFݴ5Hā ]=ZAOOTɫTK~7s0ﬥ{$ڋuCs[zGe!T4& s90ݗSJ8VM{?Zˢ*Ŀׯ @~O5q=d;/^tT"suJS%;ⲙLk&J5}Ů`bUqV͠-~Ђ"[3mksfLʀ(5lYȠ)L9~^/W",Dݠ#1Cֻ~pRs*bHl1˓ *I8ܸvCwz] FrasPrD sn@5OaxGn8yVV,ZDA0a$5V8A:O ~vH7 l\mi7mQMG8LsxRg O׵cI<cqM%y%*M2#Ykя^3Ԉt角^$Y/PFy[hΕ2Т)?h tl|Pte<̱/?NwQR}6cp#Tà:]_d2WWlsq;aNC(Ÿa”k~Q&,b}͋h"vV37% _T_jW\;SgsPg9̋:[atU =ߘH AJgȳcУx6^G=B|dIiƋq%:>F`K@8% 6:1(qqȼQJL8fn3=8[1~vY@֖fJ2$gwJ5ވn  NWԼKW/ C}*fړceUZH$S F>Jx٧®3QQ&e( dc#k(L$HD6zMeO|TR{*"9CTA. ##6JLtbS}͢i%&$x wV_ ֔vvҰGDZʭŻMV'Gc`/&|[]ݼ%@WxTlNU[ṛMVh2\ '#XN |ùyNcĈyM({m;Neem'AǏc ]^wBo E gYZ@1E# ;jWVMBB~sK䴎8:Ub&'`BXiR}ګi? BY{VI(|hbͻiOreL^͖B3.)A?7'~8U-?"Mv~*U6Q VvG ue`#A奄Thډ8Xr WJU ^!b">tSzzyX=8bO7gSjI9mvTه|rWzc7C蠏 qJNF^2 Ϥf\YZ.9|?a}AFǁ-Fc;Ƨ8iSYpZEg^(ӿM-&U~i4HctaK=^]Zbxg`7'*b2o(!!ICk*[{arb A1 ~VrݬvC|czdw#/&DeCĉv\q59sBeo NUUԱ wI=xtKgqzݱ6deY1S=r't U&!N<Ќ't8Ko( CVѨыyWvn>BzG=’: eóCb7> |!Exϭ*OY#I/>Ptq)W&$>܌h[c8ygZXrQg3!ڳjJ.\7\HfDiن㤒7Ru %2)|AN,U={g tq oǚoKGle˘48f:9y64~[V;:J%ӁaXi a>*-=mn3xR9`o mnasMtu8պmaL>lcݟ#pܠ =8~[.Y,;WTBMH}WFzGt^kknn$}Q>f3='9cs"GVZ".cGZ^ *D^o~} @e\R$, @O*>d6A-_d^t9TGp*,Opyka|LI4dC2hزIߴ 90hx*ldݪzHָ%TETS.~Ҡ  ~ ugYZ7zXZִF! q.]ŗXi%PyF fL xƠn[5U—>*EIG'KXP2o$:iB O1.sek Bc*;4Gvj(zDiMI$вPT47gdy9ԳⳚn,O>*Dۘq_10G^Akp&.Yɽ n)Z6~qǦ*pKPB.C=ʟ9_9͆*!j^b5l}.OZ3ĩkOG0n Y2@׎ަ#Vh,*M-pIȤ}B\=k.ul. gvEq,zfA;(uݱ)G h=Q:Z+JlS.%˲=tY[ˌ}D]`AR'^_}Qo6ƢzEɬ,I`x 5baԇ겫`1qa[L ,hKf ` |u?uXRv ;Ѻ_6`άpxDd սj+EI]Xf5UX;Aul}hhof1]F3L$ptadUrժ3#dupxnou&L#yyr0/C2G=K6:^~!BأҤ[$3@Wި7C5 ?w<&#"+-mvA?qbgM y%5J@,<ϤÐ6d`R3):TV(`P99xf;prf٬(dINe5!(t*.v*$aLd%&$XYӂP@AO9O?ՆEDbY`q%yND T/W5dn lN5C|@s,ؗǴ@s+}"C އ9g5oEUV{$5zʌ9}Mnӷ/GDᥡ|2hS5<;V'J>x̲^h7+!ax? o@}PwƑmYC6 Kҧ8E)3vt,LVRvbv b[c :@+r_;ߵWvqoxǎ[<~09/G8^!.s9ބ1!a08YS0'I *=` CiI52Ukb\8'ƫ4@13%2L^$;©Ho'ũ>jxqM^({/y~Y}UFcXN-SC#O\3ECޗc- E\vxjzD9'd~pKe놳H-3q<%]Jk7վ`TupxCW`\Of`mnl>N}<[./ۿKp3EM8IJs*QҾ-^yj>f4o,s֥PmDV4Չ |]qˢf 1'46s?| ¹_Jm!5 ɧp7~VP ! 4$ "ɰN ҵN¼Jx _ZDLTGLX,Frweń'E?$UQ7c-*˞ sjXFg7 r,)H|ɿa2~ţטRY1Een(ў˿Te> m%\$d@ز4Ey{5{a鮒~޿Dq#F[6\ܜ9 -8܃FI`=w};.ǝjX ΆQhLA/z;蔜%8Q1G"~U%Jq C08g݄ ! < ^補vhWM|G΢ͷy~S>\gBVQzu%;A4H!L1VvMi\X[yWBQ͸pJJ"( eSqz7_Gߥ)mKn*O3% 4 `T7$') \mT@mMT rԐ:u3J*{ :xT]sōc]K& r=c;\a&(o|I KDӺ1_짴+4@j m8Z)IHgeHkEkP?-*pO4B@ `cx&HCIc9uX#7oRFたÈ;jǠG^m )dgR>E",i7)epw#V~E.;s׾|#UHKp M"WAqF Χ9>erTחߚUC3cJњ7M<2A' 0î.8Jv2Td9G_gDDp 9ҩf:{QLӨeu)/MҫkFZk",NIq'춲ס"h/dXڡPe r-$5Y~d.27&3JU?d2}94Cj~Ȯ@!-X?=I[V#v0Y1$gfr? ev I~d߈+ވ_)jHۂ:6Av[=%sZ.rm 8Ql( ><3~h -w5ԜyzLzY6?sثMn}2.R`*zD.<c<[^a j6,I\"0p6@u|իb=*צq/}ZgV &= \3Tu(iQ̐6pŁ_cTJbGG)X 9DQ8ڙeZIBB3@]_m}.clcR@A `rM4kV7f{qC@2ELtz>mH7&`QFw ~44^[vHn=U2O'P̥B>b"]A6DlԂGg #< n2V\wTh+^< /o;C*rqO٢ k%@y"G^`4NcU>+~TԵĵ:ƹ(Z05SYS"O"WrTY3 RA B玔@ ߌ{u]bFc㯈O젤x>:|q]|jո$+ m7m:/(a/[yN'Fn0O67`XP<` +zm]!1u·\0 fE>QIr3Nr}N /Lt[7%DA-$m.F~ tK"fÝxM dsGN6J?.W &@4","}:84VB?/|DV-m}\#]/dHdbp|!pzcҬs2B@&dcJ1[86lRZޗgMh0!<a{> rW&h4r`6/FX {~: ~ᣢ8Y3ޜ 2#==Q܆ڂ}PuYr0x, 'Jkc)ǒ\ >qeOۀf* -\72`[j6Cʶ?U)%dwmis-b7;Cs|IX1J|VZMCIJ:2;5kO.L,)*޶v Jy# f oAȆ?Vz;o"fv}[Gm 3<ܻ*Lx xW7&bP (%3=rwnN-,nN9C=ڄo0/*jġδ%'h1OPy-A7'E~c  uͤ?UHĞAkQ| (O^buYڻpDaDh.f79THМ KA=|r ēp17=1d7لF DWvNɻz\oXz_'zUpXN5p $_{nt_Q3<Ưs‹pPOU醺 S  dqmcgMӘ*zy:9Ռ=ݰϷ36Lbd+#(uQ[RsO7O"P=.xmO V/탳cvlo%^(:oZ @\CKnN?/P 1|=ObGpLtKT ƋbjЦx {ʫ<@݋ޏ&wj XFa YGV3Bk1=v!&kx-RtO].wv٤q졹Wgh>FP/eM9CnV2 ; ͵kdgF] ~Eh;cK%9]ֶTqWl$J{;;vSgљ"o7="j-MzAPyE&9vLq>ɵ 祉['/"NN,2EdG RRÊ|(-|S*cQ*^`K%YvC`H;fJeA&Qe⤖ֿ}=~hDx] ,t[K.|ə<C!.Jg,^yHT%A7 ]Gz[ 7Q(6ttwؓRjrx_N1T _~p"F< 8i,gg[t$C_:.rjB LEqٔulSttG.jP ܤ3D ,D ngnrBߟ̎;8RA^W&%V03?-t71 Cwܕ0 Qph jOo' Uɕh3BI9"<MY/ -Eg+Z8JX`Ŭ-l0Oy2k2RzXR 5>\͇^d`bŦpJД #cﳖ倚UZ b@hPUnI\aY/=aϡTqxo$֛2Ⅺ5:8wEnOom2A%ZJT"oK3Y8{ C Sw]ʌ?AuRJyv * z87bwORg$nF,ׇ"I ^pڕQϥ@Vy=,%IP:\fc#YcS *\-WGS3TstwW'-0ON}2eE*i/깙R9.(YMoe4{ q.TlE\=!ib%b)=x^@:/h.]G*YGnZ0#7Rsygu$,E~%Pހh6Gjo&{GU鬸(V'P;,xNխg QjUHQf5c]]Հ = KW/QFaEKrZ\S(W"jfV}{@^iS DpKR!0) E7|9Sw0U/^qٷ O A[cdr][NP'V؄ݕv\UVb/;gs- h•pk [MnH*k9 >]?K^3c0x,8I$[NͱtNe p|-}ӫKSH<]=.6Qnj˜â1.TSY#Q0oLPJcD({1?2h,cX-zjYz/rVmtM9ZX: }ǤbE;v'6} ;=.q5<_wEuå6, fjc- +Yk"ȇ͸FM2R3W s2GZ[ѳ%dl/shEy 3=Ffx+vƐ&>Zw˳ڤ_5 fU.%& c_n ?0Gjyb>ymFd}B-o6K O7iI~sC~00ݑEGX4l@fz>$~)7i[7#Ⱥj8 gNB(?B7mYo՛Y^PzPz׭\$"xsecRvlMZ3*۔j8;ɫR ŭZ~vIn)tIkʲ#RGl1[^Ktp EZٙ 7xڃ%7A8ۍ*hu+ ߄`i@14R5oVohdMla >(رHX rT=Ϊa(jH`#̴_20R'4UJGp@[#cBï 2nrg7'\ԪLi 4J5Zh;heL^B{2Nl4aGb%GN|ʕΦ)+p,Rm2=f љ׋O12C&k &"ot#zD%]WJ܋ mb3h `i31V_F@˺hjq:l^Z~r(ة4sYGaOci 1򹄹^ +~ t|AO{N}佾4I~y[hcQɢh 'ȁ˗+u>ͳp)ɕ Վ;$ tR:_8sQ1E c`ƀw< >@u 4$EeL+78n_Oh 9y7eg{[=)sdS㊃K0"|4mj0(SǃLzg)X(_F*5KC#[1Vqt7EhFL~~?=լ+J$Zmj#[)XIY҆-U}4Jk b6 ޱ@\PFpF;Q 7 WqÀLVVЭ*;C*|p+5Ь.^>hKS0Vy-fgdoͨɄ))#n?nFZՎ92N ;>N'|"p&1} sm܉ ƒ7"nN!ɨ^D!aDx| _Cota ^,SnrC64PZ$ /rb1ԫu]./#w7=c"ooFBfoR!x>f{=6 wX828M!M2f.\pqUt{twRֻ衚3r3"Pǖ!3Ga:|M qhX|5%[*9/OYt#yb(#ϻg2o9?gGlw?JKSK koy9"PVyvax90gb ;y$T_"d\U mbsvX^qxxW0l Qnyk߅W"§FIfYt 8,"PmC2 !0j &$R Igd+||5'dN=k{EK־zߩϐ49O ;N* ҟC\0Mr4BNL,)gt ¨\ OgYZ972c113105062c693aa468d666fcf87fd77fed10bd474c82a4990544c5eb51a7e72ac15f897bc889 aecfd4f0ba533a34c585ff4ce800833509ee5811 d4667c2a853d567f8def1cb1d9f587c7ff0b479b