SQLite format 3@ /- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 f1t$ k/ HOL-Decision_Procs:threads=6elapsed=220.832cpu=895.340gc=79.940factor=4.05 1 HOL-Decision_Procs7zXZִF! j]ŗXf1-q恈͐7ӺV ༂`:ǟVm"N GAhJa/_FQɈǛp_m$⤠--"Su|*߂=MruiĐ絨x×&zƝ P 61(9Ƕ[>Tד~J:=}6v8g 9L!`lei _*2pz3?r *<>J|2bA ?orVpm_oUKs}u064{K$љb0ĔٙR^%5Birofw3}cYTy:&27*h%t[|F*ͣen?]TU6&YwKȏV9Qq\c3}1TNb&B?0q (17Vp PssɫK. âK * Kr ,f {Jڌ57st@8=l(O`rR:p_kUkԼSm[%v.*pufk_rni ~Nֳ;c *Bj>״R!C^>RW[;ōYܘVr*;ݩPo9Va611\\L6kDw?o@{p|݁WƉc\"W_DpAA!zVj}}_Nb>J ?\$J6Jn)E׫?BOofM=𑭙e)vТS=W9t1H A´B|6䨁>n#,y,J;yl<(Qh ޡ-6ed8e=XɽjY`[C Pm`b<'Sv v+!qNI&-2Ѭ`jb8UdAHz/ >2oI eQ[ ,v{^hc~[qȮVmU<y+Y\8߄ͧq#Cek0IA`,l^== \qڅ:MQR@&m -; :ej%fY 5'yՏv d$8iæu/?&ZLa(&W *Џ:[yeۢƣ_ŸiAkk)Qibi-i@E>ZS c i?xph<~K#k$d 뚦)m&{؏Hiӆ1np 1d1?+xLA[lWr2XĢ T\ݷHO~:&62+@t{'\pD9u9xӦȦ?V^yo~Lu[H 嵼z%0 >? m 'OZkôE 8yϋtSYٯm#W7\䐪yǍm;#Rէ"-LCyΕC__C| :Zw%ސ趃اpSV  :ueikaNB2G0}kG7ݵ'hX &YT|K.iσ.u.)1D_ ` 7deu$ |/n`b'IYQ힄Ȑ>0 JvgR4=DXOY_7IPw(%JI7>֜t$(8Z 36ou%]"_+oEWs6i<@'{K9n}B)yGn<>#oq˴3Ad;237^yL6&>^`z]@k?En*'ow !w= Vq Ab3QLV8E0hl"4rFJғ uȁ$ȘXF5uE!͚D]f|ZAYZMS;,`7kc폕7?hſcfbHti L;gl!E'ZA"]O㠞QLw=k.{FTvl+^S(s`edϤW/Pq&z>Ί|~q"C6;(j.E+8P52Hh~>/QĽpg߻P1AVX݇F@M jìL;_4xG)2tڔ6q:2$^4Pd* _:*[џJ9+z8Rᰞ6Xbs^T+XaXQ2|)>syrO*!1^Ekz Ditu" aQx8yq" C۸ yh''Y=[[̩oUmCo׃$5#>2e xzPD2T\3杲A j"!])1 =v7ia`lq9k9G˦ (̑x +N:D}2xrZ4Z5Li^& ײCT2jLBmF:nIX9 و3չ%wsPf kEG:| 'hw`A{OGDScX?D,# µF5bXg eXx^Z7yxDާ#DҠcDK-V0)kΛi㦪P\N)\:ļC^/ <$ X$3c7bPn wSPC}Bqhn'ϖ.x"C:v{h.f_:ѷtPڨ=lvqQF*iU3Ԓ,FgNM8K~YB_u hKҙ Nj/vl \w)"vw]rDjwcnpoBѮ2!^D v~h1 -ff3KqݢaKQj|8Vʌ*)2$+ j<FN+Sgcb3%خ´kukۣvF`l7Ncq|ҼfI `-!6H̺v 9 lގ2SsỒ&Ҋ>9ɷ:#HX1α)F,pjm_j ~ iٛZsP'^"XQN|2g+]k='e:p} OMeqiR&d j{^ МjWH34/[/f*&hLjVH)ߨsk 1Uݮ,ôď[:'F ~"{V6Cbl3žw#((d\ӓyI%U.(旑^vld!7>1җa#I Zi|]diZDjpo"~h_d=)flV n#葟>۳[kנJx~ۄ1v~o\Lͦsr+[yd%Ӵz'G~MPv1|*)L ~&QVR酭X8l3Ld"a#8"d̸5_~ ɛ*mR˾9/ M݅RͽRlB聆C ^c7o;}[V92QE] tAv幥{JzϾ/L #I,}L_x+Q^ߪ(NW?B9lm^0j8YPu>Zq 2%b1!,P_pǕ*w~W[Nӫ(BXH&lZ'ѐYcٲ7H#*I4)Rxez;Bt{5(qFW @a84J0͍WfF=iW~66K^ȨA.XWG]IDr=~ "%Em*Nz.BD|< <>g"RQUyT&' 5BJ 9=ܹ5T\RmöqgMUGo1:uȹO4 Q^h<j3W+4>Im="=J]ێXHT-^Az3=◚%+!g=AM>}=PkG"bq -3.?b+1#`+d@(*Jh4 lWLԑ#RA:CַL@LcAzOV^dI3>ԇFݐs^ [ +bn- Ls.w.|n 4G*>L,)H bY=2`Fv8@;{A頋Mvñ 2==L_&p%[Tbstӥ}.Q$ __TYo9nu}pUx- *^lV1ǁWQ'dx@:pKf//|>AVԧwNױRRn/a4K8NE_bN<X8/%/Q~ˆ[xW Oh4?&x`Si97CGW/`~fsOz qqyCt],HXܣCМX%2g)̈́ ?o{Op0п5y%NeJH3$($[p9'~h2 [c10UK,m <-^ݼҒ0箼k'Y r]i^Z7[F|L2pf|YCʖW)sbADL}f= -D/F(4mRulr[GCu~[ rjo<S{.PI4 Ʋ1]`?3^8VЯ.rvk>j['Fr*#{/0{!GA/o{mIu0TAk36g5+(Vj5ఛJ<}}@*uy\<01"vNS;-qdN |:u(XGt$Nj7q/Tl:H9 \QWrҭ$8[ ?Lלx(g%x6@ea|Ο1P VFD SBBE|LW{K>6:sdʤ3fE\ auPa L*Ǻ@|y7φ@xe5 QDP%@UN L:iRܞk^ a3o=xwފN5lJ`uGDukʝ3V]"V.)[uO92Tw8A7P[T?yGb}aHwQE{#;}9 J $rM7@* v*u6hQr|WOLRv>+?U$u 1S9^HxqG&'J 0KXHinN#Qd VKcn{{ Ћw+pwѽp_?W/Ų U4T$D0pBfqklFNgÜja-J@,y%quyZ69:֣ʇhc\xrR4P=&E+xwxN*E2NaXhՋ/f+er1 3O@v*ͤȑ.Јpi "U6/dbu,? )sr!4OڑĘ9wtmqԋclR10Vn[j62K~C?pn_'\ 9@<ku$sZ㐆iڹ^:LKs઄=c@ОUO?\>&9?E'y0/.YaSP5Š >JQtan'q˂ORBRѓؖzi}bhBRa (-TgPI %iS<~H$,ߗHFjdf1yzN"@63:;fɶqذbMBy80+pɕ 5dQ )d+ 1yE#j$#&K{Qqt}S}T (>1#$l6Rȑvigb-16^ȵUB"h@ X#UdiPd[jG7B\X1%X g3|QPrY"[\qnh9bacq?f`zmq4vj rZSdC Gb 5%$1$\e&}b'ٶE`d((<2޿Rsn:4(: Chv4nzOr|)A!{L8_zI|' I[_vUK{53`2pu@5ԴHVToKI# a}f8&D|Ezjww$Dqc0`A`䶌Z݅x@ܡV[ ?*/S5{ #)A'6rb`ZzbDlUZ7TV];Bxʩ4l;S\}#\X&y:B{r87Ot+ *ь Y _ G"zM9"20cα/"wR.Lm2i6jE;A{p at)3$>?kdzJ]U9y.\c ΁ث4xʹ7J TօMԘ`*]ϲ_]¿+ѩz!Qr2Ҁְdqْ9>^bqTT_NQîKd%*!^(h駱z;?ޏk# 32Zp;j!HO]v3<843h8mVU)y=xRpzPh=GHhMGay*t2L1sEPso&6kxңSO\%F&G "ц٬lbLέAH3dK+lŧ ?߯ 8S[Dx_rT9bH+n=jP5HШYPR)|.W @A5\7SS TfJ'"|P HWlBGaX&BxgW,f #>l>)$KW.GsvdKc&1|tq%r Y]PVCDRrufS{}Jz`7Xt*]S1?JmV?4$?l ̥Q)_ %׎L#Fض]Mk{`?Nn=$Cݬ;CzwLO?Q1e [2}HW ?Rl~^ Ddˇtwsǀ$)U/nQ$';J;qE:ESS;*>6dѡ])M%F>W)$R=lsVK]j#2^痫(k4mL=8 /X[5Uܡd~X%Cт v۾|P2ERQmt[EvQz[_oa=o/Ӳo&C0TG;N'Շ6M Zn8vq^tD?NJ=]l{Ӊr4Y* &FV+w~4r`ag=].*?DxyqP @$^Uv+,^qq]wb#Adj!Cz8-b =4@q7sua^D0! JEw6ΛR2`bgs]:+ i\w@q[lLʽEB /8,5hAش\Wd۟&gygqX >/IM]c9c [ O:^q}x^LyNf* ؗPt/S%7U(oR?]O#(Z-Ìדq1#%SPoM-]=<¢k9ON:9[|x|'!WV[sHVUA%j!ѶNu<اl_.m1PJTΨaߠs g6%o+{~i?1u+c($48WmlgGEFאsԎ MoyR$věԶ3_Hj 9Mokpnl5hzVeι9Ц[reAd'./-adY♕"Of{٥t'LMXeajJ?7koy}Mk02^8T[]"1/ܼ V4ȠꮗN\#6} D3+ ̢ {K~W _ԱAG1M+G!o8b= {?f, hPg$).{hkУ_`F #b}VڴL|yF4 4yDmpC0H\%nw7~r* HAĺB].@èT! ]c-%6J;݅om}.IW/Zz\ո)ϕ=7֜#;EYȊ Z:٦8pq2IH_"8-!IBS`{B㧬n]@, e\Hy4h`Fʋ1<Pkw\#։q^_UI"_0os` 5\2uXM0#_eEZsqmR-UB4nqEZ󾄧 w'X-rlDn@Ci-hF ZZHS6zL%B5xoUWꀫF\MՖ7'Ge!ݤ>GF(5}``H[{} N}3i:MJ (MLMsf 2'|W)G\DZ>5}$SMmz#`aKDoC9ʔE*)+~5#2c:K9Φ0,{4q r\lq+tт<9uV 891(ּEŽ@#ER;qݝJJld= n!bxV)\pL4"c;kjq:sV!H8rs ]Aym cX.cռ ɹtGtc27V(K7rTW:d)7nUJ"k|lq?#~j\Yn܇\SУ:)sqH*20ZgKz dfRA&H(3isXR=8 w.mb@=/9iQh_,i<: }+J:˔9&7a< D _#$-x3$̷&Q{ġ*4S12OӄV!Ar10_EU|x4lz]٨Jx$-%Ǽģv%fcD,5Bh0qzf},dW7@ Zt-ąm&iOf '8d3K "O&ߝ<5\U`*hga QH0Pҷɛi!.ԼC}"9x7w $]`+) ~}lནZMѿ4KA@r:}: d"gKIFU]@H\[| o1556|.^ԅ 87lO)~\δ}fNhJ< <,=- ym/EcNW1q[d_269CWBuajάp'^Ij:-WTSsK>c)JHwjfQ[ BmX5TDYuh-%\`ߩ5Jhl iВsr?mz;$>1 UӏGԏP:TƔUS O5bϳ+-P85Pǔȁ"kjr[%Ef1 ijY!YIb[|NA !) |"tjԾ΁j1_Xoz/}K@@֫xQBf%cT/;+0J0jD#[@|_n*߶chK}LYw0yCFgu+qG[OJzhһ(GfyLtq" 4l@RNc9)B 񸳯[S|OjW;H)}`!O(X%ϩ%W9eL^2XDP +0H ox$-(s-(?B*6th sĒG%| m\whκYI:*8LtU ]QtrF,jT``8ƇpvFfp!HZ5Ċ@VӝChC+Dȷ#_]y!h=1R \eq:j_lRp~Hn|"Gzlߟn!&d%_' х8}Sz7Ǖs:M&D/QGM/"ˈe] Š Jv9AIZ`О+PǛH=q^jK[][|oc|jY¯Tl:So=HdT~}ͫk5cM:H] ^3 $ PB$8Pz3Fn2[KWv;ȒQV4Be SDE㯦k(>,@+o/^E>Rwd.%rk\">1͘z?/JH#AAc\N7p!4-C(=QRvlk%;%^ cxLl#$*1ڼˋodN6$'g6%iP$[ypi/^UV9m ] K$6g~=.LAE-ד4јǧOyޗf(86%~u®kaY:a!׺?xծ'%}0]m zp=pȹ}AXaemFsV$$zvTAݯ6B.rhF~b ]n5Sp0Qڄ^{lxjV:c=,{ N"T/+:AM!_w:|/r1ٴ==|854@򁱏r5$(IFuï9bjQ̔v},UOپo]M2/WHQ2;-/&!ohhl)d  H#J#!3_-@y3JJ3- r-YkI&֎)4/'W%#SUӢӷ–P#cu<ӓ\碳誑vT#E A"Kf}پƖI#P8:9nX 9|ڢyAe 0F =xρKa AYn1q_̍;2IE]}uPe@ڂ}n(`6E" ϝFp̦gZqL7oWOoou(&y+{smQ_epId 7 䨎[PÕf id}`$M"STԗx[fE |mS%F}}%C4ifFKuuM=YBZrSkqC"yȾ b=uvKqAp 8b*6_Zg;扪44⮻3x6ٸ \Gb-. #W@X H:l nʯUw;@y&jȿ 0ɑ P>kpzpQݨQ.3^["_5uȻh-YPilؖ__4&| p*gH·Pinp(p ɷזӟcnF%_7]D}ŊFćݼ$|@f1{! sѩqY\t  4JK;/dJj8e6RPхˣb׾]q'TCzg` @n(b Ij q%'9,%˖HKV2Y]V ŝ4g_|*?EΓ{K{=G*,!%&aUUX6jEJyJ׳5$E)ΏbI`_҇(G yߺW+{$&6@Heֻ %:F9hȬ,ǦF}9ʾ$6]@3Ԫ-R;W!%*lkYS7R`߈[a@:;Bلt ;[pgZ9X$pDUۧwOC?o `}UjDZvL=җq`3ᬠ:ef33a~E@vLMD&E@#3g]Q]\;kjfUyIm M>4!vf^Wa iȲ΅ʕ>bw'A#u{C={:2dܸDf RIB qf,elN2e2Y1p5E1[ i~W3 T" {4c8!V 17JqOpHCske׹>:sKG7=Пskfa/V㥣ӢsCۍn.l?%7V#⫫̃zwR`jYIPtjX%_d #hpc3H{O삠k9y})# mF[2:嚑NoA>dQ|>rXK2Dr *[k6vyy_x/q$rFYToE GFSmͺ[:a5w3+~Q8 Fg7`ӢT]1 ΔXyӔ<&pclY/D;+óP !fض٘B33'Tf"1A'诊{/@44jTE~ݼ&;2ґ2%٪p}B9շ1J)O9F02YƖhM;ˢQH~-4 jr^%7dP`()rD )s3˜`SV)P!,8 a&HZzPIOo"CBj Acm| NGvpb e|m2&"}(\zB_ՔmZlvY_=P~q7'J*SICZ>APWZY7DnXBˬ2(4ـd/%/k,љxh릟;M_85[UZuo#5)P ](OIUT! LE>9Ϭpf*o&h$Zza2:嚜H+ͯ SmOLRsI-# ާfzUiU^ 2E Dۛ J b|Faa6C5O T]G #/:^ʍ' cb=#"ʒ_G?pmzLN´Jώm+-EYSct|1EK}!s4{HcߘL? X (ƅCzܡ&\LXgqh/sm9!" 5\XvofZ4FRKbk@J&SLAz97AYwP{_j%o=.JN/9Ekv Af(Qt6vʪjSfIo:=lqyps;Xb(3ֱgMS-Kz2]>a/?6(K#љ+t\|]nxeܶ ͟F4RrJseBπNd̕C90;wsS;1irB3N`+ Z9OfY')dHS8u4m>G=K=tGTFHb509V2/Y;[\YvQ@7.G/CyX͐L@RI)GNPimg?j(W'(pKbD4k—Yڼ ucG݃U-Dz`i66>-i6Csj<:(,u)P9]J!䭤4@;w?S~=`F=[d6OY*j]bm3rUVJ{`w,Ґ ~ʘO2){>+~}QcN@2^i,Cqǀ9m`Dt1gRO|f ?~jcW+w9$x,.0˝eڃ:@mmQKTE \P0E$\Ri)#NAWv{3f@O 8I-W߯xXE^/51+ʊFpaE `K5}?1}k<]Fi[*\I+;a5Cx\QU"xE_&ܛ?VPW=&^#wOv~ @ҟm!2ȎI2%|}7Via3`3ASjz}Uw])C-n_}xjMf%G44^ӂ)UWKEx/`G٪ (` cdȢNg@-w&5}e뿁{ћrig򃸱=$}Wuf %aH<ݚnjab٤AV|TgPf,΄v<V[ľnRVR, g´zthgɮDN.ilG.}@ z ;?/Jl[AB_Ri%>8oC%A_?o¼H:J;7ɿC'V Q'{.2QҴܲn?!1#.yˊ0]:y_N7v^10o{yo@Iq <~‡e1Ս-k&D=F4(=ߜY!F,qJMJdF&{h#uOEbl/2E>PjY](8)c99]*Gq};o 43'F|(dzVCD8i_݉ (ڭN3_Fs2Sc?mxR#+ݧuV5pYZxMέ?~٣t1b;X7P?56GKogGqM\k0];#Tw]DF$:}(-0NsHGcMRr&fd=Tu[0gkNo:kЀ('J>ow9@sK2ܖrg3HNQ%RQ}ߝ'1ܽƧ8foRM{[FUWŷZm')3TSf%iALtNeQK8mfDl'y+^J G Çw cTT, SSfI8!$,& H|$} wŧqf% jZJlWyqUaÓSDV]#%)0GlkZ u'HQvG;&oZ,~aR zׅ\--^s47k(} 'H`G!A ƾov&q7TDxl!@3MK=H;yG9;.ocuֽp_;kLufdG(㟾\\mJ}w#7K,}"͋/+t af]/RG_+?gh2{ݢ=A] x52?aԊ(:|Jq?<ߚ)n"lwcDs:hatN0v:Ʈ.77аxayŗM}Ы3E^k2j?JJ}X[YGFxpK!z^5X`x>׬qQSGWNC~)H#v8.nw=  KHWjGԋԅh5F$2ǻ/WeLzs&L'ȏ[vwT'Pі-AB.mjoOhu`3Z| _  KfE 8(_/>z 7Y\#.2},hl8hOj=b2 `AdxfPC`I6 1Z\y&f^B[xQ&3ױ6p,,Ȝ"QiS#Xnzl. 9]a,ɲeGߩX5)O_ VER׾Ƭ/@]?WOHQc*1DOef-cѵAkUnKCCxf\ 1BCmםO˯@vvL_@v^ʫ`s]Q;5P`nL3P 2ml29drwB+cgı|ft#phUbǧ9͓*%i=>[]aƯɵ!A`vģ'zgY;/{%M􈁞n 'o+(n HU +˄=l9] AWXGc]s*Q٤*+lg8' Kk-oNyZėiO>yTshRcSO"m7 |]I",7k:N9\m#5҅ߓa!3H?Zt=T<8r19"R.(xJc*DL T:BoS64>X>J#Kϓ#N \q0-VɎqo_ZҊsh`߶Xh!>ǿ 71_[mO6ɬ-nBH^LJET=Nhij)׻ϤUWnLs.XEa`,~}p >/#j]=^6)30ANXԬt֥a!֬ ӿY8>-&!Hml$dTNi-[J( 䱞KCL :!gک쵸>9;v9;^_"Ŕ`ݖ'4h> '28ovgxvozߑJIߒ@5xA;Њp5c^D\ qx@߇DӴh_)^H۱?d>{mAv'%rJeB ̶͑paʧ5OfYb@*v}\1No!n(l%ķajFPb)z{~[hb/F|FO40pSdQ (I1Vutʣ>^8,\FYtr1Tzmvo*|Obґr7DS?L!$)I OъWW\ȗ {gYZ7zXZִF! ?;]ŗXi% CP]/PK|82 BC^cGB3őZ mnvᚼ*PG.k!Ml$tE&%lM|8G۝&@YPv;3&rs7[,MKӴ3GX3&SxӫR3M`#b"zVʮgZ( mӕs ̋Dr<!S`rZiIUmYL'](Kô?$jxydW]n'ةR6ܬg&[QxuN0&h8o^N<V"8o+-9+B /aHKٯ j`n雳jNJQURf Ykoy&!jjnJB 'O4Ԙ@&uqT`=EV6MU\08^yU%dL.Dih޲;lVĘsZؕ&Zv cXw }<$q8@ 2 aþ~la՚Ndx%֔]=:;q8 @bDATf3-ʑK澶T*{Ru/ax˪Kf ;Dz|mUA){DBx¬6,%}v;$1BAss~ᭅ4/Fe9wKOa̟4ea>Ԟ}8(a#bY{5ޢ{Y ˢV%h7NqDK#wNSk:udNuڲ2!<((nj< Jw+9݋5T&iY\Q c -:7Yq. !Hmg,vmiN0v|NwIӑXH,sw}0 AkǛ8NH.+'aeHn-i^u>$'T~[@6s[F6Ʈ ~C3da\..;DD+Mtw$ɸҁOd}H+ؿ"i6tzc[smnW־S¶"DۀCgR:X:59ߞԫFjM!ĤAdt"^X+'y(xϝX| (KEhYۅV3%00%?>`u(ߍ6&;ېbK2q(FiͩةA0r!gP7]^{ MQ1m?!7\Φ@Ek;$'@&PR}F'=ƲfγcGj7VOQE?.Mر0I@qy@IyJ꧴t]2ezkR-C V֚%4S(w}$^mL9gA@"ơEՄ.X/!TNG. 8^cO7+v)B|Hn[[%RttbpEWI'#píӼ.bF|۱M,OK_g8{]$V+sw pCcnxu~@U^phZ) M8c5G}eIIyo.7gYНsN#f m~ dE3!&;oDXC#B\Q'7 k8Dy^xUhwxJlɠ'xq-G")2x"{ܡ:H\I W 0V&*$-yǒ OLcIHLUa<,5 6/( N) 8ڂQ,!j1aD~&' %|zT"ax!51_jدw87Lw1BQnRh=xԝY|Y#DPfGxJIZ!8޲exr>\ʫuF!Uq޾s"2ݞf}r{?894WeYrl\(dⱘ 8uPƗixlv)ׇ!FԼh&{ >MV}6voz ђ[TJwi-ݶH> ]n-C0%5_zǝP7o!ȅ;XHW8tÑf) f0u=VMkhp~<0HUc6d}xLŞh<OFd7sIc qNLm 2h0]¬K NlxGAhm.ԋT7$ NU)8=2n'?yoˉ 8O œ}?Ċ0pEYX:vTJd-5Ye+lc\]\{kT"6)zPpz0ϕu[qQ]X a?PY5s\kzGp޽iM{wg(߆{zxe8BwH dgV,C^\v6f<2j?׫gMp-+^8֤ӱT#ԉ4hk*/8д/VѪP'@UD_4E>@z'NbS ѮbLb5MȜld9ҩ!GY$ܺz-wqF2ޏ)Ӌ4rQ}^.dkXϧU&1a8vc1;bbw[LrC.yzPf)1UOхt?V|LzO60+ o#\`!$O1\]e4xˡM:#߃A)`k5옝,RRkIff~ cfWEeMg w9PY"TE D$wu 7U?̿k%a''5LHNAZ{ZЪŒn3晐1eRKgz(m4І}*pp?gpȎꝫlwנ,-2GZr]֣Uds<lR)sj,6"3ԓ! >,t)j9o X;[Ⱦk)4 KWfT|GjgAaŞlb35 ʼn)7ؕ;M i\09/ڑt3rtHqhcf&L)ѐ%/)J9Q䟱^NCz%|`N}v`v/fhA|M* Z) peIx7((:!ıp`]4O#|x; eeϚL͍[ rERf- ޶ Y`aETŗʢdq\w^-˽& >= t R hvfPŽ^ijIDnh<12vB~/.,^ȃp2}-̉.$ƑFH%>XVT:j7/m DDVjDBf&sG^<XԘb_ej2,pQA"qvv =\B$Ot}±C,4uC\PZȌR=^ ROrBȘ_1wdPFVyH-^&wCG܅^mY9C ?7A}3%54qb͡(Nt 9gBL|SVyl2H{|ڢЄwNZ穀* z@6leH<:W# ۱25Yہs=)6ŻD/~BGˤ@*\ua^`m )yf㐣%Utkcΰ[%*[| Gj5ۓT llY`,> :7!&]Nㅮ` [G[Փ԰TְJ7_=e3P\6n&*y(q`mp; _nМÞO XID\n)r:҂VcZH5ƒl 3U%(ua%<vWm_ځST B& gݾq"[P~[Y&/1y+kuYU^"+#i٢t*sU7߭wlpy(%`T  nYc@MR/֢15C L}_ 3&%:Ju9_ج+%DΙ.M߸K0Ɋà7@eO%jRl# IY=UjAm^JLH/0/C>@̵2vIMɖ71. SfEtMSDZNB@lNxFLEA  G5m;ʧIؒ#XZ(gᑋۭuV :dPrgJM}oT!R8;}ٷSLS|dEӇ0m5P3dk|ciиyuHV"pTDP~Xj>/z߱ +yt)6HMe!b핣iyTWOqc"}K8сIXp[# $zSNB~{dT< ˯`UH͔K 83mܭ>[-:&MpA-&&d??<'( [嘵"#KVǪ{?v;2ߵ;'.N/VŴ%sEPe؂du(hByNИi_,Pөڝj8N X OIF+~-QsB]_8J 9|@_ \[4`eN,̝$$6u]=I$鸎EV1Q:@EfʹBe{/ׄLv9)mgladtN`k5ă; q6 UC3 Y.Y<|'W~[ba~ C`tԍhu4"Io;#X48ߍfgP eG_l\TfHryV?%LUuzhmȈ }ݺO=Cg(v%bf@9U.tl+D+8Vmn X[m4uhfemإ+orRro 3ly?5>15Bސ-~N]2JA?mқ^Z>:+Fr |S]F/N$++_͝Cݮ?U{*΀A-z%/:iqt58;`RsLB}mv],^M[|^s? 67m0Hhv}4W< ,o5898,φR://n΅_-I\T`758YotZk/t;r7 ?CH«clk 0?VݡHr=ٜX2H֛q>%1sH:Y$Ζ+Bt~LķEbO B})+BKRr珢g픝$%r=ϥ{0:@(%yg;!J(jrWO?gًbHT<)F:Ci1VЋ_22t} mN$ū7I3#Mgy0ˇcF,qI]O{"o\ܦ0S7PFr蜀܉'Ь+(9_*'Nݤ)qRDZkh'MErT [?n{kVaL5QXt $Jdk}}z اFVqr1)V*hL#u \!dk^"Q68!KÑ}MVZ(Y -mݼn䂭Gb&|TwI} R 7}: f߯mD")5z@!I{#</485^'䉌skiT F 9OYDi6WVUzהS\%~h5%bÎ8k@oC&u+:X{Thbnp~%ˆoP&xpN[J%U읩Lamð?VO[{bi>ջԅ8`e^OyQuYO:ycD5PɗR:aZOy1TV,z{nkÒwaUѦltedTdbl\Fm.77cj{\:pWQỈD|(Sn.C^ .y;DNY!=3I`XӥPe-+)2=IFwoƍb0JgWXINvW\9v&x 56,qD~eCYC|G* e?Xײ y.aUy3'־RW|IJ32{T)?ꩱ=C]5#C:J׸Jm_/gѝR8"pwJ_ŏQTrr.Se0EojQ<"C5w™4}#e%2UeO'ip" qKf`1B,# Ԃ?OfhV}{xtN-8Ŋb_KY>va]-h3)qDž1Ǔ}\U(d F\@*b0ƥ]ƥYsBbb}c8 iF<^qUjgUyWDWe"45y[[cAuksj (rK(;՗v3z$if: ^;.ߠit.!R!DTQ>_f7 Tڸ)@錿>C"Hh'&;)'lr&U70I_mp&oMyJ;\,Z*+2m$P_[⎲(NZ$5'LnS׍ˬA5''? S*'԰ѳ1#Jcn0GWV}sN`(/ԫpܦȄ )jƴ}ujzsJvΓ0ko|d4rLfT\:C*2Ni"r |] wtlژƿ%$Y_GQH'o`>j>Dr䙍 i)mٙ&^WdJEh}"B)\Ͻ@|a-?|N%,MQ=neXx1edWJzW|39:l$bO)[Zc'd~3;9o:Z7LjI@-4JZM0_0w}7(K B`'? d%U W0 a@*6btiicLq3CVh=6 lO0`b-ݱ0(f5X׷zoE,>czFy-mV_&0ȆħY3R=ԃG}#^f|hӸ􅆜Ƴr ^ݪʾ]/@-c*s:d%M~xu1Kw Gq9p%=z#dF>ѴXy> vhe=! -E_% e1dkY\iŰ~<[|kB9v["*3l 2H1B\g/^_U,\hHH[WrNr tV2~udG\H:C-Ĉ/z9#CY_m`'"Cy'[mw|+ ;P1WcDL[l{`:\T B)} :SZ]ZF;8*u?ƺѮ~ca7@GN'H ڱ  /?*62>f썛ᆷvhSD#%*ۣYz?vh6o,Y50V֥>D5 %ok6tp4J sçt}VkSL8Ohr~1,spї6T"Ѓ9kPc:([:TMHAVxu\YeC,Hj7U\Kjw`r^ݵ:4B+YK4{ ױ,FG+ @*,C[Pڣ^֭=PkV;ycT xa|A{+c[2ƾ705XLViPʻ':ɾI}&"߃w(u0ZO)Hr :8YWu_'NO2Uuҽb$Gul[JjB3RSz I;,X,rps"x\ {zߙQ e"YLv!2Lv23ʙ*%lه-¼9>=QJq'[^^SAStͧbW6n-|I%p M>!x 9g?MP6$vcύ,=5lqp /(hK ԍ9zA5Ao $8oS㗥Ihiۘy Lb%xIgέkSn1[e mռ߇`bn÷=~{ <ʕg|Q&OL͕I.Z"Cvm-m蓾n4Ûr04CF  P 22 B$Yl˟7ދ>\o3㝈KkwZbQPXZᙠJ", j+~S@&2;Qi 񂹏5Q/fa5`$,xP{m,BP]kH$]pgwR>0 <$]HN:FT^D7K.sMᑿ4ɘK\VV;:GΒ?l1x!p kte H)omWxZ8@HQ ޕ $FO*l/;,'EWvK򈋷gQP׺bimy%Jc%6lbE ,(+ 5H0 [3QdkWG2czKY,*&S½9;Z =*GeF7U 0ؚ3 3xYXi}.eoDEq}κU۽k\-&tY vx`1$f8PU[($|Brc톟5{#JWyʹ))>+rRitp&^8ӣm MSʫw:V.Uz <=+{ H&ZMJcyj,ɖh֢"M_5ȺU*kt% Zv5\|oȑܢmo ]_q|v2^$󓌲Qt¢7w,2UCve=t^mA1xI9?NQ ztcI=Ex7se1'ZY4%ž~6*vsUf @쨹+y`kRDFmvbKyO~? *,) a<ɈM ^6/;W G2?m?@5".᳚ ܓJ#QPbcΙ}Q=ϨưQ'~*}TÜyF:RcV-rF3+* `,G`8:m 6-0?+̌#aT pOJSYh|F|7*KM5A3fа"[:O]O@Qh^9+?F7-񨍽%-(~ lq"v xd֮,hoA 'Spi`4ۭ =qye([AQ;y2'ʈS)VHA #w{ugYZ0311066192f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 08f0891/cff2f74fd97fe4f8d9775b4b780015337 0b95eae8146aa5cd55163797808ccd421050d201 0c02ceead20f10236d7275425ef59dfbc5021710 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 30afac17f29e367c46142872751722118953e506 3245cfeac2613b419ff643cf72db5edf625cf117 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 3b46b32b9d550242d2832984f85b4c97512c51c9 3da82dd2b91db0fffec29024fc6338a500de7ac5 3edb2c04d06c806131a75b0bcddef8670430050f 4021eca21a285f24f9ff4ba2d840994e4f65c303 44baec093d30bec4af6ab8a6da185f226cfd552e 4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 68ddb312bd5faf4c36e3cf380c28a4ef70c5c41d 6a1b07b082500f00f6c3b1326fbbeedb536bae44 7c3de80c3a16af05902b9763188afac0814d65ce 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8aefc9b67109956542535e583bb6b75d0af7dac3 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c c6595eb84f7f5b6ff8cf51591a134ede1855866a c84783fb29526ce883108f7d0451c93533bbfc84 cda994d4ebb6399010f48d9e94586c64fbc24514 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ea487692239b63c714b16edc44acedef890cd258 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab ffc84c1be563c401109cd08cba36147d94a4a62c40a6228891797c17fa31e571c913021c7c787477 38ccfe9e472c45d1c011603729384e3a62940f93