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  #r T ]/]HOL-Nominal:threads=6elapsed=7.254cpu=20.632gc=1.0327zXZִF! )m]ŗXiɟH)0%oHfW!z#`o$N@ #]^Ytb?Ǻg1: 5tT4\9T_xOf<&?0g5Kѯ&)Yҳۏ]t +盨fbf\Y"vO0Bڞ%"[!A->\ 5o7-K%:ZEz<rw v!o/"2cVbfw u8+:A;D56Wկn^ZayD(xzQopw:al?+,=Q``Uj*zr϶D?x9'I M"^ JԣzՅ`1Td+Ï:'{zQU.Ƀ%ؼ >^hJuU򚽂o#I@R\& 5nt+ĺ".,ad`X/_Zj۰ȶ"!ynKVp dJqݰciHYMc/6eE$oR B 2@fY_`wL ']C-+t͆6G{'S`ۑj8≒!6/ # HOL-Nominal  LHKyIF d[UC0E/zxǚOؽ%;YEqo O@S_> K6*.t}ҹ +W}D+_nI"V ̋nLjšy 544+][1 3[HRKTJK'6xc$* "o`. qz>Ұ~`R)(t ~YXUk_CD/ M<~ $H }5HE;CYH2i%;Fn6,ht&-eg;6 -h3ňD!ȳuwwX",ΐ lCkD| IqPqHxǟ3|xrҬNj,61lX:دg)^m ָNu?f]Pi4W:ӹ4l]LZ8o( B^]R[|,=g$l'&*yTPq8u;(XGA9-Ch`2[) o<1;:/Wh 62x;mE^;Ґ{h&[_jg'^ڌ"VyoR-Sc)k K 'LſtzO#QG` xv<,pq-Ukz"|i$qDHx"%!ywKJz&On@f#h4Y^NBgқŦ{Vy _5al[x 'vӲwʅNXS-crpJvX-}VX[]@mf"VQtv)[$Sa] 稏AlysE09Y2hyZ sgTj܃|!7@*mE ( P*O/m! _ч˸g{eQ:TmŽKbeWX]eJtvYl+ц(1FE wtyt\9:mMղ:LIFk>dzi ?fSL!3W2'->\nsOlP %|O+O!mC^dmQ ,=8/t ~< ݆%y:T>\(໋Dab粐|Y"dtL)9e4_ˬڈ޹Ik4 iK _1,:N ~(. yKr}{EP}$QÖٓX0:zʴє8bQC Kp4FydȈ]9C-aS3Dbt˪ Bcpky $L#J^ r[ͧ$QJb1SCӹ2 >~ 53r"ϯ:g zf v zd)jkT:_4ENҫȗq2G׾s{L☻*P(nx];jJ#5df7@DPT_YJmY.%8}/AHAx%*Plhd].~DYGij#`-NJ#e{9\hsvwTԋo6hU^a.t&<༜د9` ڱesBI}zk,|LFnHfl#vRrtKC6'w R`_i/Lhqk*MzaWw+!KDQ$=YNTakJ5;(QW2!UPWMO!KḐē'yhrAt{ MN p-ODȟ3(DT_k4Tǖ +zl0q`MlpZEeFCY]-[OcW0rQVX@Txȅ&2B> s-91iq3fd5 Vy(QEv虑&oov/Nb4Ɉzҽ3qMlmfمx'mF}? F)l1f듉EA >g}]!fV;o^Xb#Ci2_]|#K;2OHṽ m'EH sU}DvgΫH4Kͱ R„jO4ܜIk >fߤJ7LM(ChR MJR2yFZ FpL) flSc4+"b4x͑StDƂDɕfM^Shxn4S0puVQ2pw:tD)D]E\DA{e@ba0|_f~,'TZw{Mf2"?9=h9qTŲ4 !ÍWLL Z0@1 Y0{Pȁsvs @8Xe`o_3j4FbǷp@ ҕSG'2I=t@r["|h?ogobTQ]D1sR̵X0' xYyOL¸FR%V:Œ|+= $w[Y˼O P}.X Ι!m !; -Q^<0`67+òu-,h00|IΒ Ii\7=j@ƘJ6${q6=>]pEt~ҕʖ?榋9*NV5]'.ҰvTA7.29{4U|UKMf MqoaNR8?MNaLfzTAd?uiM=_[f7_t 8KcFO҆`tSxcJσ?^2NhvN3]7ӗIugv\wK{_}^Xg#r&YXryp(TRU˸NM)\6OIMyyT2e0OK{{ژljCxr.ϒB`V#u.wx]DxW(&gp+dul$_ͤure0+ZcA!:s '/ZXF8+q< ~9q>wDY#ٽd@|k56w 1|M4SGl;R;XgY2>V47lF5'bAc6@a 2U-Hd!ʊP#}vNZ'Kb6k[X\ SsbA`%)6ÅdVWs#`bwn. X&4:%d".?BZm9l=,xnu1-5}m ZtgPOÊw^ FwK;>x,rhc{$:Y)"4Z] B#K5dCa[Gl{0@>>H OMt!Wm;g43E}|_ 75FwT*@p}SZ7HzyHh"-d^Rne\HQ)W[N]f Mltȹ'7IU7+aM<ĕwZCI"e*V<KX"5̨B#y~T } +*wfxRT>~CNDe[W} yD} f`rQ^EѲ5(Ee`0`Y##&uY{I!byQu 8`P}%*㐙\B@`_% 1Ҿmpx) LeƚD&TҬb|d! f.nxн5.H?0Vr%gM4^Ob.`p=GU>JCL`KMF;k0b.]uuZa"bo&pNϰ/#BLp0L*L)g/ AuݲsI{eOLJ&Į>˪\ Y VoBF&-jQzͼDfMfL+sĚ YSJ34kQm|y7쀠VWl !ĘPk@]L&q=,֌"p 7l;tWVK:nJ]TZlP].c8=0d1 @kkQ.$Ezl_k]'1(R*=x5;3ER$H;Kz %ϩDiQObFOξs"W s0۞_0l,mJ*"'Zl%ނܔqwt,}Z=\9%i#IB0F`vV+;  EgG"|ꤥdRZ@MDzdi-X00.ZTF2Ю\ Sn! :ԁ݌w1]3$l ٶd8+;: (! Ж޽zgU0QZGAͽ_m1\V[*uw~J,ҝt,vrj>pM,a;证6QS=T}Ē?yRbv.½!ՈGKABP$s"%B%U` Y$R/a"~XX٭Or7&b=2WѓbpZ97B!>̂O@LlKJѪT9_v7s'ׇsݳ땍ՓRH7-7Vm!Ss}:] z^'n{c']I$(uDQM^g!&Q~{W\N֊Ji'“c-ձqVډ=&Stpǟˎ QPj{kcv>;zn0Dm'5\DI NO`~*?)`9`G_hha?j`z93>?d%,KlR5Ea &eض̱ut~-z_8;3e1>7X[aϡHLB^yew}!E >H+e-H](|+5s)ݟ 0WXV'x TB#מȃ6$Boࡻw3/ēŭ[zg8|Q"z8VyOXc]o?ciK!21 ^k)1X C+XA#G?v2"H6Gb6&ZA̤܆m]0iq{6!JG^CZa1:@]ç?KB 欭ZhJ]m]NicI5ds DOuS6BYY[3SJna9(T˛\GnvÌnUnTxF?nPz]ysˈ#]S{vE{@Z$| k ɯHe+)%)qwZlx'+R\gqV:ۇGK+weѕGP Xcd}@8hfRܧb0Ў{o dh8hpDjJ䌾M<0otD'cvM-^劉lPT`-pΖ.-{LP|hR~:l阮{ jg-qe(u&,`z\^ʐVǪߚZj t_mŻޭăzޣZ4!߃ I'u<1^rUf{ByNqQsqZO-k^1ӚBj]EsI 3 bUV,40VeՖd tg0@[JotݵM>,[ѻP_NhW+˻I=kbYx?zH]#%y4$L63JhQ/`>@4ߪ'h,U}yN=ImI 7.\A d*<2,yWB0SCqM? 6?kPWL10^X؏`!/Qtػ~oѢ0u#e#v&Gl4d!If;E+F5T霤x&*qvuNoq~Còόe ֵLcQN0+VԾ(#sq5(JZ[p${sG'L4$4`QB P&4<8cBbA蕽=HʞQV\6 ]bO 5®, i(v5ƢU8;U~`  j(2(a(3y 2c0dխvV8T~wNejV&\O$&YmO>~ی##> Xv͛*wL݃ɢvru1h 97ϿL  <.z]r6?٢Ibꚷ;>, rM _a3/FbIo9 (>$d7 t7_kL%qڗQy;Ұt V{RQo}=F0kpۊ6r>^3QVj'["Ax}# A0fT?1p^φgdrl\w Ò7#(!WA ڜՒ@ŏg T۱Ox'އkg?U(/>``Z%cpU<֮8k/;, $Ao]a(AxwPHzK.E&A#}R+:o!3N0d|FCj:T,9IPAҝ)'>A4BcK4Ve0;C{3O(/>`ڣ}l퉅W[m]?VQCXfOd@f,ze:jAf|»zZ*xyU7q,m=fXd`|9ݙ _5`"GxPrWyDPuRSB ϾD|XVB@4(q6} St)Q2u0H3aSa,?&2 *1?fX1 . OsvүpSCh 3IHDv |?1r-7e^˺D &yUοwTIHzd(ԝ%՗?v^&iǫytSo OV_aUf1GPpMhؚ kx(02E١_ dLz ֡'X_o^(QQ'dG˽n5yZ4=kܕ<>rjz%lmVF{)PikemQXzlwc "b.eob6ևGPۈ:jyI%YaBدAlf|Dvb:0^T'cL2N"Wq;IbωY>&AHi4G.kZ=klԜz'UY,ԮHK>KR҃ZNm#.|*"F6t #aeឣYE ީbvAep-Ks<KyHғhP~3#z1:>޸/#Caq]P*B5 pLDsrDS>lXl۴8D/䳱n&)Wu-sLČI푠RJ3Zn<9h -&mp[ެ) Ɍ| DJ(m[)(<^@ Hcsf)r皋^J qQK;3ֿGY ;b,UVT N>WgX vF 14s#ؑxPjvz\ڸMY*e_{^bAC1aV܈4Jwkc8NC!' jaon!iM\'њ7Gs ih(Cտ)e+s,i'Ei3  Q3ڒrVKeW G%1£>mb^@mxDyPHu儒bn V8T*ݧZ;8>K*D)iLb %6)c5: 8]똇=}KGԅVzYq]4OіȚͽ8]bS:q)R\ȈFq]=Gq~j[rvJ=n 4o86#1*X" x[f%T%v1=^ãcl *ҪKihS u~|g_aU{$qmzԑݚjZūˠ[$1]Jܵ dYmP.ԕ[ # Bt%:7+l!#A u<̋s=p 8T!znlknqB^@ L8?E[ _|WM7p {uOoj'ՠ'A1keLldag˿V0]Rga ?-< Lz\1} {a8lUg _V+T'}:6ukkO4|W ϸOLS4vw"L-B]IubFl#)'ˏr1QF?+8 MCyEsR@Hα\y&$ \3s/^7]vG'ʮ9r~u') zé,8:K" 4"vfz6۶,WyI_+BPC|x߇c3S$T _TA_&Ŧf_NZ^[+bzvuyH!TS8aSE^f|b}/B)N^68>ԛ!xe_IAxIтc{㇜F&"yWQ6Ƭ|iFI5Y H~H< ;Kj\xOdHWfgί坅/8<3*A[;*7/ߕR}TNٳUfZIuZ,9RlsCB*?81j\ӌU;EnCBiwU >ڛ /D l{v=#j U0kȉ:#Pu,?.!JwL\Qp@["eIx]pӓۼP}oW | W .;D aZuI:[ Sg 8Zc+45́P2Z s{[T p*E܅nAi^թ'awsh~nGݬ 6Bn K!d!<隼Ü ĉ,KL&q^oX@]!RL.y'2g%ܤ} dW88O%bG-|$A80ٯjL ` C,x="Xo%[y/! _2gI桵{ sV9"16?ڧVJ]t_;r#dIZ)fm5r]6uQ_r`2h'%FDaUsx]Xt)׏/b[/{FKs.Tɹ$V?şa6)oѳ\7b3#%=3O&|MD#8sK)#:A2KWZI=Ž1\ֱ;B1ʥ3X~\Fy!d(#fH_ >7^dVZS,}Qۓ16C{ʣQgSǸы75GqG.1 `N \!дjJ F- I#j-c.2;KNGUeeyAp#xcnR4Њ/{Hf_4G{$Vb q쭚خؒxRlƪ0Jeҁ^X3ل_NG(ȴ߉jȍղyAʦ6%>X;8@Y.^2Q}vxT`wc@# y0+ ZѾ$=i;9B+ >Ri(5NfJX;Fqlj_k*~s5Mc<9@yC/= CK_բ|nadiB9T%˂ }a"5Ӎ@xjM {e.O7>A580_z)wG} WV%Da;Ҝ(y_OU|gB<j3|O"<$c,/|*omT,{Wyapuː1F;HfDk;^s7_Yj;䅏sY_>kuɧ^p d q^W0C- ߶p~.5^lmY A먝7-HdDA l"Lъ'?j<]Y5-2C $x5(w~@oHQdj|% JB,cRf>@ow/ӼJ!Ǔ5Ć0$XD"#]ڏ%"Dy|2pr$,002?a-V X|.x@^dU04$4IJ6=Ł& H$eL_ɬ()[KF ca8 5@\(Mtʚ_àuG"*"L֊TsTHP3 㫄T@MQj_of9 ix@r+H 6Qہ!y 㞹 KL̎fb{GrX(K#ׄ P={=^[]woCځ`wog^Js2tyC;Չ  V$nW-D⮍_ 1Ĭ'w4s ‘?v1uV$%Ԏ 5;Z}4٠ z^tғABLF PvM iEB|Q2:buHhx.ƾʋL!tt۾=6K!{ 3\V\ʵ_~"s)g=EOثGvXXUq)X<U}I7_$p l~M66BTa-Sq SɕP3ЯקT#>#՝j>RSXW7 V wIyz#|w3> vƝ}aWeUC*H)^}VA^W3!Z*(x3, fwD 5gLSiyK@ƇQ/ BUR.i[KbLQ@(MhAP-&{fȡjBcSgB[ٞs3_Ǣh&Q>l<ȓ1 ʝ? K3J?عn9OZMi 9RҤ?ݪI+In {(8$vgCt*z;i߬Pޢ=!wrm37|r咻#Qw=RzJ¿Caw< \<[VҡA+ u!ȍo,9m@$Qä+LS1A@źfGoO(7!zMC2͚fn#%2=2md/`2s`r)p4j%X}osoBJ^nV[& 픮kR{u@)cgˋs@ի2&qn(H.K[mquNrbx;*Cec"t@B|`:\T$,FV-}x/о$(na[LJ$.fnS̲>g PƼγJ;--LtucBmEgtu?to}<È0wjQa^}8VXon{1¿녘&U1(Dz푤1񙚅bbaS=˵.woBem/6߄.)5_5 [{\J<Ѐ=fN?zK<ÄiP1N4~Tu{XCoIij͊Ğiaqj,@>Sp j~]',1dCo]a_QnWbZo Kk[3m7h֥yڝclڇe490tf[yC=kTG\r@c gw5sKMj8p %9d1^bhj3ɯF? e+\~(ڮZcg~N3xWnfPVtMDa)hgCgPB=1(y*2Ɉ`L(vtˏRƶX$/-`}Q#+yS_,!]iR{!?ea SD B?Icڇ% tv,&}a{gG30Gq{ܚhu hL洰|2f8K1>"e-}ᵖ Jg0QWriZ"ZXid9 =U.qs Yo+Ow% ձ=-TQfIojJJIR'*2o6"`co&O̐&@͸h9:p؞*Kc(8rK&a}`$|&/QGbӧ]`ɻz # p9lP0s9.$WXrwƅ(#Sl ӽ赻ϚPobrTdniN4y"=s$eqYYJzOM[.!;zϘ373o1S[Uf^Q\,cQrd5 V2&f1Xu}z}Z*=`RcAWuZL3] u^t6!T@ s o~wwF oÝFgg4~H y4#'|a ar H^0f l?>~`Ǧ!]k#\? e\'bb֢UE0Ħlnj 5v )@w6tޫ@Ʃ|F<. A,6(-*`83<0a@p6\14*pDλPFD ׭ZXX;-֬6ym kyg;U[\{9ËsUF+]QT]H$s"Vժ9N/e#N06>}8)~ rGTZ~.z~]qo{SSa ŕCC&-i՚EKGXD㖱QQ^kJ=zܳiVEWWFrם1yz)df ҇m!.@w`BG1\VwcTYpVɖ"~ДQޖ[00UR Mg1@ab@g"I z FA֩W2uɭ:+~2χEc8x d93:x$a&%T6\_M3^O]!,VY8Pګ,3sD5w\4ý .S)#rзqWEؖ>^O& :ve1M]2rx1T,2iH/W\nZŧ OI]|'}T.[1诣Mm#s{I]5?Xa%(bp#&&!Ʋ1 =&{HG7 m20 J9K\{[2F27~b!mܹ+ڦѯ8*E#fNDjLuh$٘R.:`@GSwgD/.*ڴoqrhKpɡFSwk&Zop^< b(XYmK5IT,}aUTHfga !@F2ݾOk{(YOk1vo{q O^ܬ=2.@BpLOTd\{:*J!xdXq8ҁ~٤J&KbwP0 M>K[UKxԐ>Y+%&j}I~-&jh  چhKӌ ֻUQ專Wv5.~Z +tKi#D̰$KtU 7H̐UN?'c:0%c)E"'l_>u> L ӟjƗNZbVA482^nX"Y.m$iQ?$XÀc>@Nr'.QR7EI123kHsncmK^I R2՜ _F|!rL@49K2oIfdXfiH"L@=J4m(w:ZCF5np8ةo,cT>T)=9n ?)]CzE"˾~m [|}uJE5-L#oM+j"ڶ@`>A'7PTXgp%,y]jG"4/%sEeޛ5uK=i9tAyi-u2~rA i"ho[# * &ȊO^_3{-D-ü)ՉǬ txn$s@hV&t)x˵i#:2pq B\c%IfͰ(em7Vޝܶkº;П \ctȢc'6moڏA&m]Po\% 0,jS\ށI){2Li~SS?{GG<1KP??L-`)u9m3&QvBU g#C}3Ӫ-R-i-'HQqW*O0 /0nz'>t()]hd,2!E~ \Nn&,$* ~jrNx:v?u5ވ\vm5T?+8„/c70%[t;㟈1''#1DKu$e?+Q!&l9};=gqSjtٍ!1 .b7@n1_9͛4\f)v9E jt&}cu&C]m/梃U҂)4RÛ 90_|^T?rka$#w;,2`IVx?QR|R~*ˢ*ˉj^v5$0W3ZsIP;1`bCՔtd8Tg(eE=˪x"3.jOn!uz#cxqk:eEh@: ZyvkT/{*Đ%dɇTncQZʧ8"D,R% g&f-Q̍2ӷjYaYׁ! G jɖZg1g Ub'ipZP,o]#nZr'9/VC6{y빇;~FՍ <[.8ԜҿY[Ew׫_'4^i-_(B3*ԬA{Lы&'PˠMJYm.Mw6bjMLv;L,ȨƤ7?,ּ=QNehe>Қ8ZPb#/Jw6r}Grϡ2/ނ!uq7KvdQChuُݚV., |W_Ae7wM-D{ x5mq X/=*9'7,"‹ [ UIWUyx M] {RԣrNNd֙T1YDlhh~3=d^@m{iC~,82H&LQoH@N⤿F(ioM %Vݗ-ұuF0|YZHEe #489@'_Ri"rKlkG&3v@gƥtC/`>7 l/h^4򃐕4~ff VTZ^fdžԣ{};*npXs hH*a[W, tz,+>%d]'[xD01FHIP)3LgM(0P)O޲ )'cyV$pܖIctj2bEcYzwh]& ?,&?c<3O+^"QmO!)ˇcR4,mM{ >5wdxw"8e5~ɞ_Uﶥ݆ov\8'ϯ|c"Gm/K{rψ݃: ^Kb)@0pDlhPWiQ{]4XbW&TV,8P-F ģ~Fs锜2 l vɜN%Pۦ-gQ :-s1pZaʰ]b ."灮2JϋgGnxʼn_KjާO^ ck*gcj'VHhE l=GܭdL2l=h!DݼbЁ0A-UF/b!KЖi'n{r) +V%2v"M\GChm ŅbޅY:k Ჱ A+8OT5t[QzCzq}kw `@mWN1ŧn lhyM˯j,#ߤڡK*(ʓ3d9c1 |YlPwQ1󝢞2Ԛߪ +v,0;7DF-BF3hM˄Vif|`ذ AU6y*̹V%sD쑫;cpK\ha i1f4"_p:+IH;GW9[i/FYܐ ϑ@Wd&7{OǤY{O 0ʳgs)p'ŠjbC_V'/ZfvWĐn%uk|F"JP2M, .4F_ w{z#-,8I~) 03=(68Na7o1ADq2|V~`ww()`ee(Ȼ5>oGZWBրQ>)2h!6P7! tQZ ٖLgyNyk{/Y}mZ~Xp<#%K֒="d: QtdvP/"љ^~Rl#C& txOƜ?wF~'_b>.\H3f, V[FNE*/9DWL4Df1kK%xt1TެHf$Ǫq,֊%mz*F^9cA|.א<z@o,ת=uпBI;S˧p]K#Nt9RXxţo$"V%Oo:e+3N{ LUwp j UK:.2z]nTGxsn9[)e)NۏK|jj,jI)ݚC@m6]!lASN34|U.iRŶ5p1-SEB?,\BdzhYI4AeAOfB;n Ck L8e{4rP˞b}#xпN}g3!춂)m-b>|폿.:L-⚥$ 8Ni m͐17cYM98/c@a'X .FVX>_g3C5uDwOhyq un:cJJRGrb^vѭaN$qDobXWCu5Ŕ9ca5_8z7TzE2 D="f3:p۶'Wc5n桰$F  }w02+Fm*8"H;ߘr#Z,w@P$sLbzЈiR%Ngi+cnh03B#ׂ~1uVߪQǫ,!A63.^YaD:tɋ O%?v=z>ƈO9A/!c9I! L:$4/M]>BFNxo2&Lт!uT(wN{ɸJIzTeJbad%Ov: L3J# q~7Ґsi!ǫLQ'[i?CC[Qs(pv|ڕأ}Ykԡ%E3Ly:d\2ϛFj $|C2X5ۿʣg6wuXB Pf@j76q(c& a1sh‡%ۄTom}96+ıcք3 & +1ZGڢ|հ>fb!CNŝ%oxi}B2%Q -⟶ ~kۆcD:XCM*8c*9>/:6eʼn?//'%ר}Zc4zr N2hhD%Q2"aB 9 TP\zHS`Kȏm]4 E q@qE.vK;3,w! ]g$hxk[Ygr9J(%.cS ӝI4Z9(k}r385rH#[%9N+=| !,y) ҆pL_!dhlճi*zjH#B4shqͦm b:6q|q_"\) &E7?~ڶ[qO`u{RيJ?N1Qj2ĶJ՜s0+@-s(ş'MoYad&s[T\2"9Rf}b! Yo>hטXeVCX`4dK_F]N,c8: ّP?  !68`R0J8 By-) CJ|ĥMYu,ԣܛ%Ͽ(a깉O^8Uk۴j(4b no #f@gYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X14Wʆ:ںq(YϾF6z%'؛B`Fh Al8rCPYpߒ'x?+RU|ŚgYZ7zXZִF! "^]ŗXi%L&bئJ&WvэvP$.TmV% &AtHIc}J%-wA$h\,]'Ԑp官Q^IR 1JR8Lm8K & CBXRxW2{Dzh\35"ڊ\՟k0Sa u*w] E|?>\>X ?e;2p enXVGM(*,ڷ' P[rfygF'nؑ (c-YR}%/Cs/޺Yg,e?e8kRtO滿aa<1EEb)oЃcO&a,[\9(~`ӑk⬊(:yQP/p@$O@v$ =tT!Yd MJ/-}}RQrw։?I0Y?ovDhV'cӴ!o#ai! } _5"iu NBzfKhoFd_M g17C sQ >%bûLJ|Xd|AФѯpps" 5+*῕.n5+ܭMu >?$qm ax1>pu[oy# 2@op,-O)dp*QIV>K'A" $u`=~59D;dT ):GРriX+K*C&ejTvPL!Tc=>"߭>aah:(Ɏ l}_&IH]k:)eǬyp]|qCqUbJD1gYZ2f6c43f61d4c56a23a5f06b506d68653f1a2fc859400524a2bf0062e34657c8242e59e39ce561b20 8112b346d345fdd1df303f366f2308e1ad40a1e5393f11690feda7e340a23f18a61e882c437382b0