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 k! |D ]]]HOL-Proofs:threads=6elapsed=328.072cpu=574.500gc=119.832factor=1.757zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡ:^e}j"#~*`&wq4ߨ4%/,[Ɍ.FZO%"D T#QZ>.sdb7GﵤSu>W5g_y/E2+`)V-L(asD0#Txزгx,Ws6Tn۶gknb{Q T58W*zE3][Q& 1"63\nBRIQ: [6ԴPBگhS S!z&ɇۏnֳ4YapG̞HNߌ5,EcLP-6ERvQN}Θд ׆ 6-ciC0)Ÿ<vvbepK{A˵줞c(3[=O$AF,>u) 4j uqJ|}V&Z40-(EՈhBQLPXS']1X΄}} 0W 7pG ԩ~~_A2"?Ljܬ{Q  8Y_:mS轜fɢ_+*gNFADCM{ M% bLTtɠ(/P?$T uF/ܖ)-fYZf1o>G.-y]+@u AC SZ tf'зPTJ3[Xs)GPat"[4iռЃ9iy(B<-jZgRqsOY-]XZDXCKZ{R߰\9SLX+cqushf|V{na%FY:L @L2ﳣlB_MWUc%808qEA"WJ; ]xO 7ē`ŗ3o6pq̯\S%X2ߝk{5gNmUh3nS9ӶpV>`26.pj+B=w^ [\~16-7Db6w+ߚ }#[j6e8u=#LS1.r֨٣VMBBQ}/歒_7?XV-n35vcJ×s` dAǷRՖ&d,p6\!$'*pc|>ІS7MEO~| D"j)S O.~T͠妖L|:/$iͽD9o`̶ qdu=~6Zcٝ j$O[mÔ"Vt "jyDMgۉhJ+?N;WB9n2JI[=E_D(Vglˆ^N#gHq/2QWgTpE#QlU7^9$ #kP<$]Ht<:6]#yߑ1M9cgt6V f|W|< sPa`jbUᨶc .|8?BwhK=1C"]q/N#z^Miq ~4f >l*B~h`gVX"0VE*ʫ*,}D\|wJ%Sp0scFX:RS#Fd4+1I8K?Xbl.: qo V&j^R%'}B*wCu;tyCG[OKCuu ; Gd?~`x(-qo#߈XyĪi8fB\\bQ|;G/uܶ r|O\F)X3wj-@,OLB$,rvcM+H"HZ sCƋcY>KwRoQ~ Eq38Vt?-gYv8] RLx|vrEK`*m|!n2wƝZ01Ꚍlr&Mf~4C(>"͇ J z>2ٙpV7;)%N<8>^X !-ÝQz8HBNY2Ϻ5u9_k6;M,qTmreI|-Rnb^#c=v!cMiT}Bmfː!笘,Z#_|I_t99;gI|:xAz`.Is<Ignbӯs?R ڏ< '5КgmHi&y*!.GX(F_* \qjV݇wLKEtuO{+*-gXX%2u7)L Ah#nft@ƔyQ* (U7q8[mߦB)Zu/ 1zXur \<^,Uoov!.[k-Yב Z,0XGZI#؛..kP.pS_ j˃̸ӣM^w#GNiKF0紫lϤ YgtRuX+RRګawZeN ϤG ]؆#k [N3Ÿ4Vð^:>53y#|Ҳ*8T=M}7DYM@F"Ss0}'`HtżM;;դr݆C;R }~JiTĖZc6v3kJpss("}!t/ⲷm&gi}Cmg<̃##_ـ{YyQbEjdkuJNWѿv{wˈqfe|YQ?;"X(o Bg/mq̂Z7$Yu%JZ\(Ք,=>;G:*DVE[ѽ~NH뷈2@gA+T<֧ !f2`ֺ,,I͎i3ťs*m}U110MM]1}] - >Sr&G(}ڎv2(]=i[04W2_I'xٟxhs󷂩* (E^skgLWSYd MIo,Ӵ5@~T I's-MK&`o![ 4z(KwN"|܃oX}W8)?wEw)KCnGō-(KYo>P팎TؐO3KByCm^)O&؄ lD=>-]cۮ (\f~H(,uphv*ld5ŇYTA/"4oeFZ 2g2Ҫ$an$aֽˆd ;=P<, XQI1 uZhTb@¢n^-qqqNX&bؘxf#/4x*fvfˉj KPRG]B&P{(83R]s-?)LP(oy 6 _G Y(Z ZXKѨRz>ˏ.A%X^"vtI=&oI6BDe{8脮oD:^3eM}Z [k)}&=@Npu8sbzǕZ$\`2v! 1h`c6㄃`H}19iRSqCB?gu=#\'ɶ#ginWC@ݨ1$U1S0+阞_X'cZ!pqbVW㈳GB\1em1IcLWkk@JP9sBN@ZX O{ʷ[|4 X?"5Zf`I 6O,`U:9E y}TqgJĂB7bݒRʓ0| 6'W(kQ !;p[IdPs$$C4nmĵgdt %Pq)) V1z*]sGC}Ĕ)qt_aD vz(ws}cP|1r( Л֓K*r}Q<)*0Iُ7m=賊 $XyzA*既vI="^}c 1IN停p:yZ*OdzZ{O$ cKgfpwFmCꐪ"^s9yQԚ7]^HL {t9͢]UNy( %RI'gf PTR+ ]̙z$1wj&F>R65AaO-7‰Yc7ớχ Y?a)) RP;dZ//,Ʋ=:4@2, ?ow]1(ک^#b3v O/ dO w*xȿٷQed&V6]YxxvUPU 7} γ SC&{n,xRX NoQuD?"1b@zfcPzO(1+Blآ}8=t(8`P$OT0c"&ɵTV+hZ/qngrD)Q4-o#:!(vA4y<4藡UG 1oQhA]qh=_Vj(C$46;m 5E<*Z]4OncP։,C~C)Ma2| 3 F+EJ%j?L$/,8HHtܳ'RF @caD0p>ZE9+;ni]Rs%WuϺ@S]kDN<>IXϮґfv ׏⟒I̻ 7(N6(9镔$Hh1`d5}iNzt4ضb^ 00zˣz7u0^1l-.1C71{ TFo?2q趲|?UW%Wᦈ,NVߍBYee3_e{jf͠D!qDTmj?uAČ@+ᒭW`\kzH _[J _(bvwI69mW&kpW(WrD}7>biYKG-=BkWHR}.[@ze'K5/2BgYZ7zXZִF! X]ŗXiɟg_$N%Q KβO%__07^K v\t* }QO@IN_l.D4JoW􌿱@$0D5wE¯gOAmeNpj" տN$ߛ) T 4`[;u:Hs n|ٸ99Mq 8g?R&2`BmE=UP;L}g@zb:16iH~mteO #Jx8o7R` u| :SPb]="btaJ@'ou`F_cnJ&R&zH}6RxS Ά7a'[hV5~I' =qYYξN(aȯ)&¡5g0Kp|xdŀ !̴L:QE,Zxp7jvlHrC܋K3e:<萎6'iz4hvxo9y( W^K9|N2!'\te6< #pGlXD[R84vS0|rP␚[-jQ~#&W!ts0! ^9rOma~Tމ #tF+NJp<ӏ=|` SF@L!kitAKc>mӇ\(R59ճΉgb Qx-?.Oqԫa"k\v=s~@{ZzW8!XesZi8+oCMxb9G\m2㿋68UА> ;knRb)iVg)#P/ V2mTe}^ߖ }Tbylsne5&B^R<9vOz ue 7D)skC+9C@eEY q=4 2ӱgYZ7zXZִF! J]ŗXi%G2>!{}@¥oT̋*l/l%{5 uI7# 5\$,C\{jxcX5T|.'0y$bW1t"}Y(='[ywo*ko:<2m~$5CJ)}Ä(]w45̩p$@>pEE JU)AS-iώ)C\nn~"x-vߏmw@:!%|[5YU{QaU7|9)Qsu/v*w͓Ve2nt;g|p&U(z.F JI/@lej.+FOSӝ 7W&  o6;3#bfu(2DYl"uAtG>7)CǑ(_HF̰8UUşe ݅g}X*Dh%a8x92-uq*oԿ0_}jw}})hhty}]1lLN [yK\$^L@F[) O$24(s7*|d"P "$ow J(EO'yFn;??lb˼#ҿp>ꋪ@XnOXԨeKJL,B%N<-p"qp`I}3|;:C9}Sr2T$ E nuN8c עg~c/E`4 2ƐI 6i l쉎͒2[o]ԫK+FJt>DV3hTd@YlQZ߈B}:^~</-.jxܛrW?hmAFkp*},~S9*ه>ԣҘAgnt!nіw}ĞK_n%B\+}B8'0JY3JjTW50O p ;SV>N_ԨÀT.,וf)c_P,J__$$nt` 2^HY4EW·,*O;"neq3 dAMwXԋϩ|%61wSдyp`hv1Ⲟk c3=GbwqȔр_sQʔD\Dƶ=-Vҹ";mU!I'm6/J" pAஇ%fؠD+#xp/@:,bLWjSQjM4oEU\cRGļ{ 0|؀DPh3Lc#uBχxamit@›5L\gy(2=IsjUvau1\.q~,`i ?_ZϡbsCm[0^˾>"MGhm+eIW4tnwْlMzegzA_$R>X"B:_2fUuJdǸ #RZm`抗3PsGJ֖hԓk|)JA8f-Fs:݅5J hџi_Qͨ;9|Yo` 4VBXeA=mX2"V/f')2*@KTj_.N' &4uyEl8]96҆t+|y$+RWDvy[y55Iȡ<' uЫC;q4qw<ZV=PƔ.H|| 0 P<Ǩhok6$;LIBۙXώn?uJ- |C!55g7JNگ&KrnC]@zDi$/iҢ.@fz$5Ds+t!Fk^7εvvFL#jMXڐ%@m/ m,7\H浿"v`$?z? ?6gJ_u-=J{$ͳ=M^ Q-4%**-eH 8:x@SO& (D]OHY̦pP O:O1Gktо#TfҮ9|ܺW`q]E|U[2f_/aYYc Dh [u-cJD*̜"DXcmu% ɻ_çHe#ɥk\Dm# ="ϊRz/A.gKV$đ}xWxCD,q[gt[mv97t>?NuhaTPPm.,IU4RױP!V-APmtcA@^d-5f%{am>r:d%1;,<*Qy&Guf޺fV0&2w1eM'J\8*߼9>O;xn"sK@< U\wlxJBX:Bw#?~ƪKrx SV-6t"Vz==_lrfwBvhk&B.f%nuGQtOl6c^j)y0wsz;9(UҿSjQPYSBr3Gq΄r*Y{q~%Ch45Bx"+\+EB$R#p+gg$ԳtxalK@D_׺!L+Sf;+YO8*np1$@H-莧<2"\q`M絇Jt1TTFRl?M;Xa]:qoocYYM>B^"FIy\&чE-/PS"VƇ{k;|⒎9E* FZ{Xlp*ap( J{$x*#hD -Y]d+/ M[,E`hFU#VQHS 8}tv5\8PG,$ 0;dthJiQbEs 8"yT77^Qb'@c;F՝9vSM,/kmT4KԅeYN]D餖 eU ky-pa HN{ ] G*Bx4.>:Q tٲc A[Rw ML$R&%7絁0k~CyZB,^yZ( vbIge&*0mFՉD ᛍ'jvk=‹h}lB=XOX̵Z&wJzh>5 '$yjʱ?b0Z߯;=(L|#Z ?!!*B-h_ p='#XGp:(Ɇf*^t]Ժ:1{K7Ωf'eB͗U% @T(*1W!rSîõ̫cO{#QlobxH<vFۙJ'T!1k3dG\]E[Ԯnk+׉; Q!kn&A%Da J4 1 0&m IY;zs(=˧9P1ВR$cf<Iuܮ=%2Is9?$ t IKz׮5Y,~s↹Nիf8`ZOq4"|n*=]:pU&d3ͺY_Kg>N`ƿ2) U}#"X|R6cyUf]zNaq2][Nf!KQ<%tQ52~fTnI?S5nQ~w(Or<*ޯo υ,Sģ*id]AJHB-|M1P1Մq@+B P$;s"iH+5UQl3}ٷ8B DapO LlJ Q;bGewe/q-.^;mn?]`t_udoE r .EgH  eR}`:.HK]29[5*VD?6-SJQӍj?D-+gFŠ6P]ܮSN/'kN > #j[su(F/ b0YdPߝQtP:'^u+AZWZɁ]6.fs Q_) B 䠙&C,JlpcnV$Ln>?zuqlȫ?O2>y1і,W*zI:ՆeOV%051C.47$YN9R踶Xܬ$}n_:/ǟ!)oR97|'CS&| نmoCFVsYb\sdP @ghUlӤ/Bűc$^~*%ա thiZܝyNu<m̛,МѸ4ӫ w!09h.-~1(}^"h.Zɢ#E<l޲/RrвS Q~kA)]J%nlӰF[6w1sKP:.^@ \MzK;oÒdKutAKu]D2HaEџjxP l(";3=ŁT|"[<\AhwA[ }2 g}>B[/TZ!ї >gNbNuRuOd5MyV7| ]М<6?UzX4lfjCgncKz-⋃q|?<5~8D:6Dx'{?4,&R߹KzA)ʗ-ʁ_5 +/Rվ={y7`x*,__.<1ܹ:*An@,YAߚ7#td!}?Dskx[˧řO6//4_<W|Pw@i JiDi~S?G/l4lu/>Oj{򍆜 (U"ts&Vi*kRe@ a!hݭCJzwg7Ls!/{BM"6snr+BneeL>5)b>PE0K5=<z:TXћh[')ւ9.ȹ~iLw,Fx Э}w_AAIs#S uV]:D<%B[9Aս:_uCk"ڃjB\[2a^珙.R*ौ}Lw3@ſM3%ۤ<}-W\Ҍס$#{f}̈nM^#zP)g ݀0Ņj%L(T8:MI=]h'vn<ӼI,kdn^v茖O3ȱۉۙߏ+"kI K}[h-Abh}d4I X)3)becѥ?dhTmVkCtnYB>w),bf\Ft> T1_.}cU$Yk%8i"JuMqӀwS3ȈR.Mm,hiw6h>90cWbaMNt*'~XUBnw5@hj2\@Vp%'93HR6h"ӑ9L=F1wi`2P&7Yʮ;$ޮB>N^R3./?:<~)f;g d><ź'}R}i^l1:"z ~ֶJtnL߄CbJʴwڞ. <͠BoY%hN]"Wop `+C<(dQJ!9}Vڅ0hbI6܇Z#=.b_ױdЄo K]LZ3APfECݎZK% N@}BކNx}QYl O"Œ7j?AL WWB싵vm״!6/Xv f- S]ɽ~ ;gy9RX.h|6x LjِmOT&ڨ˛v6qiʮ'fyd%b%1֙J_tS|!zsM?]7NU:Uܠa:uἘĺRt}+GzviYxRӣY%AH$cE<?+DٍKg*}W:^msp~׏JIHHwX3q+rQ+_HRfA9 #Hg!Q8\'ergo\z='~?Sy6vՅ`AU8g[/h">ʒƳqp/zNa;:HHG[03_ ,FG( QmEQMg(%LڂeS(ZxG`)d/zm !MKjbjOnƘN ʷ$}vVw z7Bf/hɰOãDND+ᅴ^חO :C7u͗ԜnxpZW(9atÔ@TQa ciEG\t 5?r,7Ao բs灑=oqu_S[ztJjO~HD+7y-op3~;H< (7}Bjt0jKx҅XT=~ɠf'1"̍&4eHtt9~`@ l]Í[`U̥Zd:`YU B2t6(o\ۤy[$(xMs?4 \I.s"[add ]YpKvHaws E*kLHz16d4w'{> k/QeWy߹1^hk'N;k ᭌ\4-P]H&1fj)jd%r6N`pv82. +fl#l>3PwS-2$x UXŵYKP8(@pqBIo5;[QAmDUWcf#_QzhL- C5{t,yAV M^ίjJ2%ZPL,ûMlB<5'xASVג#Q^_tdĮɴwKL$U!%C>nCdoyu:j~k9/Nrs'<Tț(/zQ쑿;yw+2~ EP_UɗZ4uAҩrIpOS"H?LVJ!5R9VEqgiÍ@|PHMvT¬¸Gtn@G'A]]g24a! aݻ0twcTQC;Zsвa@$? v+7\IuųyO`"0ߵ>^ecN#y@ʷ$*pd^}.?{ܵG Wv?n!w^]* 'rm6~4\P-U>|W~ l!m%cH9^δe,c,8Lf)iX=r©CҭEqwf6k fI*=F:տ̞!hXO6֛yx }z+lVO vA*N>ZNm@aoLJ 3@ %+xX>%Ī#NWc {(<ד!AHJ)*rdt Yu>3'.zT=/}2gDۋn<ʹYnY tX`7K?[vkPqؑX!zMO R+)W?&ErWXVc:SEK.^Inӗ>2IU,>9ͻ+rH N-XaȺA_fC@pP(=2AAxƁ,a=ID\mm{e6IVlvZ6t5SgKɭe=kCrυxm?/xhKuCE*ۢ0K+= vHGLD>CMs h)p_Vk`$GSȫ;;X[S\FrEڟ)j bӔC*n|Ĕca$| f ZwcaM K[e͹Dͤmwہ:Vϲ9(][sB%]xSd(XoCM(K.%D$JDůz?DҮK'w@FUS@\ͭ@bU L[+(Uܟ,r$_m1cv,+s3; \pӅ cv]: (# Ǘ:QiiVh`a d.ΗjXĚuR ttEZC04S | ~#kC>]+7Z*X1ڣb˅PC`Q|fWB8#èvhH:9ޛ%{Vә[L㷂/*#pDhe9dGn9Q>`V -j%ZqȄ6u]0IW{" T`^SyӸ۬nXFt_Ty9(*i IdyHiYp"6Yw;rdd~آh^]fS`L;i` 3/X>l(㻮:?)RL̻0BG^r|fe~,^FLysK{)?5F#`[ȟmcƮ9LЄm9C}E sq513(V=3 5FM?]H"!$J@Ĕ5:@.N=ˎϺ 8~_lZI":g>pr"BpMne(]m8G ҝgz: %Vx VqGQ\b?%^q; W--6萞!+36R;:)˥Ӛ6h:v+O07< ?[A֧U ܟݻOXszQJĵ%*{RTHLΆ>fΙy,?U` W~:?ZڵM:pvcϛJ}X%4wJ-2R ̠I^3џ+^vf* 2,b`+6I-*SR +)q-JGo(@S}Wk0[')jpY$a Rc<7[XetwعBq|VQ71 %{QIO[2D #Җ${&DBsl&(- sCղm +|*8`קɞWů4مN _fߣ!+N$LRZ%t#KklE\{pHHQ/9έ], UAō2V;y ZEϼLv%5\r6jHND4[{e|50+s_Vr *<&Np7fuK^Y١S^<)gr\S(;'RgM"U$ yJf8f+/5G5esͿY^(XcaAHqVN%zhM/LI3[(ɟDR d+LDHvO[m_߃9 sB B5ϓnܬuJ@Ft^я{ٽ|ݨ~ z)YSe+m惋ѝA&d*^qQl0@ @1P±񱁎sΓ׉@ S=)s;LW:Lߟh4lW"Z=*dĩ<~gSaL%6pz{z=ZKJ^Z,}E| 'ʌzEt` ЖLIΥ3fW<#h*Y(j&nK|&s]&p{^V[Z}_h9 Loʫ Oʢ dͮwQB8bh8q qcDD֊WNaykJh֡Z_y!c<ʹOI* \]DmtazS}aE&_׎vaȸ CeZx`4z 4 ~ \D 9#s /<ޝA( v X1+Y9O(gIgRz{B?eC8|љ- d<#;'>du@{s.sBփo/lmDxg߳9VlGAUzRawxy|pl*k:jm"1ԦRxo;t_{Hz_Zu:<1K^(lPۅR$yC#Ru>?a x[Yw]Au"H7&~ ҵJq1P0)"GA>t|w<#Rզ*3h054ё$N4—3qnڡ%u&Pw}q3 BYLa36T?tV mqW*/;4o'j x\|Z%,jHYK~NٚKۻ" [/7^_~k1㦙hg1ՒVÀ<@ʸ9?/)9d8O&˛%4a}+0mߵG~̐/mi V\1]ѯ-IZF]@~pwkӔYĭHF<-8+^ȯ.7JwkϪCn@ٲo0S1]B3B+oS܉ hʐ1D6sHK  `lO"jG'cfmS7 EZ'vIq5<5#G`*'/} pY8Mkuy23 Nu%~&|OwyJ D8:O3IS rjngp($zƫLG(t7Jf`w>YE N1F{0n(J=@e Ě C¡. +b ܻ%tϽx} #&pTnT!E,=5(!>o-|X!q1dW7Y^nsӑo ![X&&; ng;&MEu;~ }Nܧ.YF>'m/TAi^MD +D|Ws1s'౺Ls ?<K{t"pE{\/̀ {[5Cд^k6jo`- 1XlwsHu \*qNzQڰO0 ٲ G F?.`~Qvm@<ۿ^j`l~qcS)3s\kڡ(:31 @*=ɑx.!ǥ濙*)+l.Ip cPP﮶9eCL3bIMq (~E "QS68șq!N+bR(xRX}T'`'61:(w/9WLLHmȹoo4/W-O(Z2lɊ!R=j[GYI"bw4=u`ѳVÆS4!iBÊitgĽT NS0@CO;{fm6YY?״3V4ًep?2tfIFCѧZZOFp 4t41vT .X/q |n!U1dA7 DP)倪PX:dhp29D=S}|QQy"E7oZ7 g#8 )O$;UW6lz)(RktU;CC6:[lq]7``|6(@ <BfKlOPMZl#!>76"l< b>Q%ٺr1:ڞimEa5#ӣ|M[yR?gEbl[tV2hw{S愈 |ڇu#ȰpecV'1D{];)S!:N⒟znye<,IT@ ŭa_Ee/XasbQY֟t)%'>Q:+٤&iXA3 1+w:cO8rZL%ˌĸN&SSH6Lvl y}U(6q9^FrEdJb?kKK34ڗ4px^\bF"rl rl_Ю5UxKc*HWzQi|\s3E9/a9R3h#(M9-.4uxH_˱ Ӈu|ϱRj>H az7~>ۿnjuPE0;1ULĮ~PZ X21;߳8l>l8NmBG]tg"JîOe8г+szKzt8jmX}-%&<:ьMжN$O Fٰ _[~ `^$O{1c&IƂsưyZ¢gZj1U'wZltĺ^JJתoŅr.DڹOt}btuy'yVUM1`0H)~Uy1GY.C#yt1Uѫx+n^2m Y :M.xq|lw( /K:{ d&?+ MXS򿟏TQ<\Z|?򦨉 "oCa:s}r>gt s[X4Z\1B oB 9ʈ"haYYajNippP( y[~Xo`ȴ@X;|wBh^euzx jNeh)Sx!&..2ƴ&;z_+FFlHov+&D4 c)< SIxᓐt}a9=Ur!7|0D/f!P;B_6GtJQ8" _LNX8 "8gG1Hl05lw: " {&*7p0[n" 6\d Fe ]P kùi ]lTp2`J< q^45py.o<&k9ٮ33eeVxuN~ cj|~Yio?N_p!^G6jEu\1]9K-^_\,U)q,r77\g#[_P.R$'AH7ƉAnI#tB>gG[$nJZ]دƗpl] i-E_Γmǒ䎩<3GkP6A9 am |xH7%96TƢ4OshԸػ7ma~7.$]<7={54 s7uhVVKAK?ClK[ (!]TߎڇGFiւAi޽3C7C}حTB7]k ;\v5~VBKHq O67~T5ZjxA?}_iu`0;eF=z|i?@`'̻ț.\ $ ұ2Qx7≮=xmT!&I{ŭ z*_`%3><((oD1K<% NO2W_^y8RZv^.t',Cphg%+"2^8V;:j\\n/⒒ݨᩘs9$wQh5X"6R />]HǡW2gpf؃Bstta0mfi#%րUwf`x M#=th8-j-Ƨ>k>!^xt<;gtތ3q2frgZ;'CqaPPZDG,GZMYO ;Q?ڜ%VhR+ uBu;?76le]kiurCoA!mTP{!^H,;Z)wAXz rLʬ`k S1RևOM9W}XiNG+rT|;S{_A|]k/-ڗZӻȐ/𿴕.b=m3[ }㶾W'ܝy[VbW1L/egks#*7GN 5C㻇% kǜ8vqMXs(7hmT6DI۽TCG˂8øTx}زcmGQ/#%-YR&3`zϽ@iH{3EpRDZ@+:h+'s'#mWD` 2gYZ2dd67a632188e7c95c4128a1372b419a85eae9d498b9b9cd6f4fc2e11b47e8e3c434c3dc2faa11392c8d506d8ba7c85a9d5d4943849a7f5171530fee