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 WW1|l< ] HOL-Corec_Examples:threads=4elapsed=429.979cpu=896.728gc=140.1927zXZִF! I ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]8?D*$;pMkooX5b;K8pҮdm v09Jn]`yLjE-yA&0ojC:`hwR 6Kz]~Axcʹ\/90z]SAQt1u,qls?mL `PO-,R_!(vΨSw;6\ko:_llv4[XNb5j ?oJL-W$)ҍ4Yң>/֝&:p noYgH_|EIE*ɏɔz g4F/H%ۋV|ly@|L,^w "D5{K=PT47C xQbID,CMJ/'u:}J]-4Ǖ?ٰu;Ah tI 3zdTjTU0X1m$Ѷ-r ,@=/Y1.F'aFSYy4}&}ͳ߯}Eo1W1G[&h;zwQb< G ;%c:؋AR8p-R/VseԌ8w%S&IXG4=Goh<:Pgdz, Y~%ɫ&:PN'馥2&ȋR Q 1Y9ݏc]bp65?M{!fN͚h!^eo| rXJ%HVa5 l̵r1,AhJo`|gciJҫAF L̈}lcxK;dM aM 8Ä ~xyMiO5^=ÈAA.CyIq@D5tx"nJv0E#'@w۱ /\8Χ9gOwn>XMa»QtL]8]~ruцLMsMlV`ЏG%D/CaW'aOҔ(Ss)~:X}YzȨ­~.k#T')~I_/0 'v`~o[NzPfg=QΡ4;En3]Zq'_a^?qCfydtj75adkI>'"WC}gLxs٫ ޚ[)kyQ"26=\ a gt)xs>VFvAqxj֧;?S\7lIW0}i,{9n\n}֚ GUGrVgc/E"PZoV䪕u: p=y{$ 2!?js`D:vkq?[ -c{WWz.-VڸUMm˳y yD#9ZW?ׯX/dxw$K$ux1}ѝG_sd+)OBu8ϣEze-O3@<Nm2MR/ȺX6jD%&{?{Gh{FQI@gEǐVIL[XZ\$ 0%u̳q..0  0&rMGtUx6l O9"?u33J_OX<1ZK]۔T""pZA t{d'w/$R!Jb@Ԙ>]-, cx 1?׌+$_l%+,$lԜkef8 a`Cmc< < AAch7](b^2gE;y,Pս_0Bkj1Rf*r< -e7zF*R[u^p~mm L.G!mzձS0@5+PE\h狤}')6'9 JI7>dJL5Z͝}e=O?iN `GW x\#uɥ9 h .yJO]J[{ F T YJq.Ї~20mfkѷ8Nx%}b׺GKmʁ: c/90*=s3n.bM8^Shy-=f~nƣ+AHlF IAoG2 9q}ĶtRgmgyvj \d\75*qǣ-;_z;?]Pn1)Cc;t}\V}Ǻoɼ649 uƧ;Gb@`A;< skxSq#vm>əJ.iryI-+<=_R0IgPUVR'5OP_n<>G4ɼF#ʔ[gYZ7zXZִF! ]ŗXiɟ1f˺o)jT$̧Qg^·SVϼf>(نg^p ᨲ 1S_Q3f|>-+ؼ| `xD}:`c!H !t `h#l8_PxkXP0wC.-q 3J!|a+b=r-FfB D5kwQpxlWH\&yǠu}Q1X+i9A"WE / 2.o)(emʄ+GViTB^>$M~zSUΟ3l3[ kk T.sC.@ƠJ~ϊ0.G~}]׈#=@[(i:wYBp8PG:{q𜷧SÊ}͈UC_jPB .óg 1 HOL-Corec_Examplesj1OC 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ﲇ*{ecvxF5G/-,*($"    0q  B UhD};A o - r- W ; g  V0F1O'HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/messages0D1O#HOL-Corec_ExamplesHOL-Corec_Examples.TLList_FriendsPIDE/markup/A1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/messages.?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_MonoPIDE/markup-B1G'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages,@1G#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/markup+J1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Monodocument/Misc_Mono.tex*L1G;HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Polydocument/Merge_Poly.tex)=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_BPIDE/markup(=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_CPIDE/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$T1OCHOL-Corec_ExamplesHOL-Corec_Examples.TLList_Friendsdocument/TLList_Friends.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/markupD1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_BonesPIDE/markupF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Cdocument/Merge_C.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/Merge_A.texF1A5HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Ddocument/Merge_D.texL1G;HOL-Corec_ExamplesHOL-Corec_Examples.Type_Classdocument/Type_Class.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/GPV_Bare_Bones.texA1E'HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages?1E#HOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/markupF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/markupF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/markupJ1E9HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Friendsdocument/Stream_Friends.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.texC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messagesA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/markup?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages =1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/markup F1A5HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/LFilter.tex N1I=HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/Iterate_GPV.tex H1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages F1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/markupF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/markupF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messagesD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/markupX1SGHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/Stream_Processor.texT1OCHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.texS1OC HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/Paper_Examples.tex   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 F1OC lHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/Simple_Nesting.tex7zXZִF! r.]A-MՋhvG"uIBm5ȤP:*_(Dgj`ٍf,EmS~gWs?#X1g#[N\O]19'=@2>u{Шnm?D_?l9DVrMUX sƃXߊ:b)$52*T 02McݙrizUevQ-4T[]tݧԨАK6$)qƟ͗ͷ}ݹ8g4I;cQA<zf1yF/;M.uDhwܝ͘͵;PCRD=uRKf3T]?0%0bj:w;ͰhA +@g#߃iޓSo8Y+=n!9?0 qUviϋ/t-wOֻoƨ H8E*$㑆H]A>C<>r(/\vCdm'a\BTĚt!Q*ω,mRI#Gd N}\p .qå 9*AaG^.jfX /mP;/ħd yNTAʊS-Vզn H^rj!PlSЦ%s~LATDO -)ݷ3^ JMmNm;gQ+r),!ZjL#ioƵi1\yETfxO` eA#eBVȇ= $) ;`?|QHmF=y"ӏp;߸\5+/;D-9G[+-^a 쿝8]RkJd)VQK0{8@sI &qa{h)1e%5+惽1Z1=u$`kt.v1c,(,_ ?\%9"'F@pيYe>fEj&P-mGLDJr~A|&%"2*awT: xJ \Vv )/ CbjԨPӉ@u M6*[vԖrPvJ̴akO% `xD܅4@s yia}nlVHHm0Cht!tuc'* ^sUE gR#kE5 _*Њ+ZyU9Wzlǧkr9 i.LN6>> WEP;դۤ:qX%J NMד{9ďz#ٽ1F~3Fdk2{Z—i̽_Q09ד>"ps),#@T7qM KׅgYZ 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  =81O' HOL-Corec_ExamplesHOL-Corec_Examples.Simple_NestingPIDE/messages7zXZִF! U]D?7 {?:fH\x9g.xXn&ba7N1{|t?pE|sTIK6_\S,m1<14br4T"oX:*] /ϧ?_ϙd,Q( xdmx`  I)ln[X fz -ƽzFd^+^*'i;Ƨ6/hސkH@2%>>Ր:j]N DAk52'Qf#|bK`="NnHo! N"B~™nO[x+ʪPY%(qŠE6bm0\#S@Q_Hȉ4Y8BɊIP> $f8Pȋ Vt J=ݼJ@ʮuyE5v/I-]QjiDaC:#My{Q[euOB&tZw%@2kQYIbw!D8 A{.^ <W4%R5w6%ʨN3^Dl3/tT6еJز=蜳*\|Wk߃ӝ84Ȭ !o vO_ \U8۔i>RS5GТmVq=%fQ(bԍ{6ѮuV%3' Gg,?X+Pv=[2\F`8qWI w$^z˜򇨴x'}{,b4MP4?\r8ز$NA|B!q@;1$ifa7!&5F&A]N0_ѬmOA9]ޤbD%.I#M, m IH8X`7b g^|8M7 }gYZ1O# 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ֱgYZ@1O' |HOL-Corec_ExamplesHOL-Corec_Examples.Paper_ExamplesPIDE/messages7zXZִF! w7]D?7 {?:fH\{PfӚHi)ntZ K% =.>>މG<\Lh1? uK%>9~LSOJM+ϻ/xc݉ ur#ߜ .,Sbk]|h@S[81^@ ЛGqKe4RlpAip kSaqa@MHVD񻈀 Q7/b)_"gU+1NӟEIռzT>D +E~>h@c;y_}I(jϊQG51@ n3DȬ `f4/7PzfJAi/B&f\6z)):/nپ ǿ xfo)ճƴW6 )_%jZW(P[Uop!?5_=4q{>t3ikN@JY:x`OYjMa$%Qi‰ٴ)~"nt* t Q=ɖI7Bm]2[u)nj&sE^_]zA^y >MS3k!dңeh\>R&Қ$,6-;Iѧv̿ BKvXOێtS{#Ԡ_S8H #EMߧRS-D# C+19ǠҒŜ:O}ϛo5{}@[~fD7h!l:*;sT:1Jdj5dn;k眝6~+mbەR^DbK贊??{7[Uy!Aihqk1Sdݑʳf3k M<[йV|̰`947P m jw.m?R篴9OKNw)}z 4,F|4Zb mA! vClwó큐UcӪ]Ϣh.+8L)YyR`CsW_*sX :YI+ Ε]PGeLM 蚘. :_뭧~8'7h`6׭Mf'+Ҡ8'Uu WnwyuU.rr^`1AfOn"*4.*~{֍s3[>t+K).G3IUaM &mN;E!y &_,nP"G4&FGgHEzlK C gYZ  X 1I= 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: 1S' lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/messages7zXZִF! -]D?7 {?:fH\y.p*I/sVᖑ'M y4\-<\Q4N ɚ{IWǘ=yb_S*ϱ+n),3%N 1ȠWYݛ- l>:cx h8I&90xG*ei.q[lg&cc^)444Iilij>9UPVdjbwV҃!u ,$X,(O\mo{#Hht³7({\0.Sg c (CbUIl7]~@U{Kq~;ny뎓=ճy}lCO!<wL:Wj,삸"ļUϽL9d M| xI% J& Hk\2qcA= NIK:I-L<0|"9% MQo)itKZ m-'m2.]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  T 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVPIDE/messages7zXZִF! ]D?7 {?:fH\x' )i'PeYerE6=6\8}Ыy}-~F3R(?o_j A[3SÍc (y%z_͢.%Vő>DtN,&|so4@$,-3w?¶y2BQz1XMҢ4>fj=óϖQͱuQ{4,5^Z`b*`VED=CX˵% 3msQ)8,U}roh>D4/u3=i#<[A Tsq2]1['ŭ[ܤ{9`wG(.YiԨC!k6CB,ik~?Lo/JMɱ,*#X.yh[o'$3fUJ!^Hi$JU_}*/wm \Dt!ܢmgYZO1I# $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 ³l9IgYZ 1A' 4HOL-Corec_ExamplesHOL-Corec_Examples.LFilterPIDE/messages7zXZִF! ]D?7 {?:fH\y);P\<>:AFҭ<8D?j H|鳦LBe.*r,5G$r VDOhpqT,1Nncm2MpfN刺3Dɦ YjkL#RI5<;`ӻCx SBZUR x  i@Ux=^XfpZg{Gk \TCw5%bXTAW= *e JƤPH̰&dRˌ>,]ߔc|1p3:&twW~; i1S+^LK=0 24MV:D-3# MeaE :-gi56eŻ5xb.7Mu"x.H[gA 8+P锽`!cq5oMCI/OgIbʨ|/l ɣtj_,2kN F!7j7'@>Q俺'#痭eZ:!\jT,livx ̩p즦'X-M2jF" 2j Ԯ#/ތX%:4ݡzJJ</Sp?AJn.7 WPږٚ +a9O ȱ/T|觺8oM޾Q: @bܹ5pIg+Ep:ԓ8Z8,}DU:1gݸ.:0Ƣn9K~h,*qeGJf]Quh& ݧ.tPtC"yʱ6 <`}22 5=3<"z+>f48Cc)jLܴ I2;?O跈]M& ~@ۦgHA ekc^ MT 6; KyÚ!ޓ n^T&ֺ}Of@m4؄ 4j] ^cAq5w )maIѮ,^2A&7  :%VYF'E)sXQd|~HEf`xmI (dTśfU5`Ct񑸀iS0R3XjU|un',N?JcVfM vb(d.O?V ӫL_[.Z(iB ; 6 cۈ0'ٿ(Y((PUcO@tU˗ܖ#w1D*HbRbFuEy?c!ͳ 8|gYZ bb.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`HgYZj1OC 4HOL-Corec_ExamplesHOL-Corec_Examples.Small_Concretedocument/Small_Concrete.tex7zXZִF! z S]A-MՋhvG"uIBm5ȦI%}2ÌHGZ6Pq,_Lu?0r=X-*rłJ=q"(%.4m 5i` 0o~>{vmk 7Oqc1k+`%eՑ"}8, _6 [VCsdΩ2Fb׎\A+Yo,a~Yw,J5%&^v a[ǀҼJ|쀹 V[=/~tzwzfTӊ@d+8Uo4dnOQ~T),ޒK亳)y/̊9 snϼod D7?쇌X}-??cWY/E/}&BeyMjH=U4=H/77FgNkP=+P9oӁjoއ8zB/]:伇a'[6)7>^vAJޟ=ְeg 2'xVSeFQ_S0$$-?̯$wFrlW)9>Z-@7_;lA^kqҸ4cvW `ł d?D &a50[Ȱݗ3ٓn@0i7M=}5j!}'`MF!dެ}87D}Ituc2UE7^9(i;w1Aa(} 2;z6iߟ`ÌʧSq ` ^;dQ@>_G=Re.M^'׻qcY2)`&NF93\(kE/VV4SÿMh#OF2ΚWFR \#kgܞfBU`'qw/u]a>,i?#Rעo0݂_JF^@#5[s])\j4yS (7MZ=y:*ک`6/4{z}6T+;Jft"NJ S?ǬZK/nʽ2gD~0+!WFk&{Wulki~8_ Khr(HtH Z4`˜"w!y_@3 -HJ9]b@$yu@a[cu&kgpiud0)~^zP[ (% 1U0%}-YQRmA?˄b(,g;PaH$Z~f=,c^SFB)_.8vЈF 0%yX'Ŧ1$> 25h(&FUYmHi >O-ٻn\W.qt'底EM43܇:vJr|"dLbV:>m-?5a]G&p w_, }3N/E_$<Ϊ 1lJ,?ogYZ 1E9 |HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polydocument/Misc_Poly.tex7zXZִF! $`u]A-MՋhvG"uIBm51FbhK#|Q}k@ My:YÃ&[.GI]:^"w*?6IWqXp(ߩh!K6cEUY@*GwJt`+ mH/<<2u(|&sz ܁c_jH*dHY!=L"SrMLץ[ pD=vaY@5mFb=>YI?b!?x@KD={0Lj3A̢apc^ra@"$fmO mK$pQr4Da>3keR-(!C&rk$L?2Ǐ?}BDmZUpbIX}7:yul)Fo*94cٜ+Qݶk`y{_;)9JNމ&d| >rp~涐 +셗&ش>~(A,D%=Xq;t?icWbn00R 1A!)kwcFe\#rDqMuѹƍ?*lF# KK%io$0Jf^g.57ОxhL㯶UwRNr0SUl}-t$JY ^ "'ɒ$%P!d.n0ݣa~{5̙PDz=b,;kEtK`4AL B/ g@I}U9>qƘ`Ak\f-Ԥ1Op`LZb<{Ͻ'0"|F`gth%;)qY[sl/A=DRT#Y `$HxXt/9Pg{GGԬTJ.!Wi $R'H(/ۿ}x -Ip t.0F#pS <}3;fP?Z=}RN;a\ IJ>KLEݬ`'Y'uZ7dIEw`YFֳJJ܅Lօ6-oπ0G.rng& D8&, )bi;,b>6-[Y9nY`;s VJbq- xZ1ةbAF ̻fa3mބP `sԻQ,qS`׮+19>?&m nNW&{XzAR (k8"<@ |nשle1᳉F%8"lݡ`&l$0;aV=r]0=F*y-n~*z)kH1H[3C`Wj)ЀL $'Ux,'|aԯqBo+A/+EHƶ+kT8^ BJ9KgMڔ1ܳ)SfT KAZRKLvFOE%EO iǵf,}AҬG GD_"I=y:2U?RF1^Q*Om:a6r9UK> (IY[3K#QRV;.mE~~?;fَFnk}wvBk3^u<u# H-@Ĕf&\thgK]3Y[yx~t ~^ U2RuNO\ Tf?^%d񡢌X'EfmOTV^gsKQmxjdNzKc~iu-E. 11W4!ԛQpk0'"$|6HV2%\B^jiJ- (,<jlnE$r#tL^n{4NFlFwN@e<,~=;FU*+c=^@䛿:S?|1K]=8|Ja*;.I}""|׏ٜq 8E-=́,/L/OI<9M 1@%ZK ?#C87Ţd-;VOXKV4Bջ<+R3;{AuQjc6 <;ٶeG:-/g9E<)ߪYֺ>kpT3?V3 iow5!PR5E0'N/޷Ոvi f gYZ  x1O' lHOL-Corec_ExamplesHOL-Corec_Examples.Small_ConcretePIDE/messages7zXZִF! m]D?7 {?:fH\:OsmnD~:A>JqԶ!H/ԩ_Aj$ϔ";.Sj]d8_V/?7ܖ{:L, g,O$ԬCp~LF 1{qЧK4W/ +d}on&O"B<;6r Ef4+D\#L-}OF8QxHNI(c8OJI_Q1?pD}(wO)z[6aSWbj%D3#;iD^6;p"Gk=`f{䣁gz >Z?^ou{$D&i/}jfF>Xδ@ l A46KjbB"B6MiF h#F  Aej=D>rϚ*4gf5 :oGtALF c KC'?vSLX멒q`T } # RRݹPMKwBv @=nӍcNϰ [GLQw Ξˁ;f̫"G(\A49]w8_WLWd/֯昕/K/ýU꛽8 hk +ԘcPM(c;/-;ԡ橢k6M¬|F@m \U>r"+h 7G]$ALQ_sX^*pءL^:$ݬ3Q!wM;̈́CQOk$$z?CkcVy hT'lQaMoj^eLR5[YFK4޳c!]Gw@ ZqԆ %@tb$' E]xto0_c n_oC!Wv7Y4s֫Xč0B Ы)8auj³"e.Zd~ -kbt5>t$d%81h|#Zp_~m(CK!;^+J$̄\ M"Ǯ8_pR>¯F Yf) gr(`2G}t]){݊tR(2JkY7B\}GE.VWS~ ;<<@rb"Uȹ R0ҨJz} ]!M |[7Tnmݷ-IXzU9v3+k[;'{x /a@ 1F ;OJu#%s^a>C ؆>I]lM)yWqz W5A{\B6rӾy Lo_j@LgB&VK9fG9F3TZ`Li?IPuRڛvcm5h9؏zB{)'%DLVJ:h*fe1 ߡa6Ǯ>q7.3lIpeiR1)L$XǪ NS؁ \is;2(5HwN0ovbc Gewv :("1Jä\UZKhCiܼ?bq];Ε?d?h~ByY 'bC* x}P(zhl9YQ |V ؖ;6gH)ݜ\|%D`{/rT'_ki#ُ 'gk`rLR2&Co4qQs[]8;t2*#NSݿᆰU}{[\ Dow|$DQgټk_qJ2֔k0 s}>趜=r)ts/cc/NL$bh>ݚ"V,mR.d6q/;_{_lmF=p +R2#ů-mHE1< {VnyHn4_\y?"lM&qGb-r mM۰+ܪL`b[AGǣv5e0-W~_kKT=K#ZRi ˜ʃʍ^WʢpCJbkmRۍۇs3Eq΋fd EaYb`@vd}֝l#s(s.!Lv@:`d <ʊd5 q_D[H ~ZpDjЬiScd>l\DI fM! ('agYZ t t1E# ;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$`SJK~~:lLa :gTN+EyCTaJ;}nCdyL_4n80U2֔2>}-̣mg'we`xO>(ګq=/S b7eA3NX"ômǼ4 +2x_o0v!:dMz&B֠CBKUFŋl, S`{ݝQI58&"Syr ]:q OܕK> ̤֟ZN\9gYZ$1O' DHOL-Corec_ExamplesHOL-Corec_Examples.Stream_FriendsPIDE/messages7zXZִF! ]D?7 {?:fH\9 zƾYIzqo4PAxS)y u$dHi*l"?CN:XmqGAK|`W߽Cp]Qs2\HT>jb>&U0竅:!i -FZy5%JN&9JĚê*P/-2ȴH@0R$GdBXŗ-D|{{V|m\> `E|/Wk=4#Xh/cb ST͔,:;Ux & uS7h3Jm;.6S[>Z_F;rmFDG!im1LlKΐьT'b'WE/&;گVR!x=:}p&;JZחjfN1nn!춺FbVMD)4E{5," ;Uf`wh}*&`˛r5&QdǠ9ġ(f2D?ꇟ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ה .!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@߱gYZ71E' tHOL-Corec_ExamplesHOL-Corec_Examples.Misc_PolyPIDE/messages7zXZִF! J]D?7 {?:fH\62 }&?Lozf@f5SI,1'h<9u@; GSPB72l:N&.wF'ɹ!pEzfcjOMѯ[6vٗto|UEBM& ޡx -7 rjvLVW-ְݑc7kQ 23֯I(-2e N(%#U j"co %AyR5!({cĢQb/ a9NWizEZ spC>3A4BOR7|s"] 2F5Ϲ惗UEc^R@^y=޽¡_mZc΂(c2¯F[:N1eC{l![6v߼,ptܟ Kh;qcl uՑ9ks~räHD )>U[h] Op t7 ?YV:* SxWKFdmlXL5bmڇynEUYOI}[UEM`m E)jR{# 8p}Ա3_ `nY |`lmWжζ]$$1 ]nbU. E)ZR8dT!$8K%6goP'lUÃ5p>pD,U|L!67y,v%88sڇn&P$ ê] erCd^ ?OkڈjN7Un?xځ$.G+ ɠmbݐYWo4ޠMvNv3a0Q-&ȃ<ũL鈋Z0@E.mkbc^"רZAەlYYv7pCh:;A$J7(bx"ʳ`NsOj{qFdinrgk^9߻9 hEe:5p1Y' DQ6CPtlO(=p8.Xݿ"Z.u~xF4Apku-u fcgYZ  T1A5 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  覱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=(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~;:<$=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  ;  yp"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^nUCiBrxflET!t6A^3J=STO5 6q(0PtDULMFьf^c* ҵt s󇂺C N@K8FhvΐC+ŭ?t.մLfgڠH!-;IA3aK5MxCо)!SpXEglR_9^AbSrF=y"+v nKZUUVw%H(P( [@vw{ϛgYZ< 1G' |HOL-Corec_ExamplesHOL-Corec_Examples.Type_ClassPIDE/messages7zXZִF! I8]D?7 {?:fH\ګsiɳnd%AMޕgD_2`Jb$Q2efn7 Az-]e}&tꊖ,a䦩|5 LڴH#&Oygt[vH7{ R*3SO$^fu{ "@IV&K:y;0fxإJxc5BjhXOՆ@7s! xW2 (écUVjLlf/Ӛ9k 5y"΄QYKs.L]j߬MNEPi ^,#Lo>-W#-.չЍtfro$0AY{}DkR>*͓C8dMȒWd֝P3ڽ`blR/`19YIN^;ͣHSUiAݤR]!w-ialZV$Wu#]gBGR0 ;n~MD@= &̯Im0x%>U(ΦȽ$T9PR 減mY/ŔDRxgYZn1G# 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,ԫ\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:10[DN] 8tI/|ˍA+)-PثA`+P*3'Cb;2xF3Rh+aFMڍOJ:2#|CIv&C1tm{uXED2't~qMGԚ Oi}Is|1L= \p"CcWV.b}ȉؕVڃg023@:&Ǣ6odyP>5]=31$|nGr 0kLj7@>S'Q O^"O*Y5 7o}ѣ`w]~y:L [=-W=Id˻V+gm *mNT)Etw"2vx\n!0tۜ0d~ƭXp6)西QO~*bf=U rs^c!c©pTH+<ꟘӦuleqE-qK%#$vRVLDּ1)O¢Q^g+djasܝS| fqŌY*k3 2"1ѥPO?/Q^z<Uuq|=c6 0#d(rIPVxsЊHoqOr@{_c(ؠ?McYbq!wz />ێb^"F'W@Qc >&*Hrzt7o[RHJvُk;\W׳.oeB nj߱ ֔@F>;/!hrLe-斒q/kNxmS!2fomJR8YDL C:iVwgڤS?a­6,B)e` ۜGV:q09PȖ)B^.oÚ_@ԁLq hl!a!`ct:V3a;1ec.|'KEt#AMy n Pà tۀ4Y'yq<4s)J^ί[k欫!ʛt>Kc$&dtqcW@Vc5+ 1] KpPA%C/q+-,ė&9b' ]v68Yf9ijDC_BٻS1T~fINA{hicqrfU-FhQ \ ouY|\,jԭ#L)]XLN@9>P<\/rcڷJgStdzf1JR d˵wvgYZJ#1OC 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  H?(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$gYZA&1A' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_APIDE/messages7zXZִF! =]D?7 {?:fH\1G,e!Yِz*֜q52֭拿i6OEҧ|*s<%g `6k74qPj%UD>̺}5:ň,+bfw-pmHBB~2Ʀ2 Nk^:xەvh\v2pH霅庶II%k5 o" i8 dn/f#uJZ茋u77qaʶd3kh̦@f2#VEvavJ@TELF2Mn{={Пuz0,-~VpN/Lfe'cf&dYY yPPpq,EJۉHx*#-,e~_ 2E1T`ɣ6CxJ=2.],EQǾEuv٤iٛת:{/.)6fw[9ߩp "+X.B*c.*>b5q}@HaMfaSj8}orɺSr+yF`*=8J'm  tZ6`ƥCU!lu,AR/>nrvx21ċ<U?T3H Fٍ+uG¥Z'/sdϡ\&0qgYZ 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#!\ ~gqv)1G; \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ܱ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 0 0,1G' HOL-Corec_ExamplesHOL-Corec_Examples.Merge_PolyPIDE/messages7zXZִF! .]D?7 {?:fH\1?5~[ 3o;wKpBkV/%\gu{c4vSIf+71%< dZ0xO a=bcPӞ r;@g`S^]6]G J bRQG~gW/8{6޿M~]+^~pVBndjtrlvvb1axZk'g>Ct-JA?oj1X@X$%8RqNmKqRbւiͱo%5s{=}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 --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:IX ӃfO}vaHM~ ? Yl\V_u Ag<= vs_Є s=;}Ҟ9SkXyG ²u8O,]ǰj͗ Zrz9̡TE+5[};@u9P-<ܴ9ClrA~x&?7?IYG#nCPt/ FOOWc Δ19p)(H R҂wJ$fr{/er9+v%itGR!/j"?ϊG?m/Ty4]zV_-#=|Pe,=_^8Me%6!v{9 ?d R6פU 7; վHu&bжx\TB@LF\yvΘ6grg%J7 m]j咱6ߜƱK9_o~1뢔ǧ{P@rQ 4he$c3^DII+2x`k{n'QUf8V|j%|YJ:bMxf˵f*qfބwXC[H|v`x*rCmє"nlYy(}\j;~,c j lqLVڼc2# ^Gb;Ir\I^ki E$XKD첌mUe8i_$ѸU)0LJ5H 3*EmJl-~ҭU@Y8 ߉'^V$x5Xlu8%CرQXn W^eЀwК H<;kr+@sE}p|zWv ^eFߛˣiR֟{WᔉV[gPxJl>>ZaOFp~%jBs"cj_7Ai@;ٜ{CyIQن J)L9"υR 4Ԃ;E|ӞT&3Ø\DZQx<,_! =oV_Zi~7GD-0H&{>!48 '5MD@>U(<0ҐöɊ+7Y}Pb˸J,I< mڣwp}#!Tk9GU)p{()Co~~o]Vlj 8W{`s#3)W#3VÕ +̖`HlR@D{w-I|$qj[ӕ? 3ep&@߱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:wӜJbItRfܢduˣkT4XV**P#T@V7}qY'_en0ot&w| =ͥnʀ[)πj@wyﬞpk}6.WoLg~R02 A7WA|3N.1. D.f3`e@F,Vڄ}:-Ǜռ8^c+<f9tyY /CpC˝5C:My~"d)¥?>oO1r,Xz1G'cڱmlkaYjmH*[d&Fw%gcL<س%vxD?w+*IЋ%Noǹ?_,Rrzh&e!^{DRuKmSN2[ 9II h/(Q4X"w#ĉ8f V 8Ne?#IwՈG|v/39Ϛh%*lɥO&"u ~ 5@ N{XqJ&ŝHʑ`yVO>=u7_/H`qdkPW<oMjۋ_=G y`9ЊB65]uHʥSEjC.BY-Ks y#'n*EٷhMVgӀr?5Z`c2o$D -KEo))4ŧNB8C9ED!)~hIwc/ƹ( 1:=m/_7_P h"BPgl$%XEK|ovGC"G7pE]z9'yIkv د,WeYQ1G{#Km1xBmj)k"Fh}IR(y #N7%KND84'Ef&[A^o):R-P@fzgy}DuUF^J ƳW,Q㑸ﳤ8TwFU@TggOig+zsTˏUn$aoїƵu"Uzo-aN^ƷHig0E_tk(Y j^1&tS\nЛA餅z !9OijoDwhTwi~zyw~cCڒ0ԷzF]:9smrO:M1]˥oag) %ęĘڞ[Mb/˹G OMK!I,:_+l_c=Jb6OVD&uukg23?]%*5hj W T@rKyR*I\Hk'o>ԝz܇uZu)cg Pt#!J klh8>ZZ\$9?_تY|2gmk-uz3f!~ىa^4S4H"rS VڇdbWۮ\ݓ*rO[6-#6Q銠-4PLWAҦ];` ֏8$#yl!a34OTO8$&-1Sy3(m% Dj{F9f:$kPۘqe(A%;wQ-e p%VGAHb]9<l)6^o;:+71%;RyG9R:¸7y- |kuVZЇ#f޻-?[Yme915&+c/.ٱgYZYZ7zXZִF! 顱~]ŗXi%N 3V*au_[CsRy( '"NV|V+tV)Jמ Lﳛ`uSqٶ$}Ƈۢg?('#K[˜/v mV&߿>I<ֱT:6μ]>dLֈ ƽv0:1q00OsUNhi^Q&FPH5ȘTcb3ڵTZא,e:5Ԓ&|oU=Sb8f2=jC<>Ë #N{%}j$Ά!Zk調a*sQnN6XLFk3v8!'eݲx9mx rX,ƺ(IM-I(OlWg5A :H!_EUMo'uΖײmD]k›#ÐIg _">H hkaxwV3/U -qnqIO)p,?{É] JD:E@EK 6^f),u }FQ󒵂a$]NQI]Y|9:"0sZr#LTD} l{+ײ9pҌpp:UN5f*Pi4ΥHq v{1yxAYHñԀ0C2\51bɏٍd.<-S]\~UTЅ~qS.u8%5ue咻ۈ}n&bqkUyhIa ʩOC?_NdT^,dVQ+d*vYA*o>z,B[l\dכֿ=sO>n^*gFNV^RP n`u*Kl|,&vIWM(&t J\Rn;d;Ep0 y6M__jVmN闄Ar?%xEzjd/.gE# D|$y*Jt,!D(yV Cs]Ni1$|lPt]D֣1s> (d/ ֱ>}aJp! ""|YH药i]4x{IqYmED ֫~j"*,ˌ{mГ2YRH< (btlfJ/Gw^%K^"c8M/xφ6mjػ6ağԙc#"o-lfr`! Sjc>Wo-n&c[n^V{jđ L@4!سaXey=`Y;^I⦲FR]EwfKfS1zE~/6&i2N1ȹ™ϘmeʟWʡ:Wkun*Pe:xˀi|-I‘&]N0ޕZa T?)Y;}֪f~ P% hi`WHY["Mh,Ex S*F/W~WJ@;ҎqZB5 M&x|rmhJOpё^ɟxIvdAeRMI{/4Ԟgg7jH!_L֪*cW37_s/&=V#C8?`Zj@X%ByShS+\dc%2c8/'ճժ( %woGCErEπn< 6:TJh3Ҙ2>`Ɓ;mTߩB@ YXl i*{kfYFitZAsMǀ2+v]9L:~?ĺ=vK JրEQ=d[!eB2uoxsS%Y~܅SY>\Z2o+N^ bc!fCNu 1j_; +Ptzp`AA#'w?`RmP?& kc>3#h-i,=*:, PohaP7.:_IIf/`wTޜҍU/HkB>*gh'(-%dռjc~yßE{k(;gjunJ\oI14$T<Vh=Ȏ~'7ĩ[˕%`* P

o-illH'+ܾOYq|q#쭼.8h։:!q2WTp2#7.HVI+obt.KY_, #>LbΏ.c>ɨď !^4l(U#Sdѫ6ovfT([v9C0wV>)}vhE)38?JDQ+ =bBTc1ٹn5f~-5gH znMS0oj#@q uΖa (U6^},H=xz sGZp&y|R5ʯg͎ 2 .i6s9.eS4;AoRU^* 929x2qX3{ooiI:B}LQVU@m7[~rǥ=Ecސ &TڧʈePh1W_Xt)Fas\ܮD. sc"x`t:[eśuքR_{iLt$cv0\Rp ^4Cl5INpw]*,T敱at.C|M%NC 潴Rt611%XbNW;7c$|Ty32B}$lO~U=$"Hrƿ"H Nu|5)t<$s32.@OHD>r|v{W^IK;6%Q^j.[@#j~";%wyB+17¹Җ[oI8lg(ֶ C^ 3XF;.6uU:Lh]Z'.OC;fBNYR`Ggg2>F~N^buē񮚕F]x8 ֿx <3׸ T>1izɞ|ՂŘʷ88)sY xjQ^t(:L-%εrk`{Uo錥bCY.Oߖ@1I);fL3VB`ՄVCrqg+ ;vI)l#E~3- SSo5 ؐ%5g{*, 1Oʮh7$&o/qCT~7 WF 95 ?PQvMTE*9{O=Myq5z"]'XXU?{'jF`_)E^*ȗt[*ዒ~aO .E/7iX"3 A{ݍGٮt~(MǹQ^[F1 snupXH7*k }X,]y~JD© J]~cK(]qkLÔ"{4*ͥY;PM%iJ/^-Xo _ =ȴ)O{LX嬃|Y ߥW sᄄ%AB Ο濐%R@uGILw DAJ354xWG5T8>'KH jct-RWU:^b.c?T^hj#;rUKqߺVӎSUկNhd+5 T$)|!79ͪFH'2Nv'5R$h''>z>N-A:KC8{GX3rѿ%G1}zVc)7v-n%ϥojqO-^ PJώOut|7Dz DV'Gn3q]pBtE&P_OJ@2FcBr8fCh7 ]*"dl &qge5ж0tćP23er0#W)A :zNP1w(P$^'3۳B箤7Yg70#"S Yc``LJR%QYz4򻢔i|5pmHB| 8f,} WwT Oń`Mˆ^h$QH2ؐ;a#{9T[?Xh͌b); @zp&pSf|5 \ ׻gH`,O0 u_Z2py~2ߕ>4.eQ^FNv|ZZ_EitknXDGhaT{g~dҟ ѩozl>.gXgZ o&kebҟ'RReӴ+@U^TVc-0DCuOh.+E :K/km=$w*iԅ4yIt;8J]N]4 ace&ۈRGcFzYq&*smSq5/T!b=Y5W(WĞr7MDzJ;N6b}W͡RQWghj ["hspvyWOCYq^G:YFd=;eXa19S3Wҷ)pVO5l#)56\Fy֢8R:F\ ` ҧAYoH_b%CeƘZ<Y7⭗@` `^bW%!(gi(.+_yV#QJX h80R6;Z0aD4+)}9ϜwF:9.'y;ʭbghBk'%(憃G*h Qu۶QZpN:KӃ֕%iajxYT1յ[ay CUx'?Q6>6Ym-Rg%jzELPp B0Vxr]f[җ)7 (m8-+ê`/&5m=ya!.^HT-pi{'Qy8ZD-< YnDZ;sQ<Xۘ+IՓn^1t;INIS$,"a=6~|a8ݩb7ZM̅i7B<&חgApm>ˬCl:'uUz%1VzҭQuq~ 9;jXhd?S |Rv|M{k*-8ǂ|Yyz=l/wG 9}N ."$#V;_/^E@Yuk oKf~"g(5Fn֘Y0 /ޥu2d \w:4`]fTݲ(`VVqd%oY&}<4}D+eu(ڜ`չ 8EӕP$ xe BOY4m `eR1t=߀aU"'ūʤXQxxtH}Th$ o;H%W{&`|fkW/i֎ENqU*ߣa"jɋ!rKhyj̹lhfHKZܬlucÆH:!Gx{WWH̸LR!<Z|W$fx|۟Є8VeAsox}QZas#-~fx%[6x[rhkg%\,[%U.Pn KA2oF}6M ^&~,rn聶gm>zA X /ɬ1(PW?fkM "k s0mK` ֜@#|rc׆Ϋȣ6a0.hR~`\bp.Wɘe)J{_cUQT\`" A>7q=C5jvQh?MBS-6O+J}5#+4b6Dk(s Jol^/3= +Y $`flmgXn8)B9 x3?. 0ļfsոP7_s=lcDp927YAOzIðqT%9 5o+}:K 'Q)hσ;9eKW;Ѓu kz i! hŨbXj 0r^sI>xv2+US\G'͕,=޳T:ʻ+ZGWUc$cE 8]l1cSZ][d<˴ G Mjs͂V|m5I|]kS;D;ڳ= h"'s9,}LCbtYkjߥ/mߵʍQc,UAED XJ '']h5, "yf *{Iix`U8Bۺ\RĞcrng:#ΫaFa(H$uif=aPXx(}<;x!6*ߓl Zrveb9"!e68 wwn#"Kr_"tHw3athZi}LZT)9=YsĀr BXU˼9f&ِ JI72PLRn1Η+2zHZ'J6-^רn4Zѽi?R.&JFlOCݲIL8Oݪ S2ZNbAw~f-v kĻ?{ѳU–!=hpC.d./BMʃ@ȋNǍ0)rBWpbiI@OU &0v~^REz?h--I~,AԾ X[nR3l4kg!>ywaDY:oUZu'R9ʼnPpD2?y {^n7/`u`@adԿ)rrœZ(:e Ք "_C}/_ih=͞G8UmC*;0|J, L`|;aBm sl TGx%Qid7e*/R)ɝ%7򶋎+kǪu9s U*O(V (l=wsn獩'\{SV)c:h%S"J%n{(< `:t<zY{Itk2xXIoإxN fQ֜H_ھ 5 A'=aު$[5|Y3U͔ÌQK="tnWo TAawJ>@ Ju=AoIa|yĀznB$$ZGC @qH 10uyM+cPn]? Y?ӌKTǦ#H> #i\eBfnn*FiEɯV~fGe%4,89 xaӔ),'틍-6 lTbޖ~Skfz^gt]8 CY j+O)@3M.Us.}u: >f uz#%.IB4!wԊ ]ӧcx!E/>YA+8LS.CjIIں/KXwZ+nt=l=/OX͒j;И &?UMQ9uIT#l'%qzd$HLo3E 6F-/Sd`)I`\dHI}[ #uhmk܄hV/|H'Ϋ: T8ϋ%ŁFGM2S>] f!c,i7i< @U"R]T3#O&IOMU>:MֈMkh~yOiu*kGvJ,$OX`UE$~qY4&c`$]Ce=_Hqo4{_#^*kŚg^ #>^:.n2x4X`'rq)\nrcy1j+P!U}ԫ٠9~clSRxo$sHNO1)E7?8ܗU{w xս=r= gm贍TG[rHjunևz(}AJ<h#(Pr`Sf/ue`CC snNZviשB9KYC)vȅ .p@gێ@w|[[^UrG"j͑n'*$>*՞ ڌDw ܹlaoEOo<1zSI\0l~J':/RiZw-8d_Y0[g)T0YS@F1N Ev՜ J $:+~C}nQ n`Ȃi˗sFs'..46(9_"^ԏ]e#HpC'9ݖGs mTTsӜL_X]O >w$ccԬg5o[ 8*:K _o: vDbYWxt2?OZ#@ 6K5aR/(o W}my(%Ni 4D'+i!0 q0$o vFۙ{P೮<u)~CňeN+e랇T)!PS}iz6Ja[}%3qfSY={SB-HvRD YU.1c[521vLh<͙V#{Od>f<Ƿľ{Biefx MJjG{!pyI*YktianL}QN'a|`kU* cC&_az9Gy%\J߽BoLiką3iD}z!マtNK#^}bO M^%6; ;UXt+PI<ګ+MYir"AÞDi aC{!ӁI4n8bru;:=S/ CS;^3iaόX;i],㗋 cv9N,v_s`g5DW|/dCxf'=8u A2+Y\4^okBO3/O1EB./Y.VhK$tC5kGR&섲V>j=ڛ("u -! RvY̕J֛=Cg>FI *c37 HZD"}7cjMr{ *D\dbԘDÀFҞ9b}OݬYd+8ҏ aNaIxi} 4|nOf D\WҬFwH|eQ+qb$kn.uJSi]V)l@3KwJ o0>ɠA=ˮ\JܬezqesIF Z+Ƀ?C^7|)h]#$UnZU顳JJcsT-CY9Q!_Apc5pdX7m>Lôn nQ}X ֍&H|}ް]1G "bTwJ$mӨVgq[+TGApDTvZaВb1fSd~F-euƐ_P!DbSAɑCGd%tIKec~'EӭGc׳lkKn򍥪KZ#E\AYI5m{T͒Dg]0yEE+$H0 |tdZ١ig)5ljmC^K8<韌t6ͯSQ:yWΙE9˴zĘ\Fs 6%;dQTd {pL_&Ɇ.pE̎|%mrUy^ZAkU3}/J.;~OF";ϑ,Iv<:1RIz\ͣ,|ɋttsWxfFSGG"3@xΠ=٦ c^zt{*u_]<3x>.[!Οte]ևznho Ny /ABqoy#b8\콙gJI$P-.ۉ`U&ij¶ v#, ΠU2SsW  @CÄt0RLJ'ANϷXtշVEAI.PL-{8ZAcݳRqMWJog;nMNZ'IjL: ^QECAm U?8ڴtfZʡrL,$PR1NҞ<&JWuY-:f.JEim@Эѵ?((|P ]ܮ$ A}Xފ3؛=s6%N %%v`|R:rDJ =KztI35p)Ddk)\g44p(H1bQrMfsgi"etrףOv!ǘzhĸ sELU.ztòžn Aߕkj,+I/pHYNDѹp`[$C;:+gu$-էZխ׉YGw_V`'~& k 8%㹥tjՌ5\4})(+S+Jo֯5mjb>g&;XSGr,y_H,,3v='" cJJ옳ņ,W&O M9A6+׶J:'jg5: TAlޖXf"Upa1"q~IսGȡ`%4EjLIEdO0)<,zU,c}m$02p /sMȦB~+hEIj`Tk f]W+fվ%0vD2f!\;|JnŠ_ź]J6/YWj+PgBSnh欒@'TJ ,t7t*Y ߦ^Ln,i䣭&D&hCt E6HƱ>Ax7#_h93- ɵ ({|-UsmkdT*;1&O+9T|%^$)=; {[oa b2%<(Ua@ttg2'i0BbLw ='Q2G$jdTQꡟGKDXBA}ƐqQ`%_JoѿHǹ}6q5M )9% & mǼmgT^ Nb_*50Vع(ie[-?[}l2 5yc*n\Bqǭ C͓:^36ƽYr7ov --9_)g-Ϗ^$]${sV#u~mV%A-+'18c>7_ ɂBpp[4O"@-u$ʹ܌{US#Tzk2r>iƘ%%{ <A{La\\txj`¿ f׈7pir0]ǸŃlpsRD Lyf]vBj UEMsfO@|>џ\'75aI{o+S4wg.7Ok :n`%3{t[;ퟆgti1k"ШUmVmØ  %[#۷A=GqXx7c <}7~73Rm:ߜd QI=.NKuv#uoR^$ t 6e-պtUuRY'(ʗ̰gׇZtTMu1#U47ݵ3iJ7 hW~teF?'-jJ5ۈt"G*68y^Tc6شI1mb{.@o36 Ǧy6ΪpUsHM೔͛l) ggm˵ tL?yEpG:BwҞ ypE֪mD::nWhOKbBUY‰AB0"GZ\UN罚Ҡ;X;EI`w\>MO ݇%mdݷ{C+G^ hBaUM. Xk,cISH:m^06' \ZWhO9F7C6dJ@|L2_xTB NՓ;SYV)<,-T/͝ F:)Q.hf9`oVK ^tx{T᣻Pj_ii/|3ۼ޽9,F2:>))Mpy)@_`@:/Reh he1s0B?jB[5*;xҔ._$}q'}San`* [q5áSmCJ^l 4@ (crt9D)~S[8%O8O(Ϯj-Ɨ/96=5s RjYy׋3U%8 ޞz mGC/^{(8iumJ=v n;PK)&q1PjN~~ ")  R;D7%S9v]ʮB纪' ~]+Z&0`ФUB ƿƌoq3&rg6dt-S.$F 'o[l8U܆Bc_W麊\Qas&ښPWV˔NANM34聼芧'ϴt/?Gy~| ],iK7R1/=zYiZؾ'Vçp6KqU.M1' |/c֓ [#p)](љ5{jvI3O2D Q}aQpG$-Z>kl&dW9{bRq/4Zp(m<)UJ'p!$3hN3iMkp joِW鱒MLi`|º×5]gbE`!+Շ {,_80rǗ,uf@S`]vq\ۙP{:u!GHp6nJ%3/y3/]>@~LA Ap#c 83'9f8CC{xx V+kt@i4'yt"4cb9cƟ<td և jCyėbF\cG b淖d(lwp~uw}#} 1,@6)5Z-[@SD:6Ҋv`F\4*Fp t>s૊h>ҖWR+Wp02飷}5;ޡ1!p~^mVFquoc˛iwD?OyD//:vYW 6F+lq5:u\|rH˒ kj沍 )Kmr|_1d@a oZ`mAATPy /A2P,y۾-Yx6 (g7^׆We;qp.F7gsN,m*2."&:j`hجn~*:㩽o޿>;l"䏐8ISTq=ќFKuBWҷ Z瘅\.a ZϦ5>Mš(7Ӷ|ʈ)lӫw$عlO5Ltk"~$ßKYUlEJwa"E@fVcH˅_8\_RaLFUuI-Vgh;> ){{Ҳrv.Dj&U"<93 f%n vB6ck|鐡^{̰@6]1F aR Dcw2$򀞡y-)*r F> dij~f4ǖg;*)/տU[B:3J~y̴ֶ{\m̞02V-'@~TW>lh%H_U5CB1X*1`C^x>7fwPɆ p#STƪ7f"|;lӁ]^3:qS /r tBݐ1R΃8M@ϘdC΃~>!հr~HBFjğtbrkȈAj3fYR`3il>Gb`UV!~=:`pJ%Vw~D-lBTڣ p갴RJ=5X 0qk|w],Y_$|YIEK߷f`iХsʖt?9Fd7GsV.::?-KETPIX,gW?ړpz3Di/. r/<Ӧuw4]GA ƝKLfG[q ⯜0;^CfHl=9k?\ GN8mqD+וDl4bD$޸Ees+CiHF~G4^')hnq8;h:RW%6RnʹHS$pkB 1T|ʱмΚBS-[Z^w&4Nl;Qи'>zmJ3;Db6 $f=Н}DZIAI~ql= M#L̔}f I3ć-X,# [Ŋ*ؙy6A}7d3~tBŸ ~I 5w?A5V;cK)`_%aP!tF"ۧG̮l >) Xd q3e"U XYg ?/.B}04ş}j $Bs%y*,S{efB ‹B ϩuH}Pm&;=8pɦ*#e[. V$6K-l[׼ hSD% ^`O;v72K-"3pWj[=ng(xA?I?C <3[^j00#Ɂ3neyW~K6Ӿv*OO%TTxe,x8f/Yɋf)7]x9!E[0нjaW? ,fX,]fUH^+D#,po^.JO6Y@*CV #zPZ2\RgfUsQ)%32{jsJ}qS`6K"o2Z\[F-r/A0Fz+ZI۴Z_WK\=չⰓHdhJ=h-.U ol߉8MCHiìl5@bR<.ĕ0=~h}af1.aM 4T*:i7^9{r麝J- a~P 1yQ$6%)(5`0Ǩ5 p^v>sI9t{COA? xINmmTHm pH|AG/M^Nw;ijKXh層# '#ȼT.(+*s+0)miP( :M(A*8\}I(e."p&N.XpB¹pPm-NEEg:O OAF_2v󖁱} =ƟHz],V0-=ZGXV{nvmS\mi Pךb>ϣj"q9r9XTTQ=8y T^5WeUxZ.lv_ms8-Bnw1!O+I\~RSH'ƕK"3&M1~%&zaZƝ\;Imr+} <"s%zyfE DQ:-NobYmgDa\#c>Iv⾦u:Pg!j.(շ*{7CmwK@|1Cy8=ߣ|$9wC)0=`K\Oyyq>"j3 [w'JpBZޅʓA;B |PRw§ ÕeKy Zo:y97=leEst O]ApReɄd&.AWa,:~4x$dΩ/ŌA"~3G~C(~͋3ukEz*yF3Bwk߃mq+(kH\MP0ڼtG``f&|\iah2 w0%%La:gb8Ǡ^Fsm*i ռuۋ(W>ȞCH=:bLC,hGe*,7m8t ݐb@+j%Bx~*-,A\ym =m/2r_owK{WcMA47Kܔͻ=z ),{-Z\B8-hRl;qԔnbcOk<ݠk`:bh {R+΍\XSDx5RϲE+,~p[B2_h !V wv](uO!V^aa~=]zH#aR8E/|_*>ݓ҄a[{"M}+Ң]mD4n|'"J`0fj/6.nAŁTG=jʿISpIz馸{k{?кwT*KRꚍ+poXo/emіf:i 7QHx l_L|WS5;PfQ%ǚ Fѻ8˿>cŜx9w34OuMK56醷﵊4v2W*&f O_#QrrL+BRBe|Ni@·.,qaECLa&ڕi _R? ?ױ}VX6?s wT}#G9dnLj(֢w l}@/0KN-7Ajk3a 4 2cG_<1.aO܎ Ҟ,y#Vc#^9q48¼ܴ̯Q C Px ] ʷU c(H5rBMLJ$gi2l3Q]} XVbڱXCF>qK:NٟPh%O+07;ai]v\kxv'ea~ΨbP>/!&}5sWZ+߇$a"LZVKIB><Ԅl8Ì$ cu3&j忂 $V"v zAq7U? UIW{5/ [K\LH,wޕihIܣj!UckjYV?Lo54Jr?rlRi2>Ys q0s֏-;HY2u]M${[.4˪]ReRúWU)f\y]- O @U9FTy"t@f@05J]X&o0R_BDc8#S gG 5h.Il+J/UEuwwǝ:1PڼiUCc TS,2,O]bkp C'{b[DU8I  Tijp}y ض,PP2)PhPG'-&^9]8ZHL2v%3iCw֞H s3"t$. yP b%#Z(_`+'.p JfkuƲBGaͰ;u"Y2gHCt;ub {{́l s2i3\ HPoFdi&aV 6nf?_{GpU'f;KiÙEv` 25.ڈ:ѳ >aԦ ,q ^WZ8Hy~sDž?p Ye~.m !u"h-Lo+ݫ23B t>D1(DGg?oC[$ 5Ew&|*\g[KB6hƴ؟M_ bo߳BxGauJ*za0s6!@1EdM^- \ItVnjjm,,Z +_gSQ +fBv @POa6XXu1_ԁyGW'P}jr< TT6'xT{H-);Fnz˖$"ݪ3d]i|1WJ1r#.na|CP2l(5tM 0FtF AXŌ}ęq]A J{9c'tnd 78*Ѯx.ڌ"EȨvڙ+]cƊ8^)),,u 鄪{g=lPXSPrl@jN.Jn/'DCЊK!ӉFra`u*vϜpnZCmͨ[u$>w7­̏&ʪn(`":S?Ez RyeU*3{|֣DYy +h-_W 5 =$EU%z+Gml({EM̵POJt- Jʯjolp+CvUsXAx 'DVJw"ATRϝF4i,{ e##JIb|nwPH rDe{Rggč0pi (8UۭsLk{Џm:H.e)uםt`!^6ƺE.XE#3p:%4# Pd*_X$$M.I`tT {CEUW2oQ)⃋pX[;* =8MP$'^cՓEeu1rBu:l Zs^&ߗE} _ls\F{uqWAEb\K]BK+@>Re.)-Zމ}O52{=uX%aWHb\̆7;y%/ƙ9av6{}16*HUB +RM@(rcy2;- 3;+\Ⓟ}Y_ޑQNt|(]Ɏ6g{ݢnDizKOu;~ʤH. 9Dv(/vDl qGPmM?Cl?)'sIG]^ܖ"egS6=h:;7c7>۲ =B\q[Vq`+GFL{@@&0[CB"Dh i#yK{乼 ]ϣq@x>*E_Cx+Ǭ'v>&]h "V42K#H&.‰b!C~ pOκ`T'c7XS!m %RX]bnۚө[ 䶢m`l%vTD|wW# @ ]1ayTnX.^S/݇˛)߯L_Ie0h9.)˕㶚I Ͽ\lz rhPO1$X="@bd cՔe]=9/7 d"c ȿϝrq\Z U 670.H/pbhofDcz 0KWcZSA"ccI*x:RJnCٯcn|P<9+nYP P(4[CL d̑i)R-vaOTK"c?3UF>@C\X,eי݋irlhD8 g/b#/h붍_@!g׾B"EQӟq`ͣV0t.U4rd@LD]=O֚]h:tG9rVVt{&dfX]*M+Ôp.HQ^T'yϔ_IcG1+dFuvFIχ=<kQuF4(bEOúH*~os 3/%#?ټn69F +S~&:B~wT6Pjdk:VO:_;Ivɒ*C pyn2/> .Õ 3~?|\8A3t|1dJMrpcB(HkJЇ-%ubtZqy@]|Id8)kB1L\hՏ+P8VCr@KP/.BLW9GQvQ֞}ֳoUtue;?}zz%l';Os| "ljƢvqނ>4ٱ\wh)'; Us?+h X]G}N>'wÝs@< l1`oYr\~AmS ^lֿJӊ".^ۓq֣b\T8R(m e(3u؉)7?XbL Aj1rE'*84r뿯Ò4p۩N ֡!sGKW)Kz(TI0f!esO\FgFײ!5OjnݘS|5QG$ #v^P#_]"e҇iE FFF1gqsgDґ737b:82 iLt)e& vSengb^V-6Ooc OD^h 1lQѴQl X2^>6Y4+} Km_] ۹N|U5%uGl'd ֝ID\]j=2*~fZNb3n |׉L☻յזRgJgzoTuoG CxTa?XmK|G4Z{ BCe>n¸J@$g7P rI}nɏ#ZpL6 y6G#8j /ѫ QFEnNg,%y:WBE;WAKE߶,{Oq?̉ nG,V;C 0or%& |s?@<4΢2)q{el]tmg҆S}nK= $JjCXH|+ղ+ls;ݜ(cmndx#` +Jy 5y1aWϧPl[eO"ڛyyq?(_7څ_dvY 㖴]e\sd_oG?+dTsi:_igf|,du*nZdp W:C6_rVZa1w](JiV3 [܉.ෛZ&Ԗ)́uK fL3X4FKhՇu6ػ;O eUT>q̜Aۦ}p+DC8;CBXPPUdI-b[LFͬH>NgTw~/O;zbԪyЃC0>><295#kiNJI0q)V@c}iϕO("u1rېdT~$?'bF?Mdo`$̸H/pUu! l}jdļL;h^ ;hD=Am sÛ@j<.Rۘy:<Mݣw;hY&8~~^h$dsGd^GDU=S7) $owoӆc ܐY'P7 u[N.|jlZX-#=w!A)]m&yJ襠an0WHc ]6 xqdgg-0y.>'1BJ&҂UfU2) 7;xp)ӇlW#s!yD[0a21lȺos}B9,cMN{j< f%-S9I5+0hw8-=ϔJiuBt<UsDIQ^[87|7><% FO )3̙=%`:Z{oU٤1p?S,s-XLA͎*ASd.z֒:aG̃[Ӻ!?^Y2TQSBN?TwgkgʯʈG6MT&=GJ$H3%l$ S I3鿭75FYnuk6<2:q&0C}ٟ&Ů;vn>T**7P {#T!i;ɌS Ic ^OyB)(Q\.pX)1Y.LRޏl&ßY# ϝEҴKHXj%bk3ybi? X_-;9^gNVpFy+ zRQ2}-+!Nd: ,P|dN,HD8cc]||ˆA&jݽyf2o;Sk> Ֆ d(`^Gv# vpJ8€- 6EnÞZΞU3j=R'ZXP >/o$7FGAp>筦p3cwh>pPJ-|h`)v("NT}).DZ?*UCڠ&zF5gYZbdc153da14b1d269f8072fd5d209f52f32f2b3434b079fe610649cd37f98f05ad7c20586ef43ee64 74523ca0166e9eb6415b2be2253b4d5ef2f75bfe 90d342b21d1817577a01946fbad7c1f873cd58f0