SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  +74 ]MSO_Regex_Equivalence:threads=2elapsed=735.637cpu=991.616gc=35.748factor=1.357zXZִF! n ]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=nUU3b6kB )̩=$=TAs:e6~rT@O75ߧo80B|!k>@ mA& c14L&Q], D8?}TYIN;PHtbJdL\'>}}PTk_mz2}Oפ* N}D;0\j?-֘}ɪQ*|4Ym|ew~FP>WyN;7˺[kcPb!]sRl0Ex}WP=X\SY46%ɓ  3SSzTxHN)4b>V 狧HgeZ%ЋH [l}2#gRaP!f)CL[ӝx]:d)80{`\Q4Do xBk9EX\,[)4X1]Z7VwnyV4&!.dJ>VJ)Sc{/u Z/|!ٔ{>$4B?7A\s9 oƾYZPaToqv˙?4p"}D*y:؂:15B]O(}92 .3Kٮ m_q:A]MPSyqR_w+&C%Dyy_J#ѵXaE.pH'XۜǏn!C8{ԏ<ɠRw0' *!Dϵ}7j\VbKU͛&š#ZW$ڋ ȧyU!m cNRm|<"Oc@G9^EaD@ ܧ/g^H&zl f=$v-Z1Kk;e^p"5Wk5/u;6`8.(72AY*uG>p\ھopWQ PV+Sj7nCS-v{vF>o]vV,6I]fO1(Gxљ 95–Ak,r~TWܕjӧ#-p : 9e:m]4],l|nA/,>R"JP Qu: c~( Xu|IX+Y&<ȏU8| KT@y8` "gDT!E1rۦ5yI,l(*h%/J+/;τ'aU?oYXJ4+7vv1kg)_ 佫Vp0:w♲դxG09Ht 1ճ3H kVj2T. +X?y @ 7 MSO_Regex_Equivalence.26nsdl2GӧV0=@`59< YNCq"R3: \T7p=Y @?'5a/$^^^3qEb? **:xҟOlY].Mn y>/iyeI8R#5% $wgJoi$tkaL!ϪRdٞ<#S|bd"ETk+P>cs+mq0|M7KZw)@#U@bD =-rtӇ!Cbܹ]B5,J8irk<*k0'ZGBzRisIk0J"ŒXMBh-PNP]Z%Жt- łK "e*Y=|@ ׹2C4߶' 7n ޤ)eHeڠ ʓJffBA- '@lZ!rk7 Aӛ"s?MANBvXZ`>@ave?=5Ëπnf=Qd]g% wwm "v]L]j^Hstպ5N DO]zg_";/~==bMBEι' hb+C Aذ1mEƜ+mTU,0B"c&֛"eG/."Oxj@+<[m*Z!c]akE/@ ǓcQŊ!Uɮudj`QɰD,ƥ`_DRhn.jR V:o}lD'-H"Yr"w T[krngHH&(C3[?6<Qxh /P) AbpFsi!I7q0 AncE4'C PR7 m7k>_E,ęߕl j!Zyqw  ntZ O3~@?v<".0];!<Ndiv, *0gamf ~t~u;dꄯ:i`lm[G/^tXzyip2П"cxi,TF{qx=XV|fw<GjL{.t}b3K^8_"I4\5)ɻF[A J \Q:]p6yY/p3Btg,qFd,y-  L 8X]-jcˡ3kgd%|Lp# 1OKf}ҨflIv kgtJZ>)H7sHsCo@/O`XZ C}űgYZ7zXZִF! 킜q]ŗXi%3cd@]qɂcqA65c- sb{ 鿖q*t٣`8ne^L_&ټ2ly#r&L~qF~i]OX5Fɕ/ƲٍmuƓpJg^YJ+^'$pQ 4tqgJMWՆ;\='јU*d6S\]yP9~zKMk~bnav%5Y+dT"pdhc p]MNtcْ 0:/mpb&ė&<Edn|~${EM? L#e4vJWXRI3EkȿS[(c.WQ*ktN ewj4G&!C 1mY7a|OѤ;m{CY$ծ'8fI=g>CRʺKDщ"#w_s{[[IA ;W~ FO,ضc3&x1:k/td'"rrUS18 HAUQ!.M}pU}X 7 b_Z0axS1?s!$n;HahLkB>kd |j.gpJ{uMI{ 2pR#Jvx F NN-/sV Q@@䍘Cx1sR[Tߝ':?އuiRLOZ +6 #y){ 0) X4<w/NOt$`!=FE #/OQf@2՜f|>?.TA^c 彖T1IJOk/ Eva3{ YO!W3)cH+TG6߽SOͤ <&}qTi:&r7Oܒ7pgNoŋ2 : SL?fcz3SBf/Uh~x Z+yT7ȵZ2y"էY*zpjXK"e YSޓda ~Y&T eqm#^>k͚{ඍ}ZcEQl;BXQ!)%#ڎ]g>&/zKS +e  J;ҷ/> 8-Te`d'+,hKo6nhPͷaJ90{ Gi1 M .1:4N d ix\$u혈x(Bmo7Q|e܆8)2vB,zY鎃Λ ʔxѩ ss @jdxeWQdܧzfzAK(bGN8bAdMk*6ES^^wb+: Q}]R0r&yaG]Xٻ]47 PA+=bŌvJ/r,պ.K-o2@7S{rQTL.7BgLuM L9[UuL 86Ca {-Gajoh}e'%ކ*ȱ p @vhOBؽqfV쐧0MXRW (N[`~A_̷ .l]!{>[.*ݼB糐+6`! C^xtg;irh)iX4Ew& #̱ib9O(&cw/O{n z'-®b ulS/8*OB~C~]V{՘;VqhF\ t$$14ɤj՞Gח>aћ&Z xdTcl1/5Yw1H`cIE wjChs,ub6A'ecLx&EyȍњBŧ`h9/6iETfI{k͡O%Y4֟ҵ+[6E7 ; 5h qYYOs]vz E #vDR#Xm"M˪W ${b\!am%[a;'A$5"ˊYiMuړ7FO]%K[d3! OntSre^ے.KRKQ鯗Zn- %smZ4 ᝫ̘гYR9+)!ܗuo{ v}1kŔзv?ξɖj+4T$LSR Hꤎ܂;J3v'(Ovj˥-TR:~{Rh2ɋ .2%OЦV $ 0x}OYOA!4*Co7dm p=IXp'DD*oOB1s*Fa \q. bdA\dxJMq~gyЈWX/d~u, }ʚ iM NΩϴ-NT4hb+'G~V8@!cM-_F-ŷ(pf=k{ЫW&tKrJ5fL QJ)jE5r iȭ Plvv+"bINL?fjB3P-8xǮ8!Jn$b Q v^qN8wqOHb•`D-j `S}TxYՂdZFqA4 Y~>s0ʸ>Wkt* M]^/whX#|{F%vF߬o*+\:w4>#\!S!IwT$Q{~#d(0KC:dA(Iq?zԜYW7|lvUgr:6 t]{u@Emq ړ{ N u-DRtp&hk'YVg|b_t31D \#3p:` 'vUMnb_酜|<*) ۨZSf'FEΎ|!?ѱ9N%bM샦mF=D%re AQHX9*+g:X9r<׭}>?!xХ%bx gxp(q'O_UރO_e,CuH\cWscg`s(m4VJt`*QpP BZ j_{Lxݣؽ`AeMi[ PNjRI Fh_q{lSk-zL;P^jA_, f;~6\!qe,mj}ݼp#,#PO1ɣ0l<9ƫm] (yH C-zNL| * ?]8:pxRAՋN[0,\ԞQl/}l(;4J ?fHI}-\tʹ}B}&`N}"|ypjPT M%L1S"n70Q 0+oF \ג :D5w陯 R7hb~\jlM(nޙ㗣g,zw}U΁fl7\kk q"䗹4{p|UaNщ8N lv: maisC;xb1uqnӈMz>T忴n,0BiEk9B&LJdՅy3UٸkJ@ *!L0X Y2F+gc?I kt‡щ{S-jGS, D{ Ntt%9 h:B =TŒVEv|8sew!Ae1!5ԇ5sA鉭M Q7 mM⺐sjervE ;h"ufY-1عRԅ-U0MSuԮe1C \D;C1DE oG0)֭+,| S0Ѐthql p mէ/dyrQf, =T+}| h`;A_AdˬÌM *EklR?lr V!pRr/L7& @Zh,ڿ6Uvję"UgSEG|G8^Ҷٕ%)>\DiS%[em,{%"wMXዄfi%~$j3;-#8OCDZ Oʟ:C+ oTۤFbA:0pZjoG0퇪䋛u9t{3pgI 0 AϞzBR@M4 CT[h-$lȉL;ŋwD`TExԮ&O:]GY&|-YJW 7cPAw|O`vOCw?dosX$Lga؈J&xa }zJ u+PEJZR䠌ps,N4qם"AQ|{ n&E!"U + ~Ql%>Ex5 .1ϟЅ(izbsɇFѽT+\e3'^!AX;_/ܩ<$NhkaiH XgVH鋀xT zR y),=Φk"@# r橏YL"=)K Lq6. ss` CgctE\w}avmV1qEMPX\dcSNRr=uF?+ yP'ib-Ir:yn&(0yᄤSL~ʷx]U"sKzf6q{fL ]t9vbF ,J5,ٳICODgV`A2gBzC0l!R5_8X Y`<]FǙt| ވJHVQ\R@[gcҧKvKgJ iK(Q7 B;/D{˳P ΗS漩/b&b*#SGֱsrLז/ly\(>~>ۗ)X?,srq~z~tXM>AO ԷSw4Yn׹_w|s55J7Os%0(0M9OǮ.k̭I#oޟ. TQDwp9𤍜 P [;ē>脊S>v.M U.~,)Qܵ}1e??ݜyH|o.%Шnq$va$;P]縉O*,dW{z O@3Q?((PFQȄf۱ޕ5o*>gnabݮ6 ~j i}3O\phkfQ sEmAkYD}h=2t. [5⸖:lk{I䗫bb@'kbPB>/Lg;|Q{Kvԅ~Y3! RpMES;Y )vZy9poǔDx]1,ڈYEtfŠCjI<hpTeCV(^9ʨ mgq̵F_|KZ.%S 'Hfƚr&|?*;ykjgѰdh#Cv>>4͑em%R[FaTEc`c`ΫSՏ@\u{5dY$+t0nO9z(^:'FfBr#>72UjH4_FC 8 d (%dnຒ 8fT#ݓFGaY_$: 2ui}NpOUhV ɵI4m&P zI7phwK\14E'(H딺pA$\a]hރ4}] &utM-Ƿk'Ku3d|^bt bE/ϭu;c=`6GPVi &HUK kS _Obmp)ǔVj]q~\wAO8XKJ0i4\0:+ '3l),p{:eCLIOK\@_~Hk}fG]*fq1^?0]/@,c&e{%ED?qAoG讻;ybq7]zvv0*02W`w2 nk+NdVʀOp lQ2 m/b.8$P}bj&Ry brw^FTh3K˥, t͈~:ER u mn@9g'Q2rXwCkCZ|thHe-/8ouٺSOٽ8@3#҃qWe r4v ƱI+B+ GZyq d#/y,H̞^u& Y.(Mh&f mY0\L|{@$r4;7rc"mJ^tR0E3 ǐg`٪}_:?SN\0">4l0i1$0˖^ o! *(:vKP Hvokvq=^$V%6-t|$aOLxSm>6Ä[ Äh)PuɭvZm ]ت\ #\3016l% fhہU ;Ҝ@ׯi]R^,C]u#au1^SPVNV[ SBu# pD]~ⷮt=DkkH(~SNgY<5;-J,Cb|4ˤq3X ezh*Ř52`zf~r]Ie;j2N&[{e.)wُ`5sC`1g3֐ua>d;3TLirKk(zbLП8܏IMUTV7*} -xCH:* ;2 bSE75|Lt=:? k9.6:Y6q4f$?hY[ؕ(yʟWTej\ HזZZ߇Xa,oᅫ+~ Vr=4 zK3cYѭk#*uS!Dgj70N)fw[}FS{E麛װDՊ/YԩۓvGӁEѴ bp^"} )Fҩva?d֏G:6L' E R| W!dͦEBZeI-Y0 y.ܰlNi6UL2]㙬2--}^Dji9W<,0/,AvVkx9ݬL\~㛑+ŒGqW VF&a)Qf4bvÅOOOm\Q>]+Pˈ4%[E p1Q@J-* zh^pV p l!L` `֝)/ #سJr`OBQ:&<͏9.C|۳mp`v"(}Q{1 \4]>}tѥjD<\H%T R\|yaV3dR-t^U`vS#U|)#\ӧňiFs nΣ{:Sf+8}uR\((ILУ>镲K2⥖#:GމW|B?m+B}==m>VSlrְfː0'ecfF9>޽cR 2ydi/7lC{D{Cm7fVGDI(H }׌Mvh}vœTݴog"aO[Sf5h/MRꙥq0G%gD}6!8u=϶*M1kODL='7@8.ݐ `p  9*5>9-6 _sOnt:ycb OZ,Q6& >ϾOITĺbwzqKlEFrj"}26.im oL-%z!/TJ23I-Qքn /%d,$ 1X;YLoދt׀F2uZ6*h(`dԖ'7#G8?R?b? })E[aBdAI@uMe?OPz fޓMguh#ׁ|(-&ޜbX8%n%f0 WK>!Ok)nw c9syqɼ'$W |rWȼ'e$goȽ|bW@ѼK7W!  )e9(xe}É!+Q 'V-|lo͚\xAf!мa_;f/H{t$CNQJqqO 0`7WV͟s'pxDǕEQyh>׾g|V+8ʅ";j7՚/i;a؟id)Yr%;PBFDܚU?:'p4O~/e'4|j],t0]ej> N<5m~)!15E7,Ea{' R2 K!&qF u M- p Y<} "ȀF LB6~[;ͽ (IԖ0NMフZtJ(cхhLm0QX/[#D+ hꃹ.&0K fbX;pQ'XGDRE#l"v {U\i IƄ~#eؚ6Pp28$i8*E;wmQ^}^" Cڼe f2^}(QQ+Y?K*= hwIEm3ͲTH `:,JprDԄFr`y$ϻfs:QɧIEHU'EqBcXlEJ^*<З,OO 5eFaR#ϸzq Q,nﰬ}ox?֣f(,U,[AkVCv3' (V V;n N2.?Ֆ=͢8E4W20WigNn]a@JcjM^*,rWa F|dXz~1QEJ:hYB.0ciO&IB'0XM?Vھʸ) }(WzKƞ;L= ~w,B~H9OBW38H&E lАL5} VPsR[b` E6 P {=QD n ^XimG 󬹨X WH1)C 8?ܔÑr;q\xH83yGę%I7_݊vEPu<",mm7ԇ)R4, B w@}AHUSLd8»\א&\iSbPԃ  ޸Vo  au4sxwQ7J44B.ӄGkYH|l732/14d}Û+ BD́")$8_N0I|}oU<ރzl7U:Mf=7UhTuۢy8 %IM4:Q |+eg,ZDp-MLсybn$.Ճsf~"76۪邡Vdre#;J#9'Dת,xZ#it;ZHq8Ǘ:ݷTi'@Ecf6`l[#Lx0qӵCnڜ,LU7ψKٶz.9un3vNbt~nմE qrLM}cY8Y0JCRĽ3EulPcFHe^xLܴm M@;C=-Ti)=](NcP]o ^&plm UvԖnʸ [:ܰ= ?]@O*3sjڲ!O7Es;쪨ӥ4ZI*]m$IiqVCkRsVIw=YOMc2mZ"v!0r|b&󬴦ju8 5.u[~Kl9ϳ\5W8 0gYnRҝ)hʉ8[S~#V-`V 8CؤJhaٰˆYtʕꇡމA0zUABDlJ{̲rjp=^)2ds:7̼-iU"ە2ej29:y#x ZR$[_Jy>W7hGc'k57o[Xd!4̆1\cq5Uh/DoIf"( \HWm0OfA9U+l˰D_ˏa>>kwUY#OW}~k avJ;1]&k3 |u xc͡ެ@G[[Dm~#npWԬEj +=4n()cZ\iT1A5+Ϛx*CSXA+Uq-*fd$^CfD衱 + ԁZDA.dZ2$c+/ڗ( (Qq-'v8|[fBQV58ƢIqtg\zG4JM8 L}ݖEJa{TY?Xz4;gyg' ,'q,j9?ʺؙ E.K%c[dq}C4K-j(?V+mHxe؀/qj t`ӃNMh?磠{;}eڽ&c?u 7vmu ch3%IOhLM_~"D9 w] WLz"VU'&xx U:ƳR2$2|;:&=R6Xp@e5-؇)= Zٔq >⠦2,u# F"$! C?v^>} UI>$da*-'q-2O` !CLu`/Wk| =c>?(g۴PmAaɻM Zc>c,_]gO'_b2믕kctޕc9av]? x4L4.ܷv./{g. TXYL%vWQ6TCrc)>\.OS-?bKCFWr AuQ2kl4Lq9ǟ&[ }rs@Hdk}mf/IR<ґoL!CwUI41?st5Bsa"ЗR;IYa9tڃ?~ᗖXqZ-o?Y^,wOf։ 3n|%6OXg*$"sw#ؾ^۪xA\C*Ta@D(د|d6*t&RЪ݌V@zIVBktDʛ>`m d)#g*C\ [:84lj.ތ` ݭe$S3}Re,3*49AؘP|`װ@ OA7Y\;łw01YJ3b_bp{EgfQD +u/Y`NʋjI@ccÈDz9|y1c].:HG  Ied_uZM8=FE¿ko7@ұ2+(>$9zw5#Gn58[S0|E,2lĨ.N?oFm3~^Mk=Q-jR JƧA6Z@?1RZՄwqb#6_ } V1;NPf@^}ڎ>q)V~Vy 8L-:t(')m]QJ>"tm؏| "sb#PVR 5*]nw=[-L!\BǗgG< h vYXsUyw3נH ^6@prӑ,ށZXHBѬ6䛺n&L7:XS.1$g^+KZ̔y_YeE,jUe1ތ#[s~,>~k Z8\пH*5Y'r"-`J< SMzLɶ"w&9SiR@j's0Ѭ)(HȰ%Ivd+:N@yAxܒw4~ t"9P pd[bmޗ3QlsGQjSJU9%vѷA7}CB1J/\A`$ނ>r#1_:aJp$AVmVۮ{E FJSM 'uM9,Iy ::m8lyE/;5C6]8aN&@]baql(X>+:-ʭq_&IMvY1G8*}l@K.1?eڍj)w O"+8*N 0V A6#e87-E6SuG-ɕXEܹ/Q GuG_=? [{vdSmd - {Yt"Ӧ(ANa yJҖNZBNgylCBgWXluy D*vV-gN~3{*v!߾8F?\t, /@dIQQ ΦNN ]Y?g%鏌GNjg JKpX' Ծ ^!*U: z â3 wKi{7 lxmV_LUYQ%ɩJGK=cu|2ߪE(Ľ{h, iPswgFЎ|7/:*k0>6^%ҩ{&WءV_rd3Ull%臏RYn-JHHᥓ=`NKõY bQbi(ydI Xr &Z}%yP+ɸP^/Hس)0/a`}IO]ρu sI\2-3:rq\A-ÐBq/yjp".eZvtA"=1CYM= ѐ W“T%fv/w} ݟyڒs} N !^i{MuX(!f? `@IhZv' -['O!z95lߪf.1Ul}gmx%G7 V߮H ~,Ms%'2(ڙheڒ|pcNs2!QQ_JkjE>do"|#! ԀopFn_,ytkYJ/k-3k)iur7bude(Z-ސױe(bƮ ~htk`>eh˧DQ'yWޘϱ'u< ` $|&0្Y=a]?&z!ؤ.8h$`~Oq33p#! S@)BᙱKNƤ|竓YC `g`>6V B@?vyc?BJ—CޫEMq+Tǁ7Lra_ q[T8]:S;4FE;ʆ?~B,D ;4)!1 @KIKZ/ އ VCS6x8 W=)@6pΊZƅrj'֯᧣| l .C?v3T%_7ϥ?}6F񯊈[ Oxe^-x!, $ck+[ۭsUUVQW7bLYzwFTH))ܫ½̏}˻ƛ)bU'@m0;:fUWKu^kRcUP7ToT"*X7ݗߕaK>~ڏT!;)z{Zu֨$:o”JuAi 3 4Bk/^] 8E IJ*_6atiQHXV=:s)[sU~?ʼn< *rDh+{Jcy|3_n-fv]sSm  ~G8kгmd/${}Ϲ.fy췅xo]f`}NdQN2C Gj;py)]xni DE>+J2 bphNfҲƘ'6]s {Fa| k̜d&w.)cgNE\ ulиLe: _|1 F]&wFSō?q\z &lQ*7oTC5'8ъ2~b~erUk6b|rgkҳ;ϐC1ab0ITܰ)]mD7Ycd!"icʉ| _䇀H:6q_if{|OQMƬry:|1Ap"m닭pVMw#rN}Ts' lte4UMl߶Dw!?k{:[ v󇓤@,誓FBPJ!Y)9D5ڍ**Ip my9`4|IpZ*n O (;G亽 ~2h䐨 Ta? l\G8Ǩt5rIjic j.Tp"0{B\2( /x~^/O Lyt= [Clj(ܱ.{g:`ha Cz+Ɵlkv2Zj{鹖{5"8D]tFn!5뙸`}1IK8ɍ.nLxe.H%{:U2 w?~Ϳ;7 ̙5Ϣ~Y{b:0ix!,*qf?)t_lvݲ#Dws4."6*mUJEb΄@#Τ/fpSA /`jSuj;Xv,ZG 6Н\2=%:O-$UۡEH]3>Ͳn[ RM$4gQ* "/ ~,^1r?~kYDyL+9whw=SĬeI%.#2J i:ar"E9S-Ь=OU2Bwp0E$߸/R&T[!T<r.bQe+/RFj8J1ّюwAݜe9_$@GLEiF2~^n*_'$]O&ͱH\I;-^ 'gExaH['􎁈 aʖG]+؇KѠ~>-g3!nK{F_d0o0- &b%zmّV,.`VꞐVl/0x=nyFκU/Φ^__q9G=xs7#Iu?Ea]L+hKp8WcM^:+5nz$vSҼed0\,>p%1f S;0z$a~uGW_IyƼ!ޣVE6H:da%tbYwYԈ9XSw'344@3`|gy=!d-+Fo0oz8c]W³Q67[/g0/ Ix^M<)7qiD6\Yҷ=sz(|{ŁpO"8`6]Zf&Ꞣ+`%J+?B莩*zXFqhY{ {ʪ6q3pkU(ao;QU\T֮gH={o|KgI|Gծߕfu]6ܛIyd!=a7+%oΝ߱o0uBs)pԆ%jQtt5}tBT駊sB[˻V`P42+!{#Di`0k/o :>GëGW:}331X,Q[Wa16gQ1b\)pD?l~"tczKQd&wZN:>0_ kY]J<2oh\_u VYʲx0^uNOxrn6bLK]_Z)=]=jB)oNR Y1ZABEaGzRh,`۴<@Lڕc@\ǎ*w.P!7`*GX ~FDivHK|~{[ւȧ_]x@MOq>2%^n[?e^yE'MCM;$[sYv!b}Pzxj~#/_Y /eIc>|:gAp`9-\<>XL蒺myet gdd:Dս MD҅@DvX+ջ&^+MN40'xcG,fNW6V{[,vf(!i?][,q PΑxx.vkE"1Q6aŘb~x[m8Ն.+۽mJB*n8q]B.bbUpݾ9Tڥo~N[~aJ"TShspE c?-2 A ̬CJu< /b#45 U a5&,FjR6 יlZض)i]XQKm1l36/lkddw(5G_)Ȃ*9t만7Ρ 5L`jT-s}4:^ԿldH*MŖb s&ƀ>;5Ğ0㥶Ƨ3kZ 10\z[4C+N6mg`XifMatkΚ5mF.Ͻ+"_ޜ} [D]|tEhźZi,JQOu!pH-vSr5*D[gb]_2vSpx50syyͲayᐰ 0(NbVGSڡa)݋ݮk,KxTxCT')(w~1J{igN,9H@ }zO |VTZv' U!HXNVD}VPAt@`"GO4OnKb (;ocL19ƧE2J膅m1܀pΪ'(AI2#آqY5y~ro<6DdD6u gYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 33f245ff04a4b617b9bd1dd502c6e158008d8861 37e048eca1afc2c069cebaffb562a02b039bb22c 39e24372458c0987f3d0bdbec288643d15fc5b61 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d728eda92c596448850baeaf541586ad0cbd7b32f f43caa9e5e417d16de9ac31da220529d0a28b7a7 c0de3a72380c3ab1b14c971396752f50c590bc0dcd60dc49c0b3cea91403b5d1310b553ccbd12be8