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|4< ] HOL-Corec_Examples:threads=6elapsed=156.554cpu=513.196gc=88.0127zXZִF! ? ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7. SKzpb(ɏ$07Ve )>*uqڱ2<ћU4ioHH )mDU``SG+;r{Co&oތ'@lPw!x=CrutNX}^ghGym6E!z"j hoնp 3B=#:o{H"G{1#akoŵyMb-j42mnK702aMdwGC YqA/ f~\jͯh_5W=FsI.# ص~}ⰂX|$o ~¯/$N0qY ПҴ@.%ItK9G]v29Kݲ(z<<]+O6ނ|H,EQOOTYM/_- .jqpd4 _R4v2@e|g=VG#ڲJηR]Ħ= $}b)_y7F2f#!i. M497K*XYcR̲ e(*Z:F@I:o,~Bk'gs!E|fwϡypmèYlB1} d;CW&8@vM #AĔ)Je9+0Ā$Lwe1.TΝg;j'[}iMRBOV䎫<:J*ۦ2j~7)T5G8nQp0{:gpdzJ][.@$+ҦcpgHr;< v ^?dmZH?6MŢvP0VEԲ Nt0%WVs#X쯌 *b0\;T:BXNua}gq˸,v5UZȦD޵%X-84ڿؗK}Ra0A TA@;B%Lu!`5Y3+Uc鏲ZCyaܑ;$Aؑ (ܖ%#\S,>_;-ם+De;ji:sUAFd2WWN2O{q;?Y@b"غoRc0DXsY~f 7lJ{O.z"ѦsR{DA.w Աc6i_{%Abp׺.2p<>6t 7WM܊ 5 5@ؾfʒrFz-VL6 dOEj3eo@c'Cj73+Q_Uh]|d9S$X<VUKC($xF{vj 3P6jBmBokisHIz=/$گ ޽ ?$ć3&|+ onkEXH%UXԦZ?d-ˀP+{Rn])NTza]u#*g&,QЋP%2{|cA5рS:#M bID^/1{5[Par8+#Vd9B(6+{ןy+-@F{.wwM1r=9:4$P@&HG` B\QR_Xm54O=g [:{gMM2&}NbnT4|΅qi|BpT0M9"] MSi$ A/0ۭ(68Rs 6myP f"]v1YgܵXVHzb 1M5r} :o#94/ɡg誠:ei5]6`a1rQdЪ?IȱgYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧ȩgS=ϱ;(Ɩ!inΙN7@#r->gA_}+hNlѯz߬84Vng< 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 J) :Ru N <s1 T  m " 9 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_CPIDE/markup+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(F1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.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_DPIDE/messages#=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/markup"D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markup!F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupB1G'HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/markupL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.texF1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messagesF1A5HOL-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.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texD1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markupF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.texD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupT1OCHOL-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.Simple_NestingPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markup F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/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.Simple_Nestingdocument/Simple_Nesting.texA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markupT1OCHOL-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    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 O1I# $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 ³l9IgYZj1OC 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 '' 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x!s"*fʨoe"Z57V VRhKFRj-3h2}.ꈢߴ8y!G-JPi Vus,A Nf5s-jbgb)땩2؁Cl!yMͮ`@356`z RQ u ּ|Oy-@ LPVNy/μݡ£ݓy8^e5FZ&7"聉QN?}j@ٛE5VrT0 =J& /+!&Ƞh:x{E;t=Jc ͂DZEISb6+BhCEŎߤa%]䔓P vp`QH ps1zkBCk׭ M HMyy`9q_ֲ%f>Cwξ44zk`aԊpHڽ55nXuy|$(FW0+"B -tzDgYZF1OC 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 / /6 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" %;ޱgYZ:1S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! /]D?7 {?:fH\yʄ2BӶIsgc5p(OtX]Rc(|h`0 gm2V( BA%6$"wbUO@iǙuHpHR4T$ Y^& iV4)Z"hTpa@4^2JIUyz;1V4\sOM2h!!/oh.)bl#aγ7OqzcgC1V\݉L9,AbS ie_SYg9 5d7WRMPw3G{[w* E-6FDӌ=;%I_3jKEoeIFV7}SaYBwLWl>!qrC;νLh}̌s0|u{a''Ƌ%Ys/S[3]#!aml1ɂ_uGT4V/ćZZ) Va CY7e"gYZX1S# ,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ć2GD7Q>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ֱgYZL 1O' HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! wA]D?7 {?:fH\y.dfYU>~15ҫkN^\.Gl_~ǏBK8rХohes`{aFqn2@֟Z[ԁM=l9//;Y##(@Q'E1݄![1bX&7q-ʎSy_iN-WxO-㪚MN m,#6_h>øJ/)W8+[yO=Ě쑍!vDL6  k>'>=R $Ƃdidz4M4{ؚH B Q}-W0JNyuFTKL㲻+> {Jk#: Uo9pruJḑ~&DTݐ?HGUfϨxK$B, Kn >t9P_9?Aϥ.=C&<.55j~8X3eռ= ܵĞk]HdśtE+o^T"s )Hel&["Fب&@ !θ/5]+a<@g$oTz-9]uWKH.>-s5^)&jTPgo=Z+'xc^GL-V*lyC`dtUzBt)'J±%~997#{Rw~±`xְ2E>nZ՚ Jw ˞δg?O>g:%_Mcg)/Xc[5Ֆ4bq ¢[3NR(='CP? h+y;ѬIJ[(d* K-j__Gpp_^pi(I0s^J ?Y9#֗Fɵi=4(N Лa$u Mr&m}S7UO†;'p[wGkWժchbXsC6iM9G{fJVET8fSf֔K4C OZzfu-zӘBȾ !y-_*S7~{8궋yNgy.y궊sY35#K :3&ŝ v\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.6Ϥ.hY9 7X 拈*εP`:W: &]vyB; eUnrm72vȾk[qә#Gǫp&;!=GeDGQ.>AF]kzxHz w]ĎLb@G|f֗w 8׸xx7mXj)J.bSޜ_z:VYX 4j-mp͒{~2Ұ5Hn-L{= sʶ;8MTJeVéH`77.]#a!ZQ1cP\Ӕ{P^dtj٣4~5TjlchTwgJ{vFSж9 47[_w&#Cpvk63بM&ܜNc72Ly.wsOEVx$^{;wEբxg87UVק} iն X0 8fYDB)d}v&`&4㜇nIL̳HU@sr_e @Bl[AH}MӬ\,4pBQAT 9v*bOBgYZ?1A# HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup7zXZִF! ] !M젗OFK?aִB1gq9r2r<#Ϛ+iJSX*sͧ;gHZr":.SrjCUڜ߰:R6tGCgsB>MY˯k钂#gṔRnJ @Mf~Hv}kҵTc0=6 `²h&p*kA;f0B75|VQrɆO;,7.Cc#?1< ͋ 8qC]4dơF<)52If!V8֙ $vem%JpO0?taӸNMze* ԭ/k8o V%Œ(EFހbUx5Di-O-<΅oP?-t8x|Y}PL80gq2;^w=X׋k1uiݓ2Ai9%EdJc[%^W YSqϒ]k=VۈycXAX=A~Yʨ.`a11Ei4MYD!1~Ii |TnS`uF@{A$ XgSOO ldX [tJu',WÈLSÞ.Vs ŧS aBu 4OāEpXJIutL c {_8>pٝjV 8|gYZ q jqv1G; \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""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 PgYZF1O# 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ה .!&oZi-td}vNk4Ϊb:Eڏ=2/,aGdK(7  f<]9>a~KۦR *PK򿥘%" yR4&T|0)|.R'D:8:_um0L<0#kesLgϸg4@Anx9\㎉Px? 'PAs,̸[oFa R%XjA\(lr.dze ^i.Oض{)Tߕ1'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:ݛ%lIx:-]x7&ҹer-ñD3$t?(>A!`[ed2mW`ùe³S+[ gDSc#-'u \HL0fBDJe)TgO]2 ta"eL݆^ 6.I{'E0B=ՑQA¨^']'`5u60=lMOI> iRxTn5hƧ,thNe=ϣ.$6ZRs+saWU쏄5GZTJX2%Ay< CTתUc#{_s./ABTda"xTf8?YRȱgYZ j1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ  \1A5 |HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.tex7zXZִF! ]A-MՋhvG"uIBm5d|lT cfpQ$Q.>Ꚇ3QvʰQx/Nv~UGʣν 辩/h}D _ 볖B16aa\\&\vW*)=r^KlܠV8MH?VedOdD%e[!?*Gn=|= cMjIw8@(^`vw@xcE7/o,Y"{<$/81E.L>͸Zc}($6PHU:O}Rm Ra_!wY731dxBo5D }RDJ(0g"[(Qdc*P*c MdNeR!Ɏ 'n;=UiށSy``ʿ00 ~:=XI:2ڢK yw@>Vh=(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"RXL/"+_]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  Jv1G; \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@1O' |HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages7zXZִF! L5]D?7 {?:fH\860wBx=[}6k;0N]fkcZEGxdY]-O';ndz.m(}ޡwNJ%=5^8˪v^[k0Կ5a%qNKNg#îa=׋?0 xRn44􅏀=67c(D.0cFU0o;'MZ?9 %,S!٧9awc"d)E𫉿Q..d]Y- P/WJc)*Y#uMK) 9}, ǰ?1ev Nv<)ZtuTu 9|c)\1lf8@2r ^{]b P 22۩.5=<:xJ^Zg|ʾ.JL{OCdlU{1=Cnq=,@OZMsD zYJ9Y'v8pֆ*ɟ3C.tDqsQb!gCVf>7gYZp1A5 \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 c cf1O# 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{)'oGo/k p0ad0R8Ec2I$ 99#_i+Ye`<i'hR1bINM:ᲠwB WAbC!k- _?BpY@\lJhK~vT %-f o*mѡ~5֥easmsY7c6R? 7Zy9Y:X 3;f?hhO%¹{]ݎnX*X;,XA#^iS[ f8;kYwY'#ym2Ee5:޳4@-܁q~bhFҬn@,Y|!]ctvuҷNڽP_IGT|%ug(98H2:~ㆇeԏPAu+F=\yy;)*x u`7߮≿` ^{:@=9@᭘ ?kkD;%ʹ4 +TBhGl'Ƌ|GTphѴȋ#\e&8B Sx9^3o4hڊB[xf=ժ~9Uujo0DSщfWowq}ѮKrKD딏vZer/({9QS3H}_3?Gs ϩ؄e_%4nwy N-pmIҊ;~m}z+n|n[N@M0D$]Qvt;`wk_tcXiP~&]#z}~ hܑ zy[P^7 ȇggQ[@,#NSE=aBr=+$ǻ/y`=iy93^R 8_$DV]._2 (v"|gYZ@1G' HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I9]D?7 {?:fH\7cJsbM@aHJc?`},w\5\'tm}_][3eξQ,i#LԱjV,[ Ee~MC7I Ht[{V:>ӓc8 c=-pq˲cFx<u$eWNRun/ CTw"øMS0~(wP)7 }og\4ỵ<#}k_z1oU1 RҸ> %$ʾ1?H=H1U'Egy'p-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,C \ yg%S~/27S /GBVu~AT]VܹiYђWvVt~Xb?鿺.8gӛ,#!4\l_]臭|ZQ<:^>&Ϳ籨DЊk*6 w|w U/O>޸<'3"bTSYEc(S+0}:.Ώ,su+(HPgYZB!1O# 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:1r(B0׻H _.:lyt'5>mo0כ}űhe/bI,=í {z(/KӚM*;iq7N~% |`D)M7JAFU#ĖpS"Fk#t> 9 u^)I 鯹Ik|woW)}8Cd^eiT[T&%m"֜?Gv'RzK 'h:UفJrKlps';0| 8];,Ťo0rbR>5C `)VNrt*&0l-ꔎy14JӅ6%!c{Xa)auH&:X*ɥ}WwR.չ?aTzsT(vv< {DRu*߁a0t}B*vMIMbb_Ho8TH^S `4_ڔ?5ȟ˴=/Bl-4y3kh9PeE¿'唹qѶhO ;<6I^㿘za$w~yk\ |%&={щ v)_/l̈bY>YO~qmSՆ(w]˳ϓ:dD@Cq*C,q@t& $3ɢu0%*ם_j.xCg3zt0RgW\ipVK"~"DBQ7~W̮ C=siǎ2/ˑX6\Č|RMd1N&C&}>9n 4q3ݩ9cUO@|T ڬzNwFFn~/VyNZpNߘA֠M2OpK*u4ᲇ΃ [߉<#B&)jxmIw{1Wzn3xNY&!&jЎV!Vؔ~HwҎp?Dmy"3gC(H0_:%fŲԇCx+j%QQ_7͑)%Zd Y|sA@zq#X9Fl[6rltV uP-*xC;١r Pfsp3v3dvYd,E݃~vToeh5D>mHj^Cd IL-,Z$OG7 [pݣ28߳'o)}0hX;RJ+TBEd ( I EgYZ DD?&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[{'}PHFL4t'Cd121 H_2SU^u,\R_&f)՘'8PV*ՓeEBO]L2#$&XN' $}AeQ9]p"q i y. ?(IA9~- TB4KA̳asH+֗iD^~C$Se%"1Ko)>'Dp\{*L]EWvw;2ج®b&QO.˜KjL\aHEӆCN[쵣n߅bųB;fC3dtgv#馁9ʢS] gdӅ}EL*Ȩ̪7?p6t!{;Vi H}:z -6[dSIɛ5~ok`u1JzeC%%/vgYZ'$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$g q۴8Nmuf둙[B |tu{jݥ*KLVAgYZ #1A' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_DPIDE/messages7zXZִF! ]D?7 {?:fH\9ż7qvTz!P`tU+01>Sl*Mg퐧$ז5^_bbT*8 ^M|sh77"/A-MnP")65L6وd[G|Pe; HeNf:4?'tA{hb44ZZΒ̳6n@@Bӷo'L{Ǩ6NZ\HשX ~rU#l s67Ҍ3>>UE~旞LDvlRKMͻtxxthdo[Mހ:)%}BEp3 #ȷufZ9G]e$&iYzۉo*Ӎ LCmoX V!(&FVf%#RR_QF=u<̢lߴ\8g`%I6glEv5xvV(h96=R }jNA/W_4@zT3UF Sca:gF jXY r #hLv;Ȍ@mjpQp*,D-Oѳe-j"| VMw堨A<wvn?Fz݅Aeҩ ԿTk'#y=ha@ho,9JM2Mx+ a"IX5='m+ 5_~kx>8AJ\{Kjo)8v.48k $]wi'4XرǟA8fR*u.EzO'dopdW;,]2AIhO+XDuܥg %U|l BV9U(K,M4 fykcY"U0vTC<7WPn.E/,V;/3I'2Zwɫ{fƞLG}DY3 o[)Jv+Pc`[JK'C,/J u1;5Kb d a3xmۘmYgo*h=$t *OFp ѳO)B%~NBW]\f{  :Ḽj+ӤqoI[nnjPF9ι鰦t;1@e~A% CH- Y GyXb90mrgz-/ 8р rg{ؗX7 SNczvn߹0ʀH=Tj }`#(4n^qKeF5\rAgL7cͥZ%NגSǸ"cuɉg+J-K(Tn'NY 3W? j =,R#='# Ob^Fvt9[ L(˟)Kwq!/|o,DUF5Xǃ$Oޱڹ4-vB#,簇>ܻ,+L`U(qVjX=qO OHGTZ! Oz3$x˵DZgYZ  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:>ٱ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  覱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  m d,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#!\ ~gqG+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*1G' $HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! . ]D?7 {?:fH\1Aʅ؇+ WQ1^ΎGAn"#;՛u8ny! ,]㤗}d*i3:,p,d=6Pdn 9KT(Fs:ȷ!rYELafr|?I]B!%~$U]k1_gvt"5(EMQJLy?j,S1Dݙ]hH[ud90c07k|DG*>T7u jd*7jD0O1)S,| M*[ yDM-P%;/5j+H@^yUh_ tFR`]'gYZorx9<&r{& 0{;kڞt"Vݮon?LAOA o|s׻΁={ytʬʲ`.?qfi/p;R"E8q.L {ڐwr{spPדtw@Z!B`~<'b ͮ.d\jk3{舜dIy~k\.ʧd: .1 itv noXSo)0?iZZK_E۹$juPfWho"ÈdG%N4%mĔnEs'UdO Ja7"pވ zmcVMHbvGH:O}^?d+9ɨs? DۀkW SSab\o|n2 sb4 $D˄@:&\.aM z!viMй!㕴6hv,g*R(QkĀ9%#'|0gb K+4u;갻b`6܋a[y 0)_ ڙYPZ`(¶h? >Ȼvܷo#0҈:X "0 k̚ZH=`}7/4Rܨ*JE?uKKTWRr~,d*Z#ro&{̀Py:4SQNEɨ؉W%l=Ț2kOwK^KKBN }*Z,(>bL}%+b?o9W;/y;VFJd} y]"&Zvf`TЃg7B(mQ!"{S7BБWy T Ƕ⁎T2@ޢZE6 ge XI'z&J G _'J[8#d'W-76 oQwNН >49GН禁Cf.jnDUos0hJp: l?  }v3r͢,@z~#i`t]Y0bOf-C?~0Mx߯-]I58ƹQO@k)i`9qJ$F|Bb@?Y'y ћ}l5v^&lc΂h? <T<۲._vTw"34X0-;!sϨ%t[E<db9Q wN$P}7Ժs 13{523 ii!؝C zgu*1I+AвG? }TxR;oTkIvHl@YtFʜ KϾY˖GhJGa<#kؖfaSK ą)IW[K! 9mYzgqcS{*GEk>N!!J}.ACp.*mSـysMB#XE;ٞ,rTyL9G,B'":NBN6xƴSZE펋C]W~$eP"||w,vəuD&Ԋڌx@$r)[67dt)HE{YQ.πxyj:uqdANĄ6A0 e;lavhR˦{%`C>E`G[F(-A-ձAPr⓺ڕWм jZ0^_AZTuCpVHVW) (M%b/F=N]{mөO)`09Lz9j;q=$VZr^xVjQ|'K"{Ha©U Qpxl~=|ÎC=n3KQbR:31l)H5=| 8/K [-w*Brj w}թiT8D _hKYЂ6[ǨޫbGEccRC|SڪřZL,2&M\va3Yu 'sbI(٫k#v^-Qڽ %Yԋ"y[N.R*$m ٰ#K}G[iRSH~o!eNYaQrD]yހM7LЯٱ<դSBDxfOyzqAITџI;rȗ)HD%#Et*ob>p:j߹VgUmA,-EZΩ yxjh^01p/ϽhgY +txuh_+N[׼taBNʔQcm=X$шJ|E3 !hq(Mӑ"Z1]Z;k5d'q[ giG4US[,YÙV*0IJ.JR" %5v`J z:5Pc~c-txya[K c^%޵ a̕\~jҘ\z[T<EaY|P&G*w5{VWwX'#X@)@Ľj\t @6_dټ]#TWͳeQ@Co占+t@f2)ȮǙ"@ 8m%F,Km6MVk$O[|<޶!s]a~mgqk4ơj/]sH@/f}aXC`ӁΦm! m9.N$5|˥$I2qEs>XWڝT*i)9DeK*ݠc7i.5z$Mq":n<üP,LR D})1I..tNZF4x:!VјL=jU'~+y4+FSٷ!c8DN7z-&ƚs>Mm)}buttV2 q<>v/:P.n\]QUSv \\?q;(eUѷ)KHQyPSAoJ-X>&3ed[>`;+(G<}iHP(]Aַ&w}vW' ݮKT4l/]%S>=~^N1B I֗ER|p grvFД6ȌfkdXߞ1Cdf?aDnMU{I"Yƽ Q5 2 `A D**2$ވ|ĩ՜v "zҪaokۀN<=> W)3 n͇ʋsm'+MZHK$ۑɱ&Tݐ/ h$**͗gYZ ?.1E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\2,ګ$*m [ fhНd({ ~ڝ4 mxpRXEaCaqM@ldRUsB"Fo 8b1jT#f>dOLG(w-tAS<Ҝ$f"ǽ4m `WUf÷Us}$v9v+^_Z{ӊ+Eg |Icϖ'䇨=0V2qg9z`~??e&3| *OFը{U1f~B!|5.ړh '~MR0]ᮕGd5d`Vyd~yOH,j+꧿cg7_0=~Xī#UB+,8rm=0HWy17yAsw60R%4Vf<ؼJ\xabmK!vM(cw=S !IcAHQdΓ,P sSqWli=-如H|!Ny=x+׿t[:{|ݪ/@TLYU& E2\ϻ߁zhumspʈzA?>SJs2Vn BټKn'jDz$':<0uU} _J",r/x8u k<_=v&QNzņAt> \~̶.&: peWZRpcB[T0(&W@I[2m7sd)CPrx"2":5I9O #UG7AP\ozK846ƠϵJL_r|CѸwlbK)qj*K[lr &c4P"D f`3HPSwWFA,s2Y P dұq*dthDy2ZAk}>ֲ,gFs)E=ܔw/zQ^4:Nv͸f+0D :BSkb U =tjI[GB LiYV0/Q)Xyg]KUn;<(+h#jxqOusz2ǁޙ(86dqN[b+ދJYߕCD ^6@C\aW$FSIEQrC]wT>o4Ĺh#HT-Tp(n [^Z bi5V$9r~EO]PՆLpT |!}&@1 BWhRSqO9w] ]0b _Ob08Rl֓ kCGg&, ZpgN"VU,Soz TwF=2IEyenɁ^wQ 02r3ER@鞘^k'Z.> ]d7W(!.!+&lS#`فP.П!ZfciI; c}D Zc_h醃ypE6 FCgYZ-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~oKnQ?\߸0fTwZ&ennߟ\_4QьWȚ>`eyՑ%3)НǮjv(TĞ-?Wi<\`H:6ZlG`jT #:^?pm5UN?/H[RNyi{G O96y̔<9gZk{}[jJ(sN\9gYZ -/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쬼H:, +Mv}s~Ns2lҺl1Mחep`~p r߹q9 |'F'0j8{qv$YywuJ>q(ZKk+X%>V֨Ĩ@YgV _'*ՙ5\өm=o95 1 D 1;$@Y# /MOp}4%!HkI=ʰҽUu@UZ$K{G]Je]v+I;cyublXpBX s[VK0ɸփzv5$W'Eq 9C13; *0HVzL57W5|qՇm| -KRAz`] |z[a@< (f[zvX %xV>Cu[T= ȬyUG0XU 1h<Q`lgBC%K߮T,mc+139S{Z0xȞԵyxL*? !PPED~oިЕ w!XL_ 32J-ZUIŖ@}+izii/CXH*io~\ $P&*Sb tw:O@x׻bBOFJtpGgYZ ?01E' HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages7zXZִF! <]D?7 {?:fH\3+9ĵo ~ؓɇ6TIcKoyv*,"˛`\o+7.p2H-`NphǠ*&)q[_~ܺËGm$ eG+IdJ K?J "KNȧ)HG=8 5_49$AYq._ `HZS6s{ѝ檌J|":I9lm?0>9&l'ڟ 䳡T=AX .M~#|Hz^I®F^[d3moyle4eɫ×J<BΧ*\F:81v:نZa@r41aJ-VyDp:7xF '3bII$a9br|׿x#j|$9?jb2*cN/YN-,;jM5^κ*R L:!N9'I@=9R{"zۡQ{p)/AIO*06 5&c^'ll:zbR=H90QPOQ_LnOn9U=:TWHt*)f|rtGrV]7+^ѱ z?ݝZ5xRL6MwϹD:]'\j,{srEz(Z tM$*6N6.xćnM(}%"*x9M$t U ZdbBa[{꣼SҀIdQqo B6ݓNw-KBL4vy$|Y-6;Bx.MyI 1=LP5¡f#"hA4i)0vsWS_W oj&}Ei=Ubr(F a¸|.ahS <`P]e#@B)==ԳX~N.,dtqF)ʣ%:@Ыf%*`lRb^5hHUh^TlELҫY}l$~;0fLbUGI,FJڈGk4C{@ػGT.L8|]t~aAI_.[%ٵ /FTg+jό:+*m3I 2&F# KkcW.kՓ$d 6CA]*)f9>*_S ˪0V[sgJގ܍16˟X3Q#շ i䛎z DfH%X_=-~K'*y#+\.?=_rYDZtŲ]U/t#O%ku|y\9~|ÿ֌xr,%# J(#LT!?sQvkx;/Eqtf^U.UX둬8. F3718."~K62 Yo*R.^?շ@b;nk.P+AKw~ЯR+S#A%Dm9_il3G8 z\wx>g_!h(0hgMһ10Fvi1g0. N÷8'9 ¨FhL6!L8bli{l _؂9D~Zφ05;&J&SnUZgx L%9cF;WT\:@ ƶg-yImuz1.շ4GbB{|"mzv4VDSD<xS=(DE6|o8;]Fs0.pYOI-J~/xH,݁ s.ST guԖ'-rפ{NMxsGȱcŲK&NvD_w`YgYZ?Ț^q*V/$H;+Θ~6(82c(GԼ2ٝ+N:' 3&2>39[~))L~P&3AL]ǜ/7@W䇡9WhOC p_e#Zy )#k{RAK-bw% z3w-&%Y7at!YLx_._~0nRSܑB yr/>#aTB_ c|3ӌ '9d#/)ClJ\KmkuY=5YWtgοvN;h-HהRߕiQ)7 #g kWP*Gw(+~~[N‰R7K(01v@]uE!_6u[|{}VPY3=l3 DlQwyV`mren`cHЬ/[tvYbсql.ޭUsN_=2$Sy 1B/@k\-Y8naW*e 6SNNŠWhUlJR'3 v lm2 ^VO뿩ˣ/>D }>LTV'T~/k; oE2p)np_zL5§7& Sgy#-r)L;WL9DX0@&3[si@ J7 ־ªՓI=` cvT=0&P@ XNohk \^/4+.ݲGLD@Es{*++R򈝽=UYi$];"M lxԏnYiLn\ ԑ:2 4;L.}!n7Qig?tY>{8eڒ*+TQtY yc+¹CXh;Գ{3@C*n4:1*voxY0qiΐ%0BZ_572;| ,t8([oV/7ҧBqٷ%JO2_  ɀNuW9^ OdՁ% D֛upLW{%~ʭ ‹X5)Q?>fhEцv||eJ6o/Q0SM]5|-1O+/[ʨ Ҵ;|0'_p"f'72J}.d:Vr x iK9ZibOceH(M`SyD(>c$e=1UHLRuczWUb22+>b>(4x퀺!H ᝜7VHI}]v'ٸ%9T˼ .%Y&X-f*]^viGYyȋD jQDHN2NLZ|"`9ς5Ŵ+t.dmI /B .&P5=NdM'Q'ۤe9ը[JTv]PrB1QR-}SJw \3ZȔ3iT#=n0#y@ȏdո4TSR[2e?#>)čK8$Z(#A}.^oY^#I(S͸|-B\:',+kVvY^ף0]0w:܋0{HT}ZEs0@=?LC89h=؉*Iր;wk)uPEHX1|`L]LPyX~h˜#0!>ȱ=E-VۿjB>#R=|궁ׅskH'wC"bKR6WҐ)tr+ q<.KV=^i:\j*gV.~ }3k 9B1MXj! #OڍG#?mK[,[0:9V8\X#&TPpNqmNN9 Zx/DvU:X73CPUw=mg7 ]u~(-W%6r@r?[dnK@9qi C^:|LΩ|2xq?9'A^vJqI/x3U %# ]om_H$75\TOi<6T*4FV ׋ٍ\>-rKX3JRƿx@q [QVˤQEU+%у~^I!bژr62jr~$@nQy|IPUXv)1N(|Y0g%ck pD]:JbK [$I-a) 29˳(}kP.ᵊ}H"8aimh ˆ4,-x֐Ȩ(c@+ĺ;btT"}~oB Xܤr ws%\6,qK ʂ]Xn[/5KxVᕢbC:y>6u=:K=e[ Y;;3֠cvHוlf[ו.kы( zc5abSptvJ iRbV (i$o`C?EIqG#<$#d\AZxY'@M1ӄ0wv^B©~]vip V(}j%]d/ʫwPUen`:B>EEcX~p)F5WIcLJzi{(v iH",,BFO4߇$^7B\tT[lp,N(N*B\(ihब`ȖA[#5;@EYp`[̠NW|ش?.K(rKo˶1<[ 6;Gb"νN0Z?(M87VbX.•c2q# {fskPPaq_LZ-ɑ̮!זipbW tUaNAHс7ՠ_dY473Ǘw/Q w)ي#x'E"RU)`щ_tu5uI̛ž_}=?H6,\EE"زrϖx$`Sc~GR~A :)޴iNc so[;6୆NLoif2\ b*ҚY""[} NU_AY(i& "%^z3K2*Q< ᓜNW'Of 89tr 3_N5j NM hEuJz\3ݎ.9Uj:GҠ @3$w2M]US5SkzꂨmwJ/Ԟ Ic-=q}5%8*qGbus^8"oo [<\PF Nr8--ԅiBBӗllVP8P6gf`ty -:h~vۘjW(ѩⲶwj~ }&~~"kB`.^ b)`NHZ"}S8Hԡ 8~:]L:h\ O1.{կF\/gab6/фp@Mg @LLR]]y7by T "g1pߜ{4EjeOg ủ? Kƿc1f#a׺GFXFП}2u09t-ⵕç?T?Igi?ǦK#d{utVj鞘:lB^=I 5^ qXE8 /(*i7̌XlvLLQB3^ OSamB6U^Q Mՙ$ВtKN2tYgۜCQ#IċK$_gTT\0B55y *ڜ39l=l\d l Ǝ耝gu\v]NyoetT$7nvD]9e/{)@@aUWl-ƞpu@dbX9[:~t*E]ڥIנ~MZH8EB}^a?zG4g\;mGaʏv BJ0}XYۼ ߹ӥrIL }wX6~x,(?.! 6qE0:ԭ~u(N/ڪXO{E -lΊ-{.ׂ+! cgKJwvvtq[2(>e{»Ԕdϸ~%Z9+t+mcFsX Lsx/xW~jT $z҈ܠ=+&y5,Fx=A!.siZa6X'ڏ)>@kKye>aíY,$A,IÙսi soMK}q|l V֌崿{[ƿuoR 0&Gqҍ _. i˭ŜkިT8Z2kv,$קҶu.%U4>k` яjlsF~ kO#nPkH}qN|e Yp:eҨDM1a7I UB9<X咬 #x4 HI)N0nIÉ~DYd<Wv98YEMv٠'CVC} 'WRZ!nUy't:oע%0ԁeo6O(rl2մ)@&3YmRKuN-nrVe쾔uYzU&dT:2 3ߡ-(VS-K" bu?: 5C 8S:kc,)CĬLhf$O_OC#e`n*rCǂw1CEaCERi͡yΗ.ėUإeQK,"xЯNJM#ˀ(uaT{Y$12[,#<2wx"mP"_)G\hC%;7K~)4Lĕ1 %X&[U=40ZZ@dTÍN>IdRei0˿PInr\" }K΍'lcY6`4O!^N\쭨60")`6j<`߉La/(]_PapDR$m7H~mߓ2Aی_ ig8$(5dKM'^\"V3q_l7YrM? 2T//|w U~^WgvIʐdV[TāM?c6ON_+p];~kyN:d삇9RR3VHӛ[SU"'K'KS"~5e(C (fX~;* Jw׆z[l`\|GpyN`-Da279vK ;Ib] y*{}~p~ZNɎv^52r\p `gЃPmmYڥg38ZΙl tY{&a=& (&YM\^,VRaa1ӫӐpW2J~q~zB>l.&P_]dt7f.X%{\Vc2Kt|@S'jT)#uY beLeħ ȃ, )0)=$j1{pJ=W"9oCWsWd|+_Q CerިAEhMSl!3lfANl 3wwe1HwCD4>Vݳ, 4A6xJ*Y$zAB1LdISIJgFkLN^?D ;P4E0̌b%W5V껬~_\8_1n$P<ʌåH6h|+ocH >(T A&Tl;wIQ)W Jxt̹ ~{Һ5ћ/][76xWaC$DD5 $ۦ1 +[dK$]<&|_˹`z*>i|A2;~/3Jq;1~5ܴbJɃ},MUBKwnr+*!fl)`A,1rWI`8ƜV0*EAb;h<c[l'iE{FԠ$[Nj.K@I&}CNtk-U}XJư_lJߥ{j[@^=s4[W6fl#oH3ɦꗊwbTs} 0&44Q,&{O4_97 HiצgOC-˺h"4! =J}*R{Ľ^A?>[&.@4V>p x_ޞD=E:[H.sG')萍1Aae؏QwIGGFL1ϝUgVvfᅜ#".TֿQ (D5pvQǒ F 5W dR=c*|U-he ]Xc8ɠTB BIZX5-(qN-:@}$:N!0A~v7BȧK| `ew5pyI] Q`bI$3$N7]~OFU.&LG9ZNdEbYvw"rm)Wg|1~Hzȼ^?>#ӿl d^pS4&1*82_O@Ț_mM4$=~MV$}[)%:*`xKBRo6#l`g( )y=Ktnq, o Qi=V+.JmEjmt3fn(xSX S<u8vZ# =i2^#<.59 Q)ȐKDUZBf ={XQyTwd07X|hP:[@ =kyH^Xx.ɦ f lF0tbǾb@M$>,/{LeCbCu]fY%tdB}N2B,k3c&zjME#uN"YZE(RS:jejP Sli{h({qEr|'}RnQpkuaRS;god$2V%Ou RXIޟrx,]y(9:k `&q~EwrVIeIQ7F/)4Is|;&4ˬ]ւ*P9ԎA^(U^r`%~Y50)%O~rl,P,=9y!st,vfƵ ~qxPO]&w!q)7)xERak>&ڦ J3U S+d虇S2"؆y ET2̙ASEQs{.\s]A [x< E{ʺݎJz, d}FT(j`kԏm2J,U#8=HjcfCwL_E1 mIcL;ѝHQ  9r0>Xc Gxp!#HR؀hUc6 cUjN BEOEIOQ&Υ$|ɠbYp17/q\7J0Y_>= Q&x&X,#d(ncɆ^!sYSUݿF푾_/CH^ͲYs,K|?H 0g|skCwC>H=.sYZe-l8'Be=z:-\)='ci-fU~W"hEGuG\ػx6*3՘qtIfoҿbYЈ幩XF|~*]yLn A3%صH{JU_ NDW:P I#B/}qQM/iAquzYpJNSIirg уɣq9n<Ӹ xz?;ҠLLh}řR&^OqPNC%iH;%oѡ B٨eFvh?u-HIɻhщ] w^_gYZ9400e8e7cc9c93bbd75fac9404c1837812313e65cbf32b635c328a6095a45f5c01bb1adf119ee7c0 bd89f790ae831acf5d43976dcc41799a9f93a1c7 bd84e8a64af63f81a84fe8ce680a7bbb7edb1778