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  | |\+v, ]S]Sturm_Sequences:threads=4elapsed=32.724cpu=110.008gc=1.7647zXZִF! Zv]ŗXiɟH)0%oT7[%n9Tʳ;{ ")UF;v}o_a7Pf:wt1/1gA -~NL.X|NhG66gRE~Pk%\`&kW}DQ&I?h{Idq(пSY$CL`u?"\^S-mr)AHsmI[YJZ䕷4M2 /{'K!)ȶkE&D)ʌVIǕ`\W}<[ gxtZO@3̎]>U@:Hd'նs/y-HrWz07،{sziy͙uL1o =1m#N5db^ɤ}r + Sturm_Sequences  71x>pSٻf2DhroJ=mB#BmeE8՗p#f0R;5', $Cpꁝ3X~ qBw꼽Z1TO)"!vd?6=љ$FugVij/'sƴHai*gVc6˖qSĵgW4V51xsiAi?T-.cNz ۪ssįܿM3 e J2{S @;+#<3+73w})v#sƧ sY,SWk£==7,WRTz=T03`&4 8yMiO{"}jb%ɸd;! m:eMz9h|B 1VxWI)~ʢ&@$[J.?RERz~2͍)plq[t9HrMs۝H78pS`Q4yiKD:C%mRI2U/I@i6`f2ʷg\݃N"3g΁ܚ]fbi?R2bWZ.4ֻ}d6)suo_jSʣʯGQr~>!&ϱv+߽^^pNb,7 KD`G61i˗>3V7͜I:yWoc bzxDMv1KF*ًo &[7\^6֓Ty}'sows/iNr?R:!JyX xĮ.D+ ;+;`涋'}",F"2 @> 0E{j/1SgRE],%|ODpJ-#/Vmcj}2.;#u& Ħ}# T̀=[IBMo0]Ė|a짉_%mJOtv25Ŕ6EgΠon?](6l[V\f04~|sd愘 \浻 qYGk4E6PJ`YK_J8f+Jρ΢aÅ _uxӺax"FK`[Gm'o@ZhTA YA$bUϿ]K!DD8{<` w4%LgN^qehȹoE3;ߣ9& \b\z-L 9P/mJ,& U+hL5z  U4r_ @.! 3 j_EFƀLPJ3.|:X=&<$_Ic+eT{:>kɤ fݴ.84Mz|D}r&H{kbS._'+:~Ys {9ӌ4EuO!^.K}eJ:\_L;?0} 2Mh{y>btBh,͝K[|M :⏿= ^*[vqD`Bl-4%($d=UR:9RMĨ/>g.uvr̋&6O^ j+[&װOA߰8 =:2l g^5lkr,|XRz>o?4o㼿4cDw@ _3 f We/JcJA|Ab233 szV Y x@ᝏ&b2FI˂<,〪 &5yȨͰ$̣o&XI)V@z<$IUFU:N' 9Ou 4-,BIrjW2a<fдԮu5T^O gưn`un\>0%-{uDT7UѝCO2=F8*h6anɡߊ$˻~7sq^dˇJUC=sӔ|Pt+z5S53yՊe:qKm~1(@} P#!@`6\ҒI,E 2?Q!$?W0=`(Ur)!  ^H]٫t87J75& 8=>Bi%P?NGT<]fO1J8OI?t^蝘%x䒓4!j̛ .ڀ/v7!4!!^گRz Zn&@8\4Ӝ )(fQ+n O `0,ELf/vkP]Fa,v]nOE5\W nc:- H Xy%d rm d YE1)kv8>т+/SM3M',Il*yHI}Y9Umo>)bi9B %.Lw *C{4FeMGZG%S5?S(V); Su"5kE\- AT!BgM1+>΃tw6k~&xiHn\-HXxRVFTbI+)CY`BW/=s=bN^h'$tïtlc+uŪ@gY3 451SjS} -[Z(:,šZ>̈́ zb\9ڠn7`p/-i-_L Q0Zu?RуuRj;OO~vs ;/9T@'AȢcO0\Qx)iڌeAf_0ޛvb r{/RpKBzF}M 5-C3.,1 ^:=nIh?` 菲*ysdQ&@=/dς_+j^E`H=20fR-CiRtI*?W$CK&WA pbl672Mv")j X5VE@ hyNsu`_;7ϳ7T\+/MZtpa7I3Tbb˭( BQu6bVcRNC]a_mhh5:MG )fNރK1]4.ǜmDh'*U/B3SUst3yBي'rMvdNQfn\eh c\!Zn+x,Z AoO=|2ݕ_g+|3BU̴Y.9^a L晀 ׏} "\=ʄxy坌BHGK "w.؋K+ȨBv3p4jQc vLTHI=$oFog|c 6Bl hB>e@z,cnX\~rBi}AY|Sx%@bjU2r6?p]!NGb X]xL$`ѯZ_Ɖ%ZpBY=!j))^{3v3+m/"Jgs$Г p)1M,7~䶫F@xxV-ېk:kKq |tϑpm`86(SYw_EuȈ:u'Wia>8V{Z@%&ֵ\5?%r2K tsO!@tmns1C]+ZP flXG"!e56+*j8}NOAp€] oVR]³=FߞHh7DOt L3ga]nbd!HR!NqM`tY8*F_OFoUBhbYT!%"g K! `m: ݩbHͻJ4Ěa/2 zw+.{y?^cD\!4W>RL {,&-X)D~ & 9ί2RJ` ׯH1tn,a2p+ݮYDmΎ kq%. =6H=u6g,vh@c[&%4FH]PByߠXa;H6UnUYr ÃW6 93{{:4snruW\̞ K] ]g%(pF?It s~ݿ)XPhZB^msk)molH(F_k$࢙b e:y*/^R567Y &,^wnrf-jcY9 M^_Pdf\ݹ/p揮Q$[ﱜO=Zೊ.U"Mv{e NK}֖ =uRی9$5A8g,>ZW#0)ӑ~0xd/i>?xm|tr/ek)4GnL䡔搛Quc1_cQDY1sdF$dh¤u7)y~C6#-25}0$<ɠCQI==KRqR'Up 4>/c'K܏7\֙Bl0cDHŽ,hYeDWArWK7byp%K;\6I*?M#3%yB&Ƞ 8@q)ho&x'zį,rUcP94h&hj"B3;ЀAh"4-HeJ a![0pWd{Mcccu}T&]5YoۇRϰo|ǝnS~X W{kE_xH:ӹ_LXo\ }AVf4 : @Ymg?Pf߃ha&\pKA|Dk3#Zv@g(#:-B0(34H?" u2Qx٣gvoJCATĜ䛻R|2FQpR S@ =e3=ˀa E\i-NR=+xRm|B(rl:"zhƥi]^% WTWa:D)&. )AH6`F`?Vh& ?}V]F%:Kfs AԺ@A9hآPZƼ`)]1Ѐ&?үAx׮59ǓPHmZ}໛S~zfvl@SG>iH!U%Nj>XÓN1'Gg ytQބ5.J=' @0'PL" vndb{Pܲ{5}l̰j3o\!~rVºw!&Gޥ:Ч2&ЯSM -+mGq)ltIǥ.bp6$ܧKa~Oaa-`62H؏5*y暆B3kS5,I=+57=deoO1cL2ڽ/tXP{Mf$ךl#~*<#?8m,zȦ\:!G?c y66 z  TSW5_F lXS S*ʖMd. l"?R&Q) Y%2@P~X5[vQ\kqHJ<|uaohS%"ؓ O^V9:$) {p34P+? Y҅N}%O}z2iRp98YQ4@FIwπj *Y+Zff.v =G At`}(VG9$ =.:|c2BPˋx)PIڨ"BQP\O7oEF4iq*iR Vь`HWZص_XDA+!+W(gMOa+vB'ڇC zpA`_ehЮ~*h9RrO$(IZlM1cзr$qX^B` @@~0f*ƀئM[[9+och)<})b r>L&mR53oi@j]qM]<ٸ%qߋGD̵yDIv)[S¾@0lQ4kLქB7`5$L')<)Ow_W6Lݾu'f.Z$חs)` aODR#0;&~xUc>}'#մ.T Hp2ý)(,Q7v82*Z!৞B6먟X6R <'`B\Ġ@Jm73}"񐨒p] 3c yk'mlH"M0x%'ygMb)nh傚udz]܍g]1}e5^p\1w?5Q)'?*Y;z,AK :QLuAָ=68JgZV/wJK61|*}iWBkGnUcsݑ5 Hu}D| otL:X,{ wos\S5f{ 1^dlŔL|,բ(%%>2 ǠiPjŨМ5cmO8;e;Z(<sjbgӀf9z< ZNSs?`dԶ><F&|Tڞ 8 xp <#mqu|(nY!9=0:򭃲P*Hqp6|1"r]D5n~\Ʉ/f':;+S) kҧJp զɵn$^3؅dPL> "Tøa(zd3K[/\y;{]GKkl܅0ʜ|!)W>!3{Sc sE픣yR+VREuzL!/ V\^ZP[Rq?p@꧔\2ҏ,9*\ mhRn'E?.!G&0(XNX&Iq+\u V`hp/ QXtiQﵥyS fXhǑZZrLG>xK_Hl@;[V'5Pڸ'_xzocH"`eCu8Md[hu6LW qOf\G"nLiBLwUj4g>]l-$u +,Bcl\bqTT{=歷 dhb?Yߜ$\KfφnVO8cA u,_t019"eʄŀRmEI'Ē;IX8!+\kRtDv4}(*-(i 2!\-5F_83kngkM=_7~ ]|IQg`lU3#x9 :9-)7Jα!/*V.B.P-2&-#^O=Z/Ͻj unBW8NI- wL $wR*V PƸm媪{x6Ov(K_˦dCy&1E(y^ǧ8ҿgqHn*UK#1;GYtЕD}:e577F|^ZhX͂(6|z6| &{)N8HFohV4czs> y1YZٽ%IeMe_[ WgSw9Ƥ18d뗛eUF$4_ZOʮ.gɍ<GwȏVDށz_0x-k o0Bi LK u1ۊ4 ;6_gC0Rq 9blNZgӔS|'e5Vk/h 'VyVY8;@54aFJZM^{iP)p.Lfb˔ߚԎu^[.=bx6 }\i- ;Vx\E)Cr3ۑ> Th#<+r[9jt3y/A0:P})/ѹlEoͻD_>'5uFX^b#P'%HA y,5}^4hZؘ|$}1 ԶJ/L%o\ɇ@JjĒM.|ҐFG5hacjk1֟B,HBQO,/Z6 uO nLs$ ~EZh/4J7ޢ 8gTrk'rq3!J7r藧YWcW׷veij]'L\ d1% CB]{}~}9P2\&qIK(v h4L~1x6aO@> ׊7-7QbCV|*s_ yQ?tȩ%ybdD:K"-I_X(T"G7x[CJ_ߊFFZ}-ʟt'Jͽm3-#!{/4l, <EH;xr9CN?EV8S.D9;. cAo5j."{&w#Q3֞<'hت}~}A kO obk1[a 9VSVKP4gT>o`-j*&{F Tt~#elZ>_Y2_KXmͤ>X\!@c2[WA)R7RgVX}C M&.?)b-U`*m="-&3uC`:ਫ਼wp`ţBX_/9.29Wչ N%c4ܵ`$UN6E1Ԋ)7SKzQQ!#Y$OSmu7yn ?rs:Dyu=c %h^ 3`AW`7 lJ!R"qJ05$˯vl r|eF}/3)[U{ ltP+w+?#:_]$j9-,J^Xs2}EF W#Y8 NkeY =e 3r(孅ugG0Qig0➜h@8Wg[b?H=ÀSk7^FFD&?oڸ–mxw:=)J˝[F)˨Vm=j2 K1 ,#nq̳ DǏh~7pseQHX/uӋG۱b!O~ 25C^xQT&WjQCmG{U\֧y [fZ/6қT 6 o+S\řR4Xoޠh'@-`mCqKJKhsHo(Je Jԡj>u |h wJՙ?ydϭƛl#3؉HUaK%DR#Ҽsuy3"!rI$@W&N !E mtȆ 'T -cfwmLh`p$>dٯ(k^*FZHS<%b4 0f0`-KB;d6کRs">n`% (uݼd!PR SI倨ߓ<|UxaZ^ݪiS*,20rE/8϶܂n񹚳 9~A4-, 'xG٫חoNeJt@.ܱ u]& c;7g#aMo-'[FY=YMN@*-f06# AjS1IӢ44̿Hfk7!%ŔI _85nWeލWI,"K+$.W"#v|/rqk7_Ajgӫ%vF=M ަg"w@NɮcF2,$zWfpj Y皕Y$֖]=5mnh&מ YSeohߠy[ur9$0k ?o튒Kܝ;c]\+E B`L:_\HdQ!oh:OPMmkv;n-1A"j>KF!6(W'FgvkTo<ZH=ɤ @qs[0,<ۘxݑ[8oI2 =eXWMlSW. g`V` \ ƻfӻV}b!2ozp5 /~Q,fޒ dmT2ܬR-oOsM t|ey7O/ ̾fҹfBAυnJM$5PyK؉۠1U#|Ϟ3h@,vb3FXt2ow]2A"znżN^/všCt p_6$f-Ҕ,Sg_IR/>d3|31ЂAըGb9ڀbףqH]3RFlrx+#vc4%h#&[_l>GԵFbjʙA y;Hf!D>1u kGW\ ֢I=$&tiƼOSZg3B갢 i!_#(BMC5xw2|MA8 Y,gS౏ {!XshPV!#bQĔF? H6#kp=Ui]Ʊ_:ҿI;EX<^Q;.?JeTnc ?F(c094ѴDI!L5ͪ >\**D'fTv UFAdʗٜ_Un9L•ZD?(߽28S+<Ǧ ]V_*]VBxGsT!dۘ ?C9ckS;"Ǧ9 sӸve $q" 0嚇R lՕrxjm_b0@/{#Ё)!KMz: 8FjHg(ӱT({.(6=ň ^<{`F%>H4Rc'6쏏7ˬ$0ꁥNЗn/Ku&`gE'NJ&b`tI6( D ÐXoplND7 #:xEx/et,(s|wz ?ǎEi**E xq"о֩*1V$ǟ,]qM̛i>12vxeBeUl _uE x!' Lte'D{@(#d0LHbV=}ޕSKs"Wz:*KprgX6X#BD;b(IZlPdV;`檚֒]R־''9Knjr!،cynŴ'",VkƲdF /127I&S(Z1e (ovYe;:n~jJ.М:mA%F\> g[%lpz(/ک(mCb78_4.9-B'$=6 p$/v%tUګٻHv.j[arHe ܡY96`ȪU)T!v fl⚰f%n\B!ĭ= qC%n ~9?y9svAQ(hh`ɉh! /LB8~^w"S+߯^N(n$' ߾ LR_ЯG7zYWҟΈ{4}Ho%> 'gbj5d9^PN{*nbBKJ6Kv;B $n sI]0JEw1?5_Kesª\4N.R1[niUۅߡ? ۨLF q2/]xW[!>]2OtddMR[h^!+Gyh@cһZ8E-yOcY=:&4}#t,| uMx(1oY"O;İuŗU7j2₲sL˃"'B$!'nM 2"jѝb]gv5MÑ`dAb-PU KVS"oU-gT@Z } ?Yg9#]4qk-0ފ{iY悯+aN:b:){"jq(9ƑO/i01ڶȪN>@\Q]N2 ܳG'WBQږh_;O&S@ChQ9CUq1+'(j.eUSr! .3Uݗ#fgERB$ӒMIFaF+߯n;y׸9)F|KAB:VosL[<;sE#@s?!Ə똓]%nD* IDă\oFT,6;Zfb/iߡ\"g邒zoڬyXѴh,Hd8Q s4nT8{uE*`q]^G[~->:w= @7-g@4VI U}p/$33KzEA oRcc:[\v!໺2 .W'LT?Acˊ鄉yR\+Az5W TpwEa# c(.%šTA^56-zΰ5G5m5n6T(?jape~y6a'khce~bG-G npQ>ݰJYBtВuzdOU*>Vˑz4x׸jt [WJyfHW,gWEb*d=s[Gi @U~GISZ Bu3v|36BKo)4נbFyw™)}[J s/t,cуaX~$M`pynRBɍTe|yfzJo؞^y:aaUW&>K,S+qŒÆzq~`F 14(' G51ށh;c)|TEc\aj^E^!Aq{v}Dx *;"'ধ(}KT~pKgѸB4=-N+&UN$3<Åt;dJ`ؠy&Y]ɁLuD+J?X*`ܤ)|fa+Pr o \=b&\04e9ʀ)"kk k(,Wc|: k"8Xb)jRߍ {sSM T>fY/oKdd:.uM^:"-nqHHa~R ^lOh!iF׭V~SI jAc/G[7ry_56qZ!MQEJ^npfұ lVfWXz#EUA$FR9)9$g#⪫3眬0W u Y^ n'ycIUϣ$g1/0X4ܝGNWeG16 bwsh/{sM<b6~*7_jsjAqJ4BT4Oj'eSMH+5ld{Jbf%ˉFg+"wrK-seZҴCd@Rq:>&/NsYQJ݂[耓'L;pm f$:tPJ"nߥ ћQ $uaЭ{xhgt.qQSSg~A5z/ ˉS鼢[RkS=v/ek:=inցn!6ONN6*zIAgL_ډ:bSP?䜪+Ԡ(wz&LFP?#>?12b>i=7v]lHJ\ X =-i+H 0hіU< RO:O1HNvI煀D#!]+ 7>0H. @n,cTupZ ^<Tx9 <"C9ʒ))M|-/#9XI.&̚j#\m,=EQq|sER]ٴU3 CR[ Ê aW#>ˢ%)G/[պƎe<5G rRR_r/*!5E,%\%zveGU AZ! bA/j6\?jһ‹ LYk>4 Cw W<]g[ZpnߒAQkŔ@!]Ric_Zk엺7 *aCS3v_<9K { 9Jg#sEro^ 1LZۿ x3W{!z`C!`2An%-2N֡S.NJ:T#kI ־ [va,WhVH9EWzyvQ@ƍ2zGٵo@ +5)oQZW.6Ђ U_z#$G8'b-G׽x gs~-jD%<`n q1EQ֕3acZWq؂I_*iѾoGApnM5Xu8S1x^z x!yF-}9DjntFG8בd ҁWcpx; MwH6qpJB7%`&p܄^ Eu;d!1I绌EGWJ# plC3tdh-?N>MP-X?Tv} 30M2jGk K:I{R|k^nfBy`ؐg;X H/E:&s\ECH g@*n̝4>(Ec 3žj3U,&X>彈|%pKN 5KOqr!t1z7: Ƨ02O񳽰Pe}797k]}B9}ݎی~+(N {4!`g-Gh[/ֻ|a|l %FؘjTR%&?/?_9pSyzg:Tf݊-b|P'.C6I^U35H)Yv]|U.}%-5Y z#2IƒL_ C @:ފQOڕS\|w2W,=ٳuB-!L= {g A[=I |Q@к`2%kt5R cb%,=Ywh2&>pz\DQT<[v3M_Л@*~UOż:-8 |NtYx_ߤ,pп5n]8W0]KaMy6Ji߮<2ھ3o}b9Dv7T@I)ʅdJV=M]'͓|P'޷d Z UHӊ~{YQ\}'w#sUNvwxg(}ω-勳ʆXh# :wa8ZI?Q| F1{#k/oމjfV(3Nm=|( ;M]= W43!X}]YGcȿw4`rNYD{>*(A"Q Fk#O_^!vܖBRQg=ج{z {o Rm>ݸU<D'}9)F',pi xm3fm1-zUGޮ ܡkUl Z17\* Ә$!oo|JXӼc>އ Ȕ1rY.T{+U\jAYFh Y7S.:^xEBrg֑9xgrC@<,0 Ɠ(r=Vj$bjorL T5Y,1v09Ah c,>ڊ@@y5tqޥoq= dtP 5:慎ˋ2w1^au|H#%2ypJ ~yJDuk Zs}&g3Zs֖(\MJj ï/j$HN - V7^()c;02c0v#Bӕ8~owJa佒"XgdubHZWZ)1ոLFY2cd܂_q~*@ Nlzxu{W-HՁPa8wEg!uLETdذLuYNtoZcO8=Fs30ۈpK"z׺P7#[Qx,!(yj} \v:7*] jSSDl3Cw"⏋>r#5)]Xk.|P4zqNݣo"!%و&R4Ha}f?) O.|·hTy.4cM\d}DG% xuəе+k=U^:5榥,f!&wOuVZc("I3XfTzm\DS'5ZڗxYŵ5f|greiv~ ńǟ!5NS~qa _%}l5> [?xEӷmII5ό !nт.J:W@4s8¸L|#H&3 [2IP|Ew\Dm7ZTmёm𭳚5"i7$Μkh&{ak(\jmGQ lX/tQΘIp R}7û<&,i`W0{s{=q?M2 ec {R'džjB&qŧHtB@Si2#Ʒ;< (|+5&g9ȴA#+,${ШsL#A@󋰌nR̵nd c5Hh-f|Zku wpB0UFB@,5 MbRz- ͥ`AЭ_斺אʝ8[7}Pir vfZ .6N[خn]"M32΀@H(S\WAQ&&2K29Obz|x\b;:vCf'\sx2>5FOA[1Sd+6 zn0Ι"#=׋v&0*2JT,pƚZޟmGx k[=Tiu+_ Tlˆ (cy7iJ[,bYHBzr? vC%^)rg=<N=g,3nۆq8:jn 9Lf~W(`Q6t }}NUW%fxp)cO'-a{F﫳ؑ]?zp4D`s„h`g|pC\Yk@3 v=TUm, ʡ6 k)I?qҤY 9eكuE/4O1EG~鍆zA .2NKyFؚ+Ɨ7%P vփ}6+S},Dq( T&7{"h0j%]>3Qjbi85L!}`&Nv9{b՚Os&n'ڥŌn6 Q)<Ί! BfE]ls/Up|me?эxZ9*, }*G읒E2'}G.-+ VS.ڞcQRC熲?j` 1/7[$j9s-Zz 6)#p$>N6K& -E5<| }fCq~S&)͵ 3_ /b"+ԓ)`v_شXNap S52zdժɦ-*=q=ZfoUR /ڸBS }Op̑$|Vʯ1oZ-腍eǥ{"d6o2i׽” _Ɵݶ;;u;FqeK}<'L[[2o7UJLiί&J NfAGGjׇlD7]HE b}KPciWdn}wպ(>['`iB/+s?1(]bfAp1!=:jU{a?/7ljb݂aK̿Ɨwܥ]{r2%%x_Wa|_#k`|PF13۷߆EJ)bFsC ;G}Zd8'DZwwXTM™PZTG rjI>D?[$+8XLC' ^?^ML*+Js %R ΁J&M M$R<6mecMo m\+0ZnHl"2Udzuk! ty.V 5w0RD6=mn,'nl/jzR+p^s% ,_ogM18JaL ~6&KWfF(0ng0>lQxw)yn<Z  O 8p^% ]9aON)2% /ў'wn6DDE=X#=0MKiA{LJ&滍 E'0wV^7EK&ZD;(ȸ}MH~4udsg <0>íZ{ٗÂ/ )C\o{s3]ptft|89!*Moe4|߾T@x]NxW+p\-Úɸ[7oj~,NhMFǬ0vEeH~)]l:MNVq{s6TmbԽHQ !L %9Yv.M%+(*T0㷜0X9h }JC5xr%6RŐRήB6H6T[rZXIVPpm g-TvrBDtTQ)Cmʫ4 9PѠ6.c9Y8)zb"!,l^9Up@0zhӣ$3΋9i1??rL !+/~s"γ gM6V?VmBmU"dM"Fޘ;qL~ Ag5on2f-XX~"*g`дG1!m#Ʀa0wSO'2Dϱ3` aC;,EO5ג} Uu)?EÔ# ?8~l.x?[dr{+f2 k) ήhcm{,Q=w 6!tu1m6l5d &쨎dt!Vn8g1ܨe)s.35msX5AS$;ZB\12wj^Ńs$OT{$t|JΡzJ*^*g^B|,\7XT`G2V@pζ ODtcS,DJf2 T+tn\U_6Ȁ$8 Z;wSWhK! (M42]ٔ-y:i!%qH04Ϩ6r@d5q5}wBJЙMv1Cȫxl'flM!k#o4,e !iz=_1|$gYZ7zXZִF! <]ŗXiɟĐ-1ꀉ=C ?xue׍ o&HJ] 5\C#OViق7Cy| ǒ1s09 nl⡉-ItAU  & _/v աF6Ža-kjO uW#gzO$RT)_fA4\ mLgYZ7zXZִF! ]ŗXi%L&;zCYß!< T2ȸYh_Q0d*8 /@ZVڂ ,8WF"20џ"CIᎹH(y$q 5epLҭie+6hi$Qy8V#D: ojCJlt䫒*#u5W͢22>xːY{no#w:QӇxԞșعf`O伴zk2B ʠ? {@WO_KsʆQvشPShdGw!M;C |&:vsb"Sw/9"43*! HwĞr[g֫pjUkdr=^]S ޖU%/_ମÖٿϐbX]c<ȴCdZ") J\4I[^fk8,2V{"oL1d^7Uo8n5,'7Y)QJ$(GKŢ406%Q%е˛Dm}Ur:/xƚZDdllIHypK ۖ>b)9o{Niߋ#Bcl$dykxޭ2/SD,:N *UխHkq/W5aGҏ߿B2N蠘Jy<>\]p\R6r+V~4h>u#骅qc1b`:)Y| anMaҧ{9\krV1Rw3i"gW9{"}Hʆ lG$8޺$lYI  psqDXd4I,@^xf\ $h

o1kOJrAa, qo35uK%Kd6q~vܵ!ȅyDkۦZ g󏸭85jd|V'oP9+޳`KM#6BQJ}9̥DƾMat.J|ƃQjI3k/,We ,XAjZ%J}7_RhMa"Nup,Zu޳3B>QLڝגw+ ASw9ʱ]DWmk64CK5e<>`A@F8Rh7y g2!+Y=|a!v7FN?s(jM+vCTd+Br.6ĸ/ Y)-UH?|;VL3?dIK{)ىښ#eeKl m:(URf?8N֪յYfbGwkRǘO6ҐЋ/:#6& I[iKzTHƺFAtү ͸ǽKՙYގF ,];ݺ#+^?+{c6@̖@M;t1VafpB:~L)+-SeV*jI5aorL3Y'ޡB)g'ubaW%"ݙ̹>423< Jfj@17`d>N Y>cw Ab`a I\}Տͷ:"gu@gYZ7b40fa61dc49b46a19e5361549f1ab09d322e73b9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 aab967062557b880aaf16b24692103524cf4f15b 571411b4feb06689550dc2e63f29de34ea9b060c7488a86142cfe67341be600cbdcb8a4d8b513c8d