SQLite format 3@ !- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 cc?< #/ Elliptic_Curves_Group_Law:threads=2elapsed=188.638cpu=339.136gc=21.472factor=1.807zXZִF! 1L{]ŗXf1-q恈͐7ӺV -fZEw͠5`Qƺ#_"GG؝h)j\D{Ooh̳PY7-)tnpl̘sKvЏ5Da|Vӂ^.e؏iRgCW,RƬA[Xp1͂-Ť.Qs@s;'ַ9"aT" jTdXXq2C'+pTN=0c[@^0 *S鵜u̮^LYdTC/e!j d&e[c0FN;Ok2ȡLb|U4h,X$Ή%,«3!@ͭiTIAЊ‚itQp'!u/ԝ%@Lzk93d ;UZka+TAƛƺ1b O/#5om$~ HVK̝픏[kC 2׭}1ipJY\NX@P+DNx6\CkBѕ|^QOvAc>i`jBck枏\z_7jcFr~hvQ K_h-[ ? Elliptic_Curves_Group_Law C"(*2Tބ5HsԡGe+D"WN.n=$_n'ߓ.P~?v'ɖ' v0&lxAQ4ʦ1ݽ+4hzj# x A1ON<#I52]n;TE뽷i7a”ՅcHz.D]%)RcQ!2ְ ,aQU$#Ng*:< -j>*OX'p3qh9r]j^ CVM'mJ10j@.V9M8 ɽkU:n{ξs<'Lw-n}S<0lиlò<&0>9sFB`u+2uǃ΄JQYN/j)}:ocB7xPSY(=8oՋЗl"\qd[&24%Ο&PI)^ظ8JZAh"̳w叓 zkFCĻsHr;Cz2ó]]7x}E&0OjKhzi'u9 {O; Lw *3PFY_\Wj Ab*^"LsBZu1YB53>KN/^ g|[/$f>&vKZMl?*;[ 7D5>?@ 3.} RC'Q2¶Y^:jqK}Zܵ"jtVIV #wV.qƯE sul/Mַ$"0o^I9_ҳ0p1nĆ*nNp嚽Z1ԃ'-4 Q-Käx,N mlU}p1wne )sufpKco~KϜ7\{u?#핓Aŗr[S/j&zNSփeRJFkg wQDfӕYj< 5WXE_l6V= S-ŮǍ%QF ! EZ`\HQ|dEu<gbvy`VZv`~]7$42|5tw8 (Ɩo{5pUw<7_QZ`I]-Z=yBK9 6;'E%_܂r:^R~,s'}&svk uP@׭i۱+1WR1@GǤ?~ž>i,6 qDF D ThgR%~z9|y{]Anf 4p]TQ-:j^Ew#cpAߺ~dug" *]$.-QM.piYp5;QK\igEk-;ИI ?3~,@~7$- 1abD,.8s}IX!9H\\xu*___z#AmO(HoQM1J1Ezfe;{]X&N&#N}:?ܿnw+cVYZaTo'8&d ͕_U[PhVSY}a H}'"Y\1|Z1Z;F;]{;SY@  T Yx6`qghq#m;J4 =/55 N ц'gwoLL}:A Fq9]S>Տ(\,ġ eiZ65^hӞ@$Fk˙E&9(9L(A`ڌ@ AזSG_eU}2ͭ YĠZn/ ꡉi@qV)_;^V9'gu}ySyKXT~ɯ^cl ?٭wa!mO!˄(yW+0Xna%ƀ0&G,uFylj6f]s*>?@ҭA[ M>dl6 :3Fx7۠81v +NI~@n^bm?0Qw&+ytj$jjЬaw/s5]3j[{ \Gj.S-\w|6 N *QWKv~.[TSDՔH FOgya/Ku}=K5$p?"=`ܑ%2 qI 6𐺴=uz *>j_CF.9Pr1iF-=z.ԡ"nV NG³`~ɥia'#hv~߲L|+|ކ4~FzQCD8;D"wK k"̯nӌfH dUqSjZۺߗeL(y^0L-@4!HJtr3 ª^"?lBi(mX?#RĐ iuʛxѴBBI~7g 磼:?=wvRq!!o}֒3kgR9d;d`Al{AM Ku5mK77S%k˰=iͧzp"Df% =*8.UIg!ym'Z,$uGpLF{zU?k>h[ȰUdL'j8) 43=yP'n2/r I13hMDha( )V7( 5q߿VDnԽTq)zruslr7M*Ԏi4xߴ=du|džP46~/]hY Yc0^ɲ0±#8")}O~ޙJ.Fs\]x"AWb'9{Ez\Y &4d4q[*U,'w3ۛW 'bL{+9嫣y4U%um\w-C's# lS) ;F3[lxTD -k]^Z8ӗ9Ldc+Ml?!TQȈ[f!z6Z+J不:7m |@aQYwZgۜ cY=p;Gi;2Z,ZL^J K GQ [zq^п0̒>5m(LL}-Hll \rO&7cT,3 Rc:u⾭vҥ+45$/|hӪ$+8 RĞσRIHaC29.IE% 5\Sl|I%ԩlg@uPd{cwWƿv-f=f4q^ b^m-Q[諭A7̕q [LHaP.okUH#Q&:YБDeC/F%׵Tӫ 2c(oeH~cDq*K";XFOzv.-O%(s}WSeC$i઻#T+cgZmpG/+`Aiy!" :&'Q;ېB.( .f/˙&!BEcȣFaL9=% :IM)Xc|5@"M1s,]ϣ2ԖKTCq7V(~=6Ao@&BD\3PU!KQŻIe&T6ipnDǗ]v۩,4#YdAW\ + (L|&I57xr6eA>NNdrZԐd?4KZ `p0]`mљl^ZWOػga:0lHcSP?>ѷů#\y:?"R7SK FFu8ܹ1"O@|1%NR8uie8F԰tR tXwׅ*П_Na-Ժ2^?kܻ9fTP{D/yU:)=E,i>Mcr\']bUdO=9ϭ?^TMsQ)!JMI^ްVL)U#y ⡫l{(n[^76RJ |^DdzjVҳϸwW|tW)Iy$:ut;e%Sҡ+4|ok:I|/$|c=e!Q*H%>yaOj^M8"O lG/&roܫ48i-(|.8J@1YUX] i8\a,N>aI޵yHBV58N %<.D (i+N泌H>+7sy;/MiQǻэ_e<݅@ݶH4 UD(gws7$yHoH8(X n,.L)c%}3aL2Zأg~^c>K6,&ڰeZ9,+R*XpHA#5HXFêp 0aqKl#z[$ Zj=>(a\+A]=p23NB2Ƿt5 a ?Gkm kLD=)j ^GhkE/\Ƕti^cE\Z8ITmkg|4b NQюtnq ]9U(%fU7V kB>U*>\ 1`%|mT4>w)5ݟ;YHC4S/54Tl-.@Eh{)cK:-O2"|d'ְ.lWKZ *SY s0e`Mh+"yŔ?VtSqje 4`y>ǁMrZ1gVv)L.<j[/fahYș ke_לbݣ}n+}u3Ï̔~gqʮl[x $kd&:&ZIZ!tE(NC Q僽xZu]iJP!ԤR{?uODU4ZP)vJ?FpRx n;w<]!1[1?;E&.́~ /vm7/TF>h,329">C4`fmq#HB:el A)sL+W{m5D6(:JR7  \l'4BTÁkB:}MT~,Npk:3blv%M~>'S(ZcZO]mD$W ^ljSb&$y{MWD]z+R6̋ Pa A߃]!N6O gawZz[02O1jG K_ɮ1窭ccFcA&V㿓S sl M [*{{;Q}p) ,՚ ߰A"ıՊ6GT!)xeuL <"fː.$b#Jy ՓB"!R ;>qO(>)$$hnif// ˹H*?BwD*H&@],PW")G&WUT{!؀BMk-#yuLւi] u/hy54xLNm7Cқp4 6`uG̿-@-{dE{BZ.6;#1JPF,j9ʣi˃_DEeLp0abKqKJKV_T43HͫLO> kJo#1z)p4Tdf*(}RS6qa]W~Wŋɫ\M_߲ᷩF,ȡzZ:3uc$TZiFhc ]iyfA:LB(WAb#e8Y.vz{ WѹH43/wnXX1=8uM_LHp| ji vSLl`Z+HrI YLOKiuok.3E22Sj01#%!MέJN2ϵr; a1:+ж)qnM妣u" < zw#b̢v]_@Z:WI{r(=,}Ip^,[UzjAS% Fh;:C0FWll׾:e}f!`Jj$0XnjMq0pD'l*7ԲC`?8w@2[j4R8Bᇦݖ|)^O3`1|YIRFzb{ѲEz&?%."͍MMʦP ZMQ9ek[KR)|<3ƨdԵp3{7+<ǧnQ&U[=uѳ`&T `qx\q+z3'3eLm< /Y,g/FoWF" ?֓(TchIA #"CgxMz1u!mUJvTL|ݩ]~›J S9& 5!|e#C.2R1EJE[ܥz;أGV.YMRړSJqy@kD3fpPȌZ70.mp/*vm|nD}6S;ySw4< 1 0R=v4"E+hiQK*{Zs҄󤮗_~Vw\:j1ȶbR[ǂ<8 +/Zw}^hpΏ;j1r? ]b? 8TW#h)62)6y8ؗ04x:&y F|٫gz1D~ .RNzɅ d_S?mಆ>U7GTL֚ج3YE[ To=QʅHΣf@dB?tD_QE|!|׏v}yMHLO1; K߹Mg( ."jS㪮YӶCNk3]TT4?Kq *]sF^BMk vp]kWVZ{5KS!)ZK) TQZk*0ϭKӄ; ܆2?*0~|E(S]gep9۩)L>? hv6NPmOBϟU1liNBP0x:)]Fust6`1Ԏ(6/-[%[cϓR-@ϕ5KmIY9(\03{M0WXIr̤O2D%C?n\ $Wt>4"01 <E!;t] !or8⸋A; 1LVHTJKCm05RmXr._tS= ZF6`JKY XM҃z 9(@<_n)ҳ{{p ,! B*luy_%yc,L{tx7J~&rn? tg戵T. SLH5.#ub.Olqx -7ujq% m\ ))EߪHۥ4{YJ/CCx=3Y' )ХLi}(:2xCXP;d a`$ZZdH)*=2iib ^?5[3znDDp[JƵѱJlA4zA I#:Q:ͬ0tyܝF>'=J1J39W!; wLi3ͫ^<*GٯUhܗ@$۷[r37؎]2p HtTD/pVѧA3KGL \W6Y*z>q5D2y(a@kA15f$.|;Ka^l6<^OhD$ۘ17GM6?'p%"wɺm%OPk B)i bn"]ic}ثɸTވ[`?~ElalIkڛz-S"*aZ̬'/`4 4 J,$jAaU֒ Y&S)Cߖ)tvTIY_(%PtK(R/M'5rLzّOKi\jr'B%|e5> ۆkL9 GDԊ{v-".| 0=r7y %WMҽk$G$108~KlcPe N1GtKП7觀+`'Դ<y<jnj8l4{44 qZnub`v#|p&'i-Ee;Ew2βp,A;EFݜ Է.>KQ a"h!NC=sfʥ> ↬u\ivRcqf5<y[ϓbm_YMT*eݬLߏdneJO%,>N.PCz%%Yߔct}= {$EKtwwhF7 Hs=ӋWVo}oZTD,J # 'Q*1fxB#A< tKb~䑼p'5~ڒE8[rPO#Aȥ9`|>±srua}y,J`D*Y] F"%0ԝ'UћswwG㪆`KSMSXCK9#3v*H$aЫ-q&Gӫݾ7>[c(}0Hl~h6]CAV+'JzLh+i~nB?Fkoft5726I0% $he?^&گ Ӹr\bћ$*4"j"tW:lTcqȜ9RsyEi-_{D)[pȄQ",AsxKF7M#r,v3Vrk+ǹ9CbG=xYWP ӆk 13[YUj=EDޙEyB`s{Q%m/j䄑o!֔>͸ãuX[kK|)m SV}d\P\3&X(N\To22ً+`>9D[Uľ"_*t.YMѮRbQLې*9? r9r@L** Zyj#9xےĻqbf\h><4wRgр\  SqE)Zؗ{nRs 'w"r#Y 3?gd31;4p>GM ?_ ?GTzRx_4'_U`jc(rc[ЯX'NY֮>27H檯xⱅ+0]SG&  mM5xNVIGjCCH]}^+ȋLЖ{A8D9Y%N Ly@~GVUj8hK~WpT]>L@2ca6?Xd3*`dl>Nm8XJO<`FcwXeU sݢNAғE:SG"fyˋ¤ݯ涓. 7fyPpFJ˰|> ?aͪh*}c,PUWd97ҽ/?&Oʻ-(-o&ȸ0bV-BS5=ʿ@>k3ӏ]eYmhz `K_L 1 WIa{<Q#}67[Qk,~rT~=)zL(!lsoRO j* g] <rFmY֨r|/9՚\E6kspor~ F| `#\hlYE%4lkOg%V,i]JoOV]1d;e/k?M nhD$I^)?h>W떢D? S` V]Nb3хɚ610cC ,fA:NeET:抧x)ZҊR*5EpĬ݉ρ[LH)Q(< ,06j̴5Ψ|7`]Pޗ%iE P[PtGc t@1qد=8 Jy"ٗ(uw!X|C 6=qujg.YS5AhVb;;= l9;X'wʡhfF+D\·7܌?m`-%^cDuZh"1ѷ0+K:9a @ ߧ> Ñh.),g> nrZğ #o/Yw6:vD-n $щ=UXH@oվU6AqmZ{AUf {:AhMd^ ^iMPzZcl#b\8t1.nIINSVW\WXG>n GixGYJa2 l{L-cٳ)pB%6<_>CAY OnI6R?8jsSh 7OU1-q\ #KF`,=2 "~e\8䚵)MODS,K\L89\ԝ#%ʝE8Zi[ ,Ȏv쓠Ĕ~,,*' BJ.h|sI`8{`);u^mspœ JJݥWlUzѩJf[L%)t:'UA\~#Ponzmg)=ch).,S|)~4Ydq-Y">_No,D d>OմWJf#v<׍,LLYkZ(X>uFe1aWܘ]`듼vt|,2.&PeYXJ98^M,K g=aSx׮$c_bm.>rЈiUUj /x 7D걬Ajt!+tTz.Qmؼ*6kk B%&Uy o@. i#?uZ;0]zyG=ԟ;cgJ2(ZFkz>6MBl2K#l; l8Һ̂Y0yM NŁ$Cєps# ج9JSy_']8S=;L*4222LpI+:ŴZ>4=1.fM;Dds]PRoɊ~ ]W,ObT.i;TKPe Aj4-!;[@ރ/M0)jd(GHy~΋׮pdԧ}o6]E\INB5 r' "C'S]%.nr]z1(R7t'dӾ\h.XAˈcCE葽ʾIҘ5r不@ѼS[̦Jѐ7(v t:18V^Vߜ|KPٕ`YW)V!6!Su@w(.d0U6܃Y \uɅ[ cp-6$Mb᧱gJmfͦS}ڕ))Nb ю b9 g}2ҁEߊKzi|L:MU0qZCY(הc0%)(bؠ}55u C51>W|յ廛6(nQsȷXTa*j0 4)EK pHiˠ{Y!8HId&lfV hޔ}/Z td/(TI}!,PҰ.Zd r1yPQ82b5qWC`PO3ls+0,8p0 Pβ[R(6F B``SDGנ&*x$e=”m6:2f 2{3I;7NM=PK&M?N"w^M6eNŒ/+Djjhs>vgz9z#8Hh@e^t-k@>~O[&s Mp-u\.Yݸ~PY֢fwJ@ŧCܪ6laM\)lޞpZxGLB-$˝Ri-FujQ\hO#T[yXLXFn1aj@Y.P2-3hWW;'AP`)'o8 ZEcv ѱDV" a-8&iWoau5"dK9T.v0_n֪YF*}~'8^5uJE@"XN[7cdP. r զ:&~-#`gXμ.V +'&"؋?Hy{-=%CKn/Q"N^ 0[")#%?Tiy IFizni9F,| &K ݵ s&P60څdIe8Y~}X"JVfX)IUEUBeA vY]ÉvMc E3uS 4LFHrMaxٸu4.3o!N*28 >⌫IVNy=U G $8O#Tbڿ&̹H.(JwD|y>1A\5$n aYS-?T(gkt,lґV%u?yU-+[u̚R׋UZ=stMMIDN~AJJUDF`M-z40dyS3ճ<|m2,oԐo|u2^޺^s;.A{Y"f|PV?1.NXuaq/jt{[ +{1)CRhD_aR) W%K8Z:v J?G?H& mJ9_P1Aq**5=~&-7D_oаpP*'H~zVB\ nii&qwKM?[45=m# `9* "U~Ic݅vwBN<|): 6!S#w)_X̻hr|ޱ2Q0fv'TuR6'xsv״*GzRaW\Wg&T|`GAx+h-SCʜFQXJEKypYJUYw(Cuf/gT_L鬄pŜ;]u.&حmVRxuDa(B:/&M)(bMe"}[>[D0z+<|k~(:]-tWl nNy:KD@JBl=0*Ք.{9<eq&Ay Go]<*9oG5;(I8l05NJEQ.NҼqpiZˇ49+5&UkE, u]!{$׺0 GrRzb PtW"mohOS 9l١LЄ-Gu J̡ߗzwϸ*6}O59 C@2s`Ae.@S37qp@Rن'$?4y<*.`ei7)x@WDR4o-bdZ(,N絗!:7#y(HiH,bzL5Id OKly7Pʒ(_:6I !ȯyTrDLOLUN+CSâ5!РAɎs"GZ>x@q6I%Aـ& ]CVbH/Yp͠bfV3έ:>qF笕M5wOS}̟=u1ǁ[qk&E-kD\ .LjX~Lci-PLH5<*5٠W :-g1%25JVF;>Lwla1K "ɔ3덐+~/L_'`|hl?~R@}SNms^U 辩9BJ-GҶ5Z"Mѕ*)15fTPp{X_z\dwA]]z7QejTGw OPytH..V,i1%3 * /Lp.Sx䶴)ᗟaP1oE$)Ij.H1_"ppx#sMH,B6T)O{i`<\ Od+>aʓi$n2 ў;b a݇=seGֱH]ۼh(h r,`Z(@DNq@x5vD5P>uu8/):pM3?&7? jA%@sJ6sD1K< _dfˆnR/ gЊ2kU{KQt0qz"EcAǸDN@bWEGr֫Xz8m)u4pZ>}~EwlG7KNyz$(N |w-g”G> zTxI^=ƣEXhOV`g܌xQ$T)̫^W!S9 Z0ù Uֳ1h)F̭^n&po}eN0\] ۄL.1Jlf+4di ƕwnzS:k|I ZHu8P6AY3dSں:S2PWpsVH ϟ=oЍ=o3lIO͇Et~UODAx KRq2ts(l?(J(LV,zO6=)杺/ *IV}N-5t!+9R\Çoud]zAF6_ .ŔQcb_ M]弄K7,:f ۗ_ 㣷xk"#R.Ay:kz\zZpF4Yk^yR{3Ry7q .)ju~cvRU`wx`d?=O^:GM(*{yv`KuCȀ */qGYcj+:|n8FO#?/u]/W7F; aN_yѣa8#qAfv:c_a_Z#._#<䲻L0#5sܤ 7w+7Ed<:ntӾY41>֮b!A}X׼}JUq 'sIOdUx1Eǧ8 ,![/bzl'KfrW~,gG]r~YgS-LL% k\Ys{R@^t*=k^~564yYW-y}fu`IhD,g/gljZVL.+zB0u?tY1Taނ$N~vTy´,[JDfWI&Adht۸POl`~+@CF}_j_ Y QTĻ??Blǜ?7/5 dVCAxh|{ ׻BDBr r%S|֮)DWߗWFgUSoxx$~t-hq>lz {WKr[Jã9h,gv5e4LmkF6H Kj}kq @:$>_T\!OZ $D.32t{BB(em?\%ޥ#E }|ƻmk7(/StBTx>:ĵE?J7z19z5AGlXm}U6TOk4Rps7DSҌ3wN~ssѬ`?ʋgf~Af: MrurzD)VSV`.K]j)Zȳ]hmHؚ9W+VXi)x Luum2lN{C {׸'@d!Rri`Zm^&Q7 -?#>d¯ 5Z4agL$(5H8Y^CR\|'[h" VCBወ##y, V7ʉ*Owem)ۇ߮3 3Y:xd}㪢N-pNWAܴ؀ S ݍ+ˉ(B\'l٢}aXJ?Kt<~%:JO }A pX0gr_ڽgğQQRn7FϟDJ _\yXv۴=& }=PeUu>>$ (HB!ic  KT~N__ͳ.!MrF Nˆ=Ys퓠%B0/tufQ,0à?٫9YC[3{k5274XQtW(X!XHסC$/mo%¦줠}-{ Hp+#9~O*jW9'L/7VMm)e慦SՀ YÅaBZQg-o%{-l[N5.jkS{“e]vEbA"=$^[w.~ RA9T is+`;ξQ.Ch$Ǻ_wi4Z2gz[bX%oYK@T=a}p*8o5 !߉:`!UrqY}YC 1 e3S>FDgjc6DN#@,|OHr'Fæbrn6V<el6b >21nc%8'ȑv,*8ë Gt  @V?df U-Yh?ɠ>tj N "G8IYUGip񞛲71>攽lgAezSRJ|o_]&ӗFXst=R Zʩ8U{H$U_C=7Oԑ!{۬h3_j0 Oc[Kk }f"Hz ;N CS(N/߲<?TK`plM+ eVS#_ lMje#zN dX~YSO# 3"b(PNy-%SgۢVKvdK؇G]$7LQ&5ErL6mrFཻc n&uHN6d+Ol!O`)1;eTkMk~K< k6÷8q^ξPAz*V') $eU7'f? nH-#c)))QF!4eΔ:ٿbz9i„QxN Qc}"8 2RYC~ @fM!zaSdo?Pq`&!c/GBlAاeED̉L}ch/md2Q:yp~+vdmqu#Ez4)"t) ;[4-md2C 8ɸyA(:(QUw hrOv<ݶ;#?TUMdIDSEf:Ь\XRɚ{tP,^Q۽V3Eg,VC3%Hͷ/pZ\W[u{`׫ϾaiVGur>8ќ t,tHlTzCq$O;N&|4'J~>.RX{B? UzG{5bRĐ5uIBt:'hܘҏuVm BsBQ$I%Mo(i!ϒϪ] ĽMdiȂ~7Q>SDW24Y*3jY9N@@d tt#YfC*;RY@h)A>4xUtXEsꉖW%>`j"l >6Ob'>O7 7͂_~+w|f4trgL @EB)JcAq?6 N[%| _5A+kq!fMn%H[ITˊ22du'N63CUVt$cQB<ڥ 7@pߴx%[B1LRBuk>T { 7%Rsn[Q@-QۑCD~do҂}mNNҞ_P?02i,4MHJ u8ac`RZM8.*ߌt;ڀ(4m2[1 NNZ؃:);?|FL ;vdGM{t Gex_Gu)`s KpgD/]ٺf0Î̽9dLz+#n 6 ,] nYi{l{b= x V{01 Sp]^ku(DUM6CpOv*YhG.xP[貮E! C<{ uo 0sPIxXJxhzQBר=TKg{*;n"Ņ+pQE ?:SzkC{lߐ &$)E^+ +\SXzQ'g {IP^}Me7Bvט'x~ NK y}4_#7JyU$%Cx|99Hסȩns@v_JaoZDefʽ nH~2Ή̌sD(!N^{yRs~僬MI$a[ou\1Ć9ڢBA.y,,] l?W17-/\6((^NDpߗ[.٩:{ھ̂2 "tVo\3S kzF=IMNyZܼhT2T~5X"5%Le'~YԍN-6<)G4) QSvJd.@y"!:8 .A8?Nqmd6(WffȏL gYZ08891853de25e68e05a434545e7f842b9adc1042 08f0891cff2f74fd97fe4f8d9775b4b780015337 0c02ceead20f10236d7275425ef59dfbc5021710 0f83e9379368d232af1423c3a9685e6e1cf74f88 1c9b089216ee849adf080b0cc7fadcb84ea501e3 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 3245cfeac2613b419ff643cf72db5edf625cf117 34221437a109a5594ba7786476b5abb5979a2647 39464db9981c51228e0d28dad7de479e77e04b60 44baec093d30bec4af6ab8a6da185f226cfd552e 4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 5a83e2526c04c3d1c976574dbc7bbecdc7d9ad7c 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 6a1b07b082500f00f6c3b1326fbbeedb536bae44 74c7b3b9fc805b37404841e74148b8988e671d65 767b848e899bf51172cfcafea6b2fd397e8b0312 78ae719569ec09bd50509d8907e04fbdaef3e91b 81d6c46d87ab72575e7166aad9b8fd762b1a81ad 82fce86746f9061205d625fb926c1da3b71e3bc1 8aefc9b67109956542535e583bb6b75d0af7dac3 8bdaf962e585c80a6ab1dc18645f23ed36fd27c5 918c32f99112343be4627f3fd1ceb70e2dfcef71 9477a6a51976c196796579c2bc4987935b6310d8 9acfcc2c8373fa75e39069f84c0720db7112406b a055cecbf9884252534ec6464c220579bfa13e6c a13a94d8d5d86612717cb6d41375cdaea8ee137e a6d881014016ac510413e96c94577bf126ea335f b13dd8b0a61ff4eeb472eb64955354eb9fe30f3b ba3b3a5730257d7f4916bd70913829a914ccdf7a bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d bbcf800f896bb5489d401452a0100b5820fdff3b c6595eb84f7f5b6ff8cf51591a134ede1855866a c84783fb29526ce883108f7d0451c93533bbfc84 d199ba360113882fa1d09b6183c4953e1eb298e5 d24042c72c86184e62b759731a5f80ae517a1700 d44b4e2be6d9bddf0678ac1e2c2b16e110427ef1 e5c3e1a94200174b4e0c596865b3a9402d47df14 e914356f0f2079af0aa93d35b82660e04f58f4ab ed14a4dc4cfe0e253f8014829705ea6b33968dd9 f927b606476f43c61b2868d11a922ccaf5d5b9be ffc84c1be563c401109cd08cba36147d94a4a62c7df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56