SQLite format 3@ hh.S`  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 L1zL4D ] HOL-Corec_Examples:threads=6elapsed=175.040cpu=551.008gc=97.1787zXZִF! ]ŗXiɟH)0!h]?W ߹ĭ˱_EX@b`[ `ea~1YGMBzgǨ3]7س˅?d9 Ey`A$\0چw2*=0rӽ)X^q~߀jwŅMq}`]Bx%ؽflC+;rӾQ{R+-S-Ld*-ȮۄJUIcNdNJܔTIC_@Ll=")0-Ce{D\hX ßL8Ռg nZ-jJ: _$ ?evi|XAOHun#DpS@Qc,( v Y)9t) vyw$>YTqz'͙C(M~I+އ;t[l2)>uQ_NU1Vp@Q@]mϬq=OfNH%,{W |uVtޗ{!0aFqf ׵VF3&1ۿbugG4:G0DԄ'*X4ف@H[lHnm⩛eaLSuIv|WƵ;6J%?/:~+dK0j_o᫚g78٧3[EǪXZٜNǐ`Ɠ;n j矒͙&Qpl!-/ N8Gx{%X#\Tx2OxK: YZKLi6T|xVMJe8{<"aN&ً@e5 i% bT  JX [;h.]T Ҳ)4Wi{u[sWzCp?S=Utwq:YsD\(؟urs\:w .!MBN ]aj[.K}+Y\-_XAj []bHfj#KJFDN:?75]5f4'r$I3{)2<3fy}#i8/9UhWk?+oPdy CNГ!H|Vς}'0ґֳa4頑mȔh|]"nmJ NUxu9IB0clFbnŎhόy+{!-:V,uvS /d2h&$ݳe x RX]";SH}Dp?ÊJhJ :ɭw]v8$L#+wZEKYM<--3*f lQnnU25͊,#^g1YCRjتjR8q"{^A$&| %l1!QI Q0\ xLR 1 HOL-Corec_ExamplesO\~ytoje`[VQLGB=83.)$ ztnhb\1I) HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/latex7zXZִF! q ]A-MՋhvG"uIBm52CEֹ$zne&nul,FxH1-{?@-jQ~(wV;h*ySSMn|L3ȿث ]hP\#T?;lj/2Fɝ``x8FoN"{KBΤ6 e8 ;s&r=%*wNH{ү=!.e~NIn\Յ-!vΡ”D J#NOKNf]rL0ra0 rU(oflOV!GN/^:8:sf! _ =VNs]'|H &'2_E{$'!CjQ6!IrX7cvA+;oTyi~z ϼdm݋ uRᮂAҿk2[7q91_@( MCP0@O8KY7M?x_p9j1WP=aRʞC V;A06IˊEy4'nxAp }FO$!_zp+/DӗJlg]ȐG@T^'Ē49lx,t-'CWI}m>hȿ-G4W|v֌-}P$[//aSXqmfVޡOƵhE ~sxIa)%!3 mb_KӽnPǻ줯b*5xcˈnnLԨֵiDUݱ> iUU%$ZaLc%å!:Ydazԍ@YoŊx^18@)(T&[Q8/j7!t*,#yMBSl#EIf"rɉ[umP-&㙠K1 TbZeB[m"jGzynA6}?I"vB>j{azfBQl)p)32"jnvDR_ΘfUeojz`<%Ǟ۵{ݞr45o96A1z Z-~f!qDFb8LXw|Wg y1E]Cq)uԥ~4ԲL/=9@&J$C~~N1|4s9`KqQpWk%׆ob6\S4c]!Zч? ъx /Pq=Amٜl! 1D2$PE89fՙ:P#bhSucpPB N~Fٵ\ ,"sdzz˶LnA'2a y|j<ܔrt -0UTlI{ʥ$c3ugT@l"g&eZ]̵ 4k ^818UNӝX2ߜT0SFVGٰG8oGK78('.07* ^+baB A>U!*d{( oh{p۝]]w>h/qkS'_w^H;`bSH(fTRҎy-p zdZH^*16CT14G;C^ b˥fA6L]bJRw\3MDžd|r܅Qp=23qݫ-aH Va:Ո >.K/_ZdIFIJ\f[%pw޹ڲL]4Nߣ8iΉpn[ǒ=멖ai Wy"\BϣyVa"*.'6ڢT]l\](eZlݧo2١LPwv^Do*ҵ} TWKe'Jp!i~@A(,6u8 3d6 ,I?A%+&KoJlδQP&e?@miYɠEbxIT$xv&If/Mʢ/d6 "<]ndEhWN U޿O?LBs YzUz'+KR#8SdlK~]9Rn!6ՅW2̚PjnE6`Mee~@n{*P!㫒G:ʻi8zڛ~J `DMY+PcZ cd d `uJ!k<;'b2&Ok/-mE}fG+髅yo '3R[6~=gYcN NH{? GZS@/P d+HEdqsDGS (07>]GY1wiTV7衚O:iy>sPhݫ7yE@/O۱gYZ41I% lHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/types7zXZִF! ]a0{re$}ʂep֓a~֣]&pT{浯Ǐ(?  =x/V= ;W͌YR RC'Pn.Gىfp>I\8U .Π Q_buFWi+q6ysάمyGC@;743݁0ځ,ف(؁$ց#Ձ ҁсρ΁́́ ʁ ȁƁŁāÁ{zwtplk~i[geba]\[ZYVUTSQOLKJEDC?=~<{9w7v4u3q/l-j+\*I%C#?!76!    q v Xs4 !jy   Z Y?Bk$L m ( C#lA GC1A/HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Atheory/other/fact8D1A1HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Atheory/other_kinds7=1A#HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Atheory/thms6?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Atheory/axioms5?1A'HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Atheory/consts4>1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Atheory/types3@1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Adocument/latex2@1A)HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Atheory/parents1J1O/HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonestheory/other/fact0K1O1HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonestheory/other_kinds/D1O#HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonestheory/thms.F1O'HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonestheory/axioms-F1O'HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonestheory/consts,G1O)HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonesdocument/latex+E1O%HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonestheory/types*G1O)HOL-Corec_ExamplesHOL-Corec_Examples.GPV_Bare_Bonestheory/parents)J1O/HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplestheory/other/fact(K1O1HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplestheory/other_kinds'D1O#HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplestheory/thms&F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplestheory/axioms%F1O'HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplestheory/consts$G1O)HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/latex#E1O%HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplestheory/types"G1O)HOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplestheory/parents!L1S/HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/other/fact M1S1HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/other_kindsF1S#HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/thmsH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/axiomsH1S'HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/constsI1S)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/latexG1S%HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/typesI1S)HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/parentsJ1O/HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/other/factK1O1HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/other_kindsD1O#HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/thmsF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/axiomsF1O'HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/constsG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingdocument/latexE1O%HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/typesG1O)HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/parentsC1A/HOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/other/factD1A1HOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/other_kinds=1A#HOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/thms@1A)HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/latex ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/axioms ?1A'HOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/consts >1A%HOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/types @1A)HOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/parents G1I/HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/other/factH1I1HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/other_kindsA1I#HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/thmsC1I'HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/axiomsC1I'HOL-Corec_ExamplesHOL-Corec_Examples.IteraL1S-HOL-Corec_ExamplesHOL-Corec_Examples.Stream_ProcessorPIDE/document_idG}B1E)HOL-Corec_ExamplesHOL-Corec_Examples.Misc_Polytheory/parentsa|>1A%HOL-Corec_ExamplesHOL-Corec_Examples.Merge_Btheory/types:  (>(Ob\erKyxP*EK*L SqiQWST0k $O}e2n/ב}pOERxa1~x8P,Loǀ~+ϢP J'ʤgvqOLf2Kf+ 2{V}֬3v ^oI]Pi>=i rQ~wzw{B`EfC"0wgT@>|s7+3:EiZE]6/{(I>?=j }Fg^ z?Υx,LK!N[ꑌ#KMCbu8g48Ը3F*I1bʼ=ӛJ.J1d>.ښM&:۹$A*Sf^}!eri!4DZȚfdk7RKEΓ, aݗjR(\&R}ˬ A }. h3h^)W' C&ƭ};$fq B>MbװNs!Tb-!QqUǬ +Ϯ\j'p:^A}RM^dޢl2^F9C>FAG x?5Q6O1VX_Z^`S@D `5ھ\ZXSvİM/* H5Z^By}>Bh}^vW.s7-;^iq0Hx}Cħ7UM gfN髃qfhTJ2yҝA8z$2; @/+ZNT"#t\Sdf*qaa}`dH~]+]ˇ9a9eb>@G?kC3 d":Cwf)K09.9PO+Xyvv[Y 뿵,i f8A:LSp+bnYze̟YCƝ89hI1Y=vh8&&BMcQN4(N{$f?oDr:C~=%B`yN>BZJ(/J%4z$߉+"h76GͬbVPՔ<,G*ĉ]63J F=*{R3M5=K MEC4JfbfBH|üQts'U=rQ8Ã%i]d8l4jH!Ep£fsO*v3\2۔Դ9U#agZIOy.5.v;FY)büPOqcbBXb>=~}#Fr$ fݰţnI4FhAS3pcO\WxA5$FZ4Y\2b xٕޚܿ?U@Zw>:Gh# tx6s3M%܉Or0Im#v,ht65zgTpZJ`;t^\h')d/#jsLɳ|D7_ +ߚ-^ {7ωַ֘HS3«cHT߶ DI"F:k/ R,Vk9yiH|]?!b0u!1d;-bpW?1ͧ[.ᥑCxWWqS\#S~9?lЬnj]μ{ؔU-oatyܺfCy2uKI6%d3tݰHG,O,sULr<_ 瘇D0)ɳ*@(y,zv K)EG卸AvP22 4 ߇"] ʊ7Pr4Ia; Sɛz`eIpyMM3>DeZ2"JsLPqFS! e :?k.&Αvզ3 TYToK ]NtX4612=Ą XR<'-Mk*OP!~e(G< fkpeGPR!fWS b Ȟ|?)Tv[ b@&^ kN7~M]pq- ף l~OU;ap1CʯjbM&X|i QHPȌ AY›d/ńoNWP$]Mvf$Tnȩٍ_r+cpK.>AnҚ|y'i+*IZf? +܂nCݠCcpiʣ {CQ wRFEF.Cap+QF,WfX 1]x4p '|qࡕ4,llvRݾV*ۨS#3$}ӱgYZ  N1I) HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVdocument/latex7zXZִF! q ]A-MՋhvG"uIBm52CEֹ$zne&nul,FxH1-{?@-jQ~(wV;h*ySSMn|L3ȿث ]hP\#T?;lj/2Fɝ``x8FoN"{KBΤ6 e8 ;s&r=%*wNH{ү=!.e~NIn\Յ-!vΡ”D J#NOKNf]rL0ra0 rU(oflOV!GN/^:8:sf! _ =VNs]'|H &'2_E{$'!CjQ6!IrX7cvA+;oTyi~z ϼdm݋ uRᮂAҿk2[7q91_@( MCP0@O8KY7M?x_p9j1WP=aRʞC V;A06IˊEy4'nxAp }FO$!_zp+/DӗJlg]ȐG@T^'Ē49lx,t-'CWI}m>hȿ-G4W|v֌-}P$[//aSXqmfVޡOƵhE ~sxIa)%!3 mb_KӽnPǻ줯b*5xcˈnnLԨֵiDUݱ> iUU%$ZaLc%å!:Ydazԍ@YoŊx^18@)(T&[Q8/j7!t*,#yMBSl#EIf"rɉ[umP-&㙠K1 TbZeB[m"jGzynA6}?I"vB>j{azfBQl)p)32"jnvDR_ΘfUeojz`<%Ǟ۵{ݞr45o96A1z Z-~f!qDFb8LXw|Wg y1E]Cq)uԥ~4ԲL/=9@&J$C~~N1|4s9`KqQpWk%׆ob6\S4c]!Zч? ъx /Pq=Amٜl! 1D2$PE89fՙ:P#bhSucpPB N~Fٵ\ ,"sdzz˶LnA'2a y|j<ܔrt -0UTlI{ʥ$c3ugT@l"g&eZ]̵ 4k ^818UNӝX2ߜT0SFVGٰG8oGK78('.07* ^+baB A>U!*d{( oh{p۝]]w>h/qkS'_w^H;`bSH(fTRҎy-p zdZH^*16CT14G;C^ b˥fA6L]bJRw\3MDžd|r܅Qp=23qݫ-aH Va:Ո >.K/_ZdIFIJ\f[%pw޹ڲL]4Nߣ8iΉpn[ǒ=멖ai Wy"\BϣyVa"*.'6ڢT]l\](eZlݧo2١LPwv^Do*ҵ} TWKe'Jp!i~@A(,6u8 3d6 ,I?A%+&KoJlδQP&e?@miYɠEbxIT$xv&If/Mʢ/d6 "<]ndEhWN U޿O?LBs YzUz'+KR#8SdlK~]9Rn!6ՅW2̚PjnE6`Mee~@n{*P!㫒G:ʻi8zڛ~J `DMY+PcZ cd d `uJ!k<;'b2&Ok/-mE}fG+髅yo '3R[6~=gYcN NH{? GZS@/P d+HEdqsDGS (07>]GY1wiTV7衚O:iy>sPhݫ7yE@/O۱gYZ41I% lHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/types7zXZִF! ]a0{re$}ʂep֓a~֣]&pT{浯Ǐ(?  =x/V= ;W͌YR RC'Pn.Gىfp>I\8U .Π Q_buFWi+q6ysάمyP/oqCU<[<^ȕR^PR[,e}ۦػ\1m]22^KG=K k|OA^-7_+o !~E?Y tEG( t%cF;fLJxV_vO%%gU[OzDjYa U)#ļXgp&}p=KOO+,Fi3|Mp t.Y& Vybyv"up}B`Uek Q# hO/4gYZy1I)tHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/parentsHOL-Library.BNF_Axiomatization HOL-Library.BNF_Corec ' 'b 1I/ r 7nK(*}wn!{giɠ.C`dhהƋk«6?7,"Ȥ%ZbL(RDӟ$L&quU (Xql1I1RHOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/other_kindsoracle fact bundle attribute methodl 1I# \HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/thms7zXZִF! 35e]a0{re$}ʂepp%,9vac3=CI.&Z?\*jNFHx%̹qO4P|6[ZjtQ! D7MuXtU5e?xN*>H?F$߂C~GT><R4=@70Ęjz$x_E9f@q]b )@C̒C/PP`2|IuePq6K|Jwli@T9379ta)(JzL``n&#\^$"UC-33|.! g~wD _k,LN2NJCCiWȇ̡t\]bU#V]^0r=aSK_J(gK4'ب] ^o+O)ujAde1tNz03\Y:a.} E fDRTtJKҠDYx",z;S ~Kvzw^_@%kkx|N B&Ŭ&Q=졌]0pGFG`g RIڐvǽbx!|o[ lή+&uf,#=`Ԛ)Pp.W=(м@пӫ7N@0`ndBbyv4{u?vT9 uq/5A ps(9p2O(@Z:c e6ˍrbO"W (T ߽mS v ؾ8'UPn)hHD}hUJf+X !Ol"*xۆ,uC|Uꪏt@q>wpHLd_W_$ٛ(5T{KH8=7w_q>"vă?OwꑮiXNJ./\(rY$2: ŖI:=z+|cI75*8P[D:eӉƑ=0GxDix龾WkKb;`Ė-As$$p'G;nXSw.! >NEn.X#6YzFۼ>믱-W&D6eCB'Ňqh&B`$%8fnLc. ˬU3>X?D7[C%cVނtet&oo2zkA5oϗGYlSH!Mm e2rUs(y}oKjΗmg?[* 1I' HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/axioms7zXZִF! \]a0{re$}ʂepp%,9vac3=CI.&Z?\*jNFHx%̹qىu&{FlGE=|Ԋz'()+Pѝ 0X9/ 2zL,5`[%''w!oS<'u=~J('_W-óԍUi=@ DM[xvsСݣ8$/uJ%TP*5]Tr2gg*;Şa5m }g db:4_38ut,5I5P8w붋OHTAsixxe,iGY?!-ŅNB7OgS9?ƍ_Dہ~xRTʫߨ ~6Xm2$1I5کFCPt20 r ^$ fBb=ˏSS3ibK}DzyfInlxaѷEjađXˢRO_&Vc{7$ذ.85o_ džx_|N '!a[~Șٗ@n#T/- AD?eؘT+jGF=`㉽M<8?q!*1N|z^܅o ޱ^kNVƅ2Ib>EqP<&9$|s^;q;(G3N"8}btk~Wra5W$/& #QLz R3?(MU3Jy 5za*;> ų3s`~~t4%"mK*+Š,5N#Q8Y4.KS I2&C" Y1I' 4HOL-Corec_ExamplesHOL-Corec_Examples.Iterate_GPVtheory/consts7zXZִF! S]a0{re$}ʂepp%,9vaXE}.+ntҚekVIEy)p[amw^Jj5tKtC:88 e=Cd />FtzLHZ|;^ж7όǁ ;EHqjcj{B}-M Pl F8T Dk!A_cK>#;X8 .Ac8w/!} rpr3AW^wݱuzC ^j"d~Fhxal)6/98Z ªᐫ񍖛P|K+ ow6=W^0ȧl`B1 T'8r1wj6kFv:_ywTf~0 yާ$ǗZo2}w Ϩ%(}ʦriJK~L}JH jverg%ՏB mBv38f`k#6PPeuGU9G tƆSXۚۥ d4M\=Wh3v:!RC~TrGr1LxkThc'}ο ITG)IC:J\ X>u~X$[TYD%VEa6!HEq(jI@;W N<1 _ښ Lt,;Thu%OFĵ>\ԡՄPYh*'0 [,Pt9ɬY )K$} qJ1 [4ETx5ʜ[XJR_ThU4W41xp`|Ip%hׯ΍/wV {{-#Dq_|Q=Snf(:H+!,X*zL˛. INsw&ӈM3|QTIl6>Z2ۭ][]fdb@sЂ-ʯXN~!NLq0 CBRٗWaCM.ӐJA[ijhQ0x-aG:"{ 6횰KM:z >/Bj]:5iVnE/(t˙9ьwqdeFɷH>qDT=nM|`H3,RL7AdS}oJS.&%Cr4XC6rC)jWuѾ&Wtl:n]ziČ+|jtU{:~i `` $6E&A~|7Z3F7>oÍa^sRW9v 1?[FB hA_4ͫz"S ;[gv%k(϶y|nӖ ".\YlwsXYs %\|,UA}1諤{%4i|Xq&2Fy;]C/X}FxӶMX@4BYEH߈JV8-a#UClGY08?`eȠ9y0Q [`*x/J`AzVEaiGpc9Y:| ^ Ƣ05itje}Li.t hQ`VYOџ] "HuuSgdV5*,0%yD^(). "\~}$#QXkR+"6"&(AN'z1TO`4euװnQW (zWARgy`bթoj;R wM<~sss͙NmqS3x{D`CqH=^9p8_E ^ ,PƤD#7^{1{7#W, v>˸:NV 7BONC<{R2k>2:Ľv^(6vvȔ}[ƫ:7@Zf1l }pS8ٍbuT4obFO .f݉ x7K}*DZۺVFȰhRK ,X(q_0hODHmfC* @4+?wQOĪ pΩL:Q/|ׂvg9HWؕk(+' 8`bw:ѤJ9Ϗ5w 8I5DЧyj0BlebF;X[,RCnܘ<_h. B>Jz@59:2} ߁\aL*c0y?(okGN:vj0\mZyu8N_\yv7KzKڙDFV_D\C+YAښ7,Y#A6n8Au8:ԒċnKՉV qaj":Dk&~MVx>H| 9ͺ8XoabJٗ{HИej%p]ǢEU_7d8A(skrhўχuh`ENugqxZP!x<gE\pdس^ t/iRo> F{3ϡr$%r gOOtNxe]J7QYgy$F}z4^YTv ViEɣ"DDȁ\hxc/1N}LX_=lg[6K}G^.l=LQb@ i:9jR")QbZ"aYn:,My1ZcǞN >tUr ZE#_vx׿ JSz*#s!ב)C03P_&E?H陏U^J}g}((b,2\H5rF,9NK2;`Z!V|!1`N\?OX9PYW6LnЖf p'-]~`pʘOG3-ԪlbG#QCv0v}ep/dJ,[uGEq_U2Mt1!6%K9>שOE.ubRE#kOU[񒎈}`5IMi!{?hY7[ :y|3wNZ!hrƚ-H(|rc_TR#-^G{a_Je'$RDo_;[mSy ¸%;2C.["֣;ƕP9`SZneElO5b$%+Pz4F8ph/oˬ\ͪI\n}"3 _UAƐI Vt=;4pIsd^޻eWaz Taːۃ<@K:-qM{ hU:S]Tq^KF/i)DDMsgcnO) v b0un`p3 E` ?c)2f,mURf#ēhIs.h<5~Cmb1BQ3B$giJt >6x=<뱘`A 2E%^g-b!a'y,7G"}cz6| _ξ)lƬx/jHf1[m~"G;@wꚏM!wSYeh9ǎwT̀}j(TKw>8iV2akSz#y*1c\)$%4ie^.گ?RCdFa l9,7hF4~R aNn:Em8F2Tӱg>'WXG˷R{j5<:z\ ^rM:f y>'#h)TK`uK,hMF! ?y~'9ZJ?wGQ<=ʛrYFUR1bsd*#oc'՜9.(2C0]p 'D(#s|#O׬$-Ru7)U{_0 N[9]:c[^2r %pN!oSuwuz;kWj=.fZ T4% sҋFl<Ǣ =;`gr`F"V/6嘤˷}tb]#. szS ?FX" u،1`@ي.$Zrq0B(teYKs'{.FVt1Yܙp@r U.|?>5`LlOLP 2 FN4prLi֘վhV)=0!fܸľT _%FJ0$ aV ˺pE QDFEsAtI5hߠҁ1Ie;lIwVV]bMRW~O "P/f%d !b!`?կE^v6~վb[%SeO,)mdHhW*yB ~!1ŦD^ѣ[HTj¬^=7#,Wxua`eYAEgL҄{b(DwlyHm*S#LaQ ݅T~]q|RFlkONrbjesc [V=GfS(VKe!|N7JCXpiaY8pqjIJ0I!`#]q 6ȿ9}=(qNrVro:֮W*֣Jh 4 5S2Woz #tƁ_Ciidk(6h𧨃6\V?n;;Hڞ9lم CKc0b&k=z6P=ne+YvAJvEp:ɠF:6MjF$N\POx-i 0@a; ͥPdѼE&zX8-:# `:M-IrN&娐Hk|(%Ymi*DW/N%8:1}ISRQ{-z u:p p)M>ɑ kυc5DG nOs s%kcw[Œ\x>NV-́R*8)w{A3EW;ԝ88^r?[VҭssIxk;E!(ZH#)9jt4nZ\GDxǿ9| 9Aw#"UJTqG+9At '¦>^Ȇ_czqړϨ6%˒ɥ Tv:`hɍ͵&` HU)`s^ dϷ3JiªO3:{Fy0`4?%p}g["{ &Z+b%apY d\'&D>:IU,Ql!ˆu*WJt@ yAKv0, Dx 5eXyUAb{NdTS)a \6ymu,߶q?)P)>6Jx v2nA 랂 (a.Gg upY^x}SQ{rTN#%%΄C<IpmYYa%rv wmW\_v ܵ2%_ b~!4,W4f/¢*,؈) 7,;*^l?R'~&!Ipwy2AE*Z3*ėjNyB1h)\|\U裧J$5+)^1RG,IS4L?igP`n*_cҩc #ByfDYTxn㄁7mT wNGVʯvMԽ%cN _XeCn:~rKކkHo 2Ai #eۇ|9mqԸ}4> /vġ%zWa~etIt&8fئ-8Dj8Gi#O;])ϝO^ЭN.-/*@+yU zJ&b8@é33Z۞U=Plr1ᅥ<_z`|F ] =¬Ai \{v^ 1`q[f󝴟 .p9' oJ[Ӈ.WՌ6^զ֊')T0ntDmA G\DOZzv=@ssR4$a ~8B`[я0b\PCEGe{^X67|/jårR@_SOZ-.H3^<ҝLGe^bezs<{ ol".HriϠWdK7$4>;zߠk͘hYd7DXm̈9vC 5WAɱ+"/JD` ,nt!X( )c߲}D*Ӡl1` Mi0_K8>ė2@CNдEom{wb?pE)V)2y~A*i )\·'T5M{Ζ.I8@sgڞ{$UI?Wt_>UI'_q^_'ϳ)u XT 6T he#+&@A?I$Jz"(? }hUYG9FCBv;+|SE$T6)lYV 8dƒyu kd6h뾡Xc1y`2xLϡTwrS)HIcLs/5JN5lD?`[ǸD@RlB!y{ȼ՝&m]4[j.ss"z鯥;k$_=5] ^%8mvo߆ X0N{JXTY*jBI-cBDbIު0Ifv$e@+{fQ SW? yZ1ň8¼.#!Y@Y& )YG&TAߟI-dUl˪m|I-tcp-hw>6IIݗ #wvvz5Mh?[["C1q^?pNWʮD뷅A"f >elCL3z㍢=3IZ"ϬeQJ҄˰>oРwAw<%W `'_"= x4JYJL6n̸e ƶ2@ utBy3{9`}Ӛ9[܇8THq vKwP5>hXG1B\ƷLֳ05&@{g -PLjDmPY;r-T]} zX JX~>6L*()q:m~zp,dg*Q (ϵnXTy>&Ω;AU֊lD40v}f\wLRl~G׾Dms? W6]Lt|qy@r-An/'26N{e #3Bƀ%;:3Ņmf0 92(7Q%iwsL*"‚al[nf~ &Lh_GO2;.:^1La *{mlޖbۛ[S jA &!NE~g"PT+Ggƻ|0ȗ<3/6Ic{7xHhO("f/p9b/S`'aɰ5t%3B\h}}̸rd~Gi&9mio [ p$5.)9KZ/yZ`E9&$L'ʧ\dFkIe)*=G|,P"d @hG:~NVIiC]z h竝؃ҿuX%}V} ՕT؄`ĝ_ZYj6Y`m@tO Hl @J4X&M<˔JYu[_ĂRZFWi[NլeO6^Pqk/B 3 qۥ#`VD U: m "B~jp+xͤVLj%iY!#x:1oُp!0$3":EG^ҎEDN܎.5v>̽0ao{rC =5yas /4g"$9pN0, KFEY_t|Ѭq)͞,L RTE$\U"O`'dRHof$ٝEc/bxVk ϕgYZ2aq9ݥz qH>7ȇ/;=" vZt{78a@6H(L'r tS˞~%$7n.pНp[z; v0Dv$]x./S +]Ơ|<>r tL\Nr.VAʏZ*$o5TV}*N E6Q:dTT-d׶k.lY|a_N3HXAIBU~ A- {To?pƉCJ(Vx:]d1{'0VH@W0f^_OZ @ х`wek _&] ]*/_ю̤SOȽze \Jy}[CSF>X`,GiþAjv ҄3I 31OWiX.E5: #c{^'kb.-XV-?B %kk0ftH;zw_DegJiB Χ yHUԚ*s /W/C*}Qp)eUI{D˃ )d+5}nK2b`3'+Z6z6B4O  Q<}օπ fG0v`m{^ 4i$$87\S[uhK56d{4ATlFGJ TZW"J{-,p|BԁNiҥ]ۖD3~v/X ݺYAARC)*_ޮ EKtq:L@`L a%FP3w%Yc+AY{Ag%GU‰_ *}&J8ǼՐ럥 !5Z8Z}9G qIZﵟ0V|ڏlսt03(G@f=>-se`:c;t3܀0mճ[D{H' hB+2 f?\ŸTBV+ś` M@#Vk hX7$4fto]jAa*'Xw4~_C7䈠F:"H؛!m>MKas1)ōu]˖KAj(h;MTKX4т]y \e]/BεLQt? nW2e%9lNT_8tX$,ݯ5nQkj\A__yU^k+pY"JFUmmH)#YF\̞"s)DTx!Y@ps_'֟)1&wI woxc|~iewY ܰb !O&6lT>O_>^B0/+9QQVѫ in[8ҭ15| YI(/]w6R[ spF$YIre3P&5'tZuA+a]8ݠ:߼^3$lHˉC ؛9ѼĽ%S?̿4:3S烂2n8Z}:sCj~"~F1Y;q"|Ԛ忈.u  v@) WaoyXxB|hpdk@s(fojHq/zZFUlXZ ;af{P_`]L=qAy, o7$۾Y T۝0?iIvNYF4o % `u.#l3ܧ*.jć91smBO%+fŚ,b@eg[bb9(/;! $굧Ϟ-YGAHc&Dy^~I(њ?@ܰ/qrb5BĨq>?$N_Hv.r!B9Ib'ntmCE>z{bb|ʬ<{Va0Gp8c`N˖^T_:ȘWdzd-6=1T&9 nts}Hvp"edΟ\qVX Hpݠw1BHѠWr jx-,n8upBYՋ)] m.->nu%x+'p8tu5uԼ[ ´v:3]G~=2[vbst#֪A~^Cl,Z'߳Tmҡ{ҍȸczɋŔSEO]1:ݞUդJ5E8[%u:-ŝu٢H&Asudc1FFXԢRjs/2#|yG-)9g"}Mu@clLL09s$>5>Le g8hGY;:A$Ș\&GxUMT;n'8CN1"ρk[#& ᒁ " x5Z *48Y,QK\zbWjtosoQr[yVPpFWd颭:魋/T5BL0Qo<$ûEH)]l%W!/VU\|ˑb^©ϵh{JοU،ce/ӹ 6($5u>b,,ԟ%<[2ۏ7KY\T5s8+1"^ޘlА16v!%3T Ek*win["҉@睳^߼CFž>6B1͗6S[ g *Zā; oQS=cԟ l?z&rjC '%VB7PT}mBwAɓLZwYU^±T.\ hFo@ ili.Ʋ a{mcXv_9rX*nxO,ׇ^d^GMӔCѐ K!47ƪqDvU e'^1LB 03 F, iocܪd0 F$s@Ν9#-Y V?7Fs2<dz4mc(fx9wE.󼋜ځ^]ɖR` pWŎς o(m&<…ln휈q 1M矼delI'P<]XFd3ciʷ $4| drB*[_KU0gH7Xw/xKcTzCe4۫:hPOD5Ts{|sO!ӫZ%x)4.J*{{>KBg*%v/E }g Եfm˃et.JA~9Z`xk7V )#+%bW>y j^9܁p"a-GGMDv s֐ȃI@ rL5Oq=dTiGu艹)i)H$x8G'nk6c# yjeaVX%(SP:|)oy}X̄,]20ڌ8 Ծxp霯u 3a'Tm )Wԅ2l%'9@y r7맾䬤K +bΎDb3M8 ΂61$nD|ZSph֗@P_syY wb_A/<}ZHɬm!8 g/>Y7\'F]I@hgA?:\ݐ60;ѫe+WP=Ҟ<26f+BE0z%?q O(ګ;koH)F<|!C-G߯t^ f80>`BY_ʜ*'ynHp@Ӷ<7Yj JKsǐKXIia2A <~rP38թs6HAD2tTj-[%xg&f2 "DҘDz}NnjZq1 xԹ]}W693%Lncګ/[yq)4zE>M){^k+&و†|}bm Vc Hqm[J 9=&tfu)6qUPh@"Ƞ-6<ho40"JYFmolZfpKekD[GK eh'_ij|uʡ)x$7Vʼn>d=ɒW WD `ʝT3ǦS&wF0)Z4C}oShF5.ԓf/O q>T R VmuU0FZ"SѹIU'AHlk` rZk2/ƪ=%Poiyz4~_GƓ3([~Bq;摾LZ-Uv?o6Yi5.ئ"lv$, ʼHr%N3-+ N)h@TGgB`dvx.߇8 bFq)${j}gCUPzך1[Z WδR>שcJ?4 gNaZmutE/&VbK)0иE(=\}ހOy*FlޔIlږ`bM LR&-#o}9~ؾo=K `&UAlQRAj{IEǪ<}o^/+AҊ $xOg1..Y˧v*Zy7_I^˷#`_`/ڠhG_)̯P1oP.6$ d&[p-N;"VexT˒aʏGF{cșE4ەrbgTΞfJ9ĹE%.?o+rc.wG?DJ 4nZĻNONERMs\vf=i%fl;B)ߵٳ-$~^Bi{-^1`VPpI^ ?§D.0@y0TG(\I L2=:f\|o\x)&(Aqbn5Y[Aӂ% 1/[BKlPU3օ;zav/4(9D:>3ԓȈP|!)ϧ$QyQb̑b_ /K20vjfAلRC[RL Ѱxc֮hWby*3㛰|Q pIC![vޛ>"z斣ԕ0!J08yaP[#/:0H@ .krGrOPSAX4^LJ(XLl%1:K3|TԼc:^z=f~j^(1"iׁw/rj S׍ғL~lѶՑOf\96>XSQF R܄UJ 4={h633-lŸYی8rtWcHi u\lbѦ|MqIӵRH!ӟIU8AMDvB'3:e:ݨcʭOJ=qd@E&ukI%//VeUFG:Cz&K YRFqjqInhW`5. 󲶲#~7k@w.3`R-Я=qg5J0Hfc^R@|G[֭SwH*ȟJK3auaέ NlB-Ol~Y:N _z7[-,]hW@m#_NL1њHާO`]c9O򵎖ƅu[ъqn&~1,eP9.`_Z F'm,M; J48 s9qîfy{2 kC+%6FX _+pSdnac^?B5Ae p⩯rtnNɋbe.bဗT 0;yJ$k  Wqt@jd>-2!rRZyGsʁ.g8h_Ϥ#BpHe,uWƭȿ,[>W-]$|r#+^DEi崂:G!E1F1dV8H7*8B]]Cb{ތK y*EnA:.[e˅q)Lea @g:j|ZpvE!]a)Pݞ^iLrҡԍoc 4_KAOMW00qm,| M 凵rwD~(= ,X(;` =s-bps0R*$ s!w/0#oݒ%8v8 *[Dju']#!b+&@ ;}8.rLڵ:ʆZ9!OnQ;4J[a!'/&AM5r~χTXg߼. 6^ d~sl#m_o^(~]7N% #,/tD; @b"~3׳NhT#ŭaKLAؖjʿlF'掚Se'z+ IJ5KuZrލ[%Ct/Ri6ɘkT29STy(HIsꏖLL#XD/Nooo<3ukYP&Ci*q/Zҝd B5OVuR8}2NPы>Nq"DjK%H;T+ ug&wn)*24֑%&Ȍf<Ϫ}c.G_Ýk]LQfug,&GN>|[f!L@t@IJ$'˥Aw-A{+- p* G(f"XځWOAZ4*KA< y@_H?u6G7m-jWpI2QtpLsw-n/ng\Qk&^G$!@S%=?"ъ ae!1~ڷ8kqDvJJ/~ Kc%p '?š}rc~%1 ˞MzkƮJfӢJ꺁 #8Ώ 5zaɫByB7ӱ6oe"9*H#Jz4do5VYےԙ;OW sĦV6X"oBIFfCCSj8ZzQ4{2qwT/. ĒtFF1- 3)jr'@I{K,0HHn޲ջhJqׯd 3&nY%;եK-dt"*L،%=UThƟ&5}WF{y|tMs ë ' _6@'.W_;g4=!RPay$]G6Ttxw8\FҨE 0B{zJ79gyցZ7]{23aδ8h7Yђ?L15A"&O+%Qe!g#}_G\`vv`(9Ⱥ>̄j-*^F"Ƀf痪ȥL{y2^H=(ofM9o21F& MtVW#*Qf-|!Őa3RƊR6Fçc ;bb.=a{sB^Ft;~|ϱ<2DܽRv0fY\FPtFV ?2θq)vH3_Hp/uccLFW^lT{ I=זk`φX0;8@~r9<(3X⩃wd)romR$(mtbޱM-BNyDT ;7%u*OF y^Q;b** 9=߁EJ ;BJV d|kɓ k&sv?5˖ ♑!3y1hr3/22ihR|q&%NIx@L)ߋxH vtܮiyYi[1HY -)Ije?J12j(eyo5)m )+?OGoMǀ9xQ^#fsm?+2 ,|H^{iiu1%=p nds^R>YҾ" A>D%!|e^sKB;I?[P¸@ T.fM,A4 IdY_@X䯞 xbsVD@^80t81<8#s|Kh|'UmzxKq Us!m&b~F"8K *U~Z&~Ơ,cu6Wgo!yQő־W\)0MC־ 2({㩈>#eks'g .o?8%b _.J9Pq_3Sg_Y,_*n\08CTK5ОˠiBp"T6vTBؗ *~ ~"LW_;!%_aD!k1&tׯG/`x9;6Ȱ[ L,Yh(3Er1 *gk C$ ղw%08hWĆ*ǀ ,*W>̄I 8<m]?׬M]T_V=g1c\[sh('" t'{KwzBz}kbn^5aU&eoBN(!Y5wZ4LTxMr҇tuϱ!`MJ[ g[jwQ@ONW>N )* kt_rg֋5&_ }gYZ m1 1A' lHOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/consts7zXZִF! C0]a0{rfh)9G'+б+,/WKW3YWqvT8B6.nZ]k{ދy65tvEÄtϏ|WUr;YҀCAYP8]F~t<`:i|'Z9U~ɕq]G x(5S`%>d$q\ 1ͽKV^A#*龠/5숍ӟvNدm[ *lE-0pŕH'dMv*b8ӷ4e~),kfl,#o^t٬VR#.r:GA'Xd((tc-b޷q<&:S!94f6VZ:%㮡kiܥBcAlax_Ab!|`]Z!i>H õ\Ș+Fu2N2!SGҳTMTlUJ=5ոR/{";3AR↕].Xe hW&uJJ[=CH*>)u3Ƴ$T,3#OJ{5Eg M0 `z8;&AY|z'_:[#"b7Ⱥ^.0ptJx{EwłpY !k\q 5?;I>I*xLªo6 FS=U!U4X*'Ҍf]S>aF5'#^gđVR6|%Ѽ(},>m[;S>[3Ma~ ҶaQ@J/Y\[pu…c07NɰčaFDzp|^.Gwu _"u1rjWyߒ(pucoejH+ ;f|X֣UnP: S8>(uy=c$i.vro1cȭ.{ )uW&COp[@`RӼYxEpzcaͧG~ ǰa,Z FOpU.9 5YjbX2MyuL58~ƲoxCs-l=/~sćgxsXM'&F@>EߕOE|'TF3.^-7Ĕ ڣ! N<'3}_4CýCaz \4Ω=gYZ8 1A% |HOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/types7zXZִF! %]a0{rfh)9-K*w-3>a$w,A9dbڝDrSa/q'6avb)ፍUu |hKx+pj*>j(@d{ʙ>pi>|\,\ kKt)q-Bю56n@<|V=q?gYZV 1A)6HOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/parentsHOL-Library.BNF_Corec ! 1A' LHOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/axioms7zXZִF! M]a0{rfh)9G'+б+,-RjokLNT?AÎOw|wzԩł81)g>19#n /'̌H5pb*A B8\x$y.id E, d3=!V?;f>BQ2M`f `0R-ej5fGٸGkmUX֘ls p]ٔ3۫^.Cq6 > VO2 &8E(-1%NGFvZ>2QO(j/746!}Ez I5S=Jvu~WRqCu~* ޷OH(*FPex( ]NCt(4xNk"aƑ;p:eBJ65/Yҥ]됋3Ipή)Վб:!n@n=΂3\of`&WM`Ez [Al|IiuzZ|uS@^aŠXR!J@kX3N:Y厕nm *7Nʙٳ p;s#ap= ǔ̍dQ@^yż (FvbGRWQR"4]0Àxx~MȆSZ̊g0ٚB@~|ZNU fd8%IލW3rs$eZhK\Ŀ@ו+4F-J>;^>*>~F7AJ~2E7(VڣdEoXG 6m; kBѫDq{^&JTX60KJs!aYoGO)kߒxRsDt+Y6>[]N9 x`:̿6$^J݅~'][~?i\?n"_E$!CkNxF~=n,809ёke[lRR"!0x6]uXˈp-KFH'S? )lla di/GĪG(J5AQ;̬|`# PMn F=oi0 nu OaZ㣿R} xܯ*ҡ8A̗|s&H]$f j}L0{| [z-Q`9 gYZQWŒVpե 6;UϰPZU&;4%XP$&l{ }l3!|U/J1vG3l"b2Qˬ=V;㯜nŸ2z62IabEEf28f1F̑1~J`/b!v.{B \7-8"k4*[^]7Ǜ3Iowf#1da05`W=ٶTZĦ"8GM04!rD|Gh \m3E^Z ݽ7}@V:)b* 14j ZD^0 x7^o߫Y_q)NjCP*ԐY^s/'EK8Y#&DX(a T*G3(&eZ|.(9 ןh;NNa/v5_8 Xر\i*7<.æ\Y4tϤEFf'o^2b?z&:+ r-QCFv|yG WIvnxE;~RQ,;y'Kds$oz!&?GɖeZrfC;SUJ?*q?aa. _v#/[eTNYelTW]>Is}& \tTg7Q%fcTBE*v;^ў$7& "dV@5 U98xʕu3H["KY؎ufd]"!fC<1?6=#.iaU^txC\G ĥ&v4R&Iy؁zS$4{lִ?C0;:SR~W`]Jw}*D{OQ9o` 2K~ЩK6W,{/_= bK!TyA5UMI9VЩK%i .V:!&ITL>%5ȏ(X}anLQPߐM2W9nǯ?SB{3jf%&0;€ؤטtcQF8=~e(H|{}%5wqkrdMMb#S0!RVq)h#j[@pbvǏ mX#ƈK㨍K|-,FkQܦBfa31fQWvn^ o6z]e%6=Jr0BC>Yc/. K?ܼ.!:%+*TR$+KD8.RrPl"+B}O$A "5E` XZ+ x5Q LOTߒW>m6bEvE(:edkT^BaĜ>K0zg'eġvA}݉ݒVP tbQl|vhqm@-QYKH8?VnY#DtgR?@;~KV)uc=FܬUf? ZlK(R3,œN]$6pS.m%__=<箣G^y)G~^R8;X)9m߃Q[mY@^+e,y@Vd%B.Aq_Edv4j8EMVɑ5_+3-eX OԹZz'&CsqƦ:|e(?MzdQOW=hiי/n;b~BگoY2gwyQ3f2Vˆ4@rdty8wNYɷQ:IdDg#$ E3XIR:5%}R-6B6YkewQn%nڸDMO]Q~ȟ!W@>Y:\šh9$n,& 1ݶ.yx)u}_OH3p$ ʞoud[0RsOyg(Rau4Թ~|@K-%^ w8Ku%@D^i!`(XHjt55Y\gf.+rbb{ oueb$g_6Ɉ -SufI#RDoO?[.)!dC5m!U@x]_;_yAŒ&<1~S3LAXܢ.x\1o:v̱ hx@F]|Yw,&JHCS S2&\%>;{J^tM Y1*P.Q!wJQNٷך5> U0~ nR" ȝ/b3,Ť^Րb8-|JTJd6{o*ej(8394_&=.Rz(EIU=BrGio5L .vdLoIFR0Y&aݾa o= 3㙉E31Y]@0x¡^ #A^Bk@aٺQ hMu+|I3(󡩇>Lj `. SjT7b5|L-[tTMGQJ`HN.c'<6RE,ҍFۊ9 N4HM@r Xqhlu єQ>Iڟ'ӕ2Yoƙ/Y/|QL%7K&kcwiG< }Sy+aKlmVwo#x٥Vʜ)D^4 sKK_C|;hm-&f%421&C_tyt}upWl,2AQ j!;iܰeюӰ'H]@wi{ m$bj@o]02# !H#iG1@5L2x6 ĩ@ןi'!{B=~Q]lcv!Ha6RW PG`z_9@&4a*!aI;t{z1DS5ɞd]8|m3p-4ω (1JmR6__lBMNJNuA}eF.0Q7AKp:kx~M*z%@֝[Hg/JZ~"8N^/~S'T9Sg/eNb!dČCM_za;|&S_].W .@Cn3 am݀6s='=ft]! TESC5qˊmLU] RpufE󱢅 47];H#S.\Jeee! k,sAYh8Vi`0dۋ&}zɭZdGyBeW,Sz;G6tK,U(RuՁb`=l3,H1,Ē],dT(g}"2XPx8sAȈNhkuRH-Xr}|t&bxRXHBJ`^`{6q^gYZ cc 1A) ,HOL-Corec_ExamplesHOL-Corec_Examples.LFilterdocument/latex7zXZִF! ᡐ]A-MՋhvG"uIBm5Ug![H9k5 0 2qz2gr@ֈ""/-&t-WyռR#Fs!Wo:*hF$τ]J^'` 5õB43 h [ev̒h17ҁh1׌U֫qgv[ʈ<_B_\8]&ʥnUDiw>Cq2?qP[mDp |yk̊C)Ԁ*CGk͒K :P0w5VS\"pG+tm39^zD2YEإ 1kxěb PV2}ג]O%qQ֚ םN[?! rRgtA˛ N@̒`ɔ#Ź6R>^/澮oS:oǬ< Rs,ahh2{ }xd.pB>yVdtׁJ| DR.&w81n)]3Hj%q,FAg &"KQݝ&YyLъrUEPJ<B!̀d@>hv_~o9O  701>!&y| 9{D#oI͟t;21SLDbDUbf[7iBՇKFMX7;ۛBKTP4 5}TcM2b*y`Ơmɸsew4kdWAN#񧻁˞Y]ѫ|YT[A+`])XMClI͸? %"܅ֳl 4DCuLi@ļG9 9ςMVGC `3j؈U縇w4)C*[t Cr69e Sum@Mƃ;Sh江otm. }s1eƳWHXB3aZ\H@KlWq'wYpǰEϛ-493#: ,kYw0ކ4܅\pI|ypߍڥ;fA8^j 8n34`{hk0ĝJkW߈M &cZSkHh$ҙ T% 6"K/a&K҂w&veW~\ƪ&+*mj_zJ|u(HH#OkK03.jTB%)/4BE)t(BzVO{qH*/T4|売lywM{a%TuԷ{)VD ^ybMeXn=jQ8(M\sw$BH#NG#l j7Of]ۖ '', Oߣz"G1Jrq]đ^u'$Eo:tEe[g>:zLgEGwx9w!{HR|Βz6mafpfAGb<BPw9ǯ dK8Xw2n*s׆}VZsm 9)nT.q&2iIۗxA&7^#eB J85Nn4xB>o /t(fH+Q)Z _3ևU1ji5 iVS Lizfz~˱mw%x8Lft-A,W%,t%JuWM-6 |#Վ)vq\>q_&'UHӃ \aj/_&~Ť8]rё3avI#W~#qJG"sb1Co?ҁ߰2b I4آ%թFR: &t~6,QKnג-Fwcu]s ݢb iɦk]%[Ņ+5D$$|j5? C˄>%!*Y?mvTp9-%@>ݷx0_$y3[2NG#-CA5׼mnTJarHaPӄd9+XH ~*gs}FdJo s*KLqh`Ö/e@}" tQ U[rsu/!D[/d8+K$޵!ҟ^;2N7lcnFqJ.n<{h3ړ#zzjv< P*-bX%8k=F}%tťEș}N8PN;`%~POG>瓽62Tz$akeH !<6mk/?Ss/Z30#<}C>2 J`*#ckoI*RPh[a$*]o*94?#]htHAd!ۻ}?͵ߜ Gбf),˖4|g Dklx(d`5Ot}-BUTG*NG!i׿M" . j6xի9"RM4J_Ak>rGL;͈ ?楫~TNaoKu'1*t<_&sCkBE؇?CbӲ,Yy׃*6ijoiʩ~}: \eϿZ"b'0؂;G10& KgrwtV1+0& hpI8""M%ِe?-Vz60$r-Nw%*Fu`S=tfQ3~r`[Q|BY?s$D$a YԛüRU\ZR4}cz+F >tNx"'n[iQ-5>afk5l"כB[˼tUт:.K32 .Wzϔ|tw0bֽ$p6|oY|yr@h>bB;de D<} ٽNs*@֑6$ Oی ¸!=ۗh 18)s3!e%` ,Pu҉^4%զK)=L^6XˉMCffTAO`%,nW.ey3ܡ/ry`Ƈ1'Gr"Hv~ Zuu.L5#Cz0)w:&,^󍡨;EunX%sDWCI* i,Ce^WBbꔻ8&-[dSG$3>l>!Ux|lp!mft2I9|R6 "c?wNKg_ϴ悩vndV_ XwV51N H[ hb"26+%im3İF{8kc `Tim^bJ 0'n? [B& %mB^]@ ?AU Ϛ6[VBu5|d>>Ah*GF) 7p_I&ZKhdCCv;Iv::sCu+q*}ftž$jXJkE P@p Y|\ WbHy{bH{'Wq>wN625EPVnz_XXEIQnnCT_zd}zd<R,^W7HZ]YTv}켯/2ǷHbG< А-qg0EX`TVא~B"} NQ,pƊt.zlz])3!2l}5Jy&GedRab$z2M&9P4ɯ9>MIU>E%?`"U\ s}]ED@\1L(B97l[Ys"a{C4"WDM]e-R\ɄkռjTL2 0 рiEỹ!$KIs~LM-yţLآ:\>꬯ UM;!Q[$% ϺYɋv>)2d$Fp*+ƻK\UXs#럷;Jv_䊶@|nD smtHg#\P^Y־jazzLJ'.fȨ$w ;bhujbA+.Ic4񖡐=^'=# bfR>ʞe~U[~t Ԇ4eaw$5E [̱4JJ@ŀ Q[Ks𚍿"ӥ;geĥ1Fp PAz(i]t @TB 'Ch N '?b q4tAא@(ꢌOI UI_v }wr9΅'M7{j?>/L7  1޼氲s}q̳'SJ5cpu?et\‮ZqD6 ͼv8;~z3 D? ^A jo9i]!y*S8.Lx׋L(yE6)ʖ#Nj?x+Y]ST#P Cv?PVE.@s@#|Ӷy1/>]N}-UhQyٔBK/4lf [#eEj9DSjySۘȵf?;SVm"Ft01T>f9sa 3xg+R^ ͟zqrw9<)vY$sG$@ؕ!m,[Pc c\ձȎ3ak 6{XD%tU#ZzB`K0x)Z $k>W $ A_Z螐ƮEߧj4] 63]- mC3kRL9[(umM=%oJěaOY}IFCm)R)tLa2ybӃۻV_!x 6R{t<*hq7I+|VI[wȪ`W(tzx(ZS!kincig_3o=P[,d6p,o"Z/Lx`K!9?Kٷ={vB!^HKO w+@D_+jԣ" +q3:r@'kL=^Kꎩ>6lxO$!nپ#t#\)STwUVnQ8K!XEzOWv Ys!=e܋I&L7@)`r|yɲN5CҚ?2V9D>gS}DW~4ܠk6cq, N;xF&9dQ &?O&ɝƬF*~<DdD"|-XuS-i߲7~O-B0.#Fb!M Vq4P@Bd6Nl8gaC2ěr0R7zԃ,"UKvh1A1RHOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/other_kindsoracle fact bundle attribute methodc1A# THOL-Corec_ExamplesHOL-Corec_Examples.LFiltertheory/thms7zXZִF! G]a0{rfh)9G'+б+,-RjokLNT?AÎOw|wzԩł@sC8)J'OU} WJk0iW RFzliF2Qo'R2ˌ <5;1^T4l*H.SB ʕ{RuϬ4 RMb0&w'9dA^TMÈ.ޘA<5Fs@WZLD٬H5 9*P2I&v'ztUjVuF $ ~sx.ɬD3{|7XN EGKJ7/i8?&@iMKF @)VVsܽZ|M&E07ԓ7vZ/QS҉q@ƨyQw v6KW 'VJ":9S|dthwo@,:5O ^`]A]1tZM2. d%1j'B Ih7vxWr@?)Vqw `|iv%&RfŖ}Egp ㋥FH\6=8Eے"ũZ ;JzUA-/}Dy=pc8 ZDA6,]A B :ު ܠSx@KdxXP:C{`j h.w6{F{{g2;χOySh{HJ(z6 ن!ߚY"Tku(G5.HL& LJ1٠)۪6 pAX%@#Z:|VXX`l4j+򡴓0;f4mV sns }7R[wv/T? BUdLӍH@̔=k 4Es:ghRP>U5*B% 56;21maDI׏Ɏ:vN?RKU䱃NX޶9E\x3u3FG6#P R?:񀶤NyOշp@D{/Y5}URQF3.IoMX)Zhn qWC%#hZǾ6e= FY+PPh.ȑF[CmisnK@Ƭ;$/aoJЇלx9Vҳٿ^u^v lȄ-O=#gJYC^r?A^$gmBl(an"4|$fEl|'qL1ޟ3P#FL;'ܮ"ȃ -uGP)WPncP @K;ucK%̔4fB::@“/7f’Z(]VT]fӦHhz.缈!ޥ>='_';6R}P*̿`~7w z0#x͔D uhG5}eLՒ ErEVq. jG<7 nEWCY7 ga{T gU?8)b;gI0YGz1w3)3\ZdVH oYSDZty1lĞDK݁YAqw$kFڤ@'Y5?}(l*%jv>1RRWm"קi8rB k> QdrVo *5@>kdZR7 v8ϙ|~ߍ"$Yd#i'pBW$nŴSR/An38Br3p`|ou#x["x{9QE55-ǮuKގޱ砢N*@xOeGb/tw rE8k. _] O੄ jtJLvLSRtzH8x\I DjuVDHl  p_oj%$|u>ڒxQ^p(MKj;S2O-9 2112bN#V)>t7CeQ+mV6*n^Cv%"7ήgx>'W A!5nY Vr< MqVoL[)N>[Sf/A@v 7 w|ZL%)X;e' \/&Gk.d.FܫɉR ,qAWHR-tɔaRb*ŴʓS~'iɋ'O`O:gW -ف zKi7 !s'b] 4&uv_:q +]Ae gAWjS}yHsY}n5f?$Ѷx4olDD/qپ:UlDYZ1ݥw愫5W( ))>"l,fѳ ;ǐ|9L ZfӾ8eg=Uk&#wlA!`߭" ak07ME컧)8>q2.8: w0%O˄Q$AJIVo+K~3VD/VgҵJ-.m-*7@0mdyCeʴ(׈܈rn#Q] \0MpE<5{I?ヷ6cF9Ӄݠ/ʮ[=.%µGGt?+ *QR`q28(f "Vcoh23O͗ŷQ:Љ(+h$V NeSiҷaSjPM8ߙn=,fXB{%Cm {K5Y݆e^[GYF,갿 ]LV\b0rrZް:o|bHD(HU t-}tZ;uGlِ|y.$wOEeS\UWzai$ uqT?P jKAhpL3u DyH?B$Dd}* TkQjH4޸J'HKm 'YI]B֐܌hC]cqJK%8Cu]' #}|Ӳn( &k1ljT5HV9E)/TO}#չYNgs725%KՕǞj!{فdA4##aH**G_mL0.tf;Qߝ6"YGS+R =I ORT\3Q. Ahg]aD;WhRk-H=)&6d(Ґ @/BcM+agYZ N ~>N1 1O' \HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/consts7zXZִF! V0]a0{rgp&)u3!`+ҙ#VV5;CPydM×%*WB 'ʑ[ZjPG?'5&ցoFnIcNnF 0:8_n84 UusΒ~MTrK h+n}[c 8]je؇m.RnmGץNsoSxX#9/ 9e w4)0#yTS ;XTm:%F%-hhq|(:KȻ_VB}tHƊ$ZX nxӛżSjoX=)-b)KRF2r/A"Ir~>sL+Kp~ cI5.)Wr&*{)> N5z X&i f/x6|`}~[ꩾ6 8t1eu˒a>@G1ix<_ᄏ:;8I>+ ԍx5W'{OQ=cEa)*޽ ! wu)f!٬l 3Ŷ7~)˰77MJsQ79/\OH֎!WZcE|fLf#+-L'e "KJ9qF 6~<_(mR1G2=`xOdڐ[v;R' h'pjn ]G2Jw%~K#vp`[y-0端4!P T:sL=RP> &?Նp^L]m 1|n ǟ-Zʄ -1knr5A^.7:Œ݄KD/=ec29T"Ief=Da VWdw36Ɩw4"!-"':p.pFthE 'TS1RRy&6+}( RtBz7E{gkE%4Ի'M(Ƀ_SA^F%|x?v@K(RsSW&~< !H*@q wѐ>L+S  +BQ0RCn8}_g}ݶIo׌j w94CG]!T;΂?fK *Xan@Qpw5BgY!,G;Xء ?lx4>r]KcD@7d)ysvVȏt\5.w_=꺬lL S<)Ffʛ pb\{ՠEl~ o.6} ΥZZܤ~QCQ9ygYZ=D2٨.2 :mտd]?|,ip87#Zf-X6M!ESw&pr(ZCqvJ>8) @RvB:彎 !!/T-9)JsIIJXhҝT(?$nɐ7kx EoaP'ZLs6]yzIO54t,`̝hMҾcݟ- g zqy+.buU^bnq-Θ:Q kЯ1W"_$LwقImPNjf/AF=Q΅B%o ;#hOW?֟_ƹx ;Nvd˶cs6B C&N"FU A@tF#71Eξs∃)yK_etNVg5BJ ?kЪH/NvECԒ_ƳLЬ7{@odU绋#;H _#;#"_dI%H0kwQ"~kml4Y6zh]SAejNRho)1zgrQ3Y|" ;b皮MJzbނӸB):J`_c:dvhN^q酛нQݗ'rLDJZ15\ϏTXUVk"_:sȮmԹ!.v 2B<~)M%b,) T3fte?| $6Ga tdN/ov3:\ x`Pv̤;wBq~\XXUuPmq'-G]欎p ض(rOt6EWa,Ern M.4i$(KAK{}dp4<P6t$9q;eB+yܾBLYA)Yx<9؟zVq-_P'Q`,<|3ox.!sK;j7.V}F -lEVIpIJ?Nt@56zSjX oK%)/bp]fGI G&5u($cA\F%H69ջDM0J!f#8JSF.>\}I Lb;X7~bڲ;_ǏSeA2su"ܿ h!Z"ou9@q{}/fYz| +/L]c5Gqmg`/^4uqQ" }$cNO=u±}xDwNBT%b6FYe ҉?θ]ch\sd-C~5Nj8g8F^GP5-yňVR5(U%awCXE[ ~#Y>5uBmQa0X̦!9 Akp?[8)zJOyIrbABTWe ѝcO X*~,sfNsⱡ`/773K|LO 5]A`Z'VYNXQq:aSt;XZsf躰 @aD ZQn]Kg8b %'C+ؕ:E^x7p8b&7~_Ͷt~:x iFApRd[zi;f բO{D#}nl/!ВCM<]c$z?a"ߏ sMτlF7#~84}Hˈΐ uV7ﯷCF+֠+). ;ᕦIX1+k>Ӡ6i> 0Һ{gmB;W B"^Czp 3%H6!Y݂6-}P՜Ț $, 4hW2OiVH5t}ϸ Ol0&wOc3G8=oD:*]"+Be2n|$::.UhFD ~cNctY5ӂCsLL,ĪÉ|A6Ԇ,AѬi[q˽f rcexzޤyYK[[˽ pZ[C^p*GTB742M2@kvƝsJ,Q~VE-k՟ Y)zz '4ۜG@Eb?iVP닏6P1)ʀN`Gi&g o4Ȁ w_(sw+ !=qdx  1'Stcdc5vKLO pJa 0&o`-&z ȫz6~+@c:PT' jTj2Q5J$'L*-N$!ϗ~i v<:<8=4FՕQz{xk{,PQ-hl0mI}*-n$Ft|FyE O7h{ڛ,t_ E*gݧ_1FDpE"smE{!qexEB$ TQVCd|JNY>&SQĠ9<>J/"en6J( 7Ch> 48vs߶^q E,*,BRk\(jE&`I˻>f'2TRB5܍"#U:2e GV'_P/5Vh8 %o0YB-Ŧ#6C>78qݑkhR@t=s3=̢P&&SP ~_%U[A%@Vj;'y2ja輗5V7CLy#2n|"+܅c*I c}][R>cUM~CYLb OLV}fOۺ<ʪWᠮI>tm4x/ /SD%&[,2 a#4 H-) \ ʹ aDЯy yʻhkj@,ThW+AYl\z(" qv7'1VR6OEL. ƽH^p)_Byw. 'zPyEz=\9ѱ|_7rȣ&G# ,a{u.וj?Hva!FxW0{q{E @a銚eiFNx=jB3t8l ud\Ž 4%x 羼SCa3GXۀCH%SGnrJYDmj &WB=F#l%y1|f!X~H; GknS Hcw4B7 *9:˜)V_]( բ@?QҏJ]EUZ~g!yr0p;=P|-3Z"(VcJ;yxMXT:*3!k ͽM5PyAl|9ߣ:3&cnMUGEtƑcC\]w$U OBG젹Y?fp?#{B1=|bJh*xL=ewaQZWȲd4 1/ghIw{@PKWpП$C?k'Hc(AA]uW%I+: &e*mdr0%4+V*!z /̹SpaxjE,)5LA#u2}_?N'}:"q\ҥ!*'<~RY"{ Y J&UQ,dQL"uD 5 _cu1~q6wdmj l1+Kx~ZhJHzmݧ$:G54Yʐi݁z'4E<2 ը 7(EQW=ddshӭ%sP6h'e+iV`͠v$ :8b3,23%% p2SlwB ^vq}p(ey-c <*md!GPyx7: qẅ6%(+_D_ P%jKRlѢ;|Ğ59K9m@Y%"kT18B3^s.VˬU?la>l6:p_;iby;ijؤu>U=fNs7EblLs;5$AZcԦweLlMxFjDC=IL #HB$=:[v}J=ntL+בvdwO+d1G}V0/4lU C7~_9~Z+HۘrKJY|Jˊi{AV=c,k[K6e /sFԘxK4뫊ĊIȠ]|PPV~3m qxJR`ku'b:gS \!m{6k aAXoO;N(.?g'Y0? ݏq`|:Ɋ&sI]m0Ӧ2ڬ/ j˥OtdOb*+P08J?w' ֳ`o&UktMH#yN !K3NO %lUt?Agx5&kM7MvҌ;ryX# GIAJk.3&.9jяw~ -/q,Y0σhS3Tǔ^ CIs#ǣĮ eg0jcZX ›\yx`H.B[gô>\;{T&JPD^nT6wJH~$y~R$)pBF0:ykvJ}j)B!i6/!ɰDft.``册^46bD*?,~՞.{uxGb挔cϐ ̓¹6bLffWCg,{'24`:z`gƗuLZPBd ; zhYC Sܪ0Ads۩Ch% /*(k ICv@2bFByS2.Bi~!m ]`nb̿S{JkîVj%ʼnԾmF v޶ LOzh]8PpOpziG1'tܱ-2ɓ!o^S8^hא48OпP)@}NG"μ|*" qgpފwG@HomGRyjw$mJJCI/R-;Ņ/ϋZYv0^C^[AkA!2EޗH0Fdb9~KQ!ߔ x.4Z#C7.ߏyw?u;}-3!Wm-yv1>u CtHEZQd ?w8:yY%[s'Îo> Wg)k0"ru㒃c*kdN>J =yt2_<j\tvl-M>[ ƾ\|'^5|g O+j~eTC@A.}2Ű3RG|J9KOfgtJ^JK#VK2dcHJJr@` )6gu4ۙ&գiR~ATxOTUSs1SpFؼ{zoa8ւ104]͛K0'$$],}k1 /`4C𭛧#@r9Kۿб ט;Ojh<3/TԷW߃kLM@cGNe.O$ r@!L~,' : M\Eldt~X҃ T;4y(~Ā-?y6Ր{Wb钗LtNb1vomhv$4ueq~ 7aixШ÷[BU~]=ℬ 1/P߲w }Toz-Tk7ar0e@1'<=1`=g"c!.[.\3ox+I0ֱiNkTG?*mCS {l  ݚZE7Hbz'1볢L]t">/lTP[iAQo-y֑uO5_MATpe&<#5hxx_8\?A[Iii~t){[j(y>,BUs)@F,nW巜maQ#;4i3׀zwo%QO.8<-ʺ S'$3) ⏭{GTNyuZKq 溒3QS3\v3J+GeUIBEo^ouxB[zo"ټ(t^+1DYBѨ>vBda'|8J7´iw"zes%hr66v! י_oS4MU3ee 3tUeE|ʈ?MpԞ+@xv6T1r*sG/<ov!n=Dn2$#FKj@T,"W⒴pFAj1HA\ltgnK[t.ǯ9.,j&_ #"Zb Sa)d!h>uJ#*h1I48;z : Nً:-H xIx%eDk3zE_ݠS×O  (6SLcPR;gO9M8,ո<;,X_bJ-lU9 p5bó{QkG7 ;.ܔ`S)b4+8 6|@m3}6^ "5 ?eןb>U8,OV$Cْu]ښּ(M&̈V'cН=L5T&Wɋh2S x Ig95-mJrǴJ]36٧=XI8ބNGW:E].X,p"{Hv@nP`M'~ ʣKKx}ĦAL5,}qI/yUp, !r(.dܣ@D ׵{*к9R?SK0feitk20YT[t}sn`&}QduaZˁA-0ÔݿX3ހaho6~GȽ̓w Ss4Z:&[._ ɺxf #[d73%tO4=(Px `᷃&]q7r$x1~bCz;xu[Kg !ص,6b*&+aC*"B@q#@88yY EZzw@ޘggCPd tSxKSWvkڋh76.,2%/]ߤ6zuȿ£p+cn\:L=JEx.ְgqGLK9tW>瘳߂T8qʰ %خ)jmȀ,9o<~Qfmw(WkK}T2nώ6-KțeEpx)B57FaHcOԪ,'*=tPeh$Q=O7Yu_Ccm5 jփ[7n8"7o[ Ehjh2Ǽ/s1:_ę8 BvI\@NzXE:Y֏zYZՓ?lLɓdS~I?ZG9O cxIk0A>©Y|Ƈq VJ#ƈy齲e98K| ⊽_Nt#)З#4q^!['AsX\& Rkj؀QPEtxP:I"Ua ~n+I?ᅊ7Y0]A䝼zlUEꟂ +\t`";>() @(/SX÷;^ۻML*_ّ5; %Tm&ɓMjKT@rci͎1O֬;]`- i"u?(9:zr5- ~8|vWA\)_6}&=lAG 6Q{اcfWGTU{RERt%~lUuOHR4K|=&BS.f2fˊ`O5C ݥ›n5nq3c pP p/ i鹑ӧ#Jv'p~"J.gHf}| LejUR#}GF,%<×a垶g26 uP?i9kQg_p|@+ux+vPWr+?]ɋ5/kBs0èPeVY@ͅgX|Ŀ z3qt8R1Rz馔!d>h s #Ќ@mSZjke*0q!Yє<麮i2Xa?:lF~f*8+b'XWE's4Å573[ K*<-O[w#Y+?#ZYq Z\>KMwDxhN,* `^]՛xh%6*Y[\ #6y\ěb(vf4p#cH 7-\r J>Q͏ -`yԫ}r(z Px t7AlͿV^͑TfЫ~n~_dI%xB5?oDw1Z9/6 >q4r:}rԏ |bT.SoFrZ$]\C{K綣.ڍ%jfw  {"pJ-J73WZ0:,ٝHc H^Vhw gi`8W[)1ׂu 2Ќ6us bRSHL2;>^uUw`]_4ZTEZ靵[ !<@g~taEӦ`}{P vjи@KK INlVξ{&7uqrJ̊Ƣ?.OAxN)] %4٫Pvym\\gaܲ.F"~- W]}Poo^XX<7O兡Vdk}җTx\<fZaޝˌ1[$_ՖIqEaUp⻩ gN_ˊЋ X }PJFQ^C5S=l~Ns~?MqPL` Iզ9(ⶸ t2D=7V|0BM%. #VF<+> o|^1M{3x4&3|.B)HpfT5!KeR)"4K+kKCF(6 p!b'fQsRq!4Fwyt aT}"x'Mji tB!"egOAjlm"I}6Ugz0py RhM?\&ڌa‹f{xO`|s$6?yIzwadQ0xۑ8.[ES6S( .<G9GXFS@Txv##?CJ˰"WkBK>R۞S{JVbUjU<~MsGM;$ ~::fHOTUz *>LzQT 69s8{6}B戎#bSQzP0ʥ`XS6ƈyl@mSt)T!ƛ~!R[چL ~oUZ;e5~rช_Nj>saN,hl=Tln+SE_fI~{hu+E|`KsÚ+1|YUa W\)c!n5Çe52u}e1m.( rLHe]QEU%3fv/? u4wDʔ}X"M2sܫ[q^vXB?P$^{e E;ͪ\ 3-'ozw1<Ƒr4RY|` vjX7ul鉩lxCc'2[ýE@ȡ==KI?=`X0POpBYR178mAF'Q |c]ݝ%EoX.í(e۞tgpxHtI`ݾ{ KQc&C,KAi~W277 EiO&[Zy-kuYQƽ w9JZۙkD {;cU#2K0h9; .h0%6>X޷eHHm7%\#buPHMw#]ٟVʅť,*8"µx { Tr@q*~ naPrŮ>qIBkNF$qJEh)oƈEUϢ4JK1b=`X0)LXYf ?b-r/zwm:lӍȽpbj=z PN7 pO7`ۙ}A{S|aw I2^Yzi? T3f,DfY+ Dȝ~0;yΈMy u_ l+ّVw&S/sX6ܣP>O*bNLZiH5 yB/݀AWM.~QBs О_J| 4kSbNM@n@Lb c*~ix79?bI5/Ӂ2Drp".c@=ڼ$/ˉ2п\:ϕWvOٱ G5{)*犸YõY\#;y=>8D +Po^.,\}eS2:իjL;> ` b}N;1b2UҼ$+X1\f7dZUɌ@0)?I>v/#Nf 7}GRGN\x0Adn$,gnK>WHBx?e95)_ر\zfĈ.^FRmAU_$Ϝ i<ڋLLEoa|WЏchTRjgBNE`u7g[ r Sb,qcȪ-|qy)f\%B4 ˑ7KV(x2}cBQB?pq?VUQ"c9DMmkfUko}R 1^|3"\aI^"#.orϽgl43zL#*\IJC]CA7_|(`ջ!ծRrD8K$k ?Aqy&|x1RD~cRႨݩ''N".!PD ǂLԋQ9r<:'"} ȕôk Ӷ$#~o&.# 7M)JFOқtmb.(ݫ:h|_){Ԗc:Qc2@s-u">%Zv˱T qA_<ֆ9rدZ׏,}`vIEAsԏMUvm쬫Iaa-{Vp^ &\x,#kQ̥vnWp'3(jh/q)H5"~g~PJ kyB:9.zdhc*HIz%9Blj+mC.XٿD-iʱbzh (*je yzHωĂRΏb=2+,awg߼OLL]jp:}w8;|#~w+rpƲnqt Ɵy!GwtO|45\v֩vmW#5(.xχqn@D&:1,&/"l ?Glх7U+<[DĹupZNN|r %ɇQ=IGM+q9;b }H㄀|9ݏcaxR=6C $ 7͵]Wjڻ}(ȅpd$"D):/w}:@.FfOuE*Y4T=4OBX.@!9)<; iC=8:\a!Aȗzmy\/䔧˂T8oes7hd>` DO61ǴZa+h$ 9LH`3Tl:=V |(dYc!;N修~];q4ks E{\j;/2 3Ӻ"LvAl~rq0sŜiAZ0Gl]ݢyH)K\EDwZWa\;a*(f\ROU`G.\|Yi#5{tه ]vQ8G{ ,@z x,K&,Gw;Hbk,#0,廑&/gm uot :$[NE,*tT#撟fq⌞譢u*CЈThdLŸz#Sag;N5{{hǺ4̜ pyZ"B:C;8 bG{.zx łZ Nk/_;ni݁yc#YilץWE,?Yh?Ew`?ݧts)])RIYY7X-4·=_("C f{۝A$}6' hLP֮?x}/W;{\'?E1,aɗsynSV]h!Qvir#&k!_ ^5FPkW:1fUQH @`$8 a&8_vW"^DVe&4 @zl-hᘗJ'kܸ[%8ǫsGea3ǚ;ɹ:<T7ߘ ?PxM*5vJ?|Eih^PFOmT|_ή }KvF $~]q(Bxܲ[&{Br*HG`?T*s0bTBԷ'1ZҐ* c~i8ڼGfUCox:Cܙ ɞ74J XAq7__ŧM44ߘ[ jx9h(dh|@05$BbȚ{nua[Ή3+,<ōA仨U5oG6J/H_% xS}wH^Խd_d0dzQpIѸ}ΰ(t?=hn lC>rLi$ 0eFkyns_ ! GpǼS/+JƌP8sLKy*Qt +IB taVڠq\ )RO5~Ŝp\j #[_?a9W)&/HTc My7ϭb =y2IUBBFЅs$וń{}]K٬G#4Jn2?O7cOQVI{m2OYܥ#JYX{Y W!3E飵63AR *Cޝ,UP4ޟƮ-sܖbn;_s d{Enx1k'kӥ,,AMC40RqWh ,V2W~'9eQ#E JSjB_=yJ:o>eS+ͥuf&]ۄ-̻cmG5M: rq*7QAR ` !e]hȄ =5q7'|5/n1 i)l}d;BTH.^]8ˇ643!\v+מo@Z3^_+é LćKΙ6˸zns7e3qiJ(^?&bKɳM~b h+li;H6?^[)1:Oe%ǑB_Mpj^9-{ߞbrX.Dl"ž܅TCzt)P M-; \; L_Y.A^ͷg\fE94ޫWxnb+6EeO`C!|_(FXwNvXc`1NEԃWs\;'n+D9)i澂 8DcbR[ =LnEH* nVxC7)"6n}ៜta(2U"XV7MץQū*\ه@3xJY_dOjrғ]x¯>} ?L<¸2]O! :aȣ=QFKApC q&"oM!l%1N=nf}b|cgC+۟OPSEL%h%k ^Д޹ɬeo(QRh`DW$1,v`[H&wpNmNPqx7QDVn)M!`^װ+>; #FKFdD|K ibW3G-lRֵ.jA=sP sk%ԋ' 6q#:!lDKj7 6~jS@U@VTJ~K݂EIWJD=N=Lb7rr*ϡSÙ7o4Nb !leudVu/ zTFFbO5r:}md0+-& Ylu:7JߴO) ,[\sQR!a]3A!l0cgis9j|dBh>/GoJ 6/s#{- ֐5oE7(LkT Q`E6>'E9L_A2+SQ Gx#q{%G=fǴ_5DvO}d)j"!~]]LxSd]fV&JlZ ˅)][$x`P]*%*t찕jw*BZJxe;>T> ŷpG n]3EAwMHg뤙 )v<$`b/ :_ٳ2Ypd^=?ܐ}K@a5GGU~)!کg.q+YpO3?6\qJaF:4b-&*G34JCutgx&ܲR( _cxk]M+O9 tF^;lSg1&f@25UݘN1N f кŲYJ*"\ufӶ5O㭩 *yVŠ/4Pz@Xȉj0bK*'M96l% omњ()P{+rx29gos[uWڻ砲WsV-ksx- !B< Mz{jqubZɀ~pz`J830B)JylDj\]afLzWnîo0"nI&:㳜()ټ*FF\P;+YZY L6QN{,eZ="s@΀) )S=b4&M{1vI#э(I8wd8iX)`ф]ovEV UDlo[3*"Ds(X`8+[pQ C~rPV4?ɾr7*Σ CFWDg7xdbF4gYdbq0Zgd7}}?W پmNAŪ,C )R;At*Տ`!S>taTCk|Jɪs̄Ξ֕xo;]0!J > dGZl ٢\g\aw%ӼQ<[tgU96{V qy@Vdh!KSM*CqVGHHǣET%5֏FB+%*ZFVdYtt|hV!4>\1-W "14僩C-àl(G h΂9&-R~DM8q܀X b;Dkg| Iw 1FEvCt&:Hw77>.X)> )F/g|NBE[3q"?QOsX-2h6xŷK|ǂ]q{^B$Ǡa(OӑzĀ?uncIwb3 33ts|EK5%"1 0Y`[0{j3rwɦ\pUxԽ*PuXI6VI>-ƌA>w 6j.l&5&W ȫr+U@4?.Le?3G=g {:Mz%>YjMq _m8q3|<Ȗ&RPݟ[GmʱtFDHB˞\ù< 5}$y*]U?3jzwyF;Oɝrq>.pX& QD\qy>]\b_Xoh)N 0O=N,Za}b#2r?R 1FOP''5JVAIsE1R_ u2_0l<) |_)!{-LVlm!bW.mqrVl!taBGxĺh|a <%^]@H@rn }$s%QaʓY6gHyak!ǍIe) t7đnc{?Ҝ@V;s Q쐔+fze7~6D\;9|fPhj9f߰nMI` ФYG FxMu'A6$vO\%|52z+rvm>g#hd}miO!KaZdu,s"}2[HYjdCU+r@dNjEUXvfr 5iL/u\SM 2 ?YPݙg=} v(GN*FC&K,y׆eb.$зaG4Ģǽ-P_\o27`,'Jue fqly-YPl:bəqR_R`8N 1Կ["3"cS429%.vwe;2iUsjVqf$|މ͜ 瓼!SfYBI^.铆r0nVg9y[^+CRşYRMŁ*{E:K>3G{#J\Z(y ;$BP![ 78Xo.*,>|qL-姲J&xVj1gпS`Q}痮6-Ae6h zjCcϷbvTWQѳNi,[ 6 0|L>t|d$JDfr13?q N-pwz;^m ]QF[_|ߝ*%0 }⢴`(MCl}?8#K >XB;+YFB {%f RwG0 ]dKԈ+Uߣ8ѷ= 5F_ޡ7g$HYMjg6A{͝3k) } ҩ~Q.n+\g3FΦ:yK! n䎒zs n ᕨ|h8" DjY`q5OДT}xe_`iI;Et;FL2Y+'%~Q|lV@6/_]r- C<]IJo^n+EqGLnuWNaSLYZ$;Kq2혍1IįK&;BW[e 0;@SG(PI 1y6:ǑIx2A?dl /sAXYAٶ>MR\8ݿ1(c҉_? LgV>|$elK&AݣTgRgUvwTU]"h̸ AD:"ZǡqA=] x><>nG)nxJUk:?"˂WB=WFMAf<>^ɾK8SPNRӽe ~:Vɥի<PWr1H1DFהr3MSu?r4=L4Pjx o:1|)"rvmI|9)rCyDTx]KfK֔D̺v*:#B+w,tekDyqشH0 e>0VNT`-*bxp 01Q«༑eL"SɕD&+ޔ Įesp̨>iT9Xv䆬=(ov* Ɔ~.>R~YߝߪM݌w8V2-AO7dۀz;yqj;(4e#fak7Jm%*^Dk/%{Ծx>Um}nӫ6L_uNi-)hؙvD!:5"]PbKwh5c>J"4]|0{Uw1e(g{ ظ)Ģ ěfWq<:)(ɟD%<)zXLF釦X(3}ḩF(06_ԪΌdS˾?b?P0E2|59Ų&&Q~ 4(Ϗ &O<4z<cCo0…Զ^2>Y|He/$qĨ|ʐ'vHI㗋JfKF @wCx>g[DgL 5TR`OdmYL'[YaQkzLI3X .5qԐǨ |Oޑ4ckR\;b o8U:S`jV@>I|33 N&zm^u)ywC=Bfyp㊄:~GV*@AG [ dUnqg?g{pb WRP_:{H ,ʺ8 O +[ЯEٕM}Jb};%ҝ4#BL/p70fՋ4WnR,XoxJl$B=(GA*yMq=uw I!3D#7'4*YE^UvŻւ& OC^IC.Jf*5]PK ؓg$PM{-.N|9gSiũehZqbY_0HVbnnY CVITj(wy.s pg mUA='o'75ڵ$Ʈ,.%\7(~>_ҕx\TJ9 #OC\Z 9m˅5,D|| HUAv})dW2f"QIz_ݐ;v fjD7@׌8A J$08$.:C`tC߂v|ssH>NAEȴP8fџ#N !*Pl|G%Vw A헩L݊ S^an}ǟ4퓼!?a)'RbLNvg\&4?AJ|VБ6/7lOhN:eW$ΌE",#>)ŏ\tՈ#Srza+Vx)5B@{[KHƞ^xb\`j|kךVx9BQgĔ41f^{%j m'gYZ  8Go1O1RHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/other_kindsoracle fact bundle attribute method# 1O# DHOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/thms7zXZִF! vg]a0{rgp&)u3!`+_T po_bog;$\?`y뷢ZA|lmE\* Xa[EUOpq~QA&}zqDp;p3}՟Рk"v跛 [o>ϭ&a2lȍ!'FCfB/%^ k+\X7iKr1ULf͉o_P0P /}c]c;Z&=qКլ چcԢR%4(KǨڹِu7QOh8*~dGKa-o&>2 Ɔf/X?'iBAi z`10VlV~5L!sfW? ё{dU&8䦪4Lʝ@|@~"k\T94,aA[Mr<Σf \pdEh_:?G̱`9Z7D60xEn5uU.[y$8lFkh [SIGz׆O*49-Y|+;+ -P_a4S kbPIU㌮ʴrs^o6iώݟgU6 jImiwWsѶ<Ěvƹ?5bk$]6݌B:!Z/VXfqs:*ց'딎DŽ࠿\e.;W2=<#WFJT…Uy"мr_9^Ik ]#BRd㭥J݆YJ=4]uCnrue̙+K#@/ Ys MV` Ё 3mȰ,WۻGx~OӖ-)ѺtUe2=o;i;tLV~NpΊ:||4OH *FEGm*JGv;WtĻ6hpޫ.žNѶFX /0% W.n;P zBb?LjeMg<=f$쟋rѠ螲vLMLn-3u@}±EJk(9\>ޏ.5,dg,\IZ$ ,7# C Nl8ٿx:?۴ x/OG{RobjE=`fTJP޶ p ك"g6΃_55YxxXO6,eL 9R~yT58HKLݪ8ͩcu?_J>muYDSSW)+gB5`|RoіC/6pgsq C!WsɄsoL?HAʖR B{?FXixC[%k?: @vo'P=h>_'<n~ ,A,@2Lؕ{zKI^h[y^eme4 I76Kcaq|u$ՁDGiZE˂h61Vى$:{_vkjY( zg5?%ȼ5KGVJ'HV7* ݶWo +Ebr}AL@Abrg#܋&D{4EKy\sI9%|õ9KE2 @-2O@AYp>[4;i!D\~D`4c~u)kXi6% /aY>5_g㲥߆2}˽څO1Ŝ(JzwS:Zq­gv}w2Khh 9E[;O6mܭWvI7kM%bϔ^ S =L,ی?o쁒4Á6x}FWH:a~ڹ>ԭ $% &|k/XE]YA&xn_t4?JvvdRKi(Q<#Ȯ́O6S_;𵺿A|%Eֲ#.L18+%upa3΢djP?HqDZ m1qV"T]G)S8{S-Ys+?&Uz%АȚǑ ѺG,H}7 uPNY"VUYY҂e%:I ߞ)_rcf~;Ҵs;ittg{Ol닊^燋8+uܙ8 [oPr'їH %M t${{ Cl Km1K>Ϳ !O!yu7b&yu 찟%X_ѯ -f汫OuBi Zt}F3Lأz~}4uI&9xɝN6nkRtG9Z6Zl_-ww\1XIV=|ʖu%KMQyųz*u'm<\JhAD%@".szVCgDI:ǣNÕ2jq+ӘN9!WYo(nBHKHΑOVF/L/.WrYhZ)Zm94ϏdXcYs|64e 0rX{vNcS7l;f<ȠLUO@cv 0ks&u3tYo;aypkoB ;u,F3Ccw)+YnKwk;1B&:S!ٖB`ޛ0=obAW9W)'DLBN*ƵmTZO#_DO;L]V7L7m {O-IT]+f9}ul66T( NĊ6Zn0 >9G,j3En~}1w0F%aJ?F;H[?N)i*HOi eA\o'x.hhRzmxqɐ1Va,*Q Y2 _,qLjjW^:W9;U 1dFF9" >/*PnՊ(+o2aڧ]AYcD;uu&^^V{]#֮ C.{(21uV):ùHLi8tJjWCjGuԗ+.}`k4xUW4lLZLȚQ,ORtLxQҟTȝ{@5*:mY%s=($zI^9iEo`C tr}g?OD@ޖ)RtWAR>zY@b4)-b~AJc wTWE[K`{xV< m<:rP-SKe?=~wC{تC}׳ePTJU~ayFЍUp8C~G9H٫U!I%7^bu!1cୈ2x Q/ jfVWErVXfpOP1;yfr@uT~Jҷ U|=shbŐi!sV u'כgv&" [`Թ}9-E7C }uⷀP5d5 y(mT"2^U9r!d3WtÑXBnn\ˆ"Cpi%]OiF9\-1hL0.Ň7.R=}nvbNM;ޝ&d˼7,}ר$dae^۳gS֊2,p2n&gkܚri;xVp 4%P>Oc^BF+|Bc%>F/7;gҝGxĤ14lڀ쾴ʞ(+@ΡZ Nw2Z2 CLZ;w-]7›4tel1EwCqn,i鉗-~x։LݘW6Gɏ?RfOu+k0#W`h:i}Eͽz<q `&qpu 5\1 . {J%y~i/:giA;RQ ^T%IgC Psh|I>9㖑UQ;(&Z:W㣎_%2C*i50Zgu˭Bx#݁v}3-%>K):SGu9vt1(߫#U[P ![b a6[’*b6d9gː&&`1;K00ԮY]vB{$S)-8Y]94/4plSAC0tH_+[݇AD="[p|SqIuZxs{eL+ bFb9 T՝ aʔ D +,-qHg|ý+DxM_|}$:V Gmo7Y;>ԐB1֕;A8$7eLJLV6M>xWOrG";h\lhKoWoNXuKfّ!vR#b-jԸ)7䠵ִa鏔c Vm&6 OEՀb!˔w!/بE[.Zy ꀫH,f"8{nZs{kLn,䠵Y95Vps5XHNLm_+?UX؆jJoxm0 o#y[&IZ(ߥ1'R`ZT=DL̅#N0^fܿ^Fu_n3U^dRSvي瑷VfLSiivBMp,!KF^X'q8pǜcϥ w<c.fEO))`sǚ@*KO)D`L@$/rU 4hӾ\FVCZS |N-M`[_NR +nH. "_,S.0_\"KGV96% ypjQ﫦{m$1AT'c"o%sm[Kj$vyho|JVXѐI)}RA` ب8%w:uE@hJpvL44n8wz2qS;7q HIN ?T /NGܿ#Zf?CjT|7DD~|Xn#jW)S(KdScßjzP.1G}{R 혏4orv_}͔T`L e0!jؚjYǔ%TtC &CTdK{mp3u_P uSt0ԓTtM?尥l?I&R(ꦆ^AW&-$1I*: *ߕe4iT$7eX SҲKjExr]^/a@(gE@}З<*0FVt_ ŽhV~<3۽x"Wj(Uٸ@VnRD݃шH+!V?Kn~$%Oʔx'@w@⣤D@PǏB{$ dlnV]:Z—D=wYUIO uU}*f&p+YJwalD&G_stݗE-?cNpКJT%iqoOMoS(${몣L;ZYbI$+-MlIXɠٗǠȱ((͙/u$N!ďACf ^ba4F4'}"ƪ i׽ïD%_.CP)OIʎzTҩ `}[5!5.QO w$sY|^;;\ (*Xչ"dCyY;NRqI_I8C.fY 4@M.T\]{#{8b~c`.f+m&˿cKb AxA%7)$t@!]33Pl(VkhC]g%0tL: ڡFfd, >td GJK4(AzAKLiEgǢ,d=KwpvVMtG`_[(m#A0BSb!zUQ6!@T!9hI -6Zxi m,-H#w_2EJۭ'X̓:d~4 ^N<"ȋ sGޟqxR%E9156ۗP*e/;)#%6Pќ{9u a]]s4g4q{;iL]TadB:Pr$duϟ39q(m&o\fRq% I:,ݔQɇzInR^W I)-Ge09%RE rj؇/}ׯᕮ"D`K磫'zON}] Vj+9~t{~Ls-Q,݄Z+\-7CFҞqSK3B6?a5EpJa'n+* ۳#ݮkjzHY:@ʒv(DIa)Ͻ}ũ= 9 Rkm)cnTI1WBOkGL`xtBrT)=|D߻үTguyE:[*}qD햡D7wCZ2@-3\h%1YE6eծ<5!Da>IJŁ[wPcHWt8TDPV\|D2pP)vUiG,<%nS=D%I|~%n(j6q79aU=v/brgPAҼs0s31¶=l7ӓGf˩DuF_"OBݣxUu7З29悧z'8: (~Yo/Wk%"^M4‹qޝ`SC1UQZwJL%'t:jx VaB(:1 V<q\ϓ"Ubܩfw1oj^ h~VvжQ~YɵDi!kXݐV|/{]jWfrG+w&sh[׭-cbó>%v4ZKLrB$NU!I>$2X햏LV%3&o\]__QFx#Az{fE7T4TS s2 >)s>٬:$!v;7Ejsl['*Y&6n;%fiSWW/sB\J?uմKI. `./ne"jC'.}P&e:6*SLgcE_,CXPT6=]ǰ#xC54Md5Ys,'Yf `-DXƀvz$U~JKo\?0yʪB- z{Dm.A/0G"EW4%]ae7 r(!̜?7|mGme>Y K7<.p%1DO+KGBN!6'~3x7C@?[*?>pT,A؞,\mg+?kAE2 3Cv@rk_^D\H,1sqCO"ž#rѯE3(dWN-)/6٠8)qLt=YF++6W! ;EܬRqo}46V!r`BI =6L $ۃtK.Wif5G8KQC_x /ѿF}mxoBTԻ !F@sFhO4QqD~]pZX^%jvo}/z|okY4:hbN F}@ֱ2 %_7mN3UIH&do鎊#{n0ԃ;KcfjzR]}Vp eA2Czaho n]ϒ b}z#fH01Tqu\VٔߺOngNXU*ŋ!KDMszͼ$ [{ˍdYӐq5SXGY|*e2VSqBpxW%d!2?-& /u&Rjux>O8zM&~a*"7m3ފo&AS=3 R_@3;rtŶ&/u~VF{0~I+D(~cLrEŒ*">8h>{NKn-LC\4&֧!㫴i U%miq }}jo^)|?%Cnw.(,{(r)6 m9!T)^1QG&}5x!;$qXš7W`-ޘѩ`igɤuw}Q X˾n~'=fioaex:CZ@02ϖ)M"- PNW;ѭIzv-i{@a<}M3_M (Ok̝`pwVʮ nvZam?NW!f'n= ١!d D0B 2GԴ&I[L2 $}F lݙHcءνnVܿ^]uyE"o[Z]6m1[KZhz]* ŋg ;Al\"19sύƓ- rm*G5n=$ELǸۍW𗋢7 %ӽsr39>]mCE+i%6-J؉UYu=U#}P ÒԨDpGsEglL"~yK%|&29^: !#`J,}(긂x 4A…>."e<4-B4w)w٩BҟJxXxFpkե,j˨4cU*%#y2 f=`Aw3YRpQ77ȸ'*yr/ݡY<%e;<-OBO^kpxnX& z7>)H>7N&ɕ52IB**%K~|zt4?~wx* ŊrBRVmhQy譊`@C.M[~O|c *#&4ȟ=cTEJb p<_d)oKN-zMVa0B"A~u8 6wŏZ:z=gH o::q_7b:-Ng4)ռΕA)@"2,ύl'>4-n0ZWg'x) oMZiB*֥}j$ `5˄t.Q)@Q{3B~aB8-ixwzA4aQ7lj9/jNy~&0.ܟuw'/yBב[pIvU@uI'a.jI88/lira$ n6A[Җ;+DTp>n/PQOF`%f(fo(I tk ~9k1H[n2߱ڕL 8[w0/zyڏ*NƮ.IЫ&.|tSw?akoB~$d}j;m; 0? z 7gq?\qUzwnGӟSQ97R}T g<†m1!zD>H'0\k qڲJ2^gUmG 6O}蠞|Z'0V ǻP^N&ۗxtr⯘:Bql!=fC( :߷&{{נ7h)a9&Up)+_z\rc'wOrST\~ L=S N0qbX8ֹ0֞@(RY:|*U:0~sd˳@t#s` bLD~e'\p6}?V3i4Z ѽUƪc[yqO<A8̈́R˲`-LsQ򗆑gFpv^t{:+/+uikLtR82KWV m/CRɐd!⟀M$'45j\ =7Xt*EZ81;`q?EtA\zDn%.m$,[h$EWVrPOr#κ֧bf`G}epM|g@Z%9Z9 +9 qd@q[F:Z3Y!|. \M_ bzv*&Ԑ6ifS-6iyϜBޗk}r@VTPUŬPjSW5e`}S štd(jGkl1'R |$>KC-sz45^O{&&)Lxi_a5GLR_ԉ)At.K`OQW ($Du$GftfR6#49T?avXƸ[G>eMom#0J#RwϦw޲2/WgE<еB)*'AѡDph0b0SЛ=&Ƒ\|oc1I..Dn/*+*Daʩr}pm!eg3VI1?h THCO߾*= _D$̣|P>"727C3tW/.Qxp4NLDSE{ R,2Gh5_ ϯl;q[XXDދi<+YiQE {MGk{A4[GmzkphknRDgחH"E|벑h(,1qБDh Q6mf; {Tpƫ =M9-;y4'/*6 :d+71{S[i5%WBa4޵i 366zqO!J?H52 Q5!"/\fqY 8,d)2!mg;;_T2$[gb#Pѵ!ˈ<%Mk96U'ieLA~^kA1 ulf/-eknmؙz\iE2pRPbQZ#n[FLGбgH*ZAxx[;VpPno‰ntYriGӅe?ɹ xaE,r^ xA*阐폰X_\gCc ~s*dY3B;fW8|o/s~l l,bL4ibw?0ފS#rԆ!F5\d3 2Eho$;[{mL7iWLE{$4CDcqL eXQ2A#3Ш@iCδ? =|1J sUC7ݧɱȸ"g@- fQ쵆G+)Tbucm$w4ػ4 tS5H1eڷ7fHR[? b W*e;(#!j#% nИ'}UZ@pY(5'{)N {a0GU z3¢P0kɛ2p(qUwNc 5v[e^Y mj'hD~>ʅVdOWyA֘Š4Xm h }Ѣ-:u5Q9k6q;c>yt:w/ >o8EώRiHn cCh*7yj*0=ХJ ] `'^H"f K*M-ȅ!❳oKlpZ5.H"WUF).lPk~9=)}$Q_Pc',0ԚId6/7UJ,1@jEɱI+ >siBaqlege(e - 7\Rys9Vj- 4| U`:_"{4C o'@:jwT'(?c{:L6\#z@,qi 1 M(ݩg|qܪ1v{V*F +vzxd'*WYڑ\+ Wc_YFEź>CO3PS4QD5yOߋЏ5Z fEНA68` ԿMeD%g~_\\@bX\lܮk> Y~i=,bu0pVX3$]Y9SH 6ԾYbʂdoI\ :oB/if4is/k&KlM<H4`IU]cMZԨSR݋lS©Բ4 )ƪz0գΠ{c(]1VEgU, 5xE ?W#MapV ⮟+x)g#h8jxFtu!ՖːsJƯ0^`iQ:z_e#^UJΧA@cT|Qv:z 'ºM?TcOWBKa\H!Ԓ5L+eNj(bD*(NSɷE:F<@Yi, W–#=s >ÂX]KjlAϺt׾ ߛ HC؜"5;& 9| c#14IŎ^^R#OᝊsF!Ws2w'FMkٴ˙V5rzҔh~Y?ȁRs1|Hؚj{^aN B= MuN9dɼs 8 K5Rj|2qM ˜ 9~1@@x nP2oA2Q?B߱'w܁ @>ڟH~g\孴ƜiM6Iŋs&,-7>1ʌpa**~SEEdHK{qL%"mW@ELRa!n_橢߿/0Uϳ,Y%; SnkS[_Aئ@l wSS^;<;ZQV/tNߓZ `sT1*/)>½2霃D;.b;zVZK+6|ǒSclH@{ t,e.a$R1f@mxCUb}'4r^fb+-+>3|az 2Hfh <v_rWWtifpGZxqb3εoc%%f|]fm=5Gn}@R-[C0$&.$y i( \ߛc Cl/i¼_íc ?*gj ,jbúE[xG⬶g\{TWblv[;AW~bЈtiwAy " uyzH hf 3v3.)C3ޓ+Im,­DXUWȵCgl`j)[j}pP̂xiXnS1:Wk(h'͡ZYg:F ~S_ Xca)>B-ͅkNg: LsOܫ#(Gʚ)@}E0FHOCeO{X OfMqN}]M!HOUPms(*fIief<nM@&ol>g _ienM2F՜a&bcJ;$̴nމ=2fF69ۘԤ#U yK m _A"_/ڃ`z(`r /EMG&lIS[y h{a&6^V{$l|.'(u*7y`9QtʤBq1 ED%(#;0 G 9ٸW|:gh]c.(RN,v[>($$ikHs;amV"&4AiZ-(NϢtP-={|,wDS_ c8*v]*xY+̖@Cmi7=H 6}~4.%VT22ue8BA)(nɚW}Wxig>:YQwY%G5XP%*nO|EEJȨ8ޣICP;"^ 8 5 TV)uY:>E?Yת_jj,_RN^%$pd8~I̓.&鎼/1pDf 5y J2KŽ ZSKAg"{1d =ZM]}Ga2:ɻC]`FPMZըlI5 f`aZ7 {p>oj?y &u/JZ^y4WyU={Oi ո-/#݉?y)"y9 '𫃟Zsԅ qiʛ[9hMsQM%HR#lGo{j?(r?v| s0*_K&%~"ӧ1 4Yad40?џ. !bl 4:6<3@м`j`b*e!T 4KK…>H!7KͩrEFlI)3J3l_C$YŕZْxu텟7w :{QS!z>[IAG(pJVS8&pe#W<`"V ~l "An*? $ ]/w_qtՃSӮE֡WfG[nεQB3Bv]O]R֝pP618Qcw謒\i1%n!ߢFY}KWű)DM$x|^XVJ}'+K:WBMqF\8ooQU"FJɣvٰӗ^BFY) `gB*8i8X,A9sQgYt mmv# _Zm UClIL.}PӑąB +)5pPu .(msO1 dUU=X *Y Ë!ϒbB$^,cmԃ3SӜ/ھHm`ֻͣ))laS ݂74}zwf"{iLR-n֧[:̭u}A('j^\]5~3ƔQƜPh(TTC>ՙ{g6Rjb얕4wȻV1Z,rfaMy9h^c.PkId-x(GQv!Ve6X2X|ZwcT \;FygY{Y:xRʽd :Vl){6勎<'&1K I˰;ﶂWpŅz!q׎ tqI}9lo@H][^8\T:?q$bCrU ]Q|.Aqᾜ9s[<6˰h(?5o=R#뎁[dKAV Z)uobo o=٬Ag|_$EN2wnON>>u518e}>טy6?|ݜhI1+jur6gP5~cpl2:ƴٮD9jixm(+@hVL d,Ӯ$)E5:\; ^0Mze7aᤖzߘԾp9/%ئԟk%3G_L62<zM~W2nmWF3[by4GCXv:Ҟ='d ٧%8Q2Y8Hm$pCuGPa[/cnBq'y'5'n+HF#^m[DE> ]GϤ~c@pţY&%@EvQt$ mR"$i[wF#JG7?`Ty@3HxV8{k^c . :KV;~rYIĢ#uFzzKO$W$V~ujzrHpkbH;;=E'#_</Z(JYP=d┗M!G%/D]%fqŸYI?#Õ.pMc9&`ro72Ou{QQ>㲧,K3JXJOwOq~OEch^7 "55N^9z3hмXQpⴹTd7>v"ҡGOƝfŏO_v Ao:ܼQ5R@PQO,K+VcL-L#3phD|ASx$Ό$7Az9X'mJi#)\R 6<%_#4hTPYJ6 YfsdX~Aoϲ@u?H&J ~/;)9Ek.>L%}7Xv?=`m^;,w*fr:BPEX8bvTibjX[(ckv_\s2!%_44aCY_^ݺ) `Qe !-ħWiVjY1x3ι{E䋪yHS0*g);*&|? ҇<%Py[` thPgzIBgHbl,Ra1X&tva$_}nB'qŸ;fd"Թ1L=cKB<9) )8%oz#˓Ẇ9A'Rer睲zNzEq5|5hrtR^~9+Z-}Ћ'TwKE:U + iP7Y1f< ~}w62rwnaKnZHr. a|Ŗ|1AZPØmIgmd:mzZ.3jj4ĨǕeyw%wvjb.][$2&dE> \ VwW`I.LV8g@BA{ +2X̺`u^({z5 QɝJ neB6۞qmsM_Dv GPZ!O4k^Q+`.b_^If~-`wRKt\F|S%V耨37-_F '_|=KHI`)"{.>֝LJY4ꍵ!0wfX@TO5k,L<^3/SȀ vD7\i[ʅhDq~sZ T1P|$X5wJ`3$zg?e+qcu=T;7ؐ#n*MKlzuq3&dO7nNwG9*[3L!?/u"$ᵪjiʲWPd>Z8\9(s1V GZZO-ع~i0S=&qj=A0j(Ư B^J*lU0« ?tUO`C*lVNҏ`U3Y ޛi {mZiY&E,`pqMTxJ/Soh}~O¦gxUQ)d+̲"* 3 A0P_sf2ّ^RbQ߂Sܨ˰m@Jv J%z`$1yw0"AݝM8ϟyI9rJ Yp<" &S7ǰlXm ҈M FI/(/ɂ׺YcTu,JH %ȦP2|I6b%8 Yj 9YҁF"0s#,n4z-C}tX`488}`iE#ȿ`1`9BG@ʊP9 Wڱ⬂y;Ub^4 iHX1rxǜ? "t}KQYHm~`#kp by!0`,#O&qAoav#^#.)1&-,m^X%Tb"V$ьv8 7Gg 4*S2<,1I&4Tr8+VZ%@pt3$@r0J(˩hYX!= pƽwpR* NK8TG L8Wږy6-&$72 gs^nqv/aJvMI!-ҩ\C3Bzw.ɔcXo Pjsp)lQDv,͝^kY 6WU bKC@n'3xnEy{?׎b&*bJ6ǽƈAϏ~ř-ЏRSLHl wNT F.nP@+Ĝ5dk=*"AްYR+nz`"});m{Q*YjfE7J9-cAqVZ\ \8zf E)ET0P{,+ T%~ 1R¬( ,d^w话E9!h?< dz; H6sf+(Ofz93zR/t:Wbpuѷ :P|޻ ghgF7YK`TX:}2ͬc\(C}oj <.ipGT86"+0DS83HD8OG=2:_`/rZﳫ<aIa 1'q2'R&9f5.ޘe4D 2IeTI .]=2FO!2/ C*>S@(F$ڬ .Hm78Mgsh1&eB4{DoAHUȺ4f/kBrߟ<Iܬ{3 W_!Y!# N,~9W#H Vz^XEHtMX!\4ù~6bE\DSP}1?&0lEHJSJhx+j1$!p{q_@swdΜ'*UsOc@c9OnW|81յΨ.ɩ8*ݔ;CȌ̱bRyWn0N#T-5 +V@L'VS.Mf+Q+=vŃUrUӺ~]cODg>GzvϏKVѭkh0  ˃T4S Wae]| 04*NCmf`HoX)c. ^[$LP(uRk_U_ņɞ77^&= fn>#K%ChCs)g ,|fjR`uXzqjXSa|X0;P_$͟z1&}Ce}x3 joR7Eɍsk)zP`OIY/_4>IGQVg 6Kr ⓧ o.iFy&z 77`$Ν9{ZsxHqdDE*5Vlw9Ac}`BS֫v[b:~G/C־6I'HZ/Y %Uw3:yqC>;M89rʞcs#2hC rp vV8=ϐ= +B猺_HJbk~Mmh1Ҥ&ģ 57ANivQχiVjc9#ق!X5^X\].0NmV)`u>->2T7YJO~<7|[J e/=*ub>"B67mXRA wQWROd$G$Mj=@|RзAmU -t'\;;)_y܋%XF<ͅ(V LK>̵ RYDQ۩"Xg &AUO757#бl;JaӸ:JAXd( L(Qsj%pA}T{˶H5[ulO_oW?*kYÖ @-[cۅ8 {ì8G=Ez 0w˴䵣Lu0_!-m<]/b^(e`iT Cj̐Z hMf֌ł)\bD;?  Cv+>+67B6J|JdUk+(lI_zzvv0;7i>4.[h `mnf E[?4Kƛ&A]8ˢkGyj]UB]98. tܧG57e\1*z$cz` W$й@k[OѸiwDbnxte8eho'*O9w"xز?!pc1P UF"dptUJ52BʙG,WGOf1|~Z8Ff|t+vuK&.Tl;FX[Ӻ.eI`_Wu,xD)A7*TUAPav7ed̊`4\b!YY};-JVJG-U@u|FN$&Jrɪ1SۑU펅spҨ%mmZfu1_[(,Iq,&+4q* 氷ڱk(+_2rGp"a]YrũhKqdpƚ#YQ/!*r1ޖ(?tE c{GAOW׺_ ch2i9B @7F2;WoPgF }~x+(@rK!P իMx\g:s-NDhbXiG-By4t">&J5_l^wLϱ;aVf"5ė{c}R0*ycN&]hFUbzRʢR|$UMJN U44j,)+ @W`2]4&=ZŒ&5-Dkne%B _Ս&.!k.#ɕAeG73tdz[2v뫎5sNbtZdEiSpP;| 烊ppӺ`X(TsahC;T0%t2Vx'nu:M 2 LxLWbySN͉Q.ʈ(Mڄ[>^P9Ο ^9C |kFk-*e۠W+;CDpd6qk,jF6W`EѿbRC޲qS3ga" 1D_[EzlU?çfanMߑ S;K^M96X|K-,o8>_-350D_d"/su 4%{N9sq4wYB"6{ 콋ݷ<.#+BQ̆'S\Oy)czUe ؅~{#K5YO74;*mKʧ?V=ZtIyy8y"*eƾ!O^1$>@sJ:Nq6ɀ$ߘ(ykMb(Id q}䫅$hD/(ÆL\8Р?Wly5v~G:\ + SzC_;6.!o\"  JpTIW.JcRvG tG[wFBE9|{JX'C/qii3䳔ς#@ą{k{OsÞ ھf`m_H*$mToX򖅳왌fn{Sԁ^MH÷J-,&\iS{Bg,6 aU.l؜iqԟkWxYG,2yc-Av0iHzWXi*2 | j;Pn7! a"ΩZG^}@ذe#ݛB?ҭWӅ[ !Co/S+UjAi&ﻯ7xf'Hb9c;;]0wX|iHb)E):g ѭg`jļԾ#ӧ˰~"ǀI8px|dKr(^Hh*+ЃCe ڱGM2 6YᓙbW{MhvO,7^}jsef0‚,6mr bzQSd1]#)]e>,R'gD ዀ3 DG3,1s! hTpe%/=`l|<, Zy7߅LϠUz[7)] 3Vް7f}GuV?$T5<س!@Qj+EҾ3d{ڌ$ȜFpR8q/@C)=ik*GH7[NBolt\BS+!ZrtLFg׽=o|RIeNTl^r3T}sog=1JҦ{^{e Ǭ5 ̶uKm,vc,QA$oU^$\L^G&L)[6%կ 7<LTn▍/s%iis˺tJ5B}ͬ!Xx+S.$d+0|~~W5&u\b i\[9ߜ?GWj{k{\4pXB6hI>]Ѐ]?}Ԕ5~AM#M7vV\kUP>]ЕћP$`8ms n*kѣ2o1kfGg5GFc+~Z}9y\yf?q.E6+^{ M_Z(- BEoW:x>0Zwv-L{0~X2}1 ΀ga|יhr{r+% 5tңV\xprN)Lũ>%ߵRZK[E0hn=4P;uo2YPD" 'd ~?cw L9C|$)lOPp7} K [\=.9*{^N_aWI-CbD)sһ2 L(z0z NCu,*y=d )UౡЫo>H}H1AP_bxGdS'.X8tc:Es֧/>.4tuʐ|ˇkIr @VڿPR&e"3^$TnPg[dh6TY!F1-jcq 4utU3S=(I&#FTpeK{"m@{$N (ێ!d 1C"@ch]`!#NA=Wl uZms(^/h  y6M4ik6<>_(g1`_XqË>g^E7] ٴK^^x =Ϟd1XnۮUi9 s2 Aⶸ0.L72W^sΡ6oee .c eY"`1Q&qRwVzpLrkorOdԡJ6]mVxIm`A'8V['[A;#VN3̼"+u&& Aoo ="W+gc8sP&rZq  HD#xY('pN4¸"IRw>΁j͎Y#-:[} a뤚и2žM@45sʄS:mLʔ*$;/Y}"ɜ~%E>sadiaueNƙyz 4*_p9Ko )%Ɇj .0O![u崗3QἾ)Q. &hɍo_'pU7Y ?t:R/^F[u}Dq'u%.l"0B|#'~"@cUk&4' jk@'t0%Bv| "|1=Yuwx  xܬCws'ш~#&{Me16vnA~/5nÄY15AorFN*^ 8j'gfB! K vjͧrqVױLܪf՝?ސ~ ѯ.܍.nPKI#%YO5XRpuCp9RCYQX#0I/Ak~<7/%9xy#mirA- O-lB!@o7>}yhkmn&[ 5ibzɐAkU``bgA&ֿFk'>\mo&\OT$ǑQd@ [ƀ\lΆS{].#JKq?&Ǝ neR2H O _) > p~@re :i y)}~:P5ҿ-jfhe<,RiQF?>>I>紾S@QXes,]ƀљB>UE?JH6kw%e/i9'C5X])(a'˲z4!]:Л QLy="̌ےL}vwՏ:e$7¤wZrd+XW;JĀ{{ i uԪOљ)(.=Ј?I8o,Zz~.Z`<߫dd}iyNbwBDz?y`ԬCcjNjӞ5B$gDy oeF`)-yNBFc}AźjA |Gl#M=BZ%'}.;IWŪ{W fSá|&ޯP;?XgrFe C#Ef0$h>DR{-L)wqdT;ۗw•e55#u佢pyu;b<z^17N<)t'nٮS`#VB[rMҀ r@m"nk lE=(@HO@aN;F6 MwŞbke$^x@] kF€99Qڑ>De@l-Ir_NӖj:\b}6SIR?mmG+Fi ZjYfto(VQo 8$cR9 Xݴ6W(m6 RC0QoMPuɜ=K20Ϸg#mޏӧ$q%"_#hK ,nR`JB}oXjjmY~<#ur6$98ƶ٬0ԇ^T $~HZZjѝ*M4g'!'ƾ4MLobb$+2D]9́ot?n+! 87 ;`&'gl;ʼSq* 2euռKk)_„ /yy %f ؁Rh{:rb5ьGޙ$ļ$Y(e "$&5]q^(̤w}*Zgs.4wdx겪Kn{6K1L]?W[ܘ[.1Ks=z\p]9R\,Ә볊svOjCkcKu@bOv h&|oc2l`F& ]^P)Q7-snhfr R?jl@'`剘{mVa`̖`RRyD-(:Pxb\=/uѭ^,L.Rߞ ޕ-e׀EhSeqׅ(Lڰ+k1}`Rn`XVD40y }|sx^(_7אłGʆ9+;r5C= v}aP/ӊ0$ջC+r%l'l4nK=TyR]@X(_ez:PORp\O,J;CM{ cʡcIluw4uFDnu:7>?϶C*sLm.΋E!, :J;46!TN`*f=ȷ@dDLxSLX^c6G߶s#>k'T|OH'oU9| B;(͇q>5V@$}ۏoI{Gdd/T9~5Si/<$aUʇ8msPLm@ahrQ=Ygsm a8Lύ#Nۘk#YKf0˾')'*el>f$X+BG Sge4y;kuwݏ 82n"j?\)9O^0PQ7j1LZV6SЃwn{DvOwzz=k楿 K1`QpKk:{8Q>j%P~\t|0p>r{ uJ7Ko?B:MNy}yA[3xd"mcߜ25w><(5>HRx .+5>Qݟ(h+ѹBp4+:.]@Sci;}E\ qz{7R;;k?2y:Ɓ3YN=3y'5;~s54í8F3Dz6W%ZwPWKP4̟zbgdZv*A+ȤK߁v{w8ƀ)VSxmvUc|R4QcW$R]|Ɔ=@Vˮxks/{0 9kL85ePgj|/ p|ߥg :(1\5'~פI=W/uK`6 [Qd;yp[“Ϛ*#,vC|< dgXF7X.`zUdb 7"jL+ B ra^'4Q(jm3M3?*{A iLHbC>&nr@eȫ509agToM;˚&RH]Υn %0 GV~-^ S]h%h=nGIg"h;P~l:;5'j]$PͰ\"NξFnױlRS0MU*([=$EjMwn_~3eKŠHĈN]"РZ120ŒiLU$_c9q gO8wD$jmXDX׬{_̌Tg$a?h'(HfzI'X*k`;$G[RO/K QFu"(t9}4,E%j1"!tdx_itY߂=$UIYY[TTG( RרE + ?Q3',`0}&ʐ.`yyeں+Qg:AK7j-ۃWAB_(9͆Y>t)P-i * Hdr|9iז:6z}SX2[P'q7E2hGRCvltGq*U1p$k1 9`E9b-YTn4V #DjzD-QqY<>/!J0X}Fqѕʼ r͸w_AR^Nu}a?EIO`.`8t@3oM5zka/Oo^K4A In6ihSh`T.Sh#FHZ岑#%(cY+UCXbC>;/GO]!ǡBE_槔xƕ%\qi/ՆQ#CX䌉j 2T2$s9HI+C'=ʄ2d/ޮq{Q^l*(Ј} Ҧ ~.pGPjs}큢\C":Ut7׀2tdt&4U5rxvLTdO&<ȽB0Yڅ jyښ[ʳ{_ǼV01&uV3]ERNE-ˏ<8eYNAhxOǼ _mgI2P|KS4zwk$}&謽 ij*!ܪLi V']*6@˭4/ǻTt|F eWX]*V.x eX%?Nn(]sdV?-)p_ȫTsz[>80::9J%nRj*ҽ,pVB^ar?t #1$=Xp!^ui籸 RtvP!._786R1G1rJ(Kac~2{>*=9N7(J<5d>`}Ϲe wV$N|C22<%I wj/I>V iT~&'vSD_{W?<2x${db1'Cp3,#x^+D \ _Sxf,Vq86RQz& ˏsB乯',DL|:+TtUBEЖ*aOOHYx_Ѕ'j S~ߞyŲ[vӯO ]^ tfN᎚%ھ@_5!q}Z^e Bvp:=CǧEzm//q7%Z-W=M_5gq,; 5'{9HDnq(_֖{7B׉ò(ys"$wb٦i{2d/@q/"AWhT^I=m!~aU,nuuCpiRcAۜ.rDe'壞E;%G(LWˡ4>8^Ȱ4N?j{:1Ll̕ O"I=bOȘ{\| KUb[yp)h_1H7ݾ"| h/CY{I &Cgp໻: 3XaLNz)?kQbPt#zNO|QOݴ9KLa3c>93L.>6 R4Me>L Si]P H9ldC$ATrpMSN\fSg׷A- ` p1` o^zEgay੒{'S(XĈTTPfڝ? Vwpԝ}hTu(w T%UBgMEXc߁n#UUn ^l*_) . R~5) / m\hN=в J2Aq2MIGtAN$(3^\Nqpv}3ܹtkv'q̯^6b 䒜ӽe?'oԯ4ʂksa@8`DznW*&.˂Yzz, /!2~d&@a{.ʼK~!>+X̔)HB~";V<ԥ]ђi!=Q᥈[ݨ\dluwBϙ:Q&QK-o&B-N)I 8ކ X4oFҦb8 !+ϏUaB¨ߏas5_Gke+;-?ED4#kw#7$){;+VRΔk̷aؠh\|ށ,͆b4hSωqXv*׀cW$Ii*܉ !zĴQ+ɽȖE=0?_+l@?(*4<}g?qj|rۮK&Yӎ_\[Ȏq2 u (z5a@Ag/RliveRAݭkMm`޸kF Ĕxnǥ0?t2u7 *ĪJkVsIHaaJA0BC60Uf݊99P0WMlO('?A R襜 o;/䗴DžA$0G ffN!ټ;욖 LUX|[׺ҪWyNG>=،ޏT^}6 Q,y䴷 ؠcAeX 1y2Ҵ\g^*]!_ tPi;MM͔m($Kj MHفN]FM\h厏5W6e]m8R3UTz㘗_08uEѐ#L-g f(/>O|rv{v;9͕A߈gb^hJ)bѐ-;[?9 h@4|(nQ]u׀I$ko껒W~q$Yrl󯦑m40IJ6߻ ,H_$?Ά %;>[#&h %|"kِ2MCo񭱊*/=B|: %B~G Uҩ2;^ K(HsÚdL?Iuiڀ &*0 Ʊح+FӅ*2sfC> $Z~uηа4 Pk9|6qQACȰ9rd}aߓiF9 jⰩb`K幃"ѷ yY[^юyn> lE!zlՕ=M |\gW7g<+Z[3qpBJa)MVٚiXh$g?Ηvw]X7ʻXMHo.g=֩J)*fٽ.r6*f_W7X;$s)a]$ HB/ V7uWqS9BceћtG lda|"Z9_ T2fcmawkHrSsIsW UVH~E`Jͩ()+ͯ;@??1q<쥞P gL§w->T؟im_ c[3\$} DS7}MSzzNWb}ޱ@}tuD3geDa_Wcy6{\D2.$oxfІ!_XZNE&Wl!>ޙF8@'&+^Vn-lJgYZ.&j?O OؤŻZ>0âuI+ϊZ-:$ZmyhS^:D}mqa8+ *`bL,t ,]8O<as2ޓ@f$IW']DŽZ,Go֒ HИRiHUQ/ɾ~wmb1 '1]l[Ghb6sH<}I^O!"=}tiRz2Y9$n$~?q @~(Zm"lNLK;Mo )MiY8DGix3*r8́$4 1 !L#F7MHP4pRd[J{>$FQSƿSF|aݦ!Bg=o|ơ3PS?GSfJU+v$ 9#E"+QkHZ.=\r_`˽%*/hTG%@!֩%&5}~MH!Kq͐0ƞnM.r?tt;͂K[.Q)8 ~_ezq 4@s{E+ XXG~$,$|4~4$诱:9ڃ/b˜\Ν`{X6CѦju8th\V!IA}{s4I'GzMm,m]FH'\=GbGIgK XuW~Z(Ar cF Dm'PuU\&TU׍B|ڱ6hȅVvcvD)!VB`ڴ8J +h6&2Any-} _rCsA7;g[+Q3Qoش&97ni}f_(}7jvPn@+)H䪐r=1M&s%?QT@d92x}Zd>a)_:t- F()J&hDd䑮5hAH]d$(b̰Cs踰u'dL?}i[k'J}a.ln;~4fZ2AqHӗuυҪc.xS<}ۜ Bԍ],nAaLRvSԈlH9h.=`OaK' d+YGR}1C"6NDdlt ( ]Fjp@W&pYh!BJ]]рx,ڰ@nBc7^U信߾>_,9:F 37m I.VH~{듗fhi4dyן'?لZM 2Rk? rC',l Sdq֔|Cwb*atQ~l)a6 (v78;wjL~BBZ~R,Bh^]w6@.$!'=ņeR!)E#K1g{ǰwTP*"'7Fh:!VmG>;[]K ӻVݸ?\hB|ٹLS//I>ygȾ$ hi4n'w~072,Sr !3%#b`8%gNhu3,=MvjՑW^;$#.KD=H=jtTg!C5X{|;ڮE$"AJo5`0#_.9*a7bIbɋDrS:bv âr_!i>@.7l<*->0@S ܔ~XS-08B1 D"NٺqFt:j ͻ /s!+XXOH s' {"p]r!C_OnI6yC@x霘,I?t֠KQvmUtoʡUdžȵA8;="lnP[WRY34T)Y zW K-n2Z5~'_^[7j25PCj5[Mw9 SZ{rhV.U2Bzoj LGaл>0(?YEh.s%Xeg/Um*:ڒ__&?FV۔e^I2`l1@+ͧwj?-ƉUŽ75cշi1 fDSȋD+ԗJ;DNzK=q;{AP31Mmhj ,kiMd;T:n/YY)?dw@'t *̒#6R! 7E7ze.glG6Glιfie_;51B|26-/S0\? gupvPyo/xB!haezK kVz 3[muzI0U0 n-%p@$W9Iy#S(5!Tr&-”F?1኉<o*N8_!J%r+?Kׇy;Qa'$ⵃyc5C$ z_~@Sd0mH̍"6ވE7o]4DsoA0Cmc/3~9PϤi"hs$"2m;"{ǮDzHhh>NEhPq>sRցPh@~D̐' Y{,;}((x~7FJW>OSc{ /r&0F*p2s@uk, d(.a6%zEl? ڠ`.XYޤh?jd?OзE1)}f*sc2ܣ;j+kiVsS%[޾ý(S1xS;-.#B}fj'|ĉ4[׬"4N=ij*W7}"ru!*0 KtG C+g\^ڱcuiR$!EXTbW s &yבK~RATA#hbgZ;w>JeLA- 7/%P#me,*QٌEeN|>jS324߫sΗ|ATH[- rgDQYjhkw *c豭~н+ڢCg!U={6FdbMsT qADt*ļ;mNԵO%;k-*"0rg\ѿsf YP}X]GdMo-%ڋRh߀qS[?ׄjc2<_ {V"(wʓ>W9aj&fhĜ!0@9$2Y0Ѐfٝ,H@V>;Nk/]Mr٫U ԕ:rlYG?5w.\:ՠˌCMy| 7hz;g\\/gg[&" 󒗎@I'il,&ǐRcZ Jݡ֤ߌO⼏P'y[!EۙY$ ,БfҤݭ Uy0 (FYpHmVwlbijO0 M.'r[G^Ihx1Jum5pJOr)Zhl-E9h=,UϠϪOz7~O^ǒ|mDfN8+y ZT"ͥݖĵU嵻z;PP_frì0%gjt[= fZ 0~O CFC%R 1#{դۘ: kj fV^.-gAMG]jq]jdQ}؀fMQIf>8[LuF9ίZF71ˁZ~v)sr)-,9}}E#( ^ jAzQ>Sa\W:d𚁯BI&ax<@QZ˫KT.ҿBъ<8U"/UZTO ,KȓVr#~öZ@t`-i+K5b2¥Rr1CR{MV:XeJjz.2\z󋍊" -u*2}wΧ}~ս*W1L@2BI 8g 7[~lW4ʈd{僈vtz`P>Y^e#M3,R.K$~R_+OgQ/~LIfEE $t 7$%JA7 jL}V(jml"0;wV"OvQ=[3p-7F""35;7a(񍨒rY:m! >Q;Q%%֮o AYV#Jm<$Arefi;*дͶ:E${k P0/ߕ\6)* o;ZХ.c=hTD>⏅y U&U\p355αWH[b5y["%znA!w&Q>:9y.ڬ%IěAxb4 6[0~͑jȬ8p'dZ;åmgP 쓕'[(HPz2:^lbB ~IFoL[ʝdW~u낆"<>X3S/qHB]#[!þJ? k (ÒȲH$d2 [ϓN`p1% u42D)uW hn+ bX 4S\/"bq;:X\ cN̒2$a[f@0]M7LpM5Jj1fz+\<|q[<W9%~Ds"@ a$bh-x dS%(V iDlNq«.~O~ʻYjs2m犫,v2g^TfgZHMqќ=m,cq,1s!jIe̵SqɅRB^^3: e@2g_CS!Hz=m{sRZBMYg@.CΡv^_CcszsʩGZ88 K"!~%4Tu%=aZ'V|3Smĺhb-8ҖepgeTQ!a|}t Qh]/9 YMFaRYGctq$*[)L]>A<~U ,x3,T"΃`w {t89)7v`}j*[+TOk8qImMx-f]Xh I8շq#&⣭ @TR !ðm^ O~wQY\I`/1LQtm9wPMP9M^"7$X2w(}( SthJϥAH$UMNrfJҥy^PY jY01tmARZ7Fp 'LKۛϺܜ`b׋lV<4Ц 5׽fp֪J3_ ƞdn6\[~9'2*XVMh"  mA en+w%lq˱n o p4zzh`9kwױ@W**]n&fێ#(~u*+$H+ZcC 7[w~;8Ny/q" :qv֋dɭ.Uk?jkWMi̽g +~ 3]Ŗ0_,=nb^N.o%l1Jblu~ln @0O&lqk+/ vg@Nå_OzT3;v($ѤLO`K+74itL6 ;*;_*m0ٺ,SSV1Q0!cczR8y;f^R6prB@r\4arngqb5YqkBq 10eycܺiQƊ)ЬCˢ ]QK.ݚlyW4\ 3!OEWL gCAr)zr[>@'mW:>C_ΘNA.GZSrFf^ jV)rEl  Ę@ӎa _?=Q_*P)s1xAhro.!Pk<;BCz:b!ߵc}׊&"YoHM깨}08/O Rݿ )5B=qX%ӮEWnCqC {hb9K;w۲Dȷ,Oӻ Z\4$*^aa^al=F#|x~l9JL:bFQ71&:ƀ+eI'n!qm`Ce\);>^b ?Ějc-T]^319h8 $4E2Ϻd뜢#' :*%ůcU#=?q0Dϖ\P\#xXx\6>bgHxF7LCÿ(c0jAXzfQ Ў6- RiQIS|H9ˈbq d+s]{Է t {`{IJM"2&<:A0SU&fsi=D?P)A,')|&ϧ@+f܏N恗 {Mj1Px-?{KdlgvbгM_dKZ# ;G{Ϗq}+d߭ZE1d+஺CkT ;ŽgNEj3~!Ւ;]-T鳛\#ʌ b?e?H=povp`𶟓w6H$Yj'c+wbHrĨ P%pt(׽ᮎ5_sɯB:?MJWY9G;s 'Oe#ogޗAs c7+[n|]Y>M1Qϰs~|*<\"³mޑgK/^'",ൖPƨkX\ƞO@`_soaU;Y9Рy[& ^~a]>*Bz ķ#"rI'e@F݊i%w\O?yJHD_A}jgP'hj$aZͿeay OԂ9R 7[[=m.1|b>z_<\<^ЄryK!|%RM?ף+Ý{#"1=Z "\8ܬt+|+UR/_cPii5jk%30<]X=NS6vb$Vvj `E֒"3ґ66y`H]-{~GծA3;/~͊<'ʨc(՘gm Fsd)km)H_L )Pï] g,^}=E cP< 55BH RJ:eA.HBRB'EY}k45jmK zObBws[oV$T-0C3-pjKRG S6)]ԫiZΓH߬Ch}ylR5q<x~-~Ov_GgŲVeʧ6D|΃uBoE%`&VM|>=u GE]Oܪb˓9AP6;XGP2j!M \z5X,QU˟*/^s=s-jwinX #"j#08R"9ͮl5%`1V)hyҬ6q׉ap x)OT`=̭SEL)A7W,>`Ck%H'W+bY @pCZ _˕ _ VJc'!:c20udQ#GM}xܚǐ_єW(:^5Fه i*gb9W;33Hb-v 偄DN{TiS%X5DBtmxh#(ȳlkF*^|s5iP~ \5աsSyvYBvtpWHUYR'EpJS_e^`}0US$'CC({#FA3u.L?^C\\7 #q]V\gDM$fdB?="d5ݞ ;/f`bgtQG~$` 78!}]*zk^0|:hj՘߷#΋7n!%a/ @RZ {+NlYנAKc!Ǘ}(׵V>p:6@uJ+M3OߩE •Rznww* B41ҙ"` s);voBmuu#_,n*Vyg?ʮa׸/ݴzkAd:YOZ}n+kAX~>#J.j=(%8J4莤n^_yf}7<մ]V߿ "&1,S^dQ:80 i2%G75]i-d>;E! p7+ VdhDϛKL%9ɺOA5SUbhZCn|9 iG~]I!U$zKw%{C1+Ne˶\ϲww@` e&J8d"oY݊QkJ}x!%N䒲]=ˡV]*)z1{E@FsC}9`}Lq\ nrSClm}cC}ָl1ߨ%#x ZzB2 =Ѿ k0- r-&27, N9B7{1͒抹Q\bVo!Cozُw!eMdW Y|3C(j!Y=Ri%^ #cxeHFJ7)gerXOj4R4xi;-t,n[kfe k6lsQ9-:2 6$.F^P4ADv?y#ԙ!@b':sEkijh]4\r9FH}ur)`Cb,~$etLP^? bD$hcb{*OUKr-X.IЕ\YC.8˧݈WJ?w UTO:I]l#MFiı(ΑvAvUi}p-$swE<\%Y2ktz `u7]Eƛ7 x }QS"7 +9oqyWLV'IVɻWȧ9:79ԧk0.qWdxίYmEG 9yq?pqo|CUڤ ]n$U6TDd ߅'c^W(փT%uvbc,X_qxUz|?JY #RD$slP^S&['z'(>'l-F?a;ݾP_N!i%2V];7J2#ݔG[bz|':\Fp1AƩ Z|B<@rtp5MHt>lRY õqWC)9/ ),k jjצ>s1e)zhqYAjX3$L$ІJyxSsBL,uz߱-xyTD(L-0hK.?9ZTM-'d?m]4?`&0V<*T`%XסʨP䛺1P*It-X\¹$B< ħ -O&;Z1{U +\![POGKz}O 9A0Au:o|ڥ Q }L<ďpUX5htnCi`v %Ac\q[TjG9c4 h!*]ׁ(4Lͮ N>QMOX۠xlX?nv ȵF&`b{p.3NYԼL8hM+(j^d]VŎ]8/EHK^f8ƸDn4ZN3@:}j;>2bmQE2>!,&=.>"O Y0z ;0~׌Ⱥ _'T `*R9)`H:~51+)~h<{Z7 lKn|$t1:l"#>=?QAAMht@Y^kJ-Ft oP0@ ꧶iZ&NJ 䇯f:,-_Mwǡe>`Lun0)#]t8N{3KbH#@28*Y[v>dH"Ox:P,9trm-ed~!Ch,CbyJMF 8B ̹.'ݱh[~&) !!93]մZ:Eo"  Ú&cGCЩn9ʬ;Jq!.)4lP{2 >ۘ-P_উm:i`,v51像k^ JAKem NltNi' B*q֏V]Σ(ԗĈB8*.eR[l+nQY(pjhlfX8L OlL*ْf;^>ON'HЊD.%xק1ͽJ=/}F27}]-[1[ywH-CbLc[D*e`1LIV$Fy;Oftf@В Zٻ#e0{zH8vzêBZT0Tw? r!+p)Eb#6A$]n8ƕp81é֖LG}G)0 HڦCP#_c3o% ,=7e V{D}{v 8uhl~k* Yoԇ5BXc:eأV)Vh>.K'!Nrx cta26Vn̂>ӜXCBL+ ;J\>4te~pV HpɝM%r1}YH y!FFeɲc>s(~@..UX] : -ar0gd7y߂y"rXkLbӯXvo9U{鿲e(u lBUe@> CMfh~tr'Fr͵x{e k\]juIhϋL {/@BO6 ÒDĪ&3ZB`[-}(Lg3Kq#Z%F{߇=Ԯ1ω(_UR8c2:ifdpl#鹊  CtGnOɦ$,/5F*bzK i 1v9T *իBPx|%Ģq|2SMXԥɐW?{D<8g`SR3-ky֟2r<,&퐬@]$s,8w F" +*!f[mw#y4Tj|qL:+F n*C3A{^ [swS^&qj[B?UE;5]_ 8rcl%\ۺқ3ўn@'/soo/V?0P'CIGoV3CaC!~deɤ(yvWq\@ 1iEXy-)nӟ[\lk$V\Lm (;J0$%^ɫ2srJ w᳓Lb,5sMo&< k}ݟB,A؆#Hn@o%}J75wf0;U'@$G4P!lhJ"^/՚x3ZeƔa\JaR qPnⱾS#a@=〹b'g1 ;B隷2?.5*#o`;]QMӿ?Ǿ5! a]k;6XJ(Pwb NM 2W^ \Prj{U^N! dy*Be 9:X?ǜC_i33z*II Wy WЕQѤiFq F\߇u*!AO4=NC詯CwijCKFzmڟ5SB)鈱0e jfoKs.299OO[Q3з}΀l;Sҥ 8B{XqPt ThU6M8b/Y=dDb5wHռ5ilo|,ohŚ|O-0Fc?h.FhI _HԀfY͊j6u(3Dko!Yn- yhJp.w/~Rʎe8+ݐcHdl4Ru I~20@Q`WLR*)@rdRHa7 mc9)O}CIP]WO_'=C4@i,? j^R8' }viبJ榤)fck7IUGe؟LNW}•tHJ}#̸IOqhbq,. 6bVp ӑx>pkULA N}t™_1MWz(jGA&ܙ8537vKV*,v˜Ǎ]8W|*oEH}Ʃ"ؒyC nKFmP*b Qpmss$DڰQm¬?U _Ef6 ~ԥY'#yyg?7-!x>@]0Q Bj$N_9Eôň+iX$(%D\P.~nM[6_ s ^g#4:M|^6i <ńKʨ.X㤄Hb'ג}VNOHą(r$iu@AoYHP "5Z5mֈ.fwkFV*O3}"&B[<74K*߶MwP4M@.uJR aXy+  M\nRI4 v,aG#p߉aZQq~0_>4]eq-HgIz/%Ϧ,'3h9]n8D~ú@)`"W* @86X:C,/u] &p{!{* {)ҳم_~{,!Lxb]OS3BEd/+.;h!C"@eor{Eͫћsd35j'嶺\\ynU^#rY{ [h5!fWl kjli.s?[]\#UvD 0gl%I1DƙbJ4QgLBfjpf=5_J= N=,U62JޭRw% _ZۓW6pv#_K1 Y#iDGkGE$}w=D7-kb3yM,ud+x&Cu%o频SG9)9`A% n(:AuunỠ$T+jIL s!sy  !B"ݒjBTm~^uHvWSC]8]G{>}k*+.mACJM;d,AMF@ayy һh\%$,bF"!Ϻ܎cPe d,mH! W7K>I/0ʘ]XµHiY}sPy W{`/ш\uI,2H6GT "a1c1Sʊ*u(M9kw[UO]b+DdY}[Ă&4D0'5f3@OekJbd텀.?2}Mȶ&.<;~V9;AКkD C}4T3=cP#HLxY9ښ]aCYir[NP +RѦ^~\ϦAR\ԘlٵoMi$2&porPXqDh6їDNJXlIJI :cP r{ą}~8-\ZK95@[_+Tاx>.-_tԎS'pIYД-4Gzl̑o2?i3rUt3GFTx&&!_d/n5biϮ(fp% 7=x*:)Egk([@8Iyޫ(M=Y7jz3O8|"XqFJi b[wW@# a,mBar܊lܪ=dE8̄DlSUn fݻ&n_3J2 Zd>];$tW'0߂>}xVDuc=PaA<::!\RJAh0'OB딌1dLaQ}Ct.j+EZ>"}Y)J9'/㩿|vDة1ɇ5a>U%&kD Jtĕ'h017ƀI @a4\*.扄dgE l yErya+Q0v3B&̼LSO~>_l뜭c8'HRe'F#8eAݒl-!_8PuAGd)p+5H %^Z}DX[&쇓fLl9)ӬB T%K`h1I3kʼ3,L}"8"ו5L2uXfQuNAqg8;hVbx'8ӣW g/[4tCǀ])T3H\_¨0o:B|u"ٍ*ـd45i⻍mnoA$E!%F BwJm_;cj! k̔ EkڪXXY B&#g0+pЌ%ZmX51}W><0#4saڎ=tkQMN(kS5Zcdwde*[|֥RņF:HQT[eS_ gNPɮD^Z%s`ԁ!h~ 1jYxmH$rJ`}O:ӂ{;BiIX0]8x[*a9qTA#Zz&Pda%U1ux`ͽ:©ƝؙK!$8=ۆW\y]SYgFOZ+<{BvHLɻ:ۦx3hc3Rro:+oT+wSJǞ1b*Uٳ[3nv\zCX3b[FGc)"V>a[&FxM?bYz9x rq! 4z[f/[g^r\nDG3_4jk+R",r9#k0|Bô|LW|wV$O3 r.~ 9- \:Wǯ33M8zꄵݐ"I,~ac?Z{w8V$cqJW+Vӻ)9phZۧ!w}3|#MZ& _`*Ksshj0[{42c+ւI1 r"R!0$ĔcL?6Azj[@>74}gA*W)e:xޟ?eu;G5-_zu產sߢme١16L,Րt ^4mw* ruKGe)i}ad M#kF?c'$,`˝S"LACJmyi+ Nj@ mhL:wo;@"ɌO91`ӳRFo(ldz2FCoD#IVLLhIm }Ha걶yuE&nsu0DlW"C?k>>-` X'P,Skt0A>Ҹ͚DuBˡs%~c+WM^-ng`rmn=h?Kۍ&RYphH}N/5 q) 5Z*k\kݍ?QHd4x/H%Nr pG(?d42񷵲>zw6 ~SG[ek8^+g13Bx/|H GpE2`lTfuW.GŲ}4 ]7XU]Tf iƴkbkrh(NCIGsx9 \%X$RP.И ewR(+0¸PCpvBwR.Z. CޕԂ展ȉ3k?XM9`~>xũ{g6'(8π{x[zecdg1)%(q ,@'Q.M׷{#Tst=Xz<'@ :ANsaޔQN\2=oƿ,];3+XBc_V4@LxRgݔqvWU!PfVc5G/NHiAea|b_糣fй.olâ_چ*7rRZ Hx 8uRTw0 ;GkLk2?-V.( :eت5N3\vm9R')bEKjY0/B@/HY̷`Xv٥8)jx%PdiYJ7wnpjIV ""Q?LJCTڶ .(`$XLv ʙ?cL)='nNWΫyPY(eɿd/G a0U- L (ffkp14 | ܅fY>`zl+qQM;N54,f&*iTe}]GH/ǁk0~u]}܋&N)98+7'nSi@ë B͙%Ey2HzJZlhɣ`T2 ͞dNx:ANa*( k2) p -B$'dj"BDR.Kxa7)v?dZچoe`OOZƭ6n3RE"1Dk ~}%^(? Z(E%oE=k`mfBλR~.`,ABad.yby98S໥VX4f1!ҞFeN9塭|t\~EJ/wW5<Q9C]( Hh|?"wfz6v(sg䭌rOuBqhjGFhh+oH0]Nizc`9e@P X Z[Glxt3ÕSZ'`Z붧eF_ή04ZO[,>3=q{Q0XR'Gqɿu4`_YH;d Jgm9 ^L~Kb8ZVH TC?IށʦA:]]V|(OKE1D"W`>9M\{!VڋOd+*4 K֊\eqRK4ZӲ74%|ҴeG*̹+NS_nx* Xai7LA83J-鯀ڂҀ#DFYHtu'*3B𰋚{+b?Fo̚C#W~ڂs"t#ʨ4?'*s#>'BO }zޗٯ6%B z"@o45U.U1!Bszqx,V)F>ִ-p6&U@!ٽ#z.lFi ʒw d" VRA'DQG~ՂW+ÊMfզd="fd@ϦwY<84fWqW'e̯oI} g,'Kuђ̂)y -~~(r3:g#>6e?au`uGL\uT $O/j 5@1hb@Tx,u =(B_ 0>LQۦa$Qԛo "HX}[ǒfƂ/"1k OA!nBIZB0A=4S/a8e< zU:H{b P[)MVvk޴( -KTjf,A!hr\yQ߾]X*Qs8+wE, 7b8`>-1I4=قc Յb}ȯ$ug'YpTzN5h.pBqgG;7-14PI'#Ghqc Uk!uHzKHi{DVp:LKtX4%N;Ȗ_G@t_xgFO*8ŶX}_C_Ci"A9d0&o))}U*ŒQx@P[x [SK&4Pj8Dă :;Ce{lloh"yQ4G+%@=}E -Ae1?`-% 't^Fh0%m6r]YT,݇!v>W`,Ձ \?X_kLBC׭i5c;:#@C=D*s# \kq%4#<Mf7(G#~ E mǜLbcvOhm 8`s!aDO~:3` ^Y8 J]3$Ad{*L?m;\>EJTi1Hy٘[E`a%.*>F7GithJyQ:|c}R[fSM"Y3!0k0e:U!:zh-aLK"{fMXDz #X q:Pf̞@k՞e{ bʸo_PNT@ᓆGe#U&iZ˽vv/o2;rȟ#&\dt 9Jnb׻:܌{q7k7@p,~!j,G4cx_9+KAZRڧ apMj$&fcC4Ww N3չ^bRV |`y鱹߸8o#mW/CȬ{:eWE/mPC%Mnv(t5J@N:mOu,tzrT/9 P -BiY'k X0w"@<\DL~ҺeTNr|,Q~3]y` ֟87pLбGgLvkbDP/l-{߻=-L6 ͺA27s!;5r$=CƫaZzuCF,mD E.}@ب>F5/6u#=rU0EAK5SjwYTPW?fBNQj&|l34=0~NL96p@fC;ipoD莢NpȦ4Pm~,g'Н/|RKNU`Kwr&24arRbɴm B8z"]/ t;6Zxk|! jϿ&oMǎ`!} mR)Y| RJj:U5`}kާYur?!-s40h?zIOk71jC" U4aQp_mi|tUWVfqm"@YA 9ю60^Z62'٬Ӄa\Zuz*:sn+-!~jΤ<@p؟4{L ̯9_Z@@ꨢ0Ձ^j;ҍIi;m_lrSa-C6 P[gumbc9мiކh䆖йZίx խB- w*B: a ӚvVh{ )a0]|Yl)n,˳4hj~JB+Cy|kT#dT+NYXIQI&HQ6[(qӯ o fm!th`kloG*e1BǗF96xQ]S;oKYcLHmmƻ_,"~IXJ A,7|=JI%g&2^='n HgW|%mK{g-{qWdS|NJ+OrE5QgW5VEFS #P W?V!ܪ1>Uq@ԪGqIT걦ssmcӗܝcҕz.Iot J`k%RNM|7+E@0eO5jVh`"^ A門[EDLUẴ\ 3#SEg9BF $LL<:8c`+W.hLؑ MHC^EO55n" c[r?tB#wߦ~lm_t ]#hl)bc`+R\]$ZFbךֳSW@`H- &G*yGB%*>`}CG" ?9/~΄۽hĦuR>8YaLU6A=t3YGO/=<͢QbTdZ%QZOdK*z1=6.!٩$mjk'dN14Afp~ou@i۵.N8:ݴqqaVJw#ͣd"[e%-h&O@[-@貢+D>)lGlFoZ}Y,6%r!twhCS+UU3h?n"d!kNڣsG 3:2!#:tNѭh)x>\BtY ϯm!ߝKk"r..g9Dki"Q?&h~AkO}H cXZWM&fZ:Zdmdsîm\P?:t2ǒish`76U\ 9$#[P]i,,W(8ǯJc2@W*5"+1F$FVbG>8?nܣ!JZ,M ӴVC)%/ʂ)BYȂnE-۔F-Nn/h^;)MUqe_g7:JvkİɚeટnbNmD.y;KV ʛy4׭iIY\ݘM/1wp"]'d#yMPz(̖i|wf`!jQČ:{WYaE}#ъ5l8,(%Q.ؿהᕎB'UG?C -)6țm=1x(s@068ynw=,H^Jn,CqM9I)|&h>c/6t7}aPe P9k- <jΕFraU6ྑa/u .ud&q ?Vb 4.Ffr7 (I|o]+2^cTKk5gYur\ÄH(XunnI3=iϯD]}RX:5y@0pebuR%TPO/RbNN͵T}sÿ׈!Ȑ$06i f yp,xNUAp-W؟ AN"90Qaos#}xd1d1D+a QwnC>5JNz=/j ?e.%;^K!=do֞+e-ĕoH;{ 1 ]f@~{=R "C`oZn SHq !_ɺ황\ir,<ݭ+!!3qc:(FO'JmQR;AڡޖsYRO 6OD|mt\JXpn vShgAqv p3\yөT´@٫.qPR4jgsP@7}0=nFT-n38!oE Ci~XЎfRn7HA _0d+jO;7T-%R,y"N~M#F 3ȰCFW>]RF|XEzY\.f[VV;.2(mkDߛY'j /I&,+]w^PҰz #jTO$-9 ).ݘp]pd˳{QĿnm8{yjR;̕@tn L>Z.U28`cnD//dÌ18di-I0Uߨr}SY:Y;eAWP+ϙV3 n`t%;U^!հn*bBB[g#O?٨u6ݞA6ZR~&K(V~QO Dy.Y/?sc'փ1^NIRwSm@.O_ӏ[]c#P= =)&7m@Tah/W#DH/KEԛyTdDʹdg~"|1 ƀg! t t-tYʼn‚!DK)8d֮gOB=z,a;۸J!mY] /CWqƚt:m'Hʄi݃4M;}nLu]nA']CV0ٿ|v؝(Gç9&HwN~Yh~_?_5KԹ6^0vL烽ΈOB:cC*Ԯ" y8]}|f7m1;*d^GvK#Ani"<t8hˬmi)(X^p݃=:I6j e 1B%qJw[wq2y,~u9廊⩛P3$Dc rA|IK%l䪁#݅Pq+Iܵ^N*)T?RC bC1c7;[^(>ګ?1&X1_&[l+qJ>; Xh鹆lޟr)/eb<.7f>T'n~#E%X%X+|LWOJ׭3*vKBGl1-B/T%HPV9ࢻ.ϗb63G A'(4mS}_tpL-OGgLp Fs0hESH >o|Z\S?_v^FHzչ㳘 ;1z6lz՟) &'{1{U#p{z_ H|'ߐ5?}V?eWF% x ~Y>{5zb\|5ؽ:-z~І9~tݰ)Y榙ޠ9VLUXs541 \ #7f@Zt~bfwe37^Gd1w2dPNRs5xR4޷~_ -v=?+_&9*u{T"G'B<bpa@D=n~pd=<=򈱱QVP0 6gQ%9ْҵO|йr|8$⋒i=#@dZճ%:X4WqY%9͘r2e]BF:6OOmXqT3JF' cFUS` e*ލ-V& {Mhڪao`۠s1?x.[3r⑓>yp]2{N CM ֐rEibTD<xtWQJ?9;#QqJ]ar譃|Q-ڳܯDn}Cۙ~*!g6gnFx)=ĆWK*8 z-xOU}aJ:viE a*} ,fIIZɭnɊ̪t˅ɓ\pQM,Z=g 9fq' ~ >0Gͤ,R௪-Tkfy#tɴ]P_jARL~^MS|?Tz6>`c,1:?&PW_W/iм診hl(j];L?]pY_u9->+0Ҏ,ڄ&2L"4nCM NkgJ`YXEB‹Y9U$Ev/od]1׌B$<iL!A?ʝǗ թc^eu9|Y8( ͺ`M,b+2;N6":O*$T'ygYZ r1S)\HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/parentsHOL-Library.BNF_Corec HOL-Library.Streama 1O/ 4HOL-Corec_ExamplesHOL-Corec_Examples.Simple_Nestingtheory/other/fact7zXZִF! 7 R]a0{rgp&)u3!`+_T po_bog;$\?`y뷢ZA|lmE\* Xa[S+`hB d.i&_ ^N>B'}GUeEkC+,)^},ey*m7JoH = F@w "*DlaSYFҘ&X,(e'^|< Rb 㒌VT/ݿ:$!)m=IIƠ][$8L7KԽj?$'+_ >KYf*=9I U% &=ؿ /D#%Wd_D^l]ҷoc tg# pO~K @roTK76UFP ?L&ORszBJa$ wLk)>O# Ppg|( s5U6zwM@8c)pAz7|=VCҐ-c6"Qy1|zmTG@p}6aO2c<@iiYn#aL1&~ QG9Rǹk 3Xc)?CWYUss#3'3AU}[VW\N͈~ȧdSPpm*5\{jo"zrQGRa "G.Q*]Ze ʒFHS \Y,NX/krunIbQJ;w(ۛ}HD 2%O΂ e5S]I;${"yJ ?MPݽ|^D7`ݦoۙw;ϓQwd3OSMV)I"0c\/t?HA)9n#:S?>XȽ-[1'OI*9-ISK~Qn+Ɇ $P.]_!\3cQeӽU( TlW6e[[a;xAmR=). TVEyy_?"ax|/ƒnig{{ Re=ȺP?U\kP|;`if@m\bٵϢ=Wd=n<^fQhI~fq* SǓ'=)Vɷ pK{ 71<,g %w-ubMrȊX#u}]8k{օיbq3elEgRUsX})y|M^Dm= wGuќrՀ:GBm84\[7IUяЋV `/'V}RE)r]6Cb*]sYݜn]жTѧ$_e{(W~$NFG!h2ZQc6̗<8(B㙙@>VF/G6̉-G FhoZoSh>h'TBgHqH틀G9l'ߩmh;eu*0bSJLzJI7&Ԥ;P#f౅D9J a x~^dBLD Bј"H}FLg1\Qz84f"lPm!SFC$n1[2M"CwZZt8U tǏ9S;N/ *SO@`l'RWǡVR zE߂rqpM}Zm].V@B}&0[S`5XOWGb V,o%ZئrS|3'G*.@^mjtYlsq )9m H$`ZReV48=^gբ!=ԑWcF uϲ .HW-Q?iY:yUҞ[^GYÚmtSʸUd&uĀ͹u^B4o#1/iRL-Yj^w{j~Apdq_\ͅAE@^uy&`۸6Mkm>.[ iP=S1x$8{P,Ȗ;eXh=Mc'j7%@ I.vg!6M9%i3#h%o:˕O"~|ZEП׻"tC߀I/RǝXOiy%;r ]cUg纅WVZ?d* 6yEhȹY,Q,[*K`VYJ6ti 0~iaQ 9&&-b8K+2b2+du{`&!M0"E[6(yl ٝH`?zCd]6uFװAuwԮ\}Οf:d~7d&GxkqBOaNȆQ$ ̇/H.vs;FᘏƲH K_! o$>~ 5kǽmN*c1P`0~EEh%'5KЯءJG͝6k}f);nw H6;S[JN ,e1O++w^}96l L÷<#-/GZ,K^%@A"X,Gі/01͒6Y44;ן`?ocrD\g VAh= qm2śx)bω '>mإTP;UT=/bEFAjjൾ7Ylco#+]$2h&HǍgdz"qn7Nk+axS}ΗAM!cSoCxŵr:\T9etm&&* vVB4nh&Zu?`zy d awT Ϧ&0xaCuv-pMy*Mo%ҽ40 Sk.Ǜp_= s]:d~b˽].StOE-߃AȐJ>sQopa?j=buUar^! 5P9\cI?W- l l 1S' HOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/axioms7zXZִF! %l]a0{rgq9rT eAr" 2c7yh+O=kGˑ"8v?p[AYd[Rm2 w&/EU=r.X.XGCl D5JN \i{=mXn 1n7׵ȳG$ʕ<,%^:k@^A*p% Ժ4kfC9\H|@g:T Qn݋jR|z>'U_ gʯ{X(a=y`t~Ph D!sb-L}ld1d/I#H_;Jp;ݙz#;n807i~7at*ʨeXUL'"qyZTxQE96%a[˟枵}Tf?^{{'6]e5\х~x=ӳ9,6|;"+:xݝ 0B / )0 !NMM<)'kS|J}T7`+$G$W<_5D%%Y;U;/E-Y2Ue,E1d-0>)`;X+?ZWD6dqf[(`5ߪ jab'm͉!_&mЎvKN5Ӭ4'XWQ 9fs':2yvb-TYPqNz1u HVm L ax'M[?Y~/A!^1,gyt}s7X U&M2MI-<=jt8Y 4n2א*['W9, 1>_f1 Y"rIxma$ L4 -ԅ[@e١VxVqVH=li.yveN5'IĶ#BLNijcA#jʞ]WO͉nO){&`>1#ù3K>rDx;*oWxwb+ˋDGkanN j#$XBqVkd''ӴHnG* k #l_#f#U ξaǧ(VQM@A`"w*msʑ%uwz[nbk걝*XwfST/>俵c keA|c!ҥlE)ԳBRK?4_ ]}|.h[=F{U81>?h{Ijio:n1S' THOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/consts7zXZִF! d]a0{rgq9rT eAr"6k(s 7ٞVƯ=;>LL>y['~NZĬ Թ7Kږ 4^Zb n?!3B^M29ITc2{%L藹lի%9rq&.襽[kXEivH!9B_@Lz0)8΢XY \I3^S,gеP.j!w,zvc(V'~x&yҊK@ !BbOGY*?S=q^nL鱳 L PF?X3DD35 Zູ6K!WPDEWÖg>!wT`L"OCʑ(-=Cf4Abs".`l̕FQOCz"S֖w^G@"(IrD⒊Edz5@q|q7\,o2&)b2Y|ʥWg91S) tHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processordocument/latex7zXZִF! ]A-MՋhvG"uIBm5ȩBߛ0=_ޠ&h^c F fk|>65\w|"E3Fi5p4N8%"B;eXPb8Keւң`Ǡ Q_2}asldSV #r2~#0,VN+ī}M?YMƯ!A.0:H-"گ]cN-I$e.!Zl@JƱ 3 Ԙ7;! Sok.U3Z8RVrZO~E-;\= .bAC}|1FelZrcaձTX$icLUUJȂдMI@PE‰h5h.iy(RkuaI4Kd:՟~~0늍-xSoܴ1P%̍>(3:%jKv畚zvUWI-\Z8y1S% lHOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/types7zXZִF! ]a0{rgq9rT eAr"6k(s 7ٞVƯ=;s ߑzΌ`B5%͌t9z Ȕ'Lt6U7Q)J`7UC @zyr KT! =#'5KT'Z}340ʨM^~IddƘ??E]⧜rZÊJ 7]X˜#u~"'q.qtDiA9V|+H M~mDK w5cX̻M*{s9KB _ЀB MVi Lq‘LEΆꜺȜܝÀE5CdIj4hڃ;C$K"jN*:mf<$Uj O׃Ȼzj9$l"?auU`]-]$ȍׯASKY,6% `5iUH2j[#&X. gYZߠ8[#ɿh}yߧ2'xKAS %`ws^,Զ\_5e!M<%T*>O\. NaF\!t!%RrN ocϻ9usp\s9Hǻ \`Gm\MdTUiü] ѻOKV-`^SvقntJ@rWô cK~ɩV<h^o\˥;"0L0 89@3D)ɶd_j)Zmw5RjuPl$n9C 0z3Z='-+|$\ѶWq+Mw~&ǿ}$~)"I\ف'h ëw9UpptAp:ؚ$F+fYj( 7٨5K1:B ,سNB/31מRf`4Zdd_vLhP wv5:ͩB1L OEɛ珈p,y1ALIq +__%Q;,"KYolO_ ,-nnaԚۢ V>SdF>ձ]ǿ+\7V97 ~V@X9 C=y(^qK-"t-2XuǞ-ǰ2ψ7:{W+H ۘƜklpb۔J^## 9VlEYu %{H6Z1J]ؤK=VjD/1]ywGOεJ$(l3z50crT 60ƒ4wvٝT 4gA8$ThkV u3@mK.p» ڝ)%'%\vdJaAy-/F(`$(vKQ9ſp|23,j/R1.{+B0k%yÌ%bB̑@ |'rN M4-h^xm/eHBm`1sf(e@Z9ǎe 06w`OArIz|4_q;k1ZN6򻑈L΄?rl]-[֮?@?8ֿ.[>bsGSk)Op+\))F9TaJ| ӳԤ2IחcŷPSIoHH?56B#Ngr{0j7CⅩ*^܎ M:n1y\i JoSq-(awDh5=Dfg\p3CpKitsn&Wg 0sejZ- 󿮈+Cv(QS`/7C vE #Ej)ۛvQw.woM6]ļFA*rwIގp ֚9svnPحJc.=j^D񻧤 Qsr§4>|YUH!1$/mӓ[5;7]VP5*ZިfQ"Ȼ~ԗh5€x{cBUVLIˤ] pFd?$Z 1z8.Pr8(?T iҏŸmR'"(m(rQqn.i %6;Ql1"rQn\i=uZ{z;"eyƅ3K1i=d;a$/[b3DJwoN@"ZiP(\Q@7ЦckYr,<ه:{l}hdzNH`^x珔g7j@-JZsh7ZjU q6O*ZhNG.ok \l uaX {0$[;/݄HxmڇVh<[z΁}bbEn|g_Yd.v"B '33zazn-$gCxoA.>>4bϕESpaM@-DDzl, A 3|/ lf8?RꋺNp?i1tI([} ݁l\ p frjD/`wx&_cm [$cnF]zڵqR0:GsrkOf 8WՕQA\Byd~릑2=88*zdƊ ]k|N*,LX57(&e4Y.6LneuM7 2n]؀%HN‡Ef#i|E+ī|fJ҂)u6KÓ(RHϖ1ĜQ2R^lv> Wջ%(k=49F:`*bNI!tF47Dr°?i>KErd*K rY2eiF^^ʮڹ!fI(*ەb?J=/?p3ֆC֪bhTw8:^+Iօ|{ju|v2W $bxp׶"6 YG2twK`kbC}L?6/q%$7KY.qYi; tߤx[J*Ta1O㚗ƽlR>x&E˥V^xD7hʿPg O8m4K¬1~E-ceaǭ4=`iqx h|*e^xUa_m;~&.ҷ 8k4/Nc-ӫ[%|70u}1O~*Tpi׿pn\*ޗNêoJVG FyVW2z,h[k#vGеcB#۪#؄o/7u<[NHA$DRS460_DyuSֹJ]zLę"/`-DC34+%|$JmRgYZ *!)[-)7A0~{ NM` mx!k1I. 5%t/^ޥl_nT+%nZl=|e6U=sOA[u} Q;x 6~(͔X);n((RΖB&HilsNY} IDn-7e?oѾP)WuO lTm0Pdc"ifR^PbdcNZ6o#t>Hp /fJ*[Vz8-~0ACи2m ^֧1Hbz|7BpϦ%Cwp[Tċ({j2gXd A,4YY +5LtD'X$eOYtV >.xa-2Oc2keAj ֬_PjJ7봧yYȮ(y0Kˎ,rQsqּ-)Ta}f(u5Gɣ?!P;jyGZ&oEaJ*Eqм&8mi6cQ+֍Fb=zTS}yGҰgKdzQW4?FfC8+ZXZ2!0N=bj30a$N~-Ҫ?~Ե[Z(@aA4U~-U̩\QftkolSr-oj߁ uFF`˕\mF/YagCv}T_7@bɫ"#㰦xA7'!?|_"gf,o۴qAU;ٝI.OnW>wyh׽s Gۘq46Ѣ:zS 3"3ŴK &@+졏*aos I~:> #jr xռd ~T5PSJ~dEmc{=+YX)ڞIljE7t꽥[$ᮌȭqr8[m߇G8K<`LUpt26T(i5ϮwY[~sv·?Fxƃ4x:oED&/;AEwk7!+H(_ՊXbW%똢60S,,6F҈te=.^g|J`̤$>ȭyJj6#ϸ_i({h6R?4v؃"MG&M-AVb.cT$9+[H޲ Ut43&pc鸝1 DT4_%e)K "> z SMljt'ޜbE*Y@t!EVbߐMlӲoT@=ɩ ˵rD-\(`5SWfP&}8Yƀ /r{tу"VOFC<)oAws[Y*)^&" /)^3kդwso7m ,HP^P*Sr2*?xў7=ǴAaJlnlVn1kR],m] > d=&7*mG͖MK|}{jbd3އ?QuB7չf?&bか쿏R_O΍N||e(x\Ƃ0੆&%PKJ߫?X_H#!/~~\0t9\X{W`1[#3ӗWiDk$fc@}[p.Qחiۀŭg8{@@@lJexCEd EZgNqjf2B[Z:}!0_ev>JK³pss3LLeL^_CC2WI|8xsC U4o |繱F܇)2ŕKAB:WyRkf'NUu:eq&\H({RzE]2b.֯y;1,7X< bNpzQڛ~m tC8cA22cKzd{'iWTlα[K,T WH4 t YHKeS*i]ݽ~DPHBK90M 3w-o޴L |ݵ &'-{G6f8~?5(n~M% V\w3W)Ƅ-{{{۫yKb1 Ŝ"ЌYh6Ah+Ծ>zI~.OUu]ǨO}9F&V.]}nMC)v*h.(e#7^BI"??F@9-<i{%TkDiע-C@(Ne[QVcGk ,luJ0Uv̵YG {l4רmIZ0HQsIWdkO!_+Ոϫz|"` Qg2-ZMs`Z;앬G͜ZLE!7^&Y(Jдyk;`xI}:IZZ$L GG ]>] }y\&X0+IOէ%|(<$ ȈgW&"؞H-- QPI9 ᒽn?E\C9/p+[W9ɑ'픺;5[1ڏQk &[eXcH;OTT,F`y@ >c(*?Vg8X+ʏ( 7yVVGNvy:"(O6޶ M[4Ck[hiYi .26WU?krzBZ]p5.:zP`~= ;0~e&@9 䁤.0mH^_)e> srW[W +;<+#TQ sR:^ZO쉤 N=}W%rzG.?fYHߣJC%zp`>RCǗ b؎xJٛގm?CF'&3, p"[r>ˁxS}gv%r`\5,ȗw?0U꬚ :;} AhnHvUHG_ Թ|q1F#`4,ch/MZaY>&Ŭy Xwq3!2̳X6]/҈uzԖ>ȚV`d=DvZb 70`%~+r'`۱gYZp32L3ƨټgZS"x6L+?ogu|@dΜb&ۊhe\X : "fh8{V؍l H,>x&cԢdӧ=pfךU7` :DG{u6n]NʾsȼA8Cb\sZ j_9ɘ5!F8u>QOF4§p^7DEOE@"_Q"ǐv$nZIc7n $TGDcZirz/lXjdN3RcA=pգ۔zY!n>=Q5cq:b.j'wckYB_@ɶz%Q!5<&QP*X1,ȗ#cIgZ7?H:=d"nxrI0֍,F -~p#@_TBqcjb܌zVA<[kj!lh߬Z7[` UbC6' WN6W)|S݉]Y,ϣ>hGI[=qUaN_0%jVjET2ZaiOwZr28 yn2u4̯XN7( 6*A\{'|;;\nj=wA@`+׼z-`3 ДYNچ} y-shD# 3Ѡ QߍmAMWRͦR45ðMԆd)iLa%qJ-fj8!u{^̸-F㎍̜O1kF8 LlY}ǐt=T[~í1NF%C$ ĩP ݃MG[+v2Qdh?:W~)mʌ׌F;!곽V\T!7?srɁMdqKzFu)}fMuxK(ܜ0'c~]܆ -ܨþ틟.֦PQZ~ehf{䀸 ouIWFn$1#aoSvhmݺ eզVxs9l Z}%b sumR:;-fe\Cc"G>k4 oNl`:L; u({9p2" C9oO[>K]IkgI-;p]Xx(2%I4I|eHʄթ~~?v=z*W+ĊzxMȹtZ~DIj:jJ㡁W6d Wa*2Uznf>V^Z#[$IK\ӼbNL>ybG;N7NׯZ(r5g2 ekUv&IWެt^  Mȯ&w5e]֩WfqTQG!16!۷ihR SP6߲} D=`9F8q{<ʍ{)l=X-m"jv^\酁f𩏴3^;Խνk}hЯU#7‘ui@RWF`܎gĮǁS_Sc"<(nŽ=!/j7 9V"yy㎊h d[|u <aG>50hgcH?COS n.-ϐYW6&5q ~wE!\!Y Ts:Ӫf3lo ZpxWݤ ɨ%?#Lsh/]Xe8%϶L;DæI sv|琪=qzˏ|:L3[ :UkҶz]ZwR$\So.n.VDb§2;,]MeXRL+ .Ƨn4l?m< *E_+LXP/;.r4ld۷-3Kc'3[fRfk ^U9]yMr]ם=ѣCzLV?ЋJڽW~vYN{}Pbp  :ѷ "6;b2pBF0Pr~X'"",8$m³ X7n5yuS;aOy w34Mo8u|.C4LIb ~k#o5yNp0RF(k]se{Fn,DytB] к?6 mn54N*9 @C.;gாؗ36);o`Ɓփz%~][vd0g D.wPҷ˲ܳň]W?~GhocLz3ʎf챏EvVS{\I*bd[EaNSh{̝<"> 壿VjմTdcvxt>6pa֗#or`SW~Ocޭg Vܙ%1 {`Uz^Է4º&!p -~Z,]W}3: a2_.>>|n dЖh~,״UIWИ{Y!!c6&G.Dub$8X3 ܉@ajxqL B]=0` ~ -X ,o,rC11ײ351qBvw z>"Me񹊚ZU^@C~lO7|'z*xCp$Cvk)OɔZ#NJ_!h Ԧغ5MOwK) ʟQOC3ޫvΓ̢m&vw4oz4Z_&.~8ܿ+rSR]ǡK;Rz")`. %rQ| XڬD 8.9B1n\k6R^;+Z%y*)/7e_<˪U$TB Oi:iU"rXC1-DI28qM:~̓tY *7zgYZ>5هcvnw\cԆV 9{IFiT%s4nڊR3<@C2śĪ 4 lH㢜Z]/5r4ӊ 9Aּ-tT ,S&[(79˴LR‡0SHKg%4n1~ǒWI}bD..@Ricv) Il,BS$r/ m0VNC $v׺QEVkenT$ےbڞ@632C1~_LM'7tܯC6B=i58Sq+AB(L[wE@Х@[qE8W ?vdaI -u\ҭ]j>.48R.l&4W{,Rsb}GƁ' %Cc},ĞQZ}Sz!H0J˲u__/e'uHb߾] aaE@tAMR`CͲ͊>\.pR䓭Ms Rkq sFyr"~@ ;C1nHK--lu^<.Z|T8 hvk֣#@s+A;:ma{'7O7qU9|c2Q>c+E p | f>s*.!& ֐k4[pz.=ڻ tO/1íhz\A; ]grg`]D&#bֵ+& +ƶ".Duka j_FL _l}v*mS;]FOmˈDwXJ|dDZOU{OrjZ|Nft՘v rE3t:%9ڧAnt([E@Q dyVsjzq{% o]ZG=uy1=gDlRէ^[' kܧ߸jk{H=kn"?9iN.PaaMMpa'ܐQ)P$6`k&=[ɓ!o~߰Vۿ&{H+6簎Ѕ EN'@1>$ÑLAUb .S Y Âs&{Wˀr(\)P`XrW;~\lJNZTQ$ n*VP=^or+W~dY19L5NGdlg YoJRG71n4}2f*$:,aߞC-)ϵ%Zoj! 9Jq}>˾1%K߽u{ 28.Pn*Y+LMJ*kt9WA>Op<&X֫v %[|0saJeHu߳R8rcdkp'`t?3zll)L^pJSj V$ /;r]rv>E 'EabTF>ayĂ@gCk#f ZdR Ƹdd| yҫ& 2zPd.a?2$(cb7W(.MmRוIλp~Hu˜esȑCU(4E tk57mRw7bN |j`|aJ.Lӭy^v)ʉ4aw͹ٍ8J( 6:j%kLu24~ivn]&+kg==V4Ki`SIT]ؗ8]Cl|4 մK ׺7b-˴\bl6w0pzWspVL)ŷTp/ r>IZR\9FLlgŞELom5AU%8:!d)Cq;&x(~n~-rsqPy7Nȴ-Q8f)\_~!6Jl&b2/'|Ȇ~-IJʥ r-MJ7Wf.0:̾qx (HJZ ȠLu<]ӡulOC]~{~ KQy =wz)daLZ\D SLKDJPSf9:M>l\+F 8 3bb25ex>=J^~T\y S݄5T`LB}P@7ХFowsӼ'*)AQu:{K6ƕᡩ }Un|=0|QfRx_ԑ[zA>y({ <~g]cEq)-tM(XˤuZ}7&Q{fC1 V7$K<-, bڡ `aԾr٢rDk &J4Sz*43 mC0<Y,{x٤cxWp_!y+uAUN=c_j8%zBА4+QoƨM/iϪXjD'1nMk\`J0ymv/fV%sKS|_Y6g27V:%'>hџX6-ŧ| wHn#~"jzhS?U4E?66[95(s% MEWihc)fg4yAď1#''yI~Oݎ,; 62s otzɎ:mVP-NN!Wǝ=>jk̅2aY'| l~7!̹ k AJ^p AnYKW72"8*]rk<[,]' N7=wumۘ o~~"m~CPekY.i( н;[30'cE+&=G4mv|6q8S5vKMH˒$ <2vzNc=}NF5G+ݩD_=e):Aw+rr,0 kBN'3ϑ䊻&D⪫!dЁfUCv' 6({FgÜ]3G1m~m/"ƒ\L`& N2t;A=ݔpCvD|}xB/ox'$GG.k'r8 H%IIu.b ;[iD%S:v)Hzx$f0 U@G!6h@kV;Lx0TlWQGxXѐL%!5/y_UmAr*kNG|: %ETeołm9VHY5w(ϫ0S9C}F`"G>cr( Aΐ*I0"T("Vi8!v2W-f&|̋51 w2@v!y !^ ҵ\rv.4ཬÝ' RgA*^:1д+1[raSWF3vvD/:Zےd%k| wޘUo{v * P[TQG],~I,}-;.e ^zÉ9 ZaQM +r3_ F ~eO<йs{[zq31U-pvEñ$Gk򋤙HJXPC_k(S"0(?A/-_]HCM)l5_(,C,l {֞9=\ tlpf @ :FhH]xx-^m$>Ǔ8QT1"q5uKV `*+폶Q.K',8^~H3Um"F5vy7nOO+smHHDccHc#W!VM' @26Y) ^evˈ,%AW$UKQ8JUy}^w#2: f0\-RUTЈoB1-hGHz-"m֪?l\MJzA[@GoJ߇1)$r,q+'"8?QL"[AF]h Ey]H9j[|h@&~rӠoc#|-<gRۀr'ߵEWLjzQ>I '2-$^qCjg"YhQ_ UBbB6yxYFu\գs}^DtH+촑-&S!kL~VY+4zRGbWSIZ=sd^ yonz7c1F¾;IaFiyUleyU_6Y (ΌѦ';;:HQc^ZL,3f}+䓡Ƀt kfT6T02͙T{E:JO Ql߇) VYBdRR6ca@f)k[N,lPpuh6βb걀cSh9B"vziug H-SշpRg1e<h}}+o/9;֛hXC^W1 UX|qunZ:{"`s5!4§0:`ՒL)gˑY7ʽa[?T;R%\ *K^I/K-zoseCR= B~T|쥀P{Lx# c:$|k*2Х =5ah^8܈(Axĥ49 ҭ$7R+a뀂 ^_)]9p:p7-C\-voo"r]:=pZѝѕ wFКr㿜xԽ%ty襾)la ^Wn{a΋ӧKTn8>(thPˋ8w[㍅@W)[Q=Ҟnz(H(.L RT"/ګO&o2D/F!f3 $Y]ߖN`B4:#`d ,^V]fY"_UrΧVi{e1:HCqiQ eBS!Ds+o TuYM|O֭ǔФT.` nUz27y:+ASc2}7QDa ]񄿭N{gLq˅5~ wfбǠ_ R< IjbqRٽZtx$WmD .+e.JpxϦs)3%7pn>Z[>2NcA"K%FHdn\~H%Od{|b.cr= C#`X4"xWͷ"[?ֿyR*w RfH3[ŋbIf60_Q|00(SHQ;1"GP3%:M`ÙDۛ^3ަ51 wBLKn@Nvr!K1K&mƿX SG Y$TWyIvN|ζ,Ǐpp/>hEŗ%!9SA,"IZY19G_xy: htdZx;1ņ5u^|GSA(F'3d@z{ncq; S%P<)Zb(6nY]D9/j+x?tnc6UJJ'/6U/dj5‡چhfKVTj=vŧC J]^`-JXN$ Z>enQѢ*[8\*FsBw)ærUFୀ?,B{u43|#pyg2%V"#g=V#,gH)U''Kd۠48ldfq3P>"r]v WFƹ^ x̏4D] 3Wd{m"0^ԠFD&tV륥9ޘޮ x?\E,!2J{4VXL0 gJjD+PVW!EבZ7I #Jܟs_yf^qnX~Dz@yv%7G ~ Q6:N|}ed*=V!. &a L_'P!E$Qe#^LgkH֤\exuBmIM.>K}b'䀼ҀFѭ: ''&a v9j}|~E"\6w ы9K{{֦1R0 E."wp.X +s4U3=PvY]Vel/@s.'lEUlD,{RU{(KtD2lkҺ1hi!A* z\lVK"QN +5% * 4{. )ut0ZI \yN8{Tgު=rgQL 6VCXF˶U6}&dSos+lqr1ܠArG)wD-zk1qo,B:VVIbbVA\6jLէ-d'fAh Ѻ:Gi$ )^s zⱝZ`O MZh(nfAIu^ks&=ksjbh a!(ꄞ3V7AX_'G$[4-}J&h?uxJ̄f|Zά9 6 )e4ِXCUm#8iR@3NBa5B<أCye]nV"䰞$NHaJ,@Kxe +i h$5#3ҬG3 eai0H:]YƷBʐv0qUwPz\9AT}T׈XzɌy xU 0o)<*:Dt}yᤆ񁀨p@d]j#^4oM>5s>1ӫj<ywIM H$R i`ν1- ]]zxf|߮Zs!KnxLjWiPxLzeq&(h{<]Mx$ULbE"r}I'5}iuBoDR(_ZQ^% ZoDs8TG8oaw") _C-UW:bBOOw*g?n`\IUVM;TFT;9zCYp.{ys-nj!b-J |q\da~rl?T J-JƛUقREL/i좻&|:p\㐫<`5MF>1/jcU mA/iguf ʉ=D0|&MEZ$˻P~~6^WٖV{}vYЖ mk%[OA43(Kzx쵓iOEd:TlBH+am&T]8N;ޱL|45#A0V1PB/O+ q9A8m):GZLoգC Bn'.%(z/+Bhӯu]5Jc&$y~Z"/*ޕ-[êQZ:גUUB$F}5$¬WpV.]ʼD?@CJNcï+|(Í D!MA)29ff~HovվA"t7W#u^?@gRyYY ^ɤ))ԏK!$=İo (OB㡟A3sڔ݉4omբA&3:YN@{=,WMTT9~J3=  W)91#w#5 fH|:\ [=0/:uy^d h\ds@=SZ5z֕lB(c7ךE#2_bW.ɍcTfb2 ʿb*O8La5jݙSc`BP' }X˕ 1ZI䪒5EL7dR1o8caBβ|"g89m^=&o*)5xԯ[ᔝ(ƘJ$;|')$NrӗqR ː9T@ 1<Ԗ6{rgg{fB̀syʸCc)7{cHz@ گ8Z\Fzcn=tb+k}$DK cPUG="n=|JVMAE>%QbQ9 D:My]0 6T8Rw;vf6 Y9(AZjv`W%!W'bTaYݟs;?] U]&Et:WC>C['A%M)~AwoQ*Wߝ+0m4,p KNg]C{$yj-ffՈ] 4ktiձiuIQԠ pc)@Gj)3`RHωi?{;Re6*Zڐ*)=kQĘaa|I>tq >sD9GCI%$^lG>dؽC`PPL*39쥁WJS_6N<"aꈔ|~t\p& uw}s/5nخ@;mwݪW8htLz-fѕ i5(KxΫz)](d5FyT%HT)"%V8ݮyO Y寗omkt#2qv[Jz䆚ǹ@?}**Eortzp/Bb!THY.b/eU۹2*[g{ؽzY(&+tP.TNȈZVL .ѵT奰vksNe<*u^XPndtԲ|MO{rL:s3.~8{;{7:"osENjtew 1Jm=:AeצNd!߆O%^Y';uW2 :( wc<ҵ3XH9NnV&gQ09Y[nj'њoN NaZ@bL|j'jQIޕulN 4ۆQy7zlVT1܊lb5턞Z;@+8& rq6]b5)[OK)A9 pWܷ9/uMm>h]=/ &"]#M;(VdAƷIj<(Ayt_3\m["eR& zBcJ 454ncXģ@$mtbM mGRɽ'5&F=԰CmAj;i2&UMl|O!l)#9sF5c)$dؘfN9}~Lm0yB̵O61(vsf&z(vUfk:y1\P]] bb,S1c3H@;+R1ͤ=^)4ɰ]mM\yQ,jBYωnyw]{]MGma< ya}0W0+2f9hAFSzy^*dxS#8£տ>cNO̯LdP@չ8g*u] QfF'ȅK6yQ)X{+]kN6EP$3%j!OF:41V6Y(eEz RJfF*Q({3>3#az!V$ lcnm#lŎJȁ6βJ{Q r?2"V}jW(|\gM(TGpWݒ;V~oj#2sy#,an64Eɟhde,yŜL 5g_sr~/{֌$/O`C~ |l\JH|s7L8W~BJ@FW$3-uJygBE=nl4 C/A.R > ,@ !nv!&߾Q84n'< dF^mo6u0Xfߚ_A]~*X}0^(#f P a)E;]ڹ[gO/=il}(5UP6怍vM7@.-#|ny|1)<8#%ˀX`s~ãQZiD+ru ao86@atyP'|P76=[|L (qC\G`0 EPzZּ3&\غV"(xfɭOjsrl/;`-EքJlQ*SX?lTi+]q"]j#kJ['U `H|MbǐLE*+;E\m XԣWKV{n4sc:~3!WW(= ]Eoc$ĄNQo(OOל=3h<ī8:Ůڑ=a$qw.9!)Wbb#fchJvE}Ħy`S'ggI:JE!ڢm#^,Ptو]|)FP|j'Lmɹ/M?͟]T~ e3r_'-AD?';MÐX(9Cp车` 5ZzHNkZ V9(EqCd:п<~XQhnY\9{M`сQm?b-7(;^/@nl y/ށs2ǒ>5Q{?EJ?Dfv~w tyYH,_H(F}`d0 z*?鹬dE(V(>Q b=ĩ8wq С]'-|H"*&hka49KY,Q tnn bVɒԒcHUIs˸x5מ2In~M)t/#T`>E<8M^@zj8-I#G`Q.[ݏ]Ytpbr,1H,jC8G M)bu(s̢rPL<;,TW.Gx'{nݏXV?Wzp|s_NArIݦa}GNjOiD E`Qz®Qo QxLtڝ/H5gW4{应"B*ve61/~RxO{,)iP|2Ac+QCUPHtn/-"r:xPQ )Dҍ[h?T"`9& !* '4[zv)xIq p Cz6Q,ιI인^8 TuߍPĆ$aHǔ_.P9@~rޔ& c*r }Ư&h2}A2:K6IKc^XfIӺf(g g#?UР@txKދkH`ò?r'):V^^i=>yny %`mC!W0F(Zc܄z4~}"tZwڊ=w\=4ݶ0gYZ  {!1O)rHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplestheory/parentsHOL-Library.BNF_Corec HOL-Library.FSet Complex_Mains 1S/ THOL-Corec_ExamplesHOL-Corec_Examples.Stream_Processortheory/other/fact7zXZִF! 8]a0{rgq9rT eAr" 2c7yh+O=kGˑ"8v?p[AYd[Rm2 w&/肃{V$Cb I΀}o lS% ~e'=GФ$Cl?ݯxXjtmPo跛ޓNdIl(&kgcKc]E>MI6 qn>~>E{d SGWcKփ>$T ߇eB!=\9 %*SO z4rh\a7&I47%$cXnY!O_5> Z+\θKL뤕ڬ;1:yس.b{A6`~쮃B`O* %.S5RaHN 1wC%Lj{i(zxOyz0}씓Dl7WۭsAj;6G50mA xP-uzfp3I鈋OtLjWO*K]UDrhM>snpTv2Tkt0[v/[2%SHW,vN [uFS_as{/+%/P(pDx΅-ڃ!)U[# 흎T1sjfz޹!|(CS/KJGB$_7 :c5<j1UL9,IB=`&DTQyvٖ_J@R1*ɒaB8.҈ 5~1aP,ɄoŸoR{'sBue-o/:cu}dsA@jCa!8!~NHN`3 ,S"ʻka%>CN_r;a#OLkZ}1ivjEnhѿ*pdOUN!v^ԏ_.^lfpAL紭y:-!f6(uvz_Vٔ:բɨ(wqh98R|M"634ed:$ 9s^?WhDZ9'ֽ7pmpk.\dX!tEj<5ѽ hrAI.A1^_jXBc/dA^XvҴ;vڠ|M^|)*5l|[桽ԬNu@m֥iY;Z NҒ\8VsIx&u\_sL8?W)0j-_qmپ:] [1_dWp%/P5P,/mN1XE98mC\_0cDpsHbر^B:, ĩ/Pj&;(ZthVE]pИ+6Ӽ៚^y|:3Ĺb+{v]7?!SA4Ce2M1.U?&p(L9GvF@Bj@ i#q]7]r|ċ9Igfrc}dWܫR)Tn?iFKfz ,?mA;>fyƗ*եآ2Cwpb28ߵ#knC e=Im!%P+B TgF82_%]6 s=eiNt8/BL.(:yVmXͪLC$.+iW x&Пd3RC"U.L lT2`!9ʬ?+YqWr3])BU*d N m`>2=b z\t`2Сҫ^L/\< RUJL5=vZ+69<60&h˹vMam8* j=@XPf pjW>۲:3CɘinXVyER e@[@Uظ.eZs[)/ƉSPzuΙcUܚ֩N=jNʫH)=kq}q%˔|SA=g1FgmƎ6l(/{H@gEio"cKF 4w WGpl\C접'm8p]q*`MEk-8e%?\#9ShzH']\jZ!Pz Im}@ܹ27 #cI-J#M 86c01gu1KP;#+͐O{?"j'= 5wXnE(ضϕQM9Il&hƬUqzh.}3Fp b"hz#MQSm%/NȠ& !d8i\ʙa:eﴢ w܁Q+PK40q,yHKK'aTYrvkTxFaRjulK6|82|Nh:%-Xݶtφ=7gҧF#!| IIDY8\2L9LVBp9I[6N3Ezx]YpJ>k>PJF? ?VcelK3Y}o+@iD}E!mpfxC®Y_2G V.KX TzFm%H2`U@v3GHbozp9mwɰm{~ΜrI[_j̛#I|.RxH: #3{c}R.ḓ/sf`Wv׏ZI=2H\g׻[q:c]UF*(GEĿ$C$UaEW$)kxӥQ1uT-kL7R ;N K d3Gzm6#y9BO`&CВ'fk?ⓝV>Oa;FՈ2}߇}FTtR_;ƣ;5X;{07f=5}Q*d1q-y_nD"Hw3.D]1|;SMߪxMֽ~_mhւ`򏵼 ෿oWUcWRgEd r T'eMDx LzJOʜwv))ՙlsiVFD1?JkէDm4j'p%$HGHL )à @ &a2Y,`iW'J.  1v]ݥ=[!0oFY+8}Hh Ap"TRl9~YpvLGJX te4,efGƮ!! 58mށZj b`W=z-Smg jE49DmscN_+K<ؘ3WMCea0x=|H}?߫h[/!ns6k17; r=~[FB ! vw׸1ἒY'ɖaN_m665s'x/A4i}=}m[:wun a-' pVvO5d4,c)3qZI}Z5 .xr;R]6̢{wD*憔J%P$TcZ'*N$%%Н#ynұ8 &ב/2H 58x5q~8^nU9&\5Y=RSg$iğspri'GfPaMH-[kS삿,> ^!]Ĉ9N)=kfe$8 O߂u_d9<^B6>x-[p4dcH}Լc=?sN*kh@X8:teK"E{`2Lk&|59W* ŘJUp<'zAՐ_=V!GY.j^?: If]2!Pt(@s6hQRj2#C):r:Q)I h}肅:]0,xΑjn)' 0 9,Vr:`pzY§) 6lbR"hH0V)\f*ZC< *)x^dSPԄdP/ \i kcO4`ϩa>IXj95X2cM}ʹ i2R6wR~:s`+$2/xc Y[[`@A>)5q39&u"TQĵ;G輒(8rG" ?%|F? G>j?TU|!E{6(X˿EF:(_B;"+FYoqD7=II*N3' &C.pkvF9d(h[$o{=<& e,cQse[uAe0ě\7lhd4V .c@ϯ3<a͛g' Xxfm_^?^T\4VxKNds`$znD& ?:1d=3.\O^vQ_̍xb s:~'һ!vTm:r# 8?ƛu=8RkլRzV_oߦVJYJ@2.ݫRWCG>Hmp1iN3YI,އ{qN$T5Täi. yM{xpdϣ5O { w6I8Ll(">i+ m4:iIfjgAMRꄹٶsYjpy"d+RtZn*% % ~(oׅɏ1]Ňk]2aM֔xKyu)k5$BЭ ɠ} cz-yd6G~9 )涳ƂtE/aH<tvk.B6PfsGv; -W4 [}K yM֐B.(60115z4U}rWKY]R7썦;Y->ܩ뾊NjT:4A*tu5n|8gv&֮ lYp8~Ⲑ40f4+Wy.a*]%$%_9 3T1+R51LMT {MeI$A! 85`_틾a6gH ݸ姎˗ӄr3?ĪDtktFkWgZX~≁7F{NAV}]lMh׭%.M`p$;J%X}',:ț qOnfhUV-q]&jG$G{ZV7Y]s{ kQSMIC#U%KZ1|9  jظ8FuXORsh(_Z&AHI_~XYTby) ~4ȇXt"qp^Q[.wH'9PfQBk 0Ҡ: !=hQ:9ʫ$i'kDt~F]SVq' Oݝ Oj+ K\{'T\ab'uB ]uBZkUxf( \oLnP\MqX۞~W)r$KdeV 1hf^5췟hѳEyL,V85ܭW[VfUT&u̱ڑ֣dX#Q f&_^g37ߧ3O;`; `I}j rlgW& m XZv9fғŧ}ɩZ*4*WH~yh*]ً^bE۷ $09ocL]gvþ6)7\g}IJ/B_װ^=6Kc[ ΥCb筩f'KkbZآZWO/a*;\5b?,gbiM;-^ly;khs9#O,foG!YdF}nh|9 i: Z 5,j2& VaIZ}0M WVj% y^y;o,%tA"SMp/͢ +{h eguҳ8IygrQnk>BLHhGZ[Q|0(蒫 7FX9Wc@&0Qg9laz\ -,{*iͳJ3eR( Jه<W^3k n< eZ08#+ t:pA ";OhNlRSd8vM8JW9_4'@ yYHC}(VŦрF}#I ^_mcA췭}SN R)Du6 Xw DX:T? g շ>CҼX' HG?9,6 a~%nx<{;|Q<>#VGَ"&nA᫲jG*ƃrySN- |U߅ёi8P_Jv OՅ)Ep[ qr2.NSOymY |.?(V9%N[d`زW#V:"zfɰuuݣPiXBDĥ|nw|ASkn+.dԹ;R}j q801xxR7BVw0dGLeZemx^t`#\Tbj0S*L5o3a][2cGBZ;4@Wk0F넼C[~KT@n}4K\#pʑ-溜" E X+d: (#ѯDB*l,)UZ:[X] s R76'G<kS "ɿOzĊ#F(8-Tcb_R$*_}[R1%~ ()e? rXijN N oqqR"rټ041U< I:IKݯ?/5y9_[;-K0?g@!?߻9W<,|ZuF[CZu(C9My`_ !Әϴ5dw 6cHS苷! 'K^ T-]W -"70/ϐ=AҙM7!qu"d1&ΧQ'usN:H0!!׀QKO Z5}9 e8uYδ!Fo=;ţK2)mBܿ`Q??~5*Pئ?u߾RM@Rŗ7^I} aBGփ=݊;97}Dno NYAb'Ā-YLܷ VKșG0_?vLV˰13jbLnԡ&Ղd+ :ZVa+u_:y禙lNgF e7=Zjl!l 7RoCp&qn~CI46#QgvNyUHb00$,EVڵ6%SF4͐ u{8'OCehprGN¨)!k[/߶ t6|WnPH>#m-[&m_hgIJZ7QƼ} M[ӎc}CiFM1kI1opYe-@4_[%D]N{6=*|0VV }Ijo3͜.ׅ*7RN rc.0|GZm2" ?gr`?>7UՋ"tX#}zu2 []/dÄLN[/ 3)*J>9wXDv4dZadjg\a vZG -%uM1 bapD$tRo"}ف%Pq?mNjT 7h|rw,rw,FtB?ȊFlS+9!\Onye^\Z51ynVGRDZ:僵M}t<S-_<9{i@Qrab` Ay>GW f%]@\KcLYcqlszy4_>QX晜L-ڌ -h |H,2@DWf>H@{:h:G[L`h`Z1׍s$^aEuk=grwF=6d7(D)*E.*|m9qȕP0eR.H8MZ$,Iįz13roQcq~ P3RG3;ƀT]z;-?7 \GyсkCoAhgn?K׭rЋ\^\cqjo]#$,ĉGQ#lD]x9osh^?q8n@lC}LӬ+,-Hp s1 |r%'@~e `9R|z&e{TeuͬVYoFԢH'|:o]q|'7GF&#V LZVfbHϝ*0pwr|̱dzۏL\4fnMmk`=3hOfm;?RaPNo簙'JF\Ꞽ*L1&t<‹i^ 3qDy+Sm^r(^aKI75N[#QG(Rr?23?ȒA [ hB&uS}W,킊8ҋYgTY,eTVH:RB→Akϴc ,}hL=_Q&kUғ4[z V'wjeKmP J FRYqVUbz:\|Cu_8dcO#=eӮYrZ GLeDG=Tj1 ]H K רp6ߡуIΝ+Q 2f&dh|zO/t9]Vvj$Jjq\܃n(')Z@޶n*:]S\"􇌝D!8ܓD%Ӆ.z rRb_bhS|qsms_լ [PW)SZ nSaI(<{gp6}X.2YT 5Tro>^?.>X"]pErÿᦎjgYZ  y#1O) lHOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplesdocument/latex7zXZִF! Y]A-MՋhvG"uIBm5D g JДx;$3s\,JNxȚ+yXLey_v.>s+fzrӍu:"SYf\hʚk?ݲvbzҖ+U=`DUY $f9Rt8MYٌ@$–)#x702"#&d3e9r{si@nW |`6AuTqh(67d1%B!/ v=q@4=?+pX G:)X!%nrFVquB$F C4 3wb/4l&;ŏSlL@w%*>D#rknبh=ǒ`~/ąVZw"2_< {6\6PT=IXb?x*@.U_1 W2=nN5J4qk^y3[$DG8m ^/n$0LQ,h]$cw]!EXb&ɩ% -]fc(goKLXMl{⧮ lOmFNM#>[>ǵ_ҍ C %."0u&JHոO[hX R֪/ncnP:uID6 "v<2:tkmAF:JR $tfVHGzyF438t Aa$;aTL&PSd/?,Ɔ/Y W* 4y@`]~7N&,0ĞaHR{ڌʁZ|-n~.>/{> ϝ5%j[[?v{GցN7νP*<\6 4*q&8u&+ҸS{.㠠~'Y${RG# Xg@Kf ~z=ƤAzP &{ V$i ^9A..ҊA\,g~yefQqȧ=Z8Тȱ jF D|vYF+9vv+%B 4T.XW'+ezuI˽ \Gh՚y5ZJMy':7 ]Pކ1*㜕&zz@:!-MO:|IF"w h })M[_.%HIl :]`V93 !ОmM|U{AdQ)ĽQu+ xUm8Qcz&8Wr"Ͳ#HᑇόRoc$--OIJWF]ѫcFH~JC/$u[ǔ;f!;MɗYǁr89ҬO¯%|u=m(<-ATԅ;tN"HVQ:^kNz/5"GJXi.Ϲs:V{ZwƂ̴˹z])Ҩ[4\%p U"1Ԍv].гXorbn 4ާ\rH-C'%{i%W2F^ؓR0(t&ق\98󼚄;3]uR!z7k$oUeկ@EMA-#IX& O@"0L= ֲp_ւ?AFnj Å_KnS+R phj,#nμ+éP as+hd7|F= ># HCґ[PN%r]H:+k%iwm}=*| "EM ꖁ/oL#?/_80ʩԥ:$_GY*VM'%FqyY& m-v+wΠ9Dk"1O% THOL-Corec_ExamplesHOL-Corec_Examples.Paper_Examplestheory/types7zXZִF! 5b]a0{rfkS Kw*s|.g N)N*,+fIzolx/Dƺ)`ֺrƀՖH{#Elw.]I~7}Y)FLx(.cCxs|C ?;g'/XNv~!pčclSXW\J_PcsU/wc%%7UtLt DzKr^/A?zOj@U G@jr[<U9N>o徻{*tBAx쾹 ua=$>&.w/ uj븃a"p]JjGp5L)9w)tDJƍJ>h6=s43j:.&[C^ΎDóվӝJP%>h5tGDҗ32fA!>-]duY+ ԿB CW9f,?%›}68_:z}Kt^}m`MBNDY9ԄC _Wv%%L &?4)S-OBӌŸңBe6Sq. 7!g T@AsS/i5qsmin6aLr1\ IU߈ \KYJs5qds<An^ wOT s+DI)n'(ː%@ (fnG@Ej8!eጞ4ɥS$l.aly'(x79VnuJ~^$oJLq$J"hi%,4>0QY*k_~=-rF#WO'G!G>r3f"k 9gy0mF% Clsd5EXN- ;ˢ P~8ێU5DlAyPG;p K破\(*_sxnzW|r?n5ɶqbuGBe^ 5g t^5ǜ9~{7\Om5w11ŮOaOj< ]rh= '=;},EN5Mzk|[bZ<>爘F)R "${MlfjGd \łEZK0o^eGaS[OV))BBRM\܀lV>2O sl>,S_bBa#<˖/3*U jatgYZ8o)e^ï7rKY7v=gPnQ>8. +e2庌lHQ Zxܽ2/A:yƍlvmMCXƧAnmt[Vg/L32^JidHcvsr-£!J(Yas-Nw腵VipޒB~)XG~r:؀SP&ff๵J  jh&Mޫ~},_KX7-{`I`+END 8 t- Qw5/i().j1w0;ziWxGQgx|*R JВN9Z#K"LRB0|ݺ~!ϢmVXsYR8qԔu/Mr-h,ch]&=>1˨s껺땨I & U%ȕ 63`M{Ěݙb!7CB)m֣Ә2B Rzwj@btkǁӤ\Y"3GSW=e>i.3^o,eH*gmc=dg(_z(z,kjh J$mRt T.) &W#Zyѽy3{ J?vS{yEfSxJeEh0ljQׁlnVlȂzٷ6QՐ$T63UvNzǝ'˷vhx ٠(<D) 5mYWsk9Ξb83c27:%$Ov&VZXǝߕuR03L ZA)ɋΊ If$"yԥ.f {U2HeY¥J[Rב!vFp)J-`y*|U|*N+Ȁ|cIx\9=ڙ~|#&P E}U [ yhdn ۋ58-:Ac` HwaZ>}m) v|`N-5'8x=ӕ.U"{+S5CRv@jJܿ, A7֊r13;䜏ǃZH =WÂݟK sg*{\4sf7^!(CZ}.-,i RNQ3^Bx0XԬ2B]XPVr,(a" :1ߟ%-k#bS_i^~wF- vGSB8 G,N f:b1YϸiV2, KdL݀i]׵,Eި-`HXeʂ3ݺb>'\>Z$pڍ p,EfP q@WLi@b12Т@.e=GmTۛrjm\,/WQJ B'hC3 nڈ#f=`pōF]bcɻ]"cDD3:9{P3:4^yӨK#/J}  wYʿoc YT"ysmV-eލ릈&?2Ƨe*26rE[ Sels_V9N>yU/ vsPv)\ BXhE~ySCj!䠸u|M(NɽS2k`$"}E8k:#3q'FdLr մgPCj?hC6Y>өvrj( ̺6a k|uĜ?ml{ |f$_k|7*.T_mZ9"HZ(!A`X*L)/L0EPаb%(ݥvMc7B?[;LPfLqAzT} mDЦ&#[SIMb=]3@`yJIy`jB us˯Iw'#[2OO#kC^0dͶ=F}U{N9ъ.dHTn,2BcS?w|u4av)4G= 锆ev`g_{Ci!,r<;W^yDXmjH7М=+?`;Iivm}(LYyׅۜt4졽`y&ػqp&92UX^ԳCE$9B T2L,ݍ)4`C"XAp"9XrqeTG@3ě+ٞQ1qN'0 zQtۑVƧ 3T-QgKK>tɡ(mOy6!ՋJmwj7>D762H씋*OKHӌ@'kD.V OʮuޮSL0ۖOLNOEq~U<ɱ5V_3 #V 6s oo3hWw]”m,%z*.'+|{b-z %#:,ҬT"Z#-Y77Sͽ. c!D; jtQA:K5lՉ }~AMOG-/Ruvǚ#, >"DWkaLM\w^Tm?>PwRd:,)Wu靈p8Yfؙ!\0/U}{֗&| x/yt؉©.rw3iVJi3[LLK|^ ?vGׯ{e7,oEdRː)ɿ@f2:C]؏^룬DZ' }$ʑg㇅P Z5ym 6o\AxױF{m|d_SU@b Y|yZr -DxTO R[wF(3u=-,yL.pLVl;܍'{aVm MRՏխNޒo,6O9 DCAøetX1z"΋0j\vN^mfş;[OYEk^ "3NtF*~ b YXt4ph\cg0)ji5PwNPK;:}5uLoݲl)n,f@Y47Q3!bX4NqrDaBٰ^f A2D (R/c>8%YU1GQ_5DFxQ+TY yŕ1-hi,:6\OAZ:h:|cu *z1^ =[i; G~۫ˠyX:0ftQE`RfȝҿE|e9[euM&e@Hڴͽƕ80Բh@ t352Nw1f# EoՐe'D M2k޾ a{B}[E͗H#z8eRXEPc݁g2 Ei1(Ҩ&o`EP ْ Զ2Y(s.Y@A&Ir,`):!nLI3wrwaZAvGbw[ 1A` 6_Ύd&VDZ[ޥewtpj[? o;ؒZ4,F'־BC`kmrP^6LtjYwMnHBJڎޕ ŐLv9[ӿg"QvѪ].KB_Z7eWW]]@T|2غNp-p"NuO:Y؉n< QŹ,P-<;e13؄f-&hz :k s;3 X^!)4' I9b~%Fsy9*he}^$*"o2X%S Y2ߜQosGGq4P$2Wih_dfN$6OtceBuŸ]͜i'4aC`åQ_mD}YAN#l1[!BЊ=QY限ڠ=.!zR'Y) ZCkmꏤk/d^_ZF7DQ0^Ix9q[/iףiyo|ި$ A]M7wQѳgm86!rhG 8`w{f?Cr0Y1B6·bu[ Qam$h3&Ƥuv {/":jH>x`ZN e(Wy* IyR:Mʹij{s+ߔ>"5ܰ.,'lq<bz3cJDiXVõSVEIާ&$NHW,R @1I_mًõ9}>`:p7n&}_=ښVH/!4Rml'e{VBS|ھ4ty'] ,bJ3FXv9?lH%p(' MRE.=;ISO#K+I'$F;#lW X RPO\QM&HOVG8HVZk}#LZ8׬9EQσȔf4:@cV#`4[w˓WpVV:Y6Ç\v41Og1Yo1u[>B&.;<".scz/e;QeEoĈ"g>%Wj`=o@a+Ys5{y˱,i'S#Lߖ6璢+GuLGk¹Sjn9H߹~h {+T|pԤOo`ymS<ٛcsYI]霾g6ڗs ^qFDH{~Smf[f,S/F~C{cLhCxMOKW> #߰POmU|k|tʼ,z=DwSSJh_Q7\NY >u31?Dj%FƟbl^gwV4S̳W>Y1HWܬ I@Sݖiłg*II`r$X`o`kI !L%8r"ThFc)PtRI$Н vHJ_Ia)ΆZN>:%֚Im~l.F15UcZNm*B^"Z-1EѾDPÊ$Q+e;=+ʯ~_֙n_ 0,e| V+J i] lڥM%;JVkɏ}O#c,gxʻ11S:ѽ`Z~c$sRSHfGLO4H$$[Uz96K\xiN߀HDcRזA[#ApPUN"}WF`9,"QEe2|~sm8 P7S޽W6C&Fg"Xl##XS #(BKSVz PS؛;j' {#\$.rzhۓ8:ȅ7q륢"dž-C|_ OiU~&ev>kg!Y+ ބQR x ?HiU9Cvl8pnDA,US\t`eϲC7J O1q Qy>B&4 a܁b'3N9;-4-5Y8FJyOOT7a iKi s}V#Fv$_z\_jQEBj$ŏΣ& \ i6B3l"80t{q~1MNOSD/)TRin+|U>3XJj=.zaPz]\"@˄r"j:8w.`=)YZ~q^)`~NۆXYB!T[z~'Q]? 1,V5l0S-JM'q=t [x"q AKT,X}{}$_Ek8* 8Un2f֚f]p߉6x:NZDJq%D0 4 7-^k on OWi&GZl&2z@~`kS;'`|]](|}ׁ#}k\'9ԷR%e+ o n,qE,Yr}s_om.MYUs >!Y-"GlUȽW).a«f/AЂI*|@`^jRף]ѕfSn80asv9;àՠ`MVhcQCBqg) nʢK2q6/ݥn %+"|&F_OۨU&b+ U$1^4Wv^`3<%ʏTԿ\}1#WԘ|zV0afOxP3(_xr^iOAQd~e]λß/BϷ豜g:A[Txb?c 8jM6%ՓTjS煷~4B=^ȿBVOFp$ ШC!Zݱ:w!ծ}>=_Z[K-3#sșsTc~b# [(x g _< 55U;TA 7FW |ǣу/nn8y8=f6ŜnCk|yG)8y(nJ @{g(B"@m6<Zwؽ|e]VR@V4@/ h[kmGZDXic9<$bɹ dHdIzS֙ `oA &c^ +H0%oifE& EbrT&%v>_cz_{"]Ա|ZU **ՐHȪv&rAfY~Q_>٧mؖ_8kQ!G.kMՎAU[^Nk+\ 9;"^R,{U.Һ4.L1cV5ӏLP@j?i^n;>ȻyT?@J` ոOF}~zH'G\d< \a:e- $4gJ[%wxd؝Z 7Ekw"tW9hĥf9v?Q^TMB:AOOI