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 5,<, ] HOL-Nominal-Examples:threads=6elapsed=233.483cpu=1118.376gc=92.832factor=4.797zXZִF! ᥎]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$A"jKհ~]yc8f̮H¶-}>xAwCBSWS|^?*ك\c„QNrʴX&5B$xN[6w@NUSC!g(L ~i ,?Gfi#$=}(ѻ=&"@lY8S Cc=w-KoQ%ݸ}3XAXp^^Ocf6 G嬻}85 9]߁ob2܋sE>LD,E3&!uD8:"V6)EĪcVY D~ @&Hߠ-=[OXzSP!Ni述N192T6#Z97іƀ¡]萌r 32<2hix4V &+_* YK®x̺{-Aef!f[@~w~o7cy~%lmM Q|kQbeJ]y%f^.p#F Ɂhh8t[ 'S m[Ki-i݋Jo3X.O*ƪ n ^!4 #˼Zp)CL<4P\ Xދ}!& N6ՠK;*Uo0 _yXOF _pOɝG838|V^Ļ4rS%UBBhԫRk+\D;C|_6W*5>BMn,%Fr ?g =&*1i|E{b [iK,Ɂ"bL$ _E o֋\ZBT4Y>~l]w+0 9Ä-B0T{&Fz_څR--|[!c(E8C +VnKͳ&@M ǟzv- ^l{s↉60@<=ƒ1u 9ƬW$E;ޱY&d*  ą^H !6P@E !X'L -)+M֖{?/~'_**u= G~ړؕ{ꍧoa{`Ihސ"OC@)ySwSIo-sm׽@"<}{ #lەL]azN.C'Xʂ:e)'\ a}g) ɕ*-c+dp3(l#~WQ1 HPpޞWB>K[V 4^єxmyfۂ*LAVhɺie@Pʷ('Jhh)¾E[Ma*3'L s$ցYVYǟeN/3%jZqZ}LQ-^ф }xUq ,RKg;^oOEa vK6=ڔlri]+9p7}(1z y0UC0 e9Yv>)j1d n>@]KU,t"XWgɒ\bY<'r|sy+yz2Ne?h&e>6Y22D|gdIm.jf¥ش 7YHqI\h"a8v|Y-XəޗS<"\N=q2cAbf`lw*Ri8'lN@uP1D 2%SAy=B蚑0R0) VsTYVAW-^zfF[|-#Y+sܥ&U;@Mp˯6 \6n3#JME-D)]ACw Umu }J]YRύ<Iʶ[2 ',`@J +Rǣm 镯ҭb_dEKqQ'#/Q><Y0O=+RKI'C/re `I7 \ChBV^2 ªO ߮ Kxη1ppf$q&+6I@@^̇#Ā&yF vpm.{ inQFoi||Jq> 0|uW轹_u?MF4ϑoftY,BzxDVXͅ~?2,20Qy-% +)ТU4gPb)Ũ:jj>FVeDlmHe<󍷼"D+*v4xpMrIjDjw&DRU|ҥ6zk?,VU % X{C,ʧy\|W&oh0a *`T4Qo͘#,@qW|/5[3t?Ms,C$5l'u;Va[I6qsf5xN+O,/"5BfOk_$2kG37/-ORlg>VeC^/.ΐ]\i6^zPθ5lF\`#&Zж!5r eW[ Pn +,~ _͜=Oܜ5wgP#//ݞW`΍Ia1+qA quiل@╗V_ 8񅪫WoMQ\VDpcνN[D9NZֲn\v~8ȷz~ V=B;;mJkǒϮ|XcY)&q ֫yʠ^nzŁ)J#T>F9gjro[i ATla!.w(غb4:w^uL Fu0$Tj6BP=m~RFށF;}VI5P%r9K[jnxUQJvS3%(-in+p-nJ - #i)G TGјKvb'v&bB@#ux\OX5۳&\>MwсNKl?4.r͂8fGGco!>[G_ >޹)7!>ݸ9 3T p28'f}͓P^ 1ޅk`[riBԫJ;qPC ?bQE~E>e,uwбIѨG3ZL|脡^12eP#ёf`lmB<-DBnTX){œV_EkmXEG$Ulo"˺c<7hK!7 JZ;]Ϡۘ9UO#f:xQC)ݘ15vQK$n7]8[ڌ"|\dw$MBw{9 VGsK fC@ĪT Dp6ju-8W!~/$zEIbzg܅hP!6Eo|j3| *m,з1Háx24 KL5d"s_'IG>&\¨^~^,b%N<|g?r$c["$p)_L9sVMc8Qĩ-GLнh$ ~Mc }g XZֻmC8!U6*&`"R|[*DtK9?I$Ep=#d:Kd-ȱ\P =罍i$K fiъ4B&F96*''A(gy(C˱SڣӮQNcIϼk׏ᖽsW%, 18'2/gC;RSn/VK̳myƟ.(Â.)wygI;/Y3t1}-݋w IۨrΕU#7pV/7+lh㫰{(#(GWaG΃'y8RTuPqjr $<3 2$I71Jb=o/HX憎 llR3-a}hK7 !vމ$tt48M v|[m/~XUz>ϭH*B?H뚙5 SvbOYC >X]j_ OQ5|&Skz`SfjFfD5C*>`6ӽJO+o5WaPI ȲEToibg '0n2?Ě*+ 7KG ϻ>Jl9t"\uVW9Y,Cs # "t*#}8 uNϐ(.L?(#pgV Za9 F% +cUiQ*F dzaa+E?g4m>XOҷx\[r-yv<"-1~qɉgGVyQ_V~F>]ڰ q9~w--y#XR@tgƞbLU^!5-NSZSjQu8"+>9nO~ѧt5M! I_*0'٣N3f#y#O"|d}Yx k;(h]UN =6&7K8~Z,zM.9m<|Ѕ76 &ߕp媩}]&~`ª`S4/-5S" 95odG#fikNۗGE.XM!R +͍ga3m;oxk[˸bxW8QQcnALUf e}RP,)警"(wypYCG[O)bOE,vm$hToM/w<3FcXй!KIσ߇#B#1syHr~?t$(GR-ej¯\ YUٍYx]w6)wȑeHOuK7VJw5l?; `ncf0z/Ěq;$ĘR)ްFu"2aR5kj㫊E| TW&mfdqu2WL5a13,F7{6K÷ +r'ڊXP&!E5^7Qu%%;Rl>_P/Wr vR<$N},Z#VtJU:MIL /~F> 4v?dip4<`g?Y˖U8EڄU$7| [RGݚ CM1pMFS|fO8f<+@p Cy j$ԘcMUm凩̱HG6A%f $3Y=#{Νŀf#zXh>B$Nh}c=Ϊ(mVa=q$^iƾ<'nFz,.>؄٦xuIE05}h}G] a!/"bJ@mXՍb;w[G  )kJT3]eN@Q *ayh_pN2T (DcI?Dmi[9EtH5f߿a(Tc(eKei๥&רӴlڿ槈˩)IDw:vؠKɼvN ÙjG a@Ts%Y,o>ͩ9pc G5at;g ѹs!u.$lZrSjN$5Q+ 0G=d+lv^Deg u--+2.=-M~6]it(Vߝy&qBݮM`Tj2;_<<0DP T2]%R[7TU}gH`+,1/8/ 蔐 ބF:L2iE,Û]U6uqHqz$T|X?sEfHR&Փ5 X^WbSPt0c Jt,+r pӟdaF.[UMI _X}G{#+-l TwG0r쮋8*NQU;<6$zZAۇrSp=$BհcYyR^G#twKWjMz!r%rT!xRpy/+h>{ͱgYZ7zXZִF! w]ŗXiɟ1ʹ l93攀Lx3 a襯 fg[3Ǫ 2?:px{煄b-,lpH(ؾ,0Vm+kkSFJM% ]&b(uX0Z[OZECzIE51J#Xr06z?kYzRѫÜ&?W/,7(F9B/"^cUɫbNu}/-(sTu"&𻼻Y=piv{]ҁi;mrz4 +s,H:Jl(!Nax>4RWyM$m?o_ˑ("Aee̳վ=#i#яi[oLrS @9- -0oVdpiP Y0~bpϩyBqBQ-xM;Kސ`9>|xV1gYZ7zXZִF! TJ]ŗXi%J atD`og^? v5 /F3b4;h TY4srD8}PIuMt޺~ "@ E։8fJxM*c3eG$V5ǧ#Jfz^ f,}e쮇i'j{Cn!Ďlg5 YY}B C !Nc([ iܰK~Dt(Z)R A tg)9Ѝ]4ddlp~-zMhQn$ߐD~0H4 Ў #L=>KeU&17Mt5=%rGN2]5? I9t F"WE2fU,]-|D4\m!ѓj-n:Eu"wj̥+˃\^s+I-d5A탓拝hR4q:隙^3O*v2ap7b}XLƜԊ9Dan(C+!)B/̆B(G3 ֧˄eVSMj &tT}x|&W[/>?ݓ%@1x2(~b-} &lmlT ]لAlx35 vxN^9㢽NҍҴQq+(#ݶzn5+"1ߒbGWǹ StNdH鞠Jm/F3Ys>L)RI$g9O*)0Qk*;vt^h׿_/"6d'!~7JE*;g62k̢ |IХ9Bo Ҙ>"C F̢L=͞앢 a 9_B(; {"z Vo ]fh"&Y8P\c7۞eG V+ ,Er B6R4r7uIxv)U/s 1Vws/SrXR}۷E'0@[mS v4o}0f*>? 5%mM:31x%G`BJA6?_mag4ˁi2rzi҇캧xL hp벡dgƚFC" JPlOA:?->C. B$vz{6QRIԘ (*Ҵ&]UvT fij;,w'R=!kɵ$oh|ԭǣOUmx DdM}$ [[*6dQmԊ0 SƁ/_꬈ì*[Rr1 ޫc>6VtW_H_ c- /FEǜgX']e2f>gV\K()~C e%Ps&_W(~WOꔗ2Sɀ :7ɀbyݔY2nYKykA_Ak^)URmN1$9G [h7һ(hiZ7xD9٤QAm#EA@qQPyN<躦uy Ox$Bw1lFr^X^ }!"HxWٰ+|#Wt_ =P$aakc;-,?lFw Y)-Vm\bz<풑K,VW#Ίwjɦ6ĮnY93LQ?YZcm>h'dH_phVSh-Ҋ  wkҒZc PѢpF L}Q3")KT3ZR'+"B&-:(XVs Iwx25WT' X5mQQI"vͻ}arLt]OҲ|չ pOW@~[] n(TQQ(X52 57Yn ۦxHY0+à,-ڝ;f#xcP ʍEFWf +v"IcJLRهdu|ꟿHQcjtSVV,X~O VMt7-ܧțyFtkaG83Y9/ vVF(h,EetQ7RAzӆv1?߂NS$M]3]#E)sY;ʂYA'عvY]=Pp{}FUQYfh>qMsH$k&%4湿-n1iEyMƦ Ph"YVWhiC!b%_kf\JN*)EfA7DM(} e{V4FYbq0ՁW.c)WM +A [&I e& ͮ'lXQ ~I;MbI3Ηh+F8iTB.Vgsx=.q @4jyY;9p@sްKVY_Ș\AǣQm+b<=C~h> P Ff"-AD*k@qQ\\ S\4)EX -qR8Ė3C[zX02BjdkZ69>( ?߭N?Xmo?CT_|aQHeO ͓0[a4 gՑYMGCNE9];00E zVƀ4|7;=~|SF\bO_ĬW7ro_׸`215${t0xc4bȻ#QfFA!,ưU"YEcZ`}M4dG]KgqoBAJ[:Rg[<NZ_ j[hj'v %\эЭ"~B[K7\:/] ڼ=(-} A^yn6JG`_Z{ǒne/2H'?2Z 4o>En"?QZn:BCUmPO^s1x߹W=Qsl/s A_y3ɍ{Yy,2WúGroY"rd >$dSv'z4gpL҉]hVb: &~Mhq2q-d(DZA#cg ʘ7s|&XKt )Fv$ ,AU<'.`L0[,9>1F9x"@(?nSȦ&Nz4D'!>QEx@lC^[Lguma2ɴG]Ճ42Of-3ʮ֨:q/[Ib*$^d*7S.|nڈ2Y,EBPeE"FC Oh.֢SIh0{N*ˉJggitZel#vƗY,6h:34MmĽW?JT|pQ+-rpQfV0pT?_׶0g,Y|pIAܓnƫUz)X(bmfLZR 4Yo1ALiS`\$=#~E[3 5^q;@a6`ZG(6b -w:eН0?`|n -^m N,VnxRTF_ө gsFRFDmn>> M<2M'+Υ po)ef{H'!']uiO7kٮgNL")5$[ks+R\S4P'?4" ֓tXx(QQ?Iiգp)gqGCդd*`ntndcznExb|lTo?=4f'7 v!,<8ե$74DPrSi_y\ZyO9̪.ƴ>JQoGN_ ԫQc3I*񪮏Z:-O;NQ͓2흵_?N% OBF?ؐs\0lh/Qm1_A*&U-k7h ]ShϾȦ zL(&R-Ez|%!wPq+35hIpq`T8>eŠGA%/ @V! rm49`lD-k[s0$BOP$ Y)1A\yO W[:~%nHo:jݫD7y~' z>euV-^]}+ڶJG"Q,`,?|>'2-7麈 qj`&zdz}0®@G=܎ust^aK-JsxKnӞns}~X1yaapM7!se$x24{b'aSR64>ZW^v?%xj/2o,r-dUvΛZ:&+Ӆt+l5Upv *G:dkͽ".?[@E dҰ,ۼn;;OLCm~:~ R4Ӎ|:s󤍔),`XRrOo^jd쩌N< Mh3*+M9> ё=iKyj?W-Rh|zRSC]xt+Es Gk~V)kW(} 8*Ѣm$C0Ȱ?Y+&}S!Jcup>0ƽs JFFxzXK=[NE D*ԇ :pʼ4 [Z0o0ޮ6cU'9J<\r)xTIWy7 ~Bw!QQ rEkPh霞,Q|aY9TZ+|2w#f@(:36Β3ܧѳz [n#Pz~AcnS(fy+] x٧'RhawS-KވfBU);c>|c&#ߥ>ћJpb0ngRPy N"c,zFqI⛧˃9)ĥ>>.o`'1bY&*zOHEo"vD8xu@[&_. «8W/*9Yvr i/~tXL:Q?W8 ^4*S?Mr#@? :K3k"[QrfJuK=IRQ`>6[+j[•8I`H`VTFds@L9nHvcjܫ"i Y @zVEvg}kb#^U)cX~}r]o$^ȗsHnϚ\b&L%X)ᰔYMP3E!I5Lm32g$sPN$ov *׳*fu4نQ88ܿV[dAhۆ>Mt1%i-I4ңoL~015l9]w x [_|"GAV#>]ri Ĵ=M0{[ %q6wsdXg􁼊K!!JI7X~# /]6p\Λt1Q7keWy1Ʊ:n2v^ߪ]R%-" `1ڼVȯKc'! OlA;8VQ$zc4MQpJq0)%Mxj*Ż@9~  lkUnVn0! ÅZu#Ŝ[W .:kN!i5Pa59"S!^{}?Z+/D6 ?hoR:4. $IHw{^y+D ?kn7f4ao &sta60X3/3GSf;:;GW-0[EHpP~sepnzRIVvy)ov0C {E."D#q Z;ÝEk ez?3HbjB GQWC9/TP)[唼2OQel;A_3eFIK‚yic(7U1JǽF(_JC0ZR#AnLFW =DS2,z$9.f+` fA y=y%xmt諽+:G0r/gI_h ?hko\7M {r-'׀h֥.`9bY@C\Hi c̐Ϫ}2lmQ] n/d#? qF&A,r;:T%>pϵe7u2΄e]ɷ=39~Mxxjk+yyև R,@bgQ47`(ȉ< bCNKdȡdT iI1B GfL@?=꒜|g:H#ϳGg67~7pe} !'ډL(@Oe҃Jܲtxxy)#4s R VKo>_DD(Nj,at18_. ұE-C ex8J:ƌ"D`)TjK5 5s8tF}l ļ-! Zbr8q~~lZ{ql*^i]:V\cA{ƴ` j*P%{Zh]mV<38P+OfZ[> Z-.)ׯCvgN4*ev]s6HV{V  FИ]eEF\fH1#Hsը:%Z&*H Xk*%+g%D6g뾇v##H*S.'t)xݺJZLp>b*+e"tb/"޲`'rXﺠG|'Zp:[o$2Z!-/T3iffǭR7 Ru%C]aNI5ǚS/2R'._!ȄqKRֻ)ڤN=o9c˯,;;@}31°ޒ{|8Nxb9Z]ڴN&7QZJI g1T(jqe#8 D{.`d S`_5o&|D~ۭe4MyG ӷ]ʏ V/DhcrIJh DˏUqН&jn $V7]cp6m{]͚:ǶB g`qsk_6 s FKzl;+I.o886SZ^"neb٠/áKD3/='ȪB8_,P.B`kE|z@=uL6 {^GDG*[`j#3{Vy.qoPϴ-Ѡy}BDaOf;a^Ya[bϫɁV#k-\Hp4j}ij*͢&orV^w."j |]lSG΄&6ocpoM37h_$!% :C6}(Soފ[5b#d=POU3эS)s׊|c1GTإ[>X^ʦzʇ+d="LU{Aɕta#i^`kJ3P,J&\@__D{0 ,J3"LV0GodHB1ÍR#Fȡ(թU<$p$dnIvõh.Gi> <[9lԹT^D+<)OӲ^@]'Q1; _cy;ȀTյ4]ɚÌzئSTM*-akx2GF ~bt*[c z~?  #^uH g&J*D6朼$ɺ Zdmb0KZx~Lz΢eq#ZJ0OĻwq pRNœMD)'ҦEk}[% yo1bw9wIpqNn%Xb8@x X=e`,nTUnan䆏LYY-mǴ #*ƳPtvϗ$;~:^-/P|uC@oHM5C :>^`\0q=ͧ,jL@=b>d I[$"G\ Xv_=~zM.{\{gSIpҴ?W U`ᮒn<.M*L1|}l]nҨ бd$" c-FV M[ ;8v14o@LǓEFgR)M.~'@maI֮t|8! tK>Z#4K1ݕPs0uȧiD$aS3y]qVw\Aխ[ˍ>0Սy[|#^芉t@%`Z w),X8t@sNPq $KVEaA&;` 4[ L[ H .hƴ deK1JĺU ~ѿQvHPӶ F-(Yk|}N/QOrw'6zQ.Dah6KثMm'Ov)D ;8ΚC!vSG }j3>a J!723vxQpR-h';sD4%Z--cS-ߑEw?Htۂ~ǎ.ȿc~M$]Xf)aXj%_,*VC*{T,z=mqug=ݏ'U%8o\O0pLHAwD98X5pa3CwʀahcwR[)'u 6웲3+_"4T^2{#ҐpLYCʸY:"Cy}A, d6><@Pb(PWWW~>(~ 9-VGaP~g!t B+W;m8xrXfEܻfW D_$bq5WϟrDWYS#wP;5b{ !Q4˲P vɴ'HHHQ!j11m՝G5ʈlُ¤VZfACM c j>._ݝDZ`-H4YPnLNIq&˯ag:CO5:3b.ؖ7hr*Ym(0bZ(G o*IY]KVj𑁊ңoie[5 re$C%912"1O!X,D%;#l@ͅl<sy_IR`ozd@&YOSϜZ D0"ȢL ÛKchBvM[c*??7ٓ> dnqcQZjuA 7χM]BTDY4Ih !{" 69Ti>^ z\5M ˯h 4hhiFz fb5iVf,$3Ⱥ߁S;-GN|F/GNՁ}NhT&01;"c7IQ@nWZ gͥZ,63q @[vip[$1ئ!"қ\6r}^NK%qG:mnwүW;z[/c8or kQ3L@0ތm(t|Gh6Uۥ~qGaGj2-ڦct篻 eCX\ڐt#R:{d9TNS\soa{Ú0ѮY\| %=~fZ TҩqpΥQ9@e281?_ 3)W`p\O[s)CN(U~o<C{giBD1.ib(}3q0ƻk΄Mh<ʛ Cw]FR2O2=%a]9v4PBPFR.`Τ(ȧР?aA$=^lj#dɓL\E'EF*lZ1 ;o+F|o.bҪpE7qH.mzc C*_H5L\uYC&Т)^>r-qmi.H*VbC|jC^ cLyqMVXLC7< qo~ &(^|HԱXYμFJ `Hr&'Y<4ݹt$}7 5sgjfv֤D5{F[ 5ܒgNA9>/0$3v؏2|K˂+"O0J:1ാa% oh2ʺ}p'TUq̷B 'ՍD0ޙ c6! ]ɂ;{YH׊<%͂/ˏ4d8˨@qv>qH` 2‘G{ #If6mf]gnԢnOnrC әXrYϤaLz[LK?Sމ$$iES#[z#Wʀ'+ VViQ]--)e>L|V)X!:R}ykhNh%]i E#|?+8q\YHuyx2PR跫 /Iyڦz62 q/o}̾v&9V]0L^r,ZLƹ`R;rӽksW+^^2' Ե|K&|4DFp>Ӱmth]5ݖ*_Xk]y<1Xn8:"XwW_O cSM߬]iMXFsGXąN#{ql1 "VN@svey>9/ "4:8PtXEgJKFl F/xbƖl 0=Ip(f'gDALV< ɀmkX0)@C4:'sʂ?.pę`AA_w4ߤef9lp՞z8 IS[/,vr,?@aD\/A(dϬP!wĠyn_g;m a mZiQ?3@(YP|WsH][k8KW*uD G [ z.&A"9,oz<`HX83Q6|J`D W p_%. ouadÃB,b oDpۡk39G_TsV#cG}63O3aVQ2yXꟛNh!}-!n!YG|?.Yݭ6ݰ"&8m'.DԛK 80"h~xNa+ oq緔yu'*{967Zroc O]&$o5l~KCΉy5D,Q,O !T&&[.*4%`ưl+s_<h<){S&`,]TsXU!JOYp 8*L1{C=sl.XPhh~?zMLWbjF$듢=^Ĩvo(99XAn4P][ nQ*~ &o;=sWs[ bNMO8 q[Ym>\ɞ`B]+s0O 2i-sҒ(Au+A^$ص*, yy(~/aQn&^;G6 *'V^VϹ i5BFkӤ{';W-<%VՈzōnsZ{3,x,0ib'HB64?ֈx:`nc D|}¨0_\bYKNoo0盧5vc xϾ8 01U)dz ( L]T' 4GH {>sBV_z'fyѵkz{Q8MR&W+g1<ǯEURon6'e1k @;K_*TP=Ehw]܇GJRe?.ͼMz4mfi¬$Q܏nl46~t+Z"fWǹ[zIϺpvxz$7W4'U`Bb魿z5POG:rєn88rHN|CdOI#OW MK#̋.L&>i(2y<ԝNvF,OLؙB<]eԷW?zWۭw+:ܶl=XGz}1ͺ(ӨY"}/sqMt̽?*~xNWMDYvHIdȾsٙL:cסQ z fxɁ_DyK`mKI:gؚv_ZSYa3`ISSQ7g[P7<B҈ѦtzZM;ʆ-Ao8p*?S21W&-Fΐ "/{2ǵ8pn-PL`Bz'v]=1= Ւr҅pcس1u;i >!ZkJMZɄzo0aU#!5hƃe‶`'?fJUP )ÝspiML[D 9=mMъbqdLJ?c rt?r.Ũ$2a2Z˥@ T9U  Vh~a8fjS.! /h:7Iw vg.$AfP:ǫdf<Q'.B~שsI,7L-ȯ`0ɕ^)C{d}WHD$:%įr!.`_~&k=/oV凃1([ b:!f+ow|Zhc\F(Sڄ]XahXHNdCrg5ϑǹg< )YH2)G} 6 %ᕁ28ph5v{1cUK0)J,I8 %8>2^p"X9njG54x $"vJj䏅ב71 T'`HӲ텬ѮRh/ciHR"X]z'AyJu9NjVG);amaP Sy%`+y8zuS^ '1pAB'} $$MTJשf"f۲Bųo=.TИz$"!]JsnsЏ'0V{{hylfoI<~nⲢ" 8Sy1 R%Vx(;UKYYʻ7s8-:;aN:A