SQLite format 3@ .0:  B --?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 7\,T ]/ MSO_Regex_Equivalence:threads=4elapsed=548.353cpu=1711.008gc=39.824factor=3.127zXZִF! ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnSlzt3{ 18ۦ=lqa\Wz,/`b5mOX.Ω*tasUJ._UXm|}ןh~lڃrߊF/l ~͍aDZbkuVd#c v9ͱ\peçCwЪͽ\e$UFY D+C V :NXqqn7] fh 7 MSO_Regex_Equivalence  k GBBduz77,`g 0[dFb;5-)zV98Hs'IgN Tȷ6M3eN6 "$}Gԟ$A튱2IS5)-4M;};Ry/ ]ןaϮ9hJ OD2p@;=ك4@mͺN5~H4'L)8LҰH(ԖBvuO5%dKR-L削.<~mֳo#?%z8--gfcRS`#JX8ViiaY|a 8Yy`K:QPU Ce֭[jMjΣxS.|ij҄ѥ\yGbJGjjCX:biWz(7aO^O 61*ϲמ~&|Hw|t4XA}VـAt]k*O{X.faCE/~F{,ru` cEibkk +-fN/D2KgUUnXN[.&^OgyZx) ݔĴ@Ϻ,Q?K`{NiQ X7{Z:a¡*O¯C̃x_ Ʋ9rɼ)ȥEDDNւ4ۉk4 poGl&vk m^S'lq>F`M)u[ྫToZ !d4,,/ 'a ,{Ma(^[ CrF!K$3z.[M䅸A5:w\;O/hOПόиy}aZ#[LLwc.$g]1ڟXz{{&nߪܳ raz)dyn66Ϣ d T]%N^_si9^:]m;`725Yi.WZZ~. ꫼(bvCFY]i9\$`(׳W<@Y]f| ŮF /R{߆ ܛaIR+6`3'nQ$D5WAx0j&dD!k"![pTE)\!-yi0 пTnPHƻxn7B"{Irc6c_MQZ-Z=Ke<.~񵦉:]_?>Ԉ!);:BC퍏pgsTes2[a_7.ߚtiK-ezg{<*;VaV5֚gF%)4idԌZdVe,9aYW(b$QM6|J` ԮÓ 9ĆiADWHv8{E s\~.i b&+mQ:*dN/S=^LH-[" Ot 4u1|jdTfqB@uz4)cnl2G͟`[4k+өJ$.BPU-9mF_$uGY=L.Y?N0>pL0H=lԯkgј / t?HfH#8`Sb\e {Ht,)r̒M|B7 P?aFA+Ѱa]4Hà8O 8}T "|9NIJϫ ®!r|ժ )Ȳ7C-q4v‰xJZo[nWیITi'K^ӑbh#g{R_%+B~LʹӧRI`\!|cHKz/Ci(\ ֭BHZ_-DhuSi:'Ts#-a* icPSk'x4ؖJpϓCVW؍'ʼnH Dma]"$m~:gYZ7zXZִF! f]ŗXiɟFTp>>cP$qXLE۾1:PА/MSH6g,T,=t֭Sdi编17oP}/IU)x`%TNnu/xaj{,hk8 "J*,o @W(i*~*(Ö~`DJH/m^1jgO L2/>g({؏f(7b [E<lsQ$ 鰝|Tr ى2ƅIywCNˤP<+6ƖEWvdx F(>~6R47cZxFޜ;^v8 BCuddEwR.%dwC<."\9]?^(|̘ Wb%\%/ocy >jX>!UT@)Tk<[dКܠt=k˫_NݖԽA9T؁H;H<*&!R8kmח?JP_@Zqu@/ϜJNyѧ-q|( 2 ćC} M-93A,أ0Kښgè6qR^g[/ࠬ3@Bc~_fp}co!-@]gԃ. xG?p+ .Dx8   [;AxBec317LWud{CT u:H,Lx66aNM.d]ޙ5L6nG:Lrk]yuL^Gg% fi|ng,3)~j2,ʞ!-~P"GGE}L_KkP50Q nǡ'8fb#kg~&7XNtqP}e"!@/B`?m 0%:C=8Ji`(5`T[p t !ٱPWUx6 \C >Eϸ|6:EwpW$%1zz]Cu?t(EHN"u,`}ɪu'J }j5\ۤ;ʜȐV czקj'ș)uQ:lZKCr? S5OĮ)Y>!c"|%3"\ {);~{D2 l9>v"gN#.]JvsMzA8z`Jئ{8:{!렃g㚞 j+Wx]:H/Еcr1yUEՔjuLlj³G$AgB7W柋<|o¨FBb]3Yeb/FXshahEQrdĉ?0Hz;=_6a [*S*`pi/ іѡlxy:XFQf׭t"gsylE*hƋOch`b - gbt&pw0\H^#OРX*V쫠ԌGl*8=.YTYyh{l!S֔dTdi;NEr-6V2JQR"jè:oXu+nЋ-7%/hGA9.+^T)C$Q(v@hqy^5H gW[~d+>K^c֕ Ƈ)rr\h6H{ M9K#A,YD*7'd"cêRBJ6>O0ӑƖr[1Y3!ׄ3yEGZLLݣ@LjY$$.^JM:Kq#5عڽ}͌,EBP 0~P|i"zMfWʹ;O ACk_l'4֤ PqpfbJ{|@7o#]~̊N%Cwf%?u8J"H†J'ĞFhk -|#>) )7ж&)h(SPi;SsIym0dk3+g;%S#Ő4Cc.Zw:r0 NMoͨlF~៮D/ګ$Si'NqF)Ե>rOkqU=L Z[f4v'BD_W2Rt/SkC>o(ȓz "9WۮʱL4#[9sAE g'P hS^J#(FJ`>,h3r0B-7TS )yp*|+Z(؆aMK<ӕWg0~*ιc*p# k{@IDG/ϠS3c.GS˛(g vI:~"' 9*:eKba#M>ez&L?Z5M6}=[Si@g@kbOCS5"6>Fd9FgEhG(3w;;P1g|*Wr5b_Xf&DGVh *"\,9JY0͵ n9^߇CM\֝ƚƞU&hr/|RKJ㓽0Uisl2 %ycH@?ixwӮ& ;\zWz`Y˽X{œ"͓r,>d(`a)q&z p׻χ&~7ֈ0_JUYaQRe2 FF}]0$ FL Q2!u"ѲU&F?{ba8qȽn^NX=L<6վ0x)Vs,K⧎oJJ^B!WQtntLz+ _P⭅/ Pj'M7d@p?T&@l3ƒγx$Pxny~BMq(D sj**>ή O^e(ZZHAc x8uRPrvJdzp#6T@{4Jq_^BiLǿ~]:%tT1. SҪ9Rb'ջ+XknLxY>z:p= ANT>RhHuիiѷ28lJvC!.iZ\+m5Q_5mD%='4s+)Ο@`vF(r1Jj/3+b?{%o_}=.gfTrucg&٭fXQI#;Fk/SLz Jڼ=|:lOLBl fN3B|YF(a'Аo:pC 6DUX%ޑ(v8=϶$/8IڜQp9tv4rH_ӽ/0BZfn~N Ԁ[Oᨥآb͖5H0'Pi|މDXAB3i2-x|dMܱK\I`9 hڠYV%=GK-[Ńa̺wU !9wRJŌMS02Z8ux*Әyg7G!|ᡂ~n\qXвUL-!oA<9fgcg_d:qʄ-{Ė0{eUȒ3xp#6Gz2d:!^POWQ ndH%5$.b9 y9BD@Vo3Qp׉g[  ]wI;4l3/ t;*:X1|dJĞ!znU0ݰˎ:m=H}QcY9Z%PsK;PWʡ@Щ-]89 fCX~ p(erttZoX%okQJ!G-QKVэ<0+lyy Yh=ڼzWۿ(Q;OZuƤ4U82Bkǐ4WQ  C v K5@zp5 A':NN;^QŽi&釢\*2 pP~)cZG lnX:)9$$iCƠy_tY W~ BD4}N+,f6a|a UlЎ]2S {v>B2[~ֻ?JsL&y@&gUd  豫*GH4QCR6glVB&/n݈sTQ dNa6/̨V,\16rubȦS8\CgȏѿqG@{ ty \ oj몎hG) 5I7$Y7A*9U2}- ' ]tӬ],]Z4BPizw磨hp"ꃃxC9%,kɓޡ'*ܛ9{gD٬v,PXC']]B*q^i,yXX&TRciK Mdu U|b2?3ÆPj r5 hz%b f -nP 9TlAzbkq{Tɬ`z7Qް>lpRd>#SY+nr`'_~>Un. +[rAf;zȋNJ Vn82n=0SV{7_b=C G"H.98)ߺ>9mfÞ_Sn JvUp0xC-Xt#w^ЙG_θd}3}%%ROcz>P> ua/ܩ B  I5.g_Qqw.q+U{/k|rnMℍU13yM{ys~rS1iĕ%!W fF|B@(.I:^478B#چ?<6K}1s\ X92juBc^m  ϱ)BX &/~NQ1_w"gVMsF`̊;662V_b\iHuY 02,^*$}.iVWfխ i8\=Fq|uaNY1^z3ZTYbj q~#{5A_Kg))w$Sеr[T"UdsXC2zIE~ǨДUC;Ϯ!OM͗f'rʶ ނN\B(*- x[od3nW{Pֱn#7M ?uȪb~+~ϐMʐ4IJD"kh u8Zxk> {tϷW|SF$#TWt(=N"3!MQy|x5VS^BQ)ڝ oQeu֓F $aS^$pE:6O~uc\=L(ݚor@R!f$IOn Rjc^r~/u a {SkƓ@5r쫱d:~wQ̭gJ: MÙ;`mlUZeN`*7^t1!A9hPSq-L"9jɖ34m{/2ٟ hI+ Y96Hbպx*>x s6l͝=uxH}M3lMJ߾aI6ML7#-*d> F v|0˸,,C ;+>W[w&j1Np3 ? 5}(Z UE(]aћ#b!ǥ?B.7c&@Y;_Жڕ& r{#jق&v\gϮ$B褯zfRxN3&`(<]=+]/YW#fg Z1Cdָϵ 81-u_ %ʡb&xPYNo5T+[oAd?it.ģ3¯բ^ʊtFGY8^DvYӐ8Ex>5lVJ-aX!>r.43 HBW;/x'P85%j) w0w2N[1: 4mp.![U h ;VLCϹN;<>Eő&۱=$/*j gNz ajkId[l2G#5z_ e烉|vF[Rzc2ڄZk}*B[ Xaw79pPpe 2u)#[t8!ҹj(Ȏ w.8{N0g57p/e䲽 es=dVG_Hb1@M1Y3;dы85~(0A (6LUgd8(COZ4ʠn|)H{\ ^SxRHKh Uw F-,<}o"6K",҂ʟ`4HVa2z*gb[,i#1`4k͜;q]RF'APd: Kq Iΐ0vbLg@  4oynaBodE@G9d pxE=Jޣx 1XZ?"նKftH/tBag'!x%A% BdD?MLp㤁h,8r1|3FJV0z'zȤwR]%heҗ ;ቔXn|`LoDNǗh-1@bGle#R:Rv&H j(# P1 "y L'OCٸoLڼ&IUw\AoA4eQ:QQjgKTR.nW~} -0twpGtHo.^"5L*ك6Ne |ȧ6) 4+M]&t $:? /z|ge6SoR|h2Ԡ2|BɴK}ƀ7+M}uk΀H*GX؎ A£\lPYG&"RP-cZNF"5$cbrJbS灥#"MFI0*sJ|f4)=Fj8,αzyҵ](EAG5KU>h[oJsf(`^p~*B,yʻZ[ S:Q7o}gŻvꍑLw˸wҤVN_6>i\@8&sbp"@άaI Z!zv,Mdg+#M^ߢ}C$q@}tڎؤ ↊A4jB}E*"^MTtͣ 2ڍvWr(}]C,go@C'G : ,/GznAkJ_zcj 0xK{ @m;-iT}uj<_]FƈWww!a p^Ri+Sk#~!/m]mG m<- ZO&280qI8,d.;"b;OaŜJ 39i\&8ELsR"nyLpPB--Î@@6+{Jؿ&JXģ#vCؑ_zAh7WC=Tt$`<Ÿg cny 75Ki@ݑ5KoT1dd/jq̻#i!nT-@M슠Iv`'\(xԬsCe^1*> ο0~&29H⥉ԓѽV eT?PBri 8e`(0"o `ˍֲCZT?Yhi#)3h[4"wM? Zh&:#$A( |* =K<g,Y̒N“^VrH \<>/3(|7(]o>{\`4G:X AܫNB/`6zMsҕ /;jO)^RxlCO{y*@P;]a0X]j5{ʏ6~ap>E_2nFU*ߪrMph(rB^sP?l7x`\?a,0Z ~R)p- ⼘L'5(]fw[ǽ- z ew qQ:!Kuĝ=C!CeӜ1+#9R܊ B D!9^ק=_ c;+=2|f צretHD ;zÃQr|Y;{Gs?w2Mt>Ҵ[yFEebJӵ=ΏWQI[>˘BA| 7q geׂƲo `Zz_+w[}coTDSدcw%oJ> j-q}KZLWkaPyH/]7m[e&m'uB5":>J[Ep})φG8Mr(өr@gpOQd4`SpZO/YإWMV~V$km 1rOhex-kK9UZ{핫_I(^@t7DD' 7d&Y]8?s[%qݜ=S&g#jU^GmHj&*G'J? &{&'M(U%)n +~喈лe6 Sr"b&-RʀV.TVù3lV7?scB"zuз(1w0>栟O u׸k`^o3/A񭰗ɢЈ"_27nHpNfEgNƇ*_\$/U` vRYG9XAc v *MI[Q:ux!E0 ;Ȟn^,oZP꫄_cz&)b$U Qv^ᯎpg]<B$( c]%+Q&Kazzv~[FkM)N6Rl5̊ / YМoDQ]— W\TedM%'4}4HD0Mfu'DA 7Kv6j $کse+",X4Z}p* O#ЊD:jnx+i?\ ',T|e'#ZK-wc'OKmEmURXAI%N\[$]hC.ҝi͢1\9I3 D@[ben#|)2燖(J3WIvyo5 ljX8ЧԤ-vؐb@U5_~i-y]9H%l/0k 5u<2g"B͛`|"rJ=9h@/EUX7uP/dFzimw0\U)zǴ;"7B=a$KCNБH+/ oJ|ԲI:H;G [ (aRAi8 #Z \}2 `3-?i>)sr@Vw21vCterZn/s!?KE_&s L& -d6}hb!Nir>)u:@ ޝxZ{E"4Tf*-&z.rGڨp0މ,OR:Tu^VS$1  ?#jQo\|"{wl<6U? YUa>x%].\UQ睟{S>l$)d^;ٜc!m"UALwO[&56o@M*cV)^7i+M1.:%pH\<+jT9t2X",Pb!&L@ZZf`3Ef@EbG"oYw/϶sEgہHtME̜'?|}*>EB"ٓ+ kV'6l<Ҙ$=${$doï'8<Ç'F3+JL"o;zc"UJ(7OI/;`spbjz41F1inJA0hq |Pt獊˜N2zyeJƃVߵ{ q !?o몘ʮ=JeAIU$c쀠z6|Q`d^pYXŨ*R1\1)7v.Ř4CI=vQM҆"ӯ@:G,Q߭ė$ -V)r3j5B"n<%1< }45ЫY_UHnA! 4#t,wCթ5N1RԘ+xǸY|Χx+]i"tJ8R1}:uD㺋٦"HM/fSkʵ0I>s ^u?8WFyT8ѕ]ۢZIa_=4y܇끈+yk`FqP-ODTC[{u~P qhI\Jr-pue/pɥ,r]ZHrx!X> m,. e|]iY~TklF܎\p#ʀ,M|m|Lpy|I; {1o>SPހZ1L,M1=]8oAOLD1N8qPPq!3EMAMJa5]1Warr)օʝPCPJC_No9nv'T["7K/e)gcb@ hy@`ۮg]#;" ?\諰q' P|mM/WOP㍼ҙ`mJ83F"jװ>*R7Rq{UIT,ӑ̞_kq1hn"t4-p&H&jlCvk&aaVVI!EW?7IF/8/ȕ+ FF4E8RX:JGՖN3#‰(Ĝj*q'9 ]>Bpo. ;#Lbުihb,7x鲫]!/)!Q*rvv n]lQӎ2<9eQ,0xX(c ^gH'Օ ) Fl)^H)o>C9:`I/N]O{GE@b3]h $Ip1!_bլwg0jpRs&mlp'N'_)+Ʌ`۽ڙH/1Kԗ޷#yꅫj# E%x,Ïsnj2ɷJ=}mG W>BjHg}]ȗ$ 3m}#nD%d*㜕 q+9چ^6< UHrprfmc.NOYh@J~?$:T5ՐVmvme)ه,Any[ Y z>c: 0A+J9RwwA0#sw=< χUH޼5=):7=nZ* ~mbK=,dʋw 뀔v(rN=,|-Kl%l_,0p .7Sc2bF$Oj"5(E>x8nEG'"\3O` ok߂fjt.<( x+KYfx=R^LugE"RK˂92}F]U$rFM'3WuL-Nu4B&kF0IkgXly 8@닅Na-X=%GEkI 7*:h [<|Ҍ+Cd7>F2 􏏍Y9]:)Sw$G<{ WWQdxʛFBi #6x'W f/ʵOu!^',}@0`4׬\ujATI%`X=Y+IzIq$muQrbgkh//UU\-/0s'|Cڢ5ie6b6LA5Y޸c*mGZD❅/ SIA7i]@x6vPĖ)@JVY=&!3'_Δ&# %ܧ7AkjBFz"1F"e?j&z̢N`)y:Է:dJK+$Z.|h0o NWуP'OBNʤNUxEqQ-hƗ3 &4gЏ(cUd<1ȟZB#;`lF8k mOH#MmuFdFSL$jt֢b\DZQ6LW_7z4m,z[TGǦab?ɗP 4l_֨|N~sROݿuNg,;%PChX'CFg6yYyzoUڎ Xt"N8;Tw- c)7n݅򎿭pTX0h*"s8a"] &tm !`E[n3ՃхS-]HR@+uuHv} '-zl?[|@ŠѰa0?[D-6'f >G;\"wm/ 5_.>'k ߺ l <&C?v^ya'C$fLg+X}}1nfM8NA=HW#Y%Kuޏd[r>\&28;I uӄY!zei:කTBHomޘ_i昣eE1P 4j,C L@( dw2MV[cUPUB4'W#I K OԆGs$-^[Fe;_Wx";cWX͵ Bd߃L/'Gսd0ZuXʅ M D!= b5 8-3iI)Q1HP CyKj/icPu }CىZ5 dBUNWۨC drqJh7zymBJƣ}IbدIMK/V <"b-$]EP)(`AjhgWqpfLSl(ba[奧f_8 Q.2 9#k>!s@F+^*fаq%QRxsob9R_R\:U^heTG D osQS&GF%٧'/Ċ(:[f́'pzZϵ-`OםW=@j9n)3 ױwXVpwsC\$wVy.f ',)&椥KY!80QCg~~AEeU]ɤɿ6.v" Yp8qVh?H hib@`\d;soLȈIO  `$cn׫IDIXkP|f0AX>Hz %3B;țRnEGVwK٪Gy߁>T/ؑQ6lN  /6cܲ'&ڑߛ ӼE'4<ϥ3p=pI"\2Jm P1~!2!a3>5i_ &QQ^G(2>)J^ǔ'xi.U(~B^ߣھցUbWsB@)E_ύ-BzpU単.aޓyۻܵ)B;.e;PcH#V5"`vOg_"]*Վ†r8y/s ) @ܩ/K\yJ[lvJKum󷛃ϕ`kg=gJVE@QdThn$Mɡ䕜 e y ifV/`5Ѣy=0y35fyl~-1@)5ؘ`ӓ݌rOMWyuns0),9D, \:Nʬ'w&Aξ1pò~ 5F&ȞfiL蔌{<68%H~/ێgFS(JglHEI=zIIv\%$h q"Lˇ"g]X2^$ UIeږY830JTUyOyzUpү`ZWRpo`;U(brLtfu|+E6 4\| lK5zie"ڼQhC~(HV] ^16)<0;P &$:$(Iv[]-hWuk鵇- 8nDIy_*:̒GxD Bfh ŧP W{=J į 4kKK4˽ ;нh#!XYl18w?{((wkآsG.(~[Ѳ=I50Ís,ܺWеh2NH))Иb'V&o e'0n\S^^$X0*/уX^Ce UP8a(Pb!yBGܬ%ֆͩO D':j60!mnԂH"Tbt&8nV4dKSb)qHw*WD rENAvZFFwtKIR18hBnaP|f* \8.h Ȥ+:^1Rků5 Ab7C\~6P7=]so{WFQkw1ipWwR?^s7?7֦fPpȥv#eД':rGX^5cxAxӕ5>}[N5f ࠉ ';?H1-U8ȝ̤}MI6R+%idB\1a>5 춈uU2C@ Z\WNsHU/eƱ|IxPCG|i:m ߸e݉_Wc%#HRu>mgJC,*Lս@MqT[֪UbX38XXrŠXVF`rfX#}yS20` F[o"}7T۸vu|9z) Ό1TOR`t*g[ɡԒ,76Ī])Cv8HѦlYPup,b W J"KO3Ǯ2xpA2$>bᔒŒ5?2sh[r*)[3S[ekӋ& 3lSO_"E朋ޚ.b1a/`ݑPMhʒ!y|Ǡj651v@k/qs!U7i<]e>*!1rzujӡ!'dtƴ7K/< ;R?fHػ |M'yK@854YZq\A1}%1%:PgR)+#ĻblR_R^_wQY΁E|5hcKJ\4C DQl9̬m"ٔEf7%?H7YLgX~VL\m L;& &!aYARu*~o]%[Ep2˲֯`@,*xvtv95voxZ^_|(wU *5T?v&R ^]\g@LI:Jԫ]g-n?T}`D+enumRϼRu ©<%Q[Y6-Xqy Ef{ [Y10*K 3lH6+Sm[zG犯+F1ʓ Q22U"2EGB=&9a)y y/7޷侷>4Eps|+e)`R6%:ugc]si<,xIzgd~b5 8o,|"O s(d8)) k~M*~Uv/8faZkfivwl3j"|8$pp $@D"?v:S e\g<2_Wy/#Ε>uaC%m3z(K#="խx m=uAt'.O|54O*C?! jtfN…dR|ayHYLW ztY+[gP"H"/E;D^rS7S vz:)PwpD4 h `!XVooc'u< m(u1"D5AaȲ;Rx^RԫH\B) h?5v3o qzJ } x}X 3~ti@_%ڤ"էw M}?zv훀Q>`* 2%>00NAtlHqu'1|Xc6n#HIŧK$㻳÷VELw2@4'(C7ۣ\0mEɉWemMJ<%7OL8QI_9w+[v[a/ȧ}O z le+q6CLB2ӱ%>7|:}޻WcTiԙ5i&Q CJ+WTGUWhXd5ͦ#P 3.0CGءIH]ӼO9m(QOnILw.ۀ) G(.(L,A Rw[3Nm iQ[jZ.R!ΌQJ׳u!{e:$g,nB#X=;D!ΙCp> DLs_aH&,2u?ӌ^e=JO !)< A uanRx\hvkg]-1%ɴ#Vc,oH5lk! ܭN6aCqIG7Q.5/Kʬ'"C' "^)Tӆ_1tګCKcST 0 n/It;+*R ARry6ZyUDOd,L3/Y)[bIA.A({>8%eF>3<AN %O] +{#\1 {|܅_)wGv@%ژ&QʜARsҾPBЫՖ"]"īݒV6O0<- ~Hp=Ufr$/hь^l;NxO`H}Fӊj`UR K,d91=ÊF< 1yÐ+:ZsEOp[ #MJ t3?bPf~ieӓp'28. b]^K(j:],`ȿ<2zlɗ. ۜTv %ȞOd |@CScaXJC?W5矊te?[ e>B@΋E;D˗$8rV)hJ>{Sֺ}lߙt o9y8#6 ٶBSŘ4t]a-eAFϼ:1F7äy[v)!uvፓ:?VatU|[0R,<؜ח U37櫥CIVhMTg) dQܙ~0:s.,#aګ@| אmj2C 7A1mɤ *,{qޅ: shʜ{LoC5 f] (4rP:^h,fFNQB;g0L]GIssDɐR0 ҖZ,s Faӟ9+  %D9Ӧ;Sz60ߺW/W-hʩc *CԲPgk8m~5d1 1߰@lZ_`7ŒqN:V o_"N@nNIԷE.9ʆ xE6}%5fPuJ pxb.RE${ O2ЩFϔ$NÇlG"@@>4 ց@N`#`BꥃӂSR eWz{q!?bٟ٪z^={D892!û&( 5h1LaWj=b >ӡ0[dSd4ڵLTv3s~Ά0靟HNӀnJfqn_~JɁs#;yD5?ҁ#O Vأh< 7Z)b" >}OTA֜#YnffMw8*V];n9sw';Zޓ* !zO_:[\YQjQ< bD=; eH Cy-LCښZNg韶UFG504)}!"  Wۺ`0 =yx &);˺Pi (sдYBg`QTkM=.ՊUvKcuTb)TTU/K]Qn5mg>I>JGr`" dă (كagh Лt/v| e4,l&GpJZ]N2nӨ:i ,)2*ʇj ? ǸU:++#+#D`(&(+uHM#ݼs굏*@CY^2Ffrh{Bjwd>\rd\<{[a\44+QԖ/닉\sp^(ַJ$r\1Mn\=}|uX{/f0d Ǡ5OͿެSm9L*51,X)R1wzv||嫺=ۤ [^=hQ WQ΁T4.rںSnh!EA劐<~B,'W.}pE@pDr[m`H m S-t!AXts#vPZΒο2}6P5/-b;,X|稐'<)ėȁ].!kJ/B+u9+$#!mUo&': X~|>\z!}P}O$}Ȯ3Wǧ͖@gӝym.-D3ռq^}}Jdo$GWIA41zTgcߓ2=zԫޅ|=! j? 7( ۿ?ȣB2*"$WLeJ9y}e81e3z}/F>a-ғq=JOx)$2kӇ\\QbIy |mSfK)!j$g;ۼŷI Bm;a,X]SdOg1c7aɜ:-UlB`jI?ք$ʜO0Otk4Xk.~%[ _M}- P ykт+$`Q31+ˤTd2h1j-.r8lZ_NUeF{8vF9'\E_i2DC29+X<5n>|1m߀#Z{m~ŏY9p9'NwO퉕%Z1A gݓl[dkmYKz] FQ`rLA,YM˹a"&@Y":tN2Pr?;I%OpLJѭgHvZV#OG[X]^@.jO,GjW$4k| \g%߳U]'K$ Xm,& (76L 㪅Y\E6$т7nkKS g>S@Q->wKk32p R:VY'w{(qv\ {,$c;{)+`Uʊ\ ||Wu0aky CMx hV]nǧPdhq-;P4dȬ10ѱe EQ1B ͘K=Ú`rUkhQ)sٗ֬E<ҥH9A".M *_}F=S^!oOJcN_ H7w}hTT e7P⹔w#~DN8P B%i!/ ov[pxT,8B86"#jI'SLح6}#8`\OE7Cs}+B&98C~TvOPlv>k6h@zng=tc!lNwX^:œEJXF2Cjf(֩r״ퟸBU! GLUMmyEFRq5|~/6?\>Vm ˫`SskQc#a!ZcS KWdn5 oKHcw.k csFU5>. 1x?KC.gFx >wCÒS p` 9`Sţ5BiLY9ذu2Zt'M5ETsrT'3 vc~\'u4fJGY0Ϳ߫0C=(.0t$[j-NnoФF[90׻d\866݅R}'N·"4,?su5tkNDr̖Z̀Z%`7-kϕP~羋r^T,u#SK%Qi5bn svᣛ졩NEcn&:A>ÒΦ8U\Ţg@H0 8 ǚ;I5M$c`Dpao48 D+qWMSu37d"ڈ^nGDؗq}s_z|cBwv=! SB:M@H Jd_A }OE;}J6~Z՜UI~h|rQ$#}!;S`gwNG||e2 J. tvBB5縔_ GXi8v -e-!8j#6X~{ rNOZ0޸#`>9.6tpIQg  wWU7À$O{v!LfxTf g־D98;0tO+k~)EͭV6+Q]` ya%h(՜x$]6ZZ$w(ah4 sDqQ$ddH6Vl[K;م.;#zlk!"hLܕW,]LI)nrr{%8TSoE9H Y&iؠeᙊ-",#wzq3~Ҿ|"u|1Ï=o ɠ>IJ? mY;{x1Fn[>2dk(^p!6w3`ej,"fe1uM<He 6u܅[VY[Trf06bNʄ] ͊2cxxXVd$.ۛ%략`ĽZy$jbQ;ha袤"ڛn? "o6%vƼ4Rx}\'|܅5-f߱Un`=2Cզv%˫E u.yN,&?(t1LCAHa`5%߁ ƛz_qoܲq#0`Q<ܡکW ZD*;*9Fu}+bl4E<$e5\OWwY C?2OOXSN_Y'+ \0YuH))5c$^U,:z[,_ 7ۜ/MS1uAl] /qcX=?C(ОZz*ch.'YBm.cy+,dw*K^ߤLvrh2JkܡN, z0 E1gR%?Is=r+G۲:Lo9iJ{~Z*Ќ+sz Z<6<} ȏ:#cMƙ ~Rs}=[3%;2$`Haؑ,F6TsX bC]zHK$}9HܥA>uIҳ*PO[w<(%V{~{z8<">HK;ZucMAO2hhvLpBXȷ+MFLxF>F<eB"er9lf_ -hL^9Q6l-g(ne6`ru f|L 6Y7ggtUUF`!mk20luwa2x\ s01ݯFBlv*liԗY!V'π|/B5i |gqLy{P?\'hS*j!`D5Gɿz32J-("eub0κ<O;`zv% 8܋:?W4Dдr1Qd15k³$u:|aџA)F( h'lͦ0^$J.GVX}weI7B|~VE~\&BHKq.)I0iLdִC M#ulS+\R𿃛c"f׷E~V"{K2dFR-8;-2iqb*Kg=F`G]MwK;ӟ݇b:_Ʌ2byI.}8v˃4--W`9$]=?D-`aUO0*3QQ?g:4Nc7|\\O0Ʉ 4J$M<005"uRh5း^bys[tC ̣c5ƒMxClPEb18~ `~$pXGE$;A ӦIUFϹv9ߒEzJ`{9y0UTPXǶoY$ѭ6 s~~QӪjbKRL1HSsS/ S]&woOFr>G޿ص{tX$˹:CД( s26A\?iɤ^4 Q'3_%Ee@?j~& uŐW3DyRdr+:"N?uOERn&!Hp.̌٥]!+!Y4Ixxɞp4@rJ6a:viɟC* /]]{ .f/lK3ZkL쿢(24Q[30CufTFtS/D=cm*!9)cP V4bA=ZOϟl*,ͱv@w d$}o{$h(j ԟ@UTOoܛv 0Z? 7@|06ǽ@<J:!1< Ŭ]pTw{5]΅J@8MK]Vrs '^xd@%b=%Hhui0P,eOωM_Jޮ'Z#qM b(2\H5x٥sgp6c}'.{BC2yhd$KdЧs=89ak )&Dh*򔈆(2R;he<6 l'kw@⛭bVbݼ$_jAq'{-E495GEq[. 3X%yXIIteؚR&I"|:?W!]/ `PN &m+H[X%P(fn7mxvO'&Y=qWb/mfHlV(beQi|0X gpǒi*s|?NOöQn6`u %zŜ#✳{׭I~6AE}?MD4`*{8sVh+:03nE[wS;`^I7 GƼ@:3>ǑEAc@u\?4x887hHdO7?Q/L)uFH(He.>YHgy|ѪY.io LFNwE:tTهO ,cW Xqr,dm9"fNQz%}̳5l1hUW3.+1wd_OH"_ 3k{}n;iM0)3 UpaZă^B1 )1oMQO4QUzBd`,k?‡= h\G Bryz` 0ZI`O@NMBZ1*#jJ+#^! o@<SdL `ŹP~I(">ãg7u@XeXKGD3GU4IaOKVJ̦]ɷ\gfو:XariPwf/,$~vK,X>cf-G7/;fcb3++5s F쬟F !Q;}N j:fdġeVo@ʮm)LMй-I}ʲ=E^꾢lKlz x,} /iImL2|B9N37?gp6N^ ƿq6 ml(,;Uh,X];y5gܔEubʔc=R@:oR1}&6$z{7yI*o3qeȚb̳UQ]Ƥa %b! :%(mGIA ˇM`>k$")#lv[Xjm4X P»i$o.0l=cz~^'v)TC-r7T{GI鱈 ?w&4`zX,̶AխbXz2\S=&iR?r^{;},n^:} Mu7* ݍ!37XyuhĠ֎!egDd嵉\Zom2]]CM)VhMCXc랮ɳ]uIc.Vqi`n})*|__&>XX^%Cq.UMyqum۫xǰ7FC3z8{+-T<N.;A|2`W믭Z~#%O(O5Ey ^@Ȼ]E3Luha>HWVnֹo(4J+~$u3LЗL{W@ѻ3h|}:ke&ic#)?M4J8nd YE/,/wIP6~yB/T 6峅r3u8AVc"aςw"ZqNu7FE1 :sF]Γx+#7.3j7ws)C>2 q,:G;*ʸ;VW= Wwpfş@S:d/-zn|R_P!;8Η\&c,IoY&-_uo 8({Z!QxڡKn E֕ 򕩆UoZvU~>zaXuamIY91kuȆNH4%8.nչatݵxTAZf,>M8X,fB5U &?R7fw/TK7-JEU}GBR¡諴4ɀA {ra^k(KTy]Puj4ͯ+ϋUhsӧd8.yPx)!t<3qHZ# l8 #dJz\%ˁu:%j5gG:H^ mh'H<hΰȝJtt* =b*է$Kbp 5N@׮`y淗]K˸6Qge!ǖlj<79V,֗}`Ӥ;e[y-$A|ޚ!te);V1۸7_p!)MFWuFrQ7._+6[mF7q?0G;gYZf79f5f1b7ebbbc785d8274e0e2519ed7c0a622bbddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022