SQLite format 3@  .0:  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 -=$4 ] HOL-Quickcheck_Benchmark:threads=6elapsed=310.902cpu=1520.064gc=137.596factor=4.897zXZִF! :]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*L)wM+|*i>F9VM2;9 ` q2~eV}4u齖vPLSO-#2lBpQPf$XZÙL۠[dxvK 26#([`HXlG/j_~*}q.E{~[2=2Cd}cIqV[aƉ~'Dl_z4FkAu|,HTl݇,-sZ>$9(槠'`,k3gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0SM  ۈJKaM›{Ⱥ(g{{ qQUb4˴F04u r(K,ĂYgYZ7zXZִF! sT]ŗXi%EdzTN/BqoTSږK姹AZ /Zm H%c}b&Kѧ?ގt?|$Xˇ,:Ѭ?IՅtɶ*ƞ؇r;*W0S$u0T!xj7@N;4+4:Ua;NǁlS,`RӾԴs % ,:טxxVPѼ 4J$V%p &IJzF҉6lufwہg'݋>?KƯKm2-w%5d0Ԥ?,On We8R~]v(OczPdC v (^a.w$6)O"^gsx0y>F uU2bYDߞJ&9{X=/.M.ˀ}1Nȭ>D Xr[;ؖz^ DY Eix}iwdIBk9b=7L\k=aCu=nr71Y +ӌ u&;u!Y}XV>r ׻slm.&[d $BdNVk;^ 7%~$eE-N6ؤmtT~ .Q>[7`#O>2$#FKA#b1>W <,rx Y2M*iXrkԑˌ(?mwQ 3WGɼ{S T.*~*SMsddakm#s#lX܋7X6ERLM: )~*9#½hZ̹(K\~w9YaFNɔFkps'^.1,v=S [LaO]dqy.gF8MpKEeaHΡ=fibˊu 1'Ћnـ &%#Ul$`E|ǘvm ~ IehܗɛdJJ = HOL-Quickcheck_Benchmark  .Vt$_g[ԗӹ%K̰옪(D'RzcƎΒE#W#`רּ1 %d*;k=ztwҧnO:*SOފ6j3so(,[SBD wد\Gm*74Ĉi ux+.LR|wVɀWk~>gO'X+'zax0>-]zyһQ=8yMjlvqd㹒8w͉#ZX,I:4\Gsa{n&;(a1Ս'47HCm ӌ'6G3fP suaӪiPfĬՏa).Q|!JK2f/c W5zIa4n?vՑrSg t*<:huIK7ڤ{q3hhTtDAÉ&oY +o. skѲ<7+vh)/Ʀd H<{֥. 4 S(FAC@T{jK ]BKR^X&<<,fM oZ\-omFh.RGeܘ ØK/YBOXN`wč _J)/s Vtܺq  Aop^F۳xu+3pH\tʠF3E%Ts5)+w*9PS [;P%"O٭Y3ӟk2 h7@aR&hb!^ 8!):7m5Yo+|d!/XPJWMuU<mR@ܷ6*ݶ Xh 8JbP<-D*v1!EM]x %>XjliX3rkN LE]?Iv%&Qg ?98IJȥ䰫8L$8R@l)4Ù4t =K#h@x% n堆)*,ĵG2,)\_wS~d"bAR CIA(5_赟ym pOn4ά8]L q7l6lPo^Q.{ w*ƗhDWWJ߾62tOL9J㙑 ž "Fd,gu LN?I*O\e-7S|W/0‘P^Sa#TkkͥgKv& fK-A׻GL5FUrO! 6'n9o\\xE|Qr:` vccR:G j*d  A쏰]tW;/~*ˣK;'PDwnMa^F6!& o2,)woB̀!M+Qa[bzR?)׏R'zJZHK]T7kS2 ww!P^- -kn Gvhc@n($tr'ػGqu,(e󴥫9K69a+Ö7C1t--^ʑ7۝^M\hl#cًΖ3gDɼcj9\xg&@#r`[[+sRcrĐ_ (α`g%aQaueEm>vGdq*Z?EIn6AJn Dftpı%%rW]>WIT´)Ak-gfJ-jLy媣,@ s`#D K#Fkq '[NDXC{`+M2o2Ce%+,wQ='#u+b5Sn͐=-j9Fer~#}?8;.LE4nfG,3_LV8CU["TT"qrT|#hӥNm m`#I^~h\\!'K7MS` Ǘirۖ¡cI'Os2jdH tiIE2Z{ k!P bm0]E0zSG~c:JQ8f^8vRD *͛4kYJA]iI38~+7+'!R_Ugfg`Rɸݯ8dzj;I"&"/a|-m ̮9 H S TXn3_Mw0Hث~Xס4uޔk,@%NV dtlf99"~xi6&"d#XaIf`pRn,!W9JKNzFե)j~G M<N6:9#%Yš=Dw}Ycu:6lLY WB%h6} hJ f D@ 3`NSn}™mȹKGuUg :wLc1Ao`g@fȟ+Ocha;^4{. B[(NY§cfRH{/,s:5Z>Y;m@:|U6.*O54cU#d)zcE;A&^L%qpwĿ3 8z@6կŽB=,g"TXk( ΙjanɵUMc%?^֊eԶH~>jBS yRWd΂Rx@(*ܝn17FB/N 0 Et$BRCxqx(!<_TLm a8Wxw7C2%t;5DEb|5zhō5=/_`q-tp X7b NMq"YRf:>ȬnԻl'_<^otsMlI<;U@6zR 8<( Rxݟ#iER0,C SX/+kKei <ң>ņ oѸ45|p}{L 'YDpz^vQ ڈOZ_;8 R O[|`k-SeSe{U\:_K~|V}Nfʹ>'"ZE%my.TM#].U 1& q7ǜP,~}8Y%@swEX6V)3}Gj}%^<;,GC8ek?%!8}5Nl9Q0SG_Q?cAح^ A) !b (ĻU4'}B6V`_$uF$$g5ξ+lk=cD:~ρjqkBFX ?BP5YӺ)F9:{Ye>A>G?P.8Z۟o_^*LEK3zR!3Vm! ̮eҢvo{H=<Ł9 .&l0*kԳc}RTgUfHvs?nD6|1ItNPkBbv*R7sBT=RU{bLC14 koXݚ-bDFlQOiB ۖgPպAEJe=J)QK^_ "}dFHIsHhym)9&2Lk )A3p$ :=OJ"]Lt"lTl2aq[XrW~;w';M2O_~Zk]]ҍy(ְ9 ZHW*}qdf`!,YH*|' Fs[髹0PC8+kXI=*Fo-H E<-O$NXpķv3-(e{Y duGG۠BoR (:Y{Sxur"x|ǴD`l-h];)|t9aui|n{i[喙5!uϬ[U9lx P ["3,>_/\3C-unjn Ka/+x*ŤypqWSaCbwHHI aK0_<À *ASkB;rgjU}Lϧ{DRtzRe( =Sh1uc13f8ÑdQ|<m9˪ڄ2]a %Qxxj8YF~17[{APBT:m0 :gKĮPٞkS13@S1`S:eYu*Fs_KB銊ޱˮwa 2A_ %Ѽ WS(=G { mD~rq VuY:Sd#-5D`9RNHv /0&V1`嶰(SZ¬+MSK7}e0LX(P&>Q/vN=z(Kqy\_,ʪ[…I-ⷣ?깛UfI|'Ow.Vײoa*k sfM'y6Fn0'W@WKĸhCyle[PuѨ0YAaIHcF7 bu|NiI^_JxC2spBFHO @z!"k⚠Cv1TN'.AY|"# + |/HBp?ϞܾI?v2|"*~˖I~Fx 3:z-*A }c§@oZهS2pjơ݄ dM7Ssjc"(ݖɜ#ݝjv5e2DKW[-%!r!B(_fXR#2*'t%ٰ5fO')'8AR~V7 F Q& g{1S)H՚e^}S!q:weitnZΕ\+g!.C~;`.5gpW3&mB# I0߅@@DėNj-w7`t964bKC %'2tp3j9!?2J ,XEF9-3# !x;mЭZ`!trqhiޑjZ1IG-=(60Ь|;%ȘPlTSHoБ#B<;?e ":ڡ /6?"Lv! Pɐ"?L@һ uSZ0/,mW'7\tqjm3LBj`FpeN5b/A+fT;y1Sz6Ot>[wB9ɐ33pUf =quy[s`2hI\-O_&>1YWA-)=<lY {͙~ SjߑdS, `*vRF+V6xi*sr=}Zl}*\FqD x]9Q%@/V-j1-O;y+6*yTuۇlV Z-DqWi{= PB^Ȅ%ݸ7EVzVم7?ɱ@̾EFlB`R ۦ̈́,8 W3} +eQ`؏ 7 l2ـ"-EN 2[2zX짿V~J^v;azM]v6I2$:qx8wD3YWed =}=w Po)78yYLlk&%jxrjl8L22^t/9Ԗ^:KO1]=G!$'|VQկB.G) װ߃ۓ>֔_ \#c&^B)T^:PmVD@a}`oe 2Z +P9j[%VzR}#xQ3J(bE60[ϯ ߒX]3G'#@*WmrQDPsV}&8qꨒEt>-vt [AHi숍_"Tk&ڮ?1rC!|Nd<>PZ#Ru߫Ο N.÷$7({#ں|֞_@o\Ak ZPxө[bktppPH?AP}hLP]suQ,_w; `/(!/=֠jNq<'֮g__,tdчF\3Qe{; LskpFZQ}-IQBdRHU_Ge А_.N0lQe&og⩈?I1'Q=UK d4%v3:J i¬g<6Aз`op:: !TC%ht]XΏeJ3ڤܩn]Tcg_,Ϣ"f7$g>WZ1;Ê7;M[2]E)Kkf?-amz[a((_t(Ԋxnua3m5Є'qZO_M4# IޠUERA<+/P;zguЛvd :8n>߈s9KnOQMLW鹎ԨQ*\t8uq1jۺ#%:2_=!q{ >j`wݝ 2l8x`谾|!\MPd^e@JmS@vb| sZ 6I$eI; PUioJ%.25BdXٳրA!=Js>JdW^)n: r"[,'P wYdz 8=aY#FA Uz ! `nVrCZHlo Rb_]y^ #R` nv;# iU%2bTw¥Ǣ>IM%|Բvʆkn O}OUHN dcyK9  W~kwhqjG<ð%kBXF5 'XME,4=$Gi8Ǿm{ŗ^WPC0MzՒNqgwDKbP?G)sy/Bo NoZ}dAT8k| =  \M^[J33Ӆ-˽-6l$&M+KxY$eq1L]`Y9#*Z@+eL(u$έu>cCN`J9ܝ໱Bџz_* RVЊ]*?Kg7kEIIaHT'm3QcS##d%. 4$Zaɏf7Cet[*{3M"[2irGGx~payZUPڄ!UCC;I B;0{h YO93ø-OQ^Ies˕ iWE:@A+>2)@P=gD^O P?v*1Ͽ`fn`@Z>flz O\-S3o~v#ið曅%ɯ [e#uP^$zzЯ;ғsɈ/E d j-˰FkJIϬu|0) a&~<ְVQA>=|lO61]S}Zf'A!p(.agĜ#mG mYr.KM51n*78\1&@y.ɼّy=,;.09~ Ntj0X@lLX|Fd9I)Mt&<{5 vؘ_\$Dᰀ&".UAQIHOVў؉B=?$\ hMOP޾ԡ00ҟ!.)2}RIJZ$}$qk{wB2=gT\+sIoRnր1b %omٛ9bnhj@.boLBl %ý(\(dxsNq ԅ[Ćޔ_C0Td8ony^l'+Njsri 6<.=@?O3Dj>ʡn\+ ܉u_{FY`QtV-kˆ@#ѤsX-!`PBb!&@ś97pO7ץ n\TD6W vsBG :@ RU m 4ӰFzPB3iI|A:|o%}Ui^jدb}QOv)ý%5}ILd!0U-ip#$9*>x;Mהޱ1䘓vWΜ\ ֌Wm}'10yl_ 0=iזAf'%Cv/~Vq-2kI_89+v (.Ey=lQ6%Ր$M >qgѬSk#^`Ȧ<7C~X!k6ev$W[ђd!HѹsO)j8lʢV:/{8d-+[ߣĎ.>C]VtZM)Q$4]^ۏA 5\tbGT^[kIປ:8S,ɀ)w8{'坶DI+S Cq|5lvd, yn,LL4aU<F2˹)7y1&0CM0H9<<~B};D5||“h%ou$Pks j&lB6<20Aͤ8Z>t- |]<,F%~lZl |9ۛJӀpo`\Q2gS 4t"Y:y5[29Ԗ$DIIXc N\)mѱ2l(Ҵ2Ĭr,gI˖mC1E1yq|/@k^TV"sX-gUJi}{TkS<%W=0+)YROz{KC t FٍzYB1-ѥᵙ٣OK!sF5!M0{6T5q}]TXDf{DP,I6 VI蠭8$nAeg#Gu< p]7p:"C9*P\I ]Z\:jp^ ˄_Y* r(>Abu⑿jLv`e"Egd`OLL]) rp )\Or}_L XBU_]8:$?rNW}PE)իC ^MAxTJ6+!;^s!;CHwg;~{E!Bbv4U/~khwyJ 3j}%%w%Y'6yL"wm[Y~.A˩PDј=zb(8]CηVGok`´=;`lTRj!1(d!ZqK=/=c?3#\qߞO!r&,]F) *+h"-ҭ)}$DY6{ z~$ 63kw4㐸l:q>$[\ߌ G-,=`v'\laxelR8G^Ulί{Gw6f x;@;ƹϽ[G8Ξժ`)?2s0֡7Pk]69I<&2 T{eRD kŷ:|pXM{z$<]_3zrdO+[G@D5?mu[A) ;RdMz5P)tnR'Qu7@[b[ؔG?ʡbLAm^aE~>5e9X: їQSdpޮ[s өߞ‚Mz2;dbU?<0*m3~8]wh(y 9$UGvA*l0pX](}|Rĕ u7äZI %2z>W1i*L{twa%ϧt]Kv|g<#dj`Q Eԑ$M  @,,Sjܟvc0?{1I5@3&=m\fD&ub ߇2qu$a~3Zkߺ4E {NWozAA~?p3_QC5DȖ@+[ @HIh=q06Ӎ[;aI:)pPӘ2p: a9c5Й'UCe^T'c"} 1 S|W̚_toi#Wwn J+n>G+V|4Q?گQ ^MH{qh*XP¶Pɴ'<Ϗ?w_>R&SUTwqG.A򫙔/SNRImB$>OEbo1+.i:uڦU`?/ķ#Bdv^'\X-2Yt`)^в0f@bo Rͷ-`6gÌI[s1E1ݬ U P#RqZ"z6y"mH>ORI{RڎbFU`j^w,J΁{Fc/$II.2}^d1y,%KSTlJas G.tH9` vWD6:fp|k#FD1/i}E5Mfyk0"\vj2 +25?`w{DGUQTZڐ1L{3՚ĥB_m 0{: i{k:\H2h~0ӱ=mP\"ɷ&26Vg:vJl s3, b :lJO"s 5,7z tk50_ %8R&ėViFI2I E/#`dCf7z)= jx2RUwLAo<ğlyO#GMd|[s3Ulg ;I25d9H >I,gyV ;f!zyZ򓮮*7P _ZEMn Oz+bW1=Ldt++Q1"Li5&aahXVߴxydB=¬@]RiSZB |ף%L}!*3)ko0 \pTC8v秎?xUrL:f?vF(7N]I5YbO /^|w7f΋S_g[E:|'`_N.8hBw/dO<4Z>o Xx2E*_\Heܭڰ7B+=`sGFOH,9Mߺe%WeDZ^V՟,Fsu~fFkHdcˇ9ɠڄy%CRZ!y\1an@_Dk&B: \YouQCLDU<LZe2f\jg,JRx2Ы1;QOBa,6r1@)4Ǡ N1,r25URInkrC~"vEnu ~Rd`G Fm SQUP6BPU3_]ŎxASe%&GU"̲ tY 9/"8P ĵ'A pʹiq:-;TcyBn2 ri@a[o5`$2 ǹrcJH+d7gb4r*Àz+diWo:6Jd7~iW֪]qF{`$rw/&.tնS?jBQ4BDc̵C0*",TԬebC%YMF͈6m8bB uY'PnIv8/rPB|D+{Lf H|cz27(;{E Pa+* F!kd)8]Q{)#)o|jLe߸ML6x]=Qo_Nn _RXj4eUk,j'~ l="@ s[ q`zߕ1Ea3i5wـ?'|y~(흇~/0 SAX묺Ou 7s=$Q&_m~gS댾܏2?CP1E}+؊,'Jh׹L8^PFc\ƿ~K 1rȌ rN}pZݬҙ $ukEGf '$~U$)NS@Z{!]\4}ldI%®jf>XQgr |灷L#O=9mQeaaN-_mai7WDN^})ɨL/==HR0Iǭq^Y,75&ʪSh%lM']]]T),v@iY< 1+vKtH!H2%ɇ˵kj򘇫 _(G:O&P^ ×rK^)'9~)(?*̹K-|i|HF[ =9l1W1_2zg\&7 |c~$pm]ko0g*TSREyh)8lD3|E%F5NH$ɭWsS]\IBHΧ E qy>k fPȧm+9fvV#oEP* 8\I;P9`܈{le!oM ؊eiB@-|!6#,D7h=m1Wwa~[6V^C"D3Z2p\{iޣHƹ\;ܳō0 _GcpIhy'oaW^ÙiYq"*A1s*Y^|`:%Xd"xIiS3]@g(L*^3?!8G ծD.~B^Q%8x\T-:bj6$ܠ@؃ G/眓|a+VNr<(ݔz56jVxEY 6dU?mt\j;a蘵ySp|IN] GWNdr Kj,ݶfpmKIW\G*{ʧ͹ꆤu"A@*`I߾/\&b+LI ܝXH! LkR<9c:g {R ƢOkXu; ghkZ[odIyu";02!pG(%OךR }f3VTiž-Of9#5[(Ǎl~c ݑ:.?jv(iU3$y39͗j]u| *1k渇#ӟZcT/?_1=T\ J#& ?qWȸw5V Exo#( ̷uB4>Ȍ[R~a|և@N"/عhfaɊ} iq#YiAAH&!o]dF +TϤ teNjgpMѾnZ ov2x^UWRwjƍ1cY3Iٹk7@ߋJ"l;_2"G]Nm}(ק2@Ϣ?HzJdzmJOCelǘ3T EDMpoMSXmb=ޠ!ډ(wfGHXb~.C<cA92&XW3bP"Rmǹ,=ز1 is)@Rx 16Ia92q`Ҥl&^I%E7EE|.C|sxOrQ[by1}/\H2 rv)XϘBOGc2Y 귬QE짻.&*vTg6vo&0 ߯:({)e7yog1PN N՛sj[H3[ KF͇#XDTUBw~ Y^]Ɓj?Oܛ6~BEɼ320}_m9J΂Z#7P1\uk۾ 590rB}eL❺) Go9uU~d&=AAi\|܆U AZnod0 ۲vo?"F~ߚhjD&Fڼ46Y2. QL Nuq8N1q߆ͱOApwe A$AzoC3ެ2{'v WVO ni:E(: H?o]E_y"<+1Fd?> T͵Y!82[&jU$q.Ù%TfDh=e J\iΒB` k&QxKD8sH%6:k^ #SXIikEom3e).b8 JʜMJBXL< 0QM̱G>fm<+6!LN#?h4yKti~$A6֘IdƢ#m|1cQ'2%vN˴@c b(Iv2u4 ot-2!$!;kC 962#_g# C_n[e͏:=d+OlIhr7& 9Ӟ'#4}IsT$#jeu;d(T4-ٻ+Dss^KRlZEtܵHf1/( zZLrO|m0$zm#5rW&Qaj$ӝ%]Ş|۟~-As]˂*|,"XS[xfC*0eUE33 b|bgC|[KxDVX1%PZ}I ub1 u1%ix9DɵN[yc^[h1ncD9RA ى p/Hg>Xۦ;yU"|Ƕ 'Sgkplr4e+xAXJF08GbJJ.#Uzɲoy#^ ч{n== a~6 ]tI4.)3 Qw]Hk A~XG4&/hba [WO |M9m!7*u/ŭIFe)2e ˛HCu#>õ iָG7 8Yjȴ0J)hݢ!A-=THMgMݝOa;aNFe>{-ݩQ%f(ꚡG\SП7›>e@,HjF%HncBea3S~1a1y~"3IMNpݱݟMZLgu$gk#ЃmI?jG$wbOrdO6db4v( ?xWO9ͅѕ0LP=J]WrwZߍ\ 4uػsZWˆyV%J"U$K7eS:pnDN)^\t b ?&MԡdA1(^ZᏫBCd[Ǹ[xW hr'ۍnK=gG) G sV4oE"o*Ґp5IxZվp,>r#2*};SXt _0/ t7}EՑ"B_}+cTY0CeP,JA:_ArEJ9nB l?*X〝)zyE8hET[] ʹ1/pQI'#2k@@=M_tf(B 791jL|ʱdu QP(< dSARUd/y34?RJJmS.8׿3\s÷<]5|wH8Ҭw0ڿKʸu";`Y8yCj,B'Sl ylОߝQ%{륳 A9?/ WjT̉NW=11\ggPMȵE}O (;Qk.Լ1.:C}JmŢ&`34;ET6æ=_TyRF| \"шp™mrN/b N!nF/h<^-.1uB9Z)ZY˨I29'j" h$'Qσ:5Sobz=I8LrQrlh#)I;3,\V"NÜ)nAɖ[iőP[~v tmzhl{|g s… ϥŐZwoͭxl|jF Ο7P#3 6p+BwF^cy)yn}J,;ey _ ݚZp'NPZ:= QOZ_?S _w8C`gtBzˑP}!'v.1x˹WKVڵp+!$ȚpKr3}V/Ol`0k^#IwsNV4+DTU~O?5n<òA,|Dp iG%y!;PyY8X֧8Ł뾇y|'9E_ax /yl5lG+y+د)4')º ChB킛GYa3?4`Pl F!#JQcZé7:T CcB_2a`5~"Ws"%cU_(ՒK,ھeN=.Q +Lb.Y s*dС!#F]+~ِJ7x+ZΖyqr?kKr˂w,p))D%T`[9[( |&ɱ4.$`b35ޙE k_%pGOU.F. "G?]  W&vZl ͲiKʼ~f a?ݏ;4?!9Xڃݻ ULq+;s۾hExMd\8F)N/kw+ OEʖm$EV2]Ҭ{fZb!-7GY"%F9A[*MGCpM9|&{oca\>B%D7|wL(Wظ{PP@Ι{ByULPpKIBl1];үD &*>@ +~0Whái),O1_5̍@unIZvO4ʈmUx0#zX__|iUxpGa3oi"Zx[O=Q:)A(Ri5*7I=U m^5?)~$=X̀Ȧ71Oz1:]JHRRM?xqAe8Z>mC^WpchΉ#k'7M4%m7g_?h%^L@0Hg}%V}Dw&W;X\<ȵݛ{mH윟 45rl1N; v6A*aMjٴF7y*hdwpӁDwNIo7x@б'UOi7Us-D>a{s`UBk%i|>uW'/s;!QaFt=nOts˓uۧњ#|I䗯v`=[UPP~gwT67pU U}!,rXЍM}7zs^Ľ7#w;1W8Y4MOW& Qڿ BQ!F ˂4ѤLpn`&G, r๡ӛZuuZļSgع¦^{YB@lYEns_}JXMfP͟1?{^Jm-p4{K(1sH@EQV%Ewec'vLZuZY0IS@/e/jdpfD>!*K(y}AHʚ ]CZR_z0!<\I64i24'kRg{R `;PBzTt +\'5lHw gvҳ"/qn n>i^Dpm(>#W,5}Vx~2z-/4a9R2 h[i𮅌(<+}5K;>}NxU(! Itakao[1a*}5Bb EUbl V%F1֋'JB.Yˡm&[f)*6g~N1;/tWwxLg_Ү9gkHI:83ERJ]8-V}<Xsc`ut10g'h{ۼ-^9&SgSx/}vG7`Q%3&=PPT)GAtqg@ HJ /RHP3aAϛ&VrޱqS2l!3Nն00DksU&yTEU6!o̙ kEaQ;3}QraX/˽0YTt§`$Qw+ ^3v\#Hmh-xV: g8|=ӞhTӻWw e(F`b`2fdW}CKT^g55.8f]%#?  |S|6U|i@jbKk!IE3jc۾TH?zHwIvFaؽcQTbaY'KE? 5 ЕH&ג ǮK8+Bj$"ӓk+YIuR3t$+-[ CTH>=,7a׈rA-WKHW=C&̴q\ZPࠕ^ Y^}fUA[h|fm. c!xճ^Pf):90G\v8MN*CuF1({*MAy`nd 9Dbx;~ܑZ_RgΗ oa]+mCAΨZhq#E 1?˚dC `x 0 =$eI}dS*ҥ^MAq6[1r` KV/RǶvi$Nj<_wu2.F\%My.HSCtk4&]aGrbqޛfl HP뒔Ս|k.gQEN)gqмnd2Kw 3qzK8S tD (9! momT=g}F>Wb8\\`Ԯwh`(Ghi(G<K~qudʭGPfv0g!HbǷ:3鎫ZE;>гXK)_VHeb3rÎ OzVCvDEcI\<Ug&9VkI񪾿X]}$B >Jd>2 m+ Ei;TJ [`o-~0Zz̲ifGP_<Ԅ~h 3Pݠd?tI`ٳPR*42gRϸAF'aH3~3MrG,-PnK!rw~) iW)׉%?c I7^Qrk%SR6 +bo7 (,:T^f02@j 9yRx@ 9&~C`z~i OrNPe^ RYf aீDM/_dی=Q29,(CN6g?+WDoguND?UD*8W|''VA.l V֞vִSb^ՕR`ER g=P9JZb3sBNQp_g{?+~D./6k(sd;j|*Pg<ϴ )< >M7yIیʅ;Q|K kpF*Op5̼p:-;5H'B50g)"=Ln{ԔK o~Hwlhff-ol~ ~)q rES̝L{|U:@ixm?J߆ꠝwb+ kO8gTJPA,1TXt=8;?!\}h *M+AƮTJg ;#~o-=Vn5xA/W6ً8}^tS/#x6]ֹA`S8WRBˍ[~%/{J qfȭό1ҁ뎫OY/1 䛚(PW-x܉'uJGh0! IUjgYZ0412433dc8cb6a2d7cc0f7897b4f82c8a6b5a3971d849f65e40086cfa647d5ebc591e23f461aa5f2 8299fc860ca605d42055d4569ce45da8c35d31f8 791b72dfea4fb72ea09125b6383f1cb7a31d52b1