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 ^1 d\ ] HOL-Metis_Examples:threads=6elapsed=15.807cpu=66.528gc=7.756factor=4.217zXZִF! ٓ]ŗXiɟH)0%oxm5%'Y;<άB[:Fc%v' mOlD''--BRQ#7URhAtLxڋ00eG&XHh7 ^IP87\/ҶrV5Ш:Ί1NY4{旀`gF~@LER |O%.2QӲdr)u a?C{7Bcxyg$.;1(0}f+K[CMoCgM{OZ5hK;s/ۚFgI`ꮤ$|tW{)v80H?3jK0VSLY%>M|iab~9y-Nث8F! b'Hw}=$qڲ̞wZi-%ܒ;%PO.Z>aCj>3<$=Bzx} Æl1Y׸;AGw#M|K3g_,c+=^U@yC;aYS`ϼ4ImP(_<}EX6X9 -}m`X†p#1O/X3p{INWQ@p.k /M4gJmx/Mw(ix`@O>ᢓpP&Ð>*v)+<Ϲ次BԬH A3?]^STwekoqyBη](+X[eE'7P Prրs$Dmm ua&fPyibʌ̈\qcYͮ|>$cewy7yx^:TYˬи627ntt"\ߦ /o>]q, 0-.l _RQA(N-:O3qeHլx\/E$cT>i. Fh# M270}Lt҉ FU-YY㟻aioL]!ϱ2nTh[&=LTLnzi;*xB 1}ʤ]/V hH xN>cuoPP9 M:WbSW&80\<3UwF'ծ>,WH ?'(XAUs6E*qBw;$_1S$O+xr+IPmMCGp*b3 Ꙛk0\;fi)d:,j__= &bj+ W 9TQ Ml9@wB3OyMfD'$i8'8fc;.+/zLk1>iO²]bڄ'2 ;g])42[)27GRǖ6*@Yxn{iG݄RbkV6X0qgN-1',Ws-*1e2-J+ k̑GLJL37Vn!=J.Uo |+6ݿ6lR9޵g?)sq*'Z]״6ƻe[] mfuVD+sfRLeo]b] pB\#N"VRIl`U?boU3l'fϺ+Vs[DR%941_n#Xg.IVM-ǩ󓌸 d 95ӂ2[B9*D=ߪQ%')H4&^K¼v<..ȭGЂpoI!b٣4Ȣ>%(:b8ETR"W1%~jxh=9xCokձXٔ!FXÑr:!7O g,'4kDr ފ<)^"=s_%2WW69fY ؝#*3YwWco:J"r%5).eO{|p/^E*SZ= enVsRH|6nZB),ؗ\ΨYX76S%$bԇKW)jO.KcbV6\lH7NizqP~:G~~n@w3DKC֬Tbg ދ-7X!sHR!>v z@GwQO8Ĵ޲/iԔ $FA;H1ʁy +›LDjA3nJ$I5D/Ddzc ?L'mO(lF@݂4PNÂ֤vЁ="_GR.G"jyA]1H*csL!fvqDzoA RtXti7nL$K?ƫIڜ B Of&zthqoR6[KVfff fc"h\TF8?4Yѓ X2]{pi<Q-Il!u^6Л9_f|QapM(cqn`<-FcRDl7~$CaH)yLN*tuPEGΡiK jcGd`0T[giAIĂ8ۙmno54dXo 7A8abZڲ^9|sF{u+ K9NB 37gfYܰ*lŬ !/+䙁+e}n]?w]YrT߷i8= &V3Jl4w,fq4Ś*۹gnDqc}ф /40{xD}Sac 荾rg)ы՛^`J̛!ЪgueÇZV6?g%&Z=vbfB&.:QQtͻ*7788) v5vъ&t[[o ?b Cб!QJ|Q8hm4Y*僿n:r~-}ʹP:1-o s,Ow3l7jǬ8^3\7Ї(+C\lץ38RA17@<ɦ ľt2HaջZBG+jUa3۵b,]-q VOw]-_^c\Κ P*/w\4n#x{L/;:>b+'Wp6F,9ut{! "| +ax+'w)o/A&.`ҙџ@988mb%ɣS#qg(]9'Nǁ*ﯖtYFC2rX(<8{GSvhMr#/>[E 8oHoXiߚW 'D-Y?D2˦5"IYĮ.de;wѐգQL>1ŧN4s$Fa`Zg=C)tM+ ;\Su%΅y#p_ ,a F`r[3iQ2f,ښ&BmdMm . /{nx2,T L;:es8B l}Z-]$[Q(οgWWʸصOZXFCWk?+ "NjWtD@Ѝ]9]lcRd2n`BŤN ;Ghy.- gef`5o^KK/gQ 46dO (eR9]Wwr$Ab,%'NtnNjgaW4BtD6eej\'#ĩܡS]!&JzI.rtf$ ]#݂{l.l2h&V?Gz;p›QRJ2L;ZK)ؠY' C 1|73&svyX >y᫨\! erI8pP7XI_Б1,^Bĩם9ECAł;Ld]1\ex,>*Hm9A aQDFEcm&)tues/fd 6AY/ oRtv24&,b* Xb 5$֗q$C40B|V]`&"Cc辯R\mx͎/a1~AH+L!qղn~Q;.m 45jTV%^Q(@< jӲ[-172)2)<.Ϛ]5%#CS02^ 8q/Ugy>.&#^Eb]1V. ,,O˱*O7}\*0XY>B[{N4I0'^E,]PEѳ,y(yx]w̨ %`{*OXM˯2i 8b 9 ⸊\ҝ5jϮМEX'Ϡ/?V862Pۃaaq?"ZҋyiU)zb բrB>vn ~r؂M{>i^(sjk1d7 |,D-htm5L7jsL=PpܗMNt3l@,#N~uEA]y9?x ΢KY28н$f Ǎ e}G ;r8qꚠVp &',zʴd(dfgd7}[[&FJ|#N%advYk浥Ɇei+{*6;ɃjQbK H!h};B@Apۼi6i;2UK$#X/ϱ,L\!s-1Kt'+TֿI$Q%˦ xAz(ܟ'LMI#1Wepgw6Cs禯p?:P0 Zu!K+ eW*PN_>M`pcĐ 6i(0S(*ڋRC$pA 9oN"V"xA Gn{.$#d#c,Ό!K/Xu$آY<U~P>: tE}-ox|^?EoMؒKAB>5\^a()VcP:*o.sj#HOg:r_Dq/v$_ rn%fSood,IUW.)V`cBgVH!,}B! P70M!tWײ'?*_zZKGAk!oٳA; &pB{"R7~סQ RoxE0BB5?x~(⼲a( bFY Ѯf3:Xe됊a+>b`Y0C(`4 tplUoΦA1qs-N\H4C8jݖ LCJ?&ϝH@QfdpT2.lLb2^?#􍯯HѥtA!?X]ȟT0y .Q([>Is s'9mxr8u׽ZVIXX#NJCMhU Vvb,Tf?~"OGiHFS|ma|9)Nv`Fa C NaLJ*F tmE-Mntu<&ublӘldh)h_u6ٵD`w1"Ă8~rQeb*H{VZv(3_OxO0H~1&yf ,|tJ򖽻P*?4(_83S(ʖ SY-@5K,GEԕ.AcLǀеaxU]R8YsX_gJpKKy6Ŷqtjn={*< r%Rf(mylovo-' ?`S_${4iN_oNlOgA^Y0p*{k8UfbgrHyweZb!P_jvfF&KMdU,B@{F+'0E荢Sw%S ka?Zx{QP趑(Ik+H_lĜ aNaւߺqkG0Hؖƈ_Hf#%f㩽[yc|1貕+Xa`*a4$kȑ:vߝ)Rr-&`vƍtxEBFKCtT lNpR(qNdbxb$(;\ӫ夁ڄ:ܽ$RUF.UؾUfVi-sW/7 'nǁ_{}MK u w.2A'-yƟ4 ž:ߤkN;hk@|cW;C8=N7֋8#0z$qDyQ | HȥpsТBY Q8<܈,$'f?B8޹P@D˙1eV;vdM5<K9RXNOPʙhLcm&[,7v9@2<$8Ry!q5@d7FbGjZ=QGV E1oDqA fl)iO sVƙ'|xbY7 (~l*B?,"WCd8гޒoJ'7`z%lY•R(5?$BR ?f ՚K^d?ZP/r%d?c#X֌H}]qNCHq.sz^2idd:gf<OMd]5)4W{֬ g(I [)LA1N^,F>& ^AIrW0.PLD<>n`݊ C#祠o.ݿ*%c)>FVWؤWX-$cŋT`̠7iR !l1pr狢9?l-_:)gF",(4 /̃mQg= w&դM +uWXBjM$`ތ_\eL0mE/ FC23qkN-|sޙ\FNt 멽^Aq&ͣ6H(, GB{I2дBb%AoH>"*ȥU=(is~*Ur[GL.Das9P t\0³e|M"L3FxyBG-u|fC{mf~Ȼj=Q.R/pyW'kWE Tm'PZh+ڢ?+X nt2/\vumfhEC~@^J~$6[w+gvm%K10zN,0Gܷ bHhOtUen2Rky*%u;0W(*~H? f&S$tgs DxLyFIk/ӿHv=C1tܓUSZ~+Ŵd֘x%Zvy[y}~QoiX*&/+vKip˭/ Wׯ7ª7 r̄nѭ1"1]|LT7DOi6 tEuW$CC@:dLL$$Q Hq>S{MEdڝuC^a;]:Os fްCg}88=:byTEZK#?Y{9 Sq4 iBwzH7t5 (PޚZXߴ܆JYRSEO X$m@s5ma[ <GĨ^ :eAve4zxgzq_RLʼn-c)Sx2fqA9`^Fn⚵˨CBtvXm)ϲkfFχ3 +Ll4C!d>!*‚ dvIkz̈cgTr7v_ߘuA^I cW^9GT 3աxga(ieyn5Yj֙ߛPBxIyiJ?cŒ&"u&YT`}/ Rqͦ2MZ/HqFZ]^*-Rl.SDK& ?@ +ChĮ}ƈDfp,o:P? ~F|g&z%q"j Z:4S . ?{_%p?AG )-RO.z4عOkɜ'UBCM6C+J ~+29-%:X/W@7ar|-lk%Q)v3 .w)fEUxcWfYY>eWf8º]Af'DAh`>X \ѳ̍>,Q,+;87V1qf0>f&H;<dzJ$VϚWRQdp76Z"\%<ӣnYJ<ƹggqu5~}UlиMlo%?/>D2>xΰg`l֕Wt1&a2]W?y#Y-"iEx֎n -Ez=rWw7:q \H2VdDc|ҭ@4騼HTL1FZcオeqGT{Ŵ1m" h\ASzF8Un9O}8t-oYNS,oMyJު쩼 :zҼ=;0aM# UC~F`yFAr%1mBJحݮo/M\d[bTb0^7X-mYmJ64d(Ha+bI*hQKf}iH&k4|T/j7encuw4Mt̂s\ 0wW~*|A!$+bQuWۼj֯dh@whVܺ]}Xt=O%( 71Oupi&n*SbĘI0X9{;n.+Əl R"5[x Vob+&gkh0\UP(A~EY߆ ^ykJĪ8 G-wߙu}UcQFKAٗ' p+mf9bæ|Ҫ49oPWtAof Szա;҂9׍H?6vzؒ|AeGjeQqFoR| 5cFT 21_}<Ptܚ7PxzEju^?*Wo2*PSgߨp@ԿxeZqCm7ע-&wܷvNzzf}XWEb*D0glN;(luz'GvNT%nS1QD)lɪb/.9Mduˇ<q3z7%GUlZ?P$KZe,zς2C2@$q T|\\b=U5.:)YnK| d)aXfPR!Tz N "gQτwb)JH7)~[oIk 쁑`_zXuJoX+jJ%wPcf%#S ,ft9+8 !j-v$$aJH;Z_~ <D`Մ?/f('V w&I3l?y{/ WD ^1&4&j(> kӻ#1tEJ7 7!5e{-_|wcjE`;gkQW Ǧ)zbc'|H%~`dpe2ꢚ;#Cs6sq;f[6 R*\n|degdaоȕA+NA^C׼@Pbz*c)(Tw-#|oʇ"}׭ғ / b.lI55IrtRȜ*^(Pj~nһK" { sk$\&kn:(d/ 5'9)6VE.5ڬկi1fSCw9T)}!tt#=VA_:Ӱ<qcr']/ju. yģЀ`^xگZDHȹm3,k 5JA"KVRE#1PeABH{T0sОaдs#m5 \LmG<<2E(CQD*3^;|$dZ 9T*J,0FL,6 47 ח#F{scRk#$<9Ϋ`i^5T4x%F)D16N bVyint{^GUO`™ 홎nr^1oɯxuN}iFW$ n0S$Z$4/9Eq8&Ly7 }Ek[< e~n:+i/F'7chT$RqRE?d;)ߟ7Av3VJ=1wo+F4lP' q0a(}|J[tNk]lVo|dT{1jY0ѦJÑFo+9)K:8HN<*ܵ@:)ѲҖ͌׊>Q.43h05 1^DX^bF.# E#)tY.*מ`{|8W KJLW,Ymb\l˩Tƅ\8%OhLZ 4^رVOI'= AMة ɋϲwL,]02gRa/1pX>I;hI?;.B@G C}uIʼnѢQ^U7 Q$=3$ l9s{xO2 .]p1Wr3Uv@]+.yt@ %^䔩k䖾Yх+qP@U1K'+^(Ȕ Lks ‹;/D#~|ƖPٿ7|A.3Qqв5#^a?PZ!j,EAz?n#8$٤ `x"&U'Dy0*ӖS|U]Gaq ?9x6_Zݎ[b|9^ [wMT?5PLx:ۓMG:;]-_0Ҩ ;%iiQ5 볊|Wzq}>BmPx)h ^^A%y>EB&r18m0EBL3L%6Bv-_M@M^eNXqAŠ:mV/uN')?+MP/X:dyx]!wNgHYɜ>(|@*>׊DzqIZ̿?zGKk(bF3Ex o[loBm5h+)yEr-gw"Ӊt/z}YO QMD%i`B 51{>&W0ړr4a*lDn!Ɉ.%){׊B"]01J޻ռ6}EL_ݙĚ3k3Xq}t;3(C88|PDMKj]ks#睪rz~xhߙ{|56!8_m G}bMY<^ Y{1Pa/R1da0FNt)ǵYZo^QX+D纝TŽg@\Cy<ElJn CF G"7TAa}QBv=wB%{/?w?)/s:댟%[݌C1XFu@jJho0ShtW[EII?7vىp92Wh}3(IAi,!&u쁳Sjn3җG/!Domtnꌠn()L^DzٲKh]#C0 '{ ȗ @v1^7$R(b„l ׯGߔʝ mSJPr%dadrm "D%Ƨ|Ͱoq˓5!2dF);XER͕.%MLV,/QP+cA)*}`ҝ襤(^ 992]GKy+ly.i J `"@B& ,^u^A ] @fx `z*.V3 4D5RuwtuƤ0ݥ!Tuh=(a2ֵqZX-J!CSolq)y46RǀfSHSb˘; F7ZsyF6ȫ^>-Pȥn~bz3+}biW0mЗ\'IaN@]qX V Q??Sv'МMO% wrX ~ ג4,WT<[ K J8-x.1dIc1BrNB3n9P@^A'fwFBCļk|TcSWo{(_ϋzLӣl[[ߢ֭Ev@ 1v{w9ŘD` <4"}-R,HI;#q ިI-7t7f^P_[ݰ7h!n8Sa…1Nj O ~-z**PAlG `8D]n79d8MjM¥OoXaoUJu LmI|Ԣ1vY桥J/2.j|h}y p=[Zo& 0-&ĄN#3?G^ș!;y-3*Y-GOf6TJ~/͙cvДn&żxOgJ"Mo`T?ArF~OIjrӏ(Xon~pį\EglŲy[kz_=Վ>~cOM,Y^nrmY:{#n [zcAfwW%|vrˉwdV]YEg#7ز){8]NQ3*{a2Bܦ%D*s AZ)J 8LX^>PC렻顣)ET9h0jBT@/j \CCh,Ee.|POuH¢pJ` :k55azS`v8!q; Qku"iqބ!}&İȑ3!a' L <#<)P k y9B$)]qn":q{r̞ rO6Je6;/9OPaO"-ؾ>j⽌9k-ScE.}.?u\ٜ"ulǂ_VTb2:_igw lj ][ 6* ̙Gu=; cЭ+NF;Ce/?&8C3Fr{Oz;ҷ:F$ aWlA< ,N3a^+TUm4>gm>ΓKﰨ'=[ c=I-s.*Av?$UoiӏFR}uPk3R;,HVȘ{LZs>z 64RgMPL?c&SsP3L~\aGZhv{EIJBnܞc,@!FH哤"Y;l Xha\5m bYYum`: id'Tk0-^FoFl qԃ6rF'%z2&!/#Z0"cN 8_Z]pxX  X_B+d{6Zd΅\oGE.J9N c(*N9t;5&bH:8Nb1:2=r^olC@hJ0R.OL"?z|#6cq.Aϳ\V*RGa_DJ..y7+ 6SPL Up3gXds|JHЄiH}ǁn^ل ~p39xHe38si#Χ#ުbRtS+z)8BQ*84 \U41($0h*T {$hS.'P ܌Bz.jl$w 5=u[$~w/BEew{r JOצpҐ R:R)@{4m, .52PZѫw2vPB:N>6Dp-IS H|)߆?f'iXEiԙVxza27->8x͢D[4 Qjpb)ŘFIG\5];]RYE^6nhLY;ը$NϋmCM"$¤0 YuDkJ+9Se^ t\ ݡpjT[0{_.{?lUGP1ergYIt;?Qq7e9Gaz~l鶆|E-s hXH4}+`<0M|qGw](j KgJrDko^Ao}$ }x}m-WV2H[7Y WܩM)qjY:kݔډKַ̜OI12Z!b7+ozmhH{ j愲FC@USqn`eƶ 7S"Ibt-; gV hj.J_' S냺3FlR[c0-Ε9c1G9_.P_WH1b`R4R9=HcU'8@h"΄lR+ՌfGxztufw7۪Gɖ۞iA}BU[~gl0F_wo*++H=ݴTWl?v,N2~S%)EBmnn\?-٢’9"(N*>Ξ7)ƭB9͗G\7L',wC V0>j:.?4K _ēڦDj.}?K*h:LH9 +e7\|H؂ p-^!Ec?VlHa+g^٨NPdMSM9WZxHpbT&5TUou!z8*y+k KΡ-Ӈ*$:xh/3hUҦ@CFTK6sATy1$Lz=\uuXp"9|Es Mqlύ{_#4KbNWܙ3",~7Km]F /L [& 4=ESUFV(/De^ݧDв\ gJZ/d)"+~65ouRdQ^H"M?VՌЁz{|YBr1ԃ/ĕP qBbLHU ;T.:C_8QD7 =bPw 5=;-n=>1 ngD). Ԃ~г|8aJBI|@cm(Y y7VKx⊝cV"٬^e7@ӂdIyeFl@fd戂b!Rb+pqFiftUY64?!=(gQehj3Q&z?[l&͒sn͐T_IOtE^% W X_ϝ$pRfI *14Jj|1>S9lh~K)>8k Ք|i= d4ßzפϔ6FۍY]MdkA9@[dMH0@䍷szz|ܖ 1$qO@W*uQ\CK Z>}Od x~9s.Xg,y emk |+@RNp >{JEb1p tΛFg:.Ȯ-&k$/L]jR{A-sj)uu ,6vG8?FlYj=B=b"-aI LO%p3AP-NYng .ya#MC:CL5Ϭ[ͧV'vm+;{bnf\Ec'.{( Ζ)8yT`o\ yu)lS1X*Omx ´oi9n{V6.J|Yi?zܮfDIHׇ!I+x"vX:DSi'd!p5>6# &^a+_k~G-Oj(Jp!j%ē0}%ի > xkEN0$J2?._N(%KqK빵ڿ=#{&`!ls"5ƿ(Ŧ͠\frRFJ_*4/S^{R NY~V<PݐcI iG0؛, kD'~bSiecEIe.vrV@hMg "نޙ$86&<" QNhR#FGR8RݜI^3p#zr ngEkj)1gE/O:ZϽd2;+aM׸yIǜua6>?kmz`Εgacz TvC !5&]I|@ 65ˡ1ٕi[ Fr~zE02xvq^T&$soGA-(1FhDW?t sei4xTkv/:KG"4@j1ڂv v;^Jo~}9T$Lm[ڬ]Yxk-]@{`w:i,EĨ FB$n'vj!E%El|Qeer{'_p4Zmc Rsf.D |⍸Kv6,; jT4r?]R,lN>]E%X4;XD7ƕv)J\pAGNX`a)FD8=AnTy$Rww7հO'kCDY%S @MO2}:(Ft[ȍ^e^`?FK{[r#Fظ[8mY!7>xX)-J &\Ly ͬpTI4`vnx`\񃸌o7PՇHj٘x[ş39pnv c14 zJZ <tFL4xgǡѡ`ȏ;$y5@ Kg4|86MӕBz<'ǾiB>cBvcn] ?X&g)Sf%-, #rp/o<׹g- =nCYpMKF T4z}2@p^#2Yƅqxf<ܐJ("܎`3㝙?x4?)5}4EH`$CEYKi9i |e(~Hz17Z> Qf{ؕ1"Wv,69rٕw qe /)џO deskK'IF<^TAzvϹ㛩MmJ7(IJ@TD^;ƿ<ԳpsUv4>!ٱdx #Dl:jE)Z)5=ܯnh;}C4e/iAr~wIo>4gwlHFTϯꆯ~lTᏳnqh4,X:\FSZ+(zR6R{T@2tmn.i0I1Yv;Ha@(+; K U]!UiUfDv SObLl0dLQ]y]rd8Ţ- ?r ѭ"k>U>k/]7&PQRX@7LSڸGu> SBtTb) vkDYwA&\i+Df&,5Sߣ݋]gYZ7zXZִF! ,]ŗXiɟ1$Cܨ }X 6P]!ẞ \QMϊ`lS69T98hFܘ[q܅0r*`<,R2d^X.9 gh @ •nen;NX3՝I JswPGpW=&#Z+ 7ЎϛZ7+N=B$O6bnNg04[oЦB[|bȸLl\}w1?%HkR NhKX[ D)~^TY5igYZ7zXZִF! T]ŗXi%L!u[zKC!< guFn3zk@DVaT`b\Z5g(ؿٞX0> $4 )Y>Hp- RrMOX 0GM+ZKw)|)YK :IVaQ= /ė-PeVzbAvj}ɠ ?PAN1C]B/iVP(NएUh0& ju?M!mgB ͞f030ea 0HՀߠ> U!), 154wI F1I% 0b1WBKZ${VQ[hsblyQ@' 渃7Sʌ?HCQ$-F;]]VD7*ī]&Ш#Z;3np9J;۪Uڢ[[Fg“#+َЋVpBiGqu4SoxW:⇫gR=LYȂ!K R(*YXG WA)} {iEhTϺl~v&xhҰqNS."{|:#gN ׉gx˩<@zK@+o;͆c !Ye7jd˗JꔮmȗM.6Eʵ;7NV΀UL78%#b8Ӎl }&#(eCzY-HLzzݸ&``":M?@GG {(צ4Dk,&/x1!4tn{K)%qMJcnS@yVD跅{N >uh d32DuYh 4GD2 w$ Eu=4 @yL-!Əs d V=#^{>?GViѦTSlIUx{tz^^'V%\/0N B'xl p>}Yx&$`g6ՐCƃ-o;,f9'1j%/2 #tu I_$JcqzΖ^F\/$D#tT-;|#cں^(WD۳|Ac@qs4NBGW܅j=w8ۚzFο0Y~<qo#lWƻѿ o]/T#V3s޿ Btg2>D(Ie?3}I.:O %4()J1 .2 7vrPe֏A [yk>4U(lDxj( ~OHA حƎ{XBv{C FUC<~ZfjQ#䀃w%`(ÙED.W#٬G, 5ȵ{P;B`"pN+ J䣟.d%bqR/sMzӡiQVh)T&*#/f$v48nD$PtUd8D&WJh8mע|'12DaUhX~ȱgYZ27b3fb847df02ed84d40726ff40a4c222aea1ad20ca5864f4aca6546754eb1e7da0e2085c3f4c937 a0786084c37e397f68aa183c1faa4d9f91f1d814 d9613220b821884d990390ab1cfb537ea1558912