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 Q5$\, ] HOL-Nominal-Examples:threads=6elapsed=239.611cpu=1152.584gc=95.332factor=4.817zXZִF! J]ŗXf1-q恈ބԍW_8FW 4n΁<ۃ[3͛h$A"jKհ~TqZ?J2~.saЛ,L3 Ջ0p>!6~qcmє*Ni Z)R`̛h`4M堅*1x ׵YV,כ+^B!nRQ+OfGv'稿ƒ+( &F ˫3sK %(0sKOjVw-^cܦ*ԌP<'C1)TJl]\+(dyhDhJ*8,[O 5 HOL-Nominal-Examples   n] ~6sa(kyɗ.bڿx`[OI41phnoSsYB ͕1a'W̞+ݗmFjϐXw $X6f~rΔ5(֫h4Ugi41{#ޤY-A;j,|[jL;q JyR VGY\yU`$'8A1H甦IT_wnof@9,Q<oP1ap/!wm+C1lvt=:,=`r{iNq.1pB?bE3j]J l4z/]ܸ݉щWPNxzgQC 5vw!6Ա-+G'tb#>-*yٿL @yM˞1mTIڊL;zR8t2;f.Z7H0\'HQUM7|؆Uu:NYX wg t3 OgaO}qI:ݞ9h+KGDr~o):0d̯n1o3tk#`F Y8CF'P8EJ4-#cK$0@?uKf}NWEzJ"LLH|Wo&<=+A)oJ$os|q%V`W1 r[P ^:@ä\ vݎv4-=s8C5 hHHUd8b4K\ TuCOEu |G+ аO8Fj FKs) 連 "_)-*g-m[c/FPfbgNO뷇EӛqdkBf8dН{*R/+,EVOyk6/Hp]HTHb5ots&Ctyix"0YX7EG1\I{ȽxlW4ٹO^`=Vډٯ}v2)*2_G/8CtU:2f;͌lr)Bc4[;oTRI|,p-]8q|X2%o0/p̆I7fn_JRWOoثiC!~h˒ ( ,Hk {(&u#1| E-L6 hDOLC0es6/K>u:U|nCg9鿬xg:_lӿ#UBG=~Flkv C>i,HON4|*F:hLGzMݿ:ӌ!oP2!: bT>| hS{ǞA8[IGߘ:-(N`%IOAI)K^4hElzeky+ Aon+?O WTLN_d㞟\辅u#Q:X}'ySܦEQx]DRWGG )".y6:>?uNa*?>2nlmL N/ O~j׌ivg(lkڱSYfwOA&߬i*m^Jg`hX"1VHo(JvrbPzrCmh&1.T%ؽ Oӌ  LfE"q,r ol7Ow7fqK8$OlR-Iwb:zc;B ;L݁rc ͹66/T8KR#:^VRmQd+TJ[6'K ;dF?' %mӀ3>օ>;,w:9GvdC 0pW0KИh-DktͿmA) [ 'n>1YH| hyo%^rYX K|.,%/Z;y8|{=I[-;Ɇi=J`"Jn&pȊ | :X4q-k2.0AZ3+Lku |XaPٖNFf6R(jȸ;QSw^O(fpC6DW@6a0y꜅:Tlӝy\Xc  \wIvZ6w0܍7㖃ݣ1m0'`2QM qGޟScHf:l@y5 n1BOK;ϲ E^v2`kܹpw6,Ҙ#ޛ3G֐m[+=#DVFEE=3_s%lߛMxfr ݙfT܉ %Ƿ5Qc'gwޤe1l+\r69\4Nhql|}exg| X}eݭvd[t6eW4W*1U8-(=  )e;eJǯm8E29t_mN(Ȭ 6ONu`Y&g^ZB6DB#_ر%fS)ݦ&Zn()&>5QwIGH# ǖyJȫQ:܂9r_J"&A׀z  2Go;)-Iܛ׋.IH.ᭁe=Q0eR/ m\#l^ҫ5{g O+Gs2ܬ jc*y &I ء&Ǖrh9CL nڑ7 J '1|;Pi0hPXNy5OK#KtԄӯ#OB_5rqlH¼wYEt0*;Y %ΠVgA.L:I5%Q @OݾĖu KD!DC@r3=* RG.*$5lU96z,rg( eNR Lm F)S3x~ka:SNl:׋{+̚h 0!z*lQtR%!0|stI c%M,x*]hA%r\%a&6-]ɴ6a`N9o.9伏gpDOxh?AӌNѫ) IӦE ~>ق࿩ Kp;Gڥ{ Aә~CtyV9,BjRj+kGХEMȋ1 Iou3ފ:BXNuK`ȢG- MmKH #" `Xʾxjc+kF>~F6oJֵb_3G`%mI!L-xf|>ܸRh5~dsQv};=B0dxrT;k#quCnɔ816gM3 Kޟ<)rDC7|Ulj&(3]:Ȕcw1`3ŎJ=3;; "O0G)HB2ӾzGP'J1.XeU?Q<+C33(a89ϼ[t'XxgIZXG DB,dR Hd1i"Lj:"X̑} Wo\0a ]wVN˘x6G<1vhQGFaYLmZ+=+1;zox69CRɧ56>:hv[/BwLt)4n"(94ۅS&ʬ@;rX)3AF'c |gyc"Y_VX6㽸\2^Mu6ZG#KI?a nܓ-Ҭx{D \ <;(@!pao ʻ\U1>cGm̿aqf1uqzEc`oCPբC49:kG05B>GN2=tZzjyƫ*CDR.itUȮoQ@C{5BJ\9"g;:|Q2Çqe =xc7en3 F/9@DJ}/.ŵ'iܝmZ:}=E5c>5z2*ݐWU^Aõ`I{OYʭcDT(p'^G]DŽ 慗$V~VT:)!s `y"r,OYk j%DNԢKihuCD ՃO X̖u ''1ȸ0PFV8滑ĀCqx3to%uÚ .-T:%`8ߩ;G1^,2;~6)%]:-@>0'MbNitgHcX$ESdI09kgB*. \ugjWx,k#!- WVuBbr,زMXUk4œtW>w#⋜9kVN>,.)}3gfR˷8Wi'b<+}ten~t"=D~Bu1ikX7nItlrp_$3S ^&$-Nw[o5ӡܸClމ5Gg%nJ#yǣa7U; /mmݜxpyCg6tXqrVM(:I螧*@@0NԦpF[epN+{XFxǡjae6QPdd9zm~;`*^LFzL&hbI;2@ߡwjA*~$W'!ٯ3y֑-VޮV|a 2Yw&ŽCs d!KDC߄ꓣ;g ±rw_F xJD`#[C2$:W[pxYj7 _ktJmXxk%]1:#Hf{e#{XLk>4# 3|(pG̀#Y)gjMvo0a mq?OMAMsgkw9z Y/b:Z6" ZA uDWQH|10Me"eK<6-.p@Roϵ]\v7uH#Ż?c_;X4;_Q.sA$9PgoG3eBOCj$yz cSYR8Uyve> L xK]Яy/# zaNe22E' -|fɟ8:7'3,Ͳ{_0CBgCHgϵitx<blׅآNIVvD{\^5~iE~%exe\ mV*gL0k=I$:Ypgs|~ptT(q\GU_[UǶVFnab-02WŁZwBSw. S+Kw0V {YI0TuB\c\aRԜ!7T-,oPxtD6֤*UK,DBvWc>z^{@bʱgYZ7zXZִF! y&]ŗXiɟ1ʹ l93攀Lx3 a)9lTݜ19U>0["(ػZ}8pcW֪7;X +.<3Kn?֋ ?0+/,z8!\C5.uAĤuQ.H㲞uڎ)T"5ǵgv]#L.9tUSˏ:,CѳQm^5nik`M}4o#JC6lR-)[}pO q L5mP4jZxs<#T4Uw8E՞Zi˾<}7akgYZ7zXZִF! L ]ŗXi%L Mv{j G] 1Fu1E~ `cÜ^ 7lly^>QLcY';$/\0ljC1Lzŕ|z&\mo?%!NmkkΪS4:TzQ'p"<UҦ!~#ؼbc3ȏ$4yHLKDFȿ(ũĀbtB'~]v]jzF>L*Cb s;yj'ayiq5{/=5稖zcU{ÖZE·dDl 頎K)B HԠStW;)-LkD8qj&g^(?Լ>f5[fMQd-jJ?.Y+ƲL9,[5[cSjB Uhӗ] k_s"c..b͍DȎ-!͖DCDUYXO3QLc69Ւs@{е 4vTX/O"` 45Vi]f8A:M=&f jxyܒ֠ʅڪFAk&Y ӨGȡ G9aOYg9"#5։7鐯KΈşoSae6F_V{?p/ ?Q'u CiKpDE"k"Y~7Z~YmT˱A\c?hIY2rQp.LGbI"bWGqP"rI'=/ VoA0,GIzͰq^@^jo;\ZM#11 )槴0Iۈ3]|s (w[܊LX遞 ]i}G/:L*9Keb^Nb]q>  i#ۧaǑPHYbrڋ 6۞B^RDf'Qm;>cGN ,)!5WUWIbKX"R?C =C11LMatiW?k[YHlM1~?>zȼ9|$ GR_z͆\`eMjjOLO}!ǫw}΄_jvÊyL]S\KLb;6TKG`泣pUhKQ+ՑǹbF8@l&eٻ}}]ߙ_{T瘡c9zdP"aA@E1Y-ϡn;1RVh7.Wika#Ut䨬u{6Ȭ߷ZsfP&CU6ߏxjWl_+z}`Ob8~+bH u uRnFÉ].t|,}Kbeh>PJcʝҰ:C+rU뼟;IkHrbV(C\͹ Y[ - p8ވ\-]Y8@Y2CxcPmW!!`ZT8o5@<݊+ a<@ޯp jZFTLc`t@kZ]T7X"Mo9 oU&pv[>@'Z G iÎ]ʻy2.N}$^k= Fbp(.Zcq';e&4Y3iz/Ak漋>C.>H&ZǵQ5CYK$w>$Αt#%L=*YT1/IENͳaÞ"͹=[ѣap x){62 $OjmxAdau'?՛ы.X&Fh.\t<tR{̽Wc|wU;X~ZP# gEב,1N򨖐ou;@M:ßX8S}D6}JrcLD-%sJ`d/;rnB<{lU)SIO+]hYFT=sAL `5J6(4<BA-_S63pFsD eUj\(۬6 lqWxBJ[kva'Z\.-uKmU&b~_0qM^Y+T;ܼk$W:Ut 4@>􇠍Ǿ 񒤰̈́Ɖ.TtQ&C9DgyG_n:9YiE*~ u̼[9xQ <T¼|m) _x_g\m&u%Rɭԙ0/K_ρoΑ l^ [¶/v Xt/R=#^;v$[HBB/!Zl8qMmɷ ۠cS (o$Y]?P*H6cY~)trɳp_: vpvpgG{|MC>pe =zu_C7b}!Ai]L 4euaN@9P[ 4^Ts>0z^R h{"FoЧ#q[^k7孋ygzr^JFC!mMy+/H)xrɎ <^v0H>nğʬ--BnXBljEZ{jgmf&c\1JG0]5nS b& J%d{)rJ:zAJha`zhMs~N8Nb ށ6IJT+ Ib{Q@lrO6r%#I&NԈ3f! h/co"TQ6 );ʹg[ BK32vO 2W G <'kuCxKYS]y~t{^K0VZtNRMW-ZXU?,R MdXGpDtKA`wy{"IBwg`*kt}IM2է]-2p>bۂ͔j#n $[7gؿ wp" gg8ucV:PvIXx5Dž/6/ fQ-d֞4P͏3GF:hroT;.6'H(f]ֶlj\*dH,wqjeFWMuBkҮ%QIXk-g"KuH na[My3ZUS1G@M cݙ-^|ޱuթJ\՞Dj~uOSCe鷅ayITdVhO DT7{5PFtb]efa>ɿR} -'3".\*Van,.Zd[1h:j1n%fCSa:"ʟD b<0M]}9^g {Dt.U/f3n'V(#oKqNP/õT6]}ݕCTr}m^6",}5,冽.qc\1 HxmEy?,|_NQ;}=ؙ[дI!ΗXXkث!:\w0P o$]G ; nG4YLM7G )$N\|Pw/4wOcP̦f>?DL AY)A؅;-c1=ՁK gy/? lLJR=K%!8?{{瑽ǹNig==gE3^)VDCMdA3J8 5v)_5< 'ɒ̞ 2e`ڌ&{j~⏬?ᯭѨ2f0AE4 @tp1DM!tCoo'`[FڸщjDyL C.Xar'.|c!zC kxEpV ߽9ۉ`U,`5&_xnf^䠀_(?LWi'4(= kӼdrr0"]ՏZDd֫5-N'C*|/ ?+Qg-_u +ca5 k?~ypOlpפ0OzvGHZ"fMe*IW 0(5< Ϥiفe0|X܁F2OKW[B!>o1vSK3ݶn@Mhb.R($Vɐi,r%CEYc3#?a܉'j?BiH5(v R!gg_2F eT׎O 9~mK (IY xa㻕VVxK1~pν#~Yk:#4O5)jaK:ae{NT$}"T1g'7az[w)!,slz@0Eh}M}d)G@^FQRg%7yx?L fj Aw}ն޳b-sN22'Z)=EYntPT*F9W鐜ŝ ǓY7y[MP{Ic^ADZi;'nz!ƊT*8h_D>DCiȠ΀Z$ǤSc̮+`Xp{pkdx;{j>ƂL7,i}6ц[t&鎂5Y24*D+ "Q4'VFۣ(ۚ7 ^"{*Dg8DS޽6S)ök^A$I'Urhk#M;3$|$CCt;;@gk*,KzBiqwNk0&?,^O-I|!전)T;EPőz*p穨OVQaBe%tj"fk%*E!wG?KMX7,NE;n[|ȧsIvkh L-4-5 B5LRގ'%O5fXk';s⌟2.f5Xe^}"̩`(M5 rN:xSsfN9ߓ)/B4s|rFט+lU h A2 JcuCB+R2It' mz Lvѩ .jB)=ǍJ󓌱8]CXjk🛧ۏ$p]bNP|TFGha ib=m` @EOwI@`vK[ҡ?3<2HP(VM1e->w@z?M,80 :m]uJ3|uZs%މt 8i&ۧ\zXj:w\eY, f6eANexS: 5/ YFT4LB, KT풄z.O}[Hʍ݈iGؿmKF8΀>ȆzCO($bZ7 ]6?mS{-8 . G6_fK%A܌W3+6#u9ɷOLf j^JvgNCk:i?ץpF_D2R_! DЅC2m~.]^;&NyyK>H|_ U/YK@nؐc;vEMzD0Xp/`S_tX%3J%*s b [ѸՔ&k']HtgV0N6/bJ:t|(*f0G@JҷJy">#R &bH<ܒ; X*Ȋ9$RxKE9Ja"rX.?VtXLenry /,hnŎǘާu8ȉ.}+Y bґ>' 95Yo':?]ENxzK(1X<〫uÃITju+/뢃+hwhȂ]lNAqEGo#b'T4qQ1 x3lhH%\5=!~q0/w]fzvV-XG SNdի8j޷aAm'(y!qHa%@}z7h\I#$ _yq$DA8{Ow/٢"_N=4KM~͉yc$J::xFvz"SIe#GTY<‡"+fyPG)dњG kF/8/n! t7ؓ Oӟ8aD"%ƕ]eyҎ7ՋdFl`/Xzo'@9_4HtyͰFfBh#˝+vÏ|},%wUxln{C C4fgJn!2n~%`2![5F 8iSm\E\t"kn}%m@_]9,Y@нOe gi/غ%4/),"]B+x@sKN/Yބ!s܆ְ8zmTDW+F"y;ZgmlQ&EuԋQg:"Ŀ[0y&0] K&"g"$elX*!v3 ٬yt[&`z[rZ_ܗS~hM\Q>Ō[bZ#KX-8ء iaHL)]op?]^E$Q(rFY;9MK?ȎzIQSv{RIcAcXFs)>Stz75WI &1}iHndso̊PB\em+5 }X@96z$] eQR -ne|h";[A纬!'r^ O9^_}Qs|BBD_\|v4) k#&b$(`c gM[ W!4LBW zc|xYҎîYzo.mJYU|A2qXr;"slZu@0@uAΪϚ760Q%@E>:M6[h, 4p -.99X}j=8QLrMW]S>D4qnX2eA37KO ֦UlV_\{Ύ(3Prijل\*:%s+rtDpB~;NŦUI'Oe[;O[\%%=dD6wu 3iO. x%Qa殈U$tvv鶺jf渺XԠ4#\Mdouԕ 3ūY (/ 1, WR?HNrBC=ZQH}\t>ЂJNc<8 ,1 TΣqSt1)XuH6M0 ~''Gf=*t"o#EauL59(xB6H&$‚1D jJ!OdO)ts\A.H@/')ZEND0^V+ٵv! F$TE)Ce)/([=2I78=(`4K83t:C6]D.!%/=eV}!}ͣl]A#KDl4%Y |,TZ~_Oh+4<կL1ΗؕwYXS! j`wks/1D=h{ws2W$ .9M}HnW>S_& I&;ܙ_zjnHx]0,Ss̠z-L ?4161 v`))sD\}#,]%6p'tcٚoٙ('u1oŜOGZfTqw}Z! d ;N*KxinE+wXQ)C.W>ibD??>Ș#AlS!پ~ z)Zl\r=Bbg\)\WAЧXQѡ Of+r}g{WrM~CN"$@LŏvxDLR# ;4ߊ R (A@g3yx]Mhi17)$C˰@X,H 1}+ҌF0]+y z~xIS3\2؋,:Z+!и;N5)L*DLš8NBMn 9T02aܙʼzdbRoͩ#|"(ֽ c5:O9W hڕ蟁R cYcۄqE5aK=ZLQR{ B07\cթHjل[+>vmP%ʺK{ Gz̳AV+Qv 5numqjm۫yƢz dv5.r34;EsMl5O %kο-v'&>ؓyge} ݁ 2uú5.vx8\i>&\Db;Lָt(=Us'sTXT.ҙL#6XA\tq{H`"V`i@bo?7V+hW|gz֨΂rB>~Vm.V!@@_pmA^Fi&.044KQCW,K@:ڕ\#8{?8{ĜtA&eHo:Q84<(X_[Ʒ&!D(b;3O&˥ */lò:ovDL{*LPH@`Z'yhOMѳ=x )Åޑ>nnꀧb5+s0/5-NaR)Zka,F "ȦYSHKO\\]ّ_>y kpկ--y;?XD*Dd[w\dg) Yİ ilA+"82,^y28G(q =8!C'ϱ16?ԑ3TdJ39_)"T-2Ԋ[vc}= i} G#3}{7tѺGUvg S+"fͫリ]?|ngLd~tbN` `hZS{ie d?NM9IK=uȦ'Vv]7y <̜5-S3-_t]WR93KOAtTeIϊ=d|D Θ>\K0iv&$0Ԇi:@fq-"?=Q, c27w͆Җ>hi`uF3ǿ1NE38ő$xJ| }~yҼ$FVzv)omLPQ88DwN^ssBtQl8DQ -u:(i܅ْ4 FY4/mp0`[f3e`>gMms.Ng2,S B{=Cb߈ڸ^xfviKrwAĐ4FF;֫AFE Ì:Edퟑ0&JU 3NLG,ʼn ɘR{ [!w0Nk7iN$˔^f[yܻ;Wmxx&0ћ.h~f i~sB 珚Xg=~$b̷Ópq"UIa[rrFS*^g)ml#ht2Y~BsX>2EN"D\C={a}@dUK Q:f48w,PzG+g[O6A13ǝܠ(ߨKjWQڏSW6#Miyc5z)Y>BB#YݜD -F̭Ri_NB7"3 T4@FƟB3xk9\YʤQ /+燤mfyiO,Y`7%(B"*l?5£,Kk vOt= 'oѢfh͏}v?{G]8ԯZz6;Һݟ|^ {%?&K~X]6`TSѫ!KV$xЄ&`p!M7gDžUT&?1gUt_,‹ ߽(mRwݑ+;s7/XE҇.>Uj* @D7#Ν\r&}i;17K&׌D;+ 5&r%ԩ`L/]VC>h' |LE{ˊ'c΢Yx?KۤR i}Ҭm4"a9+y<0/z{v⽎mGu ByCqTz~igr^j@3G^Ycea~@ٸ5]Oy< MOGUQ=S2L-@&MB\'#fcqmBwi+%6SJ 0Ԡ@Zəm$]Crsqѣ]HƌҪob7fyF"`24X C*fo)Iokȣrx eqXQ O3^p#Pf~/j 35[Xw' 2@efBw DE 2ڙMƌ7^%9i]:ya盘B&7/ze_hbn]ΔMP&(#(=/1J)rŗ,2xOGp=Ǜh%=],%$N`+Jb/gϡ8m(!3[6uLHB3$3V!V'Ӥi-XPJ`%&VFUNj?C~-J0rG/^XyFt9non1a˙ց$RV}V|5t/WTsJ<)t#%WL~]YP:OwtMþq}gW-0cY^[v*g }eٴr9mD} 92xL)MNgaG;TǽPv"380]J-IƬ!sÐ֐ uc]Au=P+dd[@w{u $aW8OK>dNLpp/l*0Uf2<L_&@t,WLжMMfX[G4φ휭h鸑= jfdb\v-n$MGl^&*J[9}\jV@As8Ws9I,z9k5to%Lf .0 U+,ׁ e,#`-Lm&0fQ)2ȇǀ ۖQ4(T|蕁5129 JTTvq ggY:*'~ M28j,ݬ9=*~(DcHtfNChsTc8C\wz2,LZ%֒ jƀGY7aY+"7+L}iO8bUW\_+O%Dӯ(h;?/RyFk: w= zyI>%=h|1)(Ewp1Q|p)j=I,<[2JA.XJ670ph8,v{sҤ)Sq oR22U' \'{Q Ġu.Tr॓zLg& ^^Ư^c $-SFox 65/z(씻sI`n@/<klc*D]ܶL3.כnE 2RV,{BmiAMMB g5<Z#udQr|KD8E,S0ͽ5N|a~ۣ8W٭B3NדHH#X˫6E@v/5m{:k;Ltw* 'ϫG, I@4,'t _EܚbE9w#F =|ڻ~WSHtLzv9iKt^`ժŪL̒$~Bqa sonVX1X~pa>c;%>yd{ylQ#˘, KЯP\ O̮yj4 uP_yq!y92rU\n'}n`8Y7\]2XXNwx,|RT1& EoW.<(#eO#'W͕~ʋorbXʲH?ByCTR__Ț!koF=m;3D4Ux\q Z!Փx5cP\C 9Y64q]^Sca93.=Ba߳eQ>f :^ŀoǷ tkkLN&Ey 'ބهCh*NvxIڂ *Ur\}Ljǃdv^A/8ͧBa w'bc"{Q0VI05wSoqdV.\t |Tp?Kp<؅O龹@(`Y fĸ>D8wn]yt"^@` N͌87ݑ/Z1Ғvjf?Cvsە|޻/Uґ0׻!r;w^Wn$%>vOH㙝˼aPK@I|jՀ _nɚ]ˏj $>e6N̙֕>=01Cs%@+iw_$ il=1} n&*>!Q-t+<)Ge]ɆIL-+)0C+bV+VA\n>R$* $_v?TBFZUa]VХ JgS:5'|ðDUs!<|Y)C%rzߞŜ1 @z"p~~2{T-UxA3Tn" mԹӑBE߿hټ:wyZ6gh b]REM̈z9;\ / G'a1Q "@L +q֩F&☃MbOoɶ[E߽# ![vhOw="dms.)>nyP^ [hq3mGhO0R`[PF_Er'cz)8E(8Y(v:YRXfٲv1!cƁ9b?{/C%Qlg`Y̦|}WQoYG‚wOJL&*$mBi /c(-eLo0no;)Uͬ_ (* -[d _O EnD'B'\<*ٙ:AeB ˷2N%k'$(ի JBj}Џݒ֞CG^I4Y0gYZe2421a69a2658ed38f797b96aa8a4fb191cf582ad7bbd02684baf956e1423f3454e2d869c3eb5036 9c726adfe089422a375fb3d23090f34ec1598542 eea45d7155d7feb5c8c9fa32b030a952126f3532