SQLite format 3@ .C  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  R R9~4\ ] HOL-Datatype_Benchmark:threads=6elapsed=484.299cpu=1964.836gc=724.1807zXZִF! 5`]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;z`9 ~k55Xl>BMaO[K$X1@זo ?IU"^\gZJnZRX p,+%#@gpzf']bLΡJV?B#wUIc[Do1f0C,EekBBoSr"=uf3rbI'(V0\w >\eu[]IظjXJN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ P檺[B\H.> gJhe*Tw uwU sw?Ӿ@%1k ɪ9v+a= nNUQuV?riPLt<ť-r(mjz=4R8Dn3iT;ohz (Bܑu/Tϫl^94UM4a2Νr"&E#<Բs9+ePu6ٯ:BJ?"t'hЍa5=EӼvv~3>Zur˩N!`GU> yW?9Ekgtx\ex `zk4\=CttɅ&rB?ɸ^ڶ>fkEX]~=*g'dӕkGs#~rw"tTRo׽h ǵ`C8r >kAYmS^>~ ɼ5J{-" jdqGͮC5ӵ0=7.k]L #ݱgYZ7zXZִF! e{]ŗXi%Jܧ7aET3XJMFk~(Vל-0Md.ԡ-QEQ]߸9e&$L^a9BJ8"2C1 (Ѝ-pPb胞B*,pVw5WYL `j¡1J("q#^KT%5]ʸvL#oC ᜒR>˙-)ocKBӔQm +%gVh|&Qyw"^ID,y<'݂fԆ#Fփ{ 1jjP*SڪdȽ86d$YHrߕlP?DܺM¥Y+FwfmZNnS}bji74ek*$8臊#}=4Z¼(Ƅ`3C R%]ݞG= m:ɮf֟\&.lɨm "S# ̨i~6r}>0O_K ./fV.N灜j?3q%VQFk2xQr-_̈́D[`inw.8<@Oc0#N2ZOG蔎[%O (fډl f-U]DP!D~LlB#"YY8ނ^ NuN[ ]4qXto.g&Q,$sS+@ ( OzxKXhp}.-h,9IDHyFF/$'[ڙ&f2NZiftQBW]y/6:JbSghe^,TsZ-X:_?)tV>&eZ-, fFIKVX4I]V1?v`íyU wӺw&Tc{,6B %ГDoQz{[Xedk(owm]p&hm=[sWN7Td>9n=PDcIB{OV&@yT7>ϻNw^ (e5K] $9ˤX/8rW-'[K4 /ym`Fq`i¡'$餧YFr! j^mfck><{CM̰y|V2ƉɰF+J$b N5{ s$PQT??HF`O΢.q“|N͹K #q;; z4݇\(+?tjCGJ}ܔȲHaO:RIΆt&0i:^jn: zBbwx,^2~b5:~vyF$7-3D3 * PT5jf@5Ԅ'&dԐaiXvnt-m^ȍvR5 ibja^Suyp}q' H.u'CkaȾm:xlacdZqGBWejyym؋Q|(8e? AP˪Vf.y |E}`M˒ĄQWE64UϮ9pN"T+J9JGUFbeF#{2 T$FN4 IV܋sJw(NF,f_F] E UyElY1tZwWԻ/LSpdHaYL.)>_\|gX@J2S[8|+_)V=]( p%Ǿ(h8xOir$9Gb#4'58?&D?|SaG#JFMlvkkpK"#B3eH|`25=E4%NX?~lׄ^fYG&@ZYbcL8#]YAr[SbKB}ǣumRVRVIDQg|އ.(wD l.  XĆMnErA}xsz^sO~ś{$={2yɹ9Amik`7VT9Vx3^;r=vГS~O/LYpdv);d| 7^9}WM6Q8LBKn6~r|8'0h h LOB 1]k7IvUl G2z$Wևfx-BbYqHa/ !v9jIXAcH*c Λq3QUF7Y6zQI|l'?u3YSDKه u?2Vpv4GZѳ1$ VQtG)D70Qy=I)&c;y5N:fvq曱WlXɂ]B=P3 4VSxIh],ϳEDcI4;3PE _Yɂ pT-tv#&OKԴs,xZҳΐidgmlM;o(k 9oozj[@w'BJr- Zype5GEY犢PmMxt6pA։2Z]#f{HKo:%YR,Wf1|z;:d] ӧz.xbr#9oI) ߊfǃIoFy0vۖ R՜?Wߪhb&uCOW(د@z㷳5=%]7ESckJ-} 63#&Cѽ𸡯BVUX_?D @$mCMۃ!qMA`pR[o_;0H(FjYA{N, F$?K3%SQ| 7t2t0/Z#lO)PEz@xg^;>}j\}LAOMB^}JMDЈ7x/ݸ7F{}Erlhy] Q1䜓 Qs,9@Yt7 )fgCL9vV{\N%D`?mo :aXǟӚV$sߛ/Ɲ?e}X?5 >=&׭3Cp=հo4W$}Msw JRD2וw=33$ (g:+eGV$^FHݏ+s15یoG(,X%+t'ʙ4xYzHtXogG {\1W"stѾnQ'0,b,of{(,\jBίɷ0e 7acG=Q = r"Q@*-Y78-6}^Juy Xu2e.Gu(I #%//jz3̬]̌=aܮCȼ(Z.GqwD1ʏ'|b|h!9>zCrF;&~ #|DSMҫ8Q !#!')BƑיּcݠ҂G\}-Vn1@i& V-9\EWf5Vd֫St–HIyݝ߾ELB 0p~Q\D|B ZcPzvH$lV S7{7l僾ŗREjjFLX!eC75Df m+Dޭb8>i&hkW%;d~OSHDǷ;2-Lt,u0h+s"> ]Gϓ?{I4Y\1j*\Sv:E,@ǀ1R~jXwP\02,m+B!IWOA4Dt4SPwh/oT|DEAsf 8޳hMszIi14ٳ'M'ؾJ~?9v1jl'E *9gf?3OQ7a%ijam\\j_ fbC,f6⴮~F{u\[6bG`XMtjD-.$L+2Sn%;р+|w;1U줍W;]Q< p]Sw" zS^z'IHA -G`CۭꩣQC~ïՁY=[M$?}*]<8E_[Bn֗,-RZ ДX|ZYӴ]_w$fav2j @0Vhr;}T.3!^<]R] ~jvIbT+:yL} O[Ht;W)KSO#.flu܀RQa-;k(:f~1&S% S)Kû 7 fL&;a@I4&.5PsƏGUץysMsߜL|Zm x,ufx1obE;FI;͜C0ގ?9-Kzєd-W3NAAФZ⽯Sew a{X]O& Ŭ>CV1`='ha[ŢGONlʭ;ws-I@z%uw4O^ӄ7E)ES2ss;4㧯G""6nFB Vdnb_+xb@%U!ȀA?9~A 3_|_l)^*h2]^k p%舎i@ab4 n\" zc!8~\p `M9MθB|TX蟭)f”I)6GjZkl42]2̪6hgX,Puֹ8,\/l=l K{p{>)J*Qmd2}kYITjnwL[$%ʂJԁGS$^ S2qxXKOUAI87%[ŅW`*PM<;qPv>P"H@á=!5OIYZeU;ΧADTPLf qÛoF׃vM/֨=  b4P(+ 4{XS#VXG_Ǖ Vëkg׼1U*Mt1A#>.)]9ਸ±}F z}؜E[s>ɨt@AbQ2.+tF[fjT(pUե_6 “]$=Q/Yveڕi V; DL)"Al cds۾((KE/<+ذD#wo0;kIe/=OMj.cjqC׏Mb@4Re#87"y=Ǽظe;'~*}ZOKzmAG!ZfaٖE3*6*#_] %o>fڈEV BKtq(Y凥7}Þg(W8B6pJ/uLq'_P$ȭ~ros u{gi9L"""x]j%U< %d8ʩK)MJͫ+vTm{wXIH($KZ`V `#7 |T%^NZ*:eR7םL({/qcXu #q#Lٱa/W=U-~Zi\WC&DHm1U0pt%)DLN LmTKjχK?I*3cӋ`fwCnIRf$h_Y3Qs2b2w}~e~K># q;aV:@@Zۮ>U?雡Cf$W:YEg`u!Ne1G**;18:4 XD &O.ASl K o0}.*V%5`“ϐu/gc.|׋ h !b  LeC-< +xVζr) @tBNɱ00黻q]&.]r3aaѵ@ JFϮf+/؋ APؽhXerBr(`oCZzQnQNW@^ qed.52#čKEU~*RY%FC>Xl%䄆ZԒsfܤ~bWj%zۻMޱM8K*EgY@g:qDŅxsl+_۟ҖgU0䞉doJg=#4Neejw Wg(8J3ɘe6Pn5N<4;."|UE!>cX[RNQ/H h8gq&ڷ})RHdG̟Ge6(3/h\`]]{BX%e@ӯSJ Pa[{WȽ*|Q#%f#UH\[T! 86mTuJЮNVX2\ mKq crI8}4'g+3>5Hv&{]SfOKvp d8^nP7q>.&>IlQX*w"ֹ O$ %, ev2{c`R$W @ RT@n3.FN0/m*dĀZ[-B{ț3א*95(n!60XHOCQ̡:hU&Q;@I D%-t {aZ#?\Pr^nO̾l΃Nx TZi0#Sk@M~ O+8k ܛ^КJa?e7|h':K?ĒG]y=+T.y9V+2)R+ըbl/ڐme}V@@*‰S|MوO@I[B G kW;N)RjjKM3 5&ܿnZP5\kG0 79>޽S9ԅGT,PҒvW=FCTRUO"OK\^:ẃ41L 1o_;>(d{zFXJ[E϶T[Z GIbuھ~F(u5cl&QdUl!= ʓTWb743`f71xet8t^9 ΉLJ[|3)HZLP>ZyF Jz*'4ϐhL|Kzbj퓦<'*'9M7~ h܌iBدzWd6.~V;,n^X*ng bV,HBPJGٷ1qցs8LUTT|uWH ^tčXi>>F[ Bx 'gLXK(e( =׉X˟k )){YY9z8"u#e~+L/ȤGVYHX#2yGrזPۿxD+H{%[WBֵI8ɬ3\%Q 'ʿ:luDJ!uoO#AX'HTz5Z՜tY`Z}E1v=J-+o0f]4*1'DyIc?C#{5KAhBVͥ:qb.< :ÜM^Ž L#wN\8'f|9- 37)i`!|2Ԁ\D4wӐ}Vv 4vf%)ӎU#WX6ULJ NZb' $kjĽR5d>wk|$"#7r4۝ քKw`r{W['` 51he6 ?ݠ=DpLXC< [3kMolzZ CfyrA!TO 8){!0K6피-{6,Bhg+7/pġi *RcJR=*H 쓬o9AWb %f1FdhKP:P3T q$ xF3W(3"[j7zJC kO^f3iOy5OFſ*CG2qh4;ϕ:V7 wo'L' KP'rVMe"Uurc64I4NhDٓ6:Dw`_B8k߀Zh>0ڻkLe 9ơ[bedfX3mm+ݺ 4quiBFw286Q['}07Աq]@8)s6 NqȜEؼi DpvZHd֌t֧q4Ⱦ=5|8uUo$+t-!̀Ba HWg xl"`uĸo"(+\%G6I: r&a,݌mYOL mtm-j5ꌣlHU%|S3_g(R q%NUpL}on/~2m"7lH1 >0E5 7EEL7sUZa3q~L2ь9Ν!}.&L3YSdI|#ki ,1|""s%rg=RK3FhV1v[UmiUoPHYWñX,ùq('cWttV: ^B.#[q~ES=z qבF^I`2o zךdp56f} |㓼~F=33pQ(*6b?n3,yt9Ď| I]ztU췟\oL9k @_ -g2t=Hu;jG!'Ӭ,G]V]ĩ~jy#a - Q  yZ">Zi{pj:`0?C2ŗDɸ%ګn*Llj)u[d1f?kїIv#x5W^]ԵF(J}QW'uphdF?}uj0RjNGsu} T*XG鵷\[E,Yk5!3 kߟPWXfdZr &8e|U+tT3IV3Uj% Y10ohI,dgY)#YK>FhhL +G2n7甆6_ߏe'0Bww 7с4O^N%巉Gb*|?Q8L$ƨ(n(<thͳsA1XH)fPͰdžj7k} [ў DeJnH5o=m%3nOLzj 6&YP} [Vc'Ul!XhY<1%46"h cΓS#!N(VJNΌQ!9 Pu"6YeDC rr?n HO/E_ 񧪚jpnŚk?//*WEq])qQJrjXuv}BŊ/HfOYĬ0Mb/ѧ/)no8x) yߢ`7}GcݰvGE 6-0ʄ,!<0Xx1$_Cᏹ nx"?۱fI}!7%gn{'=LBq4Mm=5'u`]şyȇOx* QK{@K*[<k#HBWmb[`ʍ X&C${(b;ȢCDc]>#}DxSZ4#c/ʩZ>%\=c3~pJe41PƘ9$1ETo.4fi%"l!8aí. NGL7A7xC?'.3] s32?5x҇uJniZG{\Ƞ"c,?4WF"+~#ϭ+3gxD q48T9P_RvbIڧ貼  H%3oEmJ݊*hӊ5܊q"v(ۻ. aDr^o _sYkV;xJUWS#Cl3WZ rrS P&UӍ0f>@uu62c[ VGYJ)eGݞX-PR_ruH!Dz %NXjdff~O4CN8AϾmfUPžGmFoVe{; uq)@ W`༃|3l|3/ۂ~E59,څt5Ҁ>yb!>JXFk(b1^9&jԹRCTKiùC/ЬP*A}sd^ elK5ۘsuo0E?^\['Uk2,ʏ q z<{d<:8ˆB}0ކ}mTQkܴ>sx~웻;JYW N\JbZWotXӕU-.LHAEJ#'{3 !JCUuV&bE |ժU'>X}\[le YU.~Ž KO5[9 c`+YU|r٩?*>6UXO(f}()WVߗ3zX-$5M|bȈFč%U,^ʲFbN?IduLK1ji+@|!ShJC}$~5Lj]|vWCZrcW| e}G` @z0IC"dS$&P),S*(j]e˳nmRt(]yxՓv7ත^ 7ټNk~E-{P#$m+Ju7&Xٓcy _ }o ng\.^ ?R}YR!`q'`}H-N%i30*y~gt.G]wk3`1Tgm$ym'OSN6.^#IqӨ3P!.o BFh}1}#=poPjg<ɔ1TZ6G_e]~I^b`/ܤw$si %vsbT :qh{Q ^En#R ֶtLiBְ4Q$vZ2iʩVsGFUʡڈz= }m4NDyX\S9E?h⁰ȷGWє~O:}S1نՖ_pPr wT)^饸uY"PHGƲ;2u@Pfƚ<Ԧ`U.0*ܙ] a(@`'s$g^ȷtH9lK:;x,oOzT&7/WQbۚZNϐ |Iٖ::#>n('ެM؆wv 8 9/NYMmP3jFΜC&AcL8E^qv bYh8#\!Z=r#9"|/> @nrps̡ya63wzNm8ZNha;'SWq.=nF`pӧemh;NQmƳ*>Ȋk Yv< ia_3sIt1FR+ AًҪ^34uZ_X~&#AkmFkkO !1> "tE홿_\3B%Bo-KkاZ; }U !x#~K4zGe61L" |< ;-"GM]^XDMN_vUԵА q;C_nyzzS$e\_ R29W$4 P|7އ=&<-GEYҖIPQnT>Iiʈ׎?E81PQR5o[wةx $bS{ Dшl?*^an%dh&1"|TC|`9hB ӿUr둩c={AEs*j)M{["Lc\ o$D -?9T(Hh]V""Hp[C5lI=hp7N;k(ر_i1MsnG([ꋋe821S "YcK2EDAiJx={gP wԌ;iw=@ 6$ } t~0,+c&?:?u~Cی;C6wUH-bq2ᳱ}tqB dY\:7v: G:X1'%H`ܡQXGTTL9k`> &NT`= _ؗiF9"(\X,nr#TQhq*H 7+KoŨFgoBǭ6\Wj3'0uy,v&\R i;z 8ih%:pawfmR.t-T?خlg?dK5#T:MdP$*wnx<(o/vdzg֖~Tdރ;~"݈ `#Ɗ܍ ꚺNa Z.Q7!] Oh`cH<'ufc .r⮖ZVui\ns-Q n]ːC*mt{c? UCW0G"/'=焚uF?(iL #dYƠyCB]=VdDVQT Iĸi3? -q GڑFzUʏl({\%H0~6H>JgYC!=/[j\53݌ a-nPk_Tsᆪy@aݠ"ρj~MsZOX\"@EBxP~E2OR/\:ymsZ{抁ӝX] /#pQ$ݥ=~w+aʚVt*?;`0gRޤOdGz[|jRHu|&$E ܕ(tRXp=GJfJKZ81 F S]T6;n FzZQOҐ+6YIeȺHBAw׮?TQp:hN*u~Jh\*swh Ц萭 45!ɗ~?M%Mݍ#U]VAYb3VdɈ`UnQѬMMeavz1+fO/< ]NI0$şqd#̬eO8B`,[wZ9.yh^{cH1uA Ў+ⴸb~M{= )g&20=%ȁxw7&춯vjM'KPu`ꄽB{$5fZ~:"%qR/F࢙lzV7+qj*WqTٞ|S@JUFpb`Y&Aݑ3ȸU5_EZѴbsEsWte☾b.zQwO2S_P3/fOMuEW t*GKyOm}(β5*ev^+[BK"ZفoghqDdizP&w|Jߥ{v\YƒGrzHFf='3eё"w,)Rq+h֩QBvL`9D)+`ŧ s[K6 .nyA%&hO:Nfy0$n(HSozonA:q* D&g̣RQPQQ-ecˠu%CF^Yc6ǟ#^ B~ɪi5?ւr75V.*?1ɡ4cȨb2SeNz$.B:T|.\Ewe辋ќN0ƹӵ;lgH^fRQWSZkA+Ennᇃ ) AӅx3e0G#&!VXQpP8̬ESw$g\E_9AP@<"3#xjq#@ni] dS=:R~ jM}5cg+I>tgu y>C~25Z^_sNl@b⫝̸Kl+]x_Bnˈ8JT]zTovXO+3UsB.EUe5 =P`Օ*Aۏl8z?#~yKnQV(xgxYQ/Rjob?#tT.B]9W8\RvzĒ;S" ⼥;%_z~a]JN҉isk32ci^։Cy/6_T3O G-} E*(v Hv8uvKz.Z`u`6Mx}xrG,f2%(V*ըN ccV=VGpVC3QW,+J Q դIHnL'.O#Cb.*nﺩwH(jFѾֽ@k^Ah#F 0 n7&K2g@.t֣8cUZ֟Oj-F*̀tS $quW0I?cssAg ڹ4U{fl05奒?$KsG J/>sdFێIY06?~^ww[q`թCD|57؇-&*t')?V2bƈ1$p[ 鴶]N{э 2>L?: h$?9)59mXBl@w+g؜ "6FGc+$G@`*,9 NXEBs%(oPe.n6sz7KQݪ( Ltى\}M?&+jld=- '"zDA?#QLHVp7ym`v |}&|whtEYұd,'ɺâb*ɆmG3D.^>Hs3H8\e/z 0vΰs?N]拫fbcҐvw8xb'm7%Uz>Ŵy;m3\86 LHV[4$(=`rF.beSmΕdZ.owf8 {_~ˁQvյW,$A92ֿus%$E.%b*bZ`*ſDZM}%YfQ?{lo0vy 9+%yI Qnr ?iWT)Wlg4_>f#ΓmI4#n#cKFd\M&n  ?2[d<>!z#`ΐ)3լ:*Ȕ.iD> 4Jv; P@t>;+~tCE6:烇r&aK [3 {I~ilJ0E*56]~593-bb"j;I[AYKwT5AEFx bڎ8=|֥䋯4x7܁pͶ*& GWji)Ugr #6NO5˭!ikQ0w[uiR nEȫ cZ3 @q4MlOh$yOf|`7I]#CsuUoIp5isPzc8KYtLN*:XȀru s]U\q[ ]Sl~&f`>hLKÁ2i4#N3ZHΜPB"XBԣxT3y7-9tI 7y'<dH Z0A !RCܥ< nK,lA]rPGpeDkP&aM Sê6{D-i{l^>-C[n;RX^Yq&8 m^Rx'J" 6C9Ny*N]00~"uHɢަ͐H%At Xe-Hx,N]{U\chOݣγQmi̵NEmc0Mi#5 E ar+(6`͑<!O=$)V!N |U7 |0?e mx-9 OR&w`/q4H_Q%}"P!xf 0xzń}H͹ Rf2RnhG"T;6 IF;n2}SeAe>7%O8\ũК;|8*chWӄ}.sHcN9FHOd$%O0OP$z#Oyq9`7>LE5\X>hpӑ=q7 ztd&r !dN&B:Q0-gέ4V򑂻ΊeѕCTY/3AM&-0eplHO¦fН`&3b,T/1܉>'= ff>Z[pֈy}o["MF)O+MBa~:m7g"L2>sqBIQaJ@1g\At&Mt뢶rcLea* t=Y[EBy>w+0H U_!K:Lp|Z1D"㶛Oty֕j45q@9&XHczf]Byj*Կ *Nl;8ۅUQ o!MGMIN1W?P{"19VOHcYDnZk)hϢ t^Nr,Is™vA&7g{];n.v-Q#r:BWK&uFb,(PBCb:<\&AC I:[l[A֒$G 𘤐Ѽ@.o:nOe>xCCMأ$Vҥ^ =]ē  f.L|=]f9_J9q̀-ˆ^~O?!Rcݶ"t\SC=2`[>n=.Ӂ-%pVCe/?'/Ak[]62L֗-1߼G1vÙjYrR@J_ G6K)]얮L"p\-1idȔla"˾ߡ2I1$Aae:{$`4p\П-c f&S;)9+5PTOP2߹\\f֭f{:WAAs2X~I<fv0XH\M[|bԁ?FX lEA{aa>@6eՄX'O mE1IA{m.F.Ǒ}{Knoj%Nw{> #IKBl(f!ieq-g l-oc]<1שK;ߨ@lAZߺ4ŗ=Ė P ",ڑ66g +ẍ )MӸSP:3kM̈́;Gp8sq{(!;aYq$2)MHfۏLZsH[:o`"D /iI,/EBH/@l|!V#x"[4pިzj^Rzx1tzզAo6%!VPw@;XrQĵL,e>A6E+,JAgeθl̍o,@gc6xN'pJ)!K$=AO˚'{xlaKL=D` B%țizϤb )WtwnEN*& niGULާ`(JpHeO"5+s 0\ w:svժ}Nd[n3ݖu@װՇ˜ I.!v2gLMK <}DiWa}I9&#T\'*\:DI3ya|tbڞ[=ΠPEm Ŕ1b.h&% qM,Vb<-3 }Ɛ<,PuAADPYѢB؂g|[Z/8sJECSH h&›e\ ~p߮C|E/9>+P_}}G &Wj~ v͹MC/ kX@ꋅ|@BRsriAxik쯎UvZ=ΰX\) uwrfڍA ^\5$;*mit s掴Vf kҊa*Jynx<H?ŽӐhvOLvA'ACT2,nI@krʼ;q{/$gG kכKalB wḭw03( pXKWe݀(+B$gs0 v폰Z?|` le)sm&auHkVm JQnXeZsn-1IuXcל(GCjJ*=qT"ҎM׻(>\dic>Gj9PkHB.YqKc6VzuRYU~oȒԥOC:l@'5-]-S{_ NՍ&Z15i i2mÛY_/Ͽ,_p(L8 b6:"|,ƽCy,o&LȌVc0f~?s3P v;Ebż`=봠Fa#Eݤ=K)1\LqJ5Y8Lߩ->IztLݲ{u)Õ܋kBwnpsqnOW& H&GwSȆ FMŢ/K۷x2흔k"62jxd]id%j= _K=D_geJZs#Ra@hW#4PDFcEU?%^dhϛ%@ lp%mH~~B'H jA/1iz,]8*x} dHGS XHl-08j*oȘ5c"n g(vZ9xdKDEvisEzm h5funĞ͠>cō g9cEj# W\P1,E^-NRcn~đ 4T|Ѝ;+mEJ\;50&Dka|ZQ`B4ʥ_{Zq,;2`.)?av+Dj\fˏD߅XMUp$Y'ru2wSPai8̻o_):LNDzTYZe@׈ɪk2(Q/xSWw} [+WPLZ}q쮬Qt{wX;GE'+|Q!m uBxԥյ->AȅIjAvo*ih=b?چ{Htن,p'dH`G\؀(^K F@.Ɠͣg( :;~ EنHo_G6eW*VrWG:~]aiQQ0ƤM%KU>9P#- iN hVI'2DCA&=ۥ$t@ĉ,{QekCg􆈅nCsA}*,/ኜ}-C[S9n+CԮOm\Њ E_8}}d*btho˼"]sr?V Ho>AʼiOW*E&DM'f53M;MdV`ZB/ϯevM(sb}_e<ڭ1"5V/$XH0*E b؈ԱA|]HoVGZ MD  mW6Ec9ˮ |ۥevit>~ZYʗY׋;g]SZ=In$=udT<_t#[@{P JwHqe0-t /0& :vˠ;`5/ezV^&%,UTdfe;zZIgӔQ&2ưzW1v4M ~fK ®Y{,z>DfԮ#`2j+^'2ϧ"G)"F_=NxXl*w]C8cCʁMh卦?mqοhva8@DxHNus,/hL/'rM#BA=vADZY_68xB>8p$< skh֫30SmPPk\3U}K(u{1#Oeޖ=ؠU1-o'7CXZ`VvBaqs }4(3;~3 D /q8mRS P:LD2!Kdr+HPN~6G]>gϾ12FI zj<3n96~j. ~c8rC99m;PqtO;iec٠!\-S* i?>.Pbxde6PjOkЩb<'b%jfFXLS~sީ:y.h{`NBc畩x$dvIA]yn<0X9߃nv)W Rqr*Ĥy_M]irNI>Qr K#vUݎ+&mdNc%߷h`R':+S:r n)ad`ib<^ra)i;6xtuh8GVfKuf 'K~qvę ǙַsQI9` fu78Sfg[| %}jL#1R 9=D3옚0_buIQfmPU9x=$n`l:(Y$\a"Pph`$hUJ^jFNQt>5fKj!cl43ttuQɐOj(F=xA6z2ёFI{ϊn9״͹RP<kwɁ\N ەb} sl 2bjݑk"ҢO(ziYEKŠ`0hHre?rJa.K!