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 <WҒd5AndZcoax1_;Z' "{ ue>j1-7?3)N{p2Mv9*/~;A).߻<+K1@#sQh9sƛZ+ih}-&IJ!$SHhؒݹ+ eȞZ0e. !!_ nK.Q]!o)0Eŵጚ0f󶼐u Gl饮ޑB3-B ?dy`X8JYoyD[b}%antҘ]T㖷XJ$+> !pQaDagEN4݉دh"f H5"F W]UoMeͬg̜;*3ϩ_|_aӲ;޹&o 1=7W)4QI +[|-ՏtMBmb[oM\Yu^d2X/PǺQ=(4ǡs6tIwo({7bub},  Sz #|L [(29<۷|bu_hVL?|DZЉr~"+M Js710PqEOa g&DŽ|zݕEݨ)Y d9-qZ}쳖+h'U%8 cU왺|<ꙭeHAi˫](rTe$gh(iء(;NAkPvp^'@t[ѢDҀs3R2@,dB5pvAR9w M]n(yyD 9$ӟ4f<3_'DvlF)u+ SY S NJNܯ[ N:Ѡp>I`nHa1̕FMGNO:Y3gh6>2Ηh V~qj?m[> =YL;K+3GtQx)L'\;e%%oB2AISvk&]hLU7dt"!) ƊKZCf$@VH8#` ˏGFp]5gRɣ\-R{$7(`VࣃJ5E$JvcZ71M]wop'zvvúHV=bEEJ24ӏ wf'"ؘ}\X{MuWqiAIMjjBZuRp\憳j8gLmk ^](՟-U+z8e%sp}u%>D\pՆw{K !> 戸_-Bn8 i1:d  *x`x,|] 5mTǨ1,.C_x\Lm]ck=@BNJXҩ|xks0eOa#}Ps Wuq2xE%snS /Us$9xM_^K|P\ZL#6*)ޜ#=UMk&1zknB]#9.o8=zb]QZn@ 6fV'SO2m vsbWScr4/X}t/śET*RʿB;`"ݝwn -}!:NB~?R8l2~tlٙJe;VA.U)[nWHTZ%XQ?6(e8Tv%$ NpN" a"h1Y+萮GT:C<,Xm\#Xh2æDkA_C2$7rփ7pE?@z^z :)AКfB~^0DAwx?ڔÃ8Jek/8(P;+3Iq#(uMbSqx)Y*O>f~YziV8TSK}uKת[/b~EꞫx. 6r0MEO4ŸP o Ipgcv3Q~C3bvLP Ɇ{P=勴$/Яz~VN"YBX>4>!Q#!NMΎk%>#'3v]5&e3qՄ$J }ܬfs#ln JK߻Bg/&g/(kI$`kZjH0J@rN5"b.iR% ÉhQ=CpoxwS Rua]e!a&ɩ1$M{̘$1K=ג)OO &;#aޭ%}xWj+q:qվ܇hBUy𻑝ϸ4~܃ yntֈZT4$):l`D2 7 9Պyx o5JT\ SP4tx]֩Qf 0 丱`zoI#!RRwO)R>\>|xD?jke-Wy;a WM vHc%`B/.d̍"4?Dc'"-v܉y4fVyRo.;NRCXByrkLkW5Cm}&@KS8&" lso^-~.oBL|"j{pȀv ~RuvΜjFqʼnp:-\6:<Ȍ,BpUQ<8bp"2a6Jxu?5sa 900(nstӐWY%*T۝;lwu!v8S%E.O&Ttg= Op~B?+TgJU냻_J8 RSU/P35 ZhPO~ ):Tu"yjWc.U80g԰0nLIo|͇-Db |U"iqDR5 zh6 't>&ǙYYB@z8ckwSGcU"mRSYEJ΃Z aOJn^8ymɝ7x օG/ʲ w:9W` .؆ZM~}, k~l|#H}ٌXpxZ} -oJ/9k.D|$LEX'_>U긲5\Šũ[V'$P*omgna܎Tzě>=\de dt|2zKv*+WNX!οEls$;tM$vFӄNXL[ \2gR%fxÞNI (pdQ{-vŞ,㯸I\k@NÂ1'fVv/!4}tvx@hEyU´=‹9W[k|)NRy6ɬ.X1E5oW,|4jE ؁b69 g:k8)OI7Ƥm-" }3*[z_4㑺%%+k;u"-|-ahw]+Ìf9nO"1y•[.Lu̴g]&^yفCKykO>^^?cNB9J piD$lKid>7fj..XXt(N3sQ8Vՙ!i>2mc7@%Aøi.̮قdp.fn]Ǣb 2j3]gt7M&h bV[;S` &W0ԤhSm,_S򌏓hF06| ږ?ΏQ> Ԭ#lZjup_j}sӧA um.:c{&O1!8tքN⃸P2P}@A₢p`j br m<cgYZ7zXZִF! s]ŗXiɟ29aoʼz[%U>EM!!*X|px=B;VKiha}·¹2W: OFꐦrqlS4{1N)/p)wR9B?M㇃lλ"v7xن(F'h5,x;1N6!q)H!-NoܤyDhturViE`.-h|N`jLP1de`+J7{%d[.gvvWl!v'觸͕DMJ,WntTkm'n{+xj_g?gf@] SWͅ{1 D  $t[{:Y9% ߪPPSZG$Ť2P8 F@A\/~q{s]G: /BY!]L3 /8[r<ؕ4=Z>Gp_X"[ˋFMYTRbKRI c9Hutݬ~f<z}}6/w{vۡ>ſeQlL&JPsde!qEԼJ!KAJ,qxa3_+ۆ\"m<קFT}Td'. Wd,5 6| U$g>Kdg(HwvVTsñ h컊8`Af΅&#LhDn>YAj1`?B 7SYWyiGꐃFZ1xeʜ:"PƎE!"0 KSOѽ&3 cwVaꨟ+x DM5AN'0#^x?OȲ7{ 6+`RxJՂkHSPUа{"ef=nI@0 jb\KKxYW$e9314} 4<4 O([h2Ձ5(0c^mcF<5 vxdcW$0${W>r{ArfS_*~r ?el&_!}y&P~2īϾamG~8;O<R5] n_zO&R,p҄]p8tNV^h>UmHn|҇x@7\iyswQ\^3WȿqE^뚅wʘyR4H^|NQօ:0rkz{#*ɃB9;?x.[S#1/^?>SWg!,0^6=Y k* PA"멨Hu|j@"YiYfz"2PR]Iw,pT@=mիDRr/}VA*$(+I;+mX}Hr&oQ7OUޜ7tzb=Uc cԈP{_Ϝ/Wݎ}`_d7r!){fqB PG)!a) c>Xv,₻ \X__n:fV2kRb_NSYNLv7Jr|$f+CB eK9zMzA4Xn[@c|"sf VY'&g߉r@ڜ')YW:('EWzq&| ;> =}N``]Wp": gYZ7zXZִF! W]ŗXi%Edx)1|& l*%ű<_h8a Bާˀ0^OqTt2gb0ծnһ3~ӝ5(] {n)JuƌT`(FO")HqDBW<㺳\\?xEN>&p~$d,/ yP2\)CmуVdEB0=xIgu]!qÓ'WR"mSkF)BfJ3T=^=ͭЩ@ANvq ╦v̞o>a:f#Yc!"Q Z=h2^`: Mj(vs6'cg-U<0]$Բ_;&sͮ5լxTc8(,3Tw]/ޤU{ GNWpΉA省_W@ 3%6~LHI_M鱔\L/C9h$R2݇ʴ*ϟoIl;Bdl«5}SchGl2<&UMװˑSx0GAj^>bC6 CwY+8hۜ&9\g|G c3YSٵE4[|N;h `!7}9'v%9SnKoMVH=˔')omǖi x/\2#*FC+;m;wT07Va=+^^ٓJ>?'WbO[=k&ɐ:u(yLKH5'45,$G ؄6:fb3 S./p^d˘AJq8^M܍|~pJ)@\i[<i3Rڭtl&4XOM%]nf ts{ NW}'iG~0濎6NGoƇ5˿8Cð@*7,,N,e񺋚țLwk~ia茉/]1C粛C(ӛgܽKBŗmQ2C\HULj^5j=c;jv{{f'e"FD(ГA a2~7mE[(?nXq_o<" 'eq(XߩǟA͘ʠ@ %r 64V,D}} .'Q ~_ ?|k'ȤsXhjQ"Vc2 0f،8 ظ܈EӗB}qFy)>ӊ$X[0sZyL35$CI3DEn%ošz,d%i>ob e3>Ckv nBaY5Iߕ33iŎ}$s]纂I5yI6HknW9xE~4J1ӴWnȬBEzސ0꽢7q-@{*lS1:ϗ)? (y.7IJ)QB"r<@tP+ahf,DCq70I4bMңƍL-daL<ɆbP iԕRG ;~ԶAp$eb7.u+&9yڴ>] v4c,0n'-'.O F6iH;ew QKW~`"dǙ&8:>NMdO[;Km X =!$םy,g*-7*]6}h\TU@B8RGkQ~DXs3Q=lىNH0\Lp!ʆ)DOhe.}7#Q߳/ÚL&2Xȗ }Y8.μw5H#x-Gc[*;zrE5NPS`ݷ{i2E-rK6߶ Xԥ gQ]Y[ Bq_c d(Svx2&*m~go p$멣~\ڵ UX}h"Y%d"U'%eK2QlLDUq˚;Otsi0ň٥tF@b>fD`+ԙۆr)pۄ:hnY}2ry~,}`*<*@QnpWE_aYw6uyֿA]6Ȉ| ueB$*5QQЛUﲙMl+P*>\yT4Ɗכ.:,AY׊GɠT] ;~5=!"hwN\.6g9O -^삯|_++\s+eW/]ՇiKhȥ6襦o׶h<L~5bF 8θ=< RVq!| 4kpN)H7C:JXfnJ]o-X&eл* clN ˆ5ݶI6Zeѥ  -ƻH^ s7X'H ]YwץM ۽zر= d:A )l$yc􊖶@xn͊;WlDMBi ;&*v_>x'vzcpѦya3#7gF HO~YsQXqٜ)+e| am$`etIk0^^VIT> Q)k;gl[ZhZkЂI= {> ^.乊f%3Mz1|))1ҒDL1Bz %'-fˋ df՜t)&)Itq? t7 $ 79j˯!cD?,xL=Pxǚ<˻/XL+Y>Ti6=9~Y7woFUm'rT>VijwΔQ"_vy55rOhݠXޭN1r[\J2%t`$2 l3,<0(QN,>"Z]v Ea:ua<'5vBFF;Xٙ5TUzLkt,Q¢Goy;sU0Ja-d+ ~3 牢&}Cn~~U:?Y8=&؀J- $WՀ{JMaE1UneaV#<)0cc;T-- s%=PM`<.,ƑxӭB' X)' DnD]KH0 ;?b5߻ g8M%BE"WꎛԵ]\ nLbEXflОHb^U@mE.XMjtqN%Pm6(Lt=:,|yC5\U\2JLvӘP|Uig6UNnJ,y JZ׊KNbbS47g!]jeԻ/f_;`[E炻="(4i1TN~' E('*v!):lS[ZR,c¦z'=ޞȿu`0Kn~AHiҀ%k& o-QTc͉17LEK'PaiH;)ucΤz0ADW.ƙפke; wQuh=^7EGp{&όylW">wax “40l.ݍ.y *ITS; X79m"_~Aru9k~Oh)1FC@!t!"!ՐQpXS ڎ~숗s`N@EЀ+xM=qjLVN.f&gpdR:ڬ[Ҋ6$qd'2yݟ}ʒVb\>:H(Š ٞ`7P{:琮rxQᢀIbIpH]0>?lF ΩP:^^J.7b %\|F'7 )ڷqv3w5N)zy0oy2O!z[s`Ɩe1DC۔o:1܋1R:r}dOPoB&ՑJ7o%E+|0yc \uyuq=ɰ̼b肝M9uYPɕpRm#9$w0ga0qux7#D Gt՞V!6e I(s9-褂'}-HDSzFwf'Gc)n?0V ERi0ߐ9ZHSV<~2.ֱW .WrazI& ܎i$tU2?%!m-Tƈ]W5 []5^ǵ)}K ra" \m;S:X/.ڿA]UѨe0nzRINTU-+n6%MW&$`~AP%O誵Gpbd Cn9J{oUhPZcUv:BJlkX+#BLL3sz(~6D6X#DȇJMO-_JS%Ys E\@% wx@d9B|is~p);VDvgm\`{kIC551 C钌U1 eL%䏭,$j#+$葳}؀K! Y%'M׎PVaQ4rN8=-o-naX&@gIE , Bq0 +m\+Hwb鴻FxCp'#-J5ok{I@N~(i6zPp @bz:F eω1_rځw_bj3OΗ7); 䙨UM"`O7}njk۱5\5_M)4>޲3È bmh&}SǤr1_#&}r_n{rẁ:w܂=3;տ:+΢g1P,Pr/*uj$Uy`Dٵç. |mhz:mT5[ٮ )4MIAEU(LoD <)e&ЂD,(2UKP`՞rwnov_Q,NvKsSjV@hf6M6ߡw5VϹ v% -jfœ-uKVc`#L͍#rR?WZLJP 0Yqsc Y&l7˟9(&R+d2wT~Sfŗ/2WHq׌, j$emi]ܖArܙc;PEB^. ٖ@t/Nwd;%rWӆ2;a*x=]`Mk9A_˃ųW*\];9b8 4L)b`k'JK l;)J+w Or@)Qd,{1Dm>Ef1=O:Z8ͲM!׹$Ƨp\ʕҞrhOYV[g& CgoFV33s,=Bt^ ee_2>F,{QCgm/AEJ !dL-uY;1G.?`N"%=kޡ+^elՑL^ϸM9ǧs {+6= mpv=́)$XFIwEESuY(OXy)czO,`'ԍwXHj/5~2:OXΔ+ODa4q<$ dDm* cg"CI5?`{Pa6wQ;nBX`X! ٷmY3,0fKL#On>cI +ִ*y;PE 2:eM߾?xƖC;q;pܭ{FD+Vs/Ӑ;әMP5gD_bpϢfn^U2)}.<ʸ/PhACW7x!d䲃&Kv. IAaV VK_ݷ9/'.9LiE8XS>N򒾋>k3P“7v >]-Y>Üeh+5ms"4 oմp1{IEjoyQ8RijDo}Vҭк8HGywkxSg8 MZndNIGE_@誺 B>~~պD Y !6mXZ (;􉔡uMw0u:ScV:xoOinc~4 aTH Ӕՙ#l^ ۮ/BCQ5ڷ߽-ii.g>z?]8[]O(:#oTڻ`#kw>LݕY2/eO Bx C%{l(BK<̿}Oy00#9$]F]pbR.0rʻ4l1MQcnIO ZlOҼz\w S&6{[уS*'D>% !~I槳5>s`O[*S̟Tŵܒwա u& yhi4`DG00emz<p^BC^/>OۖZbm'-EU !] y/-[$иelOG7;VKp R#KL. F-3nmhX6|V|w0u.> ;XZQ1 Ժ繶671klS[U;g UFة HtAqbo:~ڴbl49aZ{͜:2)QbfT49 ]x3 2߮9i [Vv֮% eH׽T LྟP:YWoq 7>pC$)L|>/Wnw2G+]Ի?@;̛<| ծo NyrU->Q-iZ8Gqj/_pۅzZJ Y"ApA pD.و.% ٕrH$uiɵK)[L*6Ixuɴ|4v>&>NVrTezt!3;""UPVP6(rVP{+,s?m)/0rZr}SSUn:xq%$ KTãRo6=^[1=O$DT u9 XrH9S-dHW٨.}>@-LH !A,X䡲(BT4jj LOpp aWe.*\P'[Z n.f26":xb2UL3 v=̲^߀򎷂'AZ}}ل=8( Ax@`8jd͋h*3CuJp1s+>].y{J康mkPĆCC=>;@iS|(>=,fjCIg/OYńeNqrwjfY-~\Zv$ìrf KPr/ G0Q̘\Rm- %ˤ:1v;E=NlJ6EF0rΫ[-X.%JA'>zSdlp+<"0ۂCM%a@ͮvgHb졆^2gJ W,`\s3;R/Jx앧iy'`{7eA)Yw$U9hdXܸNSɝ@IOoE3cIEJ|gj &vbF,F:*ѿVvAh04 sͿ3ԏ݊()~n-dsWtl?Lna-;aw^嬋Jtq;7vhHawmsmVynkweZ#;u$zX}Ɍz:S q0Gr 3a&Xใ2Yx\YÈu&|aU/ N2f_(g ٬P.!R8"W0|( JV8D6Jwƪp>]RԦB[4Cj;#G)9#Sn<uë3d)m!(+;h~ ,cy*kk.vo96Yz\8$8˂#QjMq@C_ 89S & ,BE893i97y\ B҃یYVX QCh{Iuwy |7Z-1^/RlFG֗ =odpqzs6h|b^Tb[ek"@r@& <|r-v<2} :Y@ꃊOy'/'|>mtJLe)o}t"hC6;#1E`D dUV4ԯR$~*w/D84Jt-0jzavbihT}p`JcFvy *|[$Qv^[>E,6CAa$ڍkdEB wk\7igpͅXCf DH M-bIESgȡ?9 ̕|gjK%.(k+֐{tE6ܞk9Yab= #|^ĽG.?Ǵƛ2$ Vڟ!DQ+uy O#psUgf1 [9WDy{fd%FڣwA8JFqK"M FMNo qÒO[߉ñ4à)0FL8i?i<=nBխ3/,O6ؑ{,[7?jƆKMF,%o 㲡?5?A%k:jΠYt/͎E)Ul}!S?|CM<ϫPC^jϸnuF *vVh~[@"^.ź!^XnFԙCL=a1t35PtBP6e >nRiI04&HʠoЌ 7s_u(QݭnxfxCu-5d~z}f@GP,8h5΄pyɮ6s8TYL|IĹ)x>ל⦝1qjϰpoݕȚEX?'0٤6?_IlezF;;}|}:0@dm« F;Wᢦ; g*/P)ߔ|xGr-y~sF~5}iޓ5шF`NP$Rq׿⚦N\#ljPJS69jJih 7Bpu/dR*vXzҡZ2_9g4)9= =ɈXn9)cb3yX ެ+8dCQA̰UuЊ^D]FѾG,(>>)=Hٳa-~´Q랯(bq#=jF0ZfWB`1$$d$QJ-7_qf87!8q3x5's4zevM97wv=@bm4'Du,-}x{joǶHUܝѣɔ30fCdm%;szxlu\zwҪ^nbL2bz7$D{jqKXj{]O&L3 @d&]!νK<.nRt,A6]=}5VJFxF]d9GSHк4ui. ;pov8 iݩZG^ U3Lol F*l?.&:l5vMvlr3hha@cJq_T3n{a bW8S#$?:L ŇgYK"*WTv3ci2&oز}+8eČZ6_^p&8 o10>9ohEƄ@OJsϜtB͉<1WH|ٛ7-R/ۑq )&aDiB*5 $]EI ?>6JXf˽dQkVk՞ G{dT *Z; UhxQO:^-: S}lMQqC)w,NLƧJ7#>4swyUnC+bT47jO 3=w "]mi&_M__A2^<$ycpZ[AA<M'!nMXBR${w~,88@"*̷ =ӵZ3!v(l. T8blX`XSA# ŵeP뗣f _HU8,UA»e损FaXI{S{1P~"]-sk,17?S jq?œ Q=˺ Jvg5<ܩmDEl,|ncIH3$iG"IaMO%n̢#=։e9~11ss,K*EjҊD}JZlD6w#™Sf&)wӦӦ?EH ,:Б|GAmp:XD2&/`L[M {^:=zRH.0PsԵX&qmt(ϣحP4MG 1Xxxͨ>Rd56c`d;e'< bL!jL6Af; ޽%l*Օ$j#_YK}N /9QUHX "LjPE4njt_zZb7.ׁ^@XoQ&&S~ q _ S´aG>BZ@U;,ʹ>:۔k3imMsVQqZ ҇Aa+w'lh2Gv*?ae_eߓH[{o|%C[6c-~;~O"!C0l=u d¡򐅼F1fөqJa,_;ω:]!\(i"]W@ +=i:<'[]Df*rGJ15xaGZȿd}cW}nfjTKʈkC e|h}~i~7U#i7, j:׺u&ao~<5_qDƋ^Jo,̔UKdzY@pi`:ud_ XGXH/ 96$aX5 vNc{PT+^ ARI+r&GxﭿQnF\>05'K(-aU㚎A43%e~o 9Xp ΰp Owk ޼U,6W~d5牜j-G/Qޖ+?y083C`KX55$Y]ߛp)DQWjŞf஗}VyiҶ~j~AZ+‰f5 8Kx f?mv,Uyr~:vn$ϲt]XU  T'\`x.)R~2*>λlM(WXC+BKC_Zko'qZDžV K/$y:Gl%$-I-1yttѡN$6)}Q 节 腗vzNjByiQi燥5~ވt?ȷ_0>b'~ D GqA1N['T|PU+U9d1be9b(jO,ţ Wnl*7E~!9ƕSWة:5ɾzp\{T;fJY["z YۊX"49k7!"=KHp)OZd60(B-0/c?=\v]zh\J3uŜx3ߓ\>v|";)܂ Fr$f&+9'kvjie2LH*]4>ۂ:?*-m}B7nFLr4zkQۉdUN1{?Y-7ҧ'忚ӳb0󱔔sFOG$ob쮅{Rcr+oCq'V'ͻ[=V[r+ܵ՚}C0@RJZN6cSk/~rU$̅Ml~]v3!vZH6쟿E4i\Fv9r9`UDLJiV@ <pSwm+M?}a͞iRe [ EJuŸOg{G$f܀oX 8?ӧdp?GaE}yPa|bCP+BNS_iC#t,;lz算w:I[Ÿ65'Xc澃^$&w.Wm6fl*m[D=IqK37S]zNCTZn޽m9WPjUv1. MbI/vac8 _h@o&ڀն;'KgG'sN'1&>pU荥Se(+kmZW}$`"mϏ߱Uc&$oAHWڶWiW1 _R+mܑF{J9oxun⺹[Bai K鷅qο!j^d_\^n򊙫i6ǟR 4hw׽!җǭ'*#Vp=n vO3DSjHn%#"|1B/%3PTe I4m!Jum߀A| 91RϵlW{8`JS ͺ%"'zB\Mtq(_˭(oXdPdV;ɱwTC"| 4UȔt(7p%qhs'/#6[]@0sW1 W2̆dI?(/srE+,,J̀Zؤ'T{ޅ"`i&80DbQgVD-j+|P#TW*[|Y\LZXRPG#T>,!ihH .!Ko|)"I;WĜK' zv`i|Y'dUD̽,lmՈeOmnd^}LZޕgqێSLCǜfmCh<4rwi)~(O)Y$^59H#@*L;n t=3Fᐏ@=jڧUvZY:^Nguhh#[^[ ׄKn[~X$&} 4#L})Yԃk+#ٓvuJD'E[31}~R n?frOD(p::zOCVJ ΩZX8L&C?>ypzYsym1`VUqOu@ƍ\5dJXX 9!jt' V,}YώkmQ8F! Uxky@i \R.K|+&U;t*roq {{Ic,$!dM%$,əZ1gy4G]2!W zUk1$H1~qE&pJmmdDXB)0D}7A|l(=[;iح;p^>3Ok{>҃*!OWݰhմ0th֜\0|9/Vu\ <2yPVSZ9ΘmX_b @-3gt+׾#0n{iD]b>6tc.W;rZ<@E7#&A7jFaQo( P%_K-c|RD р)TcGvFzcdgL}7(aElz Ω<ӯ PS'lɜ D3?~ Oٷ<ݗZ+kzem..~ҵgo&ͺ[(t`tlݜ_+6i`>渮ע\I,d@:=6 wB*R;pl!J0_z2͊ +%[R |.SʆE#Y:첆NWĝ) GZsC \Omi Rf֖PAnIӱgYZ80bd320e5c980d347df3a564030424cb9500c35044ccf15d3cabf1d8cc27d7af9fe5646307c6887be18ba4743cb52871247a2781b1eee86c87e47f56