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  s si3 uD,Z$ /*Ԧq7B!|^oQA_ٖ(嘑.#</_AG})N=W88YTx& OvO#g Y &wǗLa.47@`ɴ_wC}nz&U.OmnlW2UgptmW@ *,3BEGFHC!"=L:3~bWV9]:Ƌ`O-JN4TBw^G>:G|gLg'k$ SՆ~`6Eњ/l8/.UOl#"KOq%]ŧ\1 kSRy\qɈk2.*|w4;ʿi3[uoosrZbBR6H{BtCYdH \͏OeȪ>sR i? O 3^ xʛ3QV4C+ü!ސ1:+jE-J9T1vIԲk  H(X Io 3 Typeclass_Hierarchy  Е$'#i]j s؟.ѽQUv2Sy)WkiICQֵ7,SHh,T;k.of{ac&Z| d|1`JDg |+r-`Jv0 A uANqxGqE­P<&Ʋϳ TB6xinɉ`n3tt~z crWE? ^Q?]sO_/ 2ʣcDcJH2tȗH?Jc?GS{DLU<: ΋5eߝ0 tgcF3MGTؐ2645\0*BAh8 QVꫀb݀' {-Wv "l.)*qcE&x[,r:u?ar #:1e#"f9OMQ얎ӷ 5~9}EeH'a-3BqD$'ag=cӌSzHE9y5jZuݭ*)û=1hSYf@. :6+NцtEr '`k%"9WHyFXA☙103XDgF~:Tópp_AQyfuJ\*`2/dlP,`'N 2G̻35L&lhь]}hS_Pmvc=NkFwm|Ri]sC6"1>4kdI4|2nn T]EVl̍#$Aكchŝ'~FF">)1A9H yS"oY_ۋt\[sL[ Y7MN!힝>rV%ͫSp kAuGÒ3$q>ō7EX~ZUOs_'xS_[KY~T#S,}2|I7@~Wݖn:i-3Za=*ݿEObrYag z۞ZCx/PI6q:%a-5~/lD8Pz $'hL+m9s\Z H [णdFR>eO j. @t)*#]"ͻuɝUY8}[ߨ0c. YفƗVR)/`4T-3ltޱxg}N`P*C!I!@Xs8vK$ENrMX_x*tUu t,BW-eKp#qqV> ǻm#Ojn;Cϣ&޳Osw^?Cۊ1;[us-ݡ_ Z! jEaToiɫdJKWnn1k[`gdFg,Let%$8: ò`9R@nO P̘j6є7Of NRZmMFs](u}O.Bk hYÒWf[X.d-5nm7V갘rh ]HW-|Ԑ@td4,w|>ٖqts/qjvBW\`˂ۦub1h]gA $q#0ț1{f\ $frht.]Ez L~;- &W'm 8dh r.'!}+n*Vx2tvi y+¯ FE'-:C. ܳGx xu|X$vP %aoԡl`fcG7h r2H"Uy-"whx'r=07"/~B$vGxar 2#4ǰLSmk$$zK?$pti$JX+-n-TvXSk WçSi!^pL/xdh(n55 `KcyIPxmG3p8N .];Dsȸb|7q0bm ~|E4ā`ȇ&C8@r FTρ/ J:QHM0@ah7L̫ê1F̢ #؎z\;vafF 0]S9lCGI !>P<0R^+D{9 d\J{ȬU_AijZOmKloOo  v㍮ _sjtHiԝDr|Ϋe+,w'\px)+:B[B4)H ~W灏bMTA3#.}◮#Driɤ8ddhghT-,HT|yS${U^:I<^u͆/>õD"99R6g7ܹt 5"ǩؐc[A7zNpuU?9઎_9.BA6<+K0qǼ_߱cP%TV&a{33݃p|WƁ'VU:`_{A{q3ea_cX02*:d'Co4d\qڰcHꦻ÷%kP%15[9\OL㍹B0v9rn7 Qa?)be@8=m.d@Or>" f:H6J)whkdTS[Sr#UFhl ]3,1a ?31^f]]\vcmUyTf69 mfPC! }&zj^=s(UýwX5v4MYtMٗ Ǯ`+~&kj" سKw|f+\5>=umZ㧮.Ev,U qOiIUcSY{-͕xi*N? p [.6 * 8X<~YH)(Ot_ hGƘF_Dz t+dB_S2 IUxfeavp倉:_lF>Jj?2^-ѝ:)x -U:ng"@RCgupaD}YY%M99r:˵l"Q!8e֨i4fS]?.pzLfSzepz~5 `)rV!T`Cמ0C&$ %hPaB[ dWٵIY>[nYT-7*akʹ πjMg8HUe7_y37ƿȜ<0Jsoʄ0@(ו쒛RVȑQC]؋`}Rsɠe˳ۻ&4OLƉ1Sp2Z|ӁXԫSϏw٫x(1pLFq׮ct{`~&gbL/&m3dZ`0M ehinWnoL H\e;qV.rY#vZ36Pܔ 4o&l%M*MT5SSf_cBj `>AN7%X:~M̟MlTbT:tluL$kiSr=L?̱q-%NߧG*L{@.6 3rl|lk8Q @f11OOЭ 7!\"x*u[WW xaOMx;/840T=!& [=ҪyMRKOġLPo\v͝t5 ) g߼l?FB> u,WـmM(*`-b$k.`(FlOS<0mFiVi; AKC4p]Mޞoy6Nb#;E]z=4bLԝrZ KW5Ё%3n⌻ItjVpÊNp*kFDt9Ł&֦oERg| *Nσ!m F1fzP<|^:Ӣ*2O)"*N"`-#iI |g@ɞ\1MkέF_Ā~k>/p\1pm.B*}cA)7lj"}ͺSzX8~u4+c)} B.26A=4bhN +Sg yV1Vd"ɑlpA\J<ʎƮԟ;$,VL]cs@T`Ὗ51yY3MؽG`>8F];|X& '1^Fei`["'bSORנN $Z,^o9Up*-)'v!T-i*%TdvAA#%8GH~x~ {ݱ+tw櫪 +uՒ+Ͼu@a`9rb:i(Y0:]V Adg <ÆLΡOUj}e7\x,xN1۲gϦI@97AB!L #g` m\Ujt!ĝʤ[GM3oxfBvQ=fMu2tc.E^zam1\_~^V-M 5qTi8[S 27Xi-yg`[+1^385JrJi)w(CY/a(! rKzTh9 ꠣusx^lfc@a)+GHO]KSƻ:;K!2&@K)qmkb9B;'+ *|u`JT޿fX2lKKcpO^˦ӛ/;Jof@F ӦMYCo|JFN#xRXW.7LEe? MeT>:ÐY"̞ I_*4R_V?HX/0k~.r=&ٙ<6өPےʈc}_ KB4:X~Z`_أJ!qz o>At,GzNQWVR}BV@*6ϑ@7aK$&b9)(מdwʲt(ͺUac=| ЉoaO2<,'!_oyW,UpBh#ER|E#ߵ`?k 2-`i,6,b=T_ rg+^F^ܐZ;MUh,Gz/Nx;)tfJӅ٬rcy\/QI%ebņޓ:͸]P|ezul]'T1AX2GRx~IcِW'NYrz k!!;~߽ cނJ@HO-SKlIz|7rLÁcqAh"|$u-BH \ 0>28#|yYZaWOrj~ ƎxtzR,7]guPa7!q+O0XTXj .hѴKO좖╝lۅL+JFM6,KD>X)Jf6V7'NjNSwdR G@?Qa]jZJPo_<{ɲZ۔xMXzD-B}ɺ:ƕ w:ɾ&UHIy I;P{:nKx"ReZ^OљU-Վ4Ps$%>ja|Tɷ[:u0ek([iBHBYc=Az XMK6u$b'9i o Yñ2P~22KQS1J8\+mP )y7,ȴ&:34Bړ4011Pb&u<R}}Vr1  ;EuP4_ Ƣ pYZ W*'m,f/[)SčM!Wy禙828*^v50DF;6kiDž3Er`rEE4(Ω6/k4+54 !#gaAc& (NAVJ$˛)F|đl\ώ$1_Q|VG=rATzlTaVgp<'**5% n!VGv*oPqq{/y2=I&|̫c3 !G0iJDiԋ1ݾ`TV+~#CS@,/Ǘ,ױgѢd8{?54-&?pK`IPRa!WL').N} j:16+,ykFT(P![aB%{ VJR.*B0te*"''z@pdEJ=}/ZK> aX1]Bl^$0t`x' Gk*y> w[p!Wp8OzC/+i&.+zx2/a>Ċu/kKs  cK%D9C:;wǡVnBuTgrT خUZq"KHs*'gScO[)/kNShk|(-;k_=׬ &_12lyVFN7Sk.é'GY2$W=/}1_n_ H9LsU&  %`X6/]XcBD~,M&J)\"G_RmTQ(Kbp:5 k\W&Uw}9@6md _{rdC:=q- Mc[BUF~%LFˊ6%^ q b x[|]&k.-Z`\⟛Lˆ؉qX3saEtʯI50Y6Sụ^dM!<Ƽτ+Wh{Ed[qnvc;64o,h:9ג @h8o^YA> Ʉi6i)qe=Ѯ̀+ bU!_G ~zߩX>okʰϫ MkT+b=MU$҇!&`_w3fU1 [_.~$q?Ple:HoG.4(-1@mK#\K[_9rߩtYIqq2#C{i:y_Pi$r&.Wwka=W$iN[1ruQȺf,ͬ}>&`{s~cfdQmzL\kL҆H+7z4v~XDm@ݤ0(8"H͛ II.q浕mthcXA8K*g@9 %h`2iG,I$[ T>DOR meKp x@ ȸ?Z}Ď4I#2[7Kl `)kc8MÔ$8QY0gR.)@%Q$8;%NP_3.>{j޻8 .%Ǧ@LS?qgc8>C 7]4`$VpnjDNnL)' z?@p =竆I<9M㚮fB_HRat]Й?+oBدMܮ[06r\ - m49@X&FN<<ᵅnVL.g/9zX^Xڄp.OSmt O}p߁*goI0bX \WRN|]5WDT59 r߮)K|cO@;u9jǼpJPDql 'J~: XHD$׽^ }Ɓ5-/R8 C D/{T I'[}RQ Qslsȼ]aTw(e+nL˜dأZy=(mlPM.~0WC75eF~P:yDmg }m7|iB [._srð?%DcPfqfnC<*[ҹA=+r9>#b]z1d g4 Dxw~Z\)oǖGyGJOşI|5͋d5WKW$:A.}(Aq_M *^XWEc3X=BcGAFʇX%>^K#(,c>Fi)cdSp,ٹLjv ) "^9!¡_?Θbrι) j#;-J~Uq@'>ޘ g?"o0YRE8+K0OdfG:}{QcEeob +[Yƪ:"?+9) ,]ֵ|MBU`W+G{'l4~ w(5~.Q GgnzsH{r0=-hE4&(҂>#\Iq$O)'flj4Ldo?D3x!ʴBܡ𳾷Ek6QRAa^ ᧳>j#{gRָz\vYYzzv)J/Xdxeu9P4nķtU>e靟uZJcw_Q_:ewGY6%bQD^=CeI"'qG@3يoaeY%E&!{V zoŹc;ys◄SԔoP"9x*fHƘΈxbޮlq祊;Fi'`rvL޸L^X3#y,k%7V پb ^tzԒ}'l敜ADYjkF@]՛^WЋ$s"\%fJc;x`Gﻅ"2<ۡr Ѝ6Eq< x vNJ] o7#2Fap9 MfbR4vjC׼sKDpl*Fs][Xs-<yeހm4 缈OF6ZZWg%nTs35%yZc[싳%Hags<2EӡZߨD} I*?}`Aӗf\8xE+CHECb2Od`Y37uՃt*jOeLt_`~ap-{6e mdr!uT>ud5j)n|jmS(B[93(D Je \:Fyb0hW꯱}@[!&Hzsa fl2vDH #;vOy?etim_W2F2r);43%NSA7MO{W]k&;Lp͙12wDCf1>xHq J ie-F]p6(r<(x=# M9k:09| [瀮% 잊t%3|ѵf\*=C;;S؈U!L(MJqd A?2jo\rʷ5~ ;6`M2WsTfft'M=)0*-9߫P[6`AӦ<6Kۍ>Hj*1Cy~c ,JtJݭfXݙkF+{ljrOڅLW xA]o0XƲS$2O@.6l3uF_uOeUg-v+>ݒrA uL-w[Sg iHU ba @ia=Pffoō%Fq?qo@ʲQ4Eߊ%\Fğ 5kFh}xF[Be?6? uJ9U [o٤w$':OEQUi?57TbYO+^#j0!he5M5!i TvoYpfZba<Vz˽'{5O4Cmlz.L!aM X0Z vM6M'ܩުQy 7hVa鑒' t5;4UȸsnƙM#~g tuQn%{Y32'ѧoAm .# Y샍B}"ş., K_D7O4i3XYZfڵXuxYD+(ҴkR}`c 9ozH =@!qlK_ Hض۰-z^oIZjq>1mC0K1Qne$:;{23hYiڃ=ӭժɴ&tw#N\1~%ZMH;Ɓ\-\O!_0a63*I 9iQȋ:j;#]WOEI?@_bw@yM΀åI5"CK3+Cϲr6tN߂`QzT1+c;Q-Mͤ{k8۞Xs]"a0x蛣[gEɛ3g,PٛQ!|k\Zvz9zr:|+Y?\7!^)cN%@2C^hCoEFmt${%΋nG7l4jB& |-_1{ Oa09`z~RZaѕ`"P(tVG*8;5vnO`7zjДҖT\ۿ߷ذߤ|/s 9!Pש?s<Ĥ:3WТV`0GgK Af";9h$/ l3Qpˈ?,^GЖ%zTF9t;J6t ٰN1nV_?>5\|h x:ґT)J ;wDljh &ɭz6 _+:s㿚u+5֛Ba6WylH Ԥ 0=ݲO^\Ĺ mKOQO3XF/jzqxSMB1K!-Rq)D]*I.؁)v{2.s:ïvrս*9CM,ာlik5 fPZ@-Ǡw|R7]"k=*gUa]Q3*n v[)TS'7 t'Lr̉#PBJ u-)iZzhꃢi 4P.}Cy&~?9n4 Hy3!!=#U84N7J7MDO-NnYQ_ޢkiü,3Sfj~mf TEm5s/0~lmKGp-P^"dd,Tin*P(7/.I::Qb9Ϻie(I+y*`6>s78i+Eq2 O7E-T-A4+˥kE9/rTF`1ߤSRGj0NFϐ ~j=͋eCK$d5m4A4J>B mʍZ@1E19~є5}Gx@ p;]q9U-n\&Aa=kaH̶;ߣNd ;֛ms];iK4(u|}{yR3߷{PHz\-P4RZ]>G!JQ ߷=/i >jM"@:Jw 7~],1T]"D~itqC] Y]JY"f-&4GE"BB)7Zm2 1쉊 ӻG]uk!+Ñ!Cg"Z 9 w̵Md58I7 J>%zn9"pAE}fm>#Ǝ>鰔D5D/aӲ]k ~I/=}$JVGxC$^*& t":48+΀2Rb)hDعjGPӝ5 ~ V$lқ} # aDƉu\R+٠עL4m?p ŧé??w.)hVߋsK rJl/"H#UlISLi}yWx=NȢć S+'jKnbiY xjW/,3fhgL:&*I3ܑr/+P¿?*0])P %5?.)SG" `FW.O )ZXsr3Vޗ97Hm[7?seRY%DR F OqCBWC5 GԜ&wK5ᐗ=.pf3ϒ٬{Tia6RFz[=*?u.G'#_( qVc+Er.kgx12vl[ui*%cn'RgE-Z[bNep0ƽ:1Yܤ {!UtT+Ė 5cpp9UƆӦAQP\drG"_*lPkאdTY5{fU㯾q#/`@|KNb5 ]b`K.(+Ys<#EoGD\TD~ d~[[^^%C&5;kcW} -]cҺOqr(֊SHS%8f1;[GӎjRn121Blb<{`(i%L>5w׷X5*pr , ty\WthS>DcWȊۥv/8EP\h~s0׈3,Q[wfB^zq+g [QFUCg^˱UJҐo,q>-X@H'BP&쀾XK Pvxpf H|%ٌWP1*uMy*(Av*i / ]y*jRRgZ5}[PeP8..=ѯL3I.R_8r~UpZm4ޭ!,bLm$n|ϷyB0W"~bf6^־vl&<TZ9<8yuSRe66X ע54 Ob[cn0"ܺC GkqWe )do\!)iʢ PLEvhj MZ$DVԨddE `>^J{ǵ݄hCkŊw ŐeSPtdM/LC>p?駚hi)LI AZřkLtlN"%YY;8M"y3L%th!Ѝ4wlx,LPӷMg_N鼂~7 \NP˥\&ٲ1&Dsslm`?l|w(nsY B_Xh̉+rD.b+4b`t"A<+wqO\7 «3!RHy'Nf'NyNl _; ¯[55p /3C>4QKlMOtq3 _!Q 752gޏDé庙4A8'9<-,򯃰_i{b_F%#b.oC'UvlkjgՉVү{"Z5LeoQtlGl`!*bk/= ߵK9yrVkW\̧@}-[)czLj]R .={7=`|>UZjU7B`79ب0Rb;["(w .^FsW^*,KBw|Gd Paf 6CORwhʘbSAhoX!Y)HgpCi}M4L]%SQ3jC}{ҪBk&Xa޵ݗ?0-61WkQoT 騷RR+itX3+V0yrap^–Q PPDxldiJ g ?kv7fI:eXڪ\]{ԗ5TZh=s"8 أ "N3hXyS+0"S5}ȕtag W~<v=ԥ: <0geLp;]II$12vc CX[)3zS]J3T<\S ireC*C˜/ 4Rkx, f,{M/=@h b=,|`|t4XbL},uSb(XxS,z|(rSRQ \7_LaE\z 9UK1].)eg2s∣,h$ H" s/R4hFTM|W!#"`:<9U1m4 irc0'R6:et$g #X^t1fdzݱhJ˱$& En=fK&|c"v×gz VS'o\wB!:|-66f[sX8rsv@p_f,u~=:H]@p'iao!ie$FEMJrI8sZmWAD_¾ e+šoW##hSJNL?\[Hz f*UigkwHV^&P^m4z.rpݗUܢ#- ogYǎH<,7k^$NIk-FsmhXď19v~0˛7{%f6~^|+[uT$>!S" !0_5MV9o4k3|jE5?֬ %W@2זW%dvHzPpp/zH?2/ř*! w|.=٭Ғ\r8 6o#T 6QĔhtKHAs xkYsSJU{G`ۓn9' RV?.˓1 M x~x4;xNX R7n%7HL2mEZ {fR.c{.Oj Dž.K]/ؼRYLxS#)sA~T~ސ&t&8_3.iwFJt>u BڪI6ǎ!%f_h4W OnUPsZy d5Os2ii'qaZ)yAe3RWJM@0xѸϩ:z` F:R!kIe>Q ;3V2d|t{>m)5? C24 *1)pV2#hw(=`2CĒ:mڄG>zYmVf~5P˙F} `ޞf4A* -h,!=(  ߱`@b±R{NeU_R'Sեd=bpp @F> }Zdq!n7~]PӵG͊O ,Qaw]hf82&."7ӚF&rlpHZ9 @ݏ=⛟1nO8҈6,1:>)!OU\ҍqWϙa l@@e{P^ "NBt.`C{FW+?G:}b](+Ho{0 *DlxtCSt[E\3Fu!G6q{3Vq ̺p z_JBkieЭ#6Bsm6fFv1^0')((@NAF6~ڭt9zGț={ ;t>$ yWQ⃌Dƈ?rg:n,{j%bc@^BP.o㊇ l Apk=(P n(n2[,$>"g:pV]PDg&Dn r 4.g}#&8?(SUcWr}'4yz} ,z]}5K4 1|QnD_ !L٧N?=W{$L̢G#t!PzS%k-;x# IkKpxi$IYͦ[wyOe S1GnkIyW![8ۺvvHNr\C+ƕM &e%^P#qńVRΒifܽ;ƼyN`b|d.NMƌRǠ] S녏ٽt"#KV&"f{u'z[[5Z(Y_,L:4yr/Kp ffFD 1v+X~UG^? 7k)L#3\bgVe Iu`[&@Nv%W(0$k0o$1{o{<|e? ,Lvl\^9EGzTԽ06ځO N!/l\_rֺ I;,k8G\Cv+)X6rd SM\ tFH+ LozM-I\=f/~qe RΓNuڸuc0Id2"ysP%#DvT\LaEJx-Hp`ޖ;(Sy0"}mmC3v 9~! 13>\iBjG @1m@ì빳s2` ů@;ӏim 8VZ ܆)đa5lA ]v0-Fs[)n5?Zrc𪋨s͛[ߒ5pNG9c ƅÝ.-HyX|Ҽ#Oz̶BNn1ݟb`O0jޭecT ,֐CazCk k(.h.S<t1@6ҜWR]&B룕'rD2eNnߊAM[9I ܑCՃOTmN0IC;cbt%{= N鶸~~Ƥ Hg&,: ^a\ɞ`ih A/Xi- ;"Ϯ< ڝԖudHUUkF2n##X]-y#b-CpkL3Vr}e w#% -u~]&ǯ Z{]lZV 9;) QT_r?7yW숴}=QxJI,ㇿ:,,h V3ŏ|eEKi$%964=<堅P3YMHք=Z8|b<ڤج5*Qn.@z!9&t瀺C3}a"j+4D.M+|>[acOAU97>r0d I_ Ht(Ƿ hT2ozMfپ9yX ХJK@WS+Ԭ\oϷ|x LJ?ʜ sl mjw H{WasJ{N"+>8 ꀗj$aĊaj 3+?:W 2y:MͦO'א|̄mX~* cY*F<f9qFRH1td?yv<OYCWHo24~`$"'R'eiD \E 7<fg}ͬ? n9r&QC- sUfdr-O\ƣ͚OvoqyQZ!e._jl^{XR|L G;ԥ-wi'7Yf.h*p8 ަnv8@'ȼsB\b7 ^&7MoӃQVyw^Y?x(+Ou V,?'}TM7mGldg{MVbtȰe2}$/GJ~ Z*r ncl&ցY-.^R\``c} xC4[o5̣LTENBwEb6ӢSV>SYvh>2|`^-%TZs~(`O7NTs7LPbPTMU/]@A,,FR;&X؞sչ;?r8DJrIIs5RYd:,{BMoZ_"h!['+mHI{8)`NѺ-DLRFĢ ܮ n߽կmi9q4sP}^J~y@A֌A0MՍ<2'Th,r(ALnR|{^!֍KピfrUHSRhc*H7Є=Q(ӱ0d@ՄQ7J<l673yǮB[_0!d1v/{>wi%5M+#/ιǮr&b Y!\+y=K`?r]a,i.:6,b \lyglx=GKa(cݻ=Ԫ$~0  lUgϖl ^1܈q).ဉ? 8m}1S];^!fF:+!.I.RĕgYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu-J(Aes P@-Q8k-9fw#?r(_ / T' ,V^${:#9zD}-. ?]~kI*O|$x c ]2A*jfZEIlK'ջlZ1/ {pK"W/j"SÜX÷96nX_tI,kUdŞJ٫S7x>O+V>zRZ^Y k!Ͻs |;!"ɸŷST&0IC>*@OF -9 ,X9?^i06ū"MY⋖*7XR ywIZEw_ÎK`axpxɟ]g"AM_!vRodIZ8Rr`3q/Lh8I} (3H{tՋ5rly棌=qƽ^)j%TjJuQ,[ zCj} fiy&b:c5s .W$$Ԁ1\>Uff1cۂt?VYrjmB"UNzyxM>_&r¢=NVC&Wh̕ʅD 6Y\shYWv^A I2]prm. B݊=ICn oϘ.1 A nZ:0-Ы¦Iޜi>N옳F[ŧ ^=CgYZ1d95f5971425b2d9ca2754de3a01ed64e350a97c8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61