SQLite format 3@ .;  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;< ] Differential_Game_Logic:threads=4elapsed=94.346cpu=161.608gc=4.732factor=1.717zXZִF! u]ŗXiɟH)0%o1'ٴN~ ޼<a1A0sdB ^~PƿX6T>3=% Aw~[HoTUM'N$co1I P~Uh& ytqu_wb< 21aV`f zx4ˊPˍ3#JAΕ`[T]O:ߛ؋s;qsI:uILSQ]z;tv 3FѤݣ=]tܐjnyky.`얟0My+CEviЖpFC]y ssUzcw(1Ԏ=Ӗ#B;}8Ku۷F(MݬA\) A`VC\WYhۙ CPC ɣy9h[Ws'T>E_Ž HSP7ƮZ Wj{̇@9AӨ= ߼LgP}ml8Z{x{ R;ӿ%" NEh 8.$^*BǙY.~v|A>٨N&Tjla.*@Rf}2-a[ ;{ỵE3KRaDΠ`GEjyf*3[KSlwBx|hOy!)#8LN$vO/TU%!^lSW/w#̍x'\i Np>5t[Bq,4j y}#)?a7xIbuC MoD>$8" \;HM3b( E4?)vӎ1c]Fg+b(/^B\(`J'ӚT?drgOm2q>G B/cy] r(d,fi1~ޱv~3ޔHx&#^W,Azp)2Ac_,]Oq6f`ǿ)]eWEѧ>Wt?6@"Jp3N !?(1em:d\^Q$YxDS.=PzD)= i$h.y);s1 ` ׉#Iq)hRg WD] ۡ LqE]%PݪID&k.YR %,&<ȁ窖g-GWiCK{2Sqw,l Lj/'g, MI\5AlQYS\aF}ťr$MP5bwP o"kɐb׎[dcOZ|"~&*ցWՉ#'@]]q) ^?$Ȼ,bO,35LoOP~c .obkEu [!gLևmrߥOjJK%ʫ%>j,={n;ne4 vWn AϢ/;04wpN ]G$s#FOhJIq8Iz~Nk9n(#J>,I`؏z̟'.esS:Z1)Y~& jRJ I\O䲘t*Fow 9r&]N](% }WVmQ sU|Kt$*oCcZ鎓*QUV;Zp.Qq顷ȡ;!$Z/hNcۣ[X+|.M'm4Zol v"f-G{d"{=iuz$FfWfNP4J®Ubjmn:\\:c:foA?&XD.5/=M`u4 3W!\שi"&d+ik^jR8&;yy#pWg3R>ge-^0F+6 [>H`ڡ! *o7‡7Զ 9:`|, y>GU<[y2@ςNA[tWv `aG;`w!?R؋CnoTFhdh_D#!vL.Y}Sg Y1y;LA2DڜCLKH??3L}҉@k"wPU.# ǩ K JyPH. L \jՎf9" XMrTxw0{Ή>3<)n4`k_^} 'KmOI3H;-]~ܴ IblW pܠB\M iqL(ש O&pGSLT>ue.f%v.c)TX;Kl/bW *W̒t =,+ QCJ:[OR:dM$:]svO̝߷̓>[7hCэ2'D'd#rAs~ij.ucI{k&.WD(Jp P\$؁=%au d+ gzWLӈ9)N5Fx͙a]0 p2X4XlWE,mF: zcBbD[cp1jXzFKS 苀(0TWFu3@ b~=*mMٚR5OxID#HO9oƊbN_[et<@c/4ӯ !+kڍd _f{y8y,ԔBZ/ 4摎8[̚P|^[k+(#c8-nnm%y W&KkEvD[us_v­'E*v8싺.OK8Sq2رZ)G r/%% YȰ&5%k)g)x4}:9Y+r=}Bspg=jOc !7 )I(/ܼ~\V/s_ R!#F`96mEsrI^JyՏqϑqrRmp("dyu4`0IO Ds5sMQinp"-Q$YǠkmz8 V]{prH}Y.,v}ڊ=D;[^CgZր!0vW]XͯFM '9>@"jYN>ľ5opЁxhAX" ^`;Rk  hN3YNzlFL%GP{t^gI'y-9d8oBo4`#6cTW6SwKm@4-h]. &{:q#7l%6RLnࠃmg|FrI`|+2F}@"yRQC@?mV'KST#F.3n zxJgzH'P+4R{;fr,g "Tv!,YSvuvb]]sv_u81?‘z '͘濓8q?}j 9,aXzu?;Y|XB Ix }8Ut qO%f;2LNywˢH9%x٥6qĀ\ qcB͐aM"+|E:d;Ε+jcz4G+h]vU1%/{t.z|Gĵ9adcC~̙/2xt3M*?N^[!UY ~OLS 8- WF~p?[&G-?;~DJZķzS1?/IE_ers ?G[s WUk餡'S2NϏf%=&tr?C1&7͝ 7ЙвYuNͦ}gOC0x43$#j9ۭ)5TlJʑėn,-Lg21wf_6/m<,v}(& uP"Z?k|L'!6E@&?52P;Xc*_BȞxoL:4ެ#;c=v֯#NEڒktCu3Ĝ`{Kdn+|6T#6Q f/ "EbQopֶ }MH2SohB ].i 6uʧpKKC߫[ݨ,xT6:GF;7D>yn$DyON,lHeDx'ĨTyā=ӎ4&a_`sy%ne^>MFaBZQc#{**XMLk~vRČDS-Ҙ]fbEhźIXs `X^H?f kLjޅN) %5bv:W Du$R)]?LZtJjTRXݝ?xw|7ZJy&2f|DyDt9Py3*ժ鴋,ʏEfѻۅ?l78is=PZ\Ḓ2R:2 "K~uʷgZd>ưx}*mOS+ r؃Fێ{+?wWa=L.$V r SH.2**aWcR*HP,}F^LUV? !\&)Rhj˓l7nxMFͿGD<3'cb{k $etjO޷u^݁SVVo-Ʒ !@v,5ܾ3).ֲuDjCMxzH{gwlXVƲIow]TՎ̙-PЇ٘9Jq6XX4UHg FNx>T8U~G_ϾP@ۺ 9F }_k2YQt7Gy,u*:XaȠ)En=X/2{AUMDؿU64n[._KY@zgog/C Z1](juY[? Pq.ҀPG;|{ җxO}K% N)yob\tkŲ&h<.G9p猘i *!wBZmsasBZ,LHK|oA0Ig_2 JN^! S|oƖ4<]9 $Ճ*iDȢya%ВU1=nh1RhDj47J|1t8PC8kJB|-ZOKP6pq EAFY;CaW@Tyq` $:UT-T@s9@hHQ҉0} =nA2 7W$Ѕhl\56tt8 kj,Yg8$ҵ/T=N&Qp'țB4cz<40l`{qJ4q֕qP͒V0Qld ֹze P{9U΋Z?(Cyv Og/< 0XO=3 Z ZE%"|Īh2Z)r6[kIA45?ykZ8%ډ>9Tr0e}D|#7LSc&ȿ# [٪CEPL!:~W.${Єχ[F,0b޾{lv4(E<[{`$a(a'%\B@' %SH A:-6,t׼]4*Δ=[BBH|~}IcD/P}'bs#X/pۉĎABK4% 3I[ WB[e@wW1|(~brԝЦC#"l,9Eos'ya]hPѧçvmIRdño mW!/5|a gDV Qڪpt^+٦1߾cFnE0~ż:+Q@mщ2 &h\i_.D!~,XUtߜ!ڱtVX; P6 9*2- 3,"-sm4wxQ<=k\33GzŠBJWk)M R'yq $'ɇԐe@ yʎD @ſ'xQ%VZgIEQek;1NyʶJ(u6 m'0Xе Z +RC% (wt,QPIX[h?pZ>)Q!20A,8MٛDs亂@ :NWEY$\_DžPjpAGhE(gLMh%:d䜫(L=;2Kf{ewjG<:H5T1%mÅǧؕ>j \ErzE.;J,=shk~ZʚOϰwkEAh&eۥo aTO[Ӯ)7wq*A!pz 1y'53]XV.7$PQ_ Vj >̑b YgF]:6~,1 Lfޗ9o@ cZ 0ɍh $[7$ISx-7v1av%J,`{`Iz{Y#*6j=ME&QKx&B@bp~k'ip$j6ӬŢ>9C^4S܅kyWncX콃?Q 3lFqg\r]EYrxU^b'jh;A0>I Wy/k_%z9bB33FsQp"&ʽ!g2ߒr g㑯65$$5#גكK9oՕCj17;Ivĵɕ gJXt$%Qy֧xJCR'F*-wIF^ V7\iJśf6nU;zĞv\cEq+V&/=\eISDP$DC@K(qwQn^,JnZ GzNHYLS !#КC{ {d㘢"(B=VWM"S|ĔrAL{#2N<0GR O$T*C7wdo{Z?;<iD!K!`HChrK(lF#G,ʑw׾]Rpot%: Nh59-JGXA=d4%crh*zDĘ`Li8ˆCe}΃rrt7֦ClIߪ: N=~Eq>OI p-zـeejնOo2}S2 qrUgrХl_m?QGn&JQҹ),by`޿U@SOpN9 [d &ㅡicֳK.*+u^2 c϶iy AWnC _\v5QH V7/fOnYN}Ӑ#kUVR4%\@##>&MO jn*TǣBE"2a0'av5hY t R_rsBM/m\_!<8jvC6&3ϠZ (ni! o)8hDLa[$Vü<1 rLDP /sp4LAXp#j`aB9r*x\M30X,P hYFAqL[)fMBe0޻j=KVrK -kf{N/6?Uh$wylUo SZȄ zĈIc"vJkV#_I':^v7> 08#jol4دź=X6OivRް̙i~,\%,iGI8\ǚzz~l Vp8N f׾g ':|1¬[,k59: ɩo `bHPu$@J戃#OxvuHU4& T}\$*2tU BǎFQ >EP&/ 2jA%:l 秹KY=!f&grlI;űܣJg{c}>">%|WQ蟘;Dw H`Iaz  m#AfZrM#?oy\Ǒ0cρzEȵ:Fj{)7!$[xKe|{GZ%HB|,1Zg~e y\XOgD6)>iEb[(454blČ ƴ$5ZD|pM˪c+vudL.(Rc"R#\,Wl/2H^Pw q%ʱ}$ҿOQ$A Be`bH Bev .P>EjM* oI0#410~eL|#l#02%SZTXm׺fX'0-QH~-I #_a cIv2TtO'†vH2C:EKw}FVgajl /SDP:va)^-3sW9TO}դI _}3W"| 9SV< ;O2]Y`QΙO%2g:,ܙK\!kHhP{~> e ֤,B׿S607O \ p/k>.땱?hz# fB2i=zO K'qhD,ׄ(JYdwߒ 5v\sVc_i5I Aa ͓#יGO)h8R("9IxlAOf@F|RT#s-)(Io s+pvJ0 R̜Q`}Cn|٧kׇXvGM^~*$a-O#9"/|4@dTǮU,s:puIܫ3TLT6mqQgϻSũp .Q ev"V\@^,M nk"ID|x,=PvֶF{M,$(Tĸ%w+jrepimǓu$+p|zy-u 1I0 ɿXYWc&[ذJ^ud5A%A  PA-FӲ8f&gGG9b 7buDAXT2ϐ||LF nR/TJT;wǿaR=iq"r] 6Sh#LfO' 9w*CdžuFbBpQ SwJ,hpJb,?UіPC̒x|2{-0d gWD6lU^ Bq8uꡒpCks7R;< {w|rPִl3쁬Tf9 Gad;LFvz#0ٌq^@pXQ ˤ^`t1bPYe]L \zғFi;݌[d@-JYlP([͟iIaFÊNwOd9X.wJ4Tŵn?kdR a:ҞwC?-7ubMȇ>;j%$z!b1]i,ud;i=K8X\ԟa |.ۦYP/ LB&w E:jH  q O !I:|s$Pt$abO5<\wjIj:S!r~UWn+WV,tH2L, tW֞ꖙIz|lިaelia @:Z;" ] %$A3ڤ[>0}m@|r>V| [^H¿Tߗv4u؛3]Qeq XV% i(cICZr8^̿`F7qU_J4/ #f i﬿WcO'%ֳ#nշ18ҙƆzJ ]RZBW8Y5 ֺ0dbTJK]TaQc0h)-Ɯ SB7r`"|_6e03i"_ lb3Oˀ$D`_Z$7(kCXepMB&R n"}a8'O{§$ ]O;2Uu 1߫5iRo"Ѹ(hQEf} .*j'ϤipƚNHB1;CD$H*fY;"gh-hJ9آLs{A]`ذ@]ۘBe=-suCDߩb_>Oۜq~7+DT`DI:0oK(FS^ d!o< 3w@g?fSo;%uGp|AW5Ɋ7s1(e[ǚP9#8ڽݎיkh?<>r;d:)43|wqSFC9#ѿ=\{rVy~gJ:C*m-@%jek/&ĈQ=N~Z,;b__+aDY!(<'+]!i^`͊[|}?Z5$˵]J$6 T2\NoK`xq)K *P,te/遴"[tUOx{8'`Rdm@~"`&lfLrp*Vl#{˼dV Rې'WCM2kLc`?m^_; .QNyL j#KDpE[("3/\MӪ:Y>l]M57Q;쑠[X0N~[.Mg:υy 4e=Go>1 Ʌump]6dז.\ME}35S` uL$I][XuSLo3I8kvK$ڃ.2SX[ɔjV(RS-?# `..}{N/΃ɟb3\ѥCeJǾC\\Kwo,:!CuYXA+v澹\ds^Kfp-Қߛ.K2-aB u0M+/[=uoߒKO8u]!Aw&ru8E{|b7 8;-O0z}_yN_7.D"DulUږE9H _yX%zkkA򦔇P߮q;zcCi1 W\BuSBY1͔p0E(EBsN D \#ĩ ?(RrzA Iwt G!>?!@鵻 V*^Q'x^ǐ-ʿhf~ϿY2{.&bp\ V~C\ 1ݠzt:%YNNz-ʳ`kˏƯʐ]2g#TlR4fB>kl r JbC.?HzUHArrFv#8M2XonI//m`v}}l1f8r}M{yW_yY,T[=zъCV]&VKO>{NTJ cfec : uLH"]y;`IVX?u>I͹_8^'YHCh#:}BkMNcf !BXm]0sbe"v*K0Y|շܿՍC'TqH:$gIJ W)9gK{Yk_Zj Ewz33o\p #Mh 3*U]$x"3o\Tn1#|[~b3E%W";R私$y@׿qDֽ~"۠"z^Wu9*qzɒ]+4:38(B\W'+y#ِOyMұߊ2R4m8P}D.z%h8 y6[&JC"$Tf^XVIUM=]hz iLwQoөSJ&uSVmZ-lr+jBkg~}|Bf0nwqb^>PWz{;)-Eh 2dtIv¿NSH귔&Ѩ!IORղHi,}y@xLa?]{8 onMR##1}η1Mr 1r;E]`~eۻw#O+ suijNc.%[1wҢEx-o]zdqIkRqV`gMBhoETbiS:%nG|բ}9ohNN9N8cߍ OX:iHR&*J̪XCݙϪ6K0u6j(=34p⍺$$ N mïR75+6 &KnֵD2KωCc$$j3Q$M;X$\/r'(h۾aOLMLk贔VZEk0;1O`YSe] Ï-\e._۽Q">å{{^2Kq{c8)w̬ |NE,o=nȸhWR;Oq `z{;|ߕ?i?u|snyN_:|N5`eG֗6%,K $vnR|GƳ4ɧ[?ܠc*LסRXį0qFWꢖ{8)U0-'\\XP*}W&m,"f?hʻM7NJ 4fPNWb,S GmL|:ι&NSB/ iŝw:>WCɋy>?LYPR@j5M ?kBEc3-䂚)VkI5S +{I^_LQb YKPI6BYxQ"UuA w:[ NBZ2D8H78$ =jjvH ]dh*X!d̍#j㬩0R?]D[8 Z'plxOr0N]E HyUl6$dFh:O@w\U)+S0uq_YNwG4j-y:#"r0rC#%FBOh7eqXLM K`Vwz &/2,6XgMxuIQʯqKp$X@C/`f2g^Ѧw @gJ`M:4S uX5R#zIe'z L캋|~c4MpL,!<«D+\ꀬwY3;Ck>R0QžpX !!" W<=,ƻh}<eZ,_,)|O-w;Ws ^v_(y]׋,y_UI>@3x՚#y%xL@ 7ׯ5~TVX{к5a o +do5@yҜ+ĪEM˩ߞA]lثÀ6 Cv& JBm N@nU+ue+0]+Fux uJlcx* mttYvi꼝>װ!3­4vzVb2>ˎY3>m ,^JOc=f*Gtc׭}ȯ/A=ME˳:+a)Ѳ,檆*^vpGS$=?=c?,9H1"hԅi@=ᑫ5!9$k+2j UPnQvjEڽ .Eb1 ]2LA[7.Y8'I*gm kimmFUX(eysvp ؿ 6b!{4Yǿpmbq\){5dvd=-9_Kڻއ(aelVA?hdV L~'Yr'yF*si\R"9YP@kX* Rᶫq23)Ƴp_, By =Ao5*|E^HdڀԸ\IAfvOJ9(\MѼqCjʹYJFZ?ee R{f3>kb:jw@ODD&}w+k֣DvDۨA 3E]GH}q;ޡuǸI`{b#)6NIPoO.A&% ꅵ)-҅PXj vg"_uaxgǰs!סc;erSsS}Y~ult2 by{ [92fg]_is*G&حM h?_߫Ц:H,r[ǂ&^#i~ !060|K͕?k-xlr|8ĉ9~W~ך3 ;x**פÐ/#iVX+oE[]>X`Ks^=[eeuv 2K>2Z p_kSqX{cpq\E=}EqE〗WwY^ֽEb_v'}`8ӐˏxQ6]59H8=(2^+vB)+kamܘWn쪮/dxwʒM]QM IXR\wgױ7Y^X+&sCŗ$7I6 5' |M_os=~a ^9/2Κ.|:J  j穩ȽY EZ-ɵ.Vε=p'!ң {k{۝X[[\qo X+'A<+J0_'\Loo&MMVO'Q0=?:\1+q+|2gbWg8^?I];S-2 UP6\@фowh"3dn `i5l#c}cQzc ~&D KMh9D<HGv9Ġ#m` a,7\cȱcq8W*lFMd4qo(s"_JܕO\9B=Y0-Z'&3Ҧ^pfĪPz@t Pc:#_p3 VB,1z`>]M_׍Pqe-^: }l@>ƎXWs3k.]~Cm3|c n҇ @  Y/p -܊I}$Qc ECo CBqxvCv\D-v}1k~Wǡ&2ȣbCq$zt9Yp/e[2e;l\$d !u%ә\mHN۷l5ZA!#^㠋.%gkʲ}j5ě>*H'EXw pl̃y,,Fr< ) d2 P׃'8kcP8F{TH͢-&r.c0Z*AۢC9(\9gL-Al42!17" qpv7=CnbYTRGɢ9Cᅫ?P$ݩ K1ʹ[&ȓ<(pvK,bl~tܕ4+nma]F)JdZUr9ʐp50CUK&Y]Ŕ֒GtMhMnyG}ӜtfaT؄ 7ϔO^8ʰ;8r@A BgnPrsgIYhJp]Esy&٣{NDa<(j0ȥŧlZF^idGlGU`X]B8Le_WݝDW_^m8Y#Шw%@hn> ~vtw/|ջ~q ;?GIWZ.׬Qe['?lٞĠ}?"71XFr0gTQl{1x.38,+9n4kkeQVwfv,'pJg!: |2P FpO7nkU[p-zl?UPHW ~jЫȳѳ]'\$t5''vSb%R|+`l7. gAQKRC=}QH-pBU6Dr/v_vl7hJD`4mdPޘpjAL|}l @̡ȪjcUo6cT7~ YɪkTezݫ|"_|ӿC H>)D;!¹q}@%5:HdrŴj;1g/#EI-9+V bCМB[XA]r,o1\0dy y8E*ij&g9h}{~!mA%v#J<+?23k~}V6iAvKuI®|Rv2ClP%[ D'/gӌ\kM"(6өwH)B6XȤpsTEm:y%朶40ATU |KHϸ%Qk.y>~'#Jxuߥ+/:ZKUTOv3LJ eCMM\0գKճ{}z=JV#IBfGc oQqu*Y.M)kŘX0u p?BW>}#7Ma -)ո?jP$SVF3 ?qpl~Pta/tDIaqh(ڵ&l@ i(\Am?x 0_zgh5B:RSynK>I, z傶 kKhqO9a 4`wf9+af6j8@Y+j)qѱ+맪jMdЂ~rME"/'@ ƑqX8h;E݉a:-e1577u}k)_z 0p$҇d oM!kI8JNDZͅNf(Y>Z)|3OXv 6B :] A"F( y)} 淯$fVJTNtu+!4,wm4=t|5&L&ZXu0SEʍ%@]K<]k@=R:xX/m$J\/Ae_(ƫZ [,,-`Ez~6a7:EȹcM)=I&ƽGf%2 *ѶxdCJIZ4[G 3PP9%/*Ly5[ad=ޛKO8_s-jzB9Kzɴ}'QT,;wBdѫFAe0M}l߉e?%{Rӓ:` !+Q23~^3TɛN֜"~á'?K.|JU< "ЏQP29aR\zQgdɫ2gn+Uvy$bX񝮻Ll*R r#J,P1-%$0T lwmAKS |K3,@pa*SoC/.Pr85^֌`"Ոpp덐깨 uj^)Mf$kI)Ds46fNB9MƑ~N\</+rXCIhG3:zIm;z3 660滤[X55mXf®R)w%6bx1puiVV(e~10q5cy_ŀG &oBv /xhޫ W6SⶢN"z?dT է27'hْT`gN* ?$GLӍPZ+}֎i]z8H1X_z2%~332!ol1Q5Fᔷ:i%4'O0I<:8Mĕܮ): Tns9C޹n4gfh7v*+r1%BTۨx`\Ú{֩x.4Ugh.jX<'>.S!/;&Fkk@ oo#UR*{?B} 7;)ڿ2|ֆf}LyD2ػy>\a I\-ɢ*aY5`}΃4WއKX0}(R UFݧfbt& NsR3?e,; p [X܃SvUz Zh@Aجp`wj:%APC`"E+Cfr"|th]i}pWOzDp[gID g>M×Jo#թCm( ӶyNuU?[ۦ2`Ŷ|+MJk9Qc=juSN}YȊcka@5S6.at>؟g1ՙ^۝<αx|"y\废f| % e?B_uu}^xn_%pJ&dؾ]Wi\ladjGMj; 3î4E6}_{dxrou 㫖3Uce:` =H vu< e!/m̳-7n\9_[S0nh$2ů2Fdԋe8ܟ@DPGtlrGf|u̪#$G'\L[Zs2}Y"ZOXm|5u G*"U-1t&剢2Wq*Nڸc/#b|ܫ.3b1ݐ^'ʠdKda+%Zcm zSWl݋|3Fl"'߹w@YIF}:5gJ%]Q"`<412JQAs63\4F)`Dr̅1 !7!#窎 mLMo"42tdvp'_ Y:WGx80I.y8&7|R&z{pu4c՞ɀ# `p:vQOf(e CYH1q;yjvPlNibSSY5llp߳l|c4zI/ǐMgK5k[eCymvbR95D0nŚ)AhRtNyo1ܱs@/=;d@+YL.E^ԷpzYlCy p,@5dOa :(췬9˘OkB8vߝ ,[d $q6x ~x;qpY%^DS>tU7:xx͌W#yEKF W e)&lm4Mat;) p*@#P7brYSsYNZIc-_v4454L\_~2R~EĄa}ZF(Bژq/Z5NcKNvVVLcE0:uHIѱ <x)FM6>xb;{RpukOYTбmayd)gD닻Wx๊r ʗz66Q(vҷ[PBIŧr@15v\tY"Ty niubjN#-%r1 *=>IZWKIqٴv:wNݰ'Atq}i_j|'#NZ6|l cuā~u]Rp^1*3 Āeܽ 'mVj/L՝kecwO90 HP'})Hm^|x9ӁT#R齥̱Xb`}mv0E PEj-꣛)w5iF-Eؤ5h<|Ƒ%A'>yM^G:b1D `4s%Y 2ưLZI>u@)*';k_ĵؽG![Dݻ 1i/rgeD޵=~_?s-? =a+Q꛾@{qmo>{0w>hJ=0)zvk;CstK>6#,h$*(Gi KL v]U_77&YC5x=(kZ]}M[סBTH,גyaZk)T֔@G#$nVa=Op;OV!"|gXЎ.f5WxMxǠigzk[`cs_̻ê m/$9t}PhcH;;rM~̂.}?>܆e e%d0LDDF>uID@+8y`í(Mn;]I!S!1mku:o! Z[Nѫ-ziv$ڵ*9c; g.:EUSX[V0tILKͦ4Y,!B#f=`%je:ؔW $i{Ҕ"o4a8dCPl49MDԎ8G0'*u6c-Dn1^G-ԏs*1"Ƅ1"f{ >a<-Pɞpm-_*%JR,-ћڮac8ZƠӄ"BϏx2QeU?1:†e:/g/:YǍMm4x{aONʣjO?W9!lrʟՀЯ(`=t\nvԪ8OtC)WK`'iX_?8zQ^#\l c\ǼY4pNQlU|Wx䲞;"ժi™뿸S-*>:Akk~BXmmfIR"1t;T[TÃ8ˮ$T#ݍ3jW/}%%{uCrd, T;./rؠñ`X>J;X ܔG}&prQJm4ZtU BN2d#x(d}7>QYַI LA^ qI˺H4BEm0Զe-D'+@݀m%yιx%{0RX]=|n[3nED1J@mDp4WRQZr{*k<Ͽ`cyx0qҪ.-Կ//\e ep5h#Sw )K9(i`oA=lDg֫^u>B 0.# _"\oC:*!}֒VjX6DJ?-Sm8xhyQ K?.\O."EU~;"XXYRӱHwёUJ!`PA1ϓ0vK`t&/-S-=meICBIT/ANǼs a)\igiA9= OvK9FPj S"oeAśBTz+y~'DэYa<-#AKl8(Uyfgh8wGcSI&栢Α\: vtj ~c v&--a6S7E$Mrht?{[oWw$8o5i+W){/g"f'\6(of1yْ U샦aBA]F,OS3Nx`%6SQu$2vc a4l23Ԓ ,R4ֲܸªm"+Q LD\WjH)=Yq8%`bZ%w;$Ig('aTAqIj.D [\Qim>\*{'G&y9RgA{cH7_db}1ᬶ:S؉X{E_gYZ7zXZִF! n]ŗXiɟj%r7OA *Ձ?sބ49)C֎6UQ"mK8(oc/P4>N˻A,dM2'06 >WRXac8E~ÎX%1dU!'rY\IZ_ND@ .]Yr~@}z5YT3`E}!pޅUKml9(ގMXJ"J*AL } )[7(~鋓dU;Fl̖<}qVe*L'oH-{.Z(W)Kd8?၎4`6OߓQ/b cITH"|M;Z޵[Gux`ssnǑ|oq$>uc&{=b=O'T0.' w|R'KWuSeWnUzl m7,D]\Vwk;>Nj!ĹnOnz&H^YY:H`ꤻOwI`"q?PB)*f/IJNq"{ 1Og z~ƽ`)uW8L^g8ԮicҤVR3R 5"1(E@@ lV.6$d65 :# _#)PG0ҵ;L' ,^d*|Dyb S5:e0'3\QNlT 'S2'88#&y)VEnզw[ͰpqAD\N"pnEev%e@@xAZl@6̓V2&J hyU8h_88u25[RӘ׊(|3 b[%1PēH%oTKxx0O31HRރ? u/kh=W*"嗠HjCnNeI]!,j`gSPd*n_sQ4(?6o֓^@i&/7&] }hWcC|9)sע JGn+mq#yCwq<[ #jŬnpIcnü ہ+oibQu6= ϒM \jXJm`,P8MvÃK64v." ԮvhiãMˀC_aZ3 '/n)%&r?ITf,$ZwLblOŝp]g-o #Ze#@0n7^Z A'xsSsGJӨ>TP8^O]8&`ZǦjIiȅ_g"Al\КKYYջё./\gtڐߜD{Ӎ;*ࠎ ;)MGJ.ʄ8N,kPUK&y%rbٝIfu ޛfDrKZP߬''K\.gyqKa}hr={1v&BBecb%nllMrߵSxHo_,v/"nфya[#k U(_"ˌr])J*&?=>Fx\ĵ9#tΫ7lMgWC"3{^} 4yR-|k,tw?E(L [tEHr27P[OUj24mJ~k*^H  eHM}!gDFPb9yo/*KB<#:R6mӻVĄVk2B{#A|_]rKv0.iא fwaT%w0# 2lBel):цm]쌃T:ӯ8m|b=G/Z>jY8I'6vW;T/[K&3FHM͎VD%LY(gg MPT4G5Gss5"uC`[?K%%ƭI%0VA4 $1RN vvvyw'ٿro,g]fKA[G1rXg)6>( #f/Nfw60-1֓2Ѷp;2bLEjdwCx7ۈt]NE|,òOۗjmA<}Xi=*x)@u%i/@;8H;_Ocg%5] ]9(&}y"}USXl^C@x-7/.ѸOyS8jo$L_/d _d V'"r0آ5hO ;_LEg*3PԵwǺ=he0:XtU c #QZg) «WGJts1MҲ c^ciut#8S[+wbؐ#L仾>ZmLԔ9f~¡#B id2aRsHB*k= ZzblyI9mMNIbcԗ׌1( 5G9sIp5lEubZ/LNYOt <7ܦ{~W7:n+5σ 7UIP H_b~?h{Nx-5D@ZN;%{ex8rNp1μvp ."ytBCVkWlą]C#(:>E\Wq-ϢThb7 ̃ 0lӏ"M;wCT lX?H&w2Ru"zwkYؓQI<88>Y`'Ap^t$b\TR ^Mzq*\9WhtʃfvF wҦ#wlĠZv\VT'ny?4zfb1^>4/{˥o裼yENGIO܀Fw@9#e8@dOaݼ?V>`*"8#CᒍBR-@s0V~p;+֮2MZ r VdH8hq̡%IUǴo ]]9#.}{lnx' DM;WYp?3\i&E2=x.H)5P& \pj{T |6}I?O$1k-v _#, ۖ]Rj6/1 'APfðQsz6L@.~ M\|4o{j6peu{=h+{Z-ZtsSYV\]ӫrMzܒD10[ JˋO=Jה2JKc'>،7uH,d(jWyHe YͪҁV:KŪ8m=.Bvp(„/!^!ukYno? fil[ 0CZO ?ni w?CI0hQk* (=.!teb$xf\H#"%+?$iWd^zըcb|`)F;xG`..28֝Qy?aIE!ƨo/X9]VZ7& 4kVD62_egRrOC: ۤ9& <ԽCq"D׌F QsָsG4lq}kOR{Lj6bS;!k~(mLX0{o9ʰAsl1uΕi}ЃxVBlPg,cDv,a8|)"=ZGʫ+o` $S%/%%pM  g=0>U| ,+ h"c͆!9-p$QH*#*)л:G YxŒjJkދ)gdNˀT7`,8jTg[qXƊP5*Kq`N -@If T~jim*:Y(220z5?Bwi?' M$qa;~XD 3,OpDn`|A #Ho=~CjȽ1SLu7iHCd 8'֓A 5aVЗHH&dg'G PAL>{0xڭn>̉/&ݹft5,B\[q>:el :x7&箞Ӊ*E6ΞINf~Y-lCت^x[jM Z*-+YC?xJ"ӓj#d8 'Y}+htQ Us `kƂo@ ,o )Z6LT&|*9v>؉eԐ@**h/ߟ-mLI4P:D1gYZ31efc8dcb7a0f53489ba2303a195c86e12635d208215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 b863ecb450f7e2f4075efd6e1207bae8c6ac257b