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 --@1z,$\ ] HOL-Corec_Examples:threads=6elapsed=158.728cpu=515.380gc=84.5527zXZִF! ~ ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7+xә>w/SkJ_/CN~#Ur_n'"&C->9竃}4<[Y!'/ ОVK_C!J(i^}[ /ydlObkI,srWJ)zDVeBI Axvkv%)~N421hi/x :גCb͖Y nj&Svdw&jU?^թ J=[c#g0@%_91Uܐa2 TK^*,FGbdHy7Rw|iU0`R1(/)gz=M,l}T+._r688ADZ΂Q7/ßE1bjҗ񜪨@y1@E+-0:wz>Q;"iRZ-Y/uux7ͬN:Ez0_/(n}yiD8M^@WdUI4=lGпD,>n@lG6o[NPxVx筞I*Iʮx-DM7Cp0+fcK&;қSnx[Mj0ݨV8A#oś[@]{1^o\Pq(tVDFGḏe@8IH+Lƻ XʪʹԶR{vb!%`DK:dV_sW֞Tlٞz)[j6Ma*oHY/9hpT:U)wctF2h$gg^ΪH4Xd^Cݳ\DYU$Gc?/U5WÜjѯc1!;+y2'o}f?qʊk[^b)"tq{9Еc5!ymLh҄0β8C1&L2 &1Z]U EN°xIfdPTXlMlSluz ʊ:??:Ӥ4@H%ak>ZyVpAԅc٘ =\vJpqU-7$7IӕIPi80P3NsE㓠׷@WlBẆa9j dM)_nG4*Us_yFn3BgTTn#Os,ZuW92L/oT6 䛤1]*iդ'I:>6% L^kcΨF-oH#+*הy)v. +0|G_N4 ]loMý 6a-ςC#i]QچA#Uc;n2DOkDs-k=ʘoR56P,aue }g܎1#9R_aצP R`ba3l~j,-i%bV&~#G 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/.-*&$#   0 x) :|<(oV P[ +s1 m T ? g Y   A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages0?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup/A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages.?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markup-J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.tex,=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup+?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages*=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup)=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup(F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages'D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markup&?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages%J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex$F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex#=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup"B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages!@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markup B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markupD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texD1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markupF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.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/markupF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markup F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messagesF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markupT1OCHOL-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    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 eeO1I# $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 ³l9IgYZF1OC 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  1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x!֙y8Zۆ -(o .Bˀ#J[MImUe;@ Be l[\xxGczdIQ+gd0DŁyByBPӳo:BrejsǷ L YcNԀ6n15`3S_ Ӯ1`i'͗ A?DqlIB˪<Ln9$4vj_\Pl;dq8/XE6,u=I{gޠwQI]Dy1 ^M,%ɡlD~`X30fIr 8 [ /2^@X͠?9>qk1F୭1sؒ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   1O# HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup7zXZִF! z] !M젗OFK?aִB1gD Ƿ1Jv›I`,xŝVRw#qf4LJQ;ZG[lڈHhbDxxtx `3} ɏ(ʈcӛ+`ӤS!YBKȨRL#;6"ckg+ʇT0#PY~lYY? ->+=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ֱgYZ61S' dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! ,]D?7 {?:fH\y\h" ߐm='j=s)cO6Q5^ }wH@=UJfcV \B,!9pbWP?s1VY#ӭ"H@Z4dI{e; 9̠=xFҸ{#d!aGHbb)ӷdy\&) Xv<-x,׷TҨ9"8gYZX1S# ,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ć2GD7 /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" %;ޱgYZ 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x7D|M_^:v9|~U~DկS?Y nOp[gF>`Rȗb~|N<.y f` ;;c;ߒ [:ѤPk2N"PU+-r魫bV'D*Ȯ%5)4x9q3k0>' b$6PeT~׉.eNvc7B˲Z]3%~x-#쿉4& ξȑ 9ԿH)BQߠ8>ۙSUc]חn.>?M`4p{à0"g /ܐ*>j pm Z@#SJ䏷9Q/e$ԏ`{5$o" 0CGR׽Eo61u50MX4 2˒p0Ҩ8V<gI{[mva~MlL')kFf:_ǮMqZP48(8G!8!(.U-xkkfk'߿.!/ڞw8z?~; $~^%ǖkG&=^lhb<R_љ}+ѸQEł//ytYMJ_d1M K+7 ÝʚOLF*4)9S}fwo- 8!lsbCJAqSG,^hHE8[j8sc:5#\+if~˅!ӭ Sm(q Eo1c+Dqt( !XJQQhdI#iqd@Xȋ8q ⃿Th u2X8:.a1h<*Quu+͑cU#]G)0qA2E[Hλ Eu[3;Xjj nl Öu;i<@fJ͌5|_V][6PH oί'qApcJ飮:GD쬵mÑF`>Ji)~M ˌ㣹8̌+*qQHKVdž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\y, ,#TVۀYmU! C<y213)4|7y7Z"غEݹQ_ YLEVdBHcmܻycee/i`@f彫zE`nԼy\Jʟ̽הӧLFWo5j]ڛb.Ǩ< O`񔬓^v]C~ֹDHCv3M&5K{Sh@-d}J/PQVCh^ׄBuG fZ`ؿ:?a+l@"C _Vz@? *.ؤ&ѬoȶSNW*S6 @OaZkϟSY5WC0)mkw[RB #yt.&DXa/jEbUZr0XgkD!l!!:s-7; oi'H)xץcSBuqXA%rl;HD%5uNt]3VM> ^KUg0 *j36Qc=L}ѩ%pEkADtJ:Vb j Qܹ&ggYZ?1A# HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! ] !M젗OFK?aִB1gq9r2r<#Ϛ+iJSX*sͧ;gHZr":.SrjCUڜ߰:R6tGGg9 ˗&J Ey(@r iqF˭a@8xqmxkҵTc0=6 `²h&p*kA;f0B75|VQrɆO;,7.CcsTJ:gmXhtyȪԅ,$\%f@g[.m p}Nn֘[wV{r?Ӱ.VicO=}=k3_2hwf8^Zܠ[C^c"g ͕}-ixa#S]-8t3 7=%SKҜ'^pwpYj,.U([/~/F*h X5]~h+nᢟf4սUV^Pt9J4%4BZDvNB-V+y"tziI}NTUdlƇAe!ZEMVe ͧoY]ȶl`=QоpαJ7DEZfm+6眱  k%LJX%%h<^[n3~Gue݊FJny ȚJ`2FlfGIq>Y6C<&J\v:E|5kާm=5";)ܽ #eklt/p':HW@e>}7zMr~rma@zSN _:_ӭRRn1,buxg!(=l;̲\z5~6184KC5T=7 򦙴ibm{3 ZD .~(Ӄ}]T[YSMKה .![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  v1G; \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ܱgYZn1OC 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  -.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:~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"RX&re>މ'dXz9쀞_#BȤaNz`.aD3 <VP}vb5!% ͥpqIE'DjyqoS;5qKiYzֈIy`]?-hɧ0ҧWǛg H\Mtt6CK< xZ\HOXR|-mEW4O__rIum8"S/x`Ud\㋭!K6_ĸ7g|qg ϛ2 )(!UqujXylc4uZ;2/ ,s|#"<*-@$Z8Øܛf3K%Qng$B*?J$9dk(7 P20?敢gYZv1G; \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 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  覱gYZj1OC 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  }B1G# 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:>ٱgYZB1O# HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup7zXZִF! L<] !M젗OFK?aִB1gD &r6ɂi2Mh !%~Mw,oɗCl1J$1"4w3YOtg8(I8{MG#d1ǚs}cH'䨫Kʼǎy_JK+3>ԫ\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 ~J5 7b4yt{YpF)"c;`꙲ 5d\Ȧ2A>KDU0A 01#Lי8GyQKU&gf3l1"@HĖRS3<3mK^ ;Ul1ȻM zw_^Itn"ZbCPJf!e棒=uٍ,GZ&HHc58r+1`WuxbDhxxI9(%Po^%A١LM/,NLEM-BspT >gЩGCIʽՙo8}E^+2䚓_R AYT|!MU4>64|Eָl~nT_`@4heC7y$c$~aO u2-#TԨl`iB֧^&`!_eqi';!pJwY٣n.XSgHa7pjlVꚆ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  q Ap#1A5 \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"1A# ,HOL-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 0^JY ʸO ي"t4/٫)]%eD80rš4>Փ]$'X:TU([<] w!Z( [4N`7ણӹFJ%喴z-A#36i e?ڞݳ|GfF*"zVFِNͷt?F=x }ɕRY/L ܍" xMƕK*4e)}nq*Lik-8rkne {֜^(/mKʆgYZW S8dփ S<>ʳU/]/ؘʕՉB8n7 /cCbDw@Dɂ=Q\[nj Dsf:X.ffjxO T^gKvtIg} ^^閄HgYZn 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,Zم`ZN\!Fo/qaʖ{Ql64O t!RUCC'#pC{џ[ l-IXW?W`EwouS]Uu5J63%/yRο)epOpp{fD[ӏrx[Sf$ kl``{_Hz!*z%&AD|UU%W/q$+ê95r}q+K6MVmU-odJ3䞈wo`tWdx4dm+QNY>.f|tf-QRfĦ 68)ff,HXE6V|䩭YoN8ZȲV挈ig+5]3kPn1DeGr%p9D+(Et~  |If>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 f&1O# 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{)'.!GVX qNs3\ 4iֺ 1s [|}SeImTJ-I֧X22`!ÿU%{pH$$\bo^WO #gטa8,ÈȪN̚Fr[Xd?!9pL d쾥kW,}ПgoղV\<^k(wA7WrVA9NȞm>]|ruaG\q)VJDQBR8!>&nU_ɢi5tH0 ID۸Zzi'H~kM~-",+U4 I/k ua~HT*Ε6Q*Rb@I뤙)5@JNNW/8[a8g ?} 20Hq#YGoW7#2&-rM-VL-kHԣqGwG>ZW57s 㭖P)}35go^L`7Gva q^4gf*+i14_t:z"iEx)^谾$7KHɄ  n~WȔUFuM>QPR6Do!Ice5֜~w!`v> \6TA:+VWbdCfo%ĨsfRt1>I`Vtg~`!1~gdI*M @PiVإ)uFnt)q4Q%rEq6{ !A^4z  (k6{gYZ%1A' ,HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\9g؄%щ260M6AOopr Nl th'ۥwOVL#HQ[.sPT99mHm:QG|+^ܸ"U6`!lA!RS5ǥ|H/+6|O^6W?ve^Ӟc>vq;b0('R"_ԉ(5/< l)N|1@pKX.Ud|r!W <,DIB:]@io!63Қ> KrYKPHdl9w ѝ5j:iy-@1pve@GadA" K$/qw ]%om2QK?p]hߥ(1,/X)m,4G?0ׄ'vGLr*ss/%؂ѓʃs%7 wF楉-MVgS"O) WlLfj6F)bۄ:k}w'Kڈc8LAia s1J5S FKM:deMEj~DhX|vȲX'@ꍅe\vm?0LN + FMܿH93Fp~g" 5WgJv>(5sBJ/2KWyp3U쯌\E[/Y(vH+uwZ^=?89hh1͖1t<^PUB"B!1Pe67UQ|в#FO$_n8ֳрy6A5n.X"^Ƶ8د ?nǽܹE5Eaic{/a8ecQK־ǣ 0]5𣐺맀?r^Pڣ :VAM3߬~U#Vj؅ gC=wOi1'`*#ͪ 0a}_ DiٌܑYAݫ#ū}Rz4!(p* r̓G8~@MW^c.M#9v~KG{TE}p3Kniy1ޔ3J z^A_ɎSb0O&$WK!2f)4K'u䨔kMV cUsd"iuJʙ ""YimXydc_2N;Nf5LdRy҉evdQ+0?5?.)x szLiw I6`<~rm#x*a7AOݜ䏩#OvC .LӨN_Cpη+3{]ņfzdֆP!O0 Ft<@ZQ)?kcnCY__E鸳dȇG3AGr:N}m[ùٰ,$"F1݇dRcitڗm@DC`,Q,nsd+%=H)2(kp% n"JbQ*F63-}=WTYj!O)W~[zz^V-] b.ѴUDxJ"e[/)reAڴX}@,Z᭬uJ+6l[gJ% WFŮ /Xx\}u7XCGe]S9MuΆdő~A/ ֣SᝦD5 †d9L%K6w^jf<)M<̰km<8?6F= Q1,]]䩍lOXw>e;??]̧e W/UDۇEZ /F+O)1f.H`&N8if<:50q=/7ZXc/3°r}\Nbk?_WT 1etDpWZ H1|FQdї֕Q!x5}j\ / aʱgYZ')1A# \HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/markup7zXZִF! ] !M젗OFK?aִB1gD '+JV jgG6#CϳL=Ԩi<ۋc[V䭲.}B=͡ʯ\ؿxA>~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iٛת:{/.)6fw[9ߩp "+X.B*c.*>b5q}@HaMfaSj8}orɺSr+yF`*=8J'm  tZ6`ƥCU!lu,AR/>nrvx21##'f9-'ALАЫ|+B"W1^YddVAgYZG(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$gYZ'1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! {]D?7 {?:fH\2 }0B|/u S'9JcmDnr,ܤ*DѠ\qu7{\("B$6bZݩ T}8? u_QBߌnaA y9rj}Lض['EnH5p,,5lDue}&%+)"x`"Μ&> 4 nh dD+8S3)3w+C0#Xq;FӔwxtjQ'RfClLXDor!͝b|E.ܘ4/ ߰\;Ԫ&u9u8&:P^U* g 5 :<닳[c+O5E6Cw |{7ƵzTDe͙(6གGWgi{Ov.eǎ_ suGݱH W6e2!p 4L8'dT,r('BͪhJf:QXv`B3OOf2+L٩dόQ= \<` *CAbYWJ~#k{ާ =6bLs =c8&;bϑC'8ڝFQs0t ?E=c[ V"C3jb ۻF( g ܅{6nē3F ìM1&eV헢ե6|"X׹ Eb"b I?O7TK)B G򖄌[~{zЛTc85Dg h]&FmZdeq/c+,,fܴô(c8o'p8(/-lr@V;]qpnJ@)"0]xff2_QiQ2+\|Yc-ظ@`~t%Za}1->* :'!s\tCʭ6x8l >Vb䙳!wpM\edv9X\aXT!FQUXIX,>|%v#>[֩r'0(W QQەLT)Ͼ) d\MIzN_9 0ՋR, RNĪqõ'jf0S[&S7An͊hJC (ANH? R~;u i`=evD^vJsdܝ_zjsAj/ #.Pm14﯄=p n\dS@$l3$8*UI_±ZO%C;+6c3Rn6Fc6!lTK95~$G^27ʍGnWwg2,|=?i)(EjSY̋i zH(Θp!'% 8Vm$ɠm3Q.CMJ_ R0YTΎ1_ZM9I> F:VB`e  ζYO(hY+b 6JgYZ 3>O3-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@[ns/Ɲ%Ot({2Э0В'q fN eZ#FW^[˹}SA*΃83[u&:OMJi-3YwTq#'V fEضʦTN$hm\3dgnȩAlr࿩yE‡Bsߏ!q2Mb;#O 8S Tu}@LsnZ9]vx%~u@9 Νݟސ}eλd!Rmv$(ۦ$ &p};zlN9!S},۽š`ɯPR͑lxOtxmt"z8(cVKf! d`6 {:vu†gq=HڬCa rzJ١Yۭ)?7SqQd!` #j/Sp0Xvr&^J*c4#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?+1A# 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[{'Ȼ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 ?.1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2/1T*{/^2OAhSR ŬT"zJ;,4hFkɹް)RZx[4d]lǦ yVfwCRn%?گ"]PiUD(?trRo`Ϻu/^ y  3W |]$m'{?D{fZ2_UI$Enf\o62=nUYl˝q!:Lv$k2WUlCljY#8A )VE@#i\Ħo式N}frK&_hcQKfJDwRrVs"*Y٪Wvzʬ^`ыnN'JT<ד P`@joE^( ĜHR,|uFm `%˻;Ǹz[yrq:z 6^] MoċzB@N#(-sB%t/FYv~ mRۺ- &#U 0W98NUA\T.zQnf(s,i}AeA@V t2j DI**n8HxB D~bq<>IF74叧ez1nȪGAˆQQJSq魳iHeR܉'i)BlgVv',ㆦpG_A#c#`cigՂG(Y)I:JH<dž޹( 1w"Vv2 tLl%6S8.g#\ FuJj%mSŹ|0_YTFSΒȌ$wy(Ԫa4NP$9f4*s uM:hZdˋ}-}Zn᳻,M)_*v/ZʳGXffo&!,$?äS/)u8'TDy<=www9WG11RN#dIm!+),@kFPO6_f'Xlԁٽ6[ռIaZ-r/'a\UXprRW `;3~8fOrg%BĖF/aՠ_<*%jT--13V몼 lm܆R}[m峧w([" Gß#P1Ft{"4x00lbǒ`IAclod ,iCiY ׹%r$L~Ш`q)1\U"d.ް^q"\J9U5&WonJD}R3Jw9 5WծJpV]6m4`AT2Pt"یV\lLưmsabswy' .O>vJ٠C s*5ʹ*ԓBWxSb>#soy1w.șX MN6enKToűf=qqPbnjwv FCgYZ -/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:JEQQ ~Q#x xy:}2O߶ll!N٭Sߗ5Ane&BS運rc0쓂0)Dq>c P7M#He㕭%zfߣ'd[1_bM4/Wɗ=Z|3s.pJOhHCStm Cea,< FűZCKIT1m-s\D'`2 niW#<+XX:-ٮJE*COTG5rd *m]@E*P":tt<R_1 Ũ?͐wKB, [8<cKYMc!%ڎ 3nӂB4eA҉s ;K]fY٫ŀz$0[bIP&6M~:yə?vɠ$"vT" ~hY&Ǘ h^Ғ[ǔf֍% AJe|"X^džl& ( 7L׆Kue?N ӆjo(Л0[G pbV V(Vt2Zo3Bf1;"#s2s4Q(>?ݔ59]Q7(D  \jo}׀3iR -@1PCk/P 0Tm.4\cT&WY'7:70 18x} \PdNU;As+|,$_Yo;is$pNjF8Xv^ )4UOHŏ7iW9nU@h Wf冈fsL֕@@{.xqYt&6|WX\4ޭ wU,EܹY?^/Mt\ݎg[@nND%|Jȁv-D栟+znF(qU8C9z}"yݝ/`tz-/pL/N[K4rrG7x0{阅l6='pl` b`R"&ZQmC@&b):5u0A@04MȻ-@<8 ev&@l4}5Ys(_V)pƅ<}N+/̥^ǨmjݔYբ27},Mfx9?M*ekd$zISת?Ww褢*ɬב hDB=U ΂t?@p&@߱gYZ C01E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3#pPo6Q2Mi2ʮE рjOZZ*[RyR@ơ:Fl;c(ԴM" i6Ɍ޿;o(ݤDF 9T`gjJJg h9>F_{||ܪړ%ޞ;xHJ)Qx-"bX?-(k#.8XjҚWrzjܼ; OLi:FE=7ApE?WDtrF=ULRb񳢒p޼{.aBD]n>Ij"̢_MmCPWc=x*_FI#)DaOIa0J0~0G̾x8k[8m=A}ͩsÊy-1@M Pdr8qrbWW!)zT\SԎ~sjK1q肈V;PD+D\2`^|WCִSU'Xqݎ^?wRMӻRiȽ19ar`t"\zA t5VyVNRvݣ e9{'nѵr 5֦qbb ܍Z .T1&Y As̰ePKR3|hgoώ4_U" `\NSjN,tp|9OՏ$p'U;R$|rJI*UZDYVK Dw>͂S λ֚ ԙ)+[?q> $[`+o_BNh=qfŬW陦j`>XӜ{Ĺz^ށ/ ϛi#Q>S 7*\*gIk%SѵƠz^0 \MzCXC?g?hKuSyOoRfj8t4#j~Xuo{b8ȩQsYC FR5,[]z":@zf6|b@eقip&GS/Omn,u/AjRgYZ}>@ M"H츝j{Z ~dG©}uaqII#W."Ɨ k0 OgYZ7zXZִF! b.]ŗXi%N^0yTL`LGhue*? *_r}Y "Peǰoճ9cRy< b=×0!gŗ0=R:%>!Ֆ(XvcG ya[0.k^65lS@On)DFbnxSoV#or T.r|%f>:EMεE!6W^nQ0;Gb象X`YSc3摦W?ۃp uenY+޻:XD_y*2(7PM#M2N&jR%ªxaBm[ԟbBH%RFx}ӤV d㣠ߺP<>4nL3cj m$Βb60ҝ,yw;Ҿ.B]8dZr IG##&p=xNs߲&ɊQ/V]q!^uhРqWh WɁd¢UkuC4oo| DS/kI;X[lx jK(pl6ٞ <{Y|41  #Hx,LaԦ">ey>~t}Wdfvp=0~UM,,>طΆ:%0k7ȩ7țjU̘jEJӓci-9Syvڶ$[aޏQʎ: ^ٜYkYpT\g*$sZ}摈1p j^>Ϩ`WV:{.iAGlxzhTqbZ+CڪI mX9C8JMibmaoV_Q\?{e臗^1]ώ-h \uAa6ce2(^vE6>J떙΍V n徠4 F!ț-HiN`p0,y(.$m4L:B>jIÌ׃3pFR*Mk|k39J)8_ADwZv."\&oarj+-i>=3~QW0T$w! փ  F sUI1x /<"?Az>;"r1$^$EYxf[*Çt(kP̈aGc]͙$kh^NQfIK&L` %nߨ5a<1[h,!gK/yfk"k<RqkjWSku ,:OƮj̍"c-PIIIKֵ= Ѡg?F*rr~"U{m^nKzSh5Sr @`/7hp_ s D̀ٴE`SU Vj顀9f^z8WW=E|jR |WEժuk]f[ i7i>T]}it[&񛿾\YنzDSoܒB$dyfD,Dުշ^0$KfO"KBabBOdt0?h$D >VXrv_E#>\=㐷hRgV{i GŅzy,ߢ_tЧ ڸh#϶0 y [3kPRGYS9oyq[QwE]~3葔z>.䙥6'q(="7T鬛s[vqG^8Y`1Ǝ^nU7$y:ԗtPɩc͊8\󀜽c[ bz[g2W0h/73L"\XlEEbP-@r^86&[ad&Y%gFL"%kڞQ]?4gwR|{. :>g򾢱98 4y$:^G DhlTM`˼Arl,Z2EcoOٕ[itdgnd@ 3^ރ?}e_K#68 +"òRǏ9)105DF1Tim׈FХz" GwHG"t;6%V?9@EAa8&+DLJ3^c׃LwHBՃ$Pɺ:4~WwӿK-3(+*U$-~5>[x`$61R;z2hp_ `m(+ c0Ho#5| NbQ&s> wʤ:iI74F\qIa|'Ѥs#^q͑ڸ2wp qKP6N\QyP Rm2=| ؋伵wέr\D5B[׆@-`Kmm %]yb^RY]4>6,׼? VH,u&`>l(g8h Wz=o4OvEK3k] r90#?ƫ="hZb vc9wpGLԦ$_!P*dWf:ƾg s}$M#0U"Lh`=LGU8[ۜ,!(81;<4'x{>rG_af,8zp_2\ %[|5]P:v(5*J ѧH7.)+9F̊LZ.?N*h-TXCv>ܒ؇-)kP+W} ~>ވ/qmy6y"=ft8[ 'L@~Ya>ʽ(>"^:\+ٶ:@p89Q\bp-xw8@-M?\gC@ Va:PJ+] ^҉cRŊ3 CW+QS\>AA@TpWmM ^<<dUiS1mb%D*nlZ QtF_H8ܱ~2YYT1T@O]unP0G 7Tn*Mlk5a`Ʌдٸ.(S]dKOu%ĺҢVz'Jj@0=#aQ|Jce,:v'#$Y1|>}=&D'?/䒟K+Mt mŅȶ/Ac}w*h @KvN!9}K4*;WpHĮ4@p]^N9JɕوK҄u<{8w%Uw2Et?3 %y( QGn"~|\/A"cN 0R {Z1껤X~G]7s/9[|H}l#ulqF u:o;4GOlx}CTqā&Q'S %sȭPVϷ(> `Q&T=wzy o%, /p 2(Ͻ@OZsnromDĂDO9(;ᒱ~װۂl'Nwd#ޑI~iuxG5׮ߏ+u,S'7 |},zǞB '7v-ٽXM/Rp;ZӸr:K A">3MN7 -NUwHŬ[@OCn$ Lr{ `W  s|9w[,NAEwr[~J\f_?n%jImW`l~jZ7 lB>Yu rVuJ쌂L46ӃƠ g65l%ܧiI&1|G _V\tH~G.1 RoSDfX,i졘9.ηMLBbZsWx^i% E,alɏMhR l橷rT2>!xnêo,epM'9ױ!vav#IW|N{[KY5>ޔtYZT #YEH_I~3^ 4`PZ(6r nO ;,PP\6p)D )cŏƤBO3\prJ̪$ަ WH5k03$GAB0kk+%#L['aѱ|jxFEشҚCW3];hgV'JӥG[hyG]o{M23FO&1D//3Pd̀$'t4L-dfە9Y4|sAml%S)qq JT3,m֢r0bWևMWWYJ;9PG a:|wnʨU=0XjDkW ~PVQr)<c%vx'<inX՞5Tw?`1ƭ4F,5R_` rb3SДzXdaJ&Q>@OUT̺\D<|ZQ鵀6Ǵgj ^3ށ>z}QnmXMFopϨ}I3EtF |d3u~r8>'?9Ų+$t,"L)?<)M9b]Q)VÖȚABJ~*A|^2P־ko60_ao]M`ۯDPtnB \1P'Ci'{'I#uijۭ}2` h3r|L7Ǫ 3QO2h2pgtAFJ?Zb'FHV|3Bei-=\D35q8F*w8&[SN>$7W`N(RQcZLk3#2$cxA}L*ԋwpZ">U$.-dȘlί%vS+ *G5ˬR׳)˙\ _]Ԇc\+W޴z [&< ˕n9ɉ[} Yި4z~UB\ /EFŧ8fEW՜Xy̫jaSb}u%47M@q#WkipGH-lYeܐEMA/fQ1seS`({vՐ;o+>'rs/Zx0ZKc*xYcq s5\|2< (cf8&j&P&o6]zqna{bnW&$]M7ۯK>//$ j>ɸQ ``> !"w57ޭ˧o9B2U ;랷)jt /@xSNoSg 0-M OzlaX㑁z 6b9!, қh`cƝ&ddo7 `$q;O.kdn$MP_0sͯכͲCˇ !?"; +Mu:#B=G(j.f"B`UpoCnגnۑ {F&nZpتտf.@5 xٱ|7Ua22ʁ~TZ?)"B+<)6^%w: ^_5J7毝h̘ dMchBs7>i^]eoM4KDV!8fԑ^o %#wWvN?Md;g>:^븙Am,CY:z9ݱJlR֯huSUDjEt0dp^7"ghOtYNf92ҫ3RW.c\Ủ[1 0$PoU|ZYV)ށ*pz&)Cݟ~;&4\4ub/j mGڙdZ-d(~D`ƮToTRqYC(;5|<2Dx{:x}!5(abG^* Q+'-&C>sZ{?EEa/⹻5" O+Haz*3;VNKl|w !{ʍu#Fg0+GG࿔ΞPZ,rT"$G?U^$NKo\"M¢]1J7J+qF+-\ ZaLy5 R5pl) !Lq3KZZ?)&Qo-Y$ڥPZ&C'p0+h]C@Đʼnv-0Yhl$۞2?)i#)c@$b-kԌ$M::OUsusB˾Uyh{C*mcÙ ?norr;}' B"w#u gecϛö́#H/>9:*tg|a;GnHgZ2:l{jq&Y[Mh)G1(Q1-qouk߮7cRVk2؄7v\Wal<=(zh3ߠ^Dg;VS@p z/M2{fZC>jRΉ+.}~dU&GYFX ] f?y)[m8}YYae dx$O1߬)) (yO^FFj63:.CdyNy0)HքOͶ$ŒY1&ÿCW=eѧjrSawز%Oۖ@8p)4[C&$2J_#rwdI 8tk"x}-3'yi D9ߊSN@~G#GcFbJp.\z.e| ~ʒFb49b>2[UtAO~]T EDWT6[̎*ݯG} ?kL<9ӄU߾8Y#W$J vʐ2X-ylo!'b+;Z>* d .CH4Z:Oh"i,{eCCKy䫆T˺~ÔfհLTlgnR{^F|`duxՀ+֢{ଋW-lbCٍ|Y[B73'MeL'Lsvm=[=c:ЂO(W|⊃&nDͣ#w@xU_<$t3B{B}R8oNNrMgw*484o0ic^4ݙMsc~ WnV\WX$NIW ]!AtѬ4!G$eL hryޫ{h*@%HGx{JQQEKή3NӨ5m{l܁E ~q,Gc&;H؂iAL8GqϻܞMDJ$eX'u9㕸Z:{JG`:t?,}ƯШ=V`]5bf;KÅ%d1٠y2_Mpheuk]Vc{:TIU8LT|.< ju;8?:i(DB*4 eP/xoY~5ɣ9A(' Ͼ< UwV1ط*rnă\>iH;^z?tȉvbw.ms8|X1LA?+ZnkĔY=,z r9mxp{'\{`g$B 6b[B/7WR_5zH*IXsh:W|}рI(/8& TpKl[M;mX( 3]5'iW4ʃ|ԩ W@}ظB/8LU"nJՏ7 |ֈ$uH]ȝ_#nMJU$\;..rJao:B}pZ $>f*DLTO _?:5|"/,Y ߼+` DwS.#{/4Nt>*sʎc}* QWkb& H'S QFӟwn\*EO%$@yfNQ_ 'ܬ9q)8vM310i6h_E"a׌piҵ׾@A{88 |]#mA·ල,'ֶKH`j‘'3_~u%z˭xSj+}归wkDe#|.Yw+ųvME 0w=!\!+ "K[dseťGqp&!7e]ԙyG1T&+iZ6tRݹcaƁ7mňljMKb C ku#pmY~Q$ -zC{wRO=j+`ӌ%bd Np\P c׶*gά+~|<0QBN='r̤Ctr cDUtC]l)#n<~X_@ 8q]X-=[2R4E4@W.ԾEcDs&0X>t 8F.H'OG"U&ƤGv mP΂n ?%@Nv`q0EW\cP:zGHf_=;(e/LP\>ɉxF-+嶡jMO&hR}\ ~_1v'%Ń$WC6#e腝A(mj/fҸم']ECX 14Sbr%НF}*%R`qM-ⵊ!VXz:)9 wPц.f7P]?쒋\!hSll)-EQnכo!v`l&_rK5eX\f5Y5jWqǫiH)7;ј?>.:!D AUG54͛k*ZM@#ޮ/+e -RvHm2א~bǛύkZ$ab3ؕ9ooMqJWʥĤ*J>IۗW1L]sgYZbdc153da14b1d269f8072fd5d209f52f32f2b3435d5fbfd4ed5fbb1ecf13b49403bac52f32b6abc4 120f0435dcd7ab89f555f527fed2a2195d4e18c3 c81f390fcb8706396242323f2680b96e62b3f303