SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 11+5DD ]S HOL-Nominal-Examples:threads=6elapsed=288.872cpu=1261.732gc=173.724factor=4.377zXZִF! _a+z]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hM N?Hׅ*D X;Lyn%E/l=g7Ex,'"d{~϶}c@곩eE2PeSp%]+X[:3HϽ )LcVU풳 V8-^*BkP`C@Ҵ iH@Iɱ^i%ӝµ5@bro 6"V#)LaA;v_#(QشS b l2%UIl'#ӷ"+t :}ܯNSYlWnh4B@ } j YtRnvYA64ZD~!MzTDݩ,vnҀ`:*Ī&wwa+cђ;F?Tw:xϮ gGsۡZ/>i3ܵ/1M@"YaǤ-ݽ] =4=xyIOjɻFo;F׮OOr3h\"k-՗9٥OZ4nـý=z~@&mTϪwS*U x[Q$jg$-.pPo>c(IG۵Rg#y ݖ6UX**76q@ٔn?rmUҝHk}>rh^ a^gAhCfv{yo¥sTpCx~ƾWwzJ&)&{?e]R64&*?52hcUA:mJ_]sVc'}3;u6ҦwEmQ|Fό%7b%C sÄP/mzJ =/Qѫɕ3+cX Fj0 btCwi a?)ZK8s0i+S=,PZ?>(wؔ.wt{/5g%Z+z_r`'W˕dnF7/5t>)r\9:7)Ub)2eÑۢ6ڈHl볖\k z mߙ h^ҁ$O y$Mp=?:&5y495w!P mO֙0‡Z8|[PAHkx_^Tpo'g8jbD=Hvb.qY?6>umVkT.gnIƈQJS6Dc.?-c]78* k/S_GWnUB&2E;EM~W2E .a >7P~eA A C% BFi6I0MX~Z^Q 5 HOL-Nominal-Examples  Z~'3=南TbIݺOKMV# қ "3* Kldd9S+D+yvƊ:FOawP' 7,ٷ{\ u/_2ar$=8mEVCBɐGWPE0H =LGÃrSӤP't#*dO6Wv;ڝ!B3-=g+ DI48ljZqnߔW;#|W&^\E? #1"«xfuZ.f[j('X[M^aEkD@{iW4|wC <60~yݐ+N.9qX"Ky[$TyYt#X$p3I\9/Yze9 U0'טGh<0d>%r/ZnAyR_2=vXno CSM   2UɮΨKRT(O/##P7ȸIЕlBImHKZIjV쩓C4l_$-]W \2r6hN+< !/25ҹxcFO?e"~) /5&x$/0'oc]S"dBroC$0"DF90ةœpbS3bc8p#O`C'PS~z\u |YXd kul1ۭ؄oe/Y>0t"i1ߺ*=m{е+k$PS-˺$^N`S=.9Jb`t$J{I n4u M2q3/pe`:Dc~/N{G+=SXC:/1NbcUy[+6g@ڔ"~yW*/Տ h՜7JJnpf`͆͜@Y*T{EbH#6 ->kyYʌ!\sxcdĵ0Ѩ߷GQ,s1+C;n%J%80W-_ӳUuJr,}wA&֥b|baUPc9F ['?n6 /h:s%OlfnI ln3BF(fꣻ~0B[EfP9hi^?>Zq3e([N pښ28wI2:oɳa_VVRw*ăMVNEV_Q{m{b*"ڴ !Hò8l9o7dAA/qtrP/`<wx/4z&`ʊJ&b_*s}Nģ7 F*^]9GU9\g˲mƕd^? ZjG㡆|!1T!Amyک~`&~<ы3,!Pj{[}@jRUpYHvdȇQp@4|XSE'gOˤy;)ܖ]ÍZr^ʦh t(9ѹ/dUḐT!n3]sDTI|RYN+mдAAMT`%,U\M?v%#q~=`a2.fx`3>O.,+ R' WZ$ =i*dzSMwF7̀)9aFm)Ȣ=%TL!ڌS=&| 沿ڵy/h=5,k*f֞;iDmsz\Pɛ*K QGIs 0ss H.x;)e#N]E߆PSjOjU'"AŒ]VHA 5/RQȋY,'h\?a~M;%t-ÂA=Ec~УWESљSH1/j#+``lo Vj;OOxǭow#AO{k0 "xmUqaA I w]AxؿKo\7 ɾyWsf `E n csrܗ:O3UYizבCۭHoxe-{﮿Y j3uz-Dry$FdxĸJ18-U0NF_i8{cAƎ*by`{\11`L|/Ӑ$Yu\S㡳,(E NYɏ!WnQuBdPI2t2Bv`voR6V/fpΕ#\ ,ˀ]ul;kj'%T5FZbI9V㚐Hfbq^Otj[QY˹LUeSv '5>QcǟsN֍ƢcwV&Q0"Z`e_ |JPZ!70;j8M*Mg!Zk&ƃs֣*P3)K$Ha{f,|КsfX gѥ14>\M}. |F^W[d|#^8q,laTTz0T@ZvٻA[)?ԛj6_K֮v\Dzx/wk] {mN'/ݍ&~KFstviocg[&=oVWE>y^i)^"`gsVi0zwiϢv<!%Tp3"H7,E|B=Ԟ #LZV-!,~L{}` 6ĸ9FMTX.8".ɞe Zpn cou-ڜ16-dH^A*ۿn Fs`VƬ˷F2MrT7P.ᚼgC:u3$Y4y 8AAuÅÉ`'.<]ʍl'/Q4|Kpj "Vu%1-__zKVUm`z¤/=j3@d"qͯKrLR+5^[@'Ֆ_D9GC1o :rn1=*R?~,r=sXX.h)X,'1Ē`1pBV`8&*h@p\asW|z,Y?,+E )Q+f&a)( 2m MÂz07+Qϥ8Xݼ Up9RKaU2[y #iE!$b& ]w Geu yd|ղ׀'VwJޞ ݂g j0|ʦ@VUw[Ƥ`% 2%0:&򿛈 ԭԓ6Z +<B~!]REђuX۴LmAk'5gܿ3o5gZ8-_}FёYe v4̲_r:$h7 []{53ݼ${7-3 +ȮHĵ8w<ȓB}Xw C=&).wXq9I]_ʙ01ȞkDM1gYw*F;UIU!2DI rXP: f"|aG[ L3@¾l FiKu\re]#uŗ(PpԄwF?2nf'uH+uR嬛< |p?{@gd0%] {XF^t:F/k^Ye!>?Sjmh\00^ޯr=xFuŃ)`_g hOY;K[a$1[*RQԍ;%h_=,G1v.l{ [;&ol O4 7u&ՐyŌ /6TfN.?鳰'O7A|(?W]v|lfZu.6^bz4Nt)&Z{Yufo+屢`lVINٟ3eK] uITFձxN ۏxv[ҼtTXSx=ˠNM/T>Xjc<6:}i#egNBN;/]0Zz~4 T]yt,Y/'N\ EtY^=v9>3cWXx #lkf8{:&|P<8*;3ada{8?LlÜIz}0 8D0&[ znaP׽$DK%&gO @kyՠz=i}}f'9ǣx5f/.Oc'+CK'!d(*Y1 . V3%,.fCw\0D-{vY@OtD'jk_s)$ BY` 3PQSVvF`>3 =JAs dY׷6d42Lo9Dx# 3FPDL9yjBփ͠o.i O3`Ah7EZ4#Ho DG/g+\'};M73D [a27ÀuW|D^H? QErɷ>]>$*NlZi}/w•N)BQ:%qfnb~'^!/"y_q5e!z a8Ӿ6g::g:1ZCޭUBr@T^//8X0jQџm m-HoHd4LzÓhT17xo 'ܲޣ)̂$D;T6{-n!a{It|a>){U;k k_LѨa0< L[JPrK=?ubU<~R s—hW -gYZ7zXZִF! r]ŗXiɟ1ʹ l93攀Lx3 a$h4ٳ5;YP̙-e}:b2|-[Hd&b-넋ķ8R4 fp iC\1ēANp ɕ䐿؛|p@|muyC@gk4e9Ymy2.^((_#757&`'}z U1W-HC HYoL7+%?!\lRi)+ A--AU^~&e?` %m͌@&(R*=9BkV=]tkmLM9P熺^)lwP |UZiE &Oh.}(Wn!z>-!>=0 }t-&R)םrjB7B{yN0zd+,xFw^gYZ7zXZִF! ׮I]ŗXi%>vYZN_s!\%9yLIalCM&V(oF=>bf= m iPʹC#$a<~vXԯj(4ɔ˹V kaҷ #}ʗf绣PZ, IUn;\FFwVyrE~t#:c[ѹ(R,۟pșG͙IQn,I+ZXhʀBnp`OLL##!vcᒮRt  L:Ų,/rw9n*BetKI*0\(USJ`Ob3Jnw9,xwm?52 zk7z,I>Jk~N@ZRxZgFp2 _le}8-V; LZʷ0]k]̚оXiĖ05f߉e_mu܂wNze R}@4 m$M\i; 4^%8 yZ4ŹKn`~+u499F3 q;PLW1;RFRUUB>Էr@CU aďO==|cw)lYKs$)(lvnSr,7**aYM?H_`BWD21d01RUNi0 9gtxIX,H^s߆UAyj@'(:SdgֺlO[ΡvY]Z5`d}kBk@|u׊uż}14s#?CP* {IW^%Q(R궢;xy&!FET6JhSQ$[De 93JyS XRd-0tS@P!&˰PsTe0-Xpiw]f)2$WNn(O\x$wn<wB&jEb휤3JMbB,)=%+΄B8V,g+;dpw8z|rJOrOP5u F^؝0"xϷYL{oZ#4fYX~p.?Y0?@238vmTc#h6r~ hju:ID&"B^~>>*ζcITB'30c?_ c!}0* ra0۔'"tMZ \V^_sF0xE";]u "5!-zknQt#: M`3Z:]8ħ[5e2Wːc,ܑv/&Q%uDG捑w%M}%^4:JXMxZ5|:L񹆶BHF[Εr9D=gx"q2|Ufj4rC7vJ _s"}o '~ђf=25ug}еRz")[&7;Mn{7Q|oRBLJPחu*5UOʨ,n"+F6?vw\A!ࠛT,yl3|" R]TXZ&ƝYr~ܦmpp | y0^D;P樥zPn]%NՆO82jЌ#5E3ÙRVGI:kDA#|ܨJ%m5rXړmDoʳtwi~%t @I!̆5cF 'ᣥi 韙rtK8P9膧ã%#.Ow&u%z>Y"*oqWR~q*T\Q )ĭiӕ$r Xm_~.U0hh@oh:ڥ߰X >sx~Ԝ jإ,ƿdײPxe?8P9] p/L!HTdf,럤h|}ڀ׆%$Vգ=i+>9OBvZ;D`6tYb88A 4D3a+zF1X!q+te=/RD JMFf J4lcbZ>'WH,񰇉UsO\4p4!$:bK L -GL r^J{%ƶ%%WRN֐+v;rZaz&Ϯ}9C)@%Ƥ| t{Tǀ paKo48(\V iZ`"*Cz-W*jWdsV(@)TqEH-E0@'ip)L2$4k B4t8r/tl9_!Wk{7o7/gotw.[ÇO&[ tcy tmP4G@84؆wM)-=uC'_s˫)V]A]U^vbDhp^5(׶C*'B&lbi4+CAyU:Rjl]0q5 %nM#X"cM&y cyآ"6zDc*C%pO SKLIA =lK 8]<]R>t8cV_$Ws DXY"WCy΃BɟN#\am$XJ)Ȓ#.S3b+T ub(X7zNo%c>u*@[pesE]<}}Đ=U=[)ZF"cBV51be أ|cq_;rv[Ì¿V3eWx)tMf. vb\ZZ 2#UIl m,.IM H~ _p^B0 MDUqm_,.hLF̛ka̩W,5UߘbP@P2$1?(H$}K8q 쒳o]*pf ~C&Hهw$`msM`%ƒN11(laVXTc*By^%y褻 7Y%卅Zu܅bIqe:8o.Yu燭R"|+i,s-` ~3̀1-:둃%S^[B=[cM.^ocW0 y]JNSx]QxB4j|x%$ʹdcn8硫BAt!p/[L5mez3KX0J?7J$=7a/ 9@<8x0+CRl^!D)T\=^9xZټ?|psyd@,}~mŠÔegi9|"o$,F`rB)%=͌?q㰪WT܃1\ fݭޯK wO/ffbSbLY-VߵV$ p~ 1{1GՉ=mjCE2b \g /Qx#a"1Ȗ({'HOJ^SEY6aT# @l֛eH5uxg,|B *鞳),nz,Z}Oz(9另N~:=2l- hmi CZzv&Hy$\DM"P-`U]wX6Rq~,}rۇ_N}O,b g(b `ezZe:6a.qx?lڹTw$$V__K,h>u~-[ @Iq8OkVc,zDwRr[( et}F -K OuhO郦:5IO?(^> ^kLzuSB~4 Z95|UճtWp+]7Heo$}8KyK0+w_x:͢Y7?dN*ΎzW h=>&^C3wg K*6ڟGr‰'[[ hd!.8LH1Q#H-LF3ְf!Owwa?/ȱ=^&`s-YsO7%F|f1pa;c?l8,J뢹׋GnږtL,qؖ&BNHFrfrMp4J"%A\s|׹74ܟwa\qoXCr/ЋڐA?WTI6[q"c ╪ɑ1 aO4TTڰD֣< BL, ۜ X}^]{Ѵ.p9,$c}PWHgD TJ&8kkNFyݕ|&oYre[AYh#H)5ŝЍ;s#ּQhj'0V}ʜfS?0]iM6`SgXX.9x=[v1.PB ;[Z$oVkPv4vo |ڂȣd/hataqNb=1 Ɠ~-x`t[#c̖P}.vjʸWbDXKF.FacbG"B9)6m3h[BTk!V= f_*z7Hj \C)  dKz tj'y(:Iud' ␒RGk+I/nQ 2DcGnK4É& ACtĪјi%>CLV#3HGp&!ȭ E;+q#EBRTP21UQ#{b-`{gzKC}У 8pHG?K̅f-$4ByT:WYkw.6K*Cl/{]D̴+f]"o 0y Vxƀ m^-kV $e~s9;p}7Chyl9_.:; &|; g)N&@"F8h~Bt9~Ve_`zeD7?556u{v9pۣ8뇼9M\_4ՓD@]U},flQbCG(\UЛ"N=Vא[ѡ/v@z}齷nX2Ԁ8 [Yy6h;~P茕֚rchV46 MMl‡MnޚH3MEfL >> K5;-p$Ҳf-U=s+ Ε-lQܡ:\G`h w^3O ĴMHs;V}yi5 5bU*+*S#UyvS3Z.>C5rl6尃9Ou s뙤ẮvQ#m$qpm>ci,<ނ4&NvHWJrBX{2TtS@a5(7s@»oBܿߣ_/- yL m#FqQ%yH/:ͲH_IZRωhxR+4S9eڮs={c!Ե~;{) w*!eF8=Ta;<({瑟~Ufp x)dNwLitEỏTN!H'#!FskD/2ݫΨ@ i{EhEУbI>;!Rw/81xpm2Ch2}9[?'JvoLI*k e;6G Wg;+GL[.$}l*6?K^ kYvn3cWTƬ.r6|2)^u4qvOx@tZvoamG McvejP3=wٱ:A8 ,^K炌&5$-wܔ!ގmݤ,~t `1^EE7c=MWs/χ܅z Zp Lױ׸ ǿ.ho²4aD6c5Aۧj:y9'}M!9}e)O^Ӳ[et8~|jL c( t*z8ux699va?+Y8g.VEW ])PD0|SFPqU\֢"S#[&TEU"D&5x]ћE<,!nSr-vz&; _.~NYv7Kxv;޺t a|J%vq߮j+Zh|'S&_~$Qs9Oʝ|/ ěҬJ:ujPdyS1q {4T-sR]L9B.-$4ejV^v;adBhqMqƏnZݶy%zn !x$T[M-&hҼ!]=0}mk~ڬfY%[sKa M&x GrG Fi/\? }ȡ9TxIuY<j lwR@TKMl;hLBgm} AE!Xa~FR$144Q?[J!uXHNP5UKN1G2Gu(+'d>z#:h Wd%| >X췰v^6 qϭtV(̈+<EB@&%ZY%]zuʆ4h)Nc x`(Ym>^Z>-t*"vӦ#>+!m\챪.%E~@-!7:ѫkw] ց̜=wp'LlNe+VԆ22X|}R9Aܼ(P:uݓ06te#FOQjc,3L#s%,.CC/zkpü-`S 7- r ĢmQ){{1WQ6 s6 $-8"G6T,wl.'?zm#2h02]0yџ;2S ݒ!"trVG])T㸛;rPN"as)H4qQ|/&=W#?L|]+n$uo=dZJ7~h ¢笲i hN2\I|ffWsK2gEc5x9SVrc-o!#hNj6Uӣ>_!ki: e|_FA%UR#%S'qΝ˞C~&#QX/T~X_ۑHB-wƜn(t TMlJ\_ir+Vc)mW6i^+<͗\ـ{-Sʫ(C)sq/M75Ɖ3eHV} ΰ^OIx_f$ hw2*ÅoS zHo r}$`ձ- )/C;beX"rQ)R&薝d~^,jMh(w/$|se@|v↗"p~? w,Z^do2|pL{4pCBonN*_e#+eֿTnAf-B"AA"-S`_v-D7իOcm sWmwp8;#{Rk qU@ڕ'!ߘk [_ZO<%{WX$j rI8;)P@C'NyMj}@qFH~r0c7>u}wQCnͩM3'C&ے&ǜ9MkYuwאM QzH?H dK߭J+  TAo41դ[B3IW8mFho[NSQ/D7VEc}£0łex˂XWd Q2U/hԪ9T™Ԥ7%b{C ZUU'%`9~ۉ6ty` ^En+QG09c;P(//Vl'ȶ k#~@:)cU%7DQpuaO_~fYvXu/o̭FC=kQXNy[{ A~>YaDR]l1bHDIrtDh"*pW FA2nBOTp<ܛfÁm}|a2GǓeoPcsK`"LZ8\=Qa͘Ox;hѳlbn?qiB`F_==.fKs},O$U?ޏzE.ȇ>(WeE9OvBN{QʠVtUtЍaujkgN 0\ֲC"NDf@2f{`,8VtUT7o AG= Vz̋'wGv[nPQwE`"BHk%&.nurGTM<mDbn\&BgM}A8]2,BrdN\4Vc7ܚ~K^cFV-~NrGZH{I-hթrp9MOY.qJQ JYFKݽ\e_/ӷ3q3 5(9"PƄ84n9t|[nxי٦9d cQ,˗`6aCTšpG@`WNOqi1m0OƻQ´dD -G4ҤMuI}a!A jC4RʷS;]Vwg/ @8p6D˕5VB%7pF{)V0A1ӴxY~*&SOӱ6n<) &qS~ĘR [)Ac:Ro4ߕBq0,خ-4*6٬MY@鏡l^jgBim(OƧF,K"T0Pdb^Rkhb?́Ï2?#2cʄ73:ᯡD@5gu^ELA9T{6/2kq;?b~oL0X g^[s1~CbUfY{(.0e4p`GD%zoZR&Xχ9+Jڒj.Fd䮆сXDMCV\^EǤmo]gk&3-98;#)A`=K =@aZa?0ֻܽaGsa3 ծ%5{ 5@%tU|[{Z=$Itp­LW(kۄK.MXR$Ξ# ZjLJ8tԢ4 >?jAK QJOQ]@K,d)eUhs[Wl.U*<-rEr^]hd*Ej]Q08qQu@8Bեr2ޑAs13Q ,^M$Utۨ.#cuDN6a!o2HOpl_jg ,oED߱^٪v_m}y"B\[?-*A iN6 ̋>y0cKTiOV`c/y,qnJ@xpQ$}oU B T3CD:{Tض[~j1 gqE7 RGEOur1FHOuŚO2ʥ+bf6J'IGi(wb?3Ge*Yz=eCcF>ղ\Y?Bo8A[2澶3x3+\Ċ_)!8NG7')gz'35*( `t:s$cД%Dԗ~pP^ iv]݅U߈v`քui^*$WV >GfIl;¬ j^ϟl"}YdH(/r) ) 2Qv`^)T_N}Дjl I*mUǬqxýڕrYkE 7ќG*̓C!}/Mgc#XO8T6hǀnuzCZ;Ԉ`*KNml 1#b؃&^r4 |Q#c2ox4fz屧=Q nySm)>ͶP \'}t@%3^om;j)ԥth+TG[KZܢ+7[w{h v6nq#B7.u|P|XL F8+qrs[=ojKᵒa"Cwݍ8Pl4:FAYO9t SᖤXI_L>Yuu§K>WX8} )1V>@/Z/?ɮݰз@=~l+IBB# ĥOOI.z`=E#qt<`.Ez gREpn P!*(fڡ(K>@Q@>gYxl.H}dj푖o/qPYOp@D\!P%ja9W5/͖/ģ 5ʄê:.ӘFl! SrF'M}ƕ": Qv~_DL> ;mm8`]HrA8)qBA"T֓:KճQYismBW@wrIr!ǡ0CBxlS8^_YлZҭj+f6GP!n3y5jplx [#њMTY Iqvh- [ s|Ov|\rP3NQBO)' a#N蟈)[s̮XعfIPp;{>c׽>\ #-,Z(%] { 5=v]*K˰/"kG?ue? bj p9|ZVd."&MH  q-'-91p5E"WW-<隢N# uD&ym-綁.a \Zԗ}q Ԣ6&S qviUi4Tcsrܣ!yn&Q}z)yۼǡB}c_n7ط;(Ic?Z{m-.1}NPKoEU[F G/#8Rnш0d7cUgy s46aș34T1uڰ)0R/F.cG N9@-uGXiTed OV! )ßt^ZqsN -g>{d^L{31}L)ɍ҉UsN,dؔ;QRdJ%%9$~JTjgޘ"h &Qhd'qͿavǎn}; ͻNkܻMsZW$`L9%A3+%.VuĜOU:3i(X$GW7&zIOl73q?P令q+&~\~zͨo˲'AIg~Bnwj}+ZS;!X)KBNO<%(xj8Zwo7vF:y!}~ohBEedmq #6YSsk%$Iy\M|Ҹ5:ʡEsFהjY7QieN(yp-=ë#xe1+UhYUP0&{q(ҧwA??0R+uqY(v(U^fy9/:>["t9{Q#L]L/\)y Ғw/~2AȮ.9Aep(c2<.Z{Gnqb_!Էe#-uȡP!fnBn9zX&3X* 58*QC_0ze{Xf]crT=R" ]@~-Tл}qm}m1uWŌ`)` paz%*n$EC# :h3#HF$8a[ާR1_647.T9gqqn~#DE.Ǜ.[F|ݼ`r-k8f 9Rj'SI^|`ˡv_r̖iw+ڶ",'j;4V7C&)p^j->+}9!rN`'tVOHe+E,t5{"@ g?`A;#[>b[uexӛ̥1xdas X>/3)iEljxĖws xQ7h*a!d%l#5a au3Ԯp&W+觔q&!D/j}\lGW29[?3:w!p%f@axmB1Z<ߢS@-iQd4 @sowhΉ T *6Lo;^*2V yN>E["\kl% ߲jHl=X 7ttrHEM'Х . qX.gnĿ 0 yxG+ :ǒ}xH)D\.e3OU~e5s_p^IڣrpBٌ-ₘkNV:O._Y *UrPJ ŋHrN2&#x}yM)e;oE>}}hD&9h.+zQa{(默' YIІ#.S2{r`$FjZ Vw@3!`WzV,4Ь6"u,oH FQ;Aƒ7o,#xWz8 uzѭrBlMmC&$DujH$Wi4 /7Ǚze}x+棨p_0GKgi.wBԏOANֽt45!1emqd4-$ū65XLK/C ߎDHo+5WlME$#XE${mH_2#|ʸ@6PpH*Y F͊9J+FbT Y=C8 }r{Ʃ̼gˉ GB*YR2Bw0dcѥo_uձRŪ:!,oJW QĖXhǑpB/|g0.B jA l5U@hup*8TJYmF ׬ӳPG#ㆹp@ dZS|z0\Ǖ-NZKH&§[{V`!>a,%J0[~.zH^'cstC ,r \}]؀C~eO.˽0|B؞}lBf)ծ#``h ێ+[ p^B-<^% utۗ1~SBW.@KOY; =[̜Sʇ5-# M --uqnR.t0a Wř``+=\Zw2*׽ ?$vm[/2MH?w(Mi\WAhfc؜f ڜy>(-("\df%~DQO̧!EjPd5^9S*7$č!T<6;UW /5̷Z=k0aARRv(S*i_!!a?%Z ykU:>s,(HQ^0S4v!}eU>` ~[L?ocPSy-W+s0YxD#*)WqR Lf-zq!0ݫٟBˬUxAZ<]X@qw$ב0^l0 qؑ@"),fJab㬾 YZ]өu81_; k%@)nndO!Jяɑ;ό"/Jo_P `t|kϟm3>^)=q&@=_֒|<3566m GB2M}tk똾PIGP56_xFN*ENu5~Z;ĶEwu\Z >}~d"8/zTm*i/duYgYZba304861bd317d3c9c53fe9495b89df889f34b06b4ade832c2d8ae0bd9580685adbbf7212199884b 6105b24e2998351bc5036e9603d7810cd4823116 57038d43d78f43e7980e86f4f772659e9c5bd558 2c73f6ceb40bf77af55f85cf4164b3f1dc134944