SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  ?\$ ]]]HOL:threads=2elapsed=314.274cpu=583.848gc=57.560factor=1.867zXZִF! {]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbGw7x(-7%K[7 6:9.e%#Uz(ZCUd Iaσ|uGeүDnSp$` P{%UFД.˂aT[jܒl5v'~PU}Y}SS&/(]͝[\r)\d (6;+Q/M8N/W '<@"yF,Su K濎s5 %h䏎Q|!GG2djj1Z[C5\d:eﲭv61HIv^}/A,2?I[{3;d$EǬ7X'q퓨$!Pݝn.EϋZnn%6#c'h,{j?kfqhZ`Xr ~q3sxΤM`S~ ̈́5B&᪮_8Zߓ-27W];w~ xM+{y#?˿><.Ëގ Tk\S~ʮQ1GZԣϢNw> ` beJ۬-_f&% f$c)0dq&'מw'UI%>}cŠy'Q?1+>dxs8̽ Vqt5߬U|>YXQHh,qRn"ŧ򲦿 eRYR?}"CelL8t(碴l$Y)H(˃/ 50'v*γ.ͬQfbrO }_#k*׈53_)< fEXʣ *ǚѓ.gڪ)ESp—ZD;Hj݈|ɻbUwDu'qr_[p[xvII[lM{7*=d)kyŰJ9Ia'vPX:zg3\u60LՅ)0/{[kV p'9.VƬ#4b]X6#Q "117~ͯ.q-L\sVBB+}MlF˦MJ9p׉گYA)9f.gnݧ_pg|(pg?=+[6B4K=E׾ odЦT^{[e:  HOL  O˘ڌvҞM"?(ڝٙU|x *b `_oV;P/TVM6'r*Lͥq.N {Dn[vЬ+XCyJHCP8x\po'CbkiNBe]C.{t5!Mr9x  rTcP xV:V:۹|di&tB%}h#% ( c&C_gLz)x7B.%Ph;)* .[J9]JI SY(tt)B/ǻ?,&,vbNfc4+`+g1D\otя3y*-WNRa eւ5&{'pj>&Eʄ=1F' ۞!Mt2w~Ҹ\ҧk?:'h" 0ǬS.E եΩ#Nۋ }$6F~˛Wa쑑Rϥ;x iZ_7!/ЦZy)Ć30r1?A{ݙ)վaX=4;]nbZk{ c#co4h WՓ)ڏ Ă] #=YKSԭuc*#y]X75yxSf|# AL ,,6AWso $;|漿#wUL,\KaOk:\CJ[ 8\]rl~k*bz9N0ԥŭ[x>`%U$GP<,n'qsIphΦzDK\I;Yf7CH f(쓏:l"(`b -Fwd`gҩ\g՝<Do8c|4 7@BؑIs]u^e SC{Cu;/5rk<T1jG>Lnk2@IOV ]]c)1;!XYC)BA1_k#mK/]؄|_L "o4b|Տ"Ч+ᭌ`.Ĉs&kk$ >V M:~}{[(WjWeD,tȯNDct;g`4p%Z A 50p氂Rjh M3Q_YÚ`u0NN@[J6'=MAw<ŃpԂnq-~&K )!Hm5D+:C\TUY57.@l,0AnAyy+ޔ8ò<|3J[{ךE\gG2k/fꩃ+B'wBO PHKPI> P;N;c64륨,+dVV mv5 r$^pP!皫&xD~O٪ihtdʼD%RZ/*I'pSu&_b@a|NWJhv"4{o.^O7,Es~4U,..V*n=ֈ˗bݙ:0۲0m q gM+xU묄^MFP]&䍣0zUz]pyʰG[nŸb|?ilxvFԌDZfG3\.=E'hl\ƍb2|N\JlwAnϲї/Ϻs%E<i!cR0 {?H4AJ?[YGr?1,ZrLWn)1G}a[Va$=ro5CCO#XK#%pN4ɷc: s񀀜l_)dsg4{{M =_d}-c&;񜡾j\@)InU~G u@$G2"^vpiw W\sTQݮN#wtcA6Y;ոj-|lT_?49L=!X|8q8#f88dUگCH21t};+t0d< c㑝L]tK9Z_4jB?}Gc=.\m'LSJE)$=aDxqA}3-5F}E7fR• -yށG)l\gkܕWwHja:Fw1a>ɸJOCw[dUq|.x2nS}$QMcܴɣKQŨQG٧N ) i/>[=dQ/9P([E?՟5lݻqHjC? eN`ig2m Tt̃r5ix"URӰc֚@/BDH魞,vrF %"@Yn-|ل> l>DQҕ} If !8' {SIjNOO ¶YSaso-5]Fvi. :V @g]|~}\LHxjeǺuFAsnct幈VS1Ѵ>IoAZ#-p`U(*HaU+a%./?[yb6ZVGc ނ 3yw=L?\JYv{,vaa8Uf[pi%ջNMX>0Ht#ݯF qg!y Κv+.߱8' Z 1ODS~ڨ5Hf=9d EZ"ߏ&4 _ 7#13$.Gg6!ՎYH;y9K|}u@b3[:+P]8=*سjai'5 94T8e,W!yi':rӨX}Y" }{Hgk5ʎ<14rt_H5C}o/eĤGd^YT8Fql,sWh۬OUlUq3FPMii2gx,?rc&=K7XTs P)C?ٲ7sRF%Tƚ5&6<~4G|:'P UJ'0E?(fZc `Ozr>$P8:nfo7u pI)zL翅a**,'Jra,MSB]V]OdX2ڎ3W] H9E>ڝH0\^h.39yN=pA -[i6c>O!:܁\ˑ۪E=E!NU( ϋiOwKڟ~zvr1$0M[z=S1nJA8rN)3:k5+ņ6'n >Hz(=R <ekVqZ,tmiRnX<DXd@1DG2V#jyhu)(k֢ $UYXьI[T1xw4w=;ZƿNnjWq^`ܽ|k1* Ӧ;dcLUa^^p ؎&e:NJTxů6pXNJH n _k_ɒ}ts:HLdJ@h۞rW!>;Y'ck]2D'-yIFo6VgeYꑪ|qYB?P|^B@묄,vfz:|Xn5~Bj026lYJʿJqa$ ]kGxgy)=Ia+qaB@n(MW@iQ6EM!!*XfuZ F P]zxm:|$_cj*.LJ&GZF&4A&6&JM{\  !^)8Flaw'CNl~}0WB^wx9La,˥_P9˖ҞIꗫwΤA%tDy:;qtlّM=rFi[~C # p%zbDf=sd`AXYr4@ DO(vDݖUz)9șԀ``zt@޾?v: 28/u0'b$"ȃvCJ|wrWS7ʸ-!=@ٶ7ML8Uf{͏O/ROjOY>MU(U^j1~twj4təř)-YLuBz]"/]16fvA [Y7Փ:RQ"2`hҞӘ uܺ3&F2p[{ Cz;gWG/se6sSKxwU]/k 4ww ]H܈Aqd~аһaDwdF>1i 0EZ- /D7;ޥ F|:s ՇϓiP$W @w0T+ψ1 ˅}svjءxa_{ çnom^diSL`^'`@!;ʃ~:ej1 p=c %,W9A׏t2߹$I-]6f嫫Ϛ'0i2ĩպ`6\hOy03ls: RDmKċقZ_Σh[.1ޭMj՗6IqD `)9dGAQd]"qlpdk2g\}!sS# w}RI: MJ\A*Mh#!aPnooSțxN .(+Ⱥ`GE"M46jǛ:10\x+)fNMP1;@Z>^IBZ"dH[yA}-Fi;r':%σWw1b*"Zއ_2W ؋ 2T4J"N6o&Uta]r:gYZ7zXZִF! \ Q ]ŗXi%;BQpoGVIs|UP&/펠Xڨag˔ǙzF'<~JO,t/imUeła* `ي*HШpG)Ļ S,}qȔәDI̅<Bˡ>?;w":X"%#IV,>wtVXB_ikcEZ$j9?lkHIO3En]wC)"졘M^fu@WRv ]/x/oЗy@qB/Ž#La?cj#DI`^zd hϬf]o8rltpɈ@_xُuwh d:x=,_PI&IACAӎ[ܐ|h t$>+1fjzi#t~] "-n'}zbO=vg/MQ*Yʄ z}`,,a/hҏI:6{ePwS鐬{U0ˁAjw}lA.Iٱb[A^8|4[rI났GhkN}{4[Y̋.CM_$ֵ!Lb*rA#GЄsA"ݸxRUT/,P <Ԡyziё>8R0gdhãh~q@T ݌ F;"#`#͝!n:k[ؠjⵞ>FJD*{ {Avh%m4q=fBr40>◺S菈"q~^g=ZZu\fB?dp} :{g'!;;sH+n# #KyM]עЇ? rx?bќ=VV @THf (ܥ #9@hE}!e(K4[wuZg4LIӢ8-P;_`I=ܑ\Gm7x3vi+r1H~7RI١Z{4qo ޏV)_Ƿ?֏%<9 |`*´T?ϊ ^L>}!~+1;VJC)Y<$W\禮;WBcʩɝ.ud<2v3kiLAavl Rdab>u>J@ ӝ"mfXP*cIzXc i=0?I{MlU`;Wi%x݂$bMR X6CQH˟0Akd/X2훸Jr 8/ /VPƕVgc@kHRIYz_O|9F닣mo0.Ӷ?bWUN7_%V #O51+CO2\+ ^ߦF' m| `m|F.0Ѧ>l*aS:kWᓈ{g(ϮJi,wwznPIjrc.c4E&Lȟ#3(L;qm)4M;{xOõ0:T^4ܥg̽Cc;zL$jd( Ȕ))˗k<42;0 `a7k}'H[aJ%o'Gz)K;_Jo6c6W xs)lW1=I`7äN%ӽ(Ċk VvmaQ@,ǍFSL&z*&v}2(@E4,ȰIS?׈>@tvinhٴ!B:(OhERcp._?/|VવY.H65,b PaMrz9@JKYA^D}b+9ҋٳ94}ll(M'CT9=62 D ԧΐ;< ֧ܴfxc+YO:A]m:8t/U%j{;H*[KUӲeQb-'9q# $Hf@g^Fjtl]`WMR>j@J*P8z^ђd׺ I{'s\3>0!d#0𱬬|jwkBw f˟3Ľ+ Ys\e d_IC͸x\Fw뛀rUe*TϽs6zC5g_٪l4=\a% d ;Ǒ>Rݥ0 r.&0(](ZYdCC_ufc<*B@b9W"A: !͍]/{K_zBnv!"R8H}s .x@EH^[Zd!u5y{6e`9N C 0c2zvLNSe}[0gʩ#v Kw&E{@$8D g 2Tjbm)_"t671( Va 7 < >PN~5\\H%«52fwkNvE\#ϟEukm| VhHɧծĈ9>ƿ-+y&z4:&Sd͸ D3X.~PgL}mqqWBn SYNn2'o\̐r%rO.J4n7(sHz]0Ҥ$JUJؕ8 ĽʆvdA2^ 4b5g5oPp&z/acYB)4_},bi2n]V2s7n_"PC:ȩɧhkSۨT4GOG_yVx 5Y5f,x9B OtCRf{wЦ5bu|ٺ篴2eu39g$ W߯$L76v_'j)ݐVQ>]ƫ%z39ߡ@ 8*L^^.Y Ws!ƎR-w/tO|X0=?y{!gP]DH.R =po+;|h9"^wjBBb$%jiC? BiL[.RErT@LՌ4tfSA`حH ^kԌCr(H$M$ׁa[>[u$B,\4AfCPe)M.z]JL!&D{oX3hrH /߉#)wit$8WyG |ܫz-)g@ ԑftD2n@8} *&#\06'pj~Q0t`@ Yt,h1+LD*&4au2Ah{KF:/8$ԲDQCv/o 58FhUWkRM3^,ĸ8O?Cwk`ߤ5[!x[aS*P-S4۳WdiZ֫F,_-|8tp5ǣyZ>WSUU{ζɻde\Y{s;9ќsca'X{G6fd8a7<,|3@Aإ_2ego +^IO+HCImJ"qϘŅnB^% * @*~#͉=8IL.qȍS=챢"蟻<-|.z1bf<4mowxE1m|,&xSؠ|A |٨?PnyD.b [fęb-y$(|j50 ^dW@5&7r4eIJ&l}o'MLn \3>@;j~$9o@W\sRTln<⠞E9'LD5?Kf3H\n&><'k2E*^g\ݣ/M(Df/>M} ǟR5ٞRe ?5ra$ eNDEk`MeM% #hb߹cf-Uo籕/d+7 LM_O.,2ɲ?8WGXWwo3P# ɽ ]-VM>%Wc)6\4`PaoHŃ3@~GԾt6b/iğc3#ϙ X6][#zZre| /JufdJ =ՍKhgЬVV f tY-@NiDU$OLeDҥ4DhWE`EK\y⟙ƽi ZqPݵdN6P5GLg?^C6O^5jw`U힕ͲA{@zBA2 e23w|WB^vpwOĿ?| 7WrZ>u5)|Υ5&@ _fR^N̖&ndj:j !InPIȄ)yfƽ]I+n%6qsu ',>#Pv5U&vx/1rhj]20%8 p/syBx)'u}s -|p}ЩǜvՖza=]1$tSJ*jE˛p*_J2Ln&)r%//^C5Js NOEɥG(5T ,=HzA"zuv$ץRos^M@Enl FQr#wъwPF qcM"BTӾڴG* R؁9)^ ##ךBX?Dx{ AԠ< RzBv@9w#\C.zaDZ%]Zu [2xyq9W>ÿ4-8$y ,]5ӂSv|B]7WJg;Sy+?R܇<hA'#M,_H(Ls8_%^HzȨ 3`.nN+#WՋD:}d" D &!R:LZkh{F`ߐ9_Srfk]refLw3ϠD{l_0 H~R{]fB YܣF)sh׻+??| ;8ܣU˽p+0L Cj̵ܾBZ~0!)]aqL>mӦXzS 6~bp􇃍rb~' av UNJ8d@G'1N uwZFrtSkޕ-{\۳u&|Fp些|@ |RʔհJkXsPCMp@W='/VъgbKbۂsii@+ tuʸNNT]4a QpQ5*]LYc-4k%J*-&,K2Ͷ+@iIHniZw:W3IY 6Kc4%0<o _d};)b1:фq>s&-z;~X8'㽚B`j** o57BZ<=R3o1)ᔥK lxKq}W51 -hھA$fUFrkۣg~iڷɡ {Ye=ȂcdCDZSœ0NzqE4,-"G ] 3ff{Hkok.C^nB665D/ HH+m<:4J&]F[5ר'[KK.ޑ**nxQKG}D"_R %݇p~' jMWN: =U_>CwgF]GP=|s dZAp=`,Wo?t!JKĥ KM/7`1t'=*J 7hspLR(p ?|ڣ&jSu̒l64t1u݀>ՉIPb4!;YcKtʝ>_ > /q[$џx`I.4lTqp4 Џ* GL'[KCZA}IiE//, zxux %ߞunUT_V:eM4%țMi>tOxuuM)ɑ~+mC PJK;SG čkb?`L)YxhMq($rB$˗#l֍ 6f7~AN>S]?#}{uˊkálaC~1Sp5,gffcrfij:clyO`u 9ݿCiź*pY^FFޔB#&I9LD]/cԋH+|xig^AI/1Ph@FRJ^ΡE<9ǮaP ̺@Us>Z[jó7w>Tq : .9O1;+ѷ\ iUv-~ѽ@AwY!Lu1E 06xGa![xˤK|1Qީ/hA}i&Ƙin^G{D4 h/+t֗NSu"t73f=w :p8)5N0`*nO#`A5>`:(虩,ǸԌT8@bRk#񀅶o`3^>,ډ3vOa (Σ55`n"(!dw {DKKS m(Va NMLQ V?#[+v] pl:"%sv+̿;.jQ*ߦ/W=u1:yZ?$S{c t7J~JepPb+-2WCl% %2 JXKEM|&urXlz,tF@篯l Ӓ+jƈQhtGAK52QL?\_$y9o90. if }|K#,mob_[2ެ@ 3ˆQeϿ.ajrtlzcݒ55So= Bfj[%9uM0ꭨ7ig4ܭv[f(M avT{_xJ#47QaH.ƂdudOaح30X*,.S5jNcH6}VX~L0'ā9U򮋐\﷍~4kjnY%&[xۗ)vBKiMFd~mxB5 ``EhR7BD6(`9k3GSQ2@2YdlI~dcƩApRJq @-dwe@BzSpNDB4me4 ˈ||$G~u';䊘ԫHs&"h"uq:U͸LJV;e#u'\mu-r!ZبȞtoRɼ[&-?;;aECGSM3XZyiSҺ4Qu.VJܰ^B? ƕ\!2Ն`/}(^gKlRE.2I"M.p[nPTv@ssR/ܟ~yݷNQg+/mЦ JX/eog@B#kz%?K|glD,u LXa Wa^OHۀ(`~} :?9ġ~,\YyBY'ǙvN_Iu%*CҢdLʌ@ A7-h"R/A^Vݙ=hJ@)/v 3]Z) J>k(܇]:+"I˞q$ozRUl@~%^X Vm&fě]ǑLxZoJfBu#Zn aܲi0# &SXrPɟ}WK\+ԕC̾a(NF.E~$ uT(KӺAv}e:*sxpIA\MNY\M-$&Ġ:[qO#du7S(&d!9@@v`7vBt#xU h)@7#"cËӱ ͨ'pВ-;x&[(hoRNqiS}r^ƏcxaPOIEL'm +sMK;m )]YʶGTy2eaL FTW9OFzm~?(~q[Zw3os'.@/5l[O' ΅=t [ffSDriTD=qQwHRGL ^4|0QSJ w=}i>{EШQ#D3Gf~{'liUBQ]2='`|:-F`22ms{y&\ޯǨkc˃JA¯F7i=[;—*>Q8?6_ye8+ϬS{OXz*cy6 2EH*ٴgOdgI 4iM} [)>kaz jTS;:'zٖ9 ~-ʀ^"Qtc1S:5b@݁;l0iNb=w%;Zmx6.jG9+ H-g KPĈ`vд8DM0v< h7P΍C@͑Nl尞;;9-(tJT ]3z>HGWrkA2ҎwEKeqr8'^H.φ3=1rHAШyakm4 .NOqb]Kc YsN|=,|-/=3 茇u?fW6 Edas?N^_cqϷW4U6y60Tm) j/>(Є7n,* 9Il"ksws!T}[[kM(yF b-JalW'PWNXHFctB./yǽĤmC!1וxRaitܖ02KT2鹷pBd&rP4Cs [bVM+U8L.SLnpFڈN YUAgX$% |)GHw?7*tk:2J}a? Y'0l)8x족v@3oi|;qWוZ 2UЀyo(m]7WalC!eFa1Z}uÏNawKu~d\!ɩm ZSmw2`M$?o>&"6NcG!\XVo?$Ơ\TEH cw8=/Ibdb7=Vy<\ 17` 9v[0T/3+XTF:j4~Ԑ3p6ړ{|!Aަ*AJiPR@4`{j(%!J{+Ҝ &/v'πEJdlCu~(=gݸτ{SKSlȌAQƉmT_ss\GxCf:ƶIi\|0gwv&aԖ\Ki{~A>s."h+Б[ypn"\{b]aԄV5NJv2_}o-9EtXHZm wĸponaPndpm9FeI7ojܓE"ûtGX{|nK3)Jwx v9Q')o" '91iZQM6.m)IQ3$9X=݄U]_l'75 ;C{x1ʡ F/'-8&^RV!ѪL'@s *t8?0CmfFu# xR8pR|=RZrypҵz%Pd30H>!f_Og,%1[[pmjqgRaGn>)/x]ѕDҭS#k (?Yz.(G عA9Lk2\% Њ+xrv>>SX\} 6q67z0Qp+`<n7v1kJhHI={BZD 64AdxVSntq 'mA a:^{J0{'EB,³W |' m!Z XP9D. `"#ۃLTSp7ѩ/7Uh fdER2]æOJ$pm M-vS}>cv[U. 66R,Z*UrY!כ(a*xjp?tl[)LvhaőyׄeC *\36} :ŏk}, :׻"4c7/#_ށ @@+°4uY 4ibG t*rz#Aݎ/ɁaYӲ`h/1`*+k8̹Ty40J,a׍x @q nb1͒աXAU 9*{Puw3DSK05dCS-KY֓ bEj}t#?"^8=o:@יgPC1ug^)nNz6y2%}$1Pv%yڰQ n}]e+3_4W ܂L젌ŗf _2 VFF^. 4<„bXqPt|ܠs*s8yl,wVЧ'?u<ũX}ˆaj1r_ҧ¶3kKP?8o]eGvO؃ j4Hp)U/e]~^+e'DB*MrRQ; {yJCC}2JB<fqA1\r̛fk\;_ \Z(kF*@`S~1+)r }GT_a'GhSibSdU A:J[jXᴋP3jD*c!K)6☼栟_V46kmڒO10eA|CLbmf]@VKԭuZ]aTcXK[*M=>|BDHI(SõcQAbglWگOA 0d+F#Щ@IQ5/u1 g_`wi#0$z}BȝLÄu I$5G㫾 aZrU3q~U'9\gC;J0E^tdՌGuKMy:T N=,]+b áącbICnG߶9lE#eΗ-±<]sRBgfcqkJC0= I_GTr}Hka`>nzd+P'#jSQ=j3O3" `{弳fL"C \1,24*mb%MAO5FM8ѯӈÌYӐzaj %zY{ڢ_\,Ϻy&UʻM~ nHbPR82 k;ŁuHj,gzNI. o[p9*( "jP+R,-e)> (g)i 4cG:1Y!ͽd*b3_뉝d}*x;-. w3~+6XqG~Y( CRi;6Wڔ ?5-T1؜gLt=_(-i G[]kU} {L`!\D9 8ZSӃcw)2A- ~겣R!%\4a'~v%׊hg;DzP. .GOܒZ /{dUd'iȑ3Xa?{7ƃ%{^sXQPʁ |=%p=K VI~ wUBX{s-0jnloa) 0<8>.N-rDQK`1=[T`{~"cЭʎDP[4`B{:VS\2XR7ׄ $^\Y!%b~-c5^:f?p,{#]U)=X[l>"u`w<PfߜiW">tS*$M.K苘n*|o\o9"S`GZġN?.w޴ԕyE0}[{cwojPEطސ;r⭴-F !]y L⪪o;2istS4"(B|Oe16v11Z`fXcWh%Rڮ;[-[* I`xuW,M"v @0f}SP)3ɦG9Λ RL8U{}dq\+ `o-r}T93yNw≾[Ur x^zd]2a lalw%`z Ĵ]]%[7\a[C&J t^IFa023\t"rLGl)ʓgʱK败${S{1f4^66j˽bW;>EbqN!jK٥RYT&}@q=bKm=:ͯi݋e ܩs$,?A$lI#8"Tշ!Rw*Yh+ۗޗJDZ8yʁ^S뷏4+scxOZ\Ps,e0<類aJVi']<*vp~&gA(kbĞ@DTw}.OZB+P H,BUrzlYO` ƟАɹ1ꑙp@CR~f?-"!Y%(39GxG%)V#'_|Y@Zw<)#r"G2QY( $ɋ@\~m1-%.av|1PIN8`5/rAcޔshw˿*r O~FAx7ʐ]ꃤˍk4F&3Fo5/ĻZŹ?{z iϺ53ie f 'M Wo,+Užɒ`_'6^xB%4[e~P)HQk)@lf:ɥ +2/1h&w2:Q&@ſ?k0yKj PZ&r"Qóbxrc/jόh%|Ka4@g!RO>[8WtֱSzIͥoDċu;oQJ󟎛xu`2oDaVy=sH>`xM+ ^-iQ!|Lҫ׽̰d<3"ײ GgUy]*-ʰ\ֿ OFqߊCRyr*4FsQyF[ ABakK0($84NL^\"g͊ R ( A-Bta:ea?s4ƙ?piքp/p'tWp,R !=gĉlrkocʕm_0e p?