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 #5\D\ ]S HOL-Nominal-Examples:threads=6elapsed=361.149cpu=1383.368gc=136.640factor=3.837zXZִF! ũ ]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hAPB78 8S?`Iv?XY_bB_.UrYt _ * /G+x3+ | 7oE1ոv']XxĜX+fo^^Q$᎛JGTjje7'J-i6`ǹ8r!x}{\?\gso#!2Jl 6YQ9Fdz؝kJ#]shsv֑wIMQEV1@w!1cB_+;R8}\:+ bwp\tSگ2wtd& k.h:=Wk&N^DN<+27`=a =o:a\۷8{u3z1NL[<)#+YNƺ_08E9{0hc<:`^|ϡZT3d 7[@*itZ)ѡ]sΌjnQmhm_bֆ=8#QN\m:-9`ov$cwx]72,a][Ԍcu((dMFYT+cbXc3 Um(ՆJW+qŴ[6'd$ 9w.9S] pޟ'JpRS$d?/z8vϱ.Z l;*D:NB4k!q3Gx# nkbn-(}v.MEɢI.N膷DŠdY'PIKq-.Y6{]|h(gƔ4@?}NXq r}BftLՙ hN/,8uc=YKFʛeX+'(^:!cg=ྡX$7 45 h\TFG!Zv] L6u!d)I<M̯`gJC5E*)4TGu#݇ ի1l0̝ ;Jd׷\;OkVŻxB7yDd* )豖Qbi5l'pA2ӄ'u8ȫMEX(šG;NK#E/I5Xr Ի aR5_vm[@xh`رN% /^..3Eسz anEjᢿ@Cܿe.G-`. yo(`P:`7RRU罋~O*Twn9(d1guo;?]`˻ɆI_:KbM(isT q7yQ,;a&QZACߴ^$rJ(cQ X3ȯ ʐ*}QHoٺh1 fʀ܄.f$|@z$4J𠳾HsUSѰZ'θɂ'Y 4&qWqA}G%sd>$Я= n}e׆c q{B&ؕK\aaí lZskms(+o?-  ? -'M#0Pxu<88@zF=ȝoV vWg}b꽮pVhd. 5ihTYgZ2lEH0+p @H+xp4Uqc69jl-%Ab;SAngꏛ-%ЏB1p[-b1b#usTPO 5 HOL-Nominal-ExamplesRշ#Gzly>\QvMyq'=qv՚;0KFu[pNJ'.D?ߞ>}Hԑa)>GQ^meˤëW.,mLD_uZ9m5aiW 81JVljvBR;lGJ71cd}*~lL`nbߜdK܆< / Ruٽ3"/ GY=[0~Ath 6DF猡Vq ޶ŒݫsvITV}hyˎ4djaBM+SM|?*&/HKC7SC($a@FԈ'ւ%j^'떰]@nl0^D%R:%Pu!DI,cyr vRwb7kҡ 0~m7 ORa`YCZF^h~~pwHTmef8=ɑaQ}IW)m-a#a s"cՋRY}ּ?i6 G2MPeޙ -cX yeTD~O%(Xtm~Qd0+x@Y/':5hgz?&F?/}Z}ZL]C%6mlT{X86,R#5Aΰ=TA,3݆^ #r`Sd%hJx:  ǁ8qg5<|:߳;rN A mbEx|-_P 56@iFNKayk=T5U|y|VdD-4hf`Bd`7% '8]c$ ۚ1:nrVI*nؑ H9w.TAJ ^SzN`V蹙XbԨTijlhH_6Z)@vZw׸oUWg9T%z=b 䒰TJ0EHr]L]HV$F.MJ63xU?xŝxV<\Ʊ0DZ>S{:u'r`|4'[=3;1 V-⍖qaB[-}Jo}nԣ~1XP,L)5qdM]?"M\TOnPp,=E}G4~U8#@! _d:׮" 3D5; 4I멘F_NJ] lKFcfX>{,F$9{Cd 6/IJn$,Dj+ YӀMRI~fyl \ )&%oGҗgw 6~1D\L+ێRX/FS0΂*9C{:2qNF4%_gn}^Aro Q0R՗wOk랠9,80o D?gd7 9W6A=_'^"Mb K8.^Ȋ_3=dEl Na*RԇECdcQðX$x(dV45~]|sV[Ψ&仞^Z?^yo&3&Zm!zSDM8iv|MZkmZ5Ʀ-jyL&[gV* Z8ٞ{BwdŮȏP^1*!M\\oҙ&NORc]vUlsG`qAc:@,/2f7šsp_ b[-Y(z̅hZ'˅UaJxc&i8G*z%ߧjܞB$?vw;q1SfHXM1]XYVQWC(,᠀>tn=塣 M3z z*:1)$ӀGqP|s \CgHyS;d+Hu'K:=ŮʾEhkِxp(KMQH wܟ^"rD0H|l bX]ul,2T=`1y,K >٪UV, l޹hhL}lwB v&e. 86#: ÖC*7 {kaЋV" ze_},]1s?8|' F_[?ff!dBNg|Xd.i;5s=uN-o`9 P % ,*.&n*Pw$CҶXTw0)=/1vM/ r^aWwl"6+J& \lÁ!9yʈVºSxVsJq(콷JFvues][Ll\aEͥ(XV*`eUwZ&D:L:s@jq5s [k$2G'w*W0bWQ |boؑ9کvljlc(N\g<;kpe9{=HbՊH=Q%àX|9Dqr󼀸'2~XNDlZ΀΅a ԑ(ӎ7uO}MsabðΪmB. p=o4$VnXbȨ@>bo3/iBR 9* $ r%y4z'DyW@nO^!$ƍ=+:ړ*}Æ ޛ`A ]#F?6|Fzyc+'n\iTO!b<-A$2Y `6ho6)5^'(zy::jWkJBoG2nSFkuU7_` )eM*aЊXBxk䞘_)5O/K(T:tk1Y=Lr.I+1ep+$ Vc^Q[Qޢ1Dj!F^?尊A+"[?D I6XZ i9N)wWɣgt|6hyF"jar j QTrیCfBES9gE IYJ1S43 rj 峸.dg APb8B۳p˻GG &q.~r5A7^"8(5#)%>?Rչt\l7 HiS|#Qx&8f$OoZQԑ\eeVCnKn`HbPd#F(@Dds݈0PXn`H ];<넙t aՃ֖dJ}fB@r޸fٽ(wG1"i#,ID-Xu.yyN/8;[76qMv>{g shu*vD*!YEfaC*GF}| Y|C3v{d#w)%va~:Ip4b$sn^_.IܶBat!b(xez ; v' )^l?RV3&h+LD+wu(L_=1 b$ H,#&Z+ Zv1F#7a1JrA,6'R7;;NF ܃q<72] :0;wS+dDRȆB?SzoOj!ZMզ>E75?ͼx6'oV@[jm͗jGFrwUPIy@ԀV7 iYGUЦ}>BE"gYZ7zXZִF! s]ŗXiɟ1ʹ l93攀Lx3 D@>"߰1CHXj97!P#[!#SGubVK2$GML}c`XDKS%1̧Ae̹/K V9%͉gAHWr"fd sA!6bML ѱ 21\ gc_Ȩu#N/>c^Fs%3 2 fE9J4X4# Nޝ#{T]RCoC{Tγ~ \@xnUqbOSz-}HmL Blwfv6IQsJ|zh;'ƴk@^߲]\%=NM;OF6a2ꁳE6JRQHd}f_U7X|i%bp?aV=hsODl(8 B68H&a6?9- $tZl@$%Jo?kEh&q?.gYZ7zXZִF! J{U']ŗXi%6Sp͑l:*[U@%~u(vwnY5ޫ2)Q<&%ȡw w:#`!ekUp*z\5K0Osv^޺=zfK@8s9ih[1aE`G5eٞ8Ϡ.vxse7;OPk1zJf/M^tm~,ǒ*8/p5oO0][>HILptw7alNLl5NOW"+#Zp- 9@iWO;e$d.W+ny֒*`$>%լlc(2f#T!:Ei/}b(u*I!0kBJ:)mS _vf|FT"9`RAɟ1>4%䤯8Yd'?W$jLoMf'Y&T_qXUI4骪@¼p*Թ>w?}#~:YޛkFXyJ 0HI~E1ӈh7'w9Hy?%K}- G#Nв l']tʐߦk I?`(AL|:־6UdvIZO 0 D'fKҼÍR"H|1~\%z<$FY9r %KOoDl^NRXklh{DQ՜TTsY@oa\'>#zEE)IHm󯠉o!*H~n 1PT/ä4 c-#T(Iȳ%if:'!L1ƅTQTi'lH {nM\mA'[)cx,X";*dhxsc(U¨6NTl>IQE|Rm^ɶ> !b)UP5pMեيWg0{F2%6Ld伵pEbUDVϋa$ e #o铩-l3oU:v?J[tH9 q؋"{eJëőx:E:-ɰ'mD)pz'|8}P5K`u`<q2 SU-Ԣ&(L&SM;~ BgЏT+ӖP7jr7o{&rFq&Va{-|{VK?yS+>e4]W)Ը`@2ty61@UV$)Sѯ >/6B`7QA%v+qc[U"fÏDnvX(AB ó`&lM"9? 3RC]zW'd\BKdp̩sT<M5'l9Wb)~*@imnN8j7[ cBй=Q1Rxfj ]bdS+['vU,Iē+C{He?`Q^{jm:z{k[{ 0m\ ̍55Q%۬%a 6ZClQq'Eymd3%~vcjQcB&W`:g3`FQbBmTMByatJPrAK DQɇf5[ߞ[g,2ʧӿ"P~fOx.yYxұ | n_;R8x' sz  X˜-SiphCO=Wp^{L8hPQ+?",,t#җ;jepdϧk)P Ox[pdL3VXtj<)O0N}F+eZ@RA sT8?פIZh+xQڛ?nٻLMm~ ]i G$K}̚DJo IT:P31\].:i`xE_q9L؀u=fx(Iy e!Y ns%0v\ Lp,LgemC(y} "F3zy`¦LE9L}]u3Cn|S~(d2& MƟU*x`ck<&yQH MRiS$֢\XdKUS+-bD(c=ǩFRd;A8viظЮ6J& :7(qq5s8U#(b#S8!&7},?ߊ]]_meYZE*\uJLq?j!Av~ii)@PtVƐ1n-W&k/쐫A,0#X蕐#ߙ?0vv2 ^j-&脣$iؽ:})BMqb 0Q:/>3s/n66j!@k4(Qz)vxϷu*|QYLA,$: 1\9K=VXo(>^{'kmJPbuk>6v(A vۈ86e.VBA@2X.T=2j)7fqXztsTQ]Rz`f\Jexrgdq J);ϲhVcBF=^8ֹ>>4q*R3^Կg)w>V蝍DK7 f6~I \7Cܲ]y[$-{(_〰%1fjUft:@jTm!w:BC3ઇU$*_,p/Z532q*OEo_"Wb\@ [2b sizU6pȸ B Ѩǹ CdAwi=o;KW.ꫤ&D\ fl ڭ"r-47-.x谊Ẫmi 7!HcBBd?'F NA٫ ケm~?'4EןS%OL#T)rP!6pIaAľv7=HM9":pq7*],YjV(7qB앐2ILT~|~l7lU/pjUԔr¿gݥIsu-\mN9 :7ڊ)350Yv!t$-Q^e7>}Ƽe\YcLQ~7); /A$\(67'GqWz'/8Yjx= 1Mm>[M8L(+ԄZ묢ls,ybʢӨq?c ΃oOkT;);="Wp~fsdѠ$zg{6Q^fS6=FuUhThwzX_TNkq-s\fx/|:e -._ dH,* {L;et6 f0M{~yKdv>.qN0y |d]L##RZ{'MJMH\\eiYEUV#ǂ5m4@e]ivλ9K~ {~qs@]nRL̖o8(~v۞:O?5n9\x` "}& 6)5o֌0"yGA:ƻր80+g햍(Dr5(FLMLRQe6I>YK&@ytUV;zP?;@5?۶7lif& cgT&kɐvCKYF6.KWssE]͵IEݢXmm/1: !;gG愚vy=L"ԇH \wYR״*yGvMb*Ir߀Mımu|p12⽃l^z~$|BzC0V",׭aQ#yUFF].mW4XcɵH˶]ʉߺ+ z[Վ} TbCҶʹ !ۻײ>܉ş" na;g 3XG$ڞ1@Nwo$Mh-i. S_Iox45ˬ% 3x jr$/Æ7FK6'=b xgi3$whi%=ɚǼZwt$Wp3MQIK}ʎ$;|D1}/aT>aǰ4x _H$tIJ 0PRY1CKUڀz!۹] p0{}ߞzJjގ/2scm!eL"ŴQng[BJ ul)X,YNj\ϴ24 02~S^1 !6Y`uK$ɀ,Cߊ'#>1  f`kSw`8>ӏv+bĀJ70LFB.V}uZ--A3#-ȉ>Ͱ@L~P9zrZ84-ͷc)NWoAmdt(-PH*!/++}7ԅk_%HFYǽdqih,m=l$^~T V&#]G.^@.yCCt1/(O~nR ^65ө 1c _QrJ{F|7WC9G}{CDŽgoJQ7OUx_"1L2HuɲSu83٨Q7runՕ„k l#C!d0:@y $Ykz B)']T,/GȄqTTn9Apu%r%:`NvLeS|].2ۊ蚝2~L Ԛ(qbrh=Ч:I]os?vfބnDJm=^F]RZxNf T"jY&Zef'J6ӪJ=S+.> dk-7ʈK[)dRl@RY ߽'&eVx`DžXP}$?bX z/cWǬ|?ԏ魑ݽvn,aNj B÷j0.b l;ݶAPV堛._zb(CYO)Y]caFv<ъ31S)5 '@9fJag=2ݦ9 ,88t0Y=ʜka)GOQ5| ޔTtz:%m'q ,@.F0$8cH,XD_Hv@1U"Hdd4BVAg,5:7NSXI7w_|q ҊDLM;J=[>hb[ʶrvȾ},GZh(wF_l/^TuwHc b*CcΐJIvm$nI K/m"ky6볳/eZx`Wq BdmsAQRz ;Z3y:#.sϬ@9{[ HWXĭe)xJK#45 c^SKQOjP4PE2Du}Nkkf/Ydk(UW:`ޯ-轂`%L? !FI_VX_!bǂ+r'Ś6΍x૬ZRgy tN̎#r>ٿ)x/H˴0L]%c'Rl9KGIg燜hٻtR%Wo:%GWxC!;VQLXO Πz2~Qr7)R.vP!ِ\ɋ'tGkq) +ReZ} fkKek=R!38 6cCڸӣ8n`~wғ$FC +Nqc66%6\ӹ?d݄ol3G5s>[D#`RCGCT{0BgcX5]K=~31{!(ӎNqj*&HLIuDyHmyů"IkfJɾ,PRZfጱg$aX7Yymm?l}yP(< -)ZrN:ݫx@D&iT϶ EH(̞LJ.Ɠ|grwW=im gJg̥!HE:3E`:"eyw 9sdc$<TNNLaS{anOk<`Α铅凧!)n Ekt1 q%Õ kuY9=&M,ঁL "ѣ=8'qf-kTzIK JN(.u,#yw~CAG†#x՟_0SAa`R 1ȵόq4tGa.cfhXF"g5,2,a. % $fNƕ j?wu>emy"K1-('1Qf8z~9o ̨d-5ٖf%v-03?U<*qGcr)s_w{N!xj7bXu_E e: Ȼ@nܰq&dR 2h4B ^ٝo热ajo:{-j5GJ"glF ^ÿ?(P;CInڳv  5TU\A6h]+5ӯ8YGQY5~VQ u W_')c (hC(kC Q((9g|_jz]>j>K!(\'y &1ag8AۮV#!kEP9Ms᫦1jf#H:%,-0 E煅g; ɚԮ!yd"#Ƒ&W'v_҉\mL TC57Mn%,DkcVT5Nmi]1qn±!Oױ8E ΓEhû@s\nDIǀ939*D}8T!2_lL4_pOAMUz Q֗k7G#*$4s~1b/ݶs&BUg-îW$۸/K xyhEE̚lrnv!]> U( N؁ϥzͻwA`Ll6Pob>lG#~k尳u^?(sb8 ^a,¹FX~{mKAӇ-kgy%ŋ_}bI=C!+d#+ V5PCPR[1T9{7XE@JP;41E(X0x*bxŚ eZoHwB߸(&}AHI=J;WIle h8M@Sr>H3P7rݺq,>!^gֈe֦TYbvK.uD;Oy-`fjU+.;ٶf#.lM_ZK#1Q.TC KF|q&0u[iQ u"&KlP!5F`O"gXA8IJX&F T&lT]wdG ֗, GyN9T]4`$?"{Ӕm) dX7)(~ 1&IìHG>Ğ:c"_HYz!boaI% ru5R?tRe*icYоhC-a+R#ZƐ,XH/x)OD{X,J1KpWL"9<\"f7.sN,PWDZ(>4C<}<Ý%?wGճ,yABh;.!椴|$9Ba]U{ ?OpPT'hu^P|yD>$rU7-hН>gsEEg*=!`G& )iO+]R I3j,Uw˕ Wlʸr${՟6mzRe`a[K]x6Ed;IW,8pXJID|B>f=?H @YĕF%'ni콕?ȸNZÜ&`ËvEeo ڮ&@(Q7+8|:s#/TCN~`&]`Δɪ@zv y浥[sLv[t"tm9~X<,_IŞi7X'W@AԝUcUhAPUgT #AzJMuܡTz.k;"O`(mO zMaRЧJm` S;2NnJ &rzIu++Ȱu z͏8o kbPˆ4g=)^aOJnk8{I(-( x6ZEdJBĺq)=( H%5iϊ@Y'5ϽgQ뿡S s`JD=(Zق+ tΰsXAUqBX O3w-vb;*y\J[Y \/_T!:adςCx- NGs=Vn-(ت[ݚպԎֻIZ8ړ=V 8 5MAw,!X?WmR/ڰ> ϳsS% L0`|OALNs.RPh(ZwuD`zs*oPu͕Nefu\]asȵ ) G ¼6W?ՠ$pFp>U&v]sso^pR~SSw4T8 )o%'H.eXDz$H8Hft8qL2XQN2C^u3cn o2L5: W+֎n[5x!TD1ۆqB[[dsV/m;0=T]pLc $ăSf!lkEPk >&,gUylsA#İ]F HopXjk:JURo&uj(#H,VʼFbc &up|p3LZ(.s_^/6z̻8,> cc-^>`$pOZل5{jjiR\[ y-urERY0Ϡ<_=hun;_ˈk",q_W;͓K'1 FؕV/|C#$L3\n@ eIj:yUApJhL[gfzT:g#4Olp%*gy R?j坓2Jp@?b18$ٽ, s\w?oŋajBMR-V+y6ʷ?9 Hj02)q"TGE"#5du3aQ)<d w3j٬*Eƴ yW(/*8gPaXd@`<,N'c q:(?<I!V*- \MkZ $]G[n3|L\Z˃n"lЮ V4wxw=6< qޔ 4faTlƯuI[)yDFWN5jn-+uB 8 WXRoo_9z+T?N+d{r 0RN/]4hɻK粉2B}ˀVGѷs_Gn3{qr_uֻòceW%pvȷbq0MZ-E~NJDuH-y?դֽ@){99 8Z]g$q,=_KV`L)C"]ۃAJU< )LJȩ+W)'C'HKfd5>LPkW&QL~n)w{ɫ#/+;MAt.n[xү%-(YXRF5.2fC%M~:ѧx LI2pi!E2[Ƃ Y.#I4UV@?\⫵_pj@k?I%] i3 '\?O|>m|wl}ɱfVӭ6kmv ݃g)P%?@]jy;cxY*,:Fn0SSOx`ӶgUJS!BnN2A| v;]9wdv!K L$Kl6;*k46θ2~45H1-6}3/:ӣ50W')&[^c.(DkZ賸7H>Gq,"EѩWNjNe/'݄wQ{+ d[xCݾ=*Q3sT{{;ٍ}gX֧e.m!^ AN)X~M+G@}'_Pd@dLQ\D%0zyb/ߟ)tkuȟ#h8|C.BvE* zd.끢(40u :*dssoCx9aZ ZX"b-䁊Bx>i^e:? i?wy5F+Rv8E(XЛ@Z[5=Z@t(Hk2yhm?`˙%Z!VS,!}9lXD5\gE`.?8PR7M~ +~O0DY(XJx 8q"}Lqn/Pl=AOyJp79h7sӞнP"17$S?D"{B>MEG06>YWR3WJ0i~ΒtVֻa^oMN3 R n;KnM;6(븍A~ݭ> hM4IF|V'yrz%S.ۼ(TAW,)GLnLDͅ3ȵ|{Fd!ƉbM]pF&oqᬨ []ۘ} \Ɖy/r.Tݙw{Iv,. +͇{2/Qjέ51ZSka*wo9$Eo,׎-.*sB8`MyoPvL{Rc)d/ zW^xN=]E|"av3N)y_4=5rP9\sNw+}2|HM^44ݙ'yUȤ;@@/O>;qvS>:ȦV 2VeΣƍagw?.̞@@2~\|фNEfWIN!YrPmpI>#%?\к/ xL~lB'ndo\jkl#:>xݸo}xNqe z~c *'TN;p<-;C L>#iէ2p%v[)IZ}<~bMzr)j@{oΥ?aQ 1JdQhb 4E> `0L-Sjb)$%sL=zh*h-V/ `%PF}xpi[Dt/ &A~uN $o!wVYn9ݕGz^`2P!hAHَ۱A<:XH\%M7 e0,}qT' $G%B %&'H_I|ovUrGϮN$7lGl**]N~ne塮VBOr@{܆4gr/=Pm푮kC(A)QKTatc|h̞7½y4(ΒuT:`e)t-g0JUOSZ$〄tNM. M6%ሕoح>.Fu{#Ñ`" {UX𐹙`ȃEK1KaRC"67ީGU7*Uw $OM6Abgq؋k=:6i<*@jPsks?o*Ď[1{;{k9O4몋R=*e0]{<%ċL>kԆ\l`-C2gQs /6Lf(7'|'G<5W:Bz|ʸ%q=Q4lrٺYkX%9r[At%\CǞᅣE{OgAqG']T0!*}w撜6!np[N - 菩]F6^%f!͓9A=k6O^'4K֬b@,NgmD ͢xb^QCRCFAw.zr&d(( d$ :5+.Fa^E5JK幯`X5H0.:C A |ΠNNhU=ރC;JJ9JKc=Ƀ6H ?aLu Q꺫RlAd軥CB5d&VaĮ딺"O?GsDFu6cN%pi%u1 #%st%1ЉЫu 9^Qs:!s0vk4>}s"܄$ֵm5U<~V6ȆGn{y!dHvyfKANXx촤 hϼMH9jZ\JFX7pO5tǗi ˨FZR) %Ȏfs+<}\2 #ɍ34Zyj7>#>n \<ڈq˽A;;kWUK=Y_oe?s}[7(Y(G!^d(wmX7s/*[eGr(c6f.>݈ !A:ŘI&_A͑!"4wUAVb\Pܻwh#zޮ+ܲB:NsoS4Ŷc~TH0D> xÿYT=YR5S܂7NZ+*"~bNI8C`]({.y`P.~椡*||:$=|W.󷧡EV%, :ٜYۘ yC]vUPuϩNw)ߣ|:{IISC1J%0NǨ|\WiUD[<׳Ip p `,fGx2RÈF VMը$!?Fĩp83&Ea)RI񥢈(+Ogj5jK{ d_^ǽz:}u[0QO$}EEOFIӘ_}4_KO#Si=+BV?ܵWC̅?)_zb ]ɖADwmlԱOXm>rpldET dMNwnAF$oFn̽v-jvzܻ 3tMfmi@^]H*jsˋƀS7q=N 蘞weAvpux҅ Xk?v@21^ePѐIb.h}ַl~$mfCwb*OYB]T֕VfcO GO}.:?g2Və1tB}tU{zy_:"=+ -('c}.Y~N?*3dvk,q_؛=Ԥ,!Cb>C@ZRH%tζ*$RT}rdeYMx3xdV;O3,@kO;9ΠDNZ?χI<O8Q?WL/fEBd" 񔏺;ͷN7MGٜ0&E1s ЂFLD@wAZ8N:@`P̀5E{ tD@$+:F{ dY1-}!oO}]Yyfh׽c&wɖZtLTYjNx,IS.< ۜOê5gYZ4152518ad262bcf5c3a876dfa798038f2555d2b5bc04ed3d5e3d39fc11eed643c195af42cfffe6e6 af27b793b0e347b7ff6acebc98cfdec3738a93c2 56c99ed97f96b6895878485285d5451853e4f70e 83087296f65cf151bed17f5605547a93b46dc58c