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   ;!L, ]I]CAVA_Setup:threads=4elapsed=557.179cpu=1943.960gc=79.820factor=3.497zXZִF! ~|9]ŗXf[&з>V=$ϟ=tUY7e͓鮛"O`07~ఇd:O5k8;LKngs mEHF)?liTTḼ*! ¶P|H흈 kC'([ :d6T ?D[Z43㓍20iQCy~ '՚FVoudCwDdI?7(]*AlGwU#c  ! CAVA_Setup  NȗL8v)4ω/B{h|(@n;g|M&ˆݡ=d(ȑ5.psaq $ d0.G.i/EtY; ᜆgī9mg׵q)?ƾBœCԁzs guzxPHk4tSU>UqcTT"w ECV##CsM(eĉq^*8i;.^ͣ\Fs' v :N7UJB,p[}qlI_,|˔|_A!.ꛀ՜*z$`;`LtEHȫ`w?B7dv;f[+<S0(W#'ѱ- 7{}@x= 0qllq;Ȧ'$ g9N aX'8=oEU߄ ,?-2EQD6 s7X k6U VݮnC|:p9ŴBeIؑFJOc5ǒ1׷O(XkǽUǯ[ ƔWBQSK /^fQwI|ڢL?b@ηH?ɖ˻^}eQ]7GV6uEBNE3/~nW KS3 ʛ?Lol5;}#.]'QZl;X+cs5$sŴ}bYq|:AɫD,܌6bZV%Q1)i˂A j'粓Z'~krCz  uYZ6;PeӴWB_k/Cui3/Rjr+bi `k$aHj؎~s&i)^{Zxͩrx Wx vժu$fD#$7TTxui`/npv}ϋVG^X9svfMd™P9\Oh$hl%$dG'Ì{m4NE)l *;,#}MN:L@` tM33.P~sOn؈Ybrxfѫ譹]KG#N0z8h\^ƿV\WܮP0G(5wsnN}Yen该ۃ);-- \Dk/_'W^ev\r1 n~Mcr ƒe Rp CطA+d'=S0I 1n%vT  5 s<$G?K@=[2)`b luE2z)/.+RPxb(+TҫO71vG>" Yg>2$ni9rqUk_TB~C2Z҉P(O+%c NI%6z8UOSR7I $7'okge*fit[~Âȴ6% |~8I0@Av9|z4)0TC $,Y]ю8;[ԼV(r xmL iz5E) Wxi+RY"P|Pp2QfM"l,kg0DCt`= BƸl`jPY hD$,O@V IȎ/Opu\Xy#Ƣ=8AZklުU^Kkz^WB|B}εW]1L=%Ъf]`>.e;]!mz!`~{('_*B?]/Ajw̶4amb~!\6G56v[%6ޟ͚1>ƢQ1S@^,C!xTutY #JsSIZ*$0eZ 9j@G\m:Oj&5gڔȀ [k/3jiW3B;A{1av=1}Y dr P!TЈ0+V-X9Ư 5|(:jC@\B~jb7S>$# nZj64@.N}^)|`Č\COϠN->u Q1p{CLG2?ݥE*_djHh&x5Vg9q-:iP9&6y)`ɋ`8tk2`d{F4Br;Fێ>r $DM2,)ܣŁ"sFF&D]bX4]wrF~*2 6-ᓊ)a 2+92m, 'Uf#4>*d]k#4@[qh|Ý\y l(:{,g5M<2r^nr GqBi)Pڕa䐃,!8(xiuvu#̟ /  _Tif &ÔP6|KL6,GIw%UkfnZ\9䦻l*o/l/d9U{`~qWp; 0jiH[9STTDu" b^W;y_/dy:g YCZd}!&?=nƍS0OVq7kf_J5~g$[;n YDج"wx'yj]8B ׾}{wdH$7pZn:GMuw5kDQ%&ezɫ61I'-?4Po/c Q"kgQBLQ ՛M{сe\j$au}:Ŕ%e󂢭Qb8Q/ ,]6c퉌.|@J.EZym4KqDP)e-IB\I͌0}NeP#3J!18wS?,OHĨv&I]hRȫ1PpFTSFW&o>R+džfMM'' R>fy>10M wۺ ИqC=JKM걯_ Ąi(zm6-D2e-e퉦;ˬ".# K%;3# ZZiU:gqYr\V0=%N{TVG 9MS&Ėm䫰y bOVj_011 DKL5 }C}7Qw>}UDI( dg<ޡa x1rO 3xaT}&)v7O,qGce.n vxe'Ԇf7Ϗ2̓^% 'not'+Oq1oWPћgVy\UHq{2'L#;R1@q9x[ruڟ2Mi4B&m CIR(}ߩ^ĄJ?԰k$v:4Dw4.Q&hi= } Z{BMk@)e;(j.$W~3:A dR6A:iZ`٨)f%}H?mͱDF1PߺXu|{ =b^mn0*PUsgzá;iHF{uNDS/|1:&^*Btd6yM9 O~ݽ_BҖn6~ٟ#?K&#T(EbbU#pM}xa둼\ &j60*`p$\IXq>6(TFXR(͝S%.1_5. iիL<{J#߫.Z73"F!:E p!c+[3߮Q雧82695Og^9犳~X̳i)EߠcPr?^&bJv'_d˻ mHž f2;$yej҄q RXŜsQؽOM#`a-?s'6IxWP#9[6ꔵOI m%+TM:M,y8QH,]E_U<[ $r-BB-L[7RFPKiѽ!ާoz$l:?T6oa5^=_u:UG;TCˬ̣vvmTRU{}z8PĨ<$]K\hg?-\K-I j7kPRa|~k0DهWٰXa;[;ësj/K̖^{?Cu+4fB۝pqҜ&g3Y, k[{ &;ysۊ+1G %k388_49 QI|OМ4E Y!Sj D5YU7ink-R~k"9ܩUN9tzW'Ph$HT0<+h%so}LB\.ŊP9}D ~%x6}ZH^Lʙv|t* 0(/g] @dE ֡ǏWx#~ ŋ6G G/:-[quPj; 0e,3YFL3%{LNiNzM6$o _m7-;dL9T{Ē_]ډdw/!^յ?T#L"\Y(}CЅ, &6 i `=!nd5k)A<\ GG&C`s-وh5lػb""|C[B?3R (E-0n6B {"b֏o&tpwPb;n0]ʄ} #ʸ L ̰YЄ qՐ82%*|츧>'F{!i6^0[ MM@Ǣn2< hwYx3ā@]H&g< X1`C~t (,^UAtG'ez:o;VC_|B07ݡՁ̵AA<M۵R-&sA"aZLh \.U`LG10f Ov;\A ɱ`R6s!2Ko]P"D8g r;)-GAJ*\z2_h<4A&P _Zmbk8o xzkjDDD[9 YdIa@0f4AH _HUK4x+y^,ܚ ߰ibtAiM)6@{QŜ6!?HhVZȠrE+PTs$ ͍Am3+6ַavc&͚XxD/#dof׍{ā3j. ǐGgX8Yɐ?S%AW}-X:1{g5|j{\M퍞=>JhJ3 D {BA p'Ml F\lǴ[?׿-Ys}b.t=u&[~Lævz\>&sdDRxɄNEiOK`Cd$Ec-C<^GV҈Qj72@ U'A8!S5n}*!GT^1cG[HA@$+S!oBH>U1NH8R蒸g%vTh~_ + b$¡1#V.9clިz֯̓SɕVRvk׳À $[j(w^H.x7%Ҙ63pԾH#83NnK!709-^.V8+c0굫nSn^ionpO-I@޽;pԪO?5C&$j1"1!,"C^|fy6F^g:HK:LCl\[O1qzRČ6g}s8tx4z P) Ȉҋ/1U 搣HtB a7Tt) Toxj"W wR&l̟l浰;{0:x<5 E"3ݏ)|ACLrP֝V{7}c1i~/vvJtq#W`jF۟J,2'{nM_B'$Q׷^%gVk:͉,< ^侯\eZS:|aو~u2ZÌ.\*%-#o>l0s g6f!Z/%oes(QN;num2'|;Њy*~i^8Js>]jZy5@MXy$LFe w_ju̿M}zƉH8Q^F"Ji&L99}EmE~׻m/>oU$LC? "~씺OaSo  ZWrV٨V?,{A}6V3jz4,oTC)m͔q׆y`}鳟ؾQțDM]=ȥ7#-F1Z:Mh{T05謼`@+@ Z8i}]9 prkE'HLB8@-'߉KPG;II$¨t($Ns zSkڤ'xȂB}z5ydўLxN#]ZX?iWʘE^I,6{me63LLԍd"lüY=zF|<憕7=o2Խ+ۊYh j g;`ut{2,)MN> yYyV@N.zrhO)`jeDU%؃coY&fǮ-s"'}6&$%KUt]'HRBצ$3\wPus!o]$sXL8(9aڻ[N sYD]3X Mj3YߟHb)GޣaDvGRUv;nDAQ2O9qJ ܃J!qD)@8&G D%5HqU.3QيAu>U|{־Bcĵg(2UkZ@:mΙX[րyiТ ֻp&WcK,krބ/dYh^JePΪ|+m ʗ((\ #v4F,>|ի?GLڨ#kL.GA8x SM;Ӊmp"m祝`炝EG_qNvB"Ŋ 0hL)z5 :iJ4Y9~ X 칓WIH8~ #klBNEߐB>,-%edpr+d0E4NxȉnaSDr)Z֧B_+/b?=A~fh3kF)1Pxy\o."C3YǙqg牟'E@Fux[3T"1V2z=d#=70JYVz,j*< o:G''dudu䰲 ̈́\dэ~[EM1ka#t{urۛ$՚y~|V6Ç8l7>zc,/de)dC%IYwDTMM]!v^@ #QfNG[>l,"i/vkHc+eZ Q6c'cQ.Ρ٪Ŏr GvcuL7?t3k߽փ"*[H!vz0|vJ̈7=Q(`2^+k9`rj,K!AqA"D ||*77"pډ-TI44|#4rukȆ,3kH?lyL41[#-'xA>ڪ@(+49  7ZFKljXQ h{`zm:jȇV@sd #zYņ!}kpC[4-XG8縗e-Bm=b\)6\b1lj&Ĭ"1Fc$Hu%oEH;#*KuR43_ o,FR>p3_<*-[ь6>m"0I߽|y;\ZunSz# c- h5`QCTm1ąxmj -[hsBI-{N<xqJ›K}Z<75UE pKvt;/v`&q{@$o?"sU-!%y%,9EmeeE&^0?]r 9캕Yҋug2!ͪ~%۔Iv/Hj!^)Vo!3!XEBNjt'?SvU2ݏȸC*Ooa}ř[?/*]KpL w_Vˋ3Aܧ]evA:> =ľ>i =Ў?( V |D2!,җX5k#y09d!T H9*|8yE[Ezzs :>бgYZ7zXZִF! !]ŗXiɟv s3mU!Az|ByR:'0Od8s.(NÂqso33a:>{pҾo֒ը`Ldub50hTN$b}x"*ƃ)]$t-:֓!'kju>̰:Z&6(E&2Dۭ5T(VSZ*z![YnѦOՈuۅ$co|~? @CߧƵi%$kD^Fs`MF7/j7]Omvv,8zs2`9,ZR8Boe&F-Eu%P0چ/Tl24B a{{|L[\4QЊ{γy4=0)\TT 2vs7#?EDExiGJ>ŀ.ĵ;WP€CHlfrX^ǚ! +,[8NwѥN;=8ԷZ5@ H䤯W` MdO@vW9-訧 lËF'{u6>7N"OB@pܚ_=tB/qO! Ν69T0݌}yf2n̉?\T$bE>|dۤGЯFrj6(Zy*BT,YRe.'t{yg_0~zq$}8rA5GXO.w U?v=GUV@ƂK6O'%U˱=lu-ᄈZ\ h-Hz|'q˨̤0} dt#ֵ]q ʓT? 0oʨ?fU~!tCSXYt7ԯMM=\W5D=,(x0ԑ D'rj笤8yݾmr\ZY^ `Z{1Vkؚ_T2@bPQ0~\xJ -2q*묏L^?/nwƫeklHCj/d(BW`O{_²"P;)ClLKxhŚߒy7I'oݺNW{γ@ЍmV(2}o[<DmN@2W]`jROnXG-)dK^De^a=Q[\kX~mB"xV1 7iE;BzV[O>4RCUQv&SOϑivJz9IZi jeP%l)|oV sԞ%S6rj/?E*Kk0,V E[ZYqpEc{|LĤ8G5Io@Uy);s2A L<_UTM6mZ|;6S_=|!C_8Qm"QwcQ^!I{W Ktz&dEEήbIP$XyOCM.cCEgYZ7zXZִF! BN]ŗX i%B۾,b;jTfiVcV}}Tew2VaoKM.[Iz$p&w7t3\ 8Z%oXge{%Kzp4V3BGI)oS8"ԑdJ!FQ$QBD{:sAs"kj@&#ˡ(QgN'FљTMܵǚ@|L:<.:Z݈_H> irgЄ B` PbL' $-<5>>銹@ * ]>uF*~ PFIi *xrxtx( hm d^8կX%˒7-,>M\Lpʕ <^?@CEZnD*e2ON]/WFr! ܖ󜠾IЮ͹&EܥXkMUϫ5Dw)3&pY>2ك&J[1~ǝ~gEeI#$Dܣe[ /VD0Nz{dZᄿQ\9c$<U=NwUY^U#P4o[%P\V5$U31ݽ .axfC}*eƄ'kݎ>Zy"04k~ A=Oj-fe8Yۀ4&p JWe b$vIċR9 *n0KUx>OC{zj%W$+pLsHMYC1-&a2hn6V[JRFFӋgq_D;Zl]lU5ovTc\#z qàh$+Bᨷ.jQfŲtr WEm%X"+Eɩ^ڝ*}^JxPa ˫{5\W';R ~i A/Mw~Q,aWH[SlY顤aWΜa)"ۭo<5?b 3.īBYCi;+hR_KE9[I'dR{ŵaJ3˭8w3>ryOy/M̎uFPiu\:&s?&?:qCSqj|\fA8`WV9 APz]*@h'#g$8 mZ9ǃ:3: #`ew/Çhif$ޖƥU/n*{᯴tUԍo.SF,诀r[X:]kՙj sM>mA39)K(/t(FNo/7NЄ &XLp"qCq@y{a:DR{GЕ w1nF*5(Ch! 52= .)@w9 ?TS)q8@D[#PȇkA+"Yrp 5 %)Tn͋iZV0Yjvz MΈDcLhaQmeṷ~l2oA;9TXǡz4eh2£&ɹRje>ɩf.vIڴ\$?މZsD<4ZBP'pLG(qmʫgpToL.iI ǖqڃ14>Қx=^mTJV1KMH'}V/ dh/#.OÉ:L5qߡMz;Hs'ԣ@AZzAEW9WA8η2V44eOI6iC# ,6 b Q3JJP9x3s;\2WAaGjiSKdo"Hd? 3cFO4CZIYe:G. )=A|;3yd FNWuhy~sӳbXe&1lUY wzN@n`PW#YEΩ=PblK@DPSFkTQ̴ClpQtFuATƙsDr;CoW #jZ G惜#'rt 1JQdsW>-ޠ&̙j?aG I' 麶WĿ@+VrP{WiѮ2hD'Br7oH%du M Oҳ>L,NCV몍\!EXFUBru)f/tl2V9Bl#*Xx!+y-@J!P1K1 bz|J9(^7>yYAZ,,n e{0 f/P(~goFLǔ 䴼Dn8q+ob|Lh^ ;*I1V`2RNH{zU^'qyV3Q}Yc=2]sN^uY.Ӫio$G-d"0f&51]]S8Qw;F:븐5pgUWB)j_'Y;k 20nE%vi> X+.lŒ I/|w<|W{ݡBpUԔ'Ύgg˹,2prx\'b[uPg8.I;ұ?Fȍ/3fr[y]0n40-Ň 6DeDYD=-63*d`&pm{8N"( hE` 6}|ssU@i  ᣏmAGh!O4Aw~Vrl8 >cg{`RpK˜g>)6DiwsԲ[|(سX`@qa5LSfZV=2 !ҭ6y=wB[P`# \tUV ƃ*r`>;Zf YV[HO'jQ#LVr>ћPKpf If7HweO%H-/Z( U+ᨄ2lspmن%/%Zz"#m헽cUp.š0Pʡk9 \'jk mH+he o(ϾȈ5LcdnW ϗo- zߡ*աZ((ُݹUT ~3[E (i`qB$ӊWx|N%^e|:fE8lË\J[| GN= n`v1HγzPb|8ʨR" oteEyE*8of Zv e4K#^3*YQ]| yq8p;c#jvJ k(Vo][Kuu%R8z:֎=R)1Sep E DPPH^> F/aPZB4W޴ =|nXe8?@g E$,NjqM d]?ImG{Irwn[]33s96^ R)|Pjfh4: }Si>XzJg%x,ij @} cNs36t|%W1E&GړTWQϧs߹9O Q*xi#TDڼ&)MX:etz$ޠ RWB6аz4?Ԁ;{2d bJ =M8]eaGOگd1!ڛ~A# P @"\;IC̛tPyjj$>q]߿@PvNOF59DDJy AAFR_" ɜeg/>;>'$*@,$7bܨv>! da1=+@ `IaʨӚOi(^{Rpy(j/xU{Ǫ p5F{.L};%(A+#{ɪ䥋pSTzu% BfנjjFp>M_BQ >kٻavMLC~AY"+68H@ If{6D>{jxNYC\"Qbi"rAͫ6 =[u&r6 ZM̎={Į?Fvi?\;> {lQnݺjA*Wc=ݭ}|كtRQS-%f*i-18Nv`Ch %ǏCzsvQg̀N/[ d :'\+TY\ {I z~ {!ǨBOC}{ Gµb~!NXȇYTKۥ]r=W7DN&W炙X?ԧLcN lYEgĜiK|沾+Vwd!Nh'Փ1k\K/3QCNVW`x!`}'wm@?w.A$GZ {&L&b.p=VnQnU9YqϠ9b9K \XdEUk<űLKYD/@\{{R'$Shp&? H|djLG% ML**Bw(ʚvM-CΦt4C'*(wj'fK;ph!bI %鵾ᎀ7hv^j$,pԛ͈,^1 /tE*Owqht ?JviF˷ȼ&je< @=Sf`vmED]BPAsu+ 즜s mcєz᝝a p/NTVET/ xYVH8 DnzXa2@;ёΎ)iL¤;uRH e|!Sͥ-1o?\V2OᄍU f{q/&.5jZW$=FW>Iľ#IVo3qGR$J+Bsz=1D{"E*rc{( -7Ǚ.[2:^HA8e oqO] ?z)2B=X-2[7oLcWH^즟H KqQM-Z ?ܪFbauJА^"97ᥧОR`}v7IdcT mD՝0d4:|[k ye6v>W нpޗ ^ niV>-Q3h\trXhmӪ:{#U! xIfЅx7.'ҮZXuT J p-RBFR4#: hʨ  tYfn[GqVq䁒2ШfE;/C9c:%z9 }S̏/oB⪚۔,>4uUUcf&LaS +vEͿ60XM¥WU9[`{546MA?/pePM$:ws)z\-@Wz);:2F#c !h#zp C9t=4Q#R-#gjM&힬-<>.w%TnCAد ^'*TFa*W%9b 2W}vZN~Q%A˅yo˴ݤQUzeJfZcUUAhP1dmn#mό.a?)hqQ6ͨU>%]tW7/7,:K[Sj"i4+p+o\TΪ*q?FbwGYn2+xUgjm5îDʃeaqV w.G~ӻ_oTQzbz4|Օ*SWU>8E?:چ2!\ /+Zk:K GhR8hP _{}D%O ) +&S9 !9;K121ΧG1nHJMKg86p9Hoz'Lh=#6X-톰3 'd,HyCq(-ßQԠÂf;0=(:N0Px'5Ky"-Q ⛰{DE(Jӧ,/o0hb화7A;r*?>͕o3\\?4SKQ#>(`LO+RY)9%`n)peFy %դLA7wz\fK'3Y[Q5DxA46̆TR~8 pvgրV '5 M`KfTEnFKb#V"ljOi9f e"j/+#bi+մ<`M$8W"eVZ\J%84L#]ˠh+SV qm4j'#+ZtSݴG87]wfђ鿍 ,TGT:."VU ':=\{Ŀ/OMP B]9pTuՉ`WWǍW".>2r*}v7;]XCJPt<;׌ޗG :P}ZlZId>Ak;A{Ԗw'sv||ۤ4SIOL9c@usB&3["iZo2we֘9MţbyBEǥBT17?Xo9Q21rs%l_C@4/TEtuiLȾGx K9X YfB^š$6[ڿT?K -O%L8F 28LsK; ٚu7c5aU2-s54ݘhיVg)6EU i=g{N‹ubmfFԓ*]tѬDF~>oCJ +'|v_vK !NgŪw} -TuMӁcKvS2p4޵ǒ$jW$/B#Sĩr' R=o !-OÈQ_N|}Bߢ֐ɎuY[_cP´bx2_CLߚ{Ce5]5֘Oh(neOЄ֥,wm񗵈>T[2BPMl:6m@x$n 兘-)C s0#WThS,'2-ϴde)h%ؠLL:Yt$mԡ8C.׹;!ҽ7—ҳQ_zٮ'['A9R+lT%-{8eXL0$|![r \w2*pU@]Kb>0[+KR;bp%~D &wO/ZYo_Qcr #cƒdXO ƙXdy[c|Wial]vx? ykGrQ+F!10+>rO 5"̩RRwԌfqU&w*po8Z0f3JlѩgeR]i: o4*Е}9mLN :~\A|S)> ힾ]2qQpv,Cnʅbaa^ro`V ғ na "a9J e'8tΞrmThi1Bo&2I F(Zө7.n'џ/E{DIu?_RBPy ,l)wgsJS۽_ ήZT|}sidJrVg2Q;+6-\O(%ـZ&uNG3Z,@WC"۸vws.i|W-^@0^o&/naweBR&Y-ZMgHgG~{oSbN0;*~?0= V> 4[%zF>b{vLjngL=~u)ǎD nw+T'~mx |`܉m @HNK;x@$X+Ա^! >]۷pW/̎G5#~ޒ$TA۶bJʻuU(RZ'uޛ쾔7ːD,C x4F;WX2*޾OQC,F΀~6 Ynה9)l]8xWjm::eoZs3@lUW$ye\em6^+h:Xgx;,.TptcymDƦI#DIӮ W(lR:܊򕃘$rjPYj"#KW:ѱ=nrsY(MB4^i.vKa '.`LɱslSuYfkoڐgNTW) Y-e"[9y= |+^u/w΍R]9)*4?#(ĀN拍(%KU앑!ŬdTQ`<rErŶQoϰsr"(, EӂwؽGvb CCX$>Hf;?tHf5C42)8\*/3i̟Nئ?*(ZO{&&Qlɱb1 5ҁnLĿl(wǁ1H*e8wTbyk"uʼ]6)e*>W 2=Dcb)XE Ϟ,DAK04'B]zx$TlO=}xR!C3i_֕kwDPCiZ0ˎ9^dC\J-TW'JU| )̩pX,daQz7RtY݁vM`74\ul5tc`->mB!.K,ۯA.,X\t  gu{&{ XCn Ji zlaHYvU&Xr]dgP\ voF Rf9Q̘Qq!r~:8ץ<ݘKicLN=#T ț(|\EvYoy&Roj$9YJ?5IU+"t~.+(kNkBy ddY!̐sZ?.]=RD0;xC;D# C:+}COڊ&wkp I3b#QB * :/txZэ? <<7)([P=8G%I34Aai+Opzkqr-r$`1ՂN`%f7*}.H=q{}'bSX<Klh_V0+^azV&bALh7aeOv '7˷foI~ɔcji(!/&uA:mwԫN+Lrre_]4{f',ϼY[j 6SvLXhSƵطi, a yfe?bIVN%<A>FVį|eDHg|̫\V 'ݕVU4J^qZS[$(7]]1e(_|;Y߄22b-F*AŤ]HzܹNgǀ$]+7f >ώDS.|Hj 깇 .50EdbVG .G2FfV'~+YScZSwg0 I鯠nYS@Uqx^]}qIyCnH f'c1aQ!iBdatӶ>Ikch;ӟV[nXi=]&xSF|uY ;bB~hZ;A AN9 ؎̏N uȽ$[FO'&.#2U byx3vCNF7hb1 k(}7"lrgN!}P(\ْlOT:D<)tn>rc ~9t 3٨v6+$VNpbdDp\%p;}#! {c޴.Ӫ'JDOό[׾^SPV>xb|ߎpviVƴgUA #h Xk5Vk: "E*@DH:'k55F8׫ 0MPf zq ﷵ俵&nWҩ p ڿ`T5m3TYɵc>F e{Вb:܁zo@L 4V$WySbUAy/Ȅ;"@Fevi:TiĤ`*Ѽ4u#KpxVvY`џ+1\%Qa鴮Ԝp*8jLiKyR+N%SUFrMuHQdEv5fSLSKcL;lYLo/CTC[V0`i KTquQ6G#|ꄂ?bbeNdsUb眆iɦNPxD*/+/x~-zM@q og>x@UcwzOǓ(-'ߜ!: u/<5b -5Y ./)D<[t*3>M0\fЫ`i{ązkVI$cLmր$!Sp]ϓ@BLZveH^\2\-|i}-w-ms8+E=M国0oG;(R) ?^C?:2z5Y2n>GF󨾵f ߚ9VI5Y׶ =JvMWjɗb;Ï$_>xv>xD ӱ8G񈚖һDݑcxRsKOI.w~u?7  ¯͊,G fyg,߼b8oƓiטRhR.{uwiiuKd ֵ4_"x޷j6ŧ`e'=8"UI)mpOT s5HN< -nx[%@0XQ"`B_X;jJ)V ^ۭfQ$t{e$uZYŋP_rP0+@\c*uwQHy :r `hH ǴzFV0a~d|GGe%€QXE425xMW\M;m͢N"7KHqMɾibPIPΥ)eD/eJJxL*{ʆXFU2O7HqZ+|>H5c]ꍊ?rΠmc^EAL-UN %Z^pd\@E#Q 8$⃔VW2c-OVl7!ͷ!4;n4Х*h·3NѸ~.Xp"s`u>PyXHcFPrI^ʂ _)3>דX4h}eEN( äja~Hᨌ}}&=YoDzQ̍8\/=蹟()ȹ+'*ׅ],^)a"vhrU)XXj'+]-H%@=J)m }QU30  ,&O|dZ ywo춘q{C#=(EJuYmגwyv.uw(zq;ƾֆ4PHK}6`HHvTv D(+s,V{䷰8~jЉu_/$Ȥ+zu! T !{|[ HPWpal@~2K\K6n؋0ڿakϪ#\QyЅ9cCUxCS3{Œ~uZ[vJ';ݟd :%z -vةÚt.ۘHM-wd qPV|:abwЁlMc/ p t1ި 5:vB]R%4-t*ߞU-+P@$>⌘d2 'e7BHdMVfBX :v ЦCЯZO19P1 (b<'yE$b݊'MyG(n4֖IA7[v{o?`<վRMz61%J}35Iwa rF[,,mOp&FvUUt٭UsVQ!ޣai6|Cb/>Y`ȜC?nf,;dqCU҂%iM  1},a*ƞv))lm*bXnQ#*cjBgW$HޯWya;+_H0)+W$5t%0týnpᾖnut6R\h+vbZYɞ_Ш :~]h5e TM!yoei :x6[Cdaû^PQ(!#bux^0I{ê#aX07aUg7%\3RG3fL0\@~Kb+z`QziΝ8Yi26WO.=BMi'LX 4b T'2~z/CcAL-YTCU<*+\vP4+, lt8LV7*œV. ouD*bb/M cGu[r}l$7*dp{>̒k~LbLz?<зl"裦<󕹅?Wы UƷlYKf.Sy}P-^02n\E:~gk꽒;UV^mV7S5܍6%9B>B@B 6beOXg lOG9ۺwd|#w lW4'G~v\uXz w 1v\$%"=Mr?AEɱ?) /䑅ap@Ǔ8xNx~ܫN(6UcػH :7To~;-a<|I3v&F&,Js.FE4X/FHԫ "|棌Ot4R F2X]61#J_떀ZQkHO4i4 K5]8^8W,7nHhuajj{1>x:Fƻvғ u9˰<%n\.ˋ{;ZBX"~A[og 98%%D 3cr{`L=Aa4+ND%ޞq:/LI$+^GUbczWif1g2`&(7 'hLب8߂:\](}7AECb؁c\%v7F}/;87Fe#7NLZH&0f)Lv-s F3SԘ&Ƿ8UՂ_pGm+1*+j7 D1˳^w9Q7Nv+D 6պAV5~\]X{>@,godKF٥VvkQ4ao.Y yCuZb5, y!`x|LEDPΎ+ߒr R=\ofIFn_VmUuYjaq)7q'P ?z^-3 "Qp\(p%jv\MQ?ltkcvB5#@\R1g>7ҭ^Mլ]8TChd &fڬd w7d^M^#i(IB KrVvS;u3F;.O0{qRw'lf6%Jo|3_DL*%x "2zeJo {C~p̦ A V=+_ i{۽ g+d1;A?:2|_ Mv:[LN@J # |ZR$5 h5 yb{0ʆ1q2F+f)qzӗt BS`4jrU ?Ib$r@w1G:42(` bod∹sz7kN:- MDE!" %~k^8+-kX 5 LJ2}<8 d_/JȂ(e#*ϩ&^mny|sYKlXk-SH@Йn$E+B zD|q6sD3:$-eBb_i`G_QStN8 ݮ/>J'{N-s +9Y%;èT{H؂Bv4V`ͯ%Qbz:_AKwWhhiu6?o`i =@'B7ibHzWĀHC 1˕ j@g.ډS#=Y7hXj½M{C+lIY9~#Ig?)]M*_V| ^ՐSY`0JsipU9<~obY҆ k\ub>~ZE:F 3n.xm]lt?b TV|-͡c./ e~7.m[&ע0syI9Rl \dQ{ZxVuY6@FMYlI̷]Tի;:@*#qԷϠD`.@#ݴZ%t1kKO *OpV&ĺ). ɗ0 occU0s97]/TCQһOky΋N~Ք,`QIVt8 E 7)Ġ6[ 58CF$'μo#:߾S"ZէqaXOGIO*xڄByHumOdsXVX`z}M{TeG㏕5Z1c>U.gfE36z{zt\t-܀ZRJZSl/ac乇}I/AkpvV@ g}jwdȞRMؔP3+t|mwفu@ Jydl$kFՂ!ǛpG:G; TldId1Γm.GE$yJ8CeƳɧb߰镅 aٻ-[9m SV) >>˭|ʤ%zF6O@D\ '%!8`ݠc< B$wcE?oZՏ$4uH .-9 < :3)RFWUjZUlEFxh'xcI5Z+Dv+OEhjDz%Wk,V3Pq9@Z)6: }uR&qQ y fl[%Om#ЊuDqp=޺{<8tzf. ہ1u/v~?/VV}!6Fidys 9;uEra$|7 }!joFdHmE}(ъ ]hoDwdC \LiYMz6;.EG%# ?)`WɁiwG9wt6d'2Õ)h*ٛ31yYs&5½Wu{xW64j2#Y{n,$|Sgp,^| ]mTbw[lw.Ҭ#FP̠DKDFqҮL4l@ $Vuk&YGrzoi1fq2Lt**7 ;e *A)%FQ_9~Eq^\LUKtBRŗvNfNƳZ+r򩈲Z8Zk#g|P⊜W7(.:`D%ĝqP=+M3$kUH\EX2|\}b5}Cę>H7vBeŏBTr3e'( : ,K,+]DajA SkF-=|x0L[yz|Δq=h~~A:5Bl)[(`Ø;>׭=@VD/pDD9 Q:v܏լ3mcԪyf aE\ ES{~P /CkuQ2(b:e$gvT4|bv(j__A:]`lU?]W>JpQ^z2umƃ9f\Vv(rdͼ)Iz:QmSҮcA EDp_4l͛M'|18tI~S/#HVCvmJĎ?Xh&kf8.Z҅T%Lh+ye¢ ~dUB".Y{v늀5 RG\A?Ls( HK$;I/SBh:h8c+voΣOH)ڢȀO9R]G:~7EPf/Wd-]!@WnD'RSsa>vqd?v}Um9@jAK~lH[&rdDm•ƛIm)c<_Ƞ7|;N<іbQ#&¹ԭLս3~JD,1)Տ*o鍍hD^dq|ҡe;aйʼmL4dsRʼn|gI%7ް"bIsn*8:^;5PU|ׅSm$CKdUs}Hj$ E|%UIuM#pVBM'HXI|Mݛ|Vӊ5ŖVF;k+U15^iRU+bN(̡ mr$yz#'qst<;5#(dc ;h'9f)틨et/,XWO ?):J(5%RXM}]LP96_Ö4i )}HunfVmz<kiךNI":n -7pX|9|^zbFVd=7|#H`)9a67Kpi wLvf@ܙ- oʵYT? Ojs !+8I瞉jk >qot޺lC)]^RJYEK*gsVkvKj[ D8Da+cWΐ%U 먷jVe T)%ǾvF(cNrv}+ÿbpowqKסꨞΐ y'Ʈ UK!!aW4R["{RDAdf L^`\eny܈W5nfJZp1i\,%H/!`Mz=I0W.V9XްGR;q|l^~G+\DR3WLGF8p]äfN-0x|ׁ&fsPl\plky3ՋlƄFaJ'袟1 +aCYmB;z=rpgJiȤ@+Z4cH(WPt$)ѿ* r`3puYΰ!́,lA"7Dk#s/*1蚾YÔ8 HGȤ`@?e @tDO4 0!&)p@yڣn?UG0wg !z "w }ȿLigۑH j a D$)u?ljbg60%B_/a+m\ٞl( c佂^"A5_Gw>{MP^`1^1U8"CD8ՖE,?gns M)77E=pƼ0WKk*AH(Tp K0 c5FgHC ^0!Re< 8^Uej-tCD9>ey0%}f{?;\F!$"u~b`jJC+M\=҂U àݿ:3KpW-ZQ&K&~JpbsqпyJ.II4䏟Ωh/H9c][. G'!ׁ% emD $S:D+DpdpQBPѲWg݈eKڐ Tى5lMc)5*\VM ~)ޣ"S<ZkM,:8;v`'H͞IFݸœmク^jg'|D=S lN0ϷJfYW`7hTE#f&9,ʮq'T%_40Y{K77| 0;#;}3=(l` zW_^TuxKZ^"ل"v{!\8y?jCS/RUNAкȅ$:r`p5gyh E~VPRApD?\z',C"')ZI0WBHjB:w/ :_a i|S@ؤ%@6eLApzak# L0x C%L5i+'8'nXKj!8!f6 ]a2p(?^*ǥii6)f%~^<0}/=E#4[5gg܎ecE0 繓Ҧ? 4A֋!_AAJzJ &S*:UWg:İ3l VOCU: ntNywDk < 6sL^#KY&*9Z^9`a}!%ICأ R=%M) ٯ]=y!K LgeF(H1 Je(S+ >M}H,s)M\y\f; dOX0"S]:Ls'W6Ϣ-2$o^-PBE/%QLRfpP5AGdd`Oq-,L8Vw6vD(˿rA(yG| :tzvMo|w1{LpA_=P Sr"&  Z=;1yIτ4B>y3=߁ɱC!7{_КYJ)~1S1wMu*H<#:3REL2o-nfg? RoD̑!xj))6=/E !sߌZ@p p9SA=/<\]Nq{=\3pO|S/?D/ *!k1>ԢYu9m&H֮RKԱ4Ša,kiFܓpyTj{ϳhҵ- #=p7eJ!(K2oұ*dze_m2< %MDuKN@*;1o\TWGa؟;ka}Z*LI;lB6ܒ{섰 q ¿SE/6I!m2`{; cJZ^1d!OO?s>O7Pgh&>G=i_˖ o*1msB {FRZ] FčvJ19-UC$u$fFtgE^UvRq5)/Bʩ;ʹ>UZ>(hR%E{f`E,*-rDc FAwK(̬yX]BjFJ0:;~j9|lO~ ÐS"\sAV_KдluUCRiPvP2T;QWlx\>mUF>9 CvBf>^ze$)-WMaCf ҂9 %36! 2r1*t"HF # \$ko 6yܣ<|0i]aٴqS.C ˜R}C1+Fd &^5ihI& fqnc9ڝk.bxascgl2O_̾NƗ?#6M"`-M68<FSo9g*4@ٺ# 2HYeyV2yBUCX ݵNa_aW[p-Vx@Lm> YaFXяRHLK\Q%/eQ $$r!i67_LK&PҮmߢ3mxrӃ ،@?r>ϖ']*]УJO# u}y myq;k M2%bؠk'/фvb8Ie\a Z=$[Q&(^9# EGMP؁Ө.6NYf_L>M 0|,v;+գ>!"QtѷApYUAW5KoGQ?⽂Բ4>%\s*Ήp+/%Fؖ{Ƥ6/VDưd=<Sy/i!w/v;p@/T@RV",Œj~IKh\x'`+mX,AP Xf01Z}UJ_a` PBV vd)JED"#A,ؾ4`8򇌑OC d Ja!0CQ+PoUbScNpIj Ok2Yaj߾lZ#q :.ozik2t 1*9#/01%4R'Ro ]e2J"eh AYr /F|lJm{vqkcb-ͅl$X;I;2!dk}$@ ]uP)o]iYe?֬ތ3Ī U{beD˗A@i8{oA52`{Q7ХWhlPɂs4WbNWEu#eEssHv(ZX*uY$;>ЍֲR7.KoI1nJ7̔fxe*f\oOv"$U#gjgB-4'{~n&vS7.%' >͑d.ͯQnJM[pB$\R")lu:3NO68RRS0Xn3EǔrRnlщbӪ|߫ߺSL0eLxi2?. WArd&WUlD"qsBg7y ̂6 \|g_/ tR5+>oVB:sP c PH/Ho]ikE?mQ3o~x{0J*\=_ٽB>]&_ǥ/)\+ML-p+T^j{pD,Mvwf^BMKnd[ eov{p߳b@TA&M`ۈevO6 ZP:֏6GfklΎҬ'ݐ&]ƊK阈gou¡8Gw?EZucNӦ(CF <:;g Q"؆*Zր$TPm cХ0;Ikrl=w^ 9~ZԃN09J@FjGR;Dn[wf(0 $ww,d;gv?:` G@z)Ank+0ȶ}Bs.WR34Q2bo`|ڨt@05M0R Ĩ7JP!#F8杻}  \RaAan7&[$8-_Š%3EID×ßtLx#.*k+CVc/%zhaQ([Ae =TG V2Lͨo'_cA-`t`-=Y#ֽ06jy0"9`4fDoG ѳwZՏقGoZ[8x|:cG1 #,H驇vp8>HA7)fMq'oK,_'"ӴK<M=>Ѻ,5aB,*ļ {1*sY:JBᅌ@݊Y7܄=9-|0r $7ٜ$jgLS0mVժv Hb^OPK&5c yTyNNwskn?&|~mT[UK1z+Dݟٶ`4g)@E'Ԍ $;!%4"T}ɠBÏ /_ևMm[jJ{(BH[왹_F "9?{ԃ@A;.q<"H Y ;'DvCIו e4P'#XYz?F,2lbd- o%hNMvJKo.3*]3>.%'BCiÖ[u BW7Qzp{L{?[ [-;6 4.z}]|-_0Vo {SR\86Yg==6 Ӑvxv;'U͟Ob0fg#P #֫kjԐs :TQ̨Pz1ص9ya") Na^9-U쉨)Y59r:;u?ls?~v=D<D~VnG1&V"9;,KD// G\}qi^rPͳ\xǚBD uwݹӴ{U2WoN5; |O"RNoA$#$tmxX:c \'stՌR$7Ԯ~u1ZW(0h\Л5Fd"\Ob#:̠S=,AѰ8} SvrQrƨe˴\ԃox0b;JN@ "kd>HfN*g׈K~2k8Bĕ1 S%]ظC H/RDG}] o܃pu'6&*zV-_uP%Og}cLNQi0zfMlf3sʏ1e|e%^2-?_A) 00bz8"a='45Bh1AM^2+?hi>iw\I!~1Y^UͽΗ!^seM=!k|3"V>Kvi)bֹ(hQb*8'a`̀<^QDqĴ]2yE rbK}]HG T@3Bs/ j{fp;7HTcu6?"*z)i!u1ZXBU6گ)rMܐ%7Iw_C E_B=O.!$<I*ֈORK |NW.Y=d#6ltEҜ;Ϻ hۑzX9!6r"iN1F;fs`ҧV'HJ`GnBr쎈/'%Ov`dO%zO RQjgMp4kOp%!NKWňJStiST /T־,rοomU`MS E ZŽ9Tt\Drg $[KSc Pˆ_00;6fbq2rGvAHbN $Rֆ: h*C8.q,6+՜ڕH _GKN`tpj>npH";9&a⩐O R<4nG2In:޵!F&#4yëg]}`՝sN ~?9ƥQ68зټ?Q}lXh [*Q+ .=n5[C;<`n^;E"NZcpwmP~4M!zNKg8.fB~oc9:36)6=m`Sc$67Ӯ3aah 4fY ߰\0 V]K (91D zrueW!Ԁy{GHSWQeaU̳M7jϫG4-aX>%RI4{&P7xUvaºN#lH;zjLB93cc·,{<>1k(?iQH2 RE<fg9և]\~Ÿk}v}"/  Z܊_qTyVU> o~>U@LsNޒZG S -|&Fp}EkP^pNBN + n|*(a5ԮJ)p/z]tjK/"]<(ʙ$j /Z 9M%XVӯىjpsQOQ Ntq j\Yf.[wri&,7 "cjz(:L |J}Z>4ğa4q^*GMygB΂<G,/yР6NBG3GGC mEm{~sR"„`} cUZtua~{59ܞDfg4)HpFB R*Bs8o_S,oCI#y{&?P|NpQyT-'I\u'rP?ӳV;oylSq_Y( @ \S@o4nĹHB{'xb$ Gs=nɱ|@VSGn}^`@V /\ì>$C;7a2x>H5?_/6jmHX=@ǴF܎j~FK{XŢ\E>n ο(6iQ[RMJY\kkRWyK6 qUկpaơv/ltƞ8@y SA:Pe8~,;J>MluYcuR]Jkn_~ fM~!ӳyuU=(-Q% t2:l@Sp>,i $씍 '@M9Lf V]Sw7\l!}4 6Go(}#ƽqNg+I3 tezkAI#r4>^7 %"߻ 4^]ѤՃ1NjA)uf#=~F9#d&?uj7=Bh%nLM^v:7RaYݽd4-]h}Xd @~fs=R _\FgR/!Ij #KxctmPR~bmy mB *hFn%*<,^Yed{Pcw 9Ą)/ElJ e?a,q E:T/Oe33߰BNBrC+9g/Px`tW%a\gA5cҭC.Vzs9#rZ2 :V k2CYz\N?FoZPTAw"e+AF%gԦF9a2i!n oL}d}_[ƞU௥Y6(M_0e[N]wz#EX? p󻚜$X䤛U^Q^taiOm7e (~Q*)bpj P/`½04B(C]D?1:*v۪H=r%(=oU|,_=^S}i]Di>LU1$~ZsKۭVcZt隽"gJ"/όN4 ?rF Y KM* cM˂t=q#Fi%&UUjQn[ft41t˭G`_Hc:sqXA 'Q_OXc4ǼϝJ!{.RXܑPf!jdM)m&Z&V8pu=d}uR2b1 O`DyIq+Kf$j>r>̋ "' (i{fIxoe, ip_ЅХZ)tGYg7# sAպpۏ&>'Pe_o<@ZDUR9?z"=Y} 8u>zd kxօPAS gKDۜLz;BjYv^nU OzxOvt䬩(v; d&/P'g7~gFy zEy[oRm V|u~wq/8i ߘcl#j̊~ق,!Dǥ>ryl\{ok5+^mmF+aHD )g$Z HI^TY{ho!U"cv&@Ѱ}T =KU_܉ecX*2쏗dVYX;p} ] JgʩǏPGTZ{'u_<%gOy¢B̩ĭ`(nC_?q2&N0ڗGgM61񭟓WEQU÷X AsBl"g[;ʀ۫t66Y-$C/vC1V}t@MnpTNB"8RxA$'K1= XIQlV4єqÈ=rd)woX)la Zو)GY K2͍$$,HPl^ð0wAZgYZ11baea287406aaa16ab204a9e81d42a042def4aa76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 71e5beeb8f5af9f9767829e5e97a177e2fb327d6 cc02c8e5740488ca29ef97a9c679aa176647b950 75b79d24f01f8d7c497f083ef664c5768760a36a 0b489a99edd4ca6af57c7ed7bbbbe5afcd862b23 5dc88d6565a8a427656c74a76fbb4a2f1a3280f13a7ab29a6dbb5ae1400ef4d8ca19c902d89c0ade