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 //-1,d4 ]% HOL-Decision_Procs:threads=6elapsed=271.423cpu=1181.436gc=167.008factor=4.357zXZִF! I]ŗXf1-q恈ŕ׬[p){thyՉMx'S Wa_&6CvSã|o=#faCϪ.+CzF504rf6[~2HIeA /0ɘlx&tcFVX>;o k"U3敟T$d2Bg,( !{iS!].z|")bzyCJ&i{6ųѫ`sب@ ,sgrԊc<+bu1n e]qX`0zjIuS+@r,u. oV>ʪ#> R57<,M= 2 ŋwx<@-7עڑ/v^-0+kn: \rO ;G[0ezm &n==e4?*}r秷H:hlY[+inͦ/P{?JE~yȽricYZF/( J]?EfY++,6`9 *b;b=_Y|-w|o"A s),20s3@*FԬ#M;`5%S՛'rMzG~1Y /)*u~˸hdM~Zq'k~6 n#Aj퉅&1i NGA; j& ' D7Jiyz+ogF65mTf?Mnl(4YbIg~udGOR+tQGLm٠h"&6jR|("/v{|"?6)1U?Nru-*=)!C 5S#'<#έ-Hf{qA)H+Q fwřU#oj-͂؀I/xelډ5E\"$$ QK&HlXwaM(N0x?8ofAch˳'"+3eli~B{XJU]p2&礕W57иe{U:sUaҪZI^e L)dž!a:8)WJKSKYDD8#8 H ϔҦQ\ %zK.c6s O>ѣZ!U٬ST,١/[+zSncEA cjWCo 74cS=('Qpj !+/bs>6 [*`vl2867]?p@w^t}N^dژ)K8i;Oj&SՃU1W] X[]%—]W[P}l6н55+XbP\O^~hO |3rUCW>yjV+uFro,ĂQ^+S |&i.,pjsaJ_i`R](kYz^Y|'{?QV2p{=PPF:8!)D ޣۚct4q%l[f>כidԶ1vzΩL25qa,16Ev"'WL>2JT16՞\D g 1 HOL-Decision_Procs  jpb m fa_&Z8/|6_0t-Zm.; id5r'vUL+KB& I v%< [;ś" lPcSL\Ŗqt4~ m'Ï&b}Œ~ݧF10q[ d%?6kJ~!˯.ΦI) %*VC dpT@P)1o]DQ^ E jmՊ=*%c^'x@tZSnstDh3iO˓!eN}!2zu."J&P|70ٍ*jOΗCOj !՟@1'ZbF,|{&ο:r?va{ w q$ǧl2g*ϊ.߾)>>g 0&)^J#(-Dv\椗99dc7% Y&ǍC.lBXbrQ_Mxsz|e3aC_;V՛K3[&{ҾyÞ{Ou1t@S\F H2DY2޼@,~Z.Dp/"Pͻ9.:;"vZ+- ACH *@RS.};=3e@/ʪn-:ϗ|Xn}mN$@MSlmfqix 3=TR֘Ao!4#fZ]@Nu)djhئHUze\>"=h|s % +eWRGX|ƍ0#W-Pȼ'W9Eg2}׉j-NPxW'O>j LᚃXן6,] zHGtn.`W[V w~!*u ˦(H 3COĽ曲zUŨQ+Y,gv_jP}+p; 1K%WJ3ǺЈAh|r*Zv'-lDɐܯ*rG䯙9* ɢa?@ %s_಼ M(Ը6߿E_O+H4>v@4"و\/*ri,^ʥ&E}}]}zbH P[}l]4oVt5x:$ %=3YnJᱲ6ė!I>adL̘#,T`.,DkQd_(W=~*?[am|ywg# (s>]yeDŽP'q>N^qB-)uS*7KNVŘE#$kxda{:(Xv r&N#ت߫ Im~`Jfc{\ F.(~W'odAw7Ida^ND[Inۦ֓BDUݤ=@XfFUG\77q%~9|\aJsVƣ꤉!p]h1L{-uo c( 9:gPYGcDE!<qht8뵉]F:?s+@}wKˑaO#MoZQD,z^+G]ZIRXEj>fX R2y[5ey*ra`Rxn.ʒ֬s BBFY FAm>by}3 -ey7I%yːNV<f1q08R> NN8_@d7R:Bw͏vdOq  4&X;聣ز62TǂYN=hKm<]\qt"ClE wi 8aƍ9+E=w5+ݓ_@+a.F= H|^>, )9J{Mк=jѹh[ zӲ Y UU<#,~k7f' !/ 90%EnHI9bG7i-᭤U]=! Yl~(G=\FiwVSBX9dڔ0faz86l(\<:y>r#մcdDŴ4w:m6!NkhȰo-RK`z*!WQ"W7oU)~V˖;y4W!+#cg6(!oX`Mb]6)[豺|՚F,wCVpU7z~h6$Q,l?-Djg2kcZ :)=lǠnXk4*VzGdY{@I3āB5 7w_S9܍[}d0a'}d9sR]mKXփq;LJعa<ڈ)4b" $;(D",9-WGJ^sB ή?xDea([7,]<6ke*OoZP)xT†ɨO=\dtF8"87#8y %D8rDc,EYӯYgͩ1Ma2g⍆[y:bzi>"pKc52g2A{a:2DfZcq^?ѱxKNADl[+_9({Q"N͔0;|yB`yLؼZ^Pµ4&,֐$84 OwvKg)0<~h\zI$/AXg:WuS |#Ç RpPlml]D[xoMfKDn.2u^#( G`r0jOkθ_a1{+ Oᗐ\AWԠE85dpmZkuh[ox$3CJdvLb ??3oj0pVC6(d)83Y,%'lW7pZ7H8SwOHsW}E )ƨᲱ+*MՈT4nΔ^|B$vm/ʤ+BgYZ7zXZִF! ],]ŗXiɟ17L? KxlWP8SաM~>fٺdOdpePa)]lyI@_0@4K!M+'ϚLyE̫2VBo5u`N:ه]i4ޅ!F,9wd "!́g52P3.[X%.)DYRU"EbQsP5Su& ٠fE0soLP[LDFfәD>}@#.Q}XxʡKT_%snZJp_,1p^Zpj.v`/ -br2#8eBh6QE3<ɾSm7QX3yO  {x& <l(1#@xi.zY!Zn㜬1h BT:muZT.7Q o8.[A XW(1=%-\%r:?d {gYZ7zXZִF! *s\]ŗXi%Bҷ`%/}oekD.Öő?PӘnȳe$|g ʇ!0|ͽ'7X[ 0b|iN?oZЦM?+ T&= Rs .# h?Aj/K(nH5aypUI R]0C(Ti*}@cmko$SNrTa^oLxw=D^KXK4Ѓ_r43܋f$@>Oݧ"p<)S&y~>,Zф*ei/~{cj) +ĿnܞXA3QI& ^c婉?$TCAP,5yChe-D\R3"t:N.d DcQ/r(`$λ.H*8"4(7~ /ɦ4'r)@0!GV[&Q/ pI;v?hRu<$?D̶]eTXq:xSH| `ip7~;i(Į~mYPtq 0S{DQ𹕋qDЙx1P<]MTO%O-,Sc_œ9Q21"Alg#5 sIO\+ؾ#4{Z"mdPv;C"yR[T-E'gaLTre~1GÙ8.ɿD¾e?} @whgك[gsx !IŻ o1ц:;G-*n1TOGH% !2-}gzSPP@v¹˰x 80 !kwOPzNn)Orxb|>`ZLs ~.Tq?ԩSB_rpObz;t"]r,e~o¥+c [8(J,0S~(L{i;Nc;&/= Z b7-r5שM$? DcoŌ Hu!)br_q2{D]ӗdzA*9b :cTBF'*rX e\_EK j2H`f/]'vծSp6pQJ!mGiD{4sƏpK8 d <ӄ?ޟFn9mէO! ^C)3A:oPQoDj䨪?t)ܪIY4t`(U==y޹'\Wy#jy H{,;L#,lP'O1 dAR v5;.Wq," +ZŎ 8-1Ivu0y/ }r@9okƗW;ի3޻ 9M}8LͧP:ʃ5 tA̒FkJI-y}h[=%wRm ] a!1̖+"6E [srzw-6 E%oߤ=9pGڕlD] =!.:t&df|>FRF_XYpӔ" j^~$Фt^1BU(uP@`i;^=:o䷚*(o* +ca&~VчuR|syT/G,)  x`;}N ub r&^,d*EW9L$;zH &y;콹)w_v~?{tMA@_V@UObBҢHzܲf€ĝޏg*^ORb<>  HQVtbVo xVc]y7Otҝ4o6kCع?\SUsto4RtBSEV '5*"zOcsVW,1tmm ꠨cV PX6Pj_lrLS2;\\wL+"CA2-)a?F}`xh_6~/JZǰ PX=< dv ,vԈJ}JaRW⾵pkX4ha-"|ǵѽ\I=kM 5u؅~̌j8\6 "2~XZv  bM2ҏV8yzgj]Mo`!W%#]Rw"[ zD(OYR,>. 0{> >n}75{9۞8!,;#ܭǐӎ.Mi=h[ƞfKr( W1b&ciZE8vhDlp4EXCHcO+˜p XmKAP Ȫˎ#Ş3/Q$F;\AK2L&~}XzPh56edz4|epע8;g_ue'Y҆%SDyP#+e=OأW8hA@!LJS'{ЈDo1W$ 3f`zƳ紣=bfUqPxwŏV65TjYViӚOE~;|K szc@eY)[MTOpuye.qrAP/N!Ŝh9 W?Rrv(UN:p| R? 9' 7Zs[fT5qy"ٴILGPu)Ȫ *q/)DBatOM6l A$o\jv:nUP!֐&% al%-=uaTJ*⮾۪)x0zR41)U'+}ǵC~@— SyK6Nʉ^,eZXqEK$.ΔFq]ev_)oczuhEGEاKxa0yl#~~<RaXyDrL˹NtCGٽ 1uRh5%݋uSTJW? :<0";`Ӏ7^cF9Q9+X+$s~۪gPR 9$PYU. .-Jgdqweq5ZPs=/2$Sj\%bԷ];2a<&>f F#p,B ?p8;-hX(f_NsjhVZ~7v90C +ìH0$,>~*[!FT/xwfuC0U>up Lv{ e.i$s;MQjLyN–O[VHJ˭f3CEKq4Eƣ,d}J%ih$и -6GDj$֛5)lxpsR5dxBG J8L`%M(*$1?uo˥5Xq)5[ZQkC+Bq%m _|Y6ڎk# fX.}Sf?cޖjݧ ʣa$5G33fpu2}izúO~M`)x`Y813G󱛏#&[WWcRODO[[ddW{Mx`CaoZ޸vIFVPe+:=6=NSGEct3 Nf١Ղ+#dй{؄-7ڠ3] U5 M^THQ!ͱ@w9p%%h\(A6v@0qJeE:L~rCa#ԮU2kg}E~~"=d4;'5KIp*_LaO1Lo\^gն|+H!=5wa]aKLI|}aYZ;\j/|%7z*AO_u $H\gҕяY^m6# J${bkPuGobFݱ9/oݞA5^ns#잱/} 2J(>y=OHy{rw,$-q kt3S'#&B%P|U c?s殮 ] .<z/YL-m)j멞XO ? &ta9?̞vIA 31ƖJ׽\oȲv!vlň te;@ @7֐)[hhpP-2>;CW[,cQ\>@si 8lfWE/3~]?dtpqERBL:x0K)u kT@=78c&,noJм%ȧ)!慨6c( Ww1K<@}i,G`9_ƚw~4f3p򫁹kGK5;o xeD> ;c-*ƭsYf*]K#,;Alw)Va'J^`OEG"lt\_IY=rikRGrB60wK[UJW͈8KnE[3H6;aRg>KV!sZK@!&(:QfdV4(~jf( Y(c jQ kA{n7ٶŇzdV BD\V{q~ҏ2$whsaJuv et2&qfukϧV1T\ct쓖)8}G^%?wMmY W݃*bSR~MrI~Ŗzb 7P42ݷ5&YFd `m`aC-_ۥ%vh lef.oX ԢQ0sY5b&0'&`4^vg?`]9Їqe2!8(3F[4ENBb" vx\p)'DdT7_Z xr(c`?r(%}S0RmtA`; --Qs]Pd`2cB]V|,s3C~yR7n+dS+Y:u;v0:99!HX,;3gihΨ%o;?$3D̿]ՁՂV"5Tk8  ʾRȉM|C"3Pdn9(T0H| )b2䠂Yzq-¬m\ %TդcKxo=l8|~Cr>m){\OZ˨umpSO W={L`ePly}DZCqtt? aO&oR/gZl[&d&-4xO,qUUiؿpsMCT (nAk瓋?Ct/ ߘkj/_{C_A4@}L"|Y=p yv:M"SCkH!s u,ʲ$d9yA]Nt;3ccCґHG&W~k;`;Hk|B>ҍl꾄ma ڼ_b7kd=w;^`SN+wy G*ehxT+Om*:V#Rڍ \,q8Wz:M)Nuy1eٝ"JX)HXOoyf-D8XuusF3SB6')Moc<}}ş6= 61MDi 4ܔf@U6xTt\4}0cj̆\\KJj3eN|$~nv?ss~qǑne6MgFrweXNLD<ZDt˖RteAw\&rZVH4 jk8D3Io^.VR0ZGPp[TǍ#6`xجƧK`v:_]$'0-J{ȥDhԐ/;ԳɓT֘9pUsȋeϭ@<@m k'P fKMzyߠ!Olu,ټ|nهQ زj%E~)}cw+4mL"8KQk*2i@ $ō65f;pߚq S+?fyoqSP|R?Mp-ag"lۥwj[M{8v;823eR^NE N/SjL.lJК>qAǴ%M%=^J U7?-]oae*l@ L7#(*ODq#*ᣯd@8Ͳ-})!ְy stX1ʡy2ϜXkWDSfhx>UV58#YcN/RjL3S֖H #H5u"Xb*Z]2irmaA3JbFi660> gD0_=n@1&KZ+O!to{u^CX.[<~_+&~Ĉ R&WU lbXHHƤF1ZXbF6)B*%ÓQe:ٛUjlQQuKPl%rs }Hp(JpylEX#Sg=!ΙY6Xp$_ueb27[{x\bTf˞{܏Sʤ:sh9shoDIOMCa6AYe9lTJ!fMtZ COl>nW2)885hXpzA 5sͱHz{g?& Ga!X-8@߆P6J2-H֢,E#ѽG9xhU/S& ^֡u/ؑu"2v bƇnbbx3|\lU^&jSR̖0荸tgoLܜ/$PTt;tE6lbRQe&Q[>uԍ J啍 .mK3e,rC#lso = ID4 JZ=2>Uï@=p R} gd6':}q6Qő^Mː?W*N|@d0i,4;鶬BG+ Yn)Amy"T#Ib8ݫ[|mUɭ{Z(%B~dD{qF/ $jۨ!̃>=8LFEg?K>p *LGxz'`o7vN֓G[qI^ *ch&J^K`5'DmxBx`P(JG:݇ypsP!|Gt1NEm3A HNgܶ_܋tkیI {t3mk̲~y=.=fx^Ucl_ɱQx,FΟCy衙qu!'TD7!^;{i0̮F׈ fNOr{Z\&E1+1Q$b3#S]_ElP&1A\TrbQE\`HԽHg*6È?!vJ|BEQbR*謎{;5՟>:k6*xbW8)W-ܡYpMXعw67I<^ah$S-Qq)J|n7ʎ@^&C41Xv𬓃7TɦZJ RP8m%. *l*]Z!rNSUc|mJ"jj yAReY퉯@vнaM7; |ڧsN95t( [<z=呲]b @p6l"MbZ7q'79J )NNo\@2'SV2DҨ?PW}[c+5K y r[w9̏zu8f d@5#2W\Xl!Gs)QRpm52ag[vl3OO*ktl:t?oB],F8XWo+:,-]S^#J~++^ ULH xVu}X%P+ywVxcȘ8<{\-&lQNfd_CJ@_t["snz]<\ cHfeo QnMe\)SFI*o bZϳ2RgR s2!>t*=ꧧC M6;{(q ی.mCU}Ca2^Nja)(j\ hɟJVXYAߎz:b`>Q ]R@NGjm@oHv _J{&0эU-7w(tJ戱O0Eg5V)n͊UsSh{.7W$vardžf8x !}}ZIw+0@7|1~dY[+~q oGHs FWõ(u%*бc#^|9osn(/,}[-FNkf(O ş]8#V.!f}S<n4F{3lE]@?:n苌GP%f_<.UnT c yyTCuD}>Ua/dxpGMh%_ERϑϡlWiD*szjO=Uy[⿘K׷B4sff /ɏ6⇤u+w1l60sNvuA|Q>,Qo*OJڼj4HF!ږh&Z^_Gj̖Po,mTe5K%7P~14od'Sİzgffgb-{r # $y1<C"p7+x2Egr7̿:,N^zfBC xXfdZ C4ĶzmntmyfP\*^, bDAd[1?tZ}2Ik}]7q${Rv EQ$@UTD" ~}\c)9rGHaBjI}Un}w1<D"fίzQأ1g 1ݛ69V]-BbwVa&㚇ky!ic1-Psb@BV@:HIpgl49Fy2B#}08y?M~ Wa `!PRƗpi偟b qi[c?Iz*+a.Uv̚|'omz:o!QzmiĨVPC.g1׌-ɫ>HqUz0]3!rnIVØꖝe9?C+t.f:10ׂ5üwc'26lz/sD/TQ0byDI^Sth/zņ>:"W%Y W|>睻%ZD HvwGW779 H^{T#Di-qF1WkN]㈴](WjQ]0d*fFˉj[3͝f0o>-ʦꇸ:>&AmVv8Aj۝d^pLjP`TT750]k8=pKe tt=%hȗi֤td1P[> |>C{anm`oqg!h2}-KVZߏJ<ּ| v&4"2"D;󍒓K#NTV=v~cILn3Y"$N`uKY!"=n@/K!F <[Ǣar;X}t)sB>770i;!DCQhޒ;W>{ ?(M1%<'ىG !8= ,"! 1ď'1"YN.A65TO.6SFX6PdiZO~>wRP?;KrE Wnͼ13H g3%8Dio&"dbjwJ+4;eW_RB =DAInq@X!oPLGNQp FPӹ1>ݝUˣ5~,rO=\)?Z` 6 oF`+nN;̏poL㩎Z{PV(0B]`JԹ <>MKҽmʶ3H%hv;=rz%Q JP6vC;]<$2EvL?;DAc ǡB |sܝt K;4sHЉl2,D{Ck-b(wgR!T/-į7dQ%%Jug{KX6܅~esEֵT%qSΛpJa_pWIOS-Ow-*!SŏFn3m J FTȽѱx> ]=; °#tvo[n#^bHll&7ֺ*4jS~5TW5gvIjaP"Mߟ#CiGtS9KhGFˋXVI=awBS:[l8v^%䫕vvm_ac F hҌcȍe2'j X*,׈uI꩜u. ˊΠ☫hˣgtA~nO"@=ŽaR.0ĝƪempqE tHiu5-goqrDAl [A/[ed2)=bsp)Ndg,iJD*Ӛ"SyHHȞ)` N e> c0v`'~fUV撋ԥ4j9n>V@ 8ydޙCƬ8XֶXH#IDX2tE)Y3F8W$w-<^؉XM+y ,/9|8&Ec.dT^+85p7,8*A#xO$פbQP6~t!۹lJKnnas7k#X7OyBfK_|SI3JB;B]{WUA4!qw,MkLd\_m<ߤUj6Q@eT?Tub&kWBqξc[;N%8'Qv^~4 &Nt9e Pt8퇀*Qyg~bA7"e{fƴOXΈ(8/ƽI$x ;)r3&ϣWK7".Q\L,P mWsxB܈ Ha*=)O P]Whp' D4*UQMEcLJ:zLPƶ/ݫAg>b=P=4 ˂E)|8Tc U#ӱ8O`* 196}P :o{6d VU<Z_9w,h>F˙-dmKe𹀥oF[>!<~,˜[S)Hv6Bę梳G@>'tqrE;؟Df \ j%hǫ`;:gF=:baZc%׀@>YETV`@H{,Q:櫇iڒ*Q/Zjio`!/("!&A'T:Svf_|!^^yb{Sծ+ Z ˕*{p!dv>wU$Q7Rb z`vʏ7rƘ10//=F;jN糩 ^➧X ZgڭљX7qB#F„*FqQUbsUɕo$%4grU}Ñ$ { hws!Kz )sb=?U:TkGs0PLNУ9~|xN\YcA켵eWkF G.wĤ?K{UyGUǽ3$(xPm113'λ?{ qIu|U@l؅ƩRD_ ,\Д5X(^ (Jf\">tn$ӦtMLG@'+;jŜ,GcRCW tUaVBhE`wSv0o(f {V CwՐ~*E(le]5|N@S[!5yiYuƭ@%=6:(V4Y&xD9O@$خ b'4es[G|%ӕ *h=Ɋ|U3MW Xd!C4m RF5IXq˚D6@r}J_hדm5?-p] [~NdHwQ|+_ T<֒wP;?2dK8BH2'`pPޞiSj~YxebRK_aoDJ~Iv6jVcuwxks L, w}УlI߷oC殮pfp%j@_?j0run_B fTT jM3Wiچ,@z"oާC1^uhfk1Zov<>_-f_{^ck)\s1,?7Q Yi\c2[flA2Ž *#uEzMFb1*5)%H#l <ͼKJ"sGs,k%G --E(n*w:ǐ,?wM.E{N8q~0*R9tqDT^L@ɉk&h &Be?*Nv ݬVd/$ҍv8E _1td%0914RvJW݅KչP}G!p_$9@o1fi2- }Wj%oZ7L0J]WJ פGpr$6j N AFi J "Ǣ 4Mm@D,|(E d hJ !S+&,kTtz{oi>c(;%&`. WQafSs =AFe^r DD /Ѩt$2)-FcG}݈h2|j8!}x` '>.6HM.+ƽ4ppG^ʳfiϩ?䞹wv|%i.*UEXM[FO1&엱gECy, RY=m15D0lw)P7^6񜰪 ꇍ ?sDu/x,,xm7Q=T Y| E I_G{Ji rQf=W$h,51q$,ܙ0S93; ,"2CʃZ@{Gr4$ fjW869[9MۜNbyg;d[0?r63ɏfDk܍4%ch6!pQy b#JmF`.Dʿj+v`)'?~Ztb5vka@I`˜:O}^9t|桐m6IU`x |cv _Hq97-wgO٭ تl*\ Ƞ_|zEN`|W:*MG33v"PrLjQXઽ?)1 ^ӱud~lpFl\>y,[!W2RD|O$Y=Kj|;ВJN[|" 8_H[-T6yGtϧqЙ:C= H0Y#ϊcvR0FnhgBP$QH8wZL I>7g7dxadXpŠTfN `ጿ+Xd#3#Ngj]7'F;]Y^b"STtHUakfܶIG&R-N\*S#5ނ'~aJOL8Jޅe/IA[7{'Kqۗ.&J\az"'kYy]2lF>*R'[4%,b/k| OUjZOq0/v~nx]#|T媑 ]%>ej2hHA'2`G^p.ޝz:X( omD'ܐ~cB`"wo#?eπ1+C ] #<@僿7tqoK]rBs͊XK _z>?_ĥ4C=E1e~+?fGx@ И<Շoxq CЃzӸ^m}s(`KGVrht?&z|/Ni \&ncA@ MFOEؚ{L8^{|>dQB]*'?hnmuv1}"m@]:Y2D#b0=Хis]sNB;z,f,>k>q;LxMyN -#٘ijbYFWzlK[bssr e|t4>N x>" 'T| *p4+ESbVăv싯5UʔN(ݯ.Üj珟uZb `^ń0I X@PQWOZI htMN qΔv h"}0kL䢐8',%V?E6w)ܚ2)kgYZd1813cbf86241e19a9958e5d1326d091a425a39da065929dd1485620a1fe2ad1ab24aa44d802e5d5 ede8de29f8f7a2c7b32f6204d128100843065a70 cf40046c067585493ddf3eba008355fd2ae23943 90aad65bd956fcbf9bb7a472147cf3e04e9af015 5e30316971af95706c34ef41376ed58be17d9e76