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  ztD| ]S]Hermite:threads=4elapsed=115.277cpu=258.296gc=13.8327zXZִF! ZP4]ŗXiɟH)0%o[S^#i*,jO&wۮvV׽_zp"i=~w$kIY< |hrb8ز+W)*[8whg2ItO79Z)@~_YvaQm/   Hermite   sZcC6j\yO5Q0993u$Ut?V!S$3$ "". dfDhi w&Zx\a|}8 CPUܱc>^@H(9a41(Jd\/r` MqY?zQ-|AG( AZ:EPkϓkQ,3E͝J$*IZ;Xߊ"6 0@',+B&%=+5d;i]sde:T+Vil>I=*L'wkxwd-ҪIQQlEX@mƞIA9R 4R1r B*9n_wl(qBqN zOچX:mVg}Ԫszm4GwY@zl 8o|=&{`#o{f96=yՆD>{ZC-6cZ53 /'iZ!kfηl c&qsu ²Ytοi ˄ېe֜lÃTTYaйWi$W?]Z1j˺SEAuR>15([ĎCBgkA&蟭b!ܿ^}z pfW$ (S.b} PXE] c.W9ۼ|=Md;lfB{^,wF27vQ>=m$ɛC.%ϕrB %mpf~džXj384rГ-/E(A E U/Lh9]򂆧/S&$GH:)V(͇ѷp4>,`}WC->ݕK%:v-[%w/ٌX`-ƈ1hSe I.i,;1c\hYApR4 >UO1Z4]1.Vt* 26ďv1L AYoIBƄtQ [OX8uvvnbfYtX&S}&Xo'{B$RmGRqIU6f ,Ǽ! p,)P+)C/so!ո(.pZ & r>ሇ):n44|`jy4REϞ@0ΡczDl{˷6VzN?]k~)N:ԶE}UBqp| PFln]ǰpЖO:cuL8m}$T "Z}QZ6`sriЃfk4su 1rCm@\[:Y˪^yΉEjqcfE8m#4[++<%cPc=Lx 2G)뿫E!erR|%J#,扭?bF\ߟ<DҷpEn8dV35!]c1DvH`;OыEjf UoN~TjO_,ټEv`AA#'߇rcD-ʥ1FkTɴыIɫg7MbW0T(ShTYs8ְͶvHS<ƚS},]inW =Ί*@_V}|G1lcdX\l5T>۟%}Жlx኿}qִFk@8{ 8ŵrL5F檺+ 8 xVx%]p5Xa"apNæPa ,%(Q*\}\xp\2)Raݴe@*䐔j}gXzBzo b4/g= !|%3-()NϰZ$(­G'or57lQ|kf'HJa~i ?G>!|jk+l"duUŪH5ʋy#$ĭܹ\>^h ;APIZUOWYd)"5q)ii(BJDˋဵnW@us0mbO3:{4m [:_R=pW z9O"'дygn!qxbDk\WX1O8o(#t&36' ȼbm) ›{7}]"5?᭱Iy1~xʎ8C(tKcM:r YOr5^2G\%CBg&7X eȊz*Fs* K6zmr,y=GteOVY5Yj0Mc{(t8X~(e셸g_kk)WsYuܲ! VLF%Oc?_v}O詺[BY_E"J[ﻈ)<<<|6ɶYZء o {s:K?6^}q-},julJQL怨߾&w(k!L&EIy&r``Cge)@74w,ONNJ r:-wTۋN),g5ViWUVy05),"akڡrF'!JՐ +TG1]GZdzn亟`(o GldPYlKI{r 'QyISIxkꯙş(圢c** >Ue3!^UEKf! =H:)oLrI+M^|(~802bгǓ:n,_G5J\$M4uer pz{}٢=! ֢̾E?G`Kh{PWIVAP֓0:rҗw\~Ph6 P7S&h:F¾Okb!սh iɃ9QrO]Q▋Yaj$a,tRkGoGT QR&@#&+H+BI1n.{IN!bM1{GB"IGNH{i b &X;=!yB#55q$mWxVG0Xʴ Xe ZMo}";ޥ\%6ΎGm0> V;f&e h7 8;c<1ւ Qo* -澏1Sc~BApDk_B7|\`e0sK/xd4>i^ + mK`e׃b@;'v5vYDV3=ٚiR?4q!sXtqJ% %toH+ӍD;0n~N}::tm]6REY& 2_9}\e2̒}PN2jRnn*]KRP4PNy? }&/2K{U)IQ]#Y˱e9рRo)!*o V~)‡cR6DɩpNYF(ԁѴ鏿3ظކm1aS}CYELx&P@mAp"g9>bbxܮ|)7EywQZ+r܌ɩq1 *:AqBC )< D($'Nڸ,,>)tBwk/)Z z`{}i 8)/ ]e&`y_ p7ϼsCɁXQ+M.k17)vWωyU t2t z.o}4S;20˂[>4q.˩q,kHgqp^L35G-ƳZ`EȺgĎt{!t>L- U0u;oo{c^l8B1w~A*;yd|_z@\4m`BKׄ^};h %ezHR $i.jPGZ0wPI|&#f7PU`p_q7xrM`-\Ȋ΄YO.xŝj'$G /05+;T!5^P΃_R'=Xem~+o-t800ʊ)δf錑j2pעtoB>}1 ?yIAuj-3u:"`cVb-@[hƌfd~}tB-@mf.z>b".cg3X<&>X^E!ΰwk[;-EV$Kr,zG~@?J~xsد=u22N3k|d0X]W|$تڜ Kr- {ҴSR>SЉtܘF#o+&#AhVQ9‰CRƄ +{W_ DU,[̼I/c76hB3$1]ekY˧x>G$IP%GS:{؜GҥUVS Evzf'a>q*[g6k ^ctXf?XM1@)w7# 쯻Q=X['Xe\ 7?qAz|}~π\J@I`&?WV ЄZK5}@@iVl"?2uguF ‡׀ȸt't`7*P~[Dhj,Ðn v }sk6%0C&@0 VNs,_X8 uSLe10Le<^QC\knɧ&2dl(==܋w!ls"0ߘ WpF?3S@{H8ychӢY"TIeO uC1p@ːcWO|CFY>V~]I --ҳO}ݱ!Dy Lm .FMOrB`2~ c2nt>pe^fqKVڭA 1>%X|VMu_Rx }Kmw"32]M lIKQ3m?ʂ񸊦'ՃG g{2=NuE|®Ye+ȝE(]POkmK2mhka!m E7C PN2:+JD4YqpWU"Bx%V&$8ka7?p1PLXt bww&Sb,8FyK8@)x]ãu(*DY%!u;Am}ii K"6?AJ0ws| <"AIHUS~/u}4wz d(fcX01(?7m+jG5`G:rJ1(ҟ@%uT$!ys,ed*d_{bUqMA@խۄdjr&^ Tg=.+O:h:C\SIkV襲m2kKE}ƲS>`dK`Z)_ ځ9ơN@QFA!FyMop='$i;pa+铯axwr$B;,I\Ua%.=* %F-cQޢmʼnB(`+$ƙ?A M2-qKZۂM7w,GZ)`C)̈?Þ#{WBL-@@VSZ2@ݶѩC_8~~T^ݟQ {fOqNi jf-dɇ漶dvvFV}v"8>?/iTH> 5>va<Ӽ+4p9l)Wþ|VpB=lr$uYAu> Ʈ846D9qmO_} P /;,Vd $Q睲Qi tVJ΄ZeNKkzep@0YExV"agt;CS|yv14L5 qogg)ǃ~.iwHN} ̑t7WxK9r[#lIfZe,U2N c{!%0ެX m 3RnE38U}<퇴Ct7Ѐz}JĻ'nJap-5Uu"/G},n7CIaG=:[xƟ 36k%/ZTh}NvhKøpKevND$ FΖ01\ǛJ,"{ ɌNJ6fX9w%Yts7 Fc.68ܽd0h{S/b" ^fE=Yٗ> ,p"%$:G w %!b(Zu'^7^{CUZn)5֔7h$%^7 EŃ8ir멛smoqAwբdƢÇ_c"lxg&=rfhx<,.FasCT@ U0) v_TdT %\̟T}.*` SaE(FCQ~5U_0`UԦ!%{}wM)S<^gSUŲXUt l27O.wU`ەuIP[zKlȓ7)Id(r?]~٠x_h&Dge7Mz6@ޯ2p^q_r3l\ZpG+hKQLZɮ`s={B N,j91$ݴ]h8x 5}s/1&[aO~Y6E1`#pko5:)lmjV,cgo>:wQÐ҅]OHz\ Uc -m.kའTTjϵZ^)Wޟ\?`SA` @Q˚BO4{`{ D <=Yt5E+Iga M f—b<꽛4f>8K@CO.c\P\-Ӧ9O1_YC̾5Ѧنyu: _Y/cH8\X7U83T 7 =J` $h.9w<-GѨiRAC 807nam?>ON͛]1 Eealw {Mcu.^Jn `w/},P6":βcWUa^̧% *D! srZc|+S;BkJIrĮ@ӗšxM%$ SBElP]@'=,8ދuO]M]R0G4vbd|2/.$0.xpsCa5"1WEwJKH~aMCay;ر-c}Hl/.ͩdkJc=*۽:։A=,v c`;$ޚR%YsFw;>oۯJ+ד'IG u>B?a9Dp ix5>lwYS OGHTDCM{J6-ra_J6rxGG=RZ;=c:!O3j3`~JW,4Q:бT37{t\."lY ?xm V+pB@[L cfklZF/M5 .%@D TUT'xIIm*FI;7e+d[^ &Z֍9E){9}9lJ_U|Q>;5z߯).kP2y6|ndEЧ9J#~&8Y܆lsnڍFbK4\̱*ЧL6Q4&bI#wgF֛< C%d>ef'WpsEC: &yJH7zۭtZMO( „=i.x nN o}w&)uh&re#1ƚ8paP|;`jܚA9ʞ$aGղ&jQ?S+LBy L?]}4O<*GG8"(ٱcxQ^4tE<X,6V.$ց_0@m$/:IGHC%eƄ9WX2l__G֜ EMYP&JEQ( #*]̪ 57fbXVZPx}-:8 xCq԰ Rc[0Tt73ģ^ҕf rn>vϛ*MkCƕ\k- UyP?^]"unӧ_n ."ElpRfm+>R4}LڱjO7^iB %J7NRH/-o-W=6|W%a m%oвdcžRx]9Dg)wt QIg<6Q$G,%Ue%3TcbabJÅjZ*1~R,3z|aK,V0.Dvixt0Ì%(B<'w8J4FDxǯE-;"_ʖL' x5a/JyX4Sw3Oٹv3_%PutNZDaoΕl~4AFPjɤ~W]s~Gc-̠3B|^y!_6baa *`5)v# ܃H]݁d:EFOf"HF'3 5ifܟ2?s>[: W ;;_wGcj=|#l`{Nt>¤#Fn:9*P0$Nu(тaw2JĴd2a_ q>[A|FJh~ȁwX9,!8>Ϥ iT2˼rp-x7wmdDžZۈ3~/iJcOiDOIgKiL(ְd P u^0G3t,ԛ^j=uv%k)J('#BH Ir8pDj[@"-Bj >tSA"OFEAFQ/΃Vo) riY|QXdaBxi6 Qg5gXYKQ!)qOfb]ɪMV;2v7XlbE=BMӨS7uwŐ`![C1n$'c!-P^(ɭHpe-is Э bu/R\*ָݛ0PƵ~+~㷺XvUv70΍=S(ZMH -p]`t<ɴBX@?0pR[O]W8\ʹ4<%*l.,W*_\ 7)QqٚuD z{e:\ 5m5GO&> `ixõq`FLBJz+rC~yGmEFyuȌmBsQ H3^cSŶ3R` !T t4e1*zH<5mh#Mv+Aeo[#_Ŏ"Kz%N!(Nu0<2NLVw=(?Alw-`Z/,泣6 Aٖy=őf{wrnB_G|{X7wwzpHLf܏MK#H}DFSLfSKqC2j9fޕ'[:yy8nk4ENS\=d$!KⒽ&yWN~79 "Ws9̼cMf7~äBy^l,du\fZ˃U6hz w/ |D{=&wӷ?1.;m׹+ܔDror*L!}F y @L_I2 @|h,ҊOfi2QD$| R~پ21 ǞnI0XkX:|K ϽʹO  5Cj$,cr ]i% Z@HROJK5%a.}ZH6ZL(b/j^M>i߸f;D Y"soҾ(JΦ} 6zqBQylۊ.%PyCxxEWǺ฽Y]^rɖDs ?NE#ԕ0̡m[\a`Kasn|!LR1Zu,ˈbw~Axk2z.ĜSsJ׮%sWؘO|ҰsjQg=f0،ۍ0zN?E#>&*LF@K!A母&#_q`Kы_!aߞu߃'A*n8̔ÌKٙnBЃSy0 ,Ln2D CsgWGxbs6ň{:mH1fU4.אZUH'a~Xv^ F&*Yŕ;&"^3`0bhO0ƥ%~OxlGR/ ~pJs8'm =-2ʻa)a7iTl} RL} ~k$' ﯖ\WY^}iPoJ\O[r1 Y)^=> 2zkm?NeP6DSZP[Gq̅!r0 *+ly%j0 ÏT"M3p*]h3"0M&>0R֙ko-9M+ˆS2 hT,[^+WfP4[x O2"%x2=`,z+2`YJâuw/,BD9+,󽄣提]q"FIr!9nn 49T'J @P)j0ܶg[ pS{8 `o[yC m4Mm) -I0 5~WcGq(',Zy/1ּ`*0fyu&$2IX;/Lb~<;Z Ӷ$-Fšn&!Sԙ9vL' >œIJϒT`uYL.a @74RnN vi>ikuK&a@MIŁg*/15}E-ڊf_&Hz6lUWgsSC ݿ "yst12|?xl Z{-65R 1_.(Iُ=T;5Tˉ>RdcwҼi-hxh/:|r[qԎ)5ͤcz$۲md9MꝔj'  3&K x'&ƷE!^ poŷ< !fIbSW &ʬٰlt髎m\L.o}䨖XѴqxYԷjJh~;tgcE$4,ݴ  )>Ε7ɒϥ ..H-Q5Uow$;cP]-,nNZ Ѓlm;fUӣH_k&qaJ (!̜7^p-VO(mhʛ.T@+_;E+ 5펙",^";VQɍAǹ~ ~T6av<3CLJ^ bx'wJֈSceDoM隖*E٥CKmM^=H>"çK [?+v7Qnu~KY:4^Bq 5jf yD$e|+!Y( @A0[{bFV7:PU)I-#Ź"vI!O f5i1\/aq[  5U3|u2sSFLY zpŕ5$&e:eq pR2-$֙3ze~pt܇5;cȭ/z]'ZpP)n2TLj;/lloz_^7mrwzjLřhAs(`toiC1dв9~kAf|VKmd&lxOFggۀ6XV^{A7` ]C2<@^yhG79Rkcj3լm׬R`k&ZiB!oŖ0GsGwQ~-Z%zO,Gk H䛙@zD m_ntnxJt$[h3\E~(*6b7R17rF3nrs5꯰H!bsJsŀ^TVI!3h帅7 !Q2H!YVQC[soθ ~~s&~@BKAVLt-_K!+8' /6KNo~WfY(>V(*B4j_O)%x=Y aӚU9z=9Z$Z E@k,bƜd@T(hD + frh. Q;#^T(LDI0_.D`mN /# [eBBOO,)O84 &R⧜FЦ}Bv>SP!>Fc-\q^J"~9k;?M~[]М{|mz5ba:~LjE^:6++{ypgIzx%T/ۻ l4w)cJrESVS_SjXZ?5Tm]SERM)%O[^i'(wkW/dw,vL܇hckJn*ĕj6Ȳѧ Ѧwe߰\ x9CГ-(dU 5:! HZ NcU۳_qqsk(_&}[ZHrޝhGᙙ&rfzSYv﮹ÏZ% Hlp?C?X. zV Ve6q1c,bXwy֞ ssP4$j 'bx s:(51Hr5ppvӒh;TDτ) ws6v-dQ;S @Ӝ֍@{U1s}쎈 5Rڢ=akO[~ fXca, SL@q5MK:lmcz dӼC#fFg\{47{0NZ pMh%Ta-&|M5}."eP/y}\zJC&Φ̧~kfX{?*gBޯ)QEwy&>Vޙ?!fFjI`EPp/J:( q]"C9" 2o( be#n8NJAqb.V:܄b+ M8b[zEQ]o27}Z.q=ĦUq"CĘ52j XwIRTPSFثsZ|f9Ce"[/½I,5=;R;̢>4!׹8NjCڈj&iO¨{8Y$Ёk3@ ~;sIclFv\adde2|Jd [u^y譋SeSm4y:<6=->OvX1?lVo Р2gYZ7zXZִF! \]ŗXiɟ ו 44gφ$uڀKl'oK>#+C!;%BRaV$TGՄ?ox2pgYZ7zXZִF! w]ŗXi%L&ʶ%.*X;n=2]`y9"0R]/B|X/G Fx.\Z_HPgg[j u/AHgaCf&=@O_l9( NMJ#mepYDjiGg8YI<:|sU2qڕ I=ɛa" v:cBy^IMjf|=j4=m6AN*K?s /sTr!unj4qˉb+Ԙ_lE^;GRЌyT8B{G^= i؅J"5ETykUӞv9 {x\rO/l@B9m#j16 CV q5ƼLjKCNwd&𱳉4j-r߲Fő"[9Gd1sjbDB3g zG=lzKۢGXwtjݔ}MI8:B'H 4 ed*i흐n* 3't-RekxD2:A%B}q\#L*P)^d&J=Nd/߉HT)/(Vu4 fr+? jNdխD :vktJ t]u0TFHx#' VA y{U,v0ol6/E6{ n[=9o⦫۲R;3Y.Њ=x'I[*7WOASQn4uТ-ȨQZB[kU[)1~a*m듯//6K'ν:xRV dޛdګyZVKE) rR 0?=qMGk(HG嫳}M{;EVmͰLW<;I)uO! d Ҩx?~BW'c@Oe|iRF/6Bhs+/ \F$$O b-B"itFjU` B(zu*DFZmbܵQ/+\Kf~A&R-,&h{pCYQG{|_ 6Tv1=F<% |M{:ܽޭr<)/7y s/ N+q!_QS 4^?ctxWl, ̴t F+Q[,/3ϱ5YݝIU9G0CX'h7U^Zۤ֍9tۊ5JM< KPP,6z6C A $y&)5$trMqq7G m-]?nsۀ+Y& |V>&HU2h W8=HGO. 璯zH. GGjnvݵQ(/~:nUf˴qM?af,4=4r'PiMMN%,qɸt5lXYmjov^p? `- !Q]{˜PdMi$qo|vзZKk*jΏL-h dLS'|A({tZ%_q Vqĵ\{rp޾ ʯ` ;GԾw푥 ?<2~52PnRY ~8&3t虇kӼACM.t.Z.ZKd9U_CW[Wj|ULi/Y8GT6(j$M<{vWzJ.j;~n׾1+@tf&~ϩxq>z)Uݯ󍸧`  w\2\HJn saB=xE73s,_R=U Md` :R듗@V~C>ZOY3s 1Ѥ+r&9|TcUdWՑ.,YJ囑4y6^oN:YCn)(΅*qJ^ŘG!}ƵLlH×`eRh<*M=xQC!ϖg5b%z}hn+;{š2GBd٫φ+L:ȅ!fd[@}kѢ&}TГҔv ɬia$W[^NQ`CFsEZ$Sy>:ClUa.9[Jk͛fnƪsDi큚L~x%-6LuAI~Hʮ31[;?Ve3&L-"oּ׮ 3]J-m(qɏ}NG֪h ;jϑL(ޓ |it{ cî'XQmS~ğnfIȔH֦>!|{=kvRu6~3v x>|`b|o4b *- v-A:Zj3ű0 h %H?#t~7KPl=D>HbԜ4X{9(MyS۟(+S.ØGRu)eS6].Ce6q+0_ğ#BJ M?zLekGR[BY?Ge֭J~t?9rR=hc-/F_TZ9BFMP(B/IXpqnyZg:EU.cRB4t^qvTċ~M,u(uOsn*;) gShOD0U?N8'VjqT}FEjDȠo蜉 ]b0QSۗ#Uƕ=^-JSSDB k2)j => zx./|R]J91ornJ-*~ È,ri ͉Zº-VRiZHT.g0(=Ʉ49 ա>@ZNY}޻>|p" ,:{!+%G QV8迅$LcmUX[ךFT_]]?ͪϠ֣D _? ࠀ{˃[s6-2x:%.a"{֖$Y@̑erGE ,w^*L KI hZ$.|M]EȣIl A=lY%7T~$Q >hzj<~po +Q%0P@y+:ax/៦O"$CfDH!luO>3 ;(HRwB@+PFUyۍ%@ZgU$wDz'p$%xLWNoB:Ry#ulnᨓe6K0\siwc{ Wu"ΩY@zzFmEN_FG\r|ext l>6f\E͛^Mo:$u 3YKw}Z4w,21|a+O ?{YO"hz\?0ٛOe89Z٬GJE,_(Ls;,kšda}7+g#a8 ,8TzV:AOZC$NL7uQdz^([^m=>e%,U{.]"R#lsi` W;n>R0x62pq[ "yY8fJ`z\b<ƣ)c龼ZQi٣K[N ͒fX?rU+r[%' y#{$CLmN@E跑bPM<9 ")uT_9J4a;HNh_vӔ$ӾDYKιj "ӠN u@ɲuW37~O+#cT$ o2]a1$?y+(ANf]Qkn {XfW>蘳2MFVh3i΅B@e_wPue QNf0w<q/lx5 O%Db>) #us؜s&deU\.a2H! JةӒwm,E@ Cw@P[ʆ>Ԙa5M skBg IuM/9dj'JTq"Hɱ#0?V8|~:>t?FUf4$'fКN^`3|Dja}q5xKB5<;@쨜FmxJQ&+I! C"?ycZsR٢#UcCWR d"FJ[yڕQ8Tn4}YxF\FrI` DNwq~xD;ŋ/7Ov9`?ԇԶbȭh`x6#ٵecBnIcM7JELݍ(*c歭s)>LN}`P& 2)k#}_wkEƽw˜"gxk* -B`㌎5V"cb@CAb2DʅDn}9Igvs[dXި!f1o{y`B"-Η|#yZ?snsuݵd5 e8wnU[gAemXg_|çO|nU"E!c@3+e?(Iouy.Qp傏y,%>w}m0m#ɞ]9D*™}Q3_> CH]}$ S\9 }ǦJe>~CjR'.L26kϊG^3&$HQߑ޿f7&PHxLtoN'/ƎR&\3hçN'ʏ!o0⾲Q8=❂v4 q޿]XnO'ao\228Sq 56xƓ\M⃓{{ЫWcs94MjK迚/Bq/h|2kc[;t}J5>(%?[2\'FZT5 ߀@qFuT [o7V8% ܙlS9KVh3|g@+A$Wa=RƁ*atjyty.UD:}hNsoLB̉ = ln.j?QIs2]eF^+X݊O_1Pkp}ϱ@ff_`lH2TUHݰ40Wl:#s_zT#7Pmz3so(x|nUu0ss-yŹC'ISAS] #1"x03;e{Kz4۫PkL~ S_vrZe'7WW9pzSs-!Qӂ=2 dz/S[q4}tUg08UZL6LޓM?_1w~:ng ʆ ($ŗTl6QuoLIU?}YKsS *Y yIbnVW8saSesVi`,7|# Hǣ8J_fYW3tQRUhvH:v:yJO %,\8x+NbWfӁ*"Gv֍44_^ie8Muh/"D6C{=DJSNzMF@xeM2߳LhJgD_q4u>ش~J% ,',E^lS9}'eb,_F.c3b`ԾՈYE_U+mg}vjVA+}~1O<. t+.X?Ү'Qxŗ$0A0`f*i߮`y/1-4l/4g;cn]ĵ `oV'j?1w^iHmўNJUrV/:!Tj!8\g(*{;QI EeL\U-mjY!wdpRgiÄo}*, &j">sڗ:I[D=={XBYm'O =}]/2tJOXi.CneUPj;NɎf{TXf~f0mN 0-xm}S6 /N9TB60D/XkK l;M 1TZ*FwN@ ~dz6sC&R݋6yx]KT*68l`ET; VMY Sqsk Hy-# >0fekx/q^)נ;7չ0nf'MPݻ!aspDm/'EqGX t>\+lּ>bG͓ZnO>gWG~"]ZeL36XO$*,8kr0@*jj Mqv̗Sl5@C|͍^L haOjRjQlDm>^ ʓ3͟gA7E:ɓ ;մQyt_ql^|R?g?ٳ5K/gYZ2e00dfa5871ef8cbe2c4f6acdd2d420ca940112a9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 8d72a20da3529ac1397d6baaa2e0de9cc0929a6d b25485ba3013e1d356e0bc8d68609dcfe2a2ef13fa2d6415995af7fdc528f9dccc395fafe1a2b917