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  \D ] Category2:threads=4elapsed=11.356cpu=42.100gc=2.328factor=3.717zXZִF! Oz]ŗXiɟH)0%o!~_=J'ÀT&Ļa$-P Zpb{ޜ{=GVܡs:=E{lD֙A JM zB:v5inb': -D?}8čfTA1]wK#dVD&2f`(P]~M&۔OkwLbcpU830e"ujL㮍*f独-9=r-Oj\$Of7nkVW1LuWbAr7=7vTщ^Akl#DxajI0LB9Rc:Yih27qL= <pvf]p/i?&cXKDo!3\&|7K P A _1Ԁ/-LѦJ6+1:iy~'BiпLw񬶰#l?y֩TDsSj5pgFjQ"2-?eآ/kC%Z3׻_R-Ѐh7jXnܬّ _SJwF]\}5qV} ~ 7^[n P/BՁhܞBd $HvFK~!‚xp7~ hxIn(PY',q'TlWH jjc=,F{E㮞p<:ᄞ0gR;o$EP} BpVnaOh#M584ֺI !_%>$⑂Wr}ּ7NC1 90g*J1+cO)˘ =5yBkFwd|F]!Ab}oa6zAFg:'> DU28IxBX|XOD:{!s|9g0U(jLO;P\oʡ }_&kR[[Ψ~^^gK@-QLpڎ'GD7Vl{KJ#"I͝%C7{vǮ(c}^~. 8EEH"t ϻjx>칵'MWaIؐ^N״nf:Nh)!n;Z y= 3[ p'B"CnrD۲c`K.ڄOH$0#a˘VV%'L.*]^/Ά=+uf}bۖ\`YP;*^y<̼ H4"fu>bME +ex@J?#ʗ! vW 3xZrkptS9_+f5+U璝\S_B>SY!:O7Mэp /'j}NUge7e1}li`[Qζl%b.)rU+TBsX''j@`EZX-{\}W,є3u1`sSg&>;3MAQua-tcH' P M(e96vX O~`J _{ eU%)ޫ7J& gtwld8| zgIӃ5"M;R5I, ) KtS5Tt,S+ךms&^Aeh18GDqCф|@7^,νVPvy]!ױBg4Z(in_zAC&v=ؿ~"a^rI.o4Qp8eKKy&IJl6?f0r+&/  |u'f&KXn&A~/دm'5#Ev*Eٸ1^LWƟ0J=Q ^蠲\B<3fT RTїNX;/\B_! ~خ>{qWw2.֭]e_XoȰ=Bx/]JAENCNULhKb~WA0s08{hّP*t*XHӀ ,Y5Ņw~F*cț^)$^WӺpe|{Xy 9Wf틍yuI ed#7,h_t x}Xt<4lk81x ;{zvd%?/͕dʆ gb>=kysneܙM]!j-z*RW=8~(}Kk1"#v=b\z%/B|JM]ǥz.X_63R'z!H$Rc(g}#!US Q}h;ϡ6 !o:iLϖl l_E|~EMm9Pˀ'h}rJŃCpCv12j ^)02 q?-ENEzL)OҜ2P y=W;X){pp%}R+YXEN0 IPw|tkfۛ6'q>NV4iHDPڶ] ݶ¹!9 x.7IxG ~%VuBorvfv2uCVyc:?v<R`fcIS_UP!qTs+yPwD&K,YlM!=єrT WȃS8A-0j`fVlGS76Ōc#f~5N<)\) "o "[/^AŚ!>uq _% Q$] Ҧ |)P+thp҉gס$ M$ZFxȰwMarq;W+0pU2P"dL+ cxС@hmI#(1N`ǿ$u~Ǝ)~eg3>D{9L](Qa*\xЬ!EH|ivY< SU!W?C't] xː@3ڊKp]+JX)od|| F!p_p>͢{ up:_qd ~[4{n%RrL?^_U 3MӺуsZ?97%3֡`CĮh j?";UoN̥<h ӺId᫒ʌH6DEIlE|C/2XLwB/aovaȏҽǾҐ?܃sv\:;g@ zBn)8~;pҥ# v0ne侭l-8iPmmrp"Xdf^ym$ o<} {̐$\~ AcԘi[zô8Ae)l7NETL}R3khZܷ5kz.5iNּlVğ#Ijv Kd-Ú+9/iȴ6yOkqoPx߄ {}6+-ĒsROW!|)wʖԼ}Aq~5Q.Nx]8ca@#Er,Z2 GBw$*f9"|H8XyE-KT^`J*lװe;6[Yl$IB53E 4ц_@_Ɩ M, wbM5,XnI/PL*߉JhEC{,zσ o"cb}ӎv]&&ȺN.la^|uԐCS;l~$HBm]'~p[wT) R)ا#Ho B^xnn.3b\Dfz(6my:Y8/:>f0*FU7 Tnleoõ>Z ץ۝~]d"A_nCӜ%tk̅3rӇv ^9RUVHXG&+`@1ldM,?lvH*bMIZ-+ CMNxWpqҋOv Q-n hM pG<\")q5'V_,9xKKބtHFHn#7-7N4z }b^@\MRlHuֽsyה<ړu M˿P#C$IJO] :̤.S6ڔzDFqW'oC,(d/NϺ&wC8SՕSݬ^S_և(ltmBTO%_.l}cFdW'y\"f^yJ$ b2R\ @+r%{Z}Tp%r`ed2'G7gۜ:A1aNZP;l}d0IN0!d o kǼ)9 9t ߭ǞBhԌ@K>[e%iEp6}i\ |]S 3 }UZ4 ah[mqԸXs 5]s f㟡tϰ}8;S;z%d='!h7I´^a4*AG;_ARo2(VJ#Շ:~PQԹqXj--LWܒq}38HӱT;DZM967zSV.!q7^.~q_[ 3A&\7V@H–K~"ss)d":F 6!Y _:oM/cc)i{T愯)gY#c<iN~v#dy}J  2$jּfʲXgI=Rd;ŝ](6J+.ZS G7~L;U;2'&K1k݋G ǂ@\G3fAO k&QP!f▞J:$iնMM3D+wⱂ4RO.Wj?L >TE&ijIj#YZhqk~*˚Y2 ,єxW$s8ko`hC}.ߟ{oα+Jb(ٹaWʼҕׯ@MQk:B\y9нGvl(id#^Q|(f̫pBw؟ޱl}HB5rWJMO~drKe1ɗj 6FKqՕya#;TB3yW[uZ'$DHjǿ̓غ!;FD:ܑydѩ/x3Q+YMVU}~rW#Rsѹl\ӉUӃ j~ؤI\1u[c~%c``R= Gwt/EL/ؑySzpКG)OU;|W^3 4rLNA>fjd3y44N4a4JHX9dGnOmƅ> 6oPTXoٳE*ĠI1F%:ՈuDZ#Qeg1΂"ќo S*×<ڷYm cb}KiS+v癔d8j)?,A5u„q-Q,\}ICI<Ⱥ[ 5ZzLc?pvP[~^ 6)yBn43;ZzRV¿ўz ɫGfX|ш||wHuJFA72WA rܦbU%KdZ6fYMr:I"}$ɝF rq Q() 3?LnWD%T&{eFtnEr>ZUV+  UΰRI_U$SH6mఃVvRd⣙I-zCKxnNA(%~n0n|2bCk2QliwTݒ+J')\ ~߉l?Bֶc].t1*ѿZ[Tf$ԤY_;5legU9P@|ux÷iVALY ڷiB;=l!|_)1M 6ۻk9-Xέh~聽*PW?)H|DxqX21yw?Dȅr`ܟ^ s~H+ʘޛGxkMA,:"؛*YQlzCqtȐá#Ž&$7nSgzxCmTla*GʚqBVs05ʾ(SbMfu1{EخDV@8dĥdcSM.\qɯE0ɔ/&u9 :/. HPѼ<-Nˏ؞Ap,GCi^m>.(?]&(ن[%$;\pi1B ndj#zZL"I$2NVDֲyDtRxTR(}.*Ԉt~PwzѲ`y-JY݂E@5>Y'7i3|ud8m0)DLi$7m,ՅW_љp:7y(d :ުRlgeT.!pf!^?CM nD.ń)|l͎L@lo!ģ.āy;pY:w!T{‚S|~}^Ml i݅>YoIȐ}6!(9#XQ@c=kO*"-1?B3℁'9+)Gvl#m(}T>SLBF 7N',7@`e>O xQtB Ѧ; V6PvNˮ!7JPq!iuyފi׿jg_u3lGn[;\ƱBXJvjAר✭Qwcޡc|/zc")9,NB{EDN*%Dk)}K,MwΓy8$< ȺeRmUɶ[XMʠJf|aW:Vqދs>Bm֓<͵v &qaQ"G0HCM.O?~ug3 blwI,3Yΰ-07Џ~Wf.~{bqDS}Gu=p8^\]8\EAʒ KZ[wrlURp Ҫ 5Ր= !o1RP nJLׂǏ ['J0er*fZ{+"azN4*g2|; a:-e6 F'&dy/!_1k_inp YIƯc#%$ ip^-+!:Fy&nf׍?GUEo2ik_;C;2bN8)8CflnOI$ BX ]E#0JIq6o@d&iA\`" Q% [bq7٧jsoɾ0"]hg}lT]+ZiD)4rgZא.;y2%Yؓ64Q#nՄ/+'ok WBo=xFH,08yA r( eɺn*9E5d5._zhP*2%%x.;JQ'ΙEH0 Ґ`S3A`TJesL\cr=oeKx>Lz@hVⶼ%Gqf| $.:j/wRDkƿ7Ϝf*FT](mnU{uy>߽D<:!XU߷|"TÎS$?" 5)xMˍ}fQΣ{37b\HhPyS Xč$Ϩ>hKLQNmu⚸}I ߺmFE#5EE\_sbJұXR${.~[9B˳O 8@LܤAY@>N3=Bs2ƲϤxՠ 7r ,UDMy|^rhIkXϗ79kCdU!^]a'9NNjT1Lk9j3VoL'> 8=,F>~Ĉw Zty&ÇN5 E0rbeMI 6ѕe9+j\`z_"-}LO^o?SvP@!T܄~t*܂-T,[>mO`F]okVX]8+0'*q7/(`s"l.|\6R9l\zP$0dO~ETD3nm 7.̖Kp9Z,/7hPVnOυ)fեaĆD4кpUi$3"'+ Y&}r"yWRPO.u]u/H/J!;pG[14\S wDM}&q4lb:)XWAǾbY[PF;]4%w3a?mP^m#Ծ]g(]d=$E="sr\k^pk"K,} t7^Y=嬆6w8aD,0tWudvQFf <(MHQ-._$;ёb&jR|خ-9*Eh4o|EvIxXquq_}ת)n SM&U$쾹)pP{]uWp'Ņw9=G)6)FM_^-խu殷j <ʮB0SE; ra*+zz,[ߜi׌.܎˦"wkbߞ؍a .=?9 ҦՈpC` X+:6<}] %YE5"!<iT/Ϩ*3ZN뢅@ekC1!,uKz9řz;ܴ4:},cڍ^j.|aa)ҷX6".'vw0z7k󾊞_dJ?u>yٰjcUdO\/oNb_3O[rʆ *N֯I.3{`a㽆mlMK"ksk-6 _pE@GyuE@3Ba#6j fX(7 IJ?Y #?wK[L~5n8 ndዏ?U5Mwzv؛y(L+oUhn"uV#8E L#D1+܇LsRaPu{)5n+1`ـjS Jyx'giސ<{* ~l/ȦвY#vaEQF:HhP33w$':;s{UeK~}k&5*ؗ=w&vOP1 \F'>DB?gy߮ńbFuA A _N[ڃ>$͕ds`k.=A1d vtyg0K(B V|ڨj(OC\+$+ E~ X,;Z0$Е &3Xk-u//JWd!L݌7)F9O/^ 2$uXTI/*{bl.0œ<.O/U'⫲ik`(`AqvkVߦ-{uB=6`+4*zak{p7~1Me6fޏeXTjk5ق"9jʪF:9%)HoU!F>#931#V}UUdnQ.K3 =!$;2ڢUj;ĕ`$,]F蟹l4؊-JO"u_*%A/]kJ[LAE븥6|np4XmA+}ih~@PhGe݂uA!C4MABc}?ڼbE@ǫ,pZӒ &: .ZF jU8#51kS8Y@Cʲ2۹]Q5ۓ]b&ͩKsDCL嫼d]_WHp;v gtˎUB22<1(h}욠WѦg*J -GA8FE{D-x)Î`Q)څљʈUĐ y"ݥ"pl^Ō]/ͦxC#RuNh"g@&vC3 Q MuIbI_~,L (N\vayRzD|_mW3zu}ao_=2m#B$b^2뼪J&+epJۘĺu"cpŠ% \%pq:y2pk8BIщw3zכmߕi+tR3\L LɡwتוQ; Fj^\2D޻5n9OI4P]5wC'Imߎ;':MKTI48& !1BRA?eBj1;>7: A<&"-GPEhl`b!Hhl[?Pei=kH+uAUnb-P;Vp֬听`7#?/ (cΨp]9; W' [BBڔ0Æ0uk>rLqQ4ŐXP{\8ԠyVNKV}J`Rj_<ȇ>7re~jF,? tM8eMơp]MaQ fSq0zV!#6pa#h* Ciq .h,Cx(p!)#e"E_Vؓc6gSS"GբBABD'[ Vev[ѓ> 6NI]! 1UgG|]~(XꊵVVd͗ٵ(wa+W ;TlAs:XW-TAd6[B }xk1qa(*u[ːa#en֪ C aQW(2L4JoNA-c7_tLIb"1c!y _$(_^90.: IJ wH$Օg;X+fuV `RfGɟNԛ3{\4om5H+ Ȧ'sAb~;]y|ӂcL3uqNIĭqM` f`?:UWM"gU FѾndLLol jB&J1i+"E!?ª2t[3^'Dyʲ[M-{ AfMV7ﴧ^Aq,gEOfjs)J1CD|{?upgo'|W}-c\@xj mQYLwH-aD$+MU Ӿ;$3C5;trd(thקnA<[i뭐=qyPrΈvlGֈ>21^kŘO .(2۟'97Y+E@whiyyABa.4@!txfs{GJ8S)bnzrc{QfX_ ^6<{@ɱ*~'rI$}>iʎc_-ߘ V|]b1a>6c8(aŁ;ѤMBUgߐ1i+Y P ?x,%vN0λeYexh)Tq3TXCas}[4h|r^̶["L|б8Q*;:C_zxr5󬡪fƣ_tBitRùr >K2kXCl"14aOO\u1L]|ဒ <'YR܉P;k~yST/Hx:Ӓz=7.3#3}*ఞN[{m uS<>@NB2302:&M8s$nQ{AWldSZwhXv{-G-0mGGXvGnf d&Y.Z\r?cH{F΂7__V?b:PYq-zZ6 T zMɫD ll&͔WY]!cb`;MwQPy>_8۾j%Ljޘ䍃uvu]cQYxaL".2 Œ˜ۑlA˗C)FU e11HtA܍P Ć~ $C#[ r|9'yv@ =YٴۗfJ̧g7_BO$QJc,x;CXu\f:pm亵Y+CI2R-S\ :_m]}Snk?+ZմF^"~["E-7~}̀p[,KdmP*.|^|4 b272ܿ?$ {F y6dEE=@x'jQIs"yU*T|eLkTP+~& f$EyqiU6%"ZODhauZ y; >c%`$E' P/"읓[fGq\^&?I974 1lzu}A.|_>A[*TW+>]YΧÌ֑9hqEƔpw⥾$uY_%^zzV(zAvt]a묈)xaDꪀ.:%2o5X<8w ^@~唶w_=ӛj^Ryy_q\9W!t6Re=): %/^?$1A/.Y|ЊX9G,t ^+.cd5V+nB%ڢC}#9h|4yQ]qy2z{M5ݾ21cOًUVEwzPϛ3/Lnf])<[w]!>li9⦄N jab\4ƃw}ut1pgn?[a% p?_titTik%M"nmHQmGԙ5tt4jo>n27h/zxK¶A֢!ͧ}7`e_l M$(QA"j4giVH7S(VSVRrAHwgżl}ʍRɜ N[[(ζEP^!_29gM=JR@;[>2VV+)O0[\`lM)OOBx)7E|ƒT !݃m˥tF-KI;-{>JoJ<4sIMA׌~[R zL Bz RM5,׬!\*7*A)9>:;P협Gyg ⎐rR;X&M2^7V/8\CSDO|lp)C|d] 0%2@gow"Y\,>6&L%(cS.E:ֲS`{I|l6 ;?L+<%S)qh: p-k!W{ˡ w"h^oAo?6AD5XHG` J#\dn,u`_x DK?Zuqw0<}Wي<% 6ņ70gsSfteu2/O~%pptGDAwŷsWkk8e<7{*J_z!Cj g(`vc#]~x9E6xtv i7]AUQl88[v-v>U1Bm3&!AAiŧV7⬜v=Em*B3ONƕg bʼ^s]p\4ULk>wLY66>vJ/Xte`Vc32W,qa/x)UOp)}yI:ai˫^=,V0Zd=T%d1/_3UVE0dv=&Y|0xeB j%e5 "l vj;lo5Ci} 2]c1nIBo'o{$+8lK*PI{'Eu&H옩'o`XGXY]) >s{z w|o!e p854?NL?35+Al/k}摶`r:wKJź}3OV{bWH ⤬v|78p , "fNa#.+h 4?dfuO_CL[NʐMYMUv~~t-;r*dpmy]1ܶ7hrg\c)˨ҥ=chSrWfؚmNq<]S,"_1:H烸؋Gٽ|^Q/)O3+ nn 9̯F/]kA+xtM(_,|\BkF ԛ_R9Fs ŽًHCГڋN)RBgX;`Vmw1[H3ݤW6[ebA\VO;b-°{MjƉ,Oi~k*XULo%R&ڝZ:UArR* b\P"q]ϴo9}p2(^vE AF?%E2Dsa&h{)g@e?Aٽ ᦩJFUQpU;,af;ImhT]l\L)to W;,9"m'>OsQ2BAW0_K;{W 5Hgᣑ1SL? sOzExL_ ԙNβ݋}Lju#'*! TiQZdGD%9ȋtr:H_1Q5v5p͸|._[VRb4|Y"e7/wr3\Y r{B)pg&Dl5 ;CgY/ 5;}.T1EzJ}nɚ{!b[߱iϛc-G~Y췃QˢSvQ/s^A DhU 0T$'ʂwe9u32O:l 3(]͞Nŧ5a:xy=h+ lT.?bH'މΚ4=E i)|'0znO-9 V?q4@2pSہxɣ3WMD9bKzi,DA_HJ;?J}4I=jDF\OYF@WY`szZJƳ^L(Z"XO:C'J.B71D~VFl)(?Bco`΂FYFƌXO߅^:!bU1;9-yki%# "9 oA2;EX +>tl.RҢ-[,1DPF?˒0H;RD M,jG kNc~.iue~Ljg[\$!#Z /MрR+ x-Nw4r&ji+yO*~/M+YIt0e0ط/' 3OdxCXdl୭gK׎XSU֮f:m"`ɓ"S\0M$T/϶{$*x|ػ^QjpAxMI=γWȃK'PC2, 6Mʜhz UƼO!ß *ȦwI_Wrr{3)S.%3`A. ?@'YC60V|&ZF€k$1x!=|wC1D9A|'x|svz> A-aQc*fMIOfoo[=<cX +ˀ\ W0yl;i8 `6 {v~Kb]L\`2.UZ[kH`g_Q5[hs!%gPm%Ġu 4S b){=!|f#,Q>GhzW"grRţD?T׎*'I~:I66%-ЙGF&bp3zz1f 3I%IǑnBOySlttw1UӾAy84{X֟E U1,T[,CjJ$">r DnȰ+zXUWfhе+09x>o2c #H:A`ԄjOJpOh'CjCXl]/Cq= WN HIRV/{Tmh"4lR|w7v$XŸ$U& ?mI XoΆ܈ISғy*C rx孷 TPTw?n4Յֽ=VW&*5JL[ݥq\& NXgd(1v~?/3bC2jb.ܰ/I}`1}v[ O{55Oe|<\Q7弪%`Ф .R^!/:CƠ!سgkV¹4,@7y0hhcլ,Zyp(A-a| /cd* 8-K iZտTdԣˍHңڦTYDS 9>\:L"Fw=%%KJMqqtK]X9d֫wHh6gjF0YD7e둋sMUzm:LjQ LB<Fҵ:P*geOg k$OcFխ82Z+@;fr2a9hL|MebXp0$ OO!w7X/~tޜXvY'\dTQ0HQ^XMAw7osej"O[/"Ʃ]#!~όSZߺa&snn\}b0aWb;mb|UG.qϵ WnA"cƋweIa9497P_ V:i'/>؜صWtm] a@}0yl˫ aaE34 t0;DqY$ mL[BO(Zo3,]6ZDuNC!xP!z7BCgd~K.[z)&螻9GpS 51F \$ ۉ_͙uciY,UcB|U`M6yz4ezGS=*ulUl{5u.m vժxwLhx"0!!RYR'>Wf~ n^!T3s^c[7A 8tBg MA{ӂI%Wwߦ=\RG2JZNPDj<^"EFc1xfodSE-#GNӭI^<Y2%@\eZ֯J.ܤ!ܛO-S|ڹ1?xh؊y B]l(: M=T8KZ|[Ȓ$4S}a{8fWSUj螡+ T1wU)ՎPކ֢ىXbPQUa>G_!Ii7|9{qX}O1˸Dƒ!E%e}*T-pf"=| faPO#Aҵ?ܶs&'S-tev] pp`B|C =)TfS1ackg 0r[+I;9 ߋ*J !#oϠt % GuԈt$"C[R8w7f ?9^%UwPcHi.RZFNjHxZoG:2ڙj74XTr.3Wr)o> K8U"3Mdk< ev 3S¡P.QR- 0?s-REWE:ws94Lv\3gUi#ͫojG Z,?U۸sf/bm sWq_lUDV mC@c5n]]tn7h䦕tL>j-Zސd4|2|TǚԬ,P:= gr9=?hO)&V1PHJ8[6F 𻒭r\o1WAg XٹQYqXaLӖ?KOzd$f:IM=(qH]yW`3bWF^?dUTOz%b ˣxt oD2[Zۿ9bHF.鈈 (JCM#va6p:NAΙC9*_2 lu (|lP|ߤ7/'V9٥۫rS? /UPo#}ʼn̪IkB Gz2(!,-7a#ޏAYs] دe5UU1}ft/m6)ύݚdp6 5-/p1L^5 &(Q"o/m!x<'*$$ILͭ"p5bVeh˗ɮ[)BJ5N}][Mhж)~ ے|wl#HQ!^q|mw?N ygsFu(FG~k%Z wh`Bƾp(8OCgT:UFn;FaCs;E%{hHc.":XNy+䥐Upjv޾x">Oj xAwۭNkcu}+FB t38s)'[M\wT8kuʱ yF{Htia}к"]-=kmO\( 4cT"zJ_^av龜MEl S:Ͱ=o*'[ O{բgJ p |N\bF%6JWمwޛig@D8. |'^UyCb;hSXTDt+Ld5S#Y),ֶ*H̟X}nsVoYJ na<ͮp ZI |oטc&-vL ;uWt,udR0h|Y7; V"Ď:HB6Pyr*p<)ΐJ|"BOd>xKE~ O~W\Qs׉ڹȘq <0 18>B=tlTp7qzOhQ6LxL V{jhv'd?C1(g  |0$jͬt[}**%%>M0(AWi;1ճ*/ܤ>e]LNeL8V0ZRۿ#0ϕA{h̠%́>w}N-~;MRwiYϡEY`_p6xRqOչZ,DI$ܽÜu7c2N梴[bLF˜C|&v S\v2F;,v+8O_9\rN !?:A"n&PФG)MgW E 6m(WkĹ}ܦ7t.|= ci;l&b)HkΏ}`wڃ&m ʄzEbget#̮i?(XLVPWF?)[{ 'Wx u_D*\ w{b:xTO`%*m Э {7+-9MO-8K灑tR,τ:')g YPXCJp̃]*y[d`rOjy7;u_Ϋ=X3c[{}v8 (}ЏY]$v)JdhP)4HK0IJSXOD'/@?o ,L q{o:kЧ; < G͆ci}r4Hk[.3HO(ŷ1y*~(̞"}$kB/hdOibX-8\s93$"HelB;$cH5DE?bþ< /Ix5L؊?[M2W@#x%gmPь/V xa\f3tNE(f*n &PոPǾ'LSoGr bdIgJ"0+:1d;h{@6 &sm "iܔsCSpGI{9AaqNbI+( 2K)A(k,|=0ܒ讦 +ޏ* U+n|a$|o:a8cչ5DFJ8 >R7_WRx-A0bR#H̥$ 2KW/GSr><"AB-y*\=-"KMN 1!=p)F6}`megrar_MKK`ִ }rɲUG?C'm \p:~` e=y miƜT~b5vc/ MXö(kBc3(Ks:aȞŗ;i,NGV3(t ,~ 9jTbaQkV2(iqYL#,޾+԰!O\PP2"eKgM NҸ /aduѵ{CW5dGC>M?|M,axi&Pγާ©q_qp0~>VdEB zGOZXBn$WryNn_s,eV&;se|p^%GIEX1Hwvc n_'y_tbf˳}ZU2{ǹ: fVRG@Ep^gm/,ՄU+,;GԙTyR# Þ՞D-tmn0 3T^~y;rJ\sxT/{9*-Q&%1H&$Dh,.a-~M()xQ}>yN3*qع}W;L5IZA'Fw^ mG޿B@dRȡ<* y/x2H!^etM 鱕̵L`G |_!oVλT>-*nyɅiH@ZVl,s{ǜXЈsHZҭ^T,%/ٚGY@9E>j ; k cI؉N'|jeٖF` "\*ژEAሇn?s rAc?7 /T #"1]T,%0r[=-#`l^Uw='K\L)s=:Âÿ}vz_GazV)!"G'Øhi-P$ZubslnNq'qz _^%VQùsam1Ӯgsh],[l54yUH&*OY>DM9@@nb59ƕHp =&U!LkjW+k|L4udPDi.'+R߿8oF݈3#Krμq+jfH[/6 2]p.Hye,14aYHadP! SP,#Tj/cL}xnjg%''t') ,dVzThod<7B>BYcc5o$_kJ46Ō" ? }vS/zeD݌#7^0] N/^k}pՔ,:mխM(C; aIlJ;dY`NWfsZqTNrV}_%ڄT'9acGǣdwڵRP$(zgGS %u$tzt_1y _cW<󏒈e& ÂՏM~VtZOICEa  4ŧ\7ЄDmь8ū2?&h>8⚝*ŵ94O8WZzٿ Z~9eӽ =*O?wt*TUɁ^xgo^k .9s9]?:[u'3<# ;ɒxxyCtjc@Դɾl6gJ{?%|g4If!;>]_$(iM#7JikwqWBe CkY~?!_d:@tZ^ .V:,rgջ"pUvh`g%:K bEμQ]Uf~b%iC )5FG*V}`vͨraUއd3P;brp)dN|dD@` Cn$f?}:74wR{>M48 &9陹]:&-1܍c |<`'K3ϰ qЎ ̽! MI=H30.R#ɻ"箱Ԁmo9e/juā*ʨHql+sI .^Jt@ a R6 nuaʵf 0 X&S!tLxuTy+E 1 bĝЪ5{˧:4|@i0?!i)sЧFe4fD0|UoWJ"VtN*( wǴl뭅`sO|5ΦRDf ?_h%nz6bt7o3F8@dc2+DXK!YjH-ne ;zݷ`Hmf [>Y];o*tݦժ RAϝ|SjO{vaMUE}^T>[F[|}ԽB6R[y^CVgӕ6't2%v<,of7L̈́xCjHr":kLg'PhA"keBXmmC=bV/iwx ǃ2GњSrC.̘F$Ĵ'n>IRj*{9lU ܹCq7-IرQ wچ'_,X>#%J͊C;&Pşhe!C!Ȏ8h-qy6FtF OyD*y161T>3Fd( 00X~XǮI\tτF*~s1)Y}1HN5 cIb*#f]^HK%  \xٚ3oT0dׄ 8Ya4l3} i`R<@YDvYE'yM-`>p3 l:ǀٴJIK5;1ltF:xX`rmӦLk2>> - l,su񺔜etpQupOkd9 ߛ'pCǫ;>c*U*А$7{%\ 2Vow|(b= I) I2Jk/}ia(Wg E[5䫯Ιjmqћ&,roT-.z4\d`޾'ȟf I'GXp j Z{ݝ s|*tJ[ ":Ԯq_̄'771O'&B1TG #Dꄲ zrx$kX̾=1-Ht"%t/cѩD)##1Nv$r1kv6(Vb|.%R|AǙ8[)yw]Xetnv t'N%S ~Mb5Jdi<7={JyU8 YJ='dr:HoN}*4L[US`ls]@uh/U &8ފ}{ Bl%ڨM"̨Պ_!r+my|"64 3UvU퀹QI%两p›闼suIywY%RAJ4}Jh^ئWR[h_͹WmpZ3J$YF]yz$wʸi]MB[zh(/~{ бdi8nD$n8b_ JATPr{ڤvP_^V+%Q -HXaU'M;A[}dy;6 &b3osJ!?;̓5"͛],.j1G f<٧`2ށ!{4s*"pWsXM?[-*(W_.+d˔{bU~f o2-]{27~'׷d}r3Yrܼe8C&]ĴixJ¹~ O݀ <(-WVT%"]qw0 ZuGyS5#gEZb~dјogsEWM>{F2$=0#y sxTcԂZ_6!*b$/l< 4F;d}ݙ|c7`86Q 6jt fFaGbDs[Qs@`.GӉF(_uI.ifA2/'Zȿ1(DfUCXi|o_ "I AZY+ "M>s%n4J͐&Adp PbL3[!J)My+4 +i V0,ls<h(Wq46^&TA[: Pg/8@o?%j2ОzHzFT |Hn*[S쉆&&ܓiLw]1Iw*Pi8!"Mp:Ϭ|O(KUg' 44)!ǯs¦;Gk~r(ЏF\zȉ/w?XUQ'UiH$/2SSh{g6ӽ-_  JTlqeNH' XRdh+uK"hD .꤮}ܽԥxY.N@jWדjлe<[Ai8*p7#NQݕ(zm7nB НpM301,AL wї;UoGי="sj)qV4*Lz\0ح!  n^Dq6Ӟ` o,g4̠qTI;|:53ܺx[ 6I,a1X|J P_6d!n5B]'秸U&n!$RaT"2^ /CtDXF]Rg^. x,$$t6?"8~Z\[睃v0-6&, u(-i|k U\aAȢ<۴чF2i7Po۝kd1#\/p@ R`ܖ͢/2H|JB@sNBX.m^X47ȸnl.[#pϐVkhv8IzFƄI@m1Ƭ][(VNn;' d9%_ E'=nV]Rgٹ!0E <2!nf*w+\ry^=k,bcd\{v x?-d]I%u;|u(O1PX@gX3IoQ^L߫Pm_҈"ԯX) ]g09Ѩ\aưy4^[:>8\5JMnh^ 4$q o0\:MC8*dتaPjMdTlo _`O/GJ;Fsog鐋lL^Vk(n<}Jc V2n"P6|0KW2;ւp!/ޱ! yWH&GۂX{y_xZ4dxlJ /ewEӮ:0`.Kq0Z|]#gU[7C-,#;^st ǫޡV{(RW'sMĻqy+/DAv< miyHP,f2w4*BkwWr qo8a;)Esࢍs DF~D4Ms4[=8 8Iش&|9T/;18l- K*x4#E(6w\G(Hc+][\ot8l&"bUnYy z)VWƋc,fQ_YJXW'$IF6F۫(O$ucGCt We"hy|[g@2`̘\>RkOWK*Z_% U ٫4G4f̎̿]y>H^HOw%VO?z4I2 #[抖KSͅ>R%|HTxd["_Z6Q=~Vn?÷*+Nf~cBl&TMao4I3ml! r τaV1-u#2aO5~b+Zhc.[ ,KN^5`.q~i#'%~-Tq +wA' i a۶{QȀf WW yކZÃݢ+xAWH'{ըRl!z?(>ibDu+ȍ %uΥj'`˥]UΏ-np (IY=ꎏ.WV~ ELs6@G,c^.F1>>]% jCu#X5IE Jũjǖn]['IcwMP5g6TzV&fQb@qA||;BKzG6gՃX0%v>tTuxKVK}X)XیgE-IBR (_78xHRxB+Ֆ(S_*Au jO<1uԝ^/` _O E;<$q[-Qgvt(ubS8n[_ԯ[lpDqVsL+ OQ9;>~b&bHa)5^ : @BbFy9r%* ;0ko`At %)IZydo=QlrJorU쁨ĝlz\~@Zs {Trל0kىdxORQ,'# :XZq?%Ϊ6Ν9:ו? E:_D0`{٠)>Z%H&3u$޼[=6a'"'|"/aeFrPM14m/,*p "L 3AG qx6u{s &b9?uGU k_+)ۤ*=n5w}BlZ GK" RNe]5vР ("_ o%;KrLtg O {,7-e.G[*ƞ^E* 5VZ k$ՠāNbR4Z7dvj+xГ6rOKI͐Mp&#>tp%_j>i6墽xEߩ\fsG-fF^[\C;oB`fsh.ij؄l×@u`\A'&{J Aƴ8([K D-1YfuĚȂ1;"lwG2Y|T[5u 2FIzHPr89\.!젠Mn&s?R4IPxϥoSmjR :x_J4k\v $%4|LQhs!g=4|݀I,+5}|I.#ΜY8t-<Ϥ\|gHxڬNb*/GLVX*`NvF:gDj8; U4X} |cn^7qGrfu5,-pe:aBRfyH L~s0ͼ=lEPJփi!GgI8 ]Δ0+c/Z:_-0!!z U(x95N ~7j%n xX+0I{mi/O4gL*Or(sLm+mz;yu2SgJcGa6Ĺ70L.եy۾^b:cA5>KCτ_`X3lM<[*OEBn@[s2ETQbjW+Ì4FFT~r>KYH\;t@Eku3 @#>[V'j͆ n!пݞF93* ] .ߊi;'6ВiholNl&o ̇(S(QX~Fpx34^q\yxܥq 7}a#:6ءB59_CD߽Y[9H=Ibrx却Uz䙺 Z%b5rGͦ* ^2L@Tgo".N%!i]3HK>Mk͂ܳ0{id/YlD 6g"1t(tɦܬu(1Jt^/;xJit䆧!t2x?L9$X[9xb*dɹS8/ ;E5ν=?S؟Q)H;OWpkXy)ķ&6k(Mgqܽ^`qä+Xa43A^_D|fM a֒^[t Nڞ^ Y 3}pgϵYir2E9 z`Uքm}qi ]-4+ouJ\ NzY{YLkT:/ڑGI~u{ҋUK2L% uC>;lfc+G둛;JJv쌳"u WFtbU5QձY_^mcE]>yQ] 29y V lc`@2UEJ‚מDM[`ḱD8aN!"no#mm?bn;L(~Mmm $;PVശsqy,F5O`D»>ӯm|qpu`t#BJ7*e͇hpNeN'V0؇ɕapzK@i;Tk{W.XB.W7]0<c99Ӫ1DL ʁD N szNSNn6 Yc_8IԭL.Īa#N+XEg 6QЉ05MiJq Vg 8o.4 VEKxN]m\G2KPvPr! D y\B^8amT,lidqBB\ZZDQ!~۶!<03.rov_<֧i\"G1: 'oGCa|#/&M 8jGoݸ}*23Jم:\ D5q>ӭWHkSjjSݔ/ MIv8x0d\A]^#+3@6gpR]E=:ª V6hpL[xT4u\ql/AY;(JUb,r\Zɼlql RW>rVm<_hEN`1doW?%'g+5]!N@L43Enݝ.9*x[.FN[¡,hS|ZrFqzG0[]U2GU= wxm%!p˛2MJ9cs9H̠SXmݭ]\ 2-EMfmj>pfw[";amaaԠG'ёr\*t"N$[ׅ<(\eG%tLe>˨ıf{w9T%9fzª,AH70_:BV߳rup[FE/ӬɲGi*eTB#_{8i䜧IpOĞʛDd& T~skbRnn7\ ^(m} <#؀AP|5#`u4z2S7$;-Mxp)fJ$hZd\.+lV}t"Vl97Pĸ3-lsNardD#s _L@;l aU @.T˃ȿ@&;DaK7@>b"z 쿯E}D3(V(ym0Ȳ cuހI<6D Ϳ?ڃ'$b}TۇnC}Mˏ㥶yA *|Vݽo+5?FI+V\|S чHZ-[^L4}Pl-} /STAj"hz`輛n_on*ŶW\(F8dwQRȻwـ\h*]194YvfFtg5 s@v]IѤ~Z*tڽ=FS써SD\/3 w%EuǘUnr᧬?«sHvMM D"ϞRNdxw_oO}^"3T*k>2ٗ{ ɋ[#EϪ W&26P. ) 95Zd糚.#3W!ʂ~~k`18s7iEmh3˶'g1MoLH3:$ɢFHRAQT~vКS<,We۰3ѫ8JM&G ?dI%v Ͽ І*ؑsT*Z^)}.Lˏ²e){3B8Dҡ#2a4EQ?ɕ0O$F6Bt# NqaT,W;<ІP:f 'ܵ{;V0^ᖐ=V ˶J5o,|f5p6j^Y$_,l{rm *VJCQc]{qM%Z|BZV,ڞ^QT -$<77uo= Q>+NO@v !Gk ,uͮIz%\2߬jsuWC'rkG XM1^<37kB9&d}9lš2قKv2<ԥV%Jyp Sc5wuuc4V<-f}%XBBׇ&@xUY==t[B,H>#xK O}#4T2B6h(>wbh?y@W"BKƅAMS1ˎKpO`e/nkK։x\nj/O[Whrˆ2oйy'=t^kYNfn:̞,bRR,גc_lS^5jqLI=yˮ@#{Z*7ݜ-R@q+YHrs{%ZV³>\ 6Ib7-Ϲ(tAn*giiw5SCFJ1_L/'xi<_ۮ[~9|ڑZ{iQ::qjZ JrhHޙÄŘQT 3kt:tYPL]uܠ/ hgA 5LKF*( 9#"aDW4t'a&3iqH&RڮVe+ޕCѬYސp l (օהE ƍ:~* ^dx2vHĒK;tEsg(k!,V%H 힬B ;\G'ʳnv()Y솉*=r挄>C%t#EDT`&m*Io?{UтаѪ6/ӽ->^`T"f^sm?6󦅙3Y wS,LR|8q45,ra ^A zG +NIwtU> !L<{VMExρx5d͑S$? &KJ&KVnIlWo ߎvxcG̏ʔj.J&.K%d@ǧ՞murTq(O+AoOD{QemI*&qtRk;[y'YW7W?~ 0Q,8V-#%?H:+*zo5Rq8 ?%ɠb zٶgVFn厪 :5ȕ,,Fގ2[6:xχ v`&yg5C8d?M q(քbJi'ǧ̡TΎ|~c܊18 !Z6۔USr`~LjPqH V*=d%W7Z}5&W+TJ/,h'8n:T-ܼ ?EKɗ5d'(2MݼR9Ϙ]9A1%/|ǒ2cA1A U/m~,:ɹe!|PtD}΅.>>_Oƛ@c"湠(2+Y[,xc709_8u߹^ߞ%?8 X*p|fIŎȝt=9rwZ,JuƯsM&i3dƀ5S-/E5b'H7/D@^".'YnA2$QtՃ#ҡj%Ž#MJ6i; ||JۣߤdFp<@U17\Œ,= 5,HWxt M{Gʦ^ǃ"X9i[iuSVWu^֞oId;CoÅvwy],IU.ě6~Mq0f;&ܔN#sބ.J~x8֛L֠Uȁv+ B#kFxcj:iph801>{JwTW nnCqwh#Ӡ{l/~vx;/͊ n=lo8H0ӣWkM 1i`| YSJ \ 4L;%>x?Б[4خ}ܙG)d:4A ⠶%h¯xr߻FZPm–drb{|] pHmGW dzXn~ijIJrO[O-TDp-7BA=Oz\i cZi)C(րlŦ!,+ WXK^"=b@m&5!cx.TaI _tE'Tq:żg*0ȣ2JP61b_V,rf]8;U)&~\Di+[lb4Jt̃-¾OMnc+}b)IbȽ' uJ=H)(<%$W%^KLE5*q]qKK,kGE ჷ|F2Jܨ$۰1P*@-5#qdMi)Wh,6q~Ȓu/EO{7ےTjCzPSc[9YR~w`҄&6LḳsQgf~^zNW"mb܇>qP Wޝ}Z\9XpPekHo1{S KD@ X\D"# "%t]1E -;_.6Nvɫ ĺQⱛ32d| rIet|Eed)+SYV40x$nPwI9HxWʌ>Pba7 IZ pȇ/,zb.&; {a? s]C֠Vj@,G!" SV]6#vM1v/>{JssKsfNy߶yD0„dɞoY`gxpWB[Aj鵨;;>*ӗ_"隊UcPjr4TyGE&l‡=":sŽ|^$o7!xS:㌕z]blXĀfNRq,~}R[DfԎ,LF[z1 eeKv>a̛`܌9y t{ߋ rm&/Cg Wr1z!*_#.DT|0ͽ&KC~Ww#H鏺*,4dRZ-wM(K3>aRI@cim&q8T1T,| X2^[Iy9CtL_/; Pλ0ԈwCѷٍ솧vڦ)+ *uOE\׋+ӴYAHXV׆ ÕMyᮭGF>NFrZُu (0YڐV7 AܪK7w5['dc0QƷ $۷3mv(wO1S]M#0yzGblYf_';*UޖԺYieDIȲM|{WTzΕ+Zu'-;]ͺ}GME:U })*Ag J nF0_L U}2` g:-wgYZ7zXZִF! _[]ŗXi%L!l.ܒDʱi,իh&bCI1vB'MfPŵUP y<6yuLєs?Kr8AMu \(3_ >h)<1n.w0ء%^umI|,O #֋XO+ap.*BD*Qv+c!P!vTe+ |AS"h`mzPΟ+eE謹*J.x unݘ]hA=_]1N?k*''\̷?n1}޺XZ ҄>?l;'݉qíbg+" o#aϭ}8ᔩ~|UI),oج{4~U/,Lg6@Q~p [ۮb]&營8Ώ/+)%**D̙E? ft1VZRk`** Qͽ.n% ZK񱶠&>EYɘtįvQ?P.UAF(dpPk-Eu3ugy7i&ov{\Bufl.Fn:OW5n=x ,S,ϡh]ݧYHRK`Ɖ&$S?3̎ET]yOº1?Jj4H1%I'( _e4r/X%+Dk[vʦf%jcA`vGbF5Z*'ِV/%P:-G=_ACrl=G +^S ہ t_= 0-#TetC1m,HͲA4eHWQViB3h (Pn౅VmCt~/hl?AboVǀl1+=Q5 lhnZpAj*=cy?Y/#~\WSB(Ie3oaY'QO\ي|m;gz=͡?Km`.RPjFc?8:%|NЕ7\Y-XmbpXm JҺgYZ79b70163a5c4313dc101413fc4d4431b7c7cd9758215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 f5e991b39ecd6c398783cd24c91c5bf70874d19d