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 Y=d$, ] HOL-Quickcheck_Benchmark:threads=6elapsed=311.559cpu=1522.540gc=138.716factor=4.897zXZִF! ,]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*LV(2N2/"ݞ۽clye-ƒR]Η'Ir~uPyz_'q" @ 4*=]M<#2Z0\i26'ςֵ׌ŎliQUaFa?bl*@qvFF[j<}¡3֡2B1`ǰh˫aeSYJ(`LwJ6 h=;YzGXTXi{3ZhfxF_80:[/q3[@6bSѭ&KD^&kX̡bF? %CʕVUS(k#ٰ4dl܀2ZY e<tZe&{1?J؍%9qS4x2:KަuLe|A*$_2D|W 9,@W 컎XBc+KgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή*8(c &.ݠUmG]{2xQV,j#PטL[ numטH7rm[pXxiQ+L;$Sfn ƸjVZoOgHǢgYZ7zXZִF! 措s]ŗXi%GŵF(BIM1`8n<&Չ_qv4SXZ&@5" #Byztlc4`7i xh:/-X^50kuNX.KA$]=LW 9߬4%+Wrͪ (9q \|$uQ,bhbnf7Sb̀ *x8,{^X} tQ=*O = HOL-Quickcheck_Benchmark  nXQ䃼8Wm[k}i͑WʞzGdž&R=}Ie+ iPbGna.'xK\X($сMrzdTAFRֺ$9+M'eSs28KK^ҝT'M9*HPB %Äo?C'FARޜюee'=?>rз\5Az2znu0DBgb^7/Vcl$G٫qdEm~Md>tzd?/|~NݜУ懆Yt/ɛϓW7>gh_I1 ^*;lNj}GcYO ?PuGɘ/~bgwdISMVQDx%-ZѺ_sm\PSiG=o"FDL\B^hIݮ KoA2t8k0@Vhi9PD)TTM:Vښ 5.uN8;L؂.rYTsJ{3/j؊KmF?' crl3X|%dG+/wH?tӵ|Əm!v{݄w/)p\4s<.b:(2xa7 qdH ݌/Փ/>[}G#a(y; FMpZβƦkj_ÿ,2ۥH!6ć[-pVӼ?0+#2P$4ՍD R; L-k=NWD9vf?z8qr6h7W29NּRȣSPoubQ&oWWUǀCw&tuHgf"ڃ3H1@aM7gcǸ 6D퍯qOjX c=x¾YTQhZ"ӄ*Y  MoOc1=N,tlkd燈 )͓Fw I!w?F/8Bm]Ͻ:00iJr7C9 _r=A"I m% j>H-3W>ɇ 9fU=< 6A6j2%a`j/k[\]Vd,]x>U'\^nQބs*٤7,q kRAle{U-i<ރt&dؤj#&SqEJŴZBKt0p ֝k]kLD̫sѲOWCGGmٞ- RQ hLŢSovUM.N1 E9gʮփcc&)UHi!A٦FiU7rK[Rxެ^̽g-oq5E+Nו8Q0ѥS  {PTA2alHLǙL;q%簩kRKMedryV 9ŒGSјf}=Ip66aT=˛˔y  Uw&=Ej]n`XގG;((A#i,(0|2PX =^ ?<膝q`"R=#~3,v(Ϯ+[S~'0ʑ+_c#Ʃ( Wq1T8t2V'zS3OHŠGՃ2An8hx+nL6@}-}uIîxΝVM@{5)z\)g%eHvH-c 2L@w53,G7OeL7N`\XL@BWś>u 1LDX08o0/K֊2r np+b)5=!u$֚٧TFyxXj+-{Y5՟[X+ [}q$F]uy0W~$ ޢ CSgXT$ p_X![K#ՉX8/W3v[X݉F-G&J;x~͏bwyh#`EےrW<ԑN])kћ%W`]/_)//^i8: TFnlS@X$K  +phwN@Cw)Qa‘dt|_[?X4ZO'QʊMZfq:*⋇,c{&"jc/dzk6< o8%x/*J 68IOY ZC>A}aUyVCڕìT3 #4'`s8g)L~+'5'tM & 6#3w'OӁ3 1f-O { HNK!VK?) 2!|)-?OgC `42s =osf+- O7Ui__OG9ϕx[|ώ%@;[[y_b#'43V:hxVK7Ϸ0STn6~Սl'}dx}7/l; Z,哱T6&_(go*7*&{_YF?pᰪV8IkLVr!fOA"9La2[:o>ֿė:_2\o.j;!Hd5ajzw %=Pq՝務tOg|5=u 7d\Z2O6 䱠9WZO)+B*v- F0@/.582hpDQ_/R7 = f|/1+bOaۍoBPKJ32tP4h c|l:ң>ӏD_ T-;V#GQ~>#⎭iK'6c-m>W Pk\پ1&-a/e_^*A_fE.sl$!CGUSDSQ, LO^p{MR!͖^D\gۓk`sfJKջ)OZm<9-C nbDs >aksĝ MӵmL i;$/Nx;ey D=P{H*|Y/-==D)&T Y 7[QJl=&aK2TOZb|0Oya|7J8Nܯ~?W"TI@4}-q஠!t}NFbϱ ר<3UxuZAor83aH%11rn<%8wS~D#VV^73,6V_Ǚέ|U+o_p+rͩt!T~,KI\!9 s'8r1n%oO(a5s@Ms 5ƙ|:׹n5x) Ȥ&劕7t7:j/3v /JَF  Y`oL`a7硚|nyz)(?}8e`m4$\?Tdn ?߳ӗ~F_V/(GXHNE:v‹ 镩z۲gtٲf>3U P$ u^ {1/BN&z|~YWsFe76 [Ix*8侈!D{pds`2tR@}5JOwE|bGyQ-aJScbpPnZ݋_\dOhߚ;$Ƴ1tMF[EXƔk_0hI}D,\?_}&"`ُ^s[@Mp*4GR怮*x AOvvf;ؒӓ5wy`L_ZC/vW'$JJ鰘lRo^Ԉg[W\EW߼yHJp5vV@ѧlp/.1N@-M7a/Mc;b]J$$/WhWh ~U@\w6<3'IPq ?0sSw)=\tC1KthF61Ɓ|j cK+7 Mv)NRRw/4Ωnr~oTj=0H%;|ɴُ- 4bl~vun|  @_僡Uc' &B&b^RO{d8@ *-, E5l2AߦTh59hr"$.SO>~o zS׭_d-u̔ܰąv T+p:}&UP-2^B $wJ'&pTsM/.S1k LtX9<fxn -V@@rB^nVf\αl &&\_פ5on JI%JO֢%Fuj/1PҠH[O?]Woy໪a9C|Et {/9T,|_v"VDlo55 OKAas dwO,NtE{਩x~f ! k]Kvr ,qtR-.&d6a)Ey9bf聪HkY (~ _)5ތ, dӨ6X;^)ޏo ܹ:v/H6XVd'Y=b}~iꜻ!i 䚗TE [/r%vi(3,[#Fc,3KyQ-h *sH!{#5\Xͯ.:~gbBAͫQ[ 6d!0VsT< yL%AT1@7Ĝz/**˘cJ<~QkO qDGc|\ō OyZ ZEܫ>J)>縤|h,cQ@b^;WAנf2̃ü9:C\)A'~4PvLޛσ!TGwdҞ(^ @c6Uw: 85H1LXc][*=#n K: P=jMkvH4}+ i$Z-Z,QƲFf6DZ eT\4mR)O L]rsdCIŭnyKoЖpyą bK oJ %uv݉bA%6Y`U')a2MCɿ8vfc[n c s~.l?V3QF!oŪʛ *;f?m$[נhF_3m&'r[I+Se{p^Z/ fr*̍0O9(Ïb`#/Ņ^+8-џyk~h݌w ;U,7! X,|&BƦrQ-|W !sE#9ƨPPm6!_{⣏Y9A?y30$Ff ݤHU=s N y1!a`qSX`|+&`Qyoij4^r#l8Z4w-:d3*Ӆ wISE(\=_8y斊.5yQY}=۟; hilU(1\єZj?ApM'Í$H_.YOh]:#/p޹WY1-"rqf5z5p1.@#-]zp}Msf2DX LALiUǡsʔc(ٝ>::٫&C=u(J=O+]~Bia~%-tβTipjL0 CisdU?%"wH,JLiwrω9, ݝf.0-uumsȟ7ӥ .LQ!Q>&p#ߍAX :9U.g4d6BVl@藯U!p*\uݪ'e5ՍSxr\MӆYՕJ£,ήP,4"ye V+~ `)FWRa-kB[$@z7<4BPҼ_hvpFVG2ACIdSr.n6~O^x4Q#H03Bse [ѐB-IO~z47#9^rO6^ w|&^9,d7}mT1s\J=z:00XzQ{0DT!陈lچ|`c19t`9߸@: y4V!_ϣÖe#.Qjj iT $ljS96{5Le8FM\m,)!$G1pm Iࡻ#SI7,fZ)yХ AdN-$&;gEFv";|:73KhbxI5:%יI(އ+o ֱ>!O/ӻH'U ~z 7qsa/bkyŽ>$0N6! ,/ꓺV FB9- Mt'BZ?vj*q&9cUEW`j  _7bEtѓ䫛ZQ\OaS/ngn+6e'*I>JhQgHvM]Ѽo g.ɑ.kkI'5*?>{"*+ n=wK$zkpNZ& %l72L9MjAC5O3/(PG=gs/,!VaHD۫gُzϲgBH:*W0Yf=&)ԂvXsEìLNlRF/W7>!E\oY<paB(г_7},;V: 8(>_&oWDuEE?E&l)x&4Z>K0J^;@D9Ie*h߾7|v$-#}F9"Bl0a!gJƤ MXB)lM9J2&Zʍ$ޚ;М>u;Wت@z/䶚h}AXG=\ frꔛI0$Fm̭úRb=C Y$<<pJq1#gP}_HmB`iM8[of,拎uS12aO1TQaǺ#Dw713U36lX|kǢ)5BPOi;̑}ӹ~!NDHû嬛@)9) S88x$eL>d(⻘?zG xCԺu_7 ^"<|!(JZMn&2nQ4Q̟,5#*7kx1L|: DtT]2*M7Y߶|)#WoovEɬGoaE&чl8Օ:8k` @ӽl՛rCs.N{ƽ@&a^6=\xy|\:6(RctE>JwE_:3}C3ֳj="#WGer  kx %Tf=$35RM.z=Q.1uB];yY;ODVPb/I}A0SAoXi::E8: X;H~*K..oL/_SUax~a![{ivV)|r?[[ofy24iBHĒ,zq6ΖGY6=^k7<UOPWn{L(7JpQЩ"B(:*T_FHWM Ea[<Ҫc̿ Թz}C}~]0'X;k06 "eC25+)f}qjBOg]$Ke}ͥBҪ/`}0T& 6ȁp235je2uȌ)Skbt$Ay#<J&yɋYҁ:=CGWu}' Y(.Nt, Hi/t֜\?t~+](C~hg\H&Ndw#rÎE`F,! NCVbb0R/ɘ%Pb9GEX z13j|-4}(vXMuj?YS+ b]pMyhʉ i:It J7srbfʈHyk1ⱌE7~|HQȩ$V`$!'4(g~$׌! ϐc!3"ɎS0L Ы>]mlo"ϖ Q8=MT.C:J9}|/Z(a]]RߩV9 d,/ޏwd=˟$pf3~([wׁ68^Y8&tN7ӷd~0K͗r:˽ft۽*CjO2(Ā=wNWY ^0#XEQp N;PyUJr:A|(뼼4r*9W#At_`ʕ?Z vck#y3Z BiϏK&-睄䟐}I][9:djsBrt Rɜ~v@l 6!ˍ6c=lGT`yiupĔ2b TKe0a=(ɲUPW+m >#kS^JTǙ3Yk~*N9#6mLz)5]i%N1pr ! n܋ -a $h7g"J&T`6, 52fd쀙Svky#K9 PPYZTJdU~j@/R"Ӏˬ8sm;Z0FG O +AguLiETI8|M@Δ9bMltf5o cJV+ig)Y6yLfX⚔hJz8=Dob̏;8Ȩr²W[PTꀒۍ_uf`vYa;jM~@4}hK0[Yn? )LM[6tU~&".Ygbzm5V.U͍W J=\6w [2UEZg+[? @kUgs]H:ssCg:alZ[}@eN KߨZ*Tp5k%k LvQ+y- D)ĩ[.? x>-ܹӨnfF2 ܰc(q04v, RM8h*tLva՜&-gC#Dv6g=eY :$`ҧh-2fK0M'?7EBvkԧQ-KA)gLT{ЛbyATolbr~3&ފ% /7)ݩ$o 4QY$rU8#$j9] HWN !mINjPңӉS,Y-agԭINCNfMyZ-HiEHc?+֦]\XZ4Ƶ ܔmQvt͚UbKqo@Oo /wǷ-f-p Ȁyͻ5%.7^@v|4w:=*XlSQI h9aD0!Az4Kk!2ocڦh^LqWG-sKr~w 2$-2t\GNkcǸU7!Y+)?> J$jz=L-zty=H̊?A'NHqS.qĤ=#н%C;)4Ap}оEw g@sGGwQ_fzYZjaN>9AfӢ#<>.iZcY9[-a5e3x(Pr,>G}!p>>*gt-$<{ 'FI],lZ(U"qf-d4I)+7sVkk k˪45Q2el|1쪝-BGr2G@<:vP5p:> SXA Hmٕ4/\2JNlZ->p *@rvü<0b[3wD:g4 ~GVLyluyX|EcS n.ɁZ>!.C:2 XeckdeCޱ$&)@J KlP6Ԯ^A{ ͚)^H s'dRؙS$6y=mɶ*>W(8kLcjRoBG `h9 n?N ǩS!Uv4Kp^:Q9C(=/1:RHTV{~8h!~v5#ʯpx|s}sԹfKk6kIbh,sDen܍H> H_'VlJ pdiR'a0Ai~; 觮}P3O6X+<@3ā-B?e˫eٕrem[aKw0`iVGq:bl:ϼq\-f]E3=Ng?5q6 zDRP=x 0߿ҰA.vg{7g ؖ)` 8TJ`b dx?rB6E?'pf vۓ|Q~o [NVUr*?$̱-t4VCd>Qfo/˽wCh2ѧK\{)j k6X$?2m4w!Z?QI!^2,v04)˜#kWOiKl_x4!| b߆ַE&{JU7bp͂+T]h\hxF\<{T1} 5MED \|pzi)v+˾a+:@w+ j"꠻X V<֮!4a% {D"1e!3a(ju/˓' w,XK%<)7}n,〣e7gIr]6,t (kj =9ȥ&33WoirHZ{] `TCߢIV) kšC HOqbnw.9>_XhKQa^ id}iOA%ڢo鴎 V^_tIc_; ы!^K] RQ.`~"[C`;⺒JnJ ae dwvH?XcSB[Gz>i]* ,)CNmߞuXI._Mٓ:C]#o XkQe7g)WX',2OKl=?]Rild$AdMr2@) I1=|H/8<{.sgB"ܤ#0ϽMlB>!G~ˉ3cuYĤmkJ.9 v >sn|ZT/p\ༀTJ:ķDA /WG\b2$c67!|ЍV?)|k@q>@ڰ=t 2-Ҍu3 fEoO1868y6k^Ek `c؂e:h66YnʶȘ Dѹ ㋣ƒ0$$. ߰TNP)>غ[*4ߨKȄwܧjc; +Iy8aM~8h3^@kʼ!W9 # '54M;#0=+xщ> Q彻I TmiS-&KmcydmF5xѴ;⷏aR=ub<*'8t+\;_a.w=TqgP~k_bw "M e6-o8ųR~`b=ur㓕ӁSR@e37P-clI kdXF>cn0$y3 '7]/Еc:ivfs鉼e3ÅSvK0D`еѿt(}M e>DWm״ UH BBejV-{C(ɊV4&qqHT0O9Vw^0 )ut޳5< K}sq|6P3FpԡR0t#mJW-dY“e78O>|6ܧbxuUbXQ7^/?$ ¬.ߪO;!P+HéܥTEsm^\y4mhmR듂E:gyu8__ ߣCpnMlyJC>"DB2' a}[$I]0XLUK'L@UK5o\P4KuEuDli#Cq1ʼEP4B0e39txUT'י*Y.g1vL(Α m8/g-zAkVȼ#]Gʺ׀x(kkpL k P9 -M$8E&HinǣvL׌=qKBLL:*=NTA;֢Q> 3ChcqŸ.Yڞ ^=Lkl+a`=7 S sl?~CoۆoĉOݕd]ԕfNmkz3O /:~*)O<7rC| s%2.̂)<+]4C<ΖتjWD N=DRaI ӥX GڒjM@$njۊNsjρf? c JɿK$P'[s fs!٫ Kb5&2xdڶŽiwۣ0>uMFDp l"Ӈοw3 _C8E&H.(s_"mϊ[$J -2N L,2Nzˎ ZfD8o|pf6_TI?PP)k 䴜4XD})V ] N2B]7 apgt :芰8!7Gj*">0Iw&07^_ -f$FÀh~>wv{^hGmNn[9D.)/ N}n\"l=Vd^U-3_+(nJ!捺yqBnkN\Yz;݂MVZK{]*H ԍI`A!ZlPd J#V{%awi&;x Kw/Ma`& ~m fՎCd]ۓIY3ၑ%{!@$,AGZa^@d$F?$ e hݨЧZʙڹ&>4x4\.9UV8 "8Y I(Jޞ>(K2}-:QKFfd// ':s2dAHgR\fȜqaށ(@ĕIcޓݐ;mZAJ(nTӼAƟK&p -`JjSW樫r݆8.d'#Ӎ[PϤQEQZ {x]0 vl7"C`^8I`G9˺iވRFyG.D>)". eV7MUnoU& C=ߞNc dkzq DN ̨vB)I7=O惮/?o¡Sn9ڜF: v*S+\қjqt7Z1Pd%A'Yj(AJVN> ƙT37WE $lٚ'q=c6Ҍ2U#f`Nط ">ҁ66@vBbMnjŽg|/ZIV T{S<FaWtTo{Y;;/+ga\ܓ W9Ga]k @Um@˓^!r;8p 'I hPHƧ@FzF$$nf zO16gxYgUHmpVZo `jofX˶u]NE/PjcFW>| 4&ytQB:#pc#ݝkNkWAgVM}\BMU&Ņ2ܘ>6B}T_z*1X(L>gł-Σ-3!Xe~u9~Gqdcc?)YCߎޭ|Xtz11bw p0RlշK\y10Y2n9;C8P>CsN huV}xڈgoxX=~u#\@;st.}ރ͖]Y^yH2U|ȖcI@IPN#FN1Poaz{M"Cm[ j -XLJjz\G.ˬy*'&Lqu'-꿇w)ݵ#ȉⱘr2:',ymEt-,R'oPg)6W.Q)rH(@jC =q|jcʹ #YҁBAk(q/9PvKWIZ.3?9*櫴AO$1oJImRGGuK].* CcT@yٚ)WM@Zx%;iݲ6znqŝ$eQ'mL~rAHZ ,FbJ= V7ZU+@%?;Ģ%;IV0SŠ/@8ԡ t)-ge EwUeG$PϋnWkcy8s2>WJtk7nO0 I=s x)^*[xOԠļazcoIkusgnzG"ɔ^ :0;#ټs'mfՕh5p:FD@225x5 ۆQL"GM1.E if <$#CM#;*q,Ţ*js[@JIzңRK4>^Y:nOݠX-ޘ`ћG0ZJw yE_0sͦhxz|% GTCe)Nص#jkwfAP.>Fd۹Ba; jFc?.7&) 4NNڌ?Bl"黯O_20orkT$Ӭ? V,Aݹ [U.Hɿ;T1<0=qFaIA fԷ@1}sX/|,%> !/V!Uj0m!^,fy:x7aO+FoQFF% qnW!kXEk(] ͦM?3tACn|#>ǹzf&kaUu2Fk `rE7k}*_kH/]<Wg%|~<7B4ϝ? $ \uсXZ{>X 5!9=UIA=tFH h+5_,6.bB xo.A(0SEU}B2P3v2]kl5V@y{:@dZؑei j_;Nyh!ydN kwQg,>m"6l`=vzs|ⴌ~Uzlw!`ĭ'~g H/Uɵ!U*kbʪ=,ey0F;dabT;{.G?&A)= fPg8P:$=+Ifh1_K7:38%~FAs"ǎ Sh!{J?ɭ2xK޽ R\xi;C2F0q4wsy.&7oh\~Tk*ɋT^ g.-BYk)3p}WRUn}p06/Qێ #K9O81d+/[EhS9wqY?cv7YvDۄZJ![THQ?kJKh\69D{coZ>.Ѯ_]+SQhY6Wê֗O*Ʊ<;yOâoWurl9hbb FcO[ZΘ,j0Bnu[_}jG!BA߁PQ֯!:X8hޙ?u%T uޘhl fkF+9 e? ~N+qG|!C_,&e\͕{R'}vB4o4'Ʃi86s2nypqcКkm]z86N~ꦩ*ӦiP,u\O];ćY{l&.QS)ƄgXWBVGY=o?4K, "ERzri9Vo1@ڠ0`frNR;}2[RK@dn ޡjdi]š6jz,z;GIw(дF3OzcsEYۑ0VpWTÍJYCgp5j98+<!a1*%}~^FQ>.<|NˌaR]~oK 1Ƈ;;j w 7_༜0~'%*\sXy7p,ǧ)-Kći%"yR #(q'`ݤ^z=)#"ZFH 7-vU9>JQ# ɐflvpN*[h_ܽ bg H<:qU ogj 6-@2!q"U'%jdȎ(!*e]`zO,P7= Ejb|74EY8 %u54{ZFvH1EZO5-2_H9 ƀ!tO??eci-YK3t{Xݾ}}lz'"j2V]Z6غ~ yo^⑦z[Q t%d┕ywf&kD%cvcmt1{adǀF%Ɖ hxRlEsw~W#UrѽvM^z2?UJǓkxobHA$^THNZ9*xlV?%iZ纺Vl=͂"JaY"AGVWɩ]?16)\S KF5 xgkNtw$O8?N)8-)h1t2{;Ś%*銌ӴЗpEIw%P E{U"f:3O`>W J+˝.ڶ@w:so?w+TQ7WfqǾИZf 2d 3g M Mo8xOAK=>Zsd\ġ${{ /( yd2G_F佯Ka'v]pؽڠ m"ago?9d>CM(;2ޅrt(԰ٴ&捶%N|erjeh٠ ?ӹ DjNk2oDc:,[:t>'9Սnߜ".8NB F֬ݥb#Jq0(ANd\JC[LχfȪA)iyy!R;&1C[_%!`" y0ɉ?Lٕۭ TQU7iw2oY@N!hmKGHc3M)nػ҂Un_{Uqֲ98!cLN:B9ڸxZ[zO5J{O"ƙM4 e'x0* %i #gXS^>)î?mJ,vS :jKaz)s s\ظ"AaοRb)/8OP#v>^D ۓ*0<\dPQZ\6 e rBT pWBM iFs Vh\9%v׆bd_94lPF!%1ѹ9Jan;lxK_l=S؆P:7< ibiߜc{TV}%OţyWAʴ,-ܮu]y8S@쑚0:% ևO 7|sfy@lkuyfINѼۊCi3|tҜsH=tQsqU*?o ;wC6s=`ǛU@ʬ[3,x`2Jnj"(+OHpr*ȢEMkP?z^Tmy/~ᩪOgU/D⭽ <+0zvKNЊg5gRkyR~VUa2!\AI7we)sg9k1 ١6DZ̄6=f/NQX_=WRKQ:0/I$_p'q\.y%R[u$XuO n .vM;Qf`f_mgT C7g th+ d6]|Jmt:޶!4XwuhfiFĥk Fa5H%$p܀7䴜MiJ6l$;%QT1՗!!)pg"TJ׍gIdW4* W)~Cg ahԖS|IV.ah(Zƻi+yW3gYZac72be5a0653e666a84d49b1c4c0ff00ca76be3400ea09bdec95d2f60a2d5101a53b5d2bb8a9550e 2794e690bc7c789dbf80ec81181bde6bcca20a2b 9f37ba80bcf60cd3b5c3ff0ac6c01167d1be24e5