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 g1l| '% HOL-Decision_Procs:threads=6elapsed=213.320cpu=826.300gc=81.832factor=3.87 1 HOL-Decision_Procs7zXZִF! 6Rp]ŗXf1-q恈ŕ׬[p){t,Ox𳼯=P48mc}>PWH811.3Y1*rPYJJ(MK-o S[f%T>,r*;1rLDPL{i")a#:oQ5jg_y3[JИ =h!3Is& #gu5ZzrrTQ=Q?E26>'PtݲըfJ$qJ.ze ՇIAiI4hD5]?7WY)CESs7WsN=zCprA:N>ydB.$a'^<A Hw9ڴUʹL11}$OKl|'t{ H%*[5HWwq_ϼ| =LCwJw[~9@y(jت zQJ sx?+X6)ѯ s$AˡNi-ȴHw> }bAG𸿩" Q] 4X5XiAcySTJ )!94asjE38ZRC+(*k!d'39̗!rxEˬ~#ldӑ 7! L8q~z,^x%^e'd#oɂU-"9UA %u]!˝C` N,x8N[ӄKgHYk%C䟣AZ"T3RMK<]aJSt3c$[kr.ƶVOȁ2Z.9~8Bh1A.llm33~w͡&S&6_@/ k,Vt)o|*պJ sAt3lr5޾0szngZ m=nؚآ'x- =`Y) =_.PӧdM3 Nk v tVCgʲfXn׆h<pKtW0/P8(ěr&&1p~Hk($٨1{@EcT'SNS/CK+J{"@PnVbS -$ %goe= ,hiG0( I1؍QZ~py)^tb1\O0>J:+41B3:U)U1Q앑}.L RgmԤbl,yqDr~0 a_18\Vw`5R '3Z@,Y(2G.-{#q9?]z RQk -N!P6֣x_>K$E3 -T۠=u;yi7zg<{ spd 8K/ۓV %}e\6C`J~8a'Th=MY[ŔD@Gr4ɍd ^.py{!y|.w:gfH)RBX=X Tt.j0S<;RdgRؾdAE k|<9Ÿdefu`vT.m3^cd.1ZՁ5w:lӤolP`-hbX6@w:=Vx&{T|[UE?|Z`Kpv=n?D%L#=ʬ{epb F*NR帏r*\^ZvZ"JN9h}G42i|Qs;=A\*t#MBX hg{9DmO9Zh "* (kg94_ s#n zÉ` >Zwa]fB2f܈"A3ȡN',`9PG⁐-9AsiWwPy^`K*.Lj@"W-%$!J-xfbyC\N6=u9p横[4.(`}i~˗@\ȕ)~3α ϶ঃ'+}r&SA>.oUILb1|xgǵ9Bd5%(Յ#L4Ou%+Wgl{f&&`-r~F^6LxLH6fBnƏƏMFmbxyR h E|+ܻPr&WF"T2gOpxCRmR-,9mIϢ!l#<,x=&cݬǃ5#@(LmKٺ@N'VM$ :Mø;@fX;nՇܳSxTpp&ѸR]{#1kX{GE1:/x@ObOq9rҟ.h+`gXm.+D,PܪĨSD"]mb$W=(ZX*>${-6 HO3R]^z.Dm,I3ÍΛ:hv|^h}` ,-SdVt n@Aw2qf8苶 ],mc/:RQTnGm/s3UcÎY |Kp $g'Cki퇺o[C1蝵򋌗Dl:u"CCFsD/ĢrǒE?d#@&@袋E(g'F /8Ty?$'R.u~bPj֫>SOF?~75cTܻs!F ԕTV15IKvggujJ#"oڽ}^\ nfT_\ m ^NxtZ.y-?Tl2oYQrFѫ {rƹ%HܵGzh?Nۚ&懳P.äny<nQLA5TzLnJS#[a%DݺAo,55Pu'"ǭȘH6S($bT1Ü'&4׾=5sEQ#!Z<$x _hXm^ۥU3''R*R?ve"> n&{Z&n7 kd,r:̤gڪHvn[:B55M_kzhVC&a w=IarjO7R@O~TjTd1?X;pfk7|:Aw+ٚrw>R4q|ߧY;a AƝ3{څܓ%Sg8S`R]NO0o ;FwTv+#BOͮނg& EhK2%".w= ʼnClm.[`a@Zxn1)Mxw߀yЍZL'{uuUPI٤tGMn;%;_I &42jrM낭=CŽ<y16\tWq_X /!jL;'!pg؞(|p0nǒ+qϓB~D H\ml6}=TVF\ֲY[`l9eWZX?0#~@]Ĭھ隵_g>vvr6 + eZ0FHi&.:qihVeFKJ/rQ}_ cWF^dHg4iUי0,8kTD׌pW8Ŏk=3~- LJ3ȡ╠5Ẍx9-)Smߕxc3;ucV~Fdy^0I$lP[ eOsXN@Mpް@x04YQlY-񬝫X's/V_Zm`qh {mNhHнxZ voti2FDxgog~fm(p =T5rF7A:}QҸ*:7װsҽ(t">֒BiE\k4cL|;픹߄=FQjkᇜ+⪑R1WlT*-f4kn@I1lu/Nٸ+L܀vK(] uK>E!NK/-X%v=gZL 0 =Ch/2+*]G nik4C6@H@*Q|\ѮJ|g%1F%(f0uS< LAq]gfb+g?PJq'B76<ЩH̒8]#έ~6LǩVz&!3)#,\]Э<*Ůa@`$(R<r pOuYKW O.W[axzk_Guwi.}ynYr@XtjNMؓ`~qC#:UU檏1 K 2kU0ǎM)&3 lT>PPה"f6Op@cPDjůjԘ?wK]If)*q:gpR\Sm5 mpy?됹U9G*zd^onFތV3ףB r'1Zwnؘsj zT4)t k9j1aXd6捔z):TS &3hHie+77\HB!گ" O}zz (j-pgwݠ+d4VLTxpI!A,K>ue$G$ނ o Kel࿟i>=ܿvcJXSo][TPbCH@f?ða/z?QDVK21mQ[e CB@PIiϢfѡ)VU)ߞR+PΕYIw> $wvM>j ߃z(MqP[|,Gn*ƞhA`+ 4wøIIR8 FKG׍Uw>0{Vﴳ>.gf`)}\E*^֎Bqp|ΧR>*2NGհFTcD/n~K1:DR {] bۑ:.ayA&*AIXp(aG,۳$m=[k`z9z4QGd@=:* 16̮j:6._a'3}\n؟=ӡ3LO*Q)/J@ 9-b7Tkؗs!q)ots"1h+[`%t؁\WTKA->bzWճG#kWYźd9,o?Q9/T_ /8$ Ezj<X;Tk!hS7+-\dp;!iVěe;:J\fK ,ұ-"նjP1W3ΐɇ{q9#)Ԙ4Wv=hU.ۈlOLAtySNMz ˄abuR;OY׼ Z\ BVF#GɠĨF3ΐs-y'J@B6]X/=/8&1vANᴸ~Bh1(H;c~J7zT} 'Q3 [EaIzBΓ5 TQ,xeO6=6`7_L7ϮcJ)%i@Ҟ7 ΖOT1UEeX RG iא5{Q9RT:d&c 4ZS3"%д<!Vbs@SMKfȕjaKPXMe{/wmӥ5b2 wx#% Pk٨#GIU"@Q#0t,[MjW%V .1Tr|pڎ+._?Naoty kVc<>Q~4![a .- 1z:}f)*no|rȤÉ_M$^،!r>ѹ gc Β\6;%h!Waoìg88hVǒGZO~1W 9`o9LtE65c^xBޕnQ|$:}|j䂩.Z HD+/_ qFP:|U⵽>)NSw~x \ n (.+~#A]8W,Tu';,лɟv ԟ.%E+$t\(&J>_ʧ_V=*`X {?F<ˀ>z3:/SEzU+Q)kAލ?<8r]j0[f%w&?|Y.S~$k:MWQXenko`pAyRcwq |4rWl͸*A>lgFPC`ex3f Bf"E@`@.ej;= ,o">$67X~{sU7`nB?EIbܐO_YcQu ̲JUʼkt!OagOp* yv!!`j\m 2?2FX~4B&U[j&r\y)ċFjlޑ|?(>W&~˨k|jH^S!Tr<dqrՀqUp4t;ҕeL~rPw=U&jҪjɭ nC, en|K*04Cw~"-J{ }`{!$(vY*4=~_Ͼ-]!Jj{1\35V&nL >g, Sfbnx9!jWVB 'FE{fIiB|q#\Zf7&3x0}<T!}ẇ`ݦD($&1qˬ_3/e\-~7H:#h(}#Yl3jꞟW1d4c:8֞փ=_|Iz|F5a"hAQ2Qq򡯍hJ2g%!,O?)5Ը߹PN47;6:<WZֻDh q"BkCt&'Ϳ A'8WGp9Í$/p퍧 Dq UEFeIBwcξ^b rG˔j,L9U*_HPSƔ"TyS\Ȭ4{T[9m7(]7b1-fR A7 F)+MMK/ArKkzzdlWk`ȴْ&*-I>Y.u|뽩b85wZM~B=Odދg:C߁ NZͭ뜕 T]}7l3}0p {iG;gxeS2N׀$2t7#[u/qC`.B^Uy ׁg7K+weDV{ߎ *Gm\U+iiex JPi0W@O)s O[`YlidÈ΄;+~8}~oC0N|MTK<o_u] ~5G!LM'|;O \wvq(;Y6n*5*2L$q$^ZbXޒ6"NlJpqh?+OR\ Y ) 6q:<_SǝDCΜ5-;'Nb[z{csI:I}m0TU0zg=<+Hdؒ⼳=|x~^[^'U bv`B>)dbȾ5o2F h2KYq(jأ+qjzŏf:JTr*UzGh,O[XL]Puo.e Fr-R񐌱Zi#bZ4ixA5qU* qsuE$4XN')V_ 5V/݌sK?We[2o q#w;5|ݩ kușxp"L"PX3wod݋aft@W?(1i>iMڛ%|-r7?m쟶}FGdWIip ]`2y@.$o-]ҁ)"!.4Oq5swtّP)'r ϣ\*L&X:|4AAтYBuWĽ=Dcߧ'-HlR X4~F 6*?0 /&C{0eb[%)^΄__rF֘zlk?U8sٽm3ܰ`&l/2yr9] P`LYQVR*NVlt2I]-a)} gXIK'slO#[o@j Er8ӧ zι )0xTT]5."h=Y=GVSʙ}1U``UYWIvޔ` ?#:ѱ-HL`uL&cji?BAVЕzP Tf7|#FMMy9@1#$!Vd!_:06`,BuC m-Z+7 LW+n1űsӓoFl9 Uۉ ,T4qψi7qWP@,_㷓^Wh2\."n,W!OT߈Eȫ  c-`AV#/i`#ᨲEľLRL=eLYcA6[ \j*jP}sz%o_G4I4N=6ZzaEuSXs*8T F oLPv^f6րɹ Ԩ 55-_p[L/[tjv=#n HL9'왁($# \#S9#9(1V̙eUGTnH7֔_.|.Џ-( u󻻙A ýviAm<^pZ`]lb9M:*QNlߵs#,fr~G=>6|@P[Vl6-Ij!:%5*Awm 5c}]V޸T so\;eY9@b2豚ŚF 鉢.חtzeKJ31X37qyAk{#(R[w⠽g#]ex@ JM ` !;F,u'lvҗTov#`FiV >`dX[wV _q6vn&A(gd>I jn-Q/x 2e = Ӎɏ1N,G^ (8{'6;E`o`HEve!\av*= ]`I['[/ ިlwc IcƖ:)ꈓxDEнƥXrꬊBPµ`In$$%O}.lu6Om2~DKhkve+8͹>ZBhS/NjW"Kiʵٕ$yَ UnkڄA$nпԴ>75k҂\$ ;Rl?خrI2maqV?a39H>5 쏡H( KS _J4]Mٖ|PϘik! 䜬8d&率pPJV_$ojSN=*!Y"LE,Ֆ12m%7EKxKID +)40YIѾ\|KRa7 ;+"ux$IXOb ri5k1Y4j9}|p bPPߋ kwGα¥) #@;q[ [7x`^ !]%7~P9}z&Yx$Ve]ٓfoڌ_fH{{TI=UިA- QYbueԤ8ysMy*H0j_ZyFwF: u-pƐb.EήE0tD{fB֗.#'!/;y.+T}j 7 ')G-<";wF~f TT<5&6";TF N N c eb3 H[3Ư_%la(Q椼/,Gy+a v pH"]CZ,tSʩDW"`MhJB&> HNO8s8CB ezM;#t8$ ALb_}#kV:? 'f-m̩ -'^T<(9 AJѷ}GPC~Ègf@ p8x7auZ6J;a#+tCKY],9$y_8Jfyir@i`I-@EJeh/ݙ^΅^l%Y> -۲˒/!}YR[X 󑘣{.5dJ8Aj.(\"2PJ,%e>΍2gWBwO ث%Ѱ47[I]u^odW;cw1,H$j B"E"UЮJ2񏃽|F AilhB4a׾-+cPj Iqw.H՜Tm\M“\%)2ߠIR:TCQ rm.DnUZ{ Q/ƕ%^?>!]\[rN=ƱYl.D[6b9a4&>]nϹrv"\.CM/zVְx ;+n9ítbjĩQ̍됔@)$+ ّT3/a|,=nKSF.53o??F0GN+(# 1#<&x Ys*_Dq~ W~ aѝ@/h:a0NX`:[_mܚ~QT摜ʵT{oJZ9h~ϰؿSqOlqT R 3)D**J}j`;R6TcvL%+ xby$r qMX-vSȟ-+U0xaY_5ٰDd#$Xb ,M7*Se1׽i573^RB 呜g֠PuoWg忀m$WJK`Y{zXKϴ_OYͷ5ΠSH# ?>;1f(B{K:*- 6Ju"^A8zjȈ`E#d5i:Kq}썲 @`GBrxwP7o/2#$2/0Z0Q;H m]K >cpM^/cKMMN DK՘3#qHiryUdBJp0϶Cw-pr"+sW*wm}u%}auмb7 .BkjfU#ؾ>[pܿږTNNIU4,_Zζ<л?!S>d3ܶ2H={e&֬Vnr,LS/&@N<L?}s(EpqvS[\#&+RY8+Eu8c=HC7$ Eh nܴlEkpv t02I"lCS]!d\a*l *(֍-,MhcHGCߨ^ ٨Iǖa6;m0ƍlv* Z3*6vFqinkN&+ŒەUHj{>5*hř&V?^*eegSd]މAa֩xrlQ".P.bNXb;ECPg}bnP̋XD2 sd3#C('ȷ[gŢgVꊘz]gRO#M^> L|>5qn7} e޹_(o5$q*k|Q5AU2Nl)ٞz޹W\H*2ߑ37'Uk»3w慃i`Dz_QN޲܃b"os.oGaE赱gYZ7zXZִF! :u]ŗXi% wRXq[q !coPM@*u*UUK;ki)c /,`zbu[^<[3!-"HV!u6/Go(2AG=]E.h<"v(A(.pV/kvY qn M6FxLp'xH3&«l W5 ؆M(w;8H P̗.3L ~_dqyG] {^\ot!B$#;yIj5sLw.u1,w UY ^6lO ^F l"@^Qe_3W6k(4_qt 5*;ZK4v؈U4 eMD0췚)+,V3I>X6y- Ԏk8)9mXMY ,/n:;zZW}γz^k<8wп=!hP;u4&=%/J};\֣"=si,6CZm|8*0Z'R\۽,ܪI{-Cgy^y_:,^hZAHE[a`tRo#\>խ1~rNtA ьd4sǛՄ:xUf1^kPwfksg3`fW3#yRׇϟfh$t-X3h7G3h+Qwg[n76f;Iz2aŃ7^vL&aӕ\.ײSp>=(UvH}wx-?"f0/n_*M2ԍfԒ c.޼e+8~3,n3eu54oq 8uxAObly8D )>&Cٜ+i ZN8,.r&v Tʭg;F;TDVNIj,QPIl9{C"yX[+*;,uV+«!F3$-O[%H:x)Mh9*WhM/Q8/S cN E"t_ oR]B[z:}wĈg2NUE6iA\5[C '(;ZBU٤Q58d#̩ @z=>TݔOٗ께J[i)aIK_Ar EI|b(<qRnsiT6W+u/[idszJ;ιZ=.$ ~TuVM{q[b㺅u_?ҵ C  sdj"p˺ )W(PEs>M Ռ=~m +6{ҭ8RQ%]>iN%կʍ7o[0 (۹X+ek*9v~]F-G4w+"A) vGi_zb;ir S~΃c A!>KdQ6WIib)i訬&7Ul"Zܹ^N?'`V6SqLd2vMu 'ĚZpۣpS@b԰^7| hc `aP=Xpw5WPj:F~o1-5,Sm)p)B?Z6aEZ ]*gs 7bje >uR]ؒ<4-68$g:\ `_5"8k37f7`vdߦWnYIZrR`d㠒 vPf%]aikL%xC)ۥc܂N4Q' ^ bZd FO5{2 HojEA[ ^.p=ZQn#y#Z1p6x {*IJĠ&o/|ȃvVd kp- v78UbX `Ҽh-i6-iL^|@ |vb9_M&Ga/qR$kir <,Kך$IñJ豅FW'p=ryt{yK9>G>*3Rb*(w'l'(15dKڱI@H[x$3H6H5 U0>H] <Qx2f\`%ʏWG@OҐ *,oG `8[I?<3I#aϕ_`n32ogTQ)[0>7DsCE OT"GSެӣ&,[ &rP4E$/+;+HXp/~x˚p4Y> އѝMLPv@7"Qa MZZfʴͰ2V:Am<{nu 1CvRY_"]NI/Ee1GEs;l_PdkB*gPY0CT1z }ĺA:ךAKCoL# Rluv{^ 0A{YX!"\%X-#&p)VcQ (RckaAa-A,j&6N7#6;IP[֊f˱SΜ5?ηTF^ltcN-/!HGix%ԐPY0 tڽ y(@0 jQ8(pJnYw;? eFE͡kWp~ßX3*/+?zY 9V9gU*2!d(8&0fG P(,"g@U9 ԛ!L07hBdy6u/lA`,]ś>+%NBizс#rvd=u.=#%l<ho b%Z$ja)jF9a\  7k~鎘i`}&O>Wh EW D:'4й\Jֱ l&@ |QI"d"|%^Vb=y-'f02<#L)Lu.$!'ktbץ=k1prNGo/LFƪ֗f1dr/Vv&ӱ#5q[s w[P Khaɧ;j%1} %'z|` tZ_~w;eeR-8?0ԕN#%#Pb&j ֕n1w]gXq C@7(۝{W{?$m{)^Ez 2ڊA62#jY Rs_,gRį n)<#t9@Kf`I)3ς>u(vYjੜ_:J1\O-BnoW{qr G6M;:'> Fi5R3rud_}Q;bwRpWz #ګ6%ynڹU蕬! Vp?2d?jQér!L hxFf"QͱdAx"[K}[ -$Q]OiRd·OGpԟE."dÄ9)o Ə=̦) jM 6( ofMD c)AQ]3 TLlm,hYŶ%gf%{QLW׫_U:{rep @xdc*H߲.WbibIk@9Y\:*ehԣ)T]=`*pSqKtKYWjXK(;ݠ}wGnkFd A䓜PB%ץYdsk-JC1yj0Wբg,j&@άjzdj7r{Jj4Y#ȶ2Fo߿Yz$Rˈ9II6WI""$`؄D@˲PZ#) nKLwyҶS]"eNP=Ȋ&=˼_V0|̹DE&{o"XI^m^j?ZaZP/tnXm^*Q~_-GAA""<%QR|д9p/v! 7@8G[ip?[ۺ2POHqĴ͞a4ѕ`bN!=XZj(+\;}PrKjH+#hʹQVxrwJ2I?NY.mFBN7$fB)YKvLc?REćZA4v}9+ΫW}-<%R)4kPwM}8Z_{@kCY9MLOeï<݇g0"E#WVm_T- 2;^͂s$\cEؽ.wQ+^~Փ;DhZUjd2$-! 0ze$\V§$eHx~N +>YvيO;5$oW0 ݶAbH,N1>vd 'BEYMCm. @RPx j3!noMV%C# 5ޭ"qRt3w׷(v(NYJӗ2]8Xh-je)O4bEs\RPv#;3B-JO#3%"r>̐dk#V`f)'z9u ճR2*ʅARbG-Wsש&,6 TlMGejy'A6nUTv3ɴ2Du!#Vm { `FYԶ;H *E٬Ƈ`vD#˪#h&*3Phwʚ/(Y ʲaHj @q FF35ؽ^ְ ܱWcRWq٩B ꐺQ7 J,Pn)߆ ã]a/@Wjc&/OۣPٵ X¨FtڧT \f@7عozUQ{RŢ2nQeHF@@3N"mYFkZkHYC?˿?-إծk*AK$\ " .О(o]i :{~ӌ 范!´F[:`Cf?{iPћSxM0XEYP#?SvPcOb.\LO}BĴ*ZXTxj7=AfSpRg:f YJ HsSA+~o9X0C DWRNGj ]V Zh?4^m}:`Dcct!r$ Z3*D8Ɩ~,Vꘁ8Zh~aڴlYC^^: ͫ7F-eZtjᣏ8 mSzחjP7EVV}X̒A̚^0RuZiŠvWqՈlL)oo.F9fE4 jIS }|T,y }4FJjR"GЊQ +4w.73MۂK@Q%$4q=*YjiĴpZ{kqlyO.pX|e)4wiZwBcg63oK: 2~.,~ܢ{Egi:W˛@*ԍ;7ŭL#6䇍!eKe~m*߱="E J5;9kO5Z9$Zu~~\t.jܓ؅T 3@7<j Q5e}X&q/tOt'kWA,D9._n$}5GmyƋhZݴv)'~&ȴ<!2 BͰ󧣻wBly\ɉ*L0 DuKӸDbd +|_9H9 bT*tgfVPOg+QaMthPX0 fH !2'g$Q紉!iAc雙PK%ˑ" 1?W-:)b$Z5㑬*X#Ӑ'Nsbn}i)D6 ?5:+\4OzYn0X -ފI̋vewEVې@# v.ghXS8KmlP$L֞9(1T5R1OD Z*7eLP y>wq)skpOUޜ*Dݑ-L1 >.q@i0xPS-Ll6?I<}h[ӭnEW8jiLt\\ ,i'a d }KW9N/>ZI<*GM Sa? qH?1Lr{GqJS/ku*1o-JhQyЀkLlBt«Ig.o#3hm$ll s:8ƴ%߾\kg oA]]gsŌ^K;xC~}zk4lWܽ uZǣ^R26mз\b^9}$֘>;be̠;e/XF3& L=I+n.f-ږ$a@LpYOϻlnw|BS-N _m2la%@trw|3! @\ref`T=(_eMtyLHf;` ]g:3YjNdS|dcgU넥59v>:[p4]y+(5h;GUx]=Jp!r/9 { t-1]0(Ą񽩰v ڻuVNѷ.ȳm<93_ÝôaLԮqT*,ۺby8P)ƎR&]b<+!kPnv¶с1jyMh ע"_1w>!B? CC'fQ{MqٓQ֍@&KCW v+.9wunBBi-6(4Xe6PCׯL/׻TدS6^XֱB]$֗ۯy a6&X5<ˈf{%_Ye~?k)u3V|~ `bR4Q(ӳ5"b](iA9XqLZ @viA,va a?&Ƭj>Fx:W"hXA֎J޼S *7JJS%P=Gq_F `OoC9-Wnnp<$Ro\06;Yx*qf˕4;äS^i#Oa1Ǻ Udb,_ijِ9[-"+% Q ᐂ _hAs۰h9x"XJƦ/Xm߮y' *0VZAÙ=?9֡: tp5ef!t`H2u a-%,S:<Ɣ-=/˷ 7=% /;NgE%qgK ^mrLU$~qj]۫|jmVQ+j{ixoysQ'1wvfѸ::9q X|Npivo9ā0f+?Eϊ1-T}WݺHX<2cR~u[x1$.]>.Oc vA!5jb g:./!H`=6@tW̞.X"M 8h^0bsəa',rƎo$24XgEi*eb1Ո`s$z~iXgOWl?$x mO!vfKX 'UME2$G@[Q$qm`_OD4F`O|ɷ?Q efΫq|B{J*Z#oU-}b?ޯ ,x%wWx%ޟ)m<^X6n'Fu"TP#WB IY'SAѧ<׼Y ]y7wM~F=K_UvV1Z^$Fg7Âw'\A>~X> FOA4LUX"=':}! ?=[jJ$qP޷k? WkQHI35I!6P."p+\ioSKrHK'"p]ol xk.S`YyNUR5R<@ϑFNR:j X:6C-_A<]0ȝR)YHs(֝G܄kxT6:H*=!>FNp:GEj/ RYbYl%^#5q `0&裹 $EkIfu /4k֔ 1jo{ޖ|,ɀJ癣1 J+f[,Cx u{[ wX'F_aI|uѮ%X߉4aXaoN0HZ=t+ č1.`!+L= z:0qe&MSQaD$V1)KG+k*'FtZc,}6*_IUܑAH*a(o3|~Pdw9%pQ6gg8yh"f QH>FH|kbmn+{ƪaͮ1>?>5Ҍ2ΚZ1i lRA~4;kC (8s I$VW`(2鉍|@Q8ݢPXuM1);&hdHU) 9"{I?^w1}}6?] KߛjE>AбZAİKu/CG-B.ˏߴfXS"Z]P\G>QtA~3G[,lQ^8ip$J1"PG^"_DT1\Xk4"#ik}' ObC2^VDh!% @$Z3zW,)3GyQ>D.=iBV ¬D^ZI֔% 7M(!mׁLw^ ȋ߫4EeQ FEfZ6P 2AT뙿l3~|_W:DbNq#᪂Hn!B)~~~|U[u#ngYZ0311066192f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 0b95eae8146aa5cd55163797808ccd421050d201 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 37dbe4195b5b53314fbeeea8c0276179889159c8 7c3de80c3a16af05902b9763188afac0814d65ce 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c cda994d4ebb6399010f48d9e94586c64fbc24514 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab3fe70f5117b8eca926e46990b6f607629bd9c167 40f00e8f8b9fedc403f57c4c6c050c0a45b02699 3c7415b32f9516b3b0a56c0029f9f2db9e2f4bb3 87d2f1daa964476eb342d0490c2ac4a8779cf188 48f82972818a767e9f182d36731aa963dc672c4c