SQLite format 3@  .  YYQ77Atableisabelle_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, "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  Cl| uS]Slicing:threads=2elapsed=577.580cpu=1005.664gc=16.684factor=1.747zXZִF! R]ŗXf1-/6vR[]\|⾑Th_&SXu AKDŽJd7<ӝ/.rGiIeW<+QfWѬ2޷IW'CI5gMIe4.~9t_P\Jw"|UH!sNӠoV:g!=JTc:e?J2mi9OP^VVqQct݆ƏW_[MB]ȜEaR%:(W=$Cu&o@k5䮥HaVQ!h{conV F6zĩ];A<>**Ϫ:Hg) .HTMGO➆d6lA|X3K ,]NѲe.,5<|'y$vm7<8)\N8xTE eL/5KwT#ŽC`T6Y+H=d[SD;ãϢX~lh&/& J2%QgJySU'BV# KfmA-Ъ(&w6P?Gو|-IM(Owq^e/#o:uKyIuѫ-;cB=[CD?g$XzL8% l!6v]Ma7|-Avik[0P|R*~N_LfҐQ"ަI}.^k !?PH9Q|p]xɧgr do-45gP! 7Co?o~qQSbfPb-a* % {.T-%eCH=lRZX‘}< oS z]H r 4 }wL-'زl$U=*aVfL8L@!JCT4'A'p9OIH%0mćfjwGI8ʴehS4ܯM%&SUJhaj$ZA٫3Euo B_pl:BӿLa|8 ~`=`$f,p0&ŝZB6=F ]~V^\k 9FU鐄ЏvAF"   Slicing1E7,u]T┶]wDƻ؞& 'ŭ}涅Dz6W-v 0s }'}OW8tcNxbc$Sڔ2pաc7*1۳DƢP@ЍpPK"Gs߉C@5glի4atECvf>bVwC,?0wXɁ{GEW̘0T3= J`o>P &ˍ̯(^?fG2%V* Qo AތvzkgAaֆăIV"ڐRפ'Ŋ%t!e,&0^ZI|UշL@x`fCdW\gS${ZIS+;[j3o,%uw^kkjW%Gd*\`$ܾ`~ wg9ߓr@c^a?ҤV,xfFQUly~lZ|J&:Z@DAz[~+ .y@ƶ8tKx'$HF8?Z.~952/<n@J'K@ށ!7bfݹ;n{lʓڼ3ݸ5ta~{i_4|foE^m$ p"{DSՓMkL3ZSS+5Ydy(SmUv~Z Ž;O@ qdT>)A}R?]BKdGoRW.*GT^p80mrw+u-ԈLt^&Śh3U4*{݈D ٠qʜSrya_GE|V8!je1B?e Bnf',zGbuODv HO<S?}_]iF識bU]΢S<&/q勬 6` s t^YvAX) fShJOg,ˍۧE´ 'ߥD<% sdV~d4PP<4H ?1ahif_?Y`E1*su-̴;u=C.< P㡏=88??KUIϒQRx.[.&0WLpaIrEajאmҘbLt=x+R$yѥ/,X;EAS5&{ k3a.8=>}Z#B?x\纬11~uzï[\1'U/-ZrtؔmɢTnl$(>Rx]or'kJ en\ plV38=R񞝞?$aKNYE;Y{uY Lo9'M APϤ=wiGtZ .O~/qE=ԈhE^ ܠ\a CiPo1aws`]ǜvzhFv}3Hg͆).0V'e2fזT1WK&c.6kv n QcC!ΨPa2•v}͜%Mrc/j僢'Ja]Vwֲa-\LjsDpvԺ_g3U9&=ҖQA([1|d+N>.6XarŨA֝uEHġ֞yK[Ɠ?1綮ec>^${f4 tb Btw&EE@o4Ny0+S/j"-5ǕKN&qp 1aURDL/vс%lE,-TORcP)pÉ¢ "Mvk=9jvQ|cA!:Lz2,U%`@<2e-\zPlboV_@tݩiM5kvioD|Wp(.Ia];j94wT6j *@I5#B( K•D}w_S}sR c.2=etP4G\5LȔ;w9u[QɊuxK6\qg(*:)Wr\wkZ),Ebs(E(tlh آ=4-$C@A6c*7P^ viFYUEDn uRE9*'qvvWo> ӄ6Wޱ*,DHJS^;QAt_Po#okFS;) $LOBz5_lORLzo[,B3V^–[>N5pЗ$TxpHֈΚͯP;/@=UY}ڿv*Z94oIR ҅ Ze@oUCHҪI_p=!!*XS1`6;ah79GKvsb DhOՒn :7/+wo}΁Oȷ]&V%?WdqqǯJ45CR'*_  b@w|z5R$U^>*WP83K(\_2GCV j~>31lJ#E~V@D?!ek,=HP*C0\d__0ᑧm&O5.Oa9"q3yۮU?C ;@}A&ȫH O{5踱4vA>'EQS5( w;܃ىud)bˠ3,U㐦ǧ$S'Z8ÎWࠞAmӓw[#v ַZt)"jh8t-m`c6ud/'Tɴ)ӌUgYZ7zXZִF! Bg]ŗXi%}\jaj].48^9C $Y5;3UWH1"oOYh{z/xi˓=z[i`pMO6g (w:p>8gܺ0Ϣ8Cw6R_<{gtŏjC'; W̕Wk+h!ǞKz{ɚ#HQ͵eg d_}9FQ|o Wqm%J%&y<XPW`&D[ qQwNI/wԲ9l%NMT7%RwV"0uM$XMK{.zl|fBfp45vHEwPj J޼&^(ޤSg&FIzI]XȱiancTn%rPQ<݅%~Sx>zѿrWԩ'U.$ Cd*Spꁨ5I"RZ^ْ+ՂūWv- %rDŸ#(c!Se#[dԛL1Dz˜ {^ T~VIUѵ]ij(~4{nf0US$7Hˣtr_%eDðd:ĚQߪߙu)f%\YCr1T,Qdڅ0{ ė)Jjɿ&s+=j pENQB%6 Gڀ_9W +J įtw0 doڬT2.t輺CL%0<!C;KK9AsOE/1ѱ_4LL 0tG5rړ"Q!Ͼ% {P6ֽU,IR>Z8,(Drg7LJ1a-{\ÌKNKz vHS?s@΢6ZMD} =/@aJs=.B*aNҬCAEq1!6ޚB +*v`gO,X`;0W٠6#;P/E42. !Rxwd%?H7] lI+Kڀ\bHzs zBbX9M͆'x,}Ywʲ>܅:qsN"`m)w{+_GF& Y9LЫC}Ց8ysBXQGX!uiWegxS|97-sݭFn:Uؾ>eR}RҡWFȨL šaZCQyk2G(QK ݃9i[^+sh̔hL[ (-Hu<+`Z汔>iwB|՞m(nGXxVpÏo&"!v 17"oE!wmPau;s7 ׷'K ͢4{ѶXڻ3Q%ie O~ S㓋r f\[4ܲzT3\b-Stza4ˇ311 b߫zj2>'EZ{SR$SiD;"b>R7 ' T"Fai[ #@:FCD#:K#oM XHmYv,V1)D`9R7_):\aj@Xa5> G/+缸; {КEif }Mchq$˼ BlRQ Fd)43RuE8;qEfnG:\°1N#TuΠtFJlRXW,}-lvh)H?{CmuvSt+NBk,elUƬM{]Ir>9u{e2i⨭IJ=AƩ7I9F??|?5.o 4sΘ)~Bh%~m5DWh;p X^T&PҘ'bM }&H)R_Nխح,p4կ s@i4w]*cvb-`sMxV"LX K+ciP45 D^Z=撔!!eԱmG80K _ʛ\QBQݸTIAZrDO, L!v^yXtSd'? k-a!LãAz_2˾F.ak,~AN/O#(m rcl9/B1OO.BGsi qNtꂗ\\pbJ9JOCjp'ʡF(# ͒mÐ$`S44\E H 3x9y%9o-5GڸTrOt uV{/<פ0xZ⧁fO pigx4g䃇nQN-O9*-A'7VI2kM救@܈3"cB/{ܳ1'ؕ݇'m#Z8HǕ& cTŘ'`bI&4ٵMY / tb)*&T.5UA8ʥKR{&Lrp҃_\︍"XON0A0 04x1fͯ[CMcT4$F{uH+myFƓIMY!_dhR :ⓣFw dg4xٱmYWhtyb勀 Wŧ =er1]h!yi)w#;`7rdܩ)@IbB ۝so5P0Dj!L3ҳE#>}̩B#F߈;hCjS:>r:EE|5' KEޤ}o LjN]j}6*s"1aA 1F] Yj[>0fɧtޚ si#gcS 9qTU)/ Î&3fF 3mMǀ[&YCy#ZDv FzBP YLި\(r:;˓=DnCz2}m"~Mp/|0^wY}]Ƽw`^SH84Hn$ 66&6C\"5! m$i:Zqͨc#I]h I[|ۙD阤(63Y"*>5.:3F[sY)oQk8mβn#!)}J!cvZլp/ʇV}3qD'ཤYuT="Lxc+& d)dvgnsγ󈮢փuCc Lyr̈f(e`q=#ZڃshsEEp% 6,j>ҟ~h؄||#b]bXGê_wKO\!ɿ /a4o(GjN 72"YdlF;/d};encM8:??^2'/sCmFD8:e4Zl4vUb KG e,&wgK3@Ν:_2+`i='[{ 0b+b* V4^9Gf*uG;|ᛙ:V$6NG !FI(XוaIj䄒jݤ $Cg_zӦ ~ t 0Z{0MZ1н|* ?D2|qyIs$*@"@d?kYDk|Ii89>ݍ׳+֟^h'3kw45y!(*DΜKSQ-5r!FIYrc**R$G,]']ːcYpLLP$T4-r׆KtyO_w"lJwhdqURW䳱jHwrC G0}<^ORX*l?*X|@Wޞu(u&V,X[**]O74{Qۭ/фH8.SӸJGӜV1CyA7!@ijUWi0H|_uý w޿=.pSdLx@LFt !" 0=zfPU8& N* ˙k}`@C (ikXϘe#[~qX+,IxN#4A 뗗H-'aW0|Nﱘ!S {dm0 (co9M3}tu0o{ՐuD_SlE6=Ħ}'-¢ڳ`P66CЊj%"%PNh)u93Zs+߼*w "“d.Xuڷ%98 T&Ү^vQ2`f5ۑVdV~`ꕛWkьF10!ȓ*Q`ۋ):uV2>s ~^A{*IN1tQ,kv]!}>*~# ;xS$e|Â܇.ڈnsZEїIZiO" ID{Zcz]x 5++(ⳉRz|eXcO\Q-߄$|XIl7Yh5VjbX6 6hjldxCHgͺnPH_z7&k g3abTÀ?Ze&++!U޶Y;]zȻR'`# CR$Zld9,%8;Bhq03跱mQ-ϗґuOބ m^I/% Ӑ6zh8jEJ=+ UIܒٓ# Dz,eهNb'k!wR" OtIe}S"p"P37bUskJjtZΡwi*A_)AYq9OpZ,IUE(*Du&vmnNy93tP^)=e3awHh\wc {V>lkH?/Կ5xu.8Ы0,tn .o ~? -G[6cbt^>~=Ijzu~n?7"=d}=Vq,`. JLw֒sXE_}cJB6n^>ۆ47kDc`V_m|42. |QY}[(ސHG;- DVqNNfU&@hmoY_w i_$[';*.ɍZ&m3j5-Ӫ&hTܺSDb']7d^0#2xe\'<+Q}qm{`U\<ܪv͍KM$k)7'HPNZ2ӇV>sMEiW=W<jK%Oøq]_ˈ KbV? ;YkIDkkNzy&M {[A]V;5n X5: &Dn5i}JhosxEc+Q}[m ©N'2j[̋C6?J JgB_@؁jR0cw3S#devHʂ}87^0k_zK|j$FʮP0YIQ 2SkKE|й-T K=.@r{LU-$x6k9d|(+T+ }5kFvp @%e[”H7$6x9+;[ؠn|W$ #hm~l;pQJL{ee:.בu[I$=5*|A9ӛlLBg&݁̚q#Ƣr6 F/bBVr'i/cx\$(Unpt OD+kqҞ]y=m h ]u$?Я`ޫXd,'/dJM[9_>ZKBxh _A u#-`+B`Hk@"a3ThRYx $-2SUX! f+-Ҽߥ^˔U^ ҿ#hBg H g698@6S#.T[#EK)HrjK_?ȉG4`d۾X(B<j:4H%CBv*)hT{x8{we <ދP:MdGϯXBS|u2)B}JaN~֌_ʫy"2P gvRG)A%P}۔#G ܄yzJN($j&d"7#U^F;Se*)td-uo/ͲVX!pQ0#)Y,m,RX:"{ZUB*k <"f_.b=Z +w]hZS%;#NtgݍhrgFF^ac<9k"?e+@zeAoqBݱ6ő;8>)9:U5KXJ[PO_آd` v+z/SUh0%<ɕL)*kpj7KW¹Rg^}W?nt@+ZYVBbVW,e'GyP^qO6u~L5S3 oVque]?4Zzw2l=eP}~]B/K@[)B+el8|T&oy.Bh(=u$q VI5/xA8;A#(;[1Ȍd5eec.K P nB׭ŗ:+P1d}: u֚iE=b |UTMߡ#ÜKd%#"츕D\ KFT<L 7~5;\-l2D=Cft k[tIoYLBR DX, Vu (y0Ӛz9MN¾:juEEs|X-pkLw1ii%PqFܾ=S%*d[GB%C A*י>z)<;/+*HDWJo')qD S1 KMWsz8uޣy麣n׀G#>lr/(`RY93a4ϢHIk_Ux*6 Ȫ]Tp Ԡ-fFOTڕEvp!Are?q /" s@R,o c3 2|˱ aWͺs3u܈E-?'cag+?XK!3q֭MWL:t7)?[/F{CKR Dp,x!%F`Isڅc4[{;(M7ߠy+'6CZkjgd1ftg! Os%lZBk+B@feu 9 J*W?@SnRC嗺WˑL^w빯@zcG}t@U鴛qYIQ*G>%E&WE:l( I߾ ^;3ݰn Y`Y`mH4Cg*5`t._g3uڢM7@]FWR==No"G%TR-܉ M :&ngX DRYi=~#rsb҃ ?*U7=\y8 di5G30(3`"n>A bX~%<Hr@j]xrU2|:QP߫"AC$lLkN][RTÍ I__5.D- ș[3͗YUHS%oxնse3یt-نV Nh2^C>(3A7H&f D{YEf]T5F->WuuvC|+1s$_p%÷'K\ʾ3ARmX¶ds t 2: :m\7S1*k, rظ4ܤpʙ o0fz5u 5#*--Vlq r $/7qlJL#;Lo tGIQV0Z*kcx2~r։V2mQBʨ8."c[[SX0Nrt`Kk*6*teqzsA 4$(;ͶE-2fomn~Eu=xx_ldd 4=`]U'(|pmRAgVO|xz.(teA4ژtkoU j vM9&/Мy^c:1Dϋ5zAc߶-Ȑk+ZAqJoSBHns7eUGY2Ð6wQfJ㇝HoB6 S9dhUcʩڱYiVbs%V'4-C 2U9k, `!hhy8qo|9 דe3J8;oI{nމV7Y y>966bMRԨdBqtO:M5shoňf(D6!I%Qm l8 O>f4Vx). 6 .a;6>g|áa(cf"{MR{#P)S `fe6)s1pL07RS 30` l=Q2QRM-9P(mQܡҮJ=i"F{j,*̂9 6Om:-yi>$vsY ]WWE*^lo9wcͅHԴxQ BYe⅂Z^:E)g /áuPg8~IWuXۻ8CaUR&p%V5cTCq9[iHj/*mM`f +ەmV̞VN+1EU$ƗX|"9d=\蠯Z+N *ecx~(Ss]׿sP"?"TzP  ⡰,׳DŽ_Qy)AdIVlrOVvyXb|*WwBX(bn3ͭJsiHƧ68n!* Y5SH+ k{vnDhw ; ((DA(:HYtyT칺 ;%Jiب2!pkDRCԜ*D; ?^Bo]d`*Mծ Mh47vNZ tS7g)02ZVe]6`3#O"J;rD1MTy3I4M bG^;.c˻<{Gh<Fw?cE@pm*lc0(_Eٴn5rNqD%l݁+1ږpB Þ)3 vge1؛Ufh"?N)2)j-ըT\M1\- M^nCǦx:GfYi+V׺~1fy\EpVIywrU6Gd]b1?w;2G/T HH.=Q6늭ZDA.SU1ۚH=TdL?$障JD9sNgZ>7YoYC<> =4qj/')*N!%yvőU{E3 D#1!Bԟ|_IѨxrU* -r XTіUpku\Uڦ*iL5( pW6URc(͹î0Vaq_ _a4a]," ppryALUIUO (8N#N_imɫp6wa8=C2nt, 6/hm37h t8HIy QGcvVE_!u{}3Y8UtfE2ZUx˰퀀LbVA &)E8]ɶAltU!DY/xey|FōĘ LX(N a\%W?Q/Bqaun:E?jϱ@soNa>$8{W_LJwت62Q|'*h6Z E7D (ms}Y]z뫖b,Sµc$Fi ͒tpWE`H5oo!;'Ɖݺ R# h ] Jr NV*Yȕ>їH(Ls)'7Ov"drvLpxtuAu0(%CrM> ネ>by]clכϙj,bP?@}sY1!~7 s~Y#Im{cIѴr-b3?PJ8*zTqΌ dB+O:pFGՓ1M˻U  T)oͻey7^6Y;Ew$* (@aWt#ui?qQ PX58I$L$C[]2 0R5t WZf3ӳp3#&k!勶kGTe{:hpbI 2pOu Jb u}s"KOscD]KJ%Z}l,;R>f \aBhM]Q\L2UKL?X5#/k_θ4\8ѧ6<*Gح,J>eX?#HuIu|A(IkqJy'z!C&.Hb,"Eo1'.C9r\L߳?7WD2L' #lCP=7\wU>L2O)|>q-x#% 7MIP-gJ,a?u%4*q33dmԦTjUzrRMy"-0Ghţ<̢QXi̲Ku!QCbr0Y)Oǽ 2jW s23 IHRDvF9sKJR8{*#bbqksX`Q@]s'e*@Eiԝłk~0)lfw AZ/lX`O?Ӽh\L+Ef]x@S *5{G@{hýSIR/DIr9lu kZ&ߤhSj@Mˍ FD&WYvUY3nF,Mt7^KT&.sfۑ\%e|x 0::wOv u|#?>#s{slҖjd_z ATmx)J@30f ]V%< >Qzs?dfv><yk(VՇ+jD4E"ʓo@&'C4d(DwTߛc (djiPQ,ꞁo0pGu&P4pAPx <+Ξգ 'Lƌz$\܅D2B6B my_v vShTCh 5_PJ r.\Rlgc@NE1G SY۱>nZ_kjQבVOժd}휫m/z'?Fuv+C7!Gq]=  ]Kek E]d7 ᦑղ0] $g DW 5Ҍ ۨ¢v8)m+1SjT''sTEPp^)&Y,C8+L~ ;e~yiw%u|^iFC (w<Ȝ0WI߄E. ,z'/ZJM"9Ica ~1aNHtu_,bME#S b |9.{(f| UTRipD+eTyrL:q&XmׅW}P43ƶSUvag m1NlFR^j˖*0vшa "'AJj=Փ  _VRR/ '^! $P|kx^VTIaXu&O6]!Kɫ)q9G "e1:7|W SHjSeNW9uPS{ZU  m6|Fƪa"B(wjҘRKC&nb"MuG =j  9gôCZ>DZmQmaQ71xÝHmV.NWjsRq)ƒ tBm'% 1mLUic$,]Fp0Zry܍}]!"1N>Ά:hbj˛KK1HΛuUIRpgĵ5KxNdd nd%|Qh{*@~zkgW9NiHIt^5 M+br#d\UYuDK2B\)wd -TV(xpoMR8_G˭C]`#G ˵t'm1iC?#PQNʌI΍͵Us*iPƨtQrLO5hs"fKg ;\7SSRDjULQ{+$ʼnB>?-~dY+ŸuadU#Hq!8]]gK :\w@o2| v9! @媟s: \e[eRW-9#DV*-d 'u(Xu b`jM%G1N㰙*!d{9}amj 2^(aTKnYsfݯ^I,zG K3͎t`q^WIoꮹ>"\Z;-_ٔδ7crXPߓ{0oYG'jg{S9fîc3 Ճ.tRT$p LZ3 |?3nK@+9т7r*ު䡽)IU5?b)WJNЌ' ܝ|H#G#1B=~k6.Z4UzVc#Ȉ]) i\p>0K'\%2ghxv_q2[ D9_!,&jMXT}96Uhk@A nSch~֨(wkp~~psZ;ĢhrEuoq]ƪ,$%ԁzq%ViY\"2>޷ܾS~[ʨ( 6:XzOh,DBF( h~F X~un&U`R3M?Z׆Q8gF0갩c$J 8]_$rϱk3OϫtIƄUi͒#7T!1 dnǒTlYFH#aXKpKhdٻ ac{㓁X%qVi q ZSrkFe؄Vn`Gy !Ϟ:/&(0s볠0J)MxH;Iތ+^Ԧ9vNC dK-E|{mPyeqFF|?{ױ}8r?OWt"Q$2:Ki -4Dk܄E'XO[dG^Q' g0lP}䋄RQLICqy0ߓsWKpϮMOu  fӚmhNἸZ $̛yʵ* dr{՘Hv~" Ŵɬy|9QQa|l}C;g/~ŋ4̄bmC04bvY1sc3A5%e4uyh[SGj[Nvsy G[/31aoB98^qGMͲ|/Ph7hяwHyA-HEϝK)S>S;R >1`; |NV+;! te]AiU B5#b=@xP}Ul˜udfUBߥv"ؓRФeW1otX%X*D8w@,+MPPo38)7=u6`]as̫SۮO ߬#fwq;H7O!V}|Ϭ7 ꉘlo7H8B\(Ϳ'pPZ(I]G4xA9I{G 9;9>MDu ]僙P"+> =̋ =C˿ΤMe@,&x"X.ɚ=﫝+:uwjп&*Z3GB?f%%hx{e^ܶ2aO)S\m(ϹI{[ K>,Tcȧx*ϩ+-V;Rp;U2eCL|p\VM.Zǵ$3_nYݼD=y ɽ\uAѿSkj:WQTs%Ey'r/?KcO|;Md5X"of8Ţ&7 lb"p` A|8%w:JDsz'5% Tko+BƞtR)a;MWuu:;;WT˗O[hcp(=*Xf=My~V:!l + 9o`T?ZNj&ӲX!p^ П|l\k= h25,B1sl-n?^Hj[41ZcƁaSQ^mm3ғ+/U;yl<ShOݩzu h(L55azɌ˛Y(2R09\J V= q'l4GW)$ xDp? -G*f(@ich`!IH/`f/tMG:r"r±?\'kHy%܉P|5w|y$2Jb;-{12[")]ܮ(BFj R`de&p"П) K^@ӎիq“5Cv&-V}Wst=J.LlDu:up]+KiyҏW&ms9Z1MԱԧbV 7b<DAdM8?u?hz Ri(tfDZ%nwjPPφ9sԯ;J+m70,bגW]#@qUN$xBm_ ɝ&0zkGlLl92jY-䘨N:y$wɓ)p{=AS_x 1{{>+|8Hv9fa~opEs%cZ9+.DIq.UbQI+w-\xwDRYq&aU&&cIÜa'z052>*4:?habkʑD4 Ʊ X.y3w#82Px`?kJ60X./9– H̝myD{TfEicus-rZ Eh'ع(c`CҐdպuw0 r~K  ˓/HwU!;VO]Dʒ8j.ȌfNա@;AZ5ՙYgʎ ]DѾ~惱4bJ%U.bԽeFHX>uxF+3`ٸy\`b)ſ2̻3NP DTN%G*~1ʵ7Rynܬ|l&s09WQ'ewa{Qjx9ݨyG!+- +M+0;Bpo3bVʻ :Ez0uG3(}[ wUnE+9l^UhƱQblݲi9 uG~=.n7i-h.bOQ~*ϷܒU~1ɠ"d3Aj BS|GӪ@Jed YT %pW7m Bg+ߙecN]"έvCb}LT&汝Z}-ιRI%0q﷡]qp=iWℨ^sB U;B&vCnLA uɸ)$Oߦգ:;\pL-?kn.1ڳyC|!sl)i~ JG m6#' V*pvJ1Ff # H <fIsz7ѐȞ>F5bi2Jޔ@7o}s&tK&ʚ,]X,_lx1oWJϐ6ҤGT|^YJ