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 *3LL ]/ HOL-Data_Structures:threads=4elapsed=393.184cpu=1389.752gc=62.096factor=3.537zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%{ժ"lZD:#{bb_Ue1]~tY[r7emwHExQ O% F.sK?69y"vbf ?{MW3$N_*h$6>@Bo!JD1Sx0ggrL/"7ƈ*OJtxȜhWʢ xؑgmGHo}דզS 3 HOL-Data_Structures  t!dc,Zpk޾Y*.pNqrCBZQr5+V]F5+3c8 JNt '\> o+D(+C:Ҥǻ>[Eᦶa'1Row!pA'5,CX,Zn1G|(" 8aT'%s-5iT,#~6ҪKb`WGd{0v3l,Qq*% Xn^~k-jԻ1G)]py3y+c?D*ڝ炡$FВi(.BKథPOg{S伛QJ<|6J;!sY.zws<"A$f;CU7h >ؾqbCEt ED ^.C]7/Ì\sdH=}xY^Vƚpq*RSt TP?:]&FuK5K> Ͼ n;c62,*@Z,_[z<;0Cdē}E/>Ũy&uVq-J\ HП/G mGXc@>pvIj͇Ol~to8 M][q+>-7T({/hwݵ[CǛ$2Gzo/&m5L8"w`Zf仙b =%`^p*s܋ɬֲSb"^nhTV)۪{:Od/=%R$[[BXeB#k?Ww8xr,j֤PWA%V! ɮ~A!b2Qhf~m7$cZOo|; H>b_4YED2S).?R΄*(,Yc sLZ$kN_1کZw A-AFE1tDsI)D/.ESu򽡊~1lL6HU18j,JeF)i0ؽ \uURH4eS:8'x .nG'-Y-1ה?oZOegcleSٙϪ 0̶d\0_76ej߈sʌ`.{r9e[ 2#Wp]cꪦQ[3 f _6VE)"pҋ(V`]?!z#._'mQ$iX6T'H\XAsH{ ;LZ@ ?3vlv^t e{+O~Lk4 Ԩv~}&S(tR5VMegށI !),sR#"Gr;פsJ<LDžD 16"ŞiGw޻ˡaA ]X p(0~goC L` O +"]= wn訇`"g\U/XʍA=]Q\$%M{7y䐃5ry[f %crrBThk^]+-TVSh/zl[F.(^.}Űk=sXt(r g}Ypq=0fPygm3sdY/}N?u)fWpy/Q`=u^x#0חϑsdv򑈄J5qԩ wBLcp^ߢ}wH2_w.$iqO,0`0Yi`w|C@<)l9 T[i q`[{ܾa?PD-ՠ֫F 5b$QR}wG'Oҷ#mߪi.ѰuL/<_$ɂ;Wg,451@tc o&Ub+ `lZzK^.q~Y&i? wmqƔ 5Hv:F̌eY![FV%(Y)+W СzN^ٳGaV&(Ca( 0CH4-} ʅ#΃աOl?-)[BsF9Dik?Ɓ?%xSr+fQ*+> 3r%p7V )tG; iл4^%Ӽ%bTSY(f5'3x pF .Ka6]æ `C0qI r- wD'!;s[vh>A$B専j"i <ԊPF}!*-4-WO|neڿj J`{ EKGu]xU?C$QPG]^2?~FMG At+ V&WѲtA/9۞ uIoy*vʓZAdi3]U0aӝ#D¦{ӐrIثsr{VY)8@%/)*;?(hMlegN8 <ɀL.T]R. ,&o2] Pƚ௸=Mm_+`s5I@J`lXEUM8)K޹)avg)wM<:.D1ԊW|OB!@|d|~!`-z i"',HxKVwO#8;`\:](ٶ(|{(D yH!J@A'Xݿ5FS -$z/lTQ3WN•F fQbV'!],,Ԋ(Q5"T);J@bk[9R/'6I VԨD6~}bޞ֣99FxLJbkuА&buU\T Mq?XaݐI6q2Ra;pdQw:f۶,GI| f)xP\V a+kx8ll/A_^[q7ل͙0{dx'Zߥə_G|w }"&$nd%;_,¢)O ^Ӓ^pl(Rb=48S]3!(q~f՜3Sp*Yy8őn,G-B9|uG[5[RQc/Aogc/\4/^1èsMCn^/~B"%Iʒzg[W|W ]S{]L՗&d tP֙&cJʭ+DPzzQG¯kXLJ>}4@ƋkhePIYe-6&W4W@:.lHMH %Dw#N ;z$-]q>jHw *އ'5I2;rّL q94PAh~*,I0Z($pxgլgwpf2[ d߿ Ԥ65E!lH*qvzhK%1,~9zЬ0FΩ Y+ͥKx> aϕE`.ݥֿqZYI4}ٛ<Ze{WӸm: r:p׃5p_YtX9W'de+P˜T\f=NpM:Pcrl'jgYZ7zXZִF! ]]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻Z(T)C9G$}h&g;PPiT$_b>t# nmK[E0wB ;[KqXy4lA_nYv5->?֫aHWooB%`]/8s? (zC˺A`o]z^G:Jݱxq'!0!~P}CYUkXt3#,fOz8J΢ߋe jeM5'ꪭR>?d_ө'*dJDZ*Sƭ.=f׮0M} & StY1NuY h!V3‹!!vv.XB~$1νaxL8K}Xb rW㓌دU´W݀J4ڿKyFF>?V2(3@FZ2| +% ;1=W 7׍lR9W hͨ$qa()q#6ϙO7ax*Xbd})=jĬ$J!mX^{@} _(S'9* c>-k PתKhJܠBD h۞V/?d$kZLIhKhу9W &#W:ZFd\| ƪ1%'\U-{6K (u` Dz¦rJ7_*w铯PA&yϳ[W߄YtU 繻* wgYZ7zXZִF! ~i]ŗXi%GfߢE.}tT( `CJMzZRBؓ<2C؈:Gξ ~;)Ki Wr]c3mBw#گ3ԠjGJ_VF%^LR0H (#k&wN<`wO3BKxU34_+ qj !>}1ԉwxx'o׊q%ER+vs$?rgmWxB 'iRFs5E.M:BÄ)j5g߮rln<ൕ(t|[E"=S [>J),۸\׎XKFlSD 绱L#,L"qsB#1pcU%Mq!h {k[7K .b:Kd >jgc\&B j"mz`1Ea_vSi㐥< \N9 r,=`x6{Ns\ׄ}P}PDiEUfa9 X<qQOT/[tyf8ܩ C&> |?I<:~f?Y"C/,Pń {M#&%EVgj*lB:I(YzvXI=&/z~qa0l&?X HOIA 'S-aUMfnހ" 9_M_&0oi~sA[Ăp>\@:+1TIPu jggI2Kf̋JCUDXkI΋9<5ҳZ{u&G4 A<`Rp$n瘔DF砵°Wh^cW,z8QչS 8Hy9xsi$/LQ9k)'.!ѫ za}Y)LTb; j,$)Ծ  Ny HDK&fLhHCm v+JSoFA csyEautkkKI)fJfObvn?nh9Җ˒ aNDnme$ :%t:r9eS"ˑ hWx8$C9@QՇGq~ђo-(>EvےF'#140Qo/ˁ2 #-MЅK.:I5 _a` nE͔ Z~ 3eGDcbwo҃Md[' atb17g]67] s[II#N[V5zUsx-,&G|܌_vAMd :P={F^I 7~CWrѪN#5tgXq 1?5yqkM!5p);aLFGE.5e[ GYB_8lm v n|=TL5 7'QYAc6IuY!7훳)& ʞ^heET%q?XX9]Saoyyi$ШDu9SYǗ@9Vw5j-W}mPNM8qv Wm0qL*dv_{qepH ԝy+X5FcwwX9,)i?)8, JZϝ҅CjL{tB֭Y`5I)ki RG|虖gbi u.7؎k%9ծcxD8$qؗEl-o28emP]xz/GN5ެ$@Xv1qyk-txn1)I-92z:7J$k[ Մ'YUthsQTy=| .wXp,p}?HBԺy`̮02r1_&"B=M}Th2d!P,VBw\ $6qDR>%VWb,yZntj<bFAGCd+/;" cX*E[Y_%GHԪ.ʼArYvY9#{V њZ5,;dK{3[֣IWNp۾H)hS]B-^NOt.{r%԰Y܆ЫW@FWmnW@OQ7a$`snd wp[3Gn,߂6j[<&4 j!,5GBVJz< c.:6 qkGćzsJ#flP v聯)+i1ȩ˙jV4ȧLAi@YɔIl!@ﰍ΅4k^ sLA -w! #,ʎͺ69VBav"a"(|# mT͇k̚>3)7$t}cXmRV i3wn>tPm ZpDBZ'64eZF)8rioc'IT┹9V63@*+i)')7T&Ę\ӳg7hc@[7 _ ͺ1 w?A&ftˈ= ;UmHgeVf=٬?8N;A &"`PD68xzu9nDQ]{k֯B3Q>X| 3WËWÞw0*P5:毸U]~qo_Ù#j 6p GnDӴ$%.ܪ^>۾*,;)IIC×nG/L=KS$o% R;'g#Rm^m )G/SLʅyAY̙!Y#X:w&Jz˨JĞͼWʒK})_ %RD٤i*-#1̩hvpKe=N![|,4Z׀r٠N},>`3*i GdJ(A@Y+kegj OB}?6PC{9bw?~ZrK|Ë %ϯOPF0F;;`EY1̓y\B.S%'{3LbY}Ca7U-e[8w?D"HS0BKPf22nֺ=^Lli.;BHjDP'{ FM$=P\Ċ+s^ aSaLVW꡿\ BEwDHrw Us.04 Z#BB 4Y++B+k~U"d~l ?pW[A@w&v g6))1@;ɮ ҿU?ٽSn瀛UXɏ*~IF.bn/1J>?Kl: ^wD?߽bqO زB +xO$JT"Hñ K`IkK>2·嘺cTp:ym/hmD!@ YTKFQlQ۲=2'$MF|Lvݶ>tՍ)/K%vCnwϺWw "ЅupsXQvpVLEQN k0) ǧ=JYW'>yׅʹt![8a`su3Y0ѫlQQR8XeH~57PniwDۦ;Vy!xfSiͩSc$ $;VΛ{/!eTjǷg+M?)vC1dÊNjC'37 99qh۠)Ue!< G<a bs,e1鎱5,x;}*fq?*|dBJCDۈA )?CN`6zno>t3Ǘ-Tw4ƞe\I6l5dM ΗTN`^Iς}<J?ʰXѨͳyp|$/)J@m>w=#vܨ5 Xd9U/`«rR X$fm_nBbcKXL"Ԕ;KHNfo4`]{;)DJ6opb1x_hP݇\: Rf`'&i7LK7*ؒ0#g)Q;NËj3Y&#@CY"MUa1tb&Kʖ]f"C0j='33F& 5׬GƲ  @ϘսRq2|=6cdFί5'ߑrIJ5_, 7|PWI)ݴ`qzi+Lb"Q~عUݩ\baD6T v0 j꫰U0m}[\Ipb{oNܷZ<,i|BXELdt;~\|J?l-F!c:{ӉFW5V!MfR1]+I13^Z<՟MX 0~{s N#3J!efrX _鷖3>U^̖)3`>y \jISX^z\I4}M̡bV>99״:dt\M"*_dO&X Aǽoc*͊LÍʄm6Kk `meAjZc340 ={lK*6cD_MOO}!|1$ZCCRdHhi1Z#dg *g ǤcySX{a{߬Ѫuf#`?=Ք7T x(-`q}ug5OwiNeÞG+eܛ|OJn$]}UJ3|DJu)(лoPĥLZdifTWo`9q?bĝe4~=ԣ ayWNjhw' UD*_4v(k~(kx$4l DoE,dχr*E]R?'- &EmZ 1 8To)A Q@fU_8]4>Ü̢0׮hp/GeEPɪhso-8)dC|O.,$ϊGrn6aWsay4a]3F>Ɗ<n[EmĒ࢔"hIQjo!xenY+DR䝜)N Σ;LWg.e))Nxɼn%nrj? P0""g r$E݋~FKEiv; a/ȣr4t}EHr;&PV6 23z=iB ꪴRGu1\3l,!0iY5f_gGԏ2o^5,Xܴ I~WImֺE{ pU :.鞉QIfzZq<5g]MŽs kkK1md^$qnu|VIcl_PUx]yנ/s>!1MY-` 佺a es hY1y"Z1)pUf{F\{E_ N tzpDZC6-<ֵܚvlve,^k8E{A{b8h6/АĬr<1;|QJ'n*R,;u"eq%#ߡYlm!ZU/|5r٠}eIdî\ʶ9-qPHT9"1+,/ Z]zƪtEmG;Sȡy\'3}mnHKVL\H#uW:`"o'U'J(Z` m>.-;Q qkՐac}4\tԑwgU[[w56}EG(XiNq`N CC4.cB%b#OE@BC1܍T^n.J6*XUPک63CYrw>W6\;S z<ԫ,iln|Pa}'Hx[+ۚj QVY5Ux캅vhUN{ҜY'6N-(r@cQ^=T` H5F % 8 Kzi7xt)@Nc[C@ SM >8ZMiZ#fSiߡe)ڙ  ]DƼ,q&* ƽSHK+Hnn,CQ}M~4G# Θ P_eO%H;NrCN <{5>God U$r3A9P^Ƅ4\۟ HX;<ZDr;QrP]|?QlCrSdLPR'@ЫS9HC-,Ų>u*u((]FHMUEU:ErMqji*-/BdMqL FVC4+{+΀)!Kl\]f]{_NRL D`?2w8.jG}:5p%J_(Ǚ1ɛ, dJ3>rHE1^tzߑi`D@Ϩt"z'S~JIۊSS=pБRstk8soJ _O{sꩂK|!Z!9l0&Q E?b5Tg;i#kړOZ.X;fI> ؍PKrEr@0c0u.3`Ѝ{ Mk8߀)Eo̚<(6+L 驢-ݯ5`Xj#Cdh-Egղ4А/%PK2p߻%+L+3# aLİS9[(rCbyPS5):|NTWB#m_k0LNR" b9CH]D6Ͻ_B0іqhdk6f `)_ EQknWBBN$E@ c, W5k?\"Bxx]IBu2:ZNo26Lt^VlJ)W!m{1 r4GQ}3]EnzsdC2O- |ؤo|:Cf#V*pk 4s5mN*ϒ۳IɳSξŮ,RThk$-%,1ã8B좗!;t/HsBnMUٲլiOm9GZɨ0GA#^-ʟ%'q!17 > wNU K3 $ BLn0Y'0p>/|NɢC VuV)c7=#lLF#[!xUaUn0}]m7vĤm==9g5 WF@6GFM-)9Ц ;/% 8igiBW {6GO\]T3v5@g3m6#k_[w]hR uZES#1tIp')<ܤuogD#_3x*ϕq駤+^6[j+ rұ+--$:h_4:8yeT̿EC!9>-RP4fL%+IJbHW ÀR`UOqlI &ȓ5#( )gՁup{PD8QZ0oG*΃EQUMvG1ܰ)'6LRˏbuϏܳVT] i,1OƐ&H5g}~vPz`.g 3kb}AUH0"gn(ap,um?D૿*/.Kum)`@'psi :S{7fKNulvб&#;z8r/=1A|j7*!?.$7cwN\|سE'Q) 9[yJ-Q)4bZJ,}S%3H, yO=7UzR@$I 4ҍ&~_͸j`:cq`TG XAf!4nEZcԐVEg $!4AWA$N^Ov?Msj>e3:ؾmq-g*Ԁ[ \L$WG\n8|~m͸ 07KK3n䒃׆FeA c|K. 0M,{b7ob,"R(qpkܿ 5?ٛ9?^'%$C%sR7HH=&SYT=8NJ`V^"r o9^F\G;&wU#5۸A)㔑MUk3ղ2>jSMF3W|of2D%!4ڌұvWxaqw PJza_\z|(X ,גe RJS mQ fT%4r uyn;GXO77+4nEag~}jVze1nA4/'٫o5 $K?- 08V'M<XMUaՁ:z}OgʝS-Ay}3ÔO"^_w>CvY]Ԋ-CdI>,Wm8z!kJfpcwv.-#Y1]g+Č/Xe q N ;hֳhOdpE`q VHeG7-b؟c a GeBJJ31vJ1`}oq_m׳s0CGu ݺAq-5 &Ygqn/4EvJφ+k0uFPJU[0?{; ma|8y>Hⶐp<3Ŷ߀R)h"x-HYy,iY·J 1w;b@Md%qCOOzVRQpI!WP&ja) P.h|#S&N\)m )bCG' M0ֹ݃LB[Y*"?ton!~vgA)S)H$.* i:IwT&(̆8s<:ݬ"~|T4͡,nЀu\m5s)p*9j9L,ҶUޘ(f/ AQ޾C⮷qZl;omf 3e]U;iok éNovHDj"zzxs8r <<@NfلIAs~QnDXB~so-|]:iђf@EV mX5L?eF6t^Ldk Eb]CC$oHwW?qx"jG #|b}bSsɕ,*'pB%OrGyARZ]xbYܝdk5c'nl.TOx:ᵝ;8FV š4|}7 LqW E7g=V ٰCĩ]G 7M[~$sJi/ǔnVp͒F9!<~+.ޕ% NO݇2@襤ģ\̴bfrTrPHɏҏŌGڄzji6YCAu&} -ќ7-3lG?@gQy1dbPq:gEl :c蛫VmCp<3񆒄 1%T5gOF}IR1 %-oZҕJomT:#: _,28lOgm\3U\U7f E^IFOJa:fd.F4.BtsU"̻x $iih6=pPm@.i ErԭƘ6$JoW{ L 30lskJF6b\P ?}4G=++Amm\Qhx?,kʗGFcJPb_iHuBLkI:ybN(Ώ i\Alv/co6IWפ(s=vV0wGILidHlDQZN^%{C`juQˤhm|^ۇ=W?e4 #ºv O֏FVHR6:!^|V%O7޹mneQ<7ݟ 1VNg"F-8Oj,t}|dϓ5\[v/ +6pO.Knd!^z7^lZ9'ׯA5:N .JkQK_j 8G h&^Eڹ(c} 1$@cXnmN]ap9SˉDa,8 z5>ONTsV7tbk`/Lk5`zֺ첒"Ĕ&LYţ/ԆUK_!$"8qRe1;bq6pG!k:Wihe K?> ϶Ò|wF[ߘ`\#8*+{qc;,ԽH.ͯv38en/Icwd 2N$[R/Sm8uJՙæ7ԕͤ~WҝkIL5> ^<ʐ=)cBoU|D0A.)!XxD"Y GhV7ꇷg]g(0$T!ٵJj:s^B|PcqY\7*= j=Kq i43Q $AF2%30r:0ٲt ?"F"󇵾\4{L`4!%D_(%ֳ5"$(ZbMzg7C M05"+&ɒߐYP?3ulT{ɝɭ-=ɴct{Iɭh'J k_)Ax9Tbx01/o b#W|YyG8++xN=a!" jIgvt~zg2m(*zLZ 25xQ@ӗ( 7̣;9jۤuY(FLr43a舕/34+NPB1$wwS6{U=wGMmzDMQNn=Dd)/e=QuR֧`n\)"FU]sְJbB>TIl'{QQfؠI(sf3 :{FBn`g>h9VYBGnY40u8<ސz| ܺxʩ늵*Sj^^ԡ)BYAѤM1"?!S 2fl/xΦ.yք188 s9f"`9.f~<-qj$m֣y\?ogzc/QMq utY(zg3lo$^rRgi]E¸6cE%]/HkI2 c5av`v~uI's/&Ry!=k=ζاmQ3$4&5($_^[~.Iݙ"ȥ^$in[jzp\򫚜I#osn€'RJk{~˰ j{‘'b3 IqV= I\2kfxPu,B%KYWqD5.[ u[$S%\n˟+@Ў4;=I ߟۅn> 8 NJ_d[GDAC,#cZb[={]s"B GrI}\ڳ¬1 }E@|Dk!3}Ϟ,SX>sD*ޫhT"^RE { pZ]~9~3b8F{-GfPl"&V-d)=i?Ik`G&?vw wtE6 bCj`P Q;wOAC/x&oweRK:[Md3(90 ?%WͶ8zʖlX~YZSK2volj,R,; tZ8hÉ<FzL֯F;ޭc~'>pQ~bW"e(;mcRFo;yzI7 aoA'J.RHK"GD,NLju\حn3HuC;Ӟn)뢩K~} N>Fy+Ϊ]?GFں|x< '2B$5?GMO170t3QI1{M%ql$qA(qD4co(=|\[ᾙ PռQ:qƌE=770=/Sr4M ,2=¤P<x0nWmkJ*\Sa]Wׯ>t̺w'=v7˧ -&F*D*w5_U1"/~VTD,[ t)z8w.&F>@`v܌bb@ŋ`- iκ zɂH$D޼FU瞢 M' &^< p^m'GO>^:{[԰:ЉLچ ּ9}ϙW͆A Pѩ͸Â_6lو~I-{5m' c58`w'?֟̋I.RF\UiwQ Јt_,$(+U^?H.Hm4:WaV*hXߌ,>GGu8| X5jDʼn/߱(/Xp=< 6Q,'!ƫs$nDP8D 쭣=@Z%UXq4 !L,3x>25ȸ';~d6 l^>p$-p&|L˹8 :3Ōf@g&M>0GMCEdʠu^ǨTH&zyQ"[wT ~+[;b ^f C.C~,!HHlX$=Z~h}8aAŬ;Ѱ!9g=~sZmpdžva2yόnV߳uxǩO')hGWrM<4W5L|l+C(ֹׂ{>6o0+g l*i*1_ӝ!Sԙ=7/Y[Hn%nb'sl  D+yZy`0WpHFrЛ*W$ב]ҙrbˍ6t%MXٍc| rAwHI5ط'N_I*o)/OsVucF'A1KUIiVgХI iipu80}6"w{;iߙ^1V)"?2 49b2#&XpN}n ]<8nwO$󁘔/@HXȕ!}!,C8(IN׶m=Ӊa&Y.`kPexëy^xX! c" 61 im (Uf%),#dژ'+e>ÎWL3@p\APS/[̯Ney鶕j?Wy^Y Yc K `^)Te;l> T"sNYA\>gQ;sZ̚1vȕ،pt+JjJU~Rs+kl9,|nkYFĤ=&;O"o]|-0^s6,#o|rWE8k vu@@+`yJhͤr\Ύ3ekv!;mTF ڥoE<F;j7[\&oZ{xVH8j`{$8kq/* } nPgFoC93'uQh&NYhё̶m5nޓ OL% lT^ "ɆFO hlS| #X& Bٽ\oqo>%^5NI6O;|Hd0Gv;DiuRD 3D|aw K-^ƦR=ލTNvWWbݞF!NMv9D&2H[|"`wDњì|L~}MVHLjFBCur7=~ANaX~P^fx6{A{FȘo^hT^ꠍ[w3T@ NT/etQ SQ?4.2y:/H<=dj}< >A6i? B(n?׽J? eex5lt푩J]\jU2]7LW5CKJy<7w-aC%2ȷ37S"BT܋u"tߍ5@@4 kiϢ&iu}ke%9R Qtϊ1z ]w}9:pU2}Mw#O^e`_?Z!r]mB^,.4R36(!nqb[9H!ʘW>.j ԓYf,)|[e|~ 2BBncAZ~z {a5-`Aj=xl)=vfu젺ȠTJF@Q1r/ zn Fh[&VZMO6d1T 6_D9Q`}?cpF:\tcK)[ [Δ :DJ2_y}J^od`,HQDXr*~$)x߼Rƀm,y7 ;,Sbtk5%DagmK,d};fwݵ ] ֔wL={tltO{#T0Tp"t瑨dF_BB{us;7k ̼// ߒg尖=ޖI.B! ]bT& d Ǯ(#oDt,u;n@)~d.kg{!h}c5R&l܏#"9(ؼ;}wY~z85 g˼_V))4֩хm M2ARRUw_FTK`3ʫya~H]H,u9Z>yB(T]fnEWQ˵CE]/ wu=y$Cjn}^VN/;6famraOab]{[.ɶwK9qH^Z!q\["u 3q{4ܲ4՜U$]߰펾D`|p ߘjsg/&5kO{ HO-/suhjsǸ3s[w% [;PIGrcɓ.q&OǽO ~3_.P+^;\jW_: \Qm$fA 5QAW]rr*pKZso2B2\tS :W/bYM#uqcK'-^ԛB7DP*L(ЬbѶM)LQjl hƗ'o) {n"KVJ-vyJq"9θާtHƼ˔,ԛ@*W>x8ٽBmXoa=7++!I2HNtiM-8tSX;g7KBh<0gL2rVW١lo#ͱ?I$Eb\;;u= l"ƒhvUe<H,s}"~AknXfM6po{4Z+8M9BUdv3W>i_oĿΠ/k _i2-wBXYLR%D $P_SB_u!*v.';kj*$/mE,XD%eBD!?tdgYZ924c17efadf01557cb77c64e81c87cc34b9b048a1795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b