SQLite format 3@  . BBh77otableisabelle_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 O5lT ]S HOL-Nominal-Examples:threads=6elapsed=270.206cpu=1150.364gc=136.324factor=4.267zXZִF! "p]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hG N?Hׅ+xX}&,י1SUa4ΑLg6[YQz'hZݯ| jSy*ךUytL!B\@lĂu]Ly&fUm(_-W˭/' ƞFqv]Ed-ÉH$N5XZ]q.E.) 7Y7.[1n2!INB+O֖5g\ 5A]մD^QlV<2XHT*ߘ%fMsf8%iG{Xb 6eϗF%(d%N[}'m>x{j:K;s-"Y/߳cB$hy |RE_Go*8w+`%BCG1' KEiͶt.,]xC^2X56ܓ=kPZ5LL 7F:*xh/ 9$mpS#Վ2iK!Fʷ|{:z@'2&j]!yќz<47OxP564Qmѩ kv3CZU=n}]c/DlZ͇QxM?=/lO0|+~^60DvKnh8JIzpF=B xBm_nA֊ @.b{kХ4sJP4 ߇ Vw[J8o=`naWF nYɇ29[8v?>P.f-x@DQ 2M[oX)``Fz.оor,o~`Yk4L$8Y'V6-cvXn܃jQpxjDԤ-}Պ8<$]fCz֧,fJsSlV8WA R6A:Bt[Qr]c*\ef6y C-;쬓\LWP ͹-q={ػоVJ¨.zZsb(Uӭ&:EdBk9V% Wx-0`GK,䘅qX~}[C/_ Gx?ZiO4M_g|V?F|46U|gDo/M)QԻ'}1"fyP*b CiW7EZH.ZGK2&RLȅŒ:S)uM!n JsTR=۪WCSY\>R3h=1j aOp;9HH$uYb>VUJtb1މ¥J*BkC>*#aopzRD2=(jה$}]j؍pygK K]A}aJDk"̀Xa xT|mM+#u&4w {4Yz`3$;FB8!A>ĕV$RmO!u#)vAb`Oj k;IR8 xxҝN_Ko\mF"]À)8j¸hI^f0j]ђ0uuR|\KIZ r rT}v~ҡ S}&8s+FTZKB!'}rG4_\23)3sY/ΧvX_3`*e码LSS-oq\;uL^61dUG*IC@)A A .KB$J [ < $6ʯ"rU,7xa}nN=\4V>>^݇ >ojcBf0/GXSm #S0&ݼ!݌f-DWbx73wuD-'kLPXqf\3;b]c<qWe^:V/8:*I OnZ[e#֠mw7n[?r_QMاIEdGESJx?ZnYfWPC4~}I3ŌQ ؕ %$Lѹ {dRFT'h1U:5IP+s*ԃ ~evezct?V!oJP éú8:q!%ako aˡ>W2o@JV5 &Ǧ/kĽ/Dye3_J<, LxMէa!j' c>ز&$6\2]Ki2%o$ 5 HOL-Nominal-ExamplesfJfv"WO:+f}c/=Uc;rpҠ=$3;#R=#K .{xj<Y3DЙ0szWI!{: sާ?suhJaiw6z* Ծz-CYA/n??^SzH|.`?Ig) x]7r3N{@9sTtSi,9}z iBnw_ոpn(TA ye(X.lw&$,؏sz`Ԯp2zs^ӔeAlah|`MU<; kՐltb5J7d.[=JQ{ 087IhsDɣXW|qCb`| fhaU#X(H15MV3'ufte X嚢oEBnݹJvg Rc&c)>gcTudd8MKiuH!QϨ΄}"1ii 0 +oboA,jnG!$mQx-Y8S`MzYPkʃ-l${K?.%3x~7|ǃ  p/䘢eZFP Ujc|_uG-]^/D.!َEXʏT=ef;hN GI yczXq'}Zz]| 2V!a0} ~QbhY^iiujy 7ud RֆW)_-4t! )Lݛ7ƪ-$_wsgOWfySKAk`muA9ؤMSAp+u!u9EEc[@n\ޢUkZ Qkͳr4+yG~ ݖ-/#%Pɔ<; P@zqM7'4Q9 Eau]nXAʸ3mE ԂXX5`1ٟ9y>Z"L9z1Bc7S3$4[m_MQd!*h玓Є P+x*9&z>;3/x97z簵(|nbn͌T=6Z8ܲ fp*o8"w(p>5CMYz:,[X8z}j{20XGɁ-a2ΉΐZ;bgz(:-hQKh}-_HB2bk$%R=(!i 7>q򭃑h/2m"cw6Q_ȸ͌c"7IC Ux t_t'h-b6)cߩ-_DtH3(G*i_Aؒ8/DY(˒.besV{Yr[+V =z4fc'$Ow]k/aѕ^5(8u9Dsqo):hԴeF{\]?Bg (][ BH&M1*a&ֹt{G?؋ŎN\>szeS 2>ʕO[SFDi+nKCb9~5/lgs'w])#eSmÝ &dr(Hab/}9øQ~fBUI' %TȦQ 7|㵃@߭IM:#Ѱ+Ys x,`8yfL_wQS. N8D Nk%l}16+g}MxQri%$n5{T,W_d-DC{$XMCӃH*(8΄r|N!} >1I立T„L2,*1"h!^Xc;|O60K&J4zm}v[# J A!G|bq]i?[~i i+տhG&}eө/Z <Q V/n .r.1'Qt6rF7bYӍg7v)A^ienٹp0Ϡ+9T^j2bkHa2s|ۃF:h}k:[")]m aQE lGZLg`O5+1Y)仂tnػdCF9+R+A ~,i:J^ 6A0(QD5w}(d" *U]lW8JK#6D$d!eru $P~aȨ!,f؛7,8K-lSJLC&|LZ9d.r nh,ԁ mĺ**/PQcv4!!ǔy M-zE??cG`&!*s[91C cu3 ]4k%.<2 yUˊZN{#J9z68(2ט.IeZs CU}a#4%s窵0CL%wue'";kҌlRȇrA/bKs#/ Zq dW 8ꭧ@G HrVꂗ +tWJ$KAB)պ" Dy{L '߰Ⱦu%NT7$9Ũt{"ܡ48r9],iuF3yzijQ|?ڕ2H{0NdJ)v3݊Q=J L}Ijρy ۳nńޒ '9'%\q9[mC\s R]ȗm٣FMwĚvF,x'(uiD,m%[83+˜9ozr=!7|#ϕhr~~U!uV^;#~YsaG'f>kT@EE ֕.*.(򰚸> V ʽӢZg3 C㑻דkV핽jGaE+"?@=Ibpo7x3JɆ PpzE,*,4ve1b&2O z;Ļ ч$'M"HF(o[؃$e5P-&gpw/ILq_Cj:-fZ՜)־(eBgM=RC)9zhQ!9ѼP}Y%1_{zv[DT h_ؤܨྵ j'6|Y15$"uWx\P/d! דM=EvʇJnδ{fڗ8p/0^1F|'|]qzA `h$$!"ӀDDW%+avsBk͒cv6n&3>L`5Z*SqHKx+O#*0NX*IN9i.q+ ^t/ 愦t D͢tLCq uZG=nHU~e2BdO+KWJx@-r#p-ac SQkR29 9n X4WgVd@ ě}H\CThQem"-CS_*qa"b(O[ H #!RDN N8w6j[5SxLjN牊*˲d8ca̓)CTc[I =t GgwF8@Ǽ'Ivǜ;E&xPO>R҇w_?6 gEZdroXf{9vRE?H<^ji8KXt$2 KOɊ_H O+c *e=ܝwɡ5]/֪4jy?j8^߽QV]6vQ/Tbbo:2εW,!459tyubz5[8\|rZ0c!X xk]Ѳ@['ȞL)GSX,wƀQ7U3w$Uur(SCZт 7MO2/U5?+ܼ EϭqgYZ7zXZִF! q$]ŗXiɟ1ʹ l93攀Lx3 aԁpJv)vgs.)zr8?M4NJz*Sꎀ F)BPBއgz5#8,f\7`h'S>[[oy(|ug>~BU(~|M &%6ؐvLD*Ki1_k+ IgEY4|fkkyN @[.Y񦨲cOsnٮMkkbȣv[l֠Q3* _u!σ!+XڌW:c)epæ/_nGf_Q+MOY?GHm"\2꛼Hͳ6 ^~|l6B!HT?/Os1"R}| NUP;>U G "0F^XAjM? s&<xFV>MÕD܊_Oo%(s8iHd9EvI zIߙ+"<b@ZWfܦ+g=ճV#7PAUj7r5F1uGmKf5 (>/~va 5քP? C,$F)}N 3ǠEOVPb]F/v^11\Z"y`di&(VREu<:BWQSP<`XEzAVO~P.frWцO_ݭ-Kh_ DZd<8{=Zni&j0H(w-b,q86cȚ*,}!}q;qvIN%e;a*k/:K7FyHPzM~쳁 $`!։VR$}v(.)ĩj=+PdhTVK1u|f:U$`!V񎽻; u/ _-PRU%NCLޜe+wܓ~ՂS08#h|O3Տ2|;2#2޸AǿiAGv"y1PꦧiMiOY.e[>οۃRGy]Mbhw5:O棄׽[ 5|&TV~DCަZDRR!$S3{zSB$>N#:фP[6ڱ5NU]ԊM /H>'lu)o٭䒶HQ97/r^lWS}1ܕ$]S=85,7))k LLø/Buxo+҆^ ˞)lF_YLG~mt] /3L5z&Î6U\)2b6 πZ6P x!g̦'TA 5`Np I*Y.Y=U^$D,n`X@$$~rO ?KU ~`Bc|W+逄`)'Cvȱa 'lyU`͙+xE=&'0 Au1(?6V)oo'۵! EڝطCxlZuJs4cUэ%Ru %߾4[pFvc,њNۣʮ›ϥ+FW'4Saq^>r(/WT*H2-MٛaNw۪EUDJ,ZcQ8߲~ۇ꟞y(1< ۪嫵p{7*R%OO#Cq^v*_BK{LFMkC|}Kt#AmMb̧`0&l~{t+J7DɚTL>kײ )yszc`~ap5 <4H($XRQQPƨQ8]uHadkħc28ӯ+sQ~fH(ȿK;jxޱ ғSZSx{jZKVG7+.[Ƅy]CaSkVKy'|~ ^2ZZ&mUmw%%M# &L{+eWm R*{g?ҿ^ٞg() Jtu}\9˺j_~!YHZ-ᓱfB̔nQ.qaMm@ʱ ldsuv9,k ^>u**=꼚}apŨ_Vf(m\"]{ր51?2?ȈA :ݫ6=GTk VĦX:Fktϊ^U@45H.Ί9Evs?g%yf}T%{E,=F3/!r,$9e.MʔoD|17|falwTTH*I#\Ցb} ˛hF/Xfq"e9kVyU{Y'hŷy#%,O(u;bkX] -ݸ(%)}μD@xe%,^q9멵b?[O{L@U\.R AKW#c~f(;]CtuАfG>CKuE[5$a+"z gY܏gHC?6Ubd~%fH"׌[l1'/@މgN)~.x$.3_/!Oր];ꭎ}yRh#_{lQcOE4`X881&;(*v(I hu{GdK,(:  9X(BsY>5HOÇQhۙ"otI7aKCOͺV2Dه_E<$h46oQhvӰyP,gҬHU\dB>MKw&+/)q3lh%Ww/]O0~;aIoӖ#Ev=82-MWF>pKOn5vƠTq'9jXxQz޿kWAN(Ulwgl!"i13{D3R)m ˌz$j#]0grLm@.)HspBd.řĪ[&x8JU.ɄKu!Q j2O,\׫v͙T IIg[7XMx"\" '-x>r$RHIPWJ3ݎjm y4¼Y;H^8 MUUyyc+×vrPէVo{&E)Gv|no!3bQ|k v8K!훴$L~e⹿TFW%\mQ"+_PL3yDIQ!V(h( \Zj b"ńcvD_+ڕ6'w=65,@Um$b#I$O,AϓH~t<;PX^F)UGK'Tjܠۉ"gh{${+Q}5yRYv@yi+'NJGqn%˘PsB'nYMȑ?y0:L)5PR* 1DVVasDUW)BJ&u ~A|Pv`_(Đ׬|gVBOT刽ΈV+f!JPJš0ajF#e( H<><#}?t@dˊ!jbbaz2!Yo_јpҿ 8.ÿDuN|I 3)[m[[h4 e12O^RGYE5m!fb9m+wv{=:rA $$mjj6Y  Oġ~7'yTq*Ty),h*N:7J>̎nK00Gk=_ ?Oa/͟@x,Q-k)'߯t桹rMT|y8Mz^&!u@`?.2dMԥ1_X[-lU֔ӧ`Bh$͎-\{M knvGɟ2vA:eJ+9ԧcr5ǁMa -_AA%C@x :Vھ:rV*I:UNk)@]nV3 Ne95M̶WK^줗`mLy& =YAh.v9K\-$_=PO 2FY(cّ^?,iK3lj۳\;5:·(}aBN 5tr1P;}2d3&<8C8i~G׺ćo#8/_Tr7=^X@?b;3z>ye$w&A@Wͬ?eɢ9.kq:g |L%3l΂O]uI~<8GEиKAa,bMi4kX߳UV!Da]5$T̯"D8QKpV|fgt54lТ4i"Yo4j2;WdWp(Q- UI'ΗGa@f4Zh;(^7(%&Od3 <zT c^߶ܯH1\Q^l?bO~슙($zpwH;.عp6^>ֆt[ T):XrS4[k N`+=sFr~U!NMңLQÚTT;sOci u3om7~T *&9r]unGoV0ҕVT'lЮ(/σO%;[ PQt[wh>vTJOx{*RNLXvb 4#I[ȑY.I*{;ib= ?:?OrhKzTN3軫 *.{)D9-W3 `eNAgհ CLzEJiXt,9S@D.YEYB³a̺}]_;Ջ˴xyJ./CDڊs"](=6*`gD =t, Z'-U\Vp>Kڏ_ЬEI(1C?5K@#1nl瞼1r *loPIdXQtevyݶc$0%V\ߘ;[ӥ>5ECd5EbG҂[of .#,V;_};(Q=)8LC_t:$ $u҅4k i@ aբKDacƍ)bfa\\lGtr)ۗ)jI2.*b7%ũ"uay~" Sl`ѤNjęr J^XVS["#٭^ iA얃IU^kU[7C2XUƱmͿ%I*y}Bb՚h~kQnT]ػ`œކDNB}u׾>$8 zg'rI>i(97V)k<ǖ}5F""NYmF.g DI2 r#ܐ"|:> *!K^#bLs0?\B6y[-5*sWJ(v'#_Wכzq8娅n t"%D~&" aŌRJB:-z27Hlsgu빏BZZ|EAh22)>6!l  S ,8 r}n(f $Jjfwz Ҁyȫ[CFE qO =Zk2oEdĻp +܉,A+Lώ.K |&~\G*S}*kL`?}5^6,?E/)}PY 5xmc1SOv>_?cN 4 D4s0p냚ՈvoK'b4StX!_Ħ%v+VaCպ/=ke`B3l{?`vpi:tr<##XEMs;}-~=%N剷@Olw2!+"6p#! Gi32,fW֗ΙysAb_TޖT%PV;(46bI.kӆ}Dt7;z"n[UPoK-h-fF/cٺ:,݂5{VH$@"{܊}0 G&q*ĖZ db_WeY-R^1&;ɎJx88D;vy<d>J <~ SO 8D$:)Ҵ ETЁUa}mCd @pcQ>]5G6wLJة|}*%u|#YCuzgvn׼0Rq5HՄ#?(-BF;~VrX 5)+ׄMbٝurh q.}JiNi5PVE_lm0ZEG90;Thz9ɯpmk%da#k]n(Oz75#|}r4G~%lg4w6x-h;1Hqy5#2dH&|wVy_jm'na=Ssz8]g~|c(:2T?/KFL,F.cNSt-[ְ&8,DҸsp@Q[ <'jGkS`#߮blћD{ `kwDR4쎅s`PRĞ999-f{V*FزXY3Q6%pRw0}w9R{ghLV2WR. 9hLj'%N/a{.B?TykbfGC"6[Vͫ9R[94*p8W]~5  绬1let2̝1&Hq/7-J${."9_۸n"&\6˭Tjي+HڶP1t.V|&ay74m\ Zj;[/=a˔--nn*Ӊ0AO8f:+͗:IOdT] N[nd.K hըG1<؎I\ox`ݔ׀b3\ͪMsXߠCcP (ʗ؅؈B :F]E z@Έs#L7)΅>e *G^yTPL*55V hF;D$SfYߟБ@b-`z-ZKѕ(efxA:E:.B`d^:y2*>3|(gد2РlqGIe7ȡX8[ÕzkY[҄1VLyo_{G&ؙf %vGI hcw;r=|&TgK)qE )Ī)|ҍTR:Q+ְ G_egjRq ą}͸=!R{ex|֪&Zo݇ڀ?*55YTX&bU5~<A j~gyv|W͆/~yij9}[\\7mV3~ІCxݎS&3bi]];#T@]]Һ@i!(-Ob#mK;@cU؍dT9Q7)C 3n(Wn5XΨG1 oaӼVFvʢKT\s&KMbRI Q$cIDԊ7ꩱsrMo5+ _|(QNbEés)9 aju]1pg#W![]Ϟ /gg ^#J爤c]C%b9kƜ_70ɞK|ӭTO ߭u Ē]v:.H*߾ xr1(Oڣ> $Jrc*4P۹B +T^UHR7PXy&}nEܗyŖw^kP<8 FډgPSJ@4u[з[j B`#zqwQ :au )|y+*'co/^:B+߂Ė-X^7 9 $|ߴ`a>[&$.iguAI@'Cy :Ga,%Mg m*U:p.s~0T. PoΥ3LI$(LSZ4 ?K/hWbnih8m5|,Ps 7@a?])/'':{vGn''!Z,i=RiU2x3_"^:5ܑ4 ´gL@2T3KAUFRdfv :Oāө?]sz JJP藂4yXCou W $#`esfӵK|Qz!kטѣqXn,<-8W *o7i .Y&]ҁΞi/ DEO9n>K~R~G9xب ";oL٦kw/0C~ccRޒ3b'`fsaqazv[JMhP^*xFHpxN!q-B+l6 .W(lsqC +h)5..m:^ʮ]6*\N8q:p{!Xz‹ j{aGv֯pBsNG񭝅Cz=i,!4([($:-Aj5K,I1 "b_,L rXM{okgqvR{%Li3ʨsP\+4{}+ms=%1Ɍ&^,ﷹb[h'xl=(OJ[+TNmu&{_Y )XnDen6դvLwWCdy~ @ iQLҖd6NE!r|'~r`N5+.͋+H}VsdH& eL?c 8/;d x^ y5m^>:3C)dPG,;ZdGrڅ$Ai;Tx EG۰>~+mQ/#EhE~b ?WVp/wa lg>3 ?`k]vSؘuW_|2 _65BѺ9XB:P1X / ~gyR^x0ɣ]$u[zp]Gdgcv,H&~ HC#IL?"%͚-:x].\V5niMY!Vz( ƛ/:R*yxҜ/N%6`J31`1抪D@8&ztpC{ƒU!|(VS_ 5 I`a֫rԺfc5E̬n(81) bUYg`ms&q_$A}I~/i_UiXdOT=v6Q ?!RH[b -Į@҄af-~la~$ņ=/{Lづhhq.Q1bg|jю`-e,y"}R:ba=0t&YbG+߻ [=įhϞD`R|<*@Bf;YZ&f-4;E bW}pLTtRw覗{ j$ R~jL=GjgJXw5pc>é İ| DK@DBaetUiEfG+O/tu6Ѱ&L|!l嫟M; sHܻy's)ma`JKߋ*TM:\Qytb,j֟HAPt1E:@-MJ۫_F>M._$N{z"t>[s+/'z uֹ\_"Dv%omܑ\g/ 5Ut&-ɖA+'Fq= ᳲMp#w,;J3R a\c_z Lo4(Qםk:TعXiOWG`Y1vQ;]<`[!| u IǏiK Y,Yڷ0 .8|;Jfh% >^w"3; ÛTUaT$犃oU>](~27$&2x |+nN?55~96á+&%ugO FO u $? 8 B "޲&Шw M[dbeV:o[>O Pcݬ 2C`E7ׇXzOΐxq%;TnY T: ¸Ǘp i*޸kzmww]L~-H~ Ğ饓N߉? ]J ٟٱjC^9\GiX}/IvߋrF̍X2$JMh7\-1[?0(Hq<xSV-0 l9jOCE |OVfb喣݆3qA7p v }|l Ooΐ!vhs'BNx=nTǜ\/ .A-F7v2Ir0rJkF-81 O:AtRi +XL(2O&_41%VbWiE:4Qӯk!gK MrҔ@tS0+깡י #UŜۜ/(TN Kx[}7Nb ]OywZ{sFAZg4`5;+Iّ0i/S[MJ{0az%-vOb]0-+s~*^_l_Ӑz5|xDqH2bH\jor:8R %* 8GgŠO\N(;f"!RaFvʪ6!5뎭:i|8NԲܑ;a(lݭqlP_y}l,,%hr}r!hPdr6ru9 8HD/yW *95Z[NS6YarQ2>*zU5vd:k.@JV& M_A? %-#NZ*ѳYǬ0~ogUUo##L;u)(SC;fVC Z.Wy4Sk_-msQ8!B[roM)hYے yHncQ4-U%F^OdniWB5BN5fffLԕlkJ y[B*o9d!NݢkdjD%'8ib끙qxW"u NipWH>}5bnOaNw*-! K)gDxKȑPnĮ-Gb"ƞ;5@DȔz<\zKQpVYcMfbwdFW_<=i7?w?S#Qa@5aP_ǥP QQ t3@FVZ :B\^%Vq_h:qK؜Ajr|䣟MÇgZ"7Fģ3US$BӮD xM4^J[-&V@?'Wܢ?x+y,_>"&tk{^2,9*dauwF5~4)7 ̿1;$}9WБ#1tldZ)|8l*|)3EwA0nF> ~BT# Gvu'MeiG?vAfIœ-UnUAIb 1Lj*-OؿIW틥ǷvKQf^6tӴ#ft†28hK_JZU*OոSX(v,rg쬌lCD. w`4@hC[oOW(~- #T*I~tC/eC^9hv:9 1XzXU=H  _Xƿ+Cvnֆ3hiI9rUr\/cut)ȗJNi;6ya+@quߜ[}+ %"&fH 9$<{z74l%ˈ:1N vq4G~xx?++e>TpFW#TfinǣF #tMlijt7_ DAy t5"0,uWDIAceD#vB"HiSb!U.ۛaw69' w i5zo:cxy`L`D ?)8H0*m.w:P{^ "vMuw),Rёm8EJvCq9!EgX{NsN׿:r,^u@Ieu1!?t WZ/FnzO}+i%ގJ5g"6{",_~ӏyUn'RNsGڵ#蜛Q{`wњ =`[nv-=6[ɺ /v3PF8ЋS@|([g64َOci$?!˭b} yX4$T{>:g+py/{DUfltR&H9š^v_]hϪ] dϥXeԞ7HdG 5P{~^6)U]\[J-$8j9VDݵttv1EJ׆/}m>9Oq,u]zME*T [LAfpS/v:Q(oaI@D&v˩ =?0hx_?RInrȾ ùqzD,'M%"f4Y&F>NDa,3aZ*# Ǎ\fN$*E(:jvȤv Vw-AA@ UիaP"xS`SJ +j$3`08wq0#Ova+uj`S?'N 1Gns w:/O7VcyYaß p• 5;5[,?+{@[$ߡ3Zkd4EԸnԈ˼sBkY{m$+pR[*/DUKODZq?Řj0W8C 9eKLXAݪځIMJ׍FJ="Ae,s+Q6Bֺ\ Q~7NgZxE}jGU *M~ƫo[( Vp靥E~2!g`zj?,lɅq-S}iwh{uV9G[Ҵ`2F$V@tI^G<ӷI ^fKiD&ە(E1I 2n![nqWPԟ,Rx$pXqz-{(ݠT|2*~WșSrq̭B5P빡}]v~^Uia 'c# lW@ {_2ٻj@&So|7FS Ok/'(@dR ͠iP־<cҕ VaZE= o1:ڸOBqQh?gfm ?Aq~*)50gƑW)[Aƫ)'"hRRvԮM{6B̭ k$NT!c,jl L)aaK9bm@ɐ