SQLite format 3@  .0:  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  R!t\L ]]]HOL-Proofs:threads=4elapsed=362.503cpu=578.456gc=75.008factor=1.607zXZִF! q]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3Ǟ'^&T"/"Ƣy =7`k8- ?ȉa𰬾vbB!Ģ .9ҁn-H+K?hG?"嫮~:ZAo۫1~>p&91_Ba{&L j,m"JCji@1BJy}ȕ檦/L(i_EHHRBcjP,5bN m&A}|yPʭi2! 4A&U@_L m<8`^fb ; \VV E8"&oLJj 6 I y97-#|L==c A#aGr[dASn-0`} 78o>93#*٢ ~LO6[pD6d?!m}lWuAܴKPDڙ Gr_P.+ꙆyDS=o;|ƋjHQ&qmb2&9WGP|t._=(.dh+Ao ؞HH%t_-Ȼ.'A{O{xՅx%6e͹nLp{ȣҋGOuw'Y P}m9\6R~YˬOp|+EFUQ J37hjC~J߾7)߃;oYYC%3 ߒ= f|@ XOZL9ș-r48͉$m*`c6,1YC.UNNy'>KKh>ېJ!]RIx$w><ڐޱhs^(X+rn0 լ84;R~g*۞{Is13 }j+U8Ta40Cåha)e9.$O&0O5 V#iN59ǯ ba.;ri㲦!D=Шz]Qpܕx  ! HOL-Proofs    Vs;ʋL_of/QEA|ݪ"tThQ<ireXg҆.=#:lUQs5.8"1vLJ6Mo.sh1"Ooĸr#2prShV0'fYoކܿ+v~vibZ'ͥ*7,xv~~x^ Sy2ؾaZ^3}~oɨ.w4ڪ U)M=X"i+'[v^bX7smFH3l Z 5CH%CV「sBTZ bK8+:JEmj:D=HH].ZUq eA(~m,+绰 .,H)Mڨңy\*s|v[t qL>QK~j\ad>vrI%]{R\j=Zp4@ _1̂j9TÙKXT`BsBJ|AGh!'4}yc]:)uzr R].&֢޼*e3ǑGolȳ@Б[ b gI{SúG~T+U^:6+7_R29i7EK \@rpXkgsY4:Q7 ; ZgC.4X3 etzl B/!%.Jm쨋($6gHDs*VJ<${b񝞶Keؖ+GP?^,:At[kiIIuJ>j.UmuB9ᘑy7nB%lt#y`B"1o9wHe}߰'ŔGeCqQ',NR><÷*8Z(ۺƄjF }B؅m֖PEsY=1_[b`Kw+& mM#=*s;..[^w& w*6o7L-P!lȮBk>VH(XE:HmHl FtܭE_eY %_T>fpڌ$f;6e7:e8D'iA,*O"qsVkn6ۊ=[_- qμWmfW΃'^]yD2/Ol (‸ '|*Թ`Byv(1rF//)i4kf2ˋ):feO=)^{P\_e2ɾ Hopq턬-!hR+n SL4BījKe5Y*,>5H8"j5<>fj?H{ (pK) lQHjqp{ ˓:՛]e(1K xIP~ď.PJz]!N5WV=PIغHl171𯞼NҬIHg0Ω,`PgweWvJXT5!1v2̋;9r6/«ἋaIHf/7{cu:]eB{h&r.n\Rh,y]xTmOr̺Ql,)}ؤ O"{Iьsf ¿Ux~5y**?"ɷSCqX?å7m$Ikz=u̓}Pl ȊX"aޞA6 \PbkVy-T%a@J@Ll"'>?3Btdvz89NǑ"\\GG?x3:0\F;liK珪fpUͼ1`wwn f2 Yue$Iu)Xۧ.g'_$xiYPkv2}e[QxӜ|'b\4Gaܜ۱R DZJ5$:-1"?p9{ݣ9 ,;Eճ~#17:00a~e `L|u"@zs q/IϥT%,?"Hlsu|pҡ]R 8nW]dA'.I@'cVÅ6 /rNy&]N>UФ{lՑmKA^ԡQ9 ak=v`@:24B sjGt`4H =2]RSц9ԥέ!To!< 9 c]t:`[>bm~zb@{bҍ./^m'-A*#jZb.uo&J6yBT"e޺ڏXP3"B6##>a 2 b_F9틦2Nq tlw du&v8|>p vd ,P(ܨʄHݡ[9J=V;+W1ZXիa B_)8rU4mb䧈0gyCKC]*#pLek`ݙԟF2.F—d.(i`+K>ivx~,/n;FuuD^9k iU?Q:]O둔`H0fg 4DeU<ֱ*79OLQaMt6aܾ5^ֿ1 ^E>H@r4]eك Q̷ I!#"PA]*Ƣ`5kJOd =Hi8/:_ۨRVgJvWV?e"OnFϘy /FwOoJǧB6ȥ;r5rmx[;,ڽ@1$3?̐?,!`Ͼ@$Qm-[O]Ù'`yk ߹ZO87JޖK/'$ Zhtd+?ޚw bfPgUWBΞ:U3+As MorL<.H.8f!nwH^ $"t]Bťu{c)W9;%wJ0-*2ѕpcO ݟA҄g1T /& aNI8Q߾q_@0'4͖'{mP~MLD[p׻A=<clM޵V ͞W3Q0r> jp"&pd7ǃ1YJMtO9p|ViJ5UfKg7Smk0zo(iRح+&̤%z8_ѧLٶ1+S4w%GB j:)/cdr-%/%BA&^S #j0UlpyN;CߗCĈДK {Bٍ큂ϐ2."XJ薼f*|pў4JTr^ & 4vծh9ҵ큧Γ$J}$!Wx d]] ҫhIf:h҇-[J䠬 ]|zK0sXf~SLWܬ6bBo8^6$5 /Sj>m_w#&};PV l}C^|"&ܚB%x3̓@WƟ*iZ]/Q3jWfz A)+\֘KA^^GFD'LZ;y9ּm$GU p,ƥC6@9"Z| 'uxs%+hP= - ړHG;2Vֵfh(ܗ8@0=؛m m*Ade-l䃾 C^4trQ(6'İ_wOqd%6bə]QTBt-3!䆞0sDqLI>"Ȋ w h(FjτZFްqqB 9swzw@#d27ȍY:!_P㦓枆dnU-\+KNU4 HKezK5lBt8(a:Wm nSi5 k6H=OP%&=.H|ʮK%,a\BH8΁cf%#5Ī3h-HK@?)y+;xH-;a |q*l(Z1ek\>ajH0lId|D僡aǸXK/8<xD+"kM,7 J^MFPFU[%1 hx_wྻ$21 X/t yBvK&ھCE _N Z)&d=¼[O~(R=D{qgE'j쀝8]a{LӐޚyDN&᯿jDg_%o@4%>Kx +n8CnK8>,~djvpV>O楓,T1SHȐNK}ѝ=,i:F#6,D*SyFL oܘf&DJOb?f5viߡ.lzAu5pHfNfĹFl:#S9:ԺM&Gᤌ"y=$ns3b/ Eߐ]܍˨'՜!Fȶ Sk4L|0( dwpL)oT_jzPYjU̒3zxFw:p]Y]kzw&<=VIQ_MQ ?HujCL ntK@9ɂ:)B2Q$h XiTg!R]I ]uYMwqKR?q#_x)5JTZbKcKZ=~;rF|h&q/G4Ucw/ҿ\o%HϻSA7p;ڞ0FXOG*M+VKnnx_mZ%j#gH8#O Lew 1!uJͨ9+.5uNƄHFJ}΃#nXfqg庛!)BLvѰVvGξxQbsu*XgZy|M#Wr ,!qF /qբt`_.5ӲUK"&&l xVcDdtN>O} !h7rMM1, 8>ǰ{bWrFW}~b")Im6F=fZO T$(ɦȧ;˺_G EH.5K#U n H+M5ͤݓC۠Q*!fZޮsP%*f\"x5P u0xnQnÏ+ aHrtmACR)4 .kgE(0T^r]5u 52˕sDZ]ҖtKՎ{ ERloCim[E޼b<۠aW@qõ!XdY[nf:<=w1s,Qpj#`uˇ _C8JjRogB,"kJW$X (_ߒ$:xw{HAXХHvj:*?}} e/sB~V2j 4B5}Mˌ(+1Jrob f˵EV9Ue/W@CPRv\ XR J2d g[icZy}eſ~98ѝ,ڿS6%s RyV18bA,ݾ0C[Q\ԢYyCёdpy`_TjB+"{%zs !x\8^)?-Ж_ϗjS1j)3&>-IxY[g5l~8J ݏ 'wO=.Xc,UK$" ֑g>wRfg4$7'Q@%+Q55 P?SȨ IH:oBvX5̋:Cn x6F9wl~v>CIn[Pjp?PI(%:V%s\ rv`[B+B|IH0J؉>:N^ׁܺp+Z^R;usRyF= 7=. ?4>ֿ*-4t虢^! <)SA$' mVUWOpcl0)k@m–5)ҙۻ p%}ZKx+(](.*dzCM29TcO6&ar$n$ s y nxNHhگw( H`DDCzXF]K6~ޗEq<=<Ȋ8P%^# ҍUy%L59Q6?c?!fFYKU!hK?2 H<:v GewYyREraߐƟLT؋7bx5wPBp+@|G# JDsѱev9U9re+ϴ7/-ltl0dn,v7oӓʃr!DL {$ԀqUܵe-^f/nGLlBB@u4, ewd hh\ 2jy'0ƭa@@ >D@)/լ@WFLU#Z>?:WSZk"pGSCCL/&Gf<& Hzfj(Wf׹[jY9Y.]ARdSV>h tZ0sa&tPD2]3&*Šu)R$#t%!厂NM6Aw0]AFH8>uɛG 8fZoOsW~&D9-ESrJwyhBJ}dUdJ6|lشwqz$ Vh'\UAJH?fK f;+KOSHiDةۀH Bg'{8a RW|lg< ?#ՏQUly_,}zPwTk&k(8V;ˬMj/{JF},vj|Y f#:bpt'5r#RvZϩP;: ,HlPEY D(R/9-J/0[ +!]EDMbs dSiۤ|bJJ]Ss_C)#F&}b FZ;EWI1X}&gCJ/nԦ?FY0r3e;cEuItDM]®H[m8$囂^&x_3hRlHH/=j\WRkzJxkHRv '6'Lj2Z|X%RRrK𢡊6j0 ^Fsh3 MGE#2NR2ɥ3{e\#<|$.ֈxFDR{3Xdf"G+NuWțbCn&YhVkz†;sa"ͳX)KAM 8Q+ZW->~ sCn9Y =J|dl.%u25桺NT PM68Ƈ/)NU /B;-1)pap&}}^5CENϑ,e8|W=j~pBrHt2UU6M؏p`LMţ~v2)!-0fw$)x7Z_tAi,BBV:~8}ؐO~\˳Q-imQHsNrm2XnNK6̎s=x8fQ(*SnMʗIGmm+!6l3/Dc/T5.TLSS\w5XK(V,$# QInӿv0ŦTK/^:j;PiۀrA S!I݊yjتWI՞ؒBgE#A |Ap'j6?Hh< /b4cep,Cxɣ-7;0FyȀN~Df3-=ONoH^%U=i x_6 >lv&`Pte?݀1c5=DLzr7>7ioognژHtE+-屒/.*ʞy ?/^@usp#f;\9XBm`]s$ w D@-.24 -zTm1Zg}޼Hm^if]aBDq SMKCDvuiϜUB84(WF jv\L~r0`&ĚdQ]icP͢JxQYHaw/YxYg5bƘ/Mq[9_/'^hMJqSloG;=!lȚ4I$&j~,^iÛuhȧH8룀~#qŊNQ;.࢙3YT0Wq/XZU䤲Bf:sU@zu02O}a'CV:6dLE6~|ycYkzK,sžޯ^ʪ"]o\J Sx{MǸjGӨ:~af$IU͈r w}Q843C_6ь=%]H+X?DasXA J}m2H`kY^ x.Hy-[Y(+~ƩwxH.eQ5<0kd}1?iX+:K)'zt\L_g:kq!]MMLl[[9tb՝~SN9/=Ϥ!Y[rtF)!όC"wX@2uH1,,*CP*4Ҿ0YUAq(#Z۟EUzfe:'ڹ[]Jp=y]E5t7+sFRp6Ri?ZKr9aEKmq>q~KtiU5>P (#?@]qgJf P(#h*SV@рң^멪pP&YZA&aK`gw腥OBń-%<NV 2b Y !bޡfP)%-0i$.*&r 4 oJ|{PaN6V f1~\=3X߭Z"Z?Hsr |ڶ|1!z8QCufttԬ>kϯHYpg% cuTa<Л8|/~%V*elALHvIʜӇëtjeX<@ N9ّ5obU )"}N3e`f &ivrD3ANb#`к4/ZNq;R%x1W1{*Kuk7X.\0%5 ifG?C6ciFA!{hٚR ,/L oOQ/ `_e9 \y ׏vtֈD|VEr6Lw6GT > ZHc &Tɪ͊ѨLUc-'ޘjOQ{@$CR~:s <PJSv= C !S^8X{?H91wxQ )щf{u2\wt,PUm!ͻՐ NC8h`SZxC?bJ~.f(g|>JmDi']j<.0c'bWYr:@%_b9W\5MlME{yv3Ø`Ҷh +~PI6&moC$jse%;ok"H>i>O[^pE匋yn*=?ȳxrE9IOέ{2o??Cl{/צy+5B>wn7“ [ yT3d[3 jJS&ƦÞB]5o.g"čA.ӏ_b,L sj>j0+q 붹;5" B~,l96{f_lϘJP$^- v[%]},̰|Xih #g`b^:ΐ`j2Na"iDc+2K֨% TftB|]AtbU$(,Lod퀲P*1xTs@m3n0%??"ee}8W6w tH!Wa jʙ޵ X1p6dD[T?n`_f;ͲpD/$\f>p`M̽0tv" [@yWw;O- &\\gzHo>Ϫ1$G \Pз rD$ Q8&O#T=8wW|i0^ysW.GArB}D>^%b(])`'[-Xq= L恥=o8llTNp`v廑Y,PtwߧC 8[ĵ`J0Tb~\R=ix8켂IWb.#IJG>K/^fJ-ʗ=xp ^܊Nz% ~ccyOZ0ˤNA.l'L9i2pˬ Xv_xx8E4&b]\2lo8sC)&sQfEqDhHu0hǛԿ}VCA=J+6D#ǯ6 )v[L'ɋ攳!KI3yOM4h4˴Zab,il%DIʛL#gŗ?i 9X%^/<9R)/I4he s;^SyP^<[,MTŲŷL h 5a;қ(3a[__by켝鰑Zdla6S:VԷ IFX4[KG,U"9yooДrV*й ܼ}!TJx;+B]S wG]<ֽm:TzU Ҩ, ‹?Xܟpu6Nr~V;b+CE$f5%E5R˔GkØ/M&_^#w_н%BMN-'Ŝ q/eiuC&W`UL2/b%r Lo,JXE3rrRsI^+QNC T/uT Qnm^,Xf#R uLJ_:!_M6R|z<UT)g?K= lY6i /&raa$FIS`pD{22iPsZ`¾4l{q=.2$;/h- F֮ 6уMb zadf~ Sw/~W^Z&~ʪyf2Pn Xخ5̅qa*.%1dR}%s@gRekUWy'Uc~?r[ `Yǒ|{݂$Wi'cYB.;~l"R nNIs ~{ |p7Qwas<ZFZÃK ~;+XR^dl)+uuuֶxlmyAPpi6_? Mo2e͌6,-ۓ"5Pb̯*CNbSoE *fV NlN".&k8rr;{ DO41M?:e;հq4mFɬ/sqpzַTw%RF3i# hfbN Hӌ ؼߔҷa8tBclYw!didD*nLQn\$ңbt~=e*Ӎ vl?:y 鋷́$EWϏfxZ`Jnp8T5۩uH#IuTU/EDs(.$K&kovɥVsGVÁ-h/R-Drh_ԖLw{F!Xt1WcD2W3jr,SәF2Ȋ2*B<+FySX$EswQhJ?Ɣ z> )F1m9  PzXz*Y.:LRYyzj_dq;eЄ[Ɏ0:AE5O,sq(\g1bU&5r"kN%WW-6ߥxΪb߶+Op塣o^ԑrDoBeT\BnU҆^LGd}#{kN|P s oiQ -9ͼp &CZv2Jgw2qYY{ YCC5Sk#P{Y=HJKfi% Qs&۠Q*n}v"!:Œئ?4zW%H!o޶$gBp|~Ϳ.M;5}їDEDW e#jGʾ(ekzAMDk'Omɟb>ыǁ+ƟF0^ҖHۉ.<(rR[J^=qG N"2%{ %9<,TlE['csLcbp$!TT~(#;Nb+ ƌκ`4 4ҟ{4[E H}pCDg'hc;qv˻~O>$Qut%q.]}6]Ji@ c%|Tw~%2}4ܣEڿ6z(4p33  s8&a- d)J(#HcOuMi, +*$ [r_3R:!T$ KV :Z۵ K^"hvL:P_6n^jbj^;mM-ӛͮ.ϴ*fP a%2ٶRMZ ~7蚵!vy,8BjsVHL#mA|QӟQGrU7КЎ4^ )E-^ ۥu7%5ͥ]ĶRF!vZ 2!y5I96*/mjVɻgջ?Rxi>Hl``"Ȕ-@fb;C(=#Y.Q G_gqߢޱ /yI3Uc!<. Ӊs AMx#ِ6*SW ;:\-!d"v k݄s1XEV\gvt03gζ{^UNcJa>г+N4/![Pҷ9F@ޞVB"OanzөTAv#cFmGqaN~LDV*j)f>#W}Vÿ8L| z3,'Xz%G3 cjɒSz? +V朁 b|pXyM Īqsx"^&UQVP`6KEXv> 0{ ߞ]^{bA;"H@KI2K޺IB]VLlcz>¼wOPЏ}OCⴧ1AG~[t^BD5y)cӵk>PҿPx.RaKK愇@`^B)Vk} LaBu #Nt^Ďur5}aLJeK~32(1j#$ mWỏA4<#tY[`s|-eW,f :/龵q6{Qp}D 7U7zwMMk嗜 묟Ev9(#@7H:8`?oY[q"&C$PkR>lg-y%XJeh[N`D[ 3pKoJJjzG(ՠvmbDWEQuf A;50o`&& e47>Ȑ %\H wۨt 4rXYےZV1UC`ZD -}G;v5|Q+8mx5YfiDNf 2}tMa`z#o>]zMH"bx3g oz~"(*xWլ I3pNy\ ^Xet"|cDfARW25t/}?^KD3BJg 2.$ըNCqzLY`ݬwTVd}Gb1@:NRekVG1O5 6cx/GQ?!vN=@~QCD{b(xmKp=!ݸް#ǞKJ "6İ0pT ϕ-ɂNQֿSIOs_9 Y館SCHa,4R B1 r֛xBI'%[ Ʒ%$x+Ӈ_ܬ;16&Rh%ٍ4 O6^kU@`"M|saLUF23EUD-[ʂ$r؜J?i,ktz(B5p HYMR:1+vQ5@Y\i7Z@G0vfvӶh 9,1ӋYyHc3x=&Yt w77gͻL#:z"èuRZM3.&Xv)|ot-Qnxteϥ%NQܠɔ\$eRvCҾ* g YV+@ko-BfCEŒN50.ie,WЗ"[Hݽ~ã_[ 4#<<.&73:[18nFRG!h>c U& c\ZJzI*L@SGaA4oX Ѣ!IkCu3M&&ljVuHx{Sj?ISk9'#fah`[*hBs r TɩbH*pۺ[]uVSaXz9{we! 8HU0VqEfg$:1}MSkk=wؒ-F=w,23)Intߧd\Ղ{ X _X$:x<ͺ`!_۟ K%1Af}t6^nx4H LSY0g`~O`}%Yz0g83"BpP5*|/(POFUVa i~G`fB_?{;mMϢ2caگs &vҜߺ _\lz5CT(5.u\jI 0 ;bn=OhM:zlc;dAp maXs=,^%ޯ(4Pa%h(73+Տ$s=%.yDu~W4箛lAPfbJxb%āC/bX6 Ȭv%DDX}zn{spz; j"+uD&ީ[ڿ.?^P $4\\p8?5{mY iܑ|j*MgiJ0* ESozPަw;AҪŷrx1K; D;x#)ZC<tڄz);EtX)^@.9nɌxlg~="&AKgǒV>[.eِmz9 pnҽ3Y+l 0JE 4h$ S5"UusզD*Fخ; *iV(nsfye/5V=X߶נK6׻/XRB4ϔɠmz?ʒa^ BS`^-+uw* ~7l^ ox4 ff{( K"ڰ̓J/M17w&yt2hV9OȏWTF\`=np`HW_2,]ΰ+lЍEEUl/yr,ހo|f]s//1=K)Gva@5/#km(~2v^̆ 6 ?63"-n޻Ay- 4em5D_ "D2 ӗvt e7ֱ nW $c;ēF<0 `)<ǦH%L*TԿ2SS 9ȂKp~H3Ouם+TZx{3n% #ZW6k[nn>v@n|&豛$J<_4w"D@㱶A%miH69I0tJrE3\@c5xQ ޜ?*Iv8"8mEF>`0:S66 gAVGZF9+or7cӿ_R4B`H/,i7@wff:aXQ(e ^lkpJ fE% B-n7ֵq0֐؁ddvha/z 7a`l=־) yl뚑SCHJx _&,ܻRЊOq>x·׎yNg?-9m=muYmMCAtS3_m HѧBkFE LU61c@JTHa^%o2BD5`w~b#m5ӺCRؑQ xySW-&xGNpWcTy\`pXTN#8]]k*6N4v2τ&^sosU8]Aexj| >ZIӲUܙZW| @瓃fEn3~ym묺yTQ,/.̚`M$pgHsu,W*0|_ U7~f\6m&?HOUUi2YA1f]S-P6P E*PFF䔦4}97Sga/Fpg-;-[/eTGI ^G?6:jKFRyϱS=޳eI~z{TaC㉮= h4eCѸ09B`\a({sɵ"oMB~I:Տ(`yZJ'͉@To%V]`-s ]ΉLc1zk:$+i۵c9Ryt_}=#9K=u|?ZjVU>hЯD o Q5W>u#3zF& {ˊ-ȣP>!C=otu&˷5 xD$tȍy9@l v n\a' D0+ݤ-oыqC&kRGdႾ$0Q~"wΡF""zs Ŏ:7G9c`wC|MiZs!gwϘ4%;*4jp$,G꩟81i%QĿx7 (< >xa9Éf8=-+=,8oeN_N5@PJ]B6ýkhe1Jr|tB9$zjͭU☮wQ'T 7^aȒ# Q3"k%soZYI[<`@S=12>S`vL6ƪ&>nW)Hi3/fHCy|UM" l_,~,V50~-[Yҡk÷ro8 ?PH7aHqCkMAخ(ɺj5t2!TÈk%NO•̮=]/q߭Zb!kEb"ɋ|`b &]1ia=hl;c&1Z:?3jg-<7FhvqpW]WM:gМF'54\6bP$?EUtM)A6ղq0&5 }(nC@ȫQι aO/b#`_})3GH}ZKU6X5Ы+V͘LXaB'vdF[LN>#OG31{ibż<`B37Q(mir/ݟyzZd9>iiچ_yP;6JbKZ =Ny_dp!rvv'/H e'_[ ?zGMkPffrI8Bj q!(;F ;ŭv 4h4J uُВ8xױT=& ,_u䘭&ױ2z[ *ig4q (">%`]9x-'Ϻr_h]%ZUbvFu!cC~8V-QA| &:DZfhI,}4K+.gqLK/p3X_/}0cJvyk)d18V gbkl wEp#$Zd*L}"UӘ7И>G0y8T "y(knxqɝHh1]c4S ⢚!p0t}NqWhFB/ {-!LyBMOx9-2~ƳٱgYZ9e76547038242b3baf3987d5508744803a61bea31795f3a7abed9fc1d9546e3552e224994a90ba84fd8ebdc4d7b796a74f9aed4e9d81467a858b66dd