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  x#DL, ]S Psi_Calculi:threads=4elapsed=364.698cpu=1192.004gc=24.832factor=3.277zXZִF! Q]ŗXf[&q?5qcr5];[quqt 9{Ь5L'%vSwZ^2QM1+W٧n7d&ՅyR$} 2=l31$p 7L£^xz$x_GK_$]TZ1+]kR| ]BQ$t^O^2ŵ$@ΛEPyW)AR9:</`|dH#gګM(d4!Zhep4T88abXSCݡCuU-_&׉X0cey=o[,hdb6. aRjw_)dbtBvWN5M+cDD朇c50Uwk [ Xp .r+l0$VrO_8{;N M`5?we ,E7NIFR-MV2Ad5f)G@ MOXTr)tf9Od)|7P[ˈA2++bUnQiYղ0 PQ,B34[RB7 U.?+M: R#'ITN^| 'Hh*^ )#]P' N # Psi_Calculi  ˻<"kBˍ.,J鳭&pXZ䤭 > cn2XVPo?2*.r:y};2oʐb)k2PhMyb)>Og YiInlX[>]/Ws=D)cPX\%vneU()Œy%vhd䯟h5wGDb#/йSG,QRw K{:tmD})`VȲvo?-PN"׍#aYX &.T4RU '#ӟ Q(璿{]QƻT\槢IG/WC>7wmk]ӵܞwk]#=f<!J<$Bd24 b(?h%IkMDD{;#[MDsJ;.*K 'XD&͸-8V7@"WXÙev]Jk &)P9k֭JUN oj'&˕ VK-#RᑉfYzx{S%~Tbk L}N|HуߗD>#k!Z keRQQsd-DSFJ0ͯ[vo>]Rxǯ,=~5ٛPB-:9D2KܔrKzӞ9YR<*<~IqxBgPw4Ӱ?Iz~s,<(Qȱqp|H Xo;/ FCY-c X'Q-jh,j22aeZ&,ҳn-XvN;__?ޅ鄲)(B{ H&1MFmy}FJXO@ n}&Q!kc`Bvh8K)(^i>躌'Qry v=E${S0 ybI(C8Yk"I_eLGnNO7E8ֳkwt8MrU|e /&1%ڿ~Ebw ~Yа]L$~\3EڳopkbmbsD'R3]#ŀ4"i?.Orw$ֶ!'(}~X #;48Sl1HN5J5Շ2G #u{^.$1tDЕ U7yɣBzn!K)$kh+&KБ qmZ'0'CS ~~PquKVؑNqp#yy|)FV`Q:a ^ =\.,1YLU.F4݁uFEs4ᯙ k;Ұ%P ޢot4BЀ#+Q`A4-Tt\łh{AQR USHdd$؈n# fY⩺swL*P\k>D+^.3ơvkp+>CN<* vgmf>q(Gj%!%wDsxYN)VMUP?6,խ!i?:.}Du@lT =&ġI8ڼ!Zv @S3qA2^Zg"~k>cq#^lfvnd̢Q/nxS2kN! _:Qls#$Hc8մX9)AsLeB]WY@k̯կ8-gw Cc@hHϹ 9YB9qzW6.|>t?.:;3cd!vǣEԈ*Slo.UVjNDl$t;F*"! <>G]$>Ӱ;4Qg/z̢E>R")QGt9Y9N*)FBk/^^B JP%WfG&f oz V$QTD;H G6.e' ېePHm9o0)`!,@&Z~q>Z/⟕)[{PyGě^*k~y ;*.ܮCgGC[FYovaINp3?KjwV/A6F 6,¢? @;> O Pk|YȖ[*249n+Cg4vN}h{*#@裲zR%~WIjũ;`R$˓cB}^DvC+qt},XA#R[k1-\H%I5cDZG3 /fe1$'.s2Xfs77uaIUk brI SS笢(6hvN  #XUyE W }Bs+ǩ}` -#(.=c&~'~'nWRfObGVg .N(>Š1l:w^xN}h!FB]R Q~c A-Nn4TcqP<vwAy 4&iCͬ唭`֕lE>oxJ!Ί$m:_@:HX'A:2wV/`^A6B]ޣNV/zclcWdμFztNP'(ͪp;Ql*'[ 8Y41K2=}ʹȣ[Aa^LۃL*Z$ZI/>'0I<)"f)o`m(]t(DݾS:Q*!2uw;D EA -gIQpLAehSbv|{ .PR7g(qBY89엤~Cz@{f~}\:,>aHJFdD{RJ 9P 6I R*Um-jPPCarqS|B"bLDC3q8g<iǥ{Tcsը5VnLq'!Sr6B/x i`?0N?b]# c;CZg;H!u'-?@?ET{iO#Ql7-<1D|(,O?y=\Hn<T׾06{*e6U>$:|y7y`{7f ZHSeUN''(=nϞ? N;UP-¿z政-B2[7PF;e #xKc Tp$Z֌ bI_ݨ G_q̯% SC(R>RMNΎ`CO&g ~=/UJ?o GAN( #,<*fMİ OY)61ir##˹DYrlr>5jv r9?k t,1 r$Ǡ,vq˫5I+\~~' tq^NBz?`K@D2LDg%+[zl|dfk /k\$<{K=5ګA6_8ٝs-.[Tͨ -ehe%5=" a`qbUYG fz]bA-M1Kld&\ R#k\-[J/U)\~1&℆wq4n~i7p@/w;ێr!;2{EwqS V'D8˙YwC1S͊ND(G #wݝsZtU^DSAfXu{wxFv'HsgKaӄɅwSG(j*Qm+[$ Z|vզ/6͆8C)mtcv\)f1BcH%#m-m? F1,޿,{ZBg[nB'cw<70TŢ>o "fauEKE.~rùCpw356{+CPziZ/p1[$MlLh}A' h&tB,0$5B țW||>$lǢ\y dޤf2. A K_{MQ`_Nw& iؽS?ɍZ.lTcE:9EV묬sbwHs.juNfTX fA$]OnrЩ*G\P ?[.Zһz솅1ƚFƘ;">Ɓхox 橴w}J_)w¼T7J+cڳ͗ݵњZmm]*oX,) FvUv;Ʊjz0$:YkjNǦE)%ȯr:p.Wu{r\v-@wb+!Q8!ތti'յ0ʜ}?JB RF_kjY;Yb5'vW'KmFJB۩#ܑU@C.{'G;a'}Vn~Ҥa0l˻=V|w󈈴fk}ԧ7<=X!GD:R{n𒉩Ú/^z-1bMT]3(+ UX;"ʷ)O9eŃ>_٠Nչ|p]-KRnɽ{G| s@c.K#%4*ޥ7mMh)oJ+6"-XI gYZ7zXZִF! Ho]ŗXi%Br[Ԛ`OÔ3 oE!cjtS(Јt1!l|jȐrJ{؊GNg!f2/CmԮlg# 9yGB7"H(hO$RD }d5D &l?~}pg_%7J /S5x>[o  T05I8Q3N<PIvlj %mM3-Z5 c> E)iB/#Rh)Wuxp1FmfTۭu$}lȧi=.wCKrTׯxӷHֱѱ  Y|TLFim1^t]-TL`& ##ΡH[LQΓoͳmMz*c `&18գa]XmyD[=޹@HRw2r0q`٨bIX =B'F,ݿu޻D5AiZJbXpjQ$c6O# <\3J{&QO@QHQpaV(F M2/NY/z/[.Fv ;>k9*lQv=^Ԣq7*u#6V0#@)MA8}ś 58na ٷ^7Aū:11 cij%Xpi&9tя̏T3~NUQ:ei;i pG&T湼e{sc}\3Tv ʣA4n ,aqS0NӬGeNPb` bʣ%c|B=MEΧAOz#Y>. -M΁VO `*ASw)\=)4-[ZVwP?}{iKfkH_/T5}FiX"aly~ I>d=pT*dMt=Wf EmXfЅsr/_.GlE w_F$jN/&)ΠުER+`TяY`j!}%@;8.v>wW/gdL^9tfǀ-^:IE -jۗUNJT̬&2pOB(Z5! jDn|n-?)5!D;a^,Y^1bʟ,@_J= @d֙Y<؉+C\BZ: xӟ5z;(Ż4'ɔКv?}MEkjn,y*g=m;gv-oDi YmXK6qߥ`!ƑST*HmaYxDmɹzrfg &hzJTG:8#޷. @1nb0gWRIJS (j d5Lx/)a%c`&3T$7iqw h@i2#>L5\I"JVힵʘ.3רXQLwCIfZqb=|3BF>(Ё?>rUa[h&(f} [{J|֓/l|p R ZQ\0pN[}*Nӳc.JFLjZSF=`V䱟#("R[Iw >,\/+mtvs,ބJ&Qui(44h,u \p#wωCn^'?ݷxt$$\={)8upnrS_#}s?B бZ`|QAAeR;n?oQw7BYCG{ݺec(43?JU'>(uGepBĄ[UB3|NG"FD05T HgE^Aе!#*FprpłkBm9o-̠b <.F"Č!p7{EvV;ԝKQTt~SW,OFdwZ}9C0ئoU%JM ]`9+n31UO" B֏od*؆z%vd!}΍Gwr(#(։N:qd ך% >2~Ͷ[(b>~9#`$B$.Lk1҈/2R:J`0zƖG0Rnj$pj}];%Jx$-@Fp'P}TX.c,_{";ꝇƞOȤy V΀p24a5ܵ~),GjCoFDTj̷HݔTxH/ujuz};Z'l㞱0B.Zx' $Hpv*ŗXޣ5yO2Jɢ|ͺb 3 }O$^K)χ}GSsڡlGMi &L2^H+ W$p'^ B|&WЮ9?ox]@(+rɔIDst*Us=U=._-w] 1b"9㴐i^ MNqq숶9W {afUڝD&t`08^RiI'2SZAmEe9M0ayw6ق4EӦW4l> {~Sd#;254fRc i05cKe3UޡΗ=SE/!Ó+Y@UE/moHR9h\ l4f:jO-3"cZKJ?aqmE_Q؊–ef)ȍZBPV"3Eظ!m[1v_'ڞֻDBr ?+SX݅2"SVZ hȠ$G)NsV>Q&1.h$[IA\,ONS;IRK=)הB+)3| +sz4袔aS~AMR."U;pHlK$YgU.}H"E'Qz RWk?쇌$s2Y:CVu`!*\дUVuk}ä.ԟĜeX0__A졽f:3G^|sz|ƵyHAtwMqr %(0VP<\茘p,޺w;Pk~6ѹ` !1yb[cjzn@0Poς\?Z*+)XN|L|]<QơO*>"!`MjuN-} E ȍ^vZL=;7MN\+tMO9z]KVPth0|e绕a>¸dRfi'_Mr(ˆ8/ʲ)x۔]F#yݼqfkCw8 6f)LkVSz)̰pD88`6d: 6 nhPPL27SW'<EZF黹_̤1iC_* <%_~5XWxQؠw¬` 'F\^EV.6J+:4a!!z&%'gXDd}g\nzXC0)AA\y])V  +Fw'0?l2n.Gð5YRcwy̩%V`K;T˫u%9E}:%=PIQ/2`=;w|f6YP4Tql<͒,e ee~ r$#PTm`S "{/աjQ FӀ,&އ,/Ά2< %? bQ@-դ-)Q{#?XHc- \g( <9D^UE_A#t=+?RYe i]!ʛxljP_c`\RS{҄fRD> ;mY (N9 +ʑ4ƴ-SHئR#Rܪ"& +M#RF{5HsyƽRk ü# ^P隑9/'t(T"4mv[y\4Jf+M$I*rlԆj.u =Wu5>-NZS{Js&nQSBTܡdC@>NB(|vi"벽jJq1S۟1oTFD#;`1bKN%2Y3ѿ#Eժ2lgrֹO8?&ٟ$OZ"kp֙."/Ƀ#^h60*m+4G RI?uI P}+Ggx _s)r@ϛC$xڐ[@@8Axۆh=jR\ N]裴!eHt$/ۋvgZSh 1rtƀl>IFj Xh(BIML sd_=3uJ?n`/JݿpS9B{7R @8;dc_qafA@ymdS} o1{mtm`PRӢ6N*z >Ī$MdvuM$  F*(~ /SRNvg;?b*EEB*a88}ZimA=D.924`6h0:Ҷ|ge<~5UqkL_ʏ0n(Czb=_Gd@DRha`Hht/Ťq%mqtpZp1(<7ŽΫ~F.>F4k (_voddߜ%#?PӫA%fE״"]diRgvP$G 2s_k19O\8ShK[Vyy6x>p { Y1BV[D-bw1 SzkԤ w?F'LS];΃!Hz2&h>^[s'[%A01[:w6?eޣ-Z:[Vb{Rԃ7CPCYW`ZzT14UCN"#RnBf׻{u)ߖ|M;n"gaKj=gGoDe?L mu %TnKU7LV z21a9)x/G?Y<ܶ%!L=Pg)PZ@< MmV~/vYUٔO&j||;gOyv,:'X//kvD2V lDEFloK BNȘ t̀QrW%=hR-NvsufPS, 4`UzlQ>Nl>5,Rp.{ ԘMeۏZqLtehG_'`Nؖ*ALu|"Hl)U*~c]JoC&\HqgSՊqѯ&QAZ3@^yG%frf*>ͯ9nol& atAUE-jMÔJaI}eګu,Q{a\um2E}RLx8A.%,45RLZe5ţM7 S.1=o峦Nx0N0h[ALvL?ث}شg'$,PipT4DFZiU=.ݗei8FK^V}vJ dW.F0wpy!o| REskY2N% kPy$-Ÿtӯ`aw&RW\JxУ&)=#ܮ?6;V6]wa6ye;raDCcB7#W=|) Bdzq'%{th21FاJze黀y!+:&zdChW,ϢꆂDT?!U JE 0o4x̀ץm݌c~#ʺ<;y*_4o{P1wv3Wb8x[f]T1,EgRu'2F ]=v rX$uv>\ID%0(|YN͗L 6F#R_ Wf^d'H)_;S]51(V|M(;n/{AK"N#pq8dW0b&Q Goa=X<uݫYM0]UM23vx8 _5 C}]geq^>V;̫X3 m`0(G.:x=lEhw"W4Hm]g ޙ%KwQHE +hg<#4(fV!Kk̖8͜[2{)&>fsOÞ^"VܢbuT9isN*?TT>(2~޾0 PRˣ6 R<:ӒJḣe "l&< H{ȑ}쯺03';52HmW)evƚ[J oI^hDcj3DQz[|WD3N'_t߲uSP+rF~ wW\Z~st [ Lj^SƮ:0fSN@5ӡgJF#M,`77<Qqa7O,|7^(V=`3 ?p6vE;J^WU+Ťm{ћqhv8.r;Jc$ZmL (ME,P:^AM8:5Jm?̎@4ubi}pK]&CcD븒9H=ag{h]ApuH5.'Rl֐)XKYrsNpV s~e2rcOKa5kߵ2.omphQq8iu6uy!{nt+v71+UН=uj % [*SP߆qge6%4i=ЈY|I("vw*'b|@t{+Ru pgLkqy)|etюIf qDtLJvj1_P#T=m/(Y5>HG7w%,95pYnjiobu.=!3[:ts j9p f. : ^MUnf`nSb[wLK$YvsVZTF5ۗ( ̧j]SZn UI 3 5 %2[J:z|wCaAJd硽 X J3#Tv*)J^3^tQ.<}n41r}BP< jz/;'QeN*)²M&W yc^G{9l]2=ʣLNcI&3pUf|V:9NG1PaRv^CWI:]z@BZu #=1vFAXc>vd$idÖdi&8*RS*+DK];Sev"#e)1 ?@q-y[%_|%-#'٠Jɋr:,8GSOz?TSgJ p 1+Mm) n:=Ӥ߄8͟wk:PX7+Iu<2އ ElG_]جK|,/dpNvolc3!jxDM6m`9ix+}+f;QO/XXVU$:mAtz?Ljls7#'`S,ovRunQn6uXRÕ#)ވ5,x3bʨ?;TK3xeJ)_y3zaxZr#}ȒY29d%!^R)$ ! amAN:1"&Y49*;#ԾlswGR2 han?aqP{n4]Ed˙zɨ1Œwe/!Dvsk*_ʬ՝I˓~nU;x|l\%n>&wif0+mv#XUw?L-'( ;oX9m.=%@ Ӌ* #llu%u_acx(P,,^ܚi Z= L1g)^6!ApoӁ3NQѷ[$T fOhH^'6wee+֮U4SmCCP)S4-}?8t<*Jkli uqDQ1$|"ϝfHUD>FqOB@ܹjCے@JO_9ʲ=tGq)!0yӈ&0V}eڪ)sJ(nLՒj j~i"_>(7m ٭.jZ+[G^ΈMta^Ht/9=/tH@9\>7B"SB Mz%^_ ͠XK5Oˉx.WyD=},{ORI@3ޘ+ST>WL b:٣9Q㮱M[0u`82?){/j_Ω =MA{@߾EDIM,tv.WaC V{G7M600Pz:)$|F@0CƋnf7b줶h)Eޡқ%p1; T||6O#SXC\6[+2\ X(*:Mb;"tnsvr_ɣP1]emR+~[239kpag gJJt gK5krůqX9DODs0K,OQKX>:`,h_s3x2h( 2o HЅD 2d4頟^B ,#%kK5HRRת|LDۓɪ ,Gu\>,`W><׆RNZQ:G@Ӂ<$\A˿},K.}Ȱ槣\SGdZ"u#W.نJ5k]'Pv+]IlڶFO9왨N.q_;d{)FF#-S+Y9A9əǓ-d_8^W(h{aGbץ,Ysrӵ7OcC V;l}y A,񠔑Y'8d&ەstw- PCCw뷏hd;KENt s9hquBuPl<=iӀGUj݌շY40лw 2:8%ܖV\ƵUJV AƣoA@?1{l~Q{Rt&XjCǝAò)z7ԃ57[0Rȿ\I Iຢ/] -@/ c!8O+9-!l(BJ)ƵV{|$έ(D9"AZ:E4;h" ̯kԾ&ckՑݐt2wh:W}up5_iqlcE>1v^Zp_;P⋩q܃osXʥϐ$(%tAnC ҆mj6l)|&, >d| ޸g}vUf۟7{³&E0Lios.@il  #X`p/P$+jv03FLJc.?%I?+Pgm>1OVSUG3Z#GX\H֚iMbJx6{H0ɕazGXwLKG_)Ob0,.0,Bvlu#<ߤ ?Lw eϡ|/1}ejSM͞EѩI>h)ۨRA%r:.{τd(Ugmt&tvu,u`E|r8%L"CR>R [3lB$Z2 HϾ/"s2떇|ƄX F|LzKw0p!۹ 5akD})ڋsB_eфIoK,YCEf;>]?+~\&{&ɽW>4W*2T%8w B.ݛ)|9P1&0˪L"A(m7E5 Hj aMeU A=&IXAEJF=lLiO e#_Srڃ 羝hye+=Q;tZ'kYvNe|n~򮠫?h9x|äڟ)aO+; @E˳̼vS5+/E!L,m$]^ios~iŤv(f1)f(ϊ }N +N)IMS/2hȝ12L8st;=x*${Ҹuδvh`tY-*80n))В[)6t-頑'ub=QDuy+wf'fMS%À2w՘/q-Y“,H)~em:D aSߔk1݃/PCUu`n|ION]  镂 ֧=`d[2zŎר1 @i?TPbnq\b`ЛUoC^a0L3r_=,1 8Hm{.[6v)0l<FJzG1cuxb3o[@>Ɔj0Bg S7ol#!Қ=]X7"aSj5MH|ﱿWTde@Ժ^,$U+Rl; 'nxZ+oOl9co:W@͡Jѩ uԈQ O$:A2cZS. nxsnlP' ulBƳY7W(]+E>%~SripP%ebsUJ;o4]ʀZ \/yl;͸[*r Fd%?V2[D}9&IJ#vLQԕۅ $\Y̳ 1Vbੑ/nq?[R(;a ;̺{i[aDBc;O|ʤ~Y%Q<\_^F\da Ϙ'Q .P~}`q{qŤn$i5~600@%fO]9*,Yor|$JKS6oe"':p'Տþ9Yաvg+yYFѷ u(wæu208"XM@t~!.8BI*Kצ;ElZwdCbhU|V։B&|Oݹ\" Oʨ*?T\e&&] J(HQ/y6ŋ^1|b0NOuMk !iE}nKÚa!ܵqYP~vgKZ5ANQ Tm:KCE1z']b8=7vCsLPr t#iS&,͍"9WփF^VkwW4%?j,G/uzqٓ|D3]]m5Q7B ʀmnLx gG/$: ۛ7qqnLz`ںE w.QlJԦ]ujGRuՖ_lM9ZJB :U؁ɞ]dP[?f{Xݘ )Nȣ35A*hôH^Ŏ`z1DHTCرχubYT?}/:1lJ!28@qĭf䢐}kר3I6cXS42 ߿R{՟זV#-k8#C3-ʘ.1Y`1pzuS+SV?Ԕp<n^" 4= cp>o||iM!C[h1ū{˹{^ $ #gbb& 0_˜sDNx!U#cِK;2]j;7ШIם*n&(FNFK?CtT.R֒G #z,6'bK6E`L5b*?^*c 0l'G'tƅHиA܎ 0CK-i(aR8$pOYZE,qe?':8" /UԞ^ qb)~q|K њ, gQ-NLEaDܴ,s:1,V9`Kz[]r JJ?ѭ7UWVLjZ?o向㿠>}6ӄVf&/;sQ+]>8lk-<8ڶ+T =i^z|JBGɁжnu2 X`-!y3&": Žjxj_Q5q 4ѷS(qt9)MER5MĮJP9ӭYB?u!gg0 â Ϡ]"M BtRE)8\~JHjw69Z銃ϱmEn,^;-CSJ'UHl(OsX$R iBml]jEoJX+RJT #cRG):[M"*Etv-3C=J u1ٿu0C kesVfnt{+Yk3q6VUAA3hD;A~(v߃4)Eڞr/J*;s/v0`A2u,Y \T~!4ru[]H&P6a%g\/ A"zyzhR퀕Z7<vlj\G!r3N,Q"!3\c7_4o?k k|KFfGSN"4E 7l.e! JĘ$d4c el '%m"F⹑5^Cۮĸ$Z¶ l6D9.qT4UZdxH횑cpTNY+s-D\54аhLȵĆl҉3hVؘ:JD2~ܣ{ ^,q3t. (]Wby)(  5 'MTԏW3|oNis`h>߷[7(O rjW8NʕBQ/S~:T8jW:_MBlQ.]i%*^EIրJ,SH*@E|#y.bJyOgJX%3uxiK\iiZUp8\"% }{2ՀRvIhH.(|'2Fcey,8z4-րM2yW^S`[hBMH$nx%{X^?風{u7q 6lZbJouh(Cl~$܇g%9Yhxg,I DxB ڊF*ճG;mon\jޘF| :[z1 p 3 !ZMd~? ., 9`MոNNol6l6jWU2,r~LHweXY%eHP{\?B}#$QI83AtEJ*輵 :ߗJIlA_64LTKٓ^TL$U5& 0LF!\x_N:"FmS`ǩ[/h K'+\ q6x~e X+r}`XYŻݳRc<KKhiwfY8R!4kn2k Ʈ5yUQ!1On=_IsLu_PYvm6 ƞf<CxF4qNhyQߢI ]f Ð"]B㞥2{yoڶ쓢 ~'y+E8o6u1m u|1+qLۋ ,O;+klWyi3gjK S,!>yHԀR'}s,3v6fH2#1@VP:ŅR5d[\ǰ+`\ʲA3'W| $Cq̂Dd? ſV^ek uģG|[r QYYwqfIh(]Vؐ.@݄cRe-Rgu) )sτ%>iMIv5edXp֒ +~QU| `w7lm!C9HQk?x8X8P6"q́͊|ǜ,9^٠NR#37`e 坘oc۔FP-P5@]U lǂ03}wKѣiq"EJt"?UY:"=m81v;(`0w.Eb+iZ/*+O7Jef΍knpZuY̦{\L)>mgx͙*G^YV2 |x#{og'f2O&Zp zߐ|Yd`U)c݋}4*V(*ջ+-~!8ti%0ua]Ƀ68WGwقfuM\o7%(%Bf_V.>813`{w>dEȈ-RdUFJҚN*q8 ?"MYZ O8.wWKJ1HouKA֙H#U&Kwfw6.9 E E:6~:C}PEpx+*65@[hABBk-l.q+, }xKC-15MƗܶ#6|u9}^%"~/r] wg ab"[~s5FL` P\Kϗ!f1K1D߸VoEisrZr1M*3 x.X@f>͞CIV5&}8GA'vw'$ 8GO*!<9$MSf'ΔG?"e4. 6kimF:}`bDZ0ݕM|r8DDg~̨pvk'2 f=)jgx}ҋe]}=ʑ*/KAԤ-#-rs|U1[V< ƱM\Abe\FQںEq}|V>u!fGB+(+b ͮ`ٔ4~\:Z2{կ@2akM2ju Q"#S럣-,ϻPҡz,L_J$l`FQ y(@NտwTV̖7^M4* z5r%y)ϖ9KILWE&Np`?Ͷy76'Sc%򜯱"NxvJ||83(uQ(6Ag nhM'j  ep]ɋUQžmoyL}ř3]̅abg3㢁i[({ɜ"xgYZ4fce1dafadac2b238d998442ef87027bc0f91d9cddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 60601329c3d6940d27340955ebaa24fca74dcfa6