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=155.576cpu=510.112gc=82.8207zXZִF!  ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]86vRk_z%&]$ٮV7^0 hAP¸I ~VkRH٦<;vr@run(8wJOӾ.h Y7IO?(R>:TfvLJ o(n WoBut[sP2M"ϿA}tδZwt IV`|r;@Z|ޜ`dѵ {lK=2-d`9;ynѷI}/7RDC05ZaZ1bh@u1 0bo*^,#i@iя^S:h:Z5v UzQ֝ʚ'&Phϕ1 (JKX*g`X*Um?0.ONl[BH'ua;ofOXʨ%+R$2 WZ ˲G{UI!P}8+\UATA_v'9YWBN>xE QI :G:78¾Lt/k`0D(ҠyO.( 0I&&fنҬ*j‡yuĚx#@kA6NU2*tAg>}U=QL?ɔ %˝,#Q&u{,)Wl]z'i3` 5,ۓ7|)dw=o.| XB6rL?ӦCfG1pYlżA$XsH%m&&-/*k3Fɷ8$tjԛO-%A3 ONBԸw]>r+粞 8VH8eƑlp7K+Mlt{ln]xV21F9jb\V{(K>)0'哆uH"ZVaڻr ]wfCIps{+- 7v{vrZ)F5lg`I3`mR0Рx Yk)=.o8,w|dW}e"16(HwdиjHuA*)|9hT4xIS]j9s-$ zyo Aw mB*J %Phpr42DGf}>J/~.Y .w$V(&VȯKxc:^1x"EO'Lv9yll.FXٖ$?yvi0at)1?_r63 B .k䝲 3 b "/`~4Ư00_fC(z-l2}}1Ĝohpb^E}Z)`k90F]ؽI?!cCb\.)i8_~]N.>y(}X))EjLp_ڹLs>4^]l_+'䱜)788 (G~' %$fqx'gd[-XiȢ٫~cΠ$~Q-JLZ3bز] _g`_͌CGl&liد.mfq[Vͷbh920;3\XI҂cN40(c=:|,Tpo%,zJ쟩S0~ZпhlWc[25VS^a;^ ؓΉ?6 n>=j@&:gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩ y dǶv%VX,>W2wgWYntuPOo>km8젂 "7)*m: R9 ;ۊ 3"02/q?T  1 HOL-Corec_ExamplesX1I= 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  :zm  /s1E ] X ? B x g )( [ +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-=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup,=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/markup+J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.tex*?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages)=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/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%=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup$B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages#J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex"F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Bdocument/Merge_B.tex!@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markupF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupT1OCHOL-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.tex?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markupF1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markup F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markupX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markupT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.texM1I= HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex    X1I= 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 e 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x"A\|!_9#R7YIVv Al5̯ |[j5xF,\]=l)ŋ[ b:bjۘK]EOS~z! K*J$%7f]0e*p]"ڄ׸-XE3H!Y$*1 ^^yE ah/d{hP~'avƿAʼn2 6Ht&H@\mjXJ~{UQEƆs8Q0̺>ȲɂMuA|Xp pBP:3ׄ8|6r3`2W]F>aoel֬duHS *HMH|JG̳:)vxlA)rj/{w\4!cy^ŝoVk0`k_V5r/mK 8$YF#SgUE|3]w&z wwV^>6lZgYZO1I# $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 R R61O# 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" %;ޱgYZr1SG < 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׈lgYZ  -( 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x7ض>ۈVzg='u C6IG*>nQ,Pؒo-r!{4/Q 3-(uK_ZkQi09 g_er6zUJpSR@_1fJ? )߼=՟J36?!T?{ҵ_1E>x8Fސr:hy@-t!ƫd?fQON,&;>Y9JQEUBڗdhR[*KPM-ئHz jԔ*)OTب1re e΂!_c\Yt$"1> |BDU$R ItƭZ8>'6CG| 2T. S塚mz?3<.H`]U>G{ظAYMkP6S2PIo^wKIi?klʪշą9yʖZʂjv}Hi+t!,!<#JWoNi%~PE'<f;8c ?.h2WU:${/FV{'/38 eVw.:5;'*21wFC95I-݉Vah(fVJEP9?LN~ş`SG` BVEg="q 떴#ubsڱOW)Pa\:aL"Rf ZlT-}6dWqcEvGV.K÷Dx׳EwL[Xִr@tǨM%Xq.g?xR8E)ݰnt|ASG`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ֱgYZP1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! wE]D?7 {?:fH\y|"'cw55_#%=aWcmҧ]xt䐼R%í$J=[0#-w` WvxYIVq T.BR$zϽ:H:rkFʱ\In Kέf1ʑ#)9NۈV Nnn&o;z?%w1rR{Oȱ¸UL+DILU/U+3k}&Ph8v56mOaBdKo$5 ?|1W)S0Ӎ_ek_R;T_G#؛_-_c';O00j-0z(i& u;T8YmmW}if \r ~X!:=afC92SmS:ꘅ69&хo>C-+UY]e~ƛQe7l'Ź'W:y'_'F{x磂{R+mDwEcX"'UgKzsё iec8RLlpݒ%iv) `YΤ>c-^R^^Ah_Lwys5eHɌLN7 觪p;)V"hp,}t޳?.br4^u ԢFܾAhz($2~YwR0T_ j'<lLdpF,i2<51ھ0%HH8gyO2Ai2KFx]C(6 j Tm-DHCt'f!>ȒXaڏ**KUP?ˡm*TKɝIG#om{C&̴`+s~NZ/-t位O"wf fI'7O13qԢMڑTz%d2hq}e6O0U= ^}F ^(׌Xnd`̌r&`W .EnI Y >(e7'L ]`;(6>Ox4ȣ~<0lse)USYTcz0='L(8/k_ 4;Zk`,P`I&YQ R~EzmOP5l/WN'tc@^>d 嬨gYZ  6 1S' dHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! +]D?7 {?:fH\y_wtyOGEݙj텍S֘=2v$h]vAen!^!RT=Ԃ:.Ɉ}OΉrcO|+iD)eCC_I㧗$M}*ٝ$͊?7XʥR S6xUɄ@9MQCuuǮnX^ +k컳+/9I ^1ړQ60xaнµDd́LWrO$8b!p{ p` T܌}YY)'𲥢Vj ZbU3Լe`D .ǩ+T7eXߦNW!s넎Lœhp&Y$#M|0!{J\f7ESX ziaxڼf8?^!@fx3"x'ɱ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ć2GD7n 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\yC(*oVv.+= L*[T }؜1I> l& hoFPRa9#DVWí>Er:X\(µ1<ݟW:IԲ; ̇42M6rk9#ԯe"Cq MAE= |AG=vJPd_YßZVT! 7BU+ͣZN H~S -k5FU xB,[6X",jݶrn*c.vB9[u,i 1 ,^᧎ݟ쨵{ 4zMIZVuLl"CRfZ#%^8\:|T:| EudCx,*Af6̐j2R:x~Q/7_|Fp`%d\Ys{nb(mg9ž^1\fXo$6[? ndot!'Ӡ#vzQP~z7{AbggYZ?1A# HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! ] !M젗OFK?aִB1gq9r2r<#Ϛ+iJSX*sͧ;gHZr":.SrjCUڜ߰:R6tGG5n1g:|"dFCh ŠArƬTh Z9ٍ.-EnЂ+e1y;Q<\kWogϸH#?o5-Xxn(Nۭj_uZ mSjlߐwtA>vp<+E-=EiHMp'-tlRU['f'`(KS]Uʕ[֨=fސUޛaej]9ă M!99ϴY)uG`{riOF-ԥDA]6͘ˑ|'\B9'S j#!° æ:hԾx j_rL;w*ܿoXVe`>Cw5Vvm)Xeе\6E*+›ʮ;ns9 _43lAd)4jZrڏj=]ih8vH\rcq=nw?oUPF y[C4=`׉/+BsgG_@[ vgz #:-l^^TMӷK2>~s.֟/<6P$z tw)X=e 4I֒m0^.у6@z Q)ڳosrKINv~$s^H$.4> A *C 5Ƃ<\'8D|.*$F^eNv ?9b\ _p{J|Rq@'" S}f %R GJLgYZ 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 E Ev1G; \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ܱ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""gYZF1O# 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ה .!?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,?ogYZ01A5 \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"RXy_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: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$1O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\9?~lj/mX .ԭLνϬ, s+ǧ$sQے!X~?SO3Lo:NYĭjH9,N}0.6yݱE^azP<Yck,( X輧c *\<[\D҄=_00qTC ƻtfH-Z `fʠ49D4 & h ='lI_B$ĂPa ?pF#i-8JM3ÓH&volRٻf ,6+=ٌo@J_ >rҢwG!@94&:qA\""n`TuFe3!wRK^,Jo[ `:Yy-dcB3P(VNUS ?iĵ0z.lwb==pDFNⴀ|-+ў+3eXsMT/.C=jey: 1-4\fszlc7A-,Ym24?ꇟgYZ1A5 |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 H A| H@1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I;]D?7 {?:fH\< Zvd;\;wuJ&޳ƔPܗE]3xڶx6B.8 <1whnEex~8nHp(+n7;{gج&z.lMmU_t m7:vw/ لDQSІܦ8TH]տhVq4R!4c<`O.0Ry8G悂μG<˄IX\Po U?U(9m0(߭Ɍ"Oi;T'?pw09umOҐݼ" 3~ \(tcutYb[tBˬ) v7qB-kߋ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,ԫ\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:1jgYZB 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:>ٱgYZ "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  i  %1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\9>N.:@lJbB^?<9`?P/KCȑCf/ONt p w2wbmUaюXf%މ7a(/6;Re"Q\suB^hOF{ϑAIFЌ,}`i[ŭB}ؼgJY&k' Zq@׷\|?Brae5VDZ*HƪmG>3(ioo< ץNAдS(˜ |^)dOtHzJ&1v/(Ka5J'O\q5Ծ-0n*̢:9#fB!vdT}>n5z+2s[gԛĢL 0no!*"uZ ͮ lmJeN.XG _5oGrPk5hN$?XW l xڭ}.(MI#G3+ͩ DJ╶R jFٵ)=KVn3!7|yI :jEDSqK12nftCtA'L㯢E+fEXɏ~bQ^Qɶ,/Q PCحze|ѹSk޶xC]uBe [gH* ~q<ólt?CI/1;߶'xdlI*n f8,Q/.%X>XVî Q(3ٴMȣDr! a&tfRqji3QڪC+1e8CB!kFV-R\Lj #܆рM)58񏥝Ȭu]GY=zœQM=虵^RcY,Bja4&AO/uc`f}b g>*?'!T BGc8?DQ%ӛGxZސI&LgP_,0 [aʉj *W #xsI*!\΄y3a^k[ R:L٠U1{AJ.XLxPo+˵xڱgYZ$1A# 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^nUCiBHc/I*{տb0y~-hlD+4 BZkR# t*vHIjbh>-eƾnVpPL{W]Bጮ.aAw|:ށ]Y)ki0UUQ{Cz([p7+7O1xV^<:y+Kd!„O-2ekxek"7g1S3-5N kXwKS0B WZ2N.+dĭo@yy[ⷞ5֏~GyNҠzEk[>zǬPO*H&%x;&BQ?wAEݦaRmӕL9q88  nyX"VhzQRmИ QeZ5ux:n5nzLX֙ѧJ!<6V?g6gDwI#ˏtU]4 JgYZ f f'(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}?I6״ۼii7}rm-T#: .DlUqgYZ'1O' HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! {]D?7 {?:fH\2PQ06=B(5Z;BYZ5fb0`'3K,c'Bog" P㊭ Y:b:EJ,㦱d^cw.VBQS- J<1p*\CA6NYdT*׻^݌0XlNW{W$g[OvVAOԺ  WCCH47L^94#d_G7-Tv\eRp6d_<Ph72ޭTWBqD95.o&F#| vؔ>zRΎ `Li|B uw r8N!-}@\eMc[rCrilQEnOE%fA:c8~jU)H-0q"\kDI>LVZn'4HT) ޙ]"i0@!EgBbpnVw?zD6!Ӏ:ifއJ);)0 xjշ~Ԑ" ٍ {fyGA {%ތw $'g-Еz!AޑZyuwo?*OQH=zE+B9o=Csa!^]1 4VЋt nz^M-i3>fIPQ2i$/觵4ԢƅKEl[d4C FoO_Vu&x902s(Xf;u[:g4plVyYDa'os*u~cg <;uQw3n^쟇eS ,džR?Q/@_~"7l\P<$Ah0je j (Aԏiݶ*$93g-s=$ȬLu#"F1nh)7*> &M":oֽ\O˗,SedK-Rz ?6C"d>$!$T!r]>`ܑD8$zzU`COM.+2O 3i0eYՏW|e~69 ׍gG/7F|HcR=)Y89渔~J,Lđ<Ӈsogr現:"(4 =(uw· d#g؝IXV8B*t!X( btSؚ&j.;N>]f uTî/<*I).:.X.t-Zl< _s77`Xg 6JgYZf&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{)'٧hU)[-bl]&V`ClXpflF%2ϾXr=kK9Nu5pMyaRg7_VF+D9 _ȇSLiE6I%хf!<Þ]Y:HSZә/ L$QpCY$a}4T~M34E@) |@ l@2I IDN ǂ>di ]qlpwoF+64g׳d84$OhNх?xP4K~b)SZr/Oc&E~J46JR"l !Xm Ymlb ns)bpEODMk#uQ(ɈMZ*0 f=#k}K d:GO ܁G,OqF!f/}SoY`!܏lf9/G{ce&.i߽g D4\W& 26@UEfqӅ7K'ԆUλ<.~_*&ΚdcGYg+G~“[A fN~ ('agYZ  DU?,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[{'~]QOo6J#{[ mF{7|R+t # g)挡Sq3iT8W83I ݔ&^VBx&@$0ht3o-h\E_H0i"@m?AIk; qrv0 F `3x0%?n8Tph/dQ$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#!\ ~gq9)1A' |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! 8]D?7 {?:fH\2g\QD9Q $d5㷘)ק \-Xq,1z3d`AY Q()0`9Wex$9r.8;a^^ }tUcSZwއ;5"VPmN_dܔ5BBr]i:Jy1ʄh,{y\[VPKqfH+kZV@|&yB?̰0,'nԿ =F+tQ$ I]_Hߩ>>U9ԧF_qbJ OTZ};*T_RTpd> W/s6Ja”~eb =8>5MqRsݿRHI:F^Uhн/z:~tSlnqXZ7TLhu* kr|OzBsc9w Ú#0% b8G$кP wMKZLD]VDV23%]{ù%4*x'hcj]TtH9Ȼ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' dHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2*kPp/ n~\UB©*N=:\>H'jU30WY&*{ご@NaIJF!߳n˴l ̞K-,GN Uhc>FrveCdQ=f*eM^vӟhqcxJ׉ءkAH1#FH2MYRZ*1 +)dh+|3T-w|!7*E=zSg˵XMu$,[ 1(6oWN_\QȼZ8(4ch"XG!]G׃q\ef\g#ߍ)Dj^ S6@4|`ՆU~S*s$Ą̌G 2Z38t$OzP2x`Ջ@*|911̹Tqu)Œ(bnw,ȬB{77WT8_^,j @Ş_O'Tx<}ZLx}xwg&/I[K]Ed)l&M"zi[# \_RQl*%p|#(ɵ ۧr1 RB䚸La:25U |&) 0L z8{un#.rxW2){4jPЊNٴ@ !k .iht /<́~gfY/1dHOoͺ1v;DK0[D@yF@TMn {ۓu76 O`'HYv-j3%.:@A(Z :9i4P@_FQf(A@[W/oP0tĸ2KC)(@e࣐Row! h[i20 g3]G3Q(|I~%-9?YP4I(rl0:LM 018t;C}%D7-*=} T\S< 1}`k}v#Bk$VNd4FuoȐj'n$}.RWɧ@cO+mѷ{|[r4ofm$%le)/% H7؄Ϳ M-yPNֱPO~1arYr8μWR<}7؝Vd"Euf4M+w.St0)4GC <.dCWtHelh(1X68MkbxC97}"#zP^Ôq yUdwSEtLtOį)]>mp 4TXL"V=+DP^3q EqAaFH+>Z9ꉅqag(JqIB: yV_,P?]0;|lDQT OVUU6+Ar Ԑ|-6N3=8S5Em)fFVGu Mèa?çsa*n7%)2BMgwY [҅Yr6XTNc\"T"_B %##nrџBHrfgjd7::C˰`51!E NDx@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ʩ\s+?~IϢO|>q,)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:JFs>&,Oy`GOL>Di.,)o/:M4' q?u__sf#R`vTL E#Q~)mf f|:m# _k?kgB% ֍ȡ-[Bޫ:RB)!p?-M, sVw5q @5^gu43cr]<WIӧC:5HhߐmQ$9dt5Щ",DyI~-qBBʛ>̃y[d7fWqa Yv`<ڑkU˂$ͳ7iˌE.KɺZs#։1-n! ΦB](?0vs8q=IYbX -dG3GK`7Ό⏕W[X$|=q}1|$&x9i&yE'EHzbojI$~ ;.rq_ _-: zZ dq#m@Y9SgeX(y5[XV<ήرanµ$24_2OXOoݭY)Obyz9Tb9+nټO`ݔ=@;4Y4$ɷKp`Z:8d53uzUUHCjOuxd𥥔K-V KSaw ՗^l6Εg&{-k#=-*Z fIuYd\n$V6"IOm1?H/@S?`H E#$B=^6C&W,(J?& 5iSAҲ+=ZiUb378ħ/ܡ1w[׸r}0}Az3ݡ4~:ݱ^kd_1;@CRHiB)QNY'G.a1:!5/-% 5Е!Os_k1B Zm"#{+8@x O:i=s!szAOV{*7v*dDD._,gy#\k@pM.gYZ G01E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3ꂢ ӁimpRQ74cc+#ԔeDW2}M^y'au/O103[ـD!ȅA0 Ai ǿsbKXm25#,Jp8<BsB-9U^p,AcvILUc|QcN|bxNhg +Nz! :OTw>^11XrK] $k;պG+jsR%1V,TtS>ns-1c:.ح4 "fMլF7;PUnO%2Ded-6{11AZ^lXIpvcPgᤱg/Zk4qyGLYO,حn?%ͱ:(=GopUW&;iZv|'mIu][Kh`f`]9;&0Z}5H>ԱQy:qLi;Q'p<ba_2U>(b.1vh}O?KЂDP9D *'R5K[t1cyhL1ڶ\MnNdAcߤ1^pZkC5 2* xkgwB O 1ul7D];d QNv. tրl$ 3!Bx̬,Eɢ5Ϟ#!li#ffCV/sC)MYy[7Ý||#e8`5+I 4уJSvvO2kg?O91%x'rɫWTSNDV&_T n* EJn504Åٻ#-T[̱gYZYk9 wPx~F>+@?{@2vh{,df۔lj@BA)~:0&┦? cMm!vFX-VH9i6 LƵ޻%:웽Ͼ\20,?ߑ"Sc ETӹk^2`ͳщ*:D[Z[#80eD6¼1lـ 5**e%bTjJKSͰ!Y6,ɢOS )HIN(yFq}1Ԙpa;v>0kEOq6+{*3P^)4 $Jn\ Xlӂ>ɩ +  cȝm.9l= T%H8'%JZyVoeq*6Et\Ru}STSw鑉 1$>H-48!EeFYP!&!(zփT{}0JTI)jcpmQ3n;mB#~X: nqhZ{D"QbC5 e/'T+&UWg;@'gKxg5f5 ghoᏙ3cW|AcمV֚E-t^\Y2PQP@ѤЩYf|WBa\(g$jae0k$cMDD_G멢֎=#v_s+:$##'=$Ҹ./ypxxӖ,hPw3Dy~(sL]荿d#( ȓ[0W[uvk#l6o }PcM$ɵ!:X4F37d{bL_[6#L  n l~=Kty7{ڧ2g;wW, i)G$t͑+(IW ۵5Nc[XCinY06BoB SR4Ҭ+ZZ)sq &-P'3G\?̡p#!`Ռ6_aު2;1%'ĥ*L/ >QAd.Ɇ۩AؠU)>opVq+JrJ)~ܐdPM%Cۣ N+/kQ?<]J幘;<dl|"6^%V$tsgsyJGx=?>V@+&nEb$=[$=;/=5G~w0hNU_g>~/M~WhP[h4%sڋDB[9SH Snt!hDEw#UCJ$=hEZSHsLPa )WJ$Ň~݇"{tr)?N>q3e#Ȧ#Ed"J>}"vol*CcI 36UϿP(\@|3]N.õRv.jK&s2.{ 2&}Ts"_40i֣ylll4U쉽Gu[@&|6 heބa?hX%F~nҘː$D[%soOy-6%Ǽdj-͌<'*L% 72~z\5eIN4a7 'rX$3aPD^D/-K77ѡ f40͊c0ٌ"]n~{@9(:P%HdZN'IRx0r=hjъkp I#?LŢ[bKF0ϖM'a$9zBݰc(@<`1Ѿ\4%.Gñ2oG Ɏ8n,>s ۓG ڌtc2 Xs&&A|(!,56S<2j{x.F!.@SI4#*8g'T"GL$Æх.B& 0/ T?Yo`3|8ػ<}6ba*WsIM m! .L8񼫸9N";Tx<Ż}Jv纺fk5~!`훂QP vТTȷ8`IE۫v),{367SB|+Ȼ־hDUň,KY.vǣsp<06eG4 \Fvgcp1'2| hۿ$ZRs@u'+) v  (i@6a ;ߵ.\Ýy垈]j#m9À8%::Pg“ɾ͚1V f[{󅂾h _c"kE7Syx?^(y]9q"FTq?mA m=\eߏ|81:|Ky6>+Wꗌݵ}-U "YG-ρ֚a%վ2߰ݬ#2嚄3a%2Dը$HQ2$́@gC-XP_j) Ԩ-N.D5^fFvV~Fhϓ2U:|֞?Kz* Jc]ah,ڛ+LܲB?Oo,-&%xXިHaB$41ℇxi $Z:tက~'e#2e`^nw3Wln Hh΋WR:RմE4 S)Hgn7 g{hz7V9l'8bAJ,V>Oov&!+#`itmj7X67 Blq㬼p;J#Ķkd2ΤݷWC؎ZQ.dZa\I?: xNK|WXhQ7l31M耏B㣲r>91'$EZ-]ک.1'vC ~m.HQ؂ *YXcK2VHPxۜ eua?qFŵ_F7MD2lOZsޟxS<<$15i3z-{/?O{aVņlCx.Tf/*|"+ŋ("#ݿu (>^υ?c>h#A_ He *xjPU!:*Y: m4YiE}Q%k< 5jT\=o ]םn {jSH>žw/Mє/ܦwH FEȡX>=ÎBZ@&/F+_ LT5' W\w5KϨ}W{0JeȨd4@ǯ50bdtCo( ܇;ږ󚏴]CiC/ *xAJgqWn̏DŽ1T^Gr"6bڛ^ ~oFRn_v8_;o20w ̷&ankg'[ֿG ^IsN~!(kCl?o0?|f P\\ث#g05 Td:BD 说+)Cɯ.vLz=\8OA8&/O|w4%8V̰,LyQ[ -4%=",%q UJ߳ )zs Җ4ݘԉ&+&=CIHH:Ӗuiz0|I*·yab3;I@Y%fX}qqRy mCJb&odΧJmr]4Uls ܋a-:LRt]{N 8.KvMe" xi}MReBmI'p<|6jԷ7q5K@@!Ujd˒ ˙kFs_{c0"пOSt740o( g)?bLz/'T"B~jYԻL4*#dHQp5IǓ9ƫ=9Y0ά Ǣ(}cK&vh1n4]\_:KlG?F(0Oɬ|uCPXݛWX<"H/4kkQu9ϢahI:-;G]j @eWS3D1ﱕGH8]jefdB!TK:>$\Q6$CmNsCI1сL4qcR`s8BU io(sb(Ƹj%I?w{W6:3g\ء_0E$S1Nd>7:zxٌ-2͢u'~bCb#!jflK Nw) v`p@g!kfY:GU6E'av_܀٧B/w9͟(T_v49`i^Ȑ`9{=H5|K5qfӜO>pmP__~ʗVD[RDԙwM+_ x&݊Wʞ.pz`PxE;7h6PeFd)z sT{34эi.` K9vJ?xM 6{TЮ"5?{ Y/nFƼljuR ˚бC}QDJ\;'MJ3^ۊ<>b|'[-~0 iQV5Ƴ,yx-|Yz6gH 0ْWr$iv6E)}QԆ ~\z!(0W23'uRJ7oKMͻ}ȩ~YjoBF)=ˊ>P})?$Ǟx2FhUpU謔47/R?r.E eTL9h٤5\sa.{`.SJ a(/dFǍ~g/8 XOSFVߋeJ?EHo87>I@nw( EQΙezvZzTeӠ}27zzu E\8&[B&v~oy"!؛x`2>B\;b?ܥ-S4wA5:CJ`{%$e6#eֽ}1Z!<ZE0hy4}yA qi-/ٷ1 Wh4eψ\ƚh`~P 7^*ɬXQ@{UFW`AR Oo(6EeYa'%<+&Q}`8ў=0a^Yy}*ۘ栧OB%$bK:n>́ED&ןM;HQrkSWXP j#Υ6P'K%LaR[<=hn-S ~7]FEe滯?FV`X̂wG>LoO B,~1 sT;1w=Ӂ啘)p+f[ѸZZWwmb]m^ n؟Z +v#'—\Hϙ9ȹwS?I1q%#YOuH7#saR_whwW\HdDCmzK(MR( KsYUo '=3G#S-G3|m,&,Vg $5 t8xqkŗ'wMh@31iBgdmYȏaZʏj}kh(vb<o PW`yU3B-ۋ*CkūW_۳J*څXaRPIL5]F\G)Zlpjb<|Pr ;Wjl6X #/L7|XBtkdꐺ \5@H`~WOi$5N5ۦ+ ab@'U&m@R@fTM%FJ8a$KĨ8,]8NvG4W 0z̬GOiX/z A/7h][OZyǷDP/pe;IB)yFU9Iq8(xm9m X'umff٠cwqF&8WvPbH U՗fvV~4-ҘpIjǩ+luɂU!O9^_G>$oL)D&7 ء.ЄĘDnprf;C(IeNLY٠=55V9I314J)mBxV̫2`MDp+lCnBMDcYMT@iWo}Z}QŠK]^* />BR/;‹"C.$#$5qїT bI[bqrgDb(F͍S5("0KKw~iЎ _i b i:w~>ax 8.nV2u|;$¤gk OA19O^yuz}4\v_DiϵnV]'Q'[ 6NG8˜oF&M` kYLkM3\vP$KD~{<O]QAhb,Ho`B9{)hk]c0sHt0n ٪az:5˖XuǺ@m˚H f=mpP\ ֦zK&S/ؙמ@w8LͤCX`/8H S<(GyH^oXY0(*}lYeLS#Y?ď+ |\KѽZxr,[v$a|2-_/&JjG 5{ &/ YA_E:8d;RoV slW/b!M1"VvX@nR):?ô?*N10RH:sf5Cѯ{mɇ>mq DGQ 24fO GVQ&Xg6ȏnvg8 ʰ3 oxx2Hֈ{bdjĘԡpfG?\x;=@V!: ɝNJ!zé;Vd߯lEKX^G)]tm~"A4Ű'P`o`HEO؁MQ ]zDM4vp1u2*ٝ]% yu%Ւ+PܜŬ#?SG~NXݟSwcWbHRoӫ(\ c[W}[]{t 6tS_:J,ڛE)mP{LNܐ`uz`'G.V}$%ΉgSp]U9/Q-.}hNVѣiC kYVu:@mKy..O+ƨkRF̠N)?4/w̗q.\f>Z\TǑBiP$ϴ|-7ڳ7)Bv&YK㾹Lc1vWP:"ȄrDLhٕZTW?P+FVni+S v(7mĸ`'2i&|/yzTNZ21t2%—ǚ7qF6K0$Z5s#lZ:!t,(.1Q%rVFIΡ_<$Y!s!T<ӋH4DʂK%O2TtEwx\З-3GWڭrF+xlx/bjV c5B16tْ5?!?Y Bo8={b}jܐjf+`AO\oY6atKA/$1Un:P>+~iE=w3Z$YKOH_hW|YUZx0wH VU(3^o)K:(*SnT@4m i7ŏk+D!Fvԥ*etztbٶbn_5S+AǐT3/܀Rf43ۮiͨD(JH);P` O}FN5ARQIA?x%$hv__LSt(q V.^wr+xޤ=SM܋Iߩ6JwVngk:bH8\󯜝 }k:oGtl ir+4WgYZ30c4fb197f0bcaaa5da31f3014c9b9cd1c9dfdb57d9fa93b580f7b2d4f1fd2f547b350a3fd1985a1 51090f86b27d57beb37832df883e305949dac6f7 68014b634681a37c5f9601c23c4e1c06e0a2dfa3