SQLite format 3@  .;  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  =|t ] HOL-Quickcheck_Benchmark:threads=6elapsed=290.480cpu=1372.056gc=77.952factor=4.727zXZִF! |; v]ŗXiɟH)0%ol[h3UIN]rP(WϳX6 W6+E`\P%0V,-*51Rot*:rj6ֽO3X[b z h"mLt=q;^I@#UH!ɫjm s {QGen~[V۝jx1ߥ=ܞKDG 8P9G1j(pX鞰 HE ?m -p5v[& a"ҵ(y.fKtܞk%e ,|KIaSRR%dTi)ҀYv(u~#}S00gMS;U:2Gq\^KPw!ҳܥX}:79P9C+ۤɀ|FosFƪQ-'1Tƿ J"~BZ' z~4dPuM&\z॓_C, 0bdkJTR\ER//~SZQ5(!1ήwAߊtCه1Pש-cuD.A .'%௒ ؇fKeezZdj RbhaQ#vcVc׏lZwZ_BEnMhY98 m `Rw[aعq4pP <{ = HOL-Quickcheck_Benchmark  >!Ar~iPR~\|ؒc4-=УZS]-=ؒ1Fd$ՏM/ԿxEq#UrqІb . E:Ёq HzttSEI:lIЄzPZuI{MjChHa n °&v_h6{w='?OGN65xҘV:f*V;88]<\iP:zչ7t]':v/ɉCY~SKi@(Zũ{k kݳnjBOjbl ` p$xK0+s+'J.wݚ#(.yX:+blK3bJdc%\e' e( aexqjd0Zk)siwJCΉ ,)*7*gݨ4ίw NY3i1m ص[Jf@n UGvUE8%J ԁ獌wN@8B̗M3aݏGŹYCgjLw\ &W{u7tï@5@囜w [uiЋ `YgbB$! /$q7Ac('ۭ{Q悟yH1dB' KLo,b=7 XY h2p;?(uN&-jg.sF׭h͕YaMIK,},-=?ȇm{BLQ%E~\ͯGK6ۉH]!i:yXOpsI6%6ggMi"hs%.Qgd0戮m\7~NQ_U'i# P<$U,A1X{) Bj?BXǺcC<ɉ%_dͮ{!'5JQ6˻=ksiuۮwɌDh@672k>cap^KI]#G63-'bVOd[6CyFQq.j" ?WZu'HΥ 0 F#m&4^W^e:|/L/K@Pǵ^۸eS\bMQg5D]ڈf:ggaϦ,N3* G*6IRd( .S瘍O|pjoc8y3{RKᖸlN ݩ+E&>| a R7BW<TB 龎YM4OX1Dmr*lS$-[@)ei"ltQIѥTfҬL%{ۙ6Gרi|,x-*=/gգlαgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Ή黻AY~*_9Dʕ/56ӑ/fR~{ppϖk-uCUBζcǾH6Q? CKf!PzA)_G 7eZQ6."j'Z8<#]8D004 A!9]Y1Z@Yտ/qyCxn8X5&%1Tl* u}M&0')NY"Qu(kWB#SϞGH:f qlB𿽎ҟq2q~o'ÎLMF7CNiV 'a@-B➊O~7eF6>6o~0 ԦS50\Pkvʝb5|6%g'E2Ai+T-.rEL~1k}r |Y$-d|4rnQX#2s` f0$.Mf|CZu]ѺaUx O/oQG|5jV[^}o;K=8س7EywD\'øZ%N!q2++$yfE5XY UHj7@}0hv]"6=(>1DoؔQ2?W";p g{wЅ64϶6"/ϤmYU 7^L3Q'460uN6But0ŝ*VH'PPƧ:_ u ,u CN,\_F`Rd;-sjqY( /Sv8x :cy>Q;].wFJIH ; Hxuߣ$9 PtBqzl^YPTK Y6wY@%JenXDZ9`J]Д|M5zgI`L+-z47|E=P=ݡsA3uwN7D|B&`5#PQrk1p_H!TaQf[5_c~囅.dܺi م(q--P5Uz\70 i^vxKQPs25HN菱B4~3سt}{x{'z "Ιa̳omsB/ne?J`V6nT4^a;|<(c[oJ,1 UݽO8kݠ}NkҖ򐙤XOבsVz[e8ct\CHvZ`6}"XP4d.RpŰhCx% 삍w":6͡MlO0A%n9 /Y[$F\kR)~gNqƩ-U@Cq# ߋ|Eƭb-UxT*htW;-/NUč+Ѧn Q1E`]siLB{tSRo&OvrhrsEMH|Cf > =næɘ"M fؾDh_ĸu@ v4WFJ"B 1^S5SN^Ab MqJ!TR0F-UWtS8pf |w%hi>-~˕ Qk{ X!Ά5(&l6l+=RJ\踐l.< A%Vh] >*s vn}lR QYM;2d;N9«桫e99_fwn ViT2fKCCP[#2i#d#3KJ GXbhZVǭ 1NT%rxJؙ}* k 3If4B\V́Ny,t+o';=7y2h$[2]x5_DA=G~YNȻ)"pmn&۬;YԌc K[nPs>j-41ҧCԼ;Tl(tҏJzgN=e/Gd(~ʄe؃@… lr_8J RcAu-AްG !Қѵ&˻"w@ױ^?w?4+S VU +[ >1 9Z| H_i)ỡOFYՓ%d!^A1wQhRhcdX w4Vk{UC^Q 7 C_lT9JDE=2Hq>F:S95MyNo\>Mvabx#)zR;MTV,J6{΀gc-Zh%1!ߤ<~ {4t!ˡbwS]sX*(hꂚ#IH fVW<"Eҳ*3k٦ 'btWZHLd,Ц;Ojtjo歊T$?Qٖ1b[1OޓGVϰ;Aʪ|h4&#K kڀ$S#LvO0Ru".(񷌘o\y }X S:7Nú6ǍΗ<>vkU\%.F˻0 %.rHDPbN-L!Sj GxF{5mnXA$Ix 9+^D$}I_60g:1/8Hmb&]~\iHM8WCdYήzbpнbI~ɃȖd1C+\a<(,/h X"1e4yjr5 WJ%>&U)و(f%KH@`sM\u* M(K:z@nmgxC (M6/F$ 4:F,KÁxLRyWQ%42%rJ K{>9 61RneH-;tQ BW2%s򪓸\Ħ!<'p.L&:wTxXL?]LǻNCmR:hY“tg4ȭYJQA]{lAAF^u&1g}J\ Lt3T4e1x(UTTUGFخn?[ާ,9Fe䒆m avy*q`N!۔to;K6blC4Q =m(?>y)s dmK3yP%L.a =O.mxOO4c{"3)b1|0,fL0}NK?8U麁pk=9TB \J "54hPD1_86)}T[Rfh } B,XWٮi30\|xd- yM(TzRiJKm ?;P1OV71ז\}r|F "VڑBN] k?iL4E\6|#sF)%20eGHa[3f1N> )Iy&[\Rʚ4&B:q:Yb,^>ܵy/$m9y[Q'0>M8M\g V@q[&.NY-8} %4|i i9(#yډLV =zEЧΗ'H 51j 7TjM`:VG1iBtDMcx*D#F(fF1/i]V#4?~Rg37IˏCDUd\;~>%f%GR>OfF78X[MvO'b( yXU0DcfNւlKeڐ~ ӴMr약6nR~U?Hn}5x uM$Z i^;bL0z}4x%~?u -5$ȫ g4e +zb,=RRh+Estu 눯 vqu-ʤ%xdTt)N &}e71RIRHgNQLZvRF;M1=T EDq/`ycv!洍MÜв/6)4$1Iabn\Џ0;!}[džaZ8"7'^%>LX;7t;zCnݝ ^A  oC6#BբI@ѥi(I̽j!SrҔRQF'aœ,PM ,CNBⲭlpbMLl~*TN̯.gQC7K"emVZXEqoklG' L1\_õ"3[:C~Ec^Q=ŇMsbadЁ`@ {M!ŮXƶu8;l0$c#znFb_8DbiEK'@GD`cLSuPyh]͡ =(f`H̀_f!Wfoz7K??‰_h ޤ4阮qUqQiZ:NDp[f?ˌr!'~/~We.·:M?ۻeN1u*LF QW=`AV,ca,=Kw{{UUẂ,Y3c`ɥN?1oй5w w-K8!f/:sSBhg _f@46JAoɯ!wfyDaVÑCgr*?G*o͑{[;#I|UE_F>A)Km̤ OV*w >ŖRzUEO0l B7׉?/?m$}W&*7e8,pVMo <ӚҢ"ehP]u .p퓾<_Fd4fK2{CD<ӂ>%ҡcg&ŭ$n< ;#8ص~ڞCӺ5iLk3QC!c"݃u/\دkR^H@^ ^Pi VLsg9z fOO#Č4z/"qYƝMT-.ZOF 2,t[C$}zkܪ:Q(oNhq6F2B7rj 2h-^X# 9Y=W5 yAVd[$+X^$'ؼUqx<6Y),6>S"EdD 6Q-dGӼ޿T: a<S;4Wa`J&v:w gƱv9*}֣jBY&M%S#v'{UX/Khp"YV[{tM]Ơz\2W CO {!hpe9Q=VS$ )6n!`w6u[ZakChbl(H| s*%!.Mk7xvݒe4)ʁ>LEI9lHڒ`* TA;샓 d\"> \GSTn tdIIKe^(ŹcM Dż̬B}>Fǰz#i#0c $7SuzEzbaNr|.qhOzUKϫ1z6"7'գ5 d㩊.(CN{,\ߚ]q37Ri3:]hAmzl䖠W"bg:epڔV^xǒUݮ0\-0H(jRxu;8Yl9!>xd [3wY¢oe sH(BmvL#`Svid>#Bͮw(wOJV>H{n7|S _rZC}݌pΣkAdؔn(5*S >wMJPhQr.\0pWY$3R**ENP翭 A1#A%XuW0jCrYn S°Bָ%CJpMXkIPK4QĉUMؠ~1ZМʃ׾v }5.Q,s4u0BŹ5PN2@eS7d(yk^[Zxz ˻=яo5r]i6UK&G1uVuTvtSG|\)2RqwLZ ~|\w׸6\Ta 8% ȉ-K+g\y'i{$r-^ߚ'Q@+)kI[ָ * V"9XTSwD$+fOҢГFsy}0LT `+j "Rɫ7A6;p_&y/jY"EݪΏp ,\hoyF xTwO{ǿL&UO5;=̓8HSpjWX1~+?[yS^^xJ^4\;ӀuI^Q`O./⑴r#<`1e?Lsyw sT8 Rk(}O{W!E}"!9^wF<\*4 g@(%o"]-s XY@>+㓭' ȼ* R W@Qi]\a*#a_y/Ȳl$Um7{yG˴S O`.a`XX /?vsG<6壟Z`rU=篤! *bE{QS"$#׫륨[ AUM.u^AStz/Th̠)v:7Zb|NKlti|LQBJ(,< gξ\F<=9ɴHvԼjȤl4$IFM3/*}681G*`z@9~ԊauPvMˊp9•,413|@ )ƐO.>Gs 7WyBH7OBx]!BHK"^ TZL<,J;D#@b:[TfX37.&l-m ƷGyG q=.B>19P70c !v7Zp308؝sv,YYC&UB "*ѿp cRUCN`E#g(Pl)-eLƶ;M20_ j8#cՍS*2C^tǝfxtHDG6 0fo,h%GO |7I+e 3+uSbs{JwKx=VpHY=65:_mբNx(gxy]Y.W 'vlԁ$ض ~{ c1K Φ DZ5Xun218ǢHYQnAFK0C̥N3exl;52U4ÒT?HU%1A՚.fTAvށ%E(,Ĉ̀V * ?j4)QgmGMMPlLh'W""0e_Y 4NuvUB"U葚ߋ^_WYaiwRĥk*^s&r -r5iLx _F-ϳ 8{M3 #}Ϳ`Cm?5v;&9Ov ⁛k|=T*қ6{O|gukʷJ3㳒E0Uh~F` q%i }} %o78IxMc=ƼϷҘ oݿ8٬i}k6$j|@ Y7s5Ir!#Id;6#(6SUdb'uڵƵ7{RYR6=@ _%dܹ`Ϛ?볶( ./=%kj @#|Pa1\_ [t+(ػ %{>d{Í0>#Tc.0nP&ޥ4h@>:'6O",hQwL[wR/IZa1$'8> }`xoB0)v\*!\ kp"DZOeˊk$ =&e;I1W%Q3:w0t h4„s\ NZݩlOHrMD6yR|l^r>Em:JS |o *\n42^Ձ~<KxDcdMzOA׿KjVHC%)봚O)DV"~z.{ne"gs$Cmwqnry0ilqoW_!W8*1A}˞[9?9}H'][%c \g!t֐>ᝤlll|3YX*{c2ASriD?F@L7)=z/q.y);jȾ Ikg)w"quqJV۽Ъ`mJTJ?I+ǐEO+-_ ]Kx| tʊ_W%V}"\'dBPvd++`jF Zwf! =02%>ܕUG O kb$=?z $ܬt >w 38N')S1ДY@s:JAUjcw;Ouҳdlw=XG# )&'WҞT?-TФ62G>|P\tsy` yz'}bx6滯S81V c5|f4*Vdlu֢$D 8 7@-R!G ~"xLլt\`)}w^&d#ȷ`5|)PQ`r#cGgヤqQWq?L 4" ?\4s\gbgI)J !WQ0Zz)F6_t[frEa+QJ<.l=˳;,LYT|ࠗԏ$`A$ko<ڔ2Ӓ^)]dfzv˿c0i = s P7 W?kԴe$cZxowy5V!yZbRz}co|]|? T)ֻ72h-pEta'^!*XO.u'̫7& yɁ.\icY`\,F ?;|ۢV1ڇ[Zd:܃v'Q4*Ju͏Ah::nW5Q`?z5y`k-Ȼm<82 9ay:Ja5¡kkYgqwv7=/|%VD}uN|ˊBqnU7=%Fs4ZGK<6*HZl,dk&cg֐ڭD=|l$C鸓|Ͼ[WD`%j0Wȯ ywFFK4q/44eҝDt :OE:MaRs?NkFrG]S8rX_t\y7Gշ PH tuirnFuf"~$b0 r¢ٚu:VC@X9rKO<ȣVTZy]kw36A `H#p6qm쯵oe$JWV_**]C[b8w[^ πԉug;ǛZҧ6 5WTEpM/͍uYu'B n RWv{Ҫûd .@̈P&Ә|즤ÖL(gU+0s޽)3z#HcjV.Ӧ8 (Q{HXEf%@ E| ZނXu|=M^[( DI]d>$GՕ:\VªPAZxk =3e<営YdYtĉ^Az@o Kr"`B=.VN$e*fʅA;PH&gV52TvJۣ>{x|.H.o!JQ͓9K*$/keV]Gi7 K}dl1OZɳ&)"!h7sPv;4i:k;".Lق8 `Ѩ@LCsuVAٚI߀`|\8|rcժhHۤ5 )]ȐGBa$dJ`onׅH$>fXdK#&P5=կg*3W>#]IWȁK6/n^>T/ _]L͗+ޅؚO^4i4 gF}48PʲCH^3"+dzk`WJn|,ȚikkK,щͰ6e$QUnfY[֏dFJ9W%4)*g2H&}ة:zOYr 'lo95Z#]g/8dnhrǜ_^q>\8YCR8 ZE~sDfۜ){:3:0jN|gE\Ù2t<_0α?AG#G􊓖P*ə d@_ ~w*@϶B'2x\,f9n7Q 顪_xlz)d V*_/Ȼ^5V}e^lrYjf ";И_0k$"] ]?`uc"J@:Q;ݕ!dN%x:B|ŬQzq~$ c:މ~x3~NE oKrsE@ x> (OR!|5Pl! i{E#(2K~\?F3¨ٌ KP ?`ZYbRʅ@x}8>YAtTqEn($ԢV`'Y?D3R+^feiRŦ?Ņ1㰏ed}UtaUR/-?:bK i@7qt`1dd^[ sP\50Х@9仼" H_|KllOQ"88moĜ sxA7ԁ}Y mx.fRAX @leu7I"Cgհ>w]z(W:,f".( cC80-#34򚨓3s-ci=qEt?sD4YC"#43쭗]~3DFFL9&:"+woI)h׾DPc _÷:2AHUt$?0hɪ4}^$ftУfOmʒ&5V*`*F7 k egРϥT Toѱ*x<v,)9Y'/< .ԕN氱fj! `? +Ed<;?S"Ѳg-I:`!,+i~z)6>pҚks~,X Ϡ UDf $ZW:UdZf?J|J!+ިL3_a7?;㟮jvއϦƵ@`OjJ@ KL{+=Pz2^7~+u\^ro 6|m 6 M˓nGq"(Wvo{)ZxŞe!G9rotLBso,Dގ 6"2dU`Mra!< >F%b/?" EP|-KLd%6>% Mm#zZb] 'd @F1kcgur+]LXxUCٚ;0/qL7?gIP|d0ɵ z;#d):C槡]T@@ꗔYcKER)ƭߛMV̳OvXABM)K[@Yy޺Ev'tj,JE[s 3Cq|f L9 [A8*!f";b0F*ϮP6cOZ6jעխck/oס[>"N̸9YwFSXG޹IچKЮ~4# Ts!F#'ޡ5Air9y,uݶ+B`'jKeB-Q`)}:U2ՎN9(΃p5ɹff`Bb5=r*'Wy 4"Tnk`<@fNE{aS|_^2x׃C.  ȇ-[w.0)mo"։t7]Gx% RchÅxl8jlC\7;//U8fv_f7䚚i\CQηUl2iVe'Fsxwq +r7/ۿ RYfhq~`ըmpe $|f KT%\kpU)ʗOr0 xDUӫW^ oc,[QfnLeoNE_IyFS+_g`G9v.t+2J9·SDAGl6&J^g(CQ:KLV!6#b:a'}N;Y}C_4T">=cY*Bq~iLRD)18 pd _G}~;ePW%~ Nj6 Eaxnk3|ݳE5!(YoPtB FS<@?H%u,|kv^6۵yM?wo7PI9X1CSq "ErܛD2nc$jEhM8(kʗy?j䜖b,{l2S1N/nl1aD- S WNx$C]gGlNjxh{W`iUBfzTC|G5I'S肸*6~`|SvFi5TQw_N%qa;i {},KrR RL_XG%2%6\փ_<>'w0vnWV}exw /Bھ(lTY'4Ӊa' Adp 0*XVY8gt)0&*;և5E]qԶk:3}Twp9;H'jRQ j#6wsT#Uq30׶6U .r6[Ht HWp~ϣ6bCC]m|l8i;]?ZyƻPܥ,8j}/ [>)Axwcd*ƲS3 8/F69id{ls*7 .|q[HUܬ9|ŷmeEt TwK&̡|3FI{"6l1.Oݥ<!0'/ +'Lk|U?v?DI[ViM d}WNvm*WDma(ՔH%T!^emSoGx|W X&^2e?PA\8j>X .1A[nϑۅ)H^B8YJ8& ׆ 3lڇ;Ā0Q+5=aONk'վ*Ⱦ]^S``JR]kZ3Q<1k<K1x܏oRX!YfOy#֣q2 ɡTSAgBv_#$ur!>&7VS=Mi׌FJ4 ķj `y&cLƆ$Y&A  并~7ވ7)`ғE8gݠw㼥QadpmtDۮߤvn iah;0V]eOn\B7,lTJ(G@!ebYsV9ѢK$3ð;8.SI(a&e/KeS5`/+sR?Zr$E20R$[X Ij?,כIH>UCzV}83p-R|޾MiH^)tv[:0_܂3"jO0[xW tۍ@^$"ل:u+䋽.EvݙT9Oic|nq<6,2c䳕I? $ S3f I_k(Lq)ЗN,*ܦQ};?8@WZvS/[@Ԕup,U{pX58H`hO%JWdruвiX)*+ma9F(׌\PҖK;y( ;#l B;FF`p2قeӪjJu Z 2;0;) 2$NWNj9ķH4$iqnVfD(e |Ҹ s,s#+iVp$Tmф* q>16?E< x6V 6N/Y5{69r)d)1w6I7E5d?,QW \㠾Ri-/~_Si~: ܽ[d  ~kT!?hw,򧫔 9Tjqpaz07r}n 2ҒMf"$l_˖VhuN-<IPu\$_avM+2a;f @t&ψ б!\Y81 r,aC6lgʸD6m/u<1-+>ĴԧH10IzdH۟L|&`5)ՀbIE"h}*u c,7 _xkt`x UUGa(Xtws2BSu}TsLJ1 yUSBw>>dWRV#|ͺ5&{*C3M쩭 7׮1{x:̛jx,Dȸ覻tNW|ŀl[0(_IGEߓ2w:&٧7=}(SD!`dk[ބkin;o+.>{/G8^fҼ_{ܙ8,SiK)\Z&T1#-}Y"rN>] Kg;3,vVۅw_daNA*M;(^ Zf&a3!I7 v!;>>yBijy Oƒ}rJzh߿*ſs Mwu -$,S}cY_{;Nf,.F8dTܻL θ#Kf(͛QS=4ma#TEQgo~9tץ&?-⺽ui9q`S tV:VE) ŧ`v`Zޖ!wdTHWXDz?LNГ!84|'+g$!XB |tٲ~wݞķh[o#KASl ~vaf-!|]'_0LlaȶZ%%x DUmlxMC~)al -7o{^n&'3'MK£'-߬m]ccor{տ#rC-g]x܍LYrJ8:D`o%"YvkGV 12A[y|㭌v޻?#OP " n hGm1Dǎ][C LđC zw@&e#Bck᣹S S`Ĩs`d ?OF| we7y2 h.};H &d$e;+v%LQ15UAStS陿"3:׌g nv7[SXHfc+ aWbm{M: ԧu+NfNzc5oK8z>la%-S\;m^Q&Lm P5a?U"!|!eUJ`[_}I=ޔݴMS^oa4Y^?`b^]Cϑ [aH1)iwY(z),"!Lӈ@*O"b->(lHK"0ʛF( oɼֽ.Vǿ[]qe7|<|H!QJ%S>?1} 0g/Yd0%t5',.nRQv1SJ j>8x` ݵ8TP9i'Hod*FO:6a*ڗHqg5N)nZDܖ#S;~7 8oPbtPns8SH1g y9H0qRTUCoU;jtX0-rK`fn- _KejiⅼL,-\ȅ-;)GTKeb'|ꁉ 0ܐ:V=ox. ӵ_Ⱦ+~wً.P]1_VpXeXdM+?&w-XXy]Ζ݋M=Cg:*~"L C~J%86agQxTgb{>YXwHA޺ ,$SRbMI܎{̄\0*C_#UCAܕ!]]B3sD8;8y/="4 aFY\#X]Z2ʘׁ{"hlvn }h]ra]b7^5l< p֏?Wl ޯDvxz˽| d:dgr'@hE/}+| Kѝ^^MH&mq[\0W62 Q?f%h`IʲCmdשP:`zx}5S4|r _86E DN> klwi9C~wSڱ Eоr&|M2Ҫ1 mCJ?b\v%,.3U%R,*cU}p}҆fG( !"B(aZk10am:upzk 6]*xƹ4&^f1C諾=—OJ7`Z;9<6u7oY :w?oocC)F`_O@L-Ú >3m"LgI5b(bitDFp/<*0w*V.V_Cio='t+>?NxƚCf8Uv)NË 82c^~0J"3ߚ Eq}dVJF 9sm`#O̕1rDZyyBV;œ#:~%{7X{-+lbf FZz.nV_w\#&بy=vk{slҋК6bA֫2踚p90W5T[( l=%x{hon&b^EF. Nf2j,VjsGoj/ECgF+ rpX}~Wy#)C.WiQ\P樤`PsFt1i$Buy@EO*v;]2>Q9a9A>(bT3u7UU\Rs 0oay%1 "e5m&"41h*@NdwDSFiNJovJ 5kwDl`%ˠm'I\ѽ`د5GG^$+YXukx\z&CxžU>1T;tZ jWzkjmXz~4QC<xUN+EK`CLQm1T&#Premʪip:Ə 8n̜z:RI*Ffڱֿ!㧓cF ߆K8c &"RFޔf-Iي}|wJ7-g "BàoL6#4D->)\uw[ zuu +V6L`$l~~uhtl{B8QfkQ\C|U|{[[SE B2y$ӾLB֧[S,Q1$4Pc *MzcF+v'8E$aT--2s%GInG&YR$`FECow-.{'a@^9d͒]uɣ",qoT8xRɰt8")3g򵱇MnNsF4d/KjhLal6[53,*fv"qk\4.jٱgYZ7a3b18dfe56c1904930dc323e21ece23466b0aec878f3db57e9f610cd04a9f038453dd299557ef5f 0baae9c3cc55bb46e0f3289b05054103bd7cc2d6 3dc7f9ab9215bf69ed427af2b0c1db5546b3df35