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 ttt7L ]MSO_Regex_Equivalence:threads=2elapsed=552.981cpu=1081.804gc=40.704factor=1.967zXZִF! "]ŗXf1-/6vRZ*Dc,T q}jX,q~yĎHA'? jXu=dil-X":KϘ8N}?*?tãt+GѤxsTxr8ofx :~Xp̕u>)]+,$A?$lUYǤzr666XbT5vaF+Nmb {fs8GjZH-oO2tT}>mfu wfh쇳uN֊N+%&U(nԊ7{%̓p%uqRue2>w{_/uwjpE*3d#i/'PbfGg>;N#p/Z%p'X eF0aov'xTWVا=w>{\l \¶= <4YM SM]$ȸ Ig? 7 MSO_Regex_Equivalenceg-w"k]@8cXt$Aqz,agV .D|gXqp߉YG_e5~:!OVv,syW`˜Vʓ-)? nzɟVaՀd6'i@PB <Ot\}rĀG5;_95ڨYR":PP);b>K V%bhJ[t G6ľ5ڞ]@|to0'txq}%qf i^䭤6jֳ(Q;4z3fMŶ9+` o;h\TPg6;A! @ 4,I6>0ȴ즍. =] bQz;%YT$9O.vHff2N^d E/c z.6%Lc9>-u*-E\(vx( Ƽ"n,";t[X4XHġ-a?9^7!HueB3˔Q2"{yvSڵ "G/A57NQr25Fm"p'L{1l> 5&YLƟDgK- rEB4}P1JgE )8ķ Ǯ2*6M5,Dteh^ycm \{}!>yljR#Ur1U KGeۅ#pfWe;]OɎv³p7'PDB8Dˁqy s`6ҌQ0\6w8{0S`Kh1b->Z{"%at$1]צցbTb&f윳PnsfEPuAń{)zJGݼ};44 MeBՖ@GmՃ9֬B͘kg]+1ü#a۽!"gwύ!}30q~|./HKd"\ӡ.NFlq"Cଇ\$;){JȾ55 * ]ggt 5v w)5&q\0c7)4YrUKzmJs*\ (?lHD:)`=$ߍnF  e""٠B+؛#a.f6@χ/#~ɝ^ȡdIbQrlNw63t雴rCWII8iVtbmR\jb>i%),Dm׌AP\2o6sddFl J,.I0yVB5h;dVuѸׂpύf> [JN%T xsD) =|U cXvЈYþG*oz=0) ?Q;g^~m;$\]*c _x6x8 ?Tij9$0vw緍cHԝ`/a}^l8(M42o- -B%Ԍ.jE:^ń[䵈`?"T#wEIb:@zWtyTxjES="w TBz61}Z+"0lMs~O%;x](h|u4H#|[wϯbhZؿeoӱݧkX? oݼhbw=WZ ZSNh)ZU96aMW:Ҡ4u 4o7QŻ̈́ސ@$]v0F$*޺î㚳e})k(zFzBaeM:Gpؐ(2Y\$jqGlBBݺy͐mTx.Bjzt+E&sGtNye jky5m$ҹ$m%S-aoK  4$p yUDwRw)fgoRT巂xA`*ۓP+y>}\Ձ&#)4՚V8lB9sɡCv6ؔj4~~^YzL׽96ГK@ۊ:^鯃kUdu|e\p>,iSݧ~3ѬIB/[KJĪ:;ACF;Ʃ5JhDnq &.T7Y[bƩ?ŰvWjȮq)f1k]z_T~P*8^7]~ZP?[6k0ѾB5(nN Aqǭ_Q)FNv(-x9CzW 06Ƕ0כt;3T-0ܯ{-L#GȥX b9>1i^ Z)  ł2O/ҩf ̋5}Ӎk;IeePRqQ9mR !4"\4[!#j?ZyK{_^x0sɨ:Ի w:ݰyk/ҦcU~zž<`3u|m^ a|CV:;ʡp=YI5 D>xoAmU}T3{Zq@:WV`*I=eM挹͹qaG KM2r vkZ.CͬVecv\^,A3 cPb +Z-!ļO2\LuD+3QdϞ nKܙK9a]m,p!$9I+7i24o^<c gŇ>7S#zߞvL,&{8 gBH ;ҍ&7;^Kdfd@؁{1=@yr?}X9Cew3Q/jNqՍuggZ"@G@AbLP.t$﵃OyjDֻW~s|YlTRϝ.לϰs[57'9ԃm[vb$/`t*K`\@As/SIru(ҴX[mf9Po]  b֮!$f8~+wat_zdi.~m83Bct %d?`Z M}訇}[(3|jƸ8g«FK(ᅧw W)i˓;A&v 3 8 4N9x$RVݛ8D][UTBKmv:cFV@D |CygF<<+ WuJ!vWhڬ@GL{o0ZGC[{- ;:LDHtþh ZR)S!\?_Œhqv 粴P  }p}-R-z,Ɓ~znM(qx߳it5sG }R78[hyתZ#v)YrK}k-1SIJr*w_` 2%{g.@b"VNIARZWD>զ3 LZ@׭~_RM[_´(qNW Jaָmws9sENUZ Kr;c ;(ts~@lh' )ަk&Qݹ a~1NY4ZxE~ұgYZ7zXZִF! h}]ŗXi% :M?|pb+#Zjnc5n{D * %80gD>[9RM?g./Ou\}ND IU55L0>.$cS41U" CA7 Υ-|am;+gܾKmA:4+սRp{ +2b~3Le*VM8IX159hdE=[mJD#Ϗ/ӍIk"KӀ؜آ68CY@*B}T:ePFtkߪ[0 fjf|2$P}8yMб|J_.{#~R= =[4%"gCM\Id?; ;d0ݯSIҕn9eqxs6';U Wd(IyHFGtΒ![M!;CatJ >sGy-bimVXIK{q6&8l3})LE.4O;|K^A;_ҼPKt6rg#⾗p@4>j{S%n`8j/Sż4~(p C_P#ͥ^M* kљa0% ]]d;Zbb"V<} wQŠ3 ,^sc;B!_ +bÌB_?fm2]&onwOLWl)bA"i+c/v;_: ϹUݻj 7+b>]jǫ7s!م{;B.MBeKḁmo.ٜ؂Ҁ` - .V{"W $YԀn$!٨cѓtѽV-/[oW%ܢ685l+]I"o(mX(uuwUuYuNLf|T q3}0/6j4r<ht`n%3p%DjbM9}#̙khE]hZ`̰/WGIu}6yWP; GP;iul^^Ϊ KC`-Kd;l95\O]:ճ_rΨjQuػvSK@ygJlޅCh@gY,XPc)9N\=,קo(㄄U&ˠT,:=iX P<AD܂^ Q^=I|΅d/u#O4dk,cSw+YK[Y)sT~#bH ) zʎgQfr]ɺ-> mHe.\NVk7gm_a' %:e#l0զz;-b= em w/ͻ ≘ Ɔ ;Lp,cU͏T:OE LpCpw*V$Ɍ:Ţ Hˈ_; wkyiA7Q[$,.:0Q:Evג(H&}=xfUUO2__:p/Z8 'G#b¤JkpԑO*`j@&+祈'Ѷ]NZj2D+?FK4Y G1w{!OC xo4N~* ~w'0U!ǘsPRLNRϵfqlI|-NFJ,ѱK,Y`=O>g͡ !NGbrg0>Cmt ZF57=BKlԳT5t1k3<' = |k3țgVZq>25ykFw2='ri{'MYWf-˄>H>l5d-su}-N!Av[ >J}(k鍽Jr +Wh< $zE5cь)^gfe. # bզZL+^Bjb?2j3@Nݏ\o8Q8{ e˄o{ݫ0p\˗A>բ頋 Lۦ ~qB۷|?ti͈=Scer!JҦKa\锊1ZZgVȒu{>IV[:2qӺrO133I [)`m5A,q7rǮAL$"^'8V5UZ{V'Ee`w!M<vBT?T}t F5))hj VP03׶@ڱ ?L3^۝o)BG$Gʩ)댙U?(S*הnbVK絆2ta9cT]cE5u5d,3&aɣA(#$ల(1cM0o+[IK~AwXE_$c+s7%Kosbjm+=) i7[O|ĞI 7%$lE,4,OAd8G i;A&SzgSjH{$KU:ymW0g6ޯ >zwڠ!Ηjm[@F] {B)!*ĺxAmu>5M1)Om3bSt]+ㅗVd<^ӬR޶ 2wߵ]bDH*0JF|K\r5`y!Ê'62>Zmk%'4n8m({?3ai?czh(s[X;uE?uv]qB 55904)q@k"g]lΰ~h jՎ?o^ ZF3~5*qiPTɏ]y扖 ?=m4fuMRErQN e4'߈@ɊIE̮3nfِކcЏՔX, QT8<٩C`*R~Eh1F&UAvO&qblaTb}$v^U[ks eBucM $ugT={ cv{'$p !Ց ·í9ϼT~O$1۱!w zʎy(JoSk&R 9`TF>\dp@BM6e59v6Dx- +%0u$0~jD^`\$ LiW֯q m0t$1:`:jyܱ&SR)r+(* ",i*=4(jlZ0cVGa{t `;қFưgdjETSRDX ]'>{j;Y=gdBlk|xU}:*.L1Ngw0>JL"iѕz d-N`C,7gTO wM,^ֳۈuSx2n)`498,ܾDce=VkȁJ#BN<ن ѡ=Xw̫"ō-@M nBY{ jE򜾕:Z?#K0 ,Nd,4m񴯿s6h2K)c`u`?F͆`vq1zi -ܺ[C]??#$ h˖y4)/ؗC h= WNMY.p[tOiNldZt{!">^e!\fZP%çSJ@y>uћʳS#YPdMբ=$^ffFzD9GP{5'.=-=cHGo[S @k~fFQYh@cz?O˧QO E'#!,B(UB-fb~ Ɂ_1+.]O(H,%hv~+<tq"'\/%hRZ q/%6_9gfTa.]GӵlMKBy(“w{ǧI$IUu7aYrHT}aM<;+ ҼUz(\(( =THY,YqZpp{F$ͪw(n$G&+.N,kf&<-dzo+p>}TMĶ6Fշjp&:a_ٸgi^*SM(%ct`fg>O=IM"'JeϺP>k=mMg`jyr%ւּ(nsyEч@7jٙWE?%%ŊxSn[nUY.X$'pnL|aqF?\3$m=G ,U:4vч 1/# e35l,>1nX:G )~S-[O[N.U=Renq>ۚT QĶp̮W&:rEcom4ALޛ- 1As='ڮ:!_ϣU`2 w}ezv(X]6q|[k]3 TPkx\< jKWm$gsdm}BifX= _ϩ/.fFE 蹡fٸ79;K'J1-4uctZxYGNMЙn! fo[d.+zy?vLʰ/i\1Ηgkh[O(;0';Q5BèNVcJ؄`=#-2|`Ec^~3ㄋGBR54 Fʨb.O{bMF=9|Qfތ+dz3,)r%wJH'٫Ae{%T(c4".?yQÅ#@+ w'=C=l"(YggNec|n$Y{8(ū> pAdYKX-Fozբ(RB_lsWM!ڥ"YY {k&CX&_7 ^ TTIH] <`66ao#Dtj6EҐɇ"\fn t .ܭ" 狇Gnhp6FMǕ!Vg"G 3ikBh!R3ef p;ȏ6G?[]| ZpSI\M*w<'o7Mb^Y 6l(Wi W+ kU%.㚺E5'HzNB TgB:ն$PzzΦ%yBfnX1 }=N2DtU2 V71A@d*}c68A@{v!,G \п@] P ͋d3HM{Yf`{OdKiI<)Rvaҝz=x=mrl+5GAYօrYؕ(0_K+uqPJ*Mnw}24VU_M֘6N7]#~-N%S`[$?yAHinCոgtk $%$1}(dNKE2i !\ oקWj|h$m1*8# ĕt'3{30 Kp!:ɷ]9qo]6̠u'v!i {Myyv ⛥! &U:>iäYǟzp(! B_Z@jPU1^ @m:ȏsj!h|w~>BwU˾\+2$l)NeZQ:-w ]ywQZ#PXq ^l~3VěqQE@y4㞳Loe BtBLzrIX2,t6UZ*x.?RJ"h뎵W1)A#B=M!^d<%|F^˜I< ^S 39*9pܝ&G<Ά/&b{xWם&WmL͈H\XfBf2;떩:k/:J I4,P'XL-;PO"kw6lKNkL˄o6I!-& #*LAr3[/Rz4O`O /L>hBTӂsW av,$$@*ʪҒ r<)#!W(Eya2 G?IEo8Qլ*-/! ~tmO伿cYj*\rp&ojHk-23+F60/,HtYPݸrZ4w*w^0+ $Љ}AwCnQ6ˋmk?se!1= hMP*iZ&Wo梴/0I&pxr1a|6\"LPܦbu+P/ IjUV>"[P.yXUgפƙE4^ i1XC{@:o4}/~'ҧֿs3],B!8GRr\AE)cmQ a:WѳO Є50=pkJղiSk=fpXo8;)T݃o<$?*D?$ӱM#I0ROUw N_O Gj S# &gm{"5' ɦlv!--j>fyg*mnx^qgFjHz1x- 5Mhug(jK^ ԉ<=R"inHݺ0L)ac|bWO@t=ń<; ʈ ܥ1E"k2&gDk.P=k1Ņy`[ +b騤P@"/uHb!W3>F5qXcy""k HFe4v:ҢńEbb:l湸k lᗛCKχ^۔u,S7u"[ Qjg_']!LwщǺ`tg!3ۻuCN&h>{BĮq%bw8, Hn(N*1ч6h.zB'Xca/ާnmrmgr#+;Z);`F>Cx?&N1 i)`Y\T`]"F$N^JPDP-M3L`ffJϰ=t㯚vu0-ieY !;܇lZ7-xfJjQ#,,P!m QwlLLrO`axbQe,O ] 2R)j"6,g_FY^||!5JߊwKL1Tmvx>@f2˟ۖk1j?Pir}B8 G;M {ϜM gI∄ռݜX':.A$HG(p (&]WVr7;j77KrZ6S= /o>0nVjn>g }󩡵jfHċx3[x ə,b #%<) r_yZX$z fC#ȅΤ83S<Ir;rVá?#vXk}rN=̵O⨺ƴq=e2?u'6m)6vh.d~Hx.XeMx/Wj}d[߅M0%@#{\p?~\k<"{24L- mk޸E`cP!J)Us9&vw#-k%:KҗxMLcw'00:g_$1fOwi{t oLyY upKpfH!{t]o';>㯲C s)q_a|3nEqujFL~#ԭk3DÉߴ2k=%! ĝrG>&ml ta%LZѫȘk'iqi 2%ecc_;V"r{T8ܑ;僰ɪyNrнVt]䞟E%͖J0QPAu/4dŞU !wU[딫?:p י[㣺p@,GX0o[&G!I0v1*Xkju0Z`, &I溟`Z\Ez˫/R2 p1O}ӎ/+)B&{;^J܄bVcg¨rGM8 GR" Og޺U0@hQX\(ٮ@y*3\% $\i^_^L_@Xg $)Pcm_Abn!m[.XfCID\v,AJv&Dy;&<эm|_ >bE2I|t\l>L5=_}uF<̆AiT6+9 !@BðW q筮DŽҕa9GEڜ{o%wsK hbN4 5f+bk;5m'cm`\$3M5RӜZ^Mb4\\h1otc].[x¨E!dPt-"&ņlܩ}+yUTacݽxr"Yn\kU\NW6pt̂˖`;pSC-rFEBrJLd5QwX0q N5,H|7fjor_\+DY?S\5Y])mQCL"-{n  X # %7IUP/s/.md$.2EFI'󜽬T9,YwC0 ~ڠ(~ɼ( (~.7wȶbz z[u}YAI~6`vܺR>kRQmj/xYp9%' ԑvͲ/9:KpW9ĥ֊oYQr^?~K@o=zvӕ3\R͂\]k (J6h| D83v):2-:K$_CBG< Ks }坶UQa .=W)T*ƶ]Ėm[ҀD}~F 8b ]%IQ$դ^g R9^3> Ǧ{?/X*a7!]2q\O񄤲ϚcKfT`3Y@U25N"B݈!B=rjy4njIZA tV-{Z kS".-ҦaQJ_ӆrNcu8-J9jdW6d< HXNKPZ s!c -AEh.j"x%;W”yt Lp/v_[ <CE jձYc8ɡ^aͯ.='GIn8uL 9Wz*7M Ll(AHvY4O&A¾oۮ8}TĦwLA:GF^+-gB4 @"i/F9yܟ+) = jw <BO=y(lmcpTIoj3?k5 d(2oD'ZKeK`~xv`a8EՅ4_fחn ƣhZI(C+D(7^@Tw_0*0ڷ0d"EFڍԦ;L nɢ6]k{(^/s4Lg( uVJʔ Y;~pۑcA N.1]͇xQ1~A$tPp a&>X7VL ĒwXoxı;kWŽF~V%A˓Q #EN/RmrJ9Vb;UhXhSHEdcYdy5&)vsvu+#Ȗt7%xQcy y{K^Gq gLm- >D},=PN9h:!x6bTp~MNQõ|bM (זXJoI 0_Ω W.P8|wᆮx[=?X0]O,H_je" Y|![5en;m$P2;n 7%to kv֧ ar95%*[dtQ3T`^G! swޮa8wҫ%qlص&-*ia2滊7{4 2Ui0oCBv~U~ͣ 'ФLhG^ $%Egщ~P¥HD-1uQ<_E3'#?r 1sԭhqo7kƢXmjU6%|v(YuךiU嶄 Dp VemDe}Uwg%P2UX!0abSP^x.yӝd#28v9,g1-S*8;|r G#o^x?`ʼnS+*jLja2H&[=KŻ< &}| ؔ44Vܰ@Vh_`|%Oj} U)YOݞ偃g#LWh-kgyr64EUwk5.e^떥v-_3_7/~ IeXEi[z4c ujQ/`<7D଻'GI"*) >I֚9[bI}UrW"” 5Zߖ>L[w`M{xV{% Y>C8138Q; P-:fc2LBSc:9EY֙=@~jq#hΧE ˴  =IOOt>}"$sMT^bוoNVHH\~uTKm0 vTI/k GI3HH k"s_'1uXel;YǤ| aSy/)/e]R4z;H5knOVo?pAwL+Ydg% T)*cDQ=`{\~n~ ~鶇G[!,\A'p֒s}MMjEң 2jyYϰt|yHN\20%^'Sߎ'zbspUԒ a׽Q\q~N@ҥc3JyߵQY]*ۋ7q|WH_&~ 3 vaC*vR7X}6 2Iq.$?ml0)mt8rj'4OIKQ2[SAԆIC!C,t h -j#%&jF +v'_W*ooM]?䰦lLfLJeGbK%؛z -ϥLm FW]LYf8-6PAɂDh=DI#U[I-RGDov9@Z.la#/IW5hq{;IhSuw;c "|d;k`( '|ub=iKh{KŇ o^F/_SEk|PE٠|Ƒ&uK(w2Ukx$]^קdם2//W2}Czwk||`Ҹ?T⭪و|`_d }j{kQ p5[ ]o(!٭s*&1fœP4! fi7|2V̹x Ϛz䭺 D{?C %aN// !bѹG|aa:]*|6FōxqCE9P_vn%:0\z!b) ?_62יz@P^1&NNy WhXR>#3 뭆u#)ĖcXwqd[ju8>e!&-HLOpB4N?}HO{!)nv{ս5h֣ރ'mE^[Z޷u;>WT̬lVo͍Un:7194OaO>Fqyێi8_%!q'pU~2tK-X f>OPL&tqxy(jpi-?`Ҧnq?v(ڣZ]MNޝrھ=T ]fV;Uib԰UM n|g?<͔!x펖Xvnhxn44OW2iHz` s ݚnE3`<7LzV'%Y1GqZwF_VS60nBDM x{ eiyXoX|=Θ>U "nH_a7@ %4VͷC9E|N6$z$r7߭  VGw3 =]qe31e֫lp-@֘-Q Ji}M𬏋 _ffCM}leq2L4/Yj4[wMk9ZtþO %UE(q̒aL~ ~" `жNg/ր'+wMVz̙*]9ow&w3#~.,f탾d0qwi؞aHPBT8mrV7 z̧ 3LjBͮ]ն1"5P.4x%uMz7=?%nYovPfb^OS̫)֐u5bB؅j*B+AFzR'F2{xĘU)ntԚÃZmA'[f M^w W1 b5-ry(w$v|{:BMIT/q:u], e/7ԤόD*gsu@1&{Thޘ(g8j&`pףQǦhp zsG-d9KD`Y)NurRޏ3' +2\6x.oOm{G_}Fy (uD+,&6_]ٜ^=4tZ;8T=6.J5ЎV^ȿ13!Ibs??9 ƫ{yKVqkBu,94+xșf7/"e$>uLi@䝋Cti$`̽Ҧ,p9":VXfvږaW)gN95l 7^r, XZ".*"M&ރ7%a?*ld tjb~)ˀGp#gq)R1FT?0{ly7'Y*G< aOθcX8w#q c ؜3E[VK=3ɻc{$ ]ldehpNhB9=<'&m7?rR:=6ۂhLܽ:VmޖX ,:7-d1AE͙ZatߋY68K R{yt\J1%-lDͥ~Ύ Df#jea<*ȧy0g%1WC;%.8Ep.IiQUt& #-S g]${mI`-vx@S'9I_>֓1"VŸEHD(䠊X`HefްKyw( Ewhvzj,e~ OJ6Yzf&E]Nݨ^ 홹Оh**ntN ))CG Lym)o=`x\T.Rf[ݲԳ1 $C]/*L\p;Gֲ`?wMoJfLڛp"~O*BS$nnlutW &ͤ"\D-~gX}lF)Ryk&0VE?l7zTV{)EktM7~˶~YIs- V~wSRS,ghf-61}s,i-FtP~-9_!~m/`LlH,ӠCbנi!MUp|'5g0&:?Z%'Yr;HUa V):%f?gCƩ4N1ێx#ݢ## D^u_ qe ɒ G ݤ%+9.=ʱg ;6ix0'R+Z88C_yя}eEXAT$j%fAG_F_,L 񃃬.5&& gkVZTfLo`MB5RA Oa#60J.'\G#q&d!5k&XXnBsmY. (\[-QF0 9>L%EyP 4JnS+--1dGI[u3EE Σ%MC3/9v T[s$7Ā Cʾy*2hMɌਡ`Ai:J6{,rĐ6߲Bo!;;&^!q[}9LkZfEApGT\Lb QB PhgX`"JnhudҔD}+1C-,a")M(BJD(SŎށPdO{K Sq7ѿL UV$/M_2&@V'*NvX8)SX on{9>q3mpZJID,s%)"]D%|ȿ@,1ļ)C*΅]>$H6341_29+=o]>ga rGQkz`y)`'ˣt#v{ؗ%kd|a,OB|)X>b*A =zfEEJ}X<`θ³􁛸2wlifF$2 HZCXu)Z#RxY+lmU\i~L, C[x)V}Qʚ鴤X1Eضg^,Tˆ?;qU<#<20=b5譫Jydgb'P]Q&,c eLu \Qc@:e^/n)*me9Cю/4jdm^' d'GƱՆ sĸQ5P +Vp]% 1j=8{:I7TʡN67 HH؎ЪAZKRB@t2(=pi{U&b3U/RI:N.]z9 <5Y .@̽1ɂ/GbSlʋ9y)BgtTҒSΈ+mʤL8Aj]-ٚmUP _gDy<-80vIsJ{N Z0QpWANm&P=zCևaulO횹vuDe),HC9[?>z(bxN5= ň|d^uK: 0pB.MN&%zL q$N^ zm'Gsy<3*G !Eޮˎ8Юax_GWbBDe8¦k_H uϫG~8Xy|M'}d BȀsyORЂѢo^9pLT)vR=QzZ׶Gϧж>LTanALCx>d?}"L:̧lES1[p`qĺTG394:!*~ܠ zS=tx( gYZ08be19446d72f9bcdf2a842a89088d9869228a5e 0b69d8c3f70856201e8c054bc34357b13520292f 11a396b61ff67b5ec635c1f00c6f0e8d4f88dafe 1e3f3b9f42d40107a2af3ebab615eb47af40ca39 2bc18d57ea87da2d3db0a06a6e5558a6dd698150 2ca548f124bf08fde0c7f05baed9105248d232a1 2e8dd58e2ede383cbc7fcbaeff3b051892ade632 37e048eca1afc2c069cebaffb562a02b039bb22c 4178d8263ec1affc708587b75c04983d8347c352 62db7c2f912509ab5e52563a32412f6c53622264 6a817a13ea5396c1f21b029eceff23213f20f9a7 7102c8fbd6151cf5569b2dc55155eb20a36b3faf 79f31440868c5686b204e83e4f26f92eb8d94f9b 7fdb4fec52ca3e0a01be6b2d7adba337b9100adb 8a6afd5bfeb7cf465f3f94c15c377f7b807b94cd 8cc6283ec74b19d9a6bd2a74c7cbc59522750437 937f9c9fd64a5f87600ec011fe348a83238dd506 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a273030280c4fc85ce6bad40db954e7aa16fe6fe a526ece146642d823be07862c7c8488392c4dd25 b1ef7a3ec85404c96c4b02989c93710eb0f9d363 b6d0a023212be48fff51171cd7accff79761b911 d2bf831b160f6ea48a6f74bceea75324c48877e9 d73f179eaad464b075b683de05552c78791fcc46 d984bd91b3c24af3b069d46db03ceeff6cf25e56 daa5e0248528bca893daa43713bf4e7fcdba0c72 df7d6430a4bcd2af648a3201e1da746191011f8a e568d88b6d74be27f17e0458076fda5c5a80e25a ebdc126721750b6ce329af9d953f604933c0c6c1 f03b13c1e0db20710943bde849744b43bedf3440 f8ac88e6f8cf4d261ef5f5179023ce80c9ff17f4 fefcf52cdbc5dd45bda0389fe4a696af8c511c83 ffee0b4350c5faefaf940ad0f98f4d81bab1386d3b94e1300442e1a3f5f809d9b370cfc0bbbae59c 6e537c63d802c0bec001927b9eed65abb991ddcd f6925d5ba347f030568cd8e7a62478e287f17a312d8016d82aa3311fc54cc64ce95d6103e3ba93f0