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 rr9t Y Planarity_Certificates:threads=2elapsed=152.449cpu=296.940gc=16.640factor=1.957zXZִF! LU]ŗXf1-/6vRZy_9:f;ׇ(a+R9$+/VX(Sy4=]Be*TтuL0g8$p豀N9+hmQ SϷX"7媁ueRۓs?Sq}㵫&Ǒ}W=-`άHg~@YX+/.]Bt @_S)giߟJ2+KVh`d=2O f: )yL ]"i&x҃yqcS=Jd&Ѕ>GHXgLUfw {f㹠ana }@9aUewȏŗ4wAf.Rfg$wPh\;Nd)umLе#86=}e4'Q(Q;aw[WZnVɗ!Gb,1ռYC^#_=QF`@PH*[2 ,+4B 9@,$XV) 9 Planarity_Certificates o;uu(f>nW)%!:soB6X5V_#mٷ^])_p|H=n*tlWulzyYYHuC94&M/O{>6L\Y3Ыҧnp C1hFK,ܿsYvY6OAE:2~DmH;p[Y̽ NgacQuY-¿Ԟ@]Thӛ8ZNzzJn:ET c*|+G3ǥksz!/a.I<.?fYS (D"|վM99P #:_%iqm>EBDx9.T Z!QgJp}"dk3.ق!pS K xvM͜mpeoz7gACnrNZ|R_xjqLXId43F[&L 8W\Q@6D4 S쭏'OvLG|LӚ׼xu zC-X _/}Sal X``?# )YT|@z.FIA.  O(~56Wj3M<-D%|iy Ƶh0VJ yI+#6cPtT0'clK>|%&l}5KU#6H[gO 6DdmA r*Ct<􄄾f ,E|:bS`?:\tJu^/(6mm9WҬBV7[ X-#wpSsFӓh YV^a<~p>.[Ĺn3IjKm-chz|*_gt^M3vuw`&}hob3 -P]qﺶ=EuBNjŭePLλ"ϱ0jºQ9ICvwLdSb`Oe p> t"Ǽ 4oE}0D?irNyMTViU^^(zj?b: q" \8{ ]bu1Wqz}qh`'mj"☃UpU_ A~XS${ GбM/&]M3ݱ\ RJB" 4I=YN )W7Cکޚq4Q-#P`?dïH_+qfoEZ5#7CC2`|7?u"TYob#S{?P'+on5eS=ZǍ)an0􌵔F*K` 8wL(?Xt?Z2s' Fr8uI7j]}{&ۼ%ooHX@Aͭm Ɛq-vkGu Lתf97Vv CH'3 #6f7ا߄pjn5J$ឭl2raICqGCy6ߠQ)X{.1Sd '3h Ev@/"2yeN=s&Y:/)&g(ɹ^/XTL>d@+Ξ8r˨…-g`5pp-GE\ "uG8j-osIP^Ųc_*_)H9G Ymu| WVL劮$ *$' Q5CI ⛕m~Q:Hta+feEhq=$ :$*kx ˺آsB| Vb{ ]{gEΧXwɨqiKDS2_^@DQbdS:V2YBc6_k^2xb؜ Ju`Og0r)B}? !PFzkPɏ֧0J1u?\qNqﳚNr^E,V]цUV ]UX wE1+V64? 1,o`y޲'T'_85zu2&:Þ&89NKDAt h0`(:ӎx!@hj)~古V=}F.ՙnԭUcTIw%Q dD836c$G+\^pO =tQ׼p70ҙ$sl/2p sHǁ#NZkn/$Q %ǜM˜b|he:`<+NEԺVsrHakdv7H` M -jsђʐn)H# w=QG*{B>?hz!I0CDBXED7/yB~JƱ 35ֹdޯaGiΘ:j[zT0+pߞijN{i S9XWLlbQ^$Tz pȘht`뻂R|zB[kyjlz%fDGdq ͔ſR8-&, 33 2mRHvkl\$ s`\)$wnB<PVoMq;ì4)9 Xt(e${@e9wׇ51(5S@ Ӝ~6na) VPF΀2z`UR!i`|C$7o8Rtdzx$\1Ƈ :O1/х33q0q'S5LY=ICV|oS 0/fNrR^"m$1iLɈX9QI7qsZvJ34-Sx5 2 `|hܶb/H]?Uf©p-X `J= x0y>Cě>tv=@ 1f5/wH(ﮝn; AcI : Z<xY-Dpi؇\a+H u40tdl:$|VMmpLDz).:%D~y5%"aKFNqy/c<ꘟÎvS {G)WFY_ϱ4Mo~#k)S5l1rl)~ALP:REtX$$a*F :|!3>hpܬ*BgWw`sJFҢfPfe*G BO`Lݟ)Q[$6VПIjEJ0$^YHXDs$Yfir%$4N3%@w1i˲ H.'x8̐-NB 7>nO{G Wƞ VN˰;xt8Q֔ :ad_PsxfȦGU|`Tlb+"z')b4T jj$%sPIb?2IM:>|{YAD]qE&a7FK!e8>C+p 59d>8uIwfkA!#yrlW8yDUwWǎ._I%*Vn$ʪRvo%^HQm[ayn^,8rXJ@ʾA:IB <4ޫƆi*kCSr/qOfΗ5ȟyqM"~8@ > DB\\&=SP4Y$Wdd09*%AzIVyyd<ֶeb&ǺicfR.0DhtBݳcn7]?}I/ iұȹEW}ڥ$"ϰ?9^UnQ*}s]ڻj>h*s=K?%hAV͌{/݀sѽ#k2'̙TΤ*|F[df6<9jmբ2H9r!X]+ׁ\vmbXa"|*4̞,UZ%VrȤ4* }H{p $ K]bAa,l*NH: ؓBBn9? KUxW7 C}!h#}oORtU!N$aK?q~avӧIIRLb 6kȓ*4gߞwu3%j L+h6f2a'`qqMD߻ѱ6#ƈБ[*iT VSjVv3/M;s5o:rÒe(dLA%56aZ'`qGmhvˬL|Y]}[ eE:#GNqS»נZ#Ԝ5x^yxbBM7 mkg Oc|c+|lNШ|}0"wI~ JR<TξY|zN'RҖ]e̒c{PVbCVmb8 BJyt0lWҪ (G 'aN:iY܃Z΄3|]w o-$22GVA v~J:*hHA{YO9.bͩ:`|6Bs<:†J.cMW&c7ڿ\\17\O$lLG-SavH4+>}xQXȷ!LӐn8$F7wӯYC՛dM\c|xthFxh˷@鳖o!O4r2`:w`m ],(v4fwb.]~Fb,V/7}''wKte ד␔f>Ae[yPN}]RnC}cė'|~+g, <%DӦ p\-*G..ZpoTEc$A紐`9!Y?5_42׻A8 NlwƠOy84Q2L`j)cB{ ,ObbbzaA0 $Ӄ Tl XF)@@+d L }akT+I^^_I3xs8>9) T[MOo3ļjc+;"_}_:?.U.>{ڕvJ՞ V}:" ^0WĘ M#Aͮӊ:Wƥa5Yɍ/۵gMZޞى0DAKbM ~i./rHnpY6HG~ ¼w_|݉NFQo4Ь[Yh@%0:CiK?t_d?]A}-*J})Z:tʉ]l8ZGXhZPH$J1P c.KA:Io#(U6.ʑ.X9 Ht]ع MKl|5$cS㐟 *b:h9JM>'d=Jl ׅ '#rhnvSmlLURevACe I}awQH3"n"jo п6<2F:4Dc37Vfd㛈BSOŬVGq 9;&m/яgtMTfFō"d0xƖ;o٦MM&*Xَ3 a`q[ϹΗS2.CN W55`|0!#daoɨK[?Cr<Kv+8BSĈ1 7uP`䡵׬ @N: rf4Do *̺M{~#څ t;Tg4hE{z ^8_ge[\yZ۠EHٝ~np do.ݹ1ׁ]9:~3~{E>7m߷Srkw뢌˰Q$C# {P^S h\saB/CS&ېe"4R~дñ[ў)asGeQաغaI}4TB-*QZ%S8]o[], rp Uc'+8@y |JQCMF1t xq;`i د 2EgUNprF7G7 IIM ϖ(醐΁'lEΫo)eS,7By͒@ao2&Vcg7ꥧ,{, "Z" zҬ攮u HF Vӽdzj͆{YG᲏/quQz[ ȔjaU1jG6\^: X $:Oh>֖u1!m4bpApܢrݣBA#cwN _3Ț@j +΃0Ρ=gW/BpI $k8B'n`Oxsz0[Cq{w 90Ĕ"%[cD^(-/*c1fvIkpͳs5Vk ~Ϲ={lSǝ9w A@綸 ;1 iͧ9H2h'ЇƩ){QV,EǐLd6+m$XD1mtǨsϥ)]dm+g/B }-cGB Z P#b ^N΀jmRIy)'k w?F; (!{#B9>=@'HXthjL⧃q9u`gY8j uu!Ȅ` ?K €͊,UP l@LklGbRtCS=Ƃ ި}"LLIaU`vxJZǀx~TUb9$^T)uA$ynH{Dt5''Px ٱqV00 768{08QvfE Pr;BnROZx1 qjʅ.<;SUoiK-7mq=a4ϱ0!n:"1SX $VqU!^{Q %Ȱޢ{hN:]9oDP8&9glF .vtum%bӺïJtRUFZV1ߖ K8ϠEDdTO߻c[l)I#C4`~>$_ U`I_L>@^HQ;)a]y3,Ef``WP:kTu+o UQnp')Оu pS{7G'TKo'4 š7R4GyM<,UGo'+XJ}3o#uN6Læ肇O D-7Wn*jAo6ӅI$ qߧ`D뉶)ѧ~(evzu|`F ZRQ F. b@zcOl5*@{)aI>R $TpB~<-ȁ-%@_ˡ8c?Zpb1N_O`MСGM:'ߞ;$ORKrՆc'_"#EE=Ƹ|QN,&籨 DVH25.fCV!Y!Г+\[TcR8YbdXE\8Ll䶤CI.c?W؂1@hhȃD m7z@Θ} ^$5gb~OJ_A"Sr8gr3v!KI*g ya 9PW:.Ӹ^+T!|>xT|!toRscjz| "i74UnHN}J6`Y.5*٨HR{̏%w*2LFkkVYMgI.抒tT{!}Ȯ$$\Pv)Xx7b-Lo~=PHޝ ` jjoJkьG7)AL6))R N?9 2ϘR*iB|pk }YYC]oOzO)z;=ͮMJ\dt_nl!<LAyiR|ł#p# 4Ra[λ%2xfdQXZ O[0<܅FҊ=r+ŋVGVitb4p`ԩd;_/]Bv\8?#_HOn *O͵'p 7[4qٝ?Ј3h[._K9$9&ȕ[Po@S4:j7.{>/MfO]?>l"m@ӎs*Z+S3N6riU{ڸ8B1cSq0ZOѤun1*l+(otT ɹ/<*"j_O~ky f"φ R&@C5[fA\ ȔF-HȣPs0>Jx?Y0QQ5X/钝eޛ$Ӄ݂b9H1`Q^{\fi.XQЃI~.JDռ^.4X`{pM6 m ?i=V3ϒ⸤ɇ0/#q^tA H:TI77 9ߘ`zt؍BF6jjBȹЫ@R!u!e-+&šy%'$iRw*|6d1v,t(r%|ә~\— $P]'~W""%&*cMʴO!:Sݶ1IkY ;S"7h8H@WF bW@* q~Jfhqn}q94{--H# 6ӱ6SupǶ&& WBazAk]VL:3Ьz$Sas^tIzF:k0<.PRgPK`@ME[m2MJ,o5M\Uz,fWū_=fx#)^b3z6.D$-n|/L $aH F`r\ h"4w ~mC9 ;HoW3[4rҝ,c Pr ה`׎P g 60a %؟ȼ?xN{X )S#:&#YULZ-1l^P5ަ95(ȡ7 E-1 B)E rK0"û賘# $t9;~DY"ڱakSc} ur c?5M21bvVZ3jYMW,۫f*X5M~S?̬:@{3cBP04,_,SDCE,Eơ`T[}wpU nɄ݈D`*4r"a%y%n2tXA LG$/o1_t%:xߨ?lcV}+@ D[[ 9hqZMݧꞎG< 5屮N'EPl+zx[n`"bnHevG,v=_}vl:"e5ДP g&RP@`3NfԶ`|{3Dl4xO2{t.jŤ5\L¬lun7*JU ¾J_PXgFS];΀ E m7%t2E{[Ü+|FJۀslb5S*(&qyB~lxwa,(j5+>MH&|GnrpG$z'#de3ѰX)V dx|KbrN`$eML3X^kBتK23W_(1&Oi,*I6+]c;mr}1m!Qrm.,0:Ԫ4JJsZPh‚"Ȝ4drϙ2f;TfYZuTx"6h%OUut*2D&\#M^e䘴BUtTKb Or9ƴkx {@p1b!$dpW&*f4Ow>1^"@Ya߻ni8 r9VS7 AԼcSF&@g3[9hN:uYgSSs#rm^a@wOzy9=bKڿBZҟ"NZ#7;yP\P"^e? EBES!72Hql:!qcMIiDf^|u] hOThC:6PJoˍKGJS`]8Z7Go|wʰ}OܬYotB8\! `zwO/o+:XKD1 Z,?år.AzkqsQw r;|gS(\N4ZlՄMRY\^8Wsׄ5`0;%▂v:"}e9&ؐKVut z΄.+Vfp)O?|&)h)vٮHGhǹ6K 1F sm0Ϻ&;<}4[]E :: a ^i-7Otoyrv\\84/YDi D}<ʮi^,0vB[u%!99؆T{̷ ͯ onYO"ϐ㴿' Z`۷ZlvޔAaUͻǎn:}=pT&|)7[!wV4Ͽ0DsD8"& ͇iJ)x=;#a3R }2$M%?+ф{gyW4=;Up03yJb rzPǍJ˄EX>[K>6Z;Ct4GM|cT-|ՓQEK~| Wx;b[] a<^פk9 HOmFJ@Qemh"aD3=DSU)dU;n1Lя9E6fó~Oh/tn1A-+_,ѥ9 a vS9td#1H-GKyg0OKzķO;'O:ZeIx/Cl,IdNe4EZ3=Ny z5b))Q1iBNV` Ӌ ŜJ:}nEݙ^.'jX{(g)2''񣨧cVo:{h),_5>W!yOfL='Ih% ڹhWyd0nߌAIB88]G^P,ҿuvp!Pq(vt-e2b#ENkR?DPE)JhtBBw( L4W]4[CPU /0:a e%{0يѪׂy/8 ^Sm?[ye麉+>RPA|,X/UY^\IWUJCMupQ2W>g5Ģ%5״D ?l2?N rawSJkD$/zrnyѠ^9ް@RJAMdH2j=;^956&%gG{kt5Qqó#l5w@.e៖+ yV@7Ye4R;ig,Vx_]+MNkCV16gE Ѐ-sM5.( d? Pn#ۯ Mb{,wGsۗ*q$L%\v RaEg I-j`pzx0:τrg<s;>1K%`|zF ڻ1F ,l쿔*K|5^x!BFUԥ};ք Z ٩d=WlOy|K2^ߴPW|"9F):l8~nOTdSҎ 3R {nR[5 ;KR.7hzv {Yp}R^3K}j).C{~l}Er=7(?yM/7B~)@0hq3v0Qu +(,JE.\evv.ݝJܯFJ!~A1$leGeF9,=կ.R8thd2ˢ5#|LI>"oT:kÞ4ȫcG"<[V3L!$XgwbئcC=SzXwUjXKPQojɹ{*?s42U<l9~;;* iȫ[՟Rh<l6A`RO: V",|w #Z汜!7,# \ *-yMF^{1!~69cу}&) Ww!sam_@ͧ&3E)N«?9i7C@/I/oYF^ 1{ڴj􇊋`]--"oExhj 8a"_kZJ㣖}k2{Q^rni䤖$=-hǠ-CKi{z6hdTV3E,bʽuM Pa'r]t ?r } t<`]Lmy`SfٶʉaηrDXdlXi^iĸ]P:# Rۖozώ$}bSI?5{.D9Nb#A\^蕄&-@J˯Vɖ DqKD'#WI5 n2I=-f"Wv@gDM13;QdնGj435N%G EZ8 ND!* /3Or'_ؚu$V=XU{qN eÅq GK,S#]zD BvZ2c3.iT{]U6EX#B82F=+ pT0HĐi=qaYKrG[ NK97G}|qyw>}FF|\uvwAŻ@џStwhA,<\)9i֟+2dƴJ(R[ Ͷ WgYZ7zXZִF! #]ŗXi%ّ9h)-PbΌG7!;! N5ˍ.^PwY6B˜q=_{@da`lrFx{ҚAer%09-ʧʅx}mB>hTSזQj`@nF]BLJ^W$SI| ^V%ԷM0Ϣr[|ׯ!jl~S3; k;*T#rPYc-V)XCk/O s@GP@vplMW- HtZ)̚#?|UБL8MbYW@2Os(W1Pݑor?zfךg`x:l om~%C {"ma 2_(Eꔧ3#ևKlHSEm$NC^&W<295hV?=[6d=O/^M/sY?L's!}!tu" g\Nw5aJO͠h:g+Sk%N+b+nEаJ.]L\Yj |BF.FdZڥvۓ lShbT 7u'8'::I*՚Sek~UD ^4OUK%mbI8̈&uq p̘Bq^9v1hȋ/d?( 'ژ^C,x6Mp.-h4Ͳ߫tt~PT2ς] ntϷp ܞƥ\JB Z`!;Q2Ŵ*i] xZwa@0\+N):]:헳]{X˨m* άI[nJB5@#OFӊyP\egjӳ~T$d]<| l+i1WVːS쥗lz2Ou8K:_)OyM "WHdIqMi@{lTԉ*1$1eN決otI@vؾ) _{m{h8 9葲K>f3 Bsv]pny{$; Az-r:5( ͭOZ4kq}MkT[=Afe|Jnm,C78,tJ*E!@bbyq`-'gfK|<mMKQpȰ gaWx hvTh͙3>ЏStmzy~@1jy-F w7!(lFNxm J`בCK1"ۓч/gJtF>ƴxVeJ%~sufS 8T-@S G-1iD,~HXP?EY IB|*Ai"T7tA\ېܷgB0nvU>eb:q[W)!ٶXB~ +[yJ td&% g#RFduA0}҇]3O%EU1E4Lz- dp]Kͽ1fMqCIdIS)wu揩n$P#qX eHq?w;>3[K|0I˭D0zgDiG^v Hl#I 'R7&@˿k?j0Elâ~f[ B9{ٸ.2S b[`P!f#=,|,uTCLMIrd>~x\>Sdlv.># /\QfƞG[Jr鿃ߋ= )Z0>[iEXpn` pc!{ Y=8rԯ1IHv=by~Ŷa<]/_VxbpQKB/"{Y@·ǠA|u +Gwƣ,ZA9{ qv5l"`+X[M|Vw0.hsyg1uo Fxe#unF{v-Z^$U!ʢ&^m0)DkwPz\47#QUbřDqMF`_IdB> I,*,|r)!V^UMtAOq8hb|Iڬ}\Sf+b cd׽)rH=xfxh>a| 8+PQ W;5 ermHIحkj엒5i/l ,?[+Iʖ$LbݎC}EÐs'[z6}Ic𿚘wguVwZb;?5ݍCi4F4vV!J{B zd0Ի`#Ҋ~PCLq|#XJl.*,)/$}pKݐ8uQFe@R0B/j5{.B>Bo?^FxÖaP@雲̾N/=x[ a ł_?蛔?J6!UDC Մ{6x rBY dɅiqaÀ$/pϪr'a*?vzdp7ݚeETewJ37kn^XHb4dpRjI/t7اJQ` $BkQ:Ɇ9, om%  9f,]K8 $KՕxN '6ily%CR soi"LUB|ԛּzD>'iPS*&`oz?8Kvi䤽~nq_`zbH ]-3s+ȓr`&$E黣gl"g>-hő rH X{k;NZ+}l/a MS;)W(] b,lӣg70fufmкU;[ =Q~MᗾJT^q:Fw))ƎܝP#23 WBa( W,CDOW!X,7p7gEZw\;$T˞`Tp0iyá$5rh=&@Vy,-aאա1V6er6lVHĉWcn9fj}4aA7!;hn %Ggu@NDx'68{!R[lV빛u]k1zDj+C@wݗ-Ԙr be$l=ت<:B<>w.0QPiT;h3)̰nEsҹ.sĪCٱ"Q#7CWg6EG}gn τҒlycs/" cA2ĜiO@<^wޥh߮y5LDTZȽooлk"u-peQDdjcNy^-_D;_>[Ѕ%湯cSn&. 9G.Q}ٲ֜z570)!'x@B 1hYLO[B ٵ+F > UU(M@2C@|=mܳ/KRJ-0 ?'|zɣȲ,AYbMx\٢ϭ#vR,O%N|b)VkGEiM1q5cfnǵZ!q6% MD 윈[̣(:ՠFpN]K7,\|av^`3nS{^`!υ%KƊxb`ZJc+x~ , 2lrl/&, WjGO7uu2#hHܓ1sP ]EކB_j? SN;*Ou> /R!^,MkjqXf9NnB.pxzN`vdݕC|4[!FPD$-VQ'IϤ2lp~ؙ{^2)C^ؐ:4璱 qGS #xS %Ӱ NKyz5N"=Y!!ִ H~Ë vZ <y(3aA{OGL,x?{}yt-PϕE{#);;qUzHSæN1TMD]h{~"Ru^mGۑ92eQ2ަܸ%]̶WrpJ 1Z&p1A(O-O||Q&tsgxO&Jfmp΃9}7bȥJG"77=(ʩ"}6&ж0[7)jYTcE 3͓0-ZzIdwX%Q0&FcnX= + HEh=<\rz&S^{} @/`@U{ldlvoG=lf0Pv~g|>*INOhmm x {zUXS߂HK΄n[DiЌ&0 ihvXZ(3_?C]W6V}baGBf M֑'nc/lǾh\2wMحͺ;D?IV#/1Q?۴\;U xrIZ {8mW<;0rl^Yu;ZWI bG \Vc}ek_vоvh%ktxK?ԫK#utC^y;肣2!tD6.| l/vr48ogqI0A&ڰY`",9QF?bwqP"_&_%%'';n ] }&NF;D|_$l+gq09}W\ bb\WN-bBܿ=2m1nR1ۈGrS }n62/55;7muO hVKFx61?Σ-> ݤՔ3LnJ]M|llU颉R,^d ru*D;G!$qCf,$@ sfMjϜ&?#eF~}9b)Q؀Sٗ*r*x.!f|ᔏ:ODܸP[_xW?HUFV\*A/|,!ꌠ\5Vqy} -3$Xpx7Ԗ8q&@i(RM $(d/p P44aAZg-{y7H?DK ݜzң?c Q8-8+AɊ9)A0+e-в/n W75r o1feKfu:7=#JfidD몚KċRދ~9a^AIz)aS.xP3'*wEO58PX+#w ]i* K ̛%C=F7W]O?WhՕݨfk4<^H #_GD!3`qv8HP* Ѡ1Pu'u1]dҠ)VzB6'+ qH4'owKp`l&"% /eYgfaLmj$yPY=`3ݼ[-X9;bGnj|n^>U^NYB0 0#n $S Wuҕ׾‘ d4{? p?ڪ}H%,LgrT`BmJO"'N_74ۡ_+dH:=IV Ve̲AFq\-ծyhec U׻9 bzHb.F9adﻵ!nn "'~`GC 9n+TI$+t еAWsD !;u#\4Ä?n*'^pṫg.5QPhAEXb4߼O/ GX DڙniO_[eӈVbd(%<0BVT'\0,J1I&q.^`7 ~[3mMic6 $y _9/1 c3!R& KlU=~0+~gL |T&d$4 Wكú$I!KĻp1႐d͡><)j B$LA?ңvC6'ܖ) E-C;(BDVˮ`Ԧd+ 9:i|&/`[pm+h;.qj^ByóvxsG%?j~ˢh廘O@'ý9=fU4Cc6NZ HbLb7ԒOw ]i=zJ}޼D ;@:MI&-4\1D //HMHfn>&uYZَ5m?_ȻYwpRP|; aZdh[ρx5& 4zVE2έp,I /1 nf *Ygܸ<$B;yy3G|p01afxo3mp;i{?EΩ+WIbN"9Hq *6ض3t)I+weT2z+ p2w1T8f7W!a[ZqSȯR(^=뜝WAACV|9}Ԧl!W3c7tmV8!>*0\ "9Rb@S,EuMIx9oLӃw56&|q'D=wU[62Uc&G^qGbX;qW\e*"G%ݽ1/(?cƓ{߅eiSn5 <ٸehV1yV} b`hTޢ$nQ&24c3 g. 4iR[{6 ">7tWК{fa^$yZP@wF 9 R rT&:έ j2u^ m-*uǧVl\lDx#BʔoITFY{ S+ƬvI c^0mgnIFbq)"}1h$i/'#7u\j"*OH 1!W$T+_֩?}Hq3 ~VR/XU$iz _?^ 㗶 f O@3S^XUe`#=uRx v/T/O#P {sˆup9,DHvIIU7~0N