SQLite format 3@ .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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 #=|l$T ] HOL-Quickcheck_Benchmark:threads=6elapsed=287.872cpu=1385.984gc=70.1647zXZִF! -]ŗXiɟ7KIxjbk- é0xbtѱ$ZKQXJzZ\./ 34J ˜3S5bܲB9w":; `z@``;fBbR?IHB.ÞkfZv dX㒙1Y%zvl`T\$k@|n{.2ciψ"VQIĊRHHpgYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0-0VFu4, + nڜמ j-/Ez;)NKt\I)YlU3͖K^ X˨?l5EJ͉)뻛c%Cw>U"'SAC4(kǢgYZ7zXZִF! wchd]ŗXi%lK}ߡ~=T.J$ꮉHP\cekB?x,@e߃wbid( HAOdv$Q!ϋq!mDuZ 7"KʒpNr*-}5/pȃ:@H?*6F p}mцNj%eT N~g?!W>sWչKz9V&;pl)$*&*s_0\Ѐu1 y>uRΣU*U7sD)Ȍy[RU?B.T`tiD^ė|b&D=ONYZ!q$WW#@Z;jNYS!g(_s=Yc1*~Wl޸R({]Bp"u˽m!rD- 9z^!W/"Ђ97n}>+n[ bTel*i5D,hk?pHSU}A3},~}ԶmjDk$<|gG{T@zo Ct]R\3!1N |80 ^_5nYpƷ0rel}_cCU~Z3_KD~]o=2MDZdĒ;Dϕ ~D[M_'O[?usNAI`!VA46 ꕅ8 “g/z]|HLe⍫`ID!E J -??"t;>9K;dO-2&SM"˚ 9p<5ȕ-x@d bvB; <$7*mth. %* BVEqN4 XjͧJv ]-uYf<(`UB?qy&lrL2{{lԝ:K_MP uJ+\뚃 F3s1eصjϽ_"%Oy@xeʮ:Ѳw-_?{am{][( eg>GEN viH?kqe=f)DeǴ Bq׿^3Σ-hw\v?,m<_wW!榯TF3V[+Ocuz04najvή!-t\HYJћAHzϢ!͠ _~+M+bU"oFGHB?yA#U !FOކdH.%UmKy|E.:ܮ{vErwM` 5 ̠У )?'}~Qڴ 0OsX {zIq&Xs|Tqql/* .7I2H)xgO!,SհRgy csq)92 j86/Zު!o;a LPȟ0B+o6-t9YT0ʉFO̹[c}W\xet7-JW K2aӠ%`uL hFuБvmyn "#9hc3ybzPE\*;GjͥiʄDtwT,bz#quӏ١8j~t7 f c)TyT+YSl"BC-@GXf9~-<&jܞ#ާBXT L!v;}IWWD8kTtqEGZ)l aW$2k&lrݗcC> -t(ae\j' Dk[ |ΰ,2W )8":r:vccqf%8,()S}o`t+Y\=F6+:^ȈہSeGᐡ|e^s\zě4ڭiD4By]ϕl5[搦Ng/w8b_v{q E` D~zJGl@a W[M !] -i-kۭ6uOElk yT|׆c^1'}Ng ]ĵ\[\qɲPWFP+AtˈW6A^x"TH/jyQ7:AZAұR ^è<_'! ˱PFL]>l>&qFDr;$`/#U\`V䫮yHˣxR,] vYipB6phc ^koc,b6S YmQ o4kjgJ4Z LÉ|4D6ɀߟxІJ? #.0g~f]w48LEy٢"ݤ| 7\&njo\4jz{qUNֺZ omcbӨ7ҹ,0I8:y{~{ɪLv'V5ьf569.@/ m<ͶsU%22X9 .W(Ϩ: F吭ˠ1ZpF>dO( ='vA=Kx.uP/*>P5%0TOrwY(yڭl.u@%%JyIA-vь3ي*)V5b DfE̦UhǍ4n;VGTHvPk̭ѽؽE0ȴ^I0֌ϜxIy,mYv>6k=Iq;|dX"n`7:ڊS*/A%UXqoUWx`]C CMƩUƜ;'kh2$wlcQj)\4 $3%ݳblZ=wDtq"@$.?/4\I(J_˅t/JBW~6xT[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 -kۭ6uOElk yT|׆c^1'}Ng ]ĵ\[\qɲPWFP+AtˈW6A^x"TH/jyQ7:AZAұR ^è<_'! ˱PFL]>l>&qFDr;$`/#U\`V䫮yHˣxR,] vYipB6phc ^koc,b6S YmQ o4kjgJ4Z LÉ|4D6ɀߟxІJ? #.0g~f]w48LEy٢"ݤ| 7\&njo\4jz{qUNֺZ omcbӨ7ҹ,0I8:y{~{ɪLv'V5ьf569.@/ m<ͶsU%22X9 .W(Ϩ: F吭ˠ1ZpF>dO( ='vA=Kx.uP/*>P5%0TOrwY(yڭl.u@%%JyIA-vь3ي*)V5b DfE̦UhǍ4n;VGTHvPk̭ѽؽE0ȴ^I0֌ϜxIy,mYv>6k=Iq;|dX"n`7:ڊS*/A%UXqoUWx`]C CMƩUƜ;'kh2$wlcQj)\4 $3%ݳblZ=wDtq"@$.?/4\I(J_˅t/JBW~6xT[$-9's<~?}7X rV@v)gZ<@y@F\0%P j*t0Q4 +Fz,+ HK2-GF \K\/HuX$roL̮_ nHм<40GwZsG 96s"af]J~$~fɆJF:j-qJ^SLIu7}_7Bk7B$>$ET%E 2ω>=(HcC1w܋jzǟ`hR;/Z]N7 ]*N1Nme:t H ^R\K3}x"khwOhϬ4- ?o`.I[(Ug3w6̭msEv@InOZ'muqOlUݢ\|(,m k} UF'rǟ8j&LAtN$rq )G#˄pM7d !|_LʅT@ >zּm1I]-17CiM2U=S:Brd_cn)h1 zCXG|@A.ARۏo 7e/ˌ~vLdp)'LG'+i-Ym?*!Hʱ́>κlg߃f1d!BW(NJ:+n6h@mE4\rR%Q_{|K jwt7UmhAdO x9K"vzrwQCJD:4L$hp&S'4|ݬ|ĆV21_cZ?,VF%MUhob> DAhaf=m`玅qM?s-BpQwOǤ`#)'P~>'LF'÷iR]-ّsNg_D׷IT'"<B=(Gn1,s}OT6Dh8\&[}M3 ]۔JsֲGx䀉V2~[uFGHWPBi {=n'5qx"F9Q͑3;sC_7?QT5[oԦ9[D'9(XBHmz&[NMhP'%`4wOpINz."B_AV4t:F)F^ģo hvPf]1)m0TO LgChANXuyD]@VoQy7ޜ˵8<: pdϣ8WLQ8)FS9y"]^t&[l8~-'6e[b`*DIy=[/܅p+4p)GB $ zprwS?zبy31#,O 0Gx4yfRCI$D_; ̯w]@ #2ĐDKmX8ۡPaC|*{W>@[V̔N!>;T:FrDgYZ 44I =} dHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Unguided_Attacker_Exampledocument/Needham_Schroeder_Unguided_Attacker_Example.tex7zXZִF! X]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpM=x=[:̸x`a,{|lj|я/:4U ]J CcK^~T`e 7ј@_mc]0U/C\ON7b[VtQ:غa}Z)v6oSUh!WWCR]Nf. n E d͇,1*p6h@q`TX~gih&*+#$|jz88ѬJ[KҾj*m:* i鸳شo"GZiNZnB̂J?eGW.SÃx㫵CL*/N̻[{m`'@"-`LЭ|O>(eHv-22NҹaՆaԲfۃx~ˇ;iߤK}9 KQD0A. I\ށΙl\ϋ$#cߠa?~x][Lv*^\9餆+T;TjG<8^ID5U&oubДQ_$~Kq% #_6Oyղlȅ0ؓ{|nF"n$})ӄQ9JH_.(h/F5 <_C* t i\TeyePٙwOl #Hzph\9Vk)I8bg׎vEHeP\Yrygmͬ¶bwSyLSQi ueϖJT@Rp I82aޯ/34{Z}ob;A&0 n6k/xĬfaʾL5*ݺRs-i(*!;+{fE&đ&G)>NCjܦ^WЖRb[hzkrvZT [r}k|cg)RߣPuIEȃPEhH, D dP3>:f!W-lsecN]A]G5H2of̶F{FWxO??eF~ocۡtfZ_m1 %ʼne) :?|0iqDj)y/u/WHX74J^AR+Dz!ޖRŽ[݀[zfHڸgFGMR]F>UkKc-˶p4y)a͈i0зL{ۈzBٌl}Qw ԚsZcb>݀#-\Yo7)6RWξx2Us^ޠUUUt}5i17#)*tq$HP пGzFJOVnnգq>Nf9xVT"gыBxYѸr49Kn{8xy-&+轀q9]MZxX"B=ewī-qjwn}7v? 1w8>G8.gYZ //N=kS DHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Basedocument/Needham_Schroeder_Base.tex7zXZִF! ]A-MՋhvG"uIBm5ij `W')IfY* D۝Z2O?XpMM#D 8L<2\䑧*@B-]o!qܖ'yUGhϸD1ڵ^)*$~Ao N3=_^}rwpScAl819J*U0UThQ[9c' x9K(cI4D0Ty[܅ MlS;=_𶥈e_´k/g%>.!A%נl>#~Hڃ]Y]=!Ӌ>75c7Lp?z@W=e, ׳me>K1Ǘp)ؘk]ݍMs(t!?jm2 P{h#T&2/Ixf^e"Ry02׌KTwQS}f|n H),*qðGlȆć-\̜uwWc1j{P4bp@_O+* 'Vr0?7;H<놿!nBo ICW0UcnpA|'eU/,+[ҏjFVqI L6_V٠Ai[>,  t'NkޙӚW/DS7Z9@LL$f_y1(u$>aF? ?QȄ#=x 13GҜi@$(yje;hN'vلRǹJʓ?%ѐȵg ܽe*Z#׃WX`y\ǩ%f=I6ԌE >;k$T!X?MD {̀A-k΢:#r`3qj94|?KF6d 4R2c920.Tu4jdM ,[{^2jjҤ^VFj~~Vs#aHh{)e.uvnGpU> `^"d͓>L9.qh QTlVs??xr;pe^(y8ׂ8 ͻm }/hXKA @Ě؂ڏtC%Sx'ܿ{^c7$n*Ь GOOԕ=I 3{' xlPGEZi4u Ii xEy8 &i_PCa|ta[eτ$j vkF]:e3v9ЉuRԣվ+v~†8r^Bx%T8\HLTv,i(W8MhDńo=j7YtzD`>heڴ 9q VN}QBv]b]5dM]aM($ɞn9oQ0C.HbLg!2q|0ac:sx>Bc/~jkx'աCnx8xYk*;y bY}%m+R$epA P,SI\p/CA!GIy3cup@An @f{Z#S/pwN^"]@`N#HsP3,D喩{e&/[F?L& KEhhoБSD<(q,}y+_od,~Vؠ7ic|c3=40Wm7F8f) ~h6יL[OؼNW5)ZV|H*Dt @$4 4c7k-<䃬ء x|^MkSJæ X 9ȢDًX2 FWMi/tKxd,R EMp)W".0+WQ*g%h1yrں(PueQ٩Q'e[i~K<~ !v:BRrKW-|fe,i4CZq|\ŕKr![ Eo3+90|Wxa9l^6(c1|{%\=6k }׭qlOlm-$ " U#zC璖6p_+s*ŠޣKMKt1{ `!dcLWр%$d@z.)Hoȉʌ S(&;||?ţBAe-+$m$W ^{Dl+MvUzQ[*b r-9v,+1eθg!y .\g Sިݾ {p_R1_zk ʙ:ke;VBF)%}<#Sa$ض+2-K ӓ/Kdw8w,BN _ ҂Yc;SM?POS@#z8UΧ _b(QRY?~Y_(OE&Ovs~6=_ G'FE|AjzA4uED=e .0nݚ04ΚG)}\=OȆaP#vWPD[؟K=.,F㐹bҺ t阼G*s0㈢/UcF Y:%&F{\3,6zּKC!j;Z"=b*3zi7RVվJ9a sMwX\Ш.X:̔ReNQ;lZ{#  +c0 Ҽg^xr$Jɱh54c0fIZgs2Jp5%O `ƒ!(Z8h+Z .h6P,>~N6~3-Na-MHNoԺ鐌vW pkۿ ɹIHa'*Zy]%ш8 ݣ:LHKZ,RV3vPC.Y~iu;g :I{Wy˯"P*%wD2 (GF9/pv4z٩ȕ yo{Oy~FBf"vפ(߽(s|y`P*S8GOțS(Q̩^3|ɢ)-H_;RK8_l8"6tZ"|cwW!k`NTC5 ucr ?AYsˍpӋ4x86 t5"S;:wR 6^]z WFWcs . o2&:aϝγ?ڔab]v]PTF=͎# vqX{PV$_`*͑@-H<;_tSK'BGUfE LK#mM'}#!̕ڇ# WẐ\PC|Ain?rrУ_\YB??3.pZ:γ@ݮ}<*_7>m+?ΚN.YˠW"l)!xn+3rǿt3 6 #]6y|lB|3I~cFNRՉI@t6qlPjROw^n1͊@zq U,^tc)v^(EMm[3[!V_+bhtƎ '(G1?1ڃ.WBd'"(XP (񪙾I <|xocQNV]5m.dW2XIZ, pPC5w ȧTV@/7ol#/]5_I {9šjBD@E'pMӂDwd׏l"6syiWU9YU>%~{neP$BBd,0{9O*WUoӯ 0>vttwFO]^X8&DSssI qw!#IGvѨ4szE^>=u\Scs;QO*eՑR/DljiRD~6t@Na:XTBM{FﺍW:F&0CKO]|ca]v`R$10$,h)Q$PKקJX-ѨmA~Ⱥ$0o*o,!c}Z/G'~O@8CpPS`/S(NuQrtHhocCl0=tᰝY|(-w^E86AB}(a"M^p̞{IHk?WVΝvW]2>zvp$A ;w pգ%1Y.}2aɻ=p2 K7ꀼ58¸Ng D%AM׿TݳR|k A {~ܿWq0SH@ k\ W!uT8DJ܍o3`]/kjՊuǫvܧGj]zF fWY+ 55aT>٨z5GF,fJZxY ԐZk20v! % ?S05'[;s#h2:긁uMД $jk <% v,GτO`bK2 )iߔv)h82,=M>UvtF=!_#9Gz,2D";D.2ՁrBJm}|UƼɬ -}DsWgj<ܞ`pL3u^˸&V2/2OUtff}devQc/#\u5 |?_q몼ȡiF ~gw E}Zץc/ݷ\"?Ə1-]m bwv%ZSQQ^X9ϴAuÅ>t:̻/Atqnhɗ ⢴4ԝ"Ϛr՘NUWA'nH?^{o$D,TLQyZ]J܇<t w&nk[D"X#:d[&ޤ)0穿qx~q~wʫ+'uP)wHـh2ƺVVV{j`YZٜ7=#[hQ6-mnW7߀yP*Asv[ZdijV OVLDo2Z JiO R0R"KnʦF."ZmH%Ot9e. ~}6d=h/l*>:P4L$=3x%iݳC8LԾm |c92: EMg__:P ::ɔav1*; <v^BSkԅ=CSeu~BVN7gM0}zWyoÓɹ2B{} ⯙f;1Haάo2DessXC/c:6&htMfOYera#5[ AS5X\]@<`zzzo<֯x.)t*:y[CG&C-Rt ԆN쥦&((@7m' ک乧\sϹgk*cm15#ھȀȸW7TɛlHhy~F[<9C_C U.J۾!&d⅄ "Swp"X0-qK~ _(j^$~6F0^1DץۙלB 'd8zyjDjP4oD,AE*sXkLIcꋆO޶Vq,ev/U<`RE)`YyT[g: {tYzbAiC1Nj ʶ 0ˆfB`]F* uTbP[}hA44cBxxM`ś-7`,Bglw{eFlX0Te'ESٶƿ(sX {&p0Y,=gG$|~tIP].vY =<@8054.4jKP la$=JEH ʔj[$.-X?etrNz^fdgb% *2;=S<"eoS$bLKZcK]iC/w<Юnր ok r&x_myt(㯷"MXBՔ[ݢw3|i;~\ S\Ia2D%39g46I?LfDhb t@~t5]$Uw_r;A,iKjeP-(0ZHcD2:WIUQh~d$e팜@sB]bwWl_JEw}Tˠ%TَV6j-g{/yO7w<Ѧ5Y[L(: 99a?(R_R}CfKq{/(. LSnhBD~d8C6(E^^+)BFBm^혺52rbS}e4":"TAlO "%PXL2gGF@> _WͤQcli {%Ÿ )-P_& b5)~rXƬhx{Ytv @%QWҋ62pU ך Tׂh4@(] л,:HC/ V$5_ץxXV_Awsg~EYѵi9Cʼn,A(ԝc7j2˘!DNy? lX<դ2c>UNI<[yWHtc;^rqF EfT_nm!|hW'˷˃N:{J>[]k 8tYY>7Խa\a 0OVwe[\o$78h?@Cj`NŽ@ܜl%<}emj)U ';nzxLraB@!77(RۍV>K[!yl& ãL8;ZpbrqjR] fHU$=,XQz#72OS ogA',K?fb=ɟ{9GzN x3v8"06Yu3CpZ%t?=/*|WiEBhuN0:}Ci#󽫹$pu$FVȪl3<ó1/ʻ u* L-7S_^34|Xgy[2jKCO•gc^OwK](cb9؝ L+HIEM"-@ٖ h3__"wH@yqY_m1I:Gb>?3\{nPovTjnWT@P0eż~~]ɕT;)N~QD/28mSx}׍ūE>/*JÑ:ԕY^_K8s=7ɯ }:rݫhM"dx#b_TfO8Zi.:'#&d10Jz~)\3 *؈%!B>(OBZ\ fltEu|P El$yV+X1>VЭ< }LQ¹ l} =:ڗ<3=)yM;.` F$mO%C-atua뀦.%N2_Ů:z7k6RJEO|ww ÑE Ƿw.ƺR㤵䤚R:W3j4N6aJC UW 70lCa:cIW h+IsЀ&#=PjrVkOrХ)QboMHyt8ҽA&eKX/XCGZ^{Dğ?Up7h|$yfV0e˗9+̘hեpyQLia8]Z=]*AǴrPN;O.2dV Pqv73@z/RkH?|@9^`stV sO. u6Q?C}&;~X K\Kβe2vx <0tfyb?̭50kB+ɍweUY#rKľqg}z*@[+Cam վBQ'BV t+#Oe zo>ĽqK1eaj_V~KOT]j>r.ּ*߼wjm/G@I2#Sw{2qx'<wDSemߐfnb_w@I=+kN5f;~֍CdE9t/jz/{*7쓝])uch ͥǢi][M,g9I1a,}YS@zpU0bU-9IڶwZ׍,-aW9sXc ҍLY vJ; ;s:w_W+:bǭLFx%ܦćQec(t=I) <R[BX1LB3DV^%8cgzY5:pڙ0/S~U9}tXxF H]P~S}9%Ў(ǝT,p~6Wts1:3rPs]}MUj#q&<>LV-R;Ա,Q܂!Ik#b*e*0 cgDuSzDoӵT?tj$Ij}P!n x-/&k l=@vEx;W;dȀ؁/m7"G#ᒂ0B#@[-I 3,1Km UJ>*pZ7YwmzS3sLi>4v"aL,Z<v4q iW(UX`2o,]lTgA2=9֧e6݈2,nbwWYlOI˽ 3̾ tEs?wP[>,@18m>G{B3}j;Gpٛ!/Y,7z 6 #`nH&N]Yyк #rW,7dL)F3J㺯ͻgN8 F<~v3s)rou:=5L7[xsgYZ  U  =# LHOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/markup7zXZִF! T`]Ș'@7DѺ9 Ǩg2H|r.>(s|y`P*S8GOțS(Q̩^3|ɢ)-H_;V4'w,g )c$]7 Nt`YKӓE-$ ZHoj,az\AllGeDkI -OSn>J4A+b+K+S̥2&DN*;֓c ڿܮwϙs+PSU`2,\n]~r'2W{>){ zyhW./PygÄk2$%Ys{I8`WANE L ׋ZUNy %豠mR7B\]}@KSt/Ek~lmWSE6Pћ3;a$nrc1 fws{kPqף-Z%9Rf_]9*Hj䌏WzdPUT>bgu?˲T _ ͧ˻am)6"Ȁr[MN@ T]nLTOVym%?sR) /opa*dzu>ʁ{L01s ϴHik3 }he%Kw|SKff,+K?CMՕ>(/r =%}jnЪb"prqaLi2,xF51!cUnK~}Spo~3dKE'p=DLt#|D1h`:wcW0-΅7NzV~)ڷ74Wb:mF4$v.ٍ, T@&vB=}RmVk\}QS\/y%C?lwI/=|y>\; (%0¨CUC-Da=$ί/-`\Gz#;z<\>-oȣpFOTwKt~9X|lL n|1|ޘ{'/sv"uGوqW6_>OgdG]`*y db{dX-  ތM2 aZh7'V~ Z&E35u>FAl ɍ 7Ko#uhD> d%gr#;伲AQPJS3&@&W[Xs  r%ܽ;4-OT-gg Ec?tdnaS9׳{; RSUhܦ6A =!4HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/files~~/src/Benchmarks/Quickcheck_Benchmark/Needham_Schroeder_Guided_Attacker_Example.thyu =-HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_Guided_Attacker_ExamplePIDE/document_id522( =k' $HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Needham_Schroeder_BasePIDE/messages7zXZִF!  ]·Iq n[:|&[zºMK m]MarZ#͏z?b97.Ԯ|g  ҂fhjO }U\J "*0HjtnPJ#ns6NPk'ߪ17&T ,va%7eaٴ6nX5s4߄[W'DzL^ͧlPwbD>JP_L,Շ|3N׵3w<# 31O]tA3!?nR>@К7a~9_QvJfìFJ/O\Zi_ޗUҳ;FR="=)eX㌞7{roˋe~#8'3>Yy|?E&Ӟk_UcG;:v—fAT(NΘ*kp?ؔ<sL4qߝ,9D}SpH~o&m⁘uTA\"d9,ƫٺ~#*~;a7k&_o94PgYZW"Df&<*qteE> wc͘I-r)& d ڲԟ Lhg_;<&5 7tOyZOv\Lͦ-}w#NF$:&T {!ǔ;w/=mįV>rA^誢.:IoD]w`݂X|f%@"*0^mem Sx2I]%F :e*n$=wwyvFY3$ڇ`W C)0'_? )>۹09(DѵDpaVAUEYh:LJKըibTA~ݽ|$ /MDȪ-܌SW2RhHL%DZc5otuҀ?!Y(aSt߮8oOxs0Gk:3qvrmHkQUB.]7R.>K[{ qd9-|ŝJhr CN#bbΈAdQN%\|v$7M~R"msխ%k7*s+YS /J=RjQSG52.HxӶж'DO|wfunyJvo?{]%N뤵[ ;;Z%@[2XT_#S i5k!R YR. 6={ q#Es+YLRF."6a]{2;բ;sr5[d~j.CJjɛljo{ҬR7)6Z{4^>GbF99(ác2Z$ ؈$ʮ˔ +)>7n MEoFşV^1? X4.'Qqzz;PQgp247ﶧ)fc2w7\pe*{4'PDwg`"FBi JpnRVJ3}PEX~k/F%RNnbR-nIL(*gyޮp* D-Ƨ|Bnch0#!AY;Éh௘S=7ȳUܟsz m.<7X~= WU'r0$G~Fuq#9Sxz;ْy—@a,Qb"گ'#k)1}S;"L'F-Q כgC ,xzfMX ^~ų75TK|G4׼U0+˗ԙde@eɇ`]ܮ,>،(W k<:c W N_[\m`2y@:&D3aiD8iە]c[;ˀ0 d'r|IĪ=.4.MTDA7u4o5Vl^ r~'=O 2o^ cr ]FYkDfG(gZ֣Ep8V 9L|!q.iP8K) X.~k.z ,^|z)3>~All.0f[=hAR?HB'_ ?Cb !cu'(>: fEk<*W5".#78~%QDyc!h~J鷾'IU+6K,Y6qU#p M)^@bIU/S%DFZߦ\՗_Y%,kfU$8[$N@YᛳNF檚(Ăwt,Gs{?: W[1XjP%:3V" $\锎V%Y8̡yNqVzBe35'1} ?(k<c ώZ9p3b_Ri#sLژb*&^]M:(@}C0ʆƸ}|5{~ ߳Kxj{ |V) n:Sa < HXh\_2F崌([7IQH4e9#_ ]7ɨe 1CzXwj vl]:( 4Ϳ7;znMYcVp$}Unw#؂p'9?:JiIdsNKNzԕ0Z*XO_Em49\'8y9Ӣ.-ɩ5+| 7 n|eΒ Ap>5a 0=BIEfkc) ̚N_Y Vs. / [ HD,gP«VCl%$x7}E|_%: F<]5 Q?4^~hTo}q`hLA wEߙ&E?g`PԫY>h,d#1U5nR /SAE)Ӽ <)mU (o0ک[ :\=Zw/sd@TEOMO$|J^9NjE0{O+kcgGYݻ(Qˮ*?R;Ai`З-)>Ja&]pcFIћVp~Wy75: -W$^-Zfo >טJF8@r~3U孇YffQF %{ԣ*V\u^ڒoVG׸(Uh`yX@]E߆=\m'l )# qd1|(_"׆|޸kAV.鹿Ȍ/+]pQ(U* Rkv+gU;u_w/sd*"SR/ƽ /Lst϶*y>{CT΄1 C.v./h%gYZiNSV ~]Rh_ kSbj"ܘxw8>BDTV#W~̈Oy~CtBB:Vn^'^-N5zn)᧬:-w75@>8u;' #M;{bP!'#zJ i>BV?"0 娴Ks<H;KwN$OXLFʶd WҖ޶G]#a(xS[˔H}zU[Hb-rMU9I V9h7n fq(zQ`j% e1Sf?窙"ĭ7[lJ)P&2Fx|RBp1 d$9!5 tcKfn\oޜm$LsѠ{x?j!FVO(Կ~nr]w1c#aN!!ԃi7xGgFQ!x9ҳ-3A0ӱmМH| ^3UeOC`0+Rl5NY\{] 6 )6&loPjp '@gNx|c|iXy}Κ5Mȵ JG iCx{i"-љBya346Ubb)LLhgnfRfӏv-3+],\ssrA.tCN?tJxvf 57/R̲NBo=qvOHo#팘Q(5P~7G +Cwj^&M6ӻb_ۋ.#у[Os(yn0%IWO 0\fsJ~z0XcZ *UvDid'3?!UE )%Bt*XDNy@2'HtʾѪ9nxK\F1xpՃ)e}m8f2,Exæ-_ZκS G,\*4ZQ LH-W<K )&cQwCMt"4W.+wkf *9yL''/I8%mE`{g J((ym4_B^2>F ^ϫv2J$+<$#Iºw&w|ɃUv6^ݚQ5V|%n)q{2 )YRj@l+(0PTO4-t=Ą=38c^k}[9XCڜz` :xãritOG~.aQ)Mh뫏I F.l͎_[~7G6Tq'[~kj^}\Xy^^k5j2eFfu9mNax;nf^wz~5(RTj.r@3j0הs~DQt(TS ꌓd j+UZ va<30U[ FTartw^ޟD6?1!K{i/Tf(b -H5sR.#]~Ɵp`^0Dey*u|Dg.ZSkK6]VLm.;]士FR6cX5vJ,P= }c%YFթo 0cT-uicIA nL^v1^3zsA>o m=#g & ]JcOEjT|_^t"9(WvxEin >t/saWs$y$r?a_ʩ|R)kog[E&@ gvB"z挖bvt 1s~$b(~^Tʺ.@.hPkF/gϖ+Nr KG &O;d@c|.-uS}]=俱8 (s|y`P*S8GOțS(Q̩^3|ɢ)-H_; xRK7i8ւB?,%0V1Z=B}5=j!l_sNQU,#Kx~9"j6YQXmUF,\:8a;,EB(-.xqX5 bZxޝǴyB(8/<jv23>ˏE.')~4b^AK`]{|p3h r]vӫ;DN_ it c:.QFwr2:䇻5$ f䁛l3Ձ[WrEDhF*{J>mB(dQ >reQ/W";-?} gFֿ2A+89zظ _l EiKcbHJ/k!#; gZW۱#=ɚ^ۭit2{H*yKmmZp$Y7)C,,s +AUZ{L}b2^+tI( &-7x*ѻ3$TN,OIs(:/Ѵ1'j%|еF~#7·&08r5c-^`,o-Y6Hd-b4;j;Y"ع[wݽ;_r%qf6CnC!{>|*^4N܌cQG)A ky/13s1|8pG7?:9P~<4l, N^BUS!.h%es œj@ST a"_17! 4jzp٥:`O?Oj:ߟ桟 aQs v)MU🴍6$S+SH|ΣLVWЗ _ܸ(Ss2^*!s>Hnߜԋչx}3F #^μv{Kmh+ibO0Ѥln m\ƆmFI`vTsQ;CcBѴX778{_1.;{ =fȩ 4N7rS~ͬW26ne{w?^dn V8O:#Ev 2-yBDcUϊK{kR ߞXMyxZ׻;4{,bfo,OVxĒS; DŽ=(gg4 X#XGCS0y\=DT?A$muɀ6kn@MdP #%W>T`)P~cp6YZtA \]·Iq n[:|&[zls?p/L)}8d{U%<–6xFY,HROW&(34]KZ?EqP mH 6lT햅~_r8JKE#Բ"qV/a~zgZ}ONǔLn"Z5vUtՏjy!%]-Jdl5@ w~]o!=.} Z(g 9< Dk]SAJLpo?hi"x}}H=b>Qim0T)u<6[{#vlX'L³N>CB.P< K+gMcj/ًZC'vcckWH*(‰owM^%&ΉKB\H-V]U1M^S=X":X/6BgК@vŋ :սs ^(,ฃ=U}dlh3׸kܟ  ^Riۍ1Jטprjxi7V(,0)2-ʢH&G=~|s)_i]/\:U\.g%GLO+{>Qlg4HUF3QъSs|arBƿ'Vp^rD ѢBj_'~iB2o[43+K#ehΟa/RMمUGݟJ%nћV}J]t)D%J5:Wǧ;]ᅸgNP*)d57Hq֓v־:~sD Y.-%u ..Mňr}_Vd@-,3O T]{1.R_E e"2!eSm)[|ɻ56r r¸1g=g0~ *Rn1aQ7'-E1<6v'*JrB EWcXXso|24E.h KHo3ĜIԽmos f`ai}f[Xu@q X2#"%Y?-ر'g(v #Hv:q2~"ԩ2:s|_os6ÛUbFBv,t1'9AZ2|חd5IsYgF["?:[ݧE *ǧ<BRQL\Ww-u=B2$\1R#%\ƩE1M.iCc=\R腣ݣ;:p9 uN))_lIz*5|/dY9l5ZϬo/ƩaLT}m%j0 3qW[L# ! p};/>YVhEhvƲiE/ҋ=)O' *8~,ۋYdb( ",#^72<[`K,~ >d=,'u7F l2>DSCWQCD8&ޒ~Õ0R|QHlkBz:Vnc =%rT>ZfB#JGctۉ3#;pŭț" RCPfK|v1ޗV`ܵBQB=x jj]TW ȘvoeL!˭&\U/ vk4%7 =$أ*+PS`uquQR;3cеTLY`S47|^5Dd_A5% B^ޣ&-jV0zz*Ě mWX wb+=5;.cXfC퉰}~jT^5f5nZ)諾Sݺ8yWW)T-KZ1{s˶kUlU3iC(?'#xgZA90`}#?lr;aboFc\' e^>EYCoy^QjK,gDSO4>΂“f,Ucj"iЯ{ˢ5R]4@kp 7|e,w>1/GmAPʷ_ldS3lo&u&,#p^y]{y B^e(XoegVUt$پ0ʈ2ӇJC ixjR_&Vpg 7a6ɭj^LK`(=0 kHVXLPQgڛ+ou zb[Z ĢU/R2)<~$ҍѽ73*Cw]I>,"Es;ZW=>ɹ49t|2,D7Ê^R*'rv[T%H`]:ix1_?z+-)2 ゼj[,2j]e2DAΙߒ]wy2PX.Q6HFh쥓yPxx9k q]R )4xl U} s}c# ]F\sBo`(ٮ$!*uU*dZePẽ F۲}qgk Z3}fRz|-,/GJ~~| 5qס 1]+qd}V/CV:8wlKc<`iA1eMm+@jӴ'Hj`XdZ)/MH4C*Uxaav,8}4 c/ʛeugYZuH <|9:E8C:Ld=J~[jsl Oa$/AeC7 N4>@CrӶvxIG+PU7-(@1K1̹["0L;^1-b޵Sًiߠ0I^yC? aD(o&z}zJCc Z'X/@l@#pfñkhҨ})ϑBY:GC83'&U2 =TSLxgO N B}^"bAd3c%2ʀ<\CS0Lf1^(z52 . .25p5RBuYd*[s`a<9@[Y 'LP&&)Q,#f'#k :8V'Ob(0 yε gf٭m³{ PD·z,ys&4$тO7VdUXlHp:*_H:-J6[D5 YV]_*JG_ Ξ{IxQ=#w}Ifߗ}Ov_&"@Cw> 8LS'\@Tنбa(/E1"nKx)TZRSWOA)`nbgglImEǮh5t]=tD)̆Pl%4 ZFeHq6wƗh-CƱ9,,=Nn"!1 a<6FD'ryWT%ڣd֡?n#{_>h$npo|TO.Ĕ|6 _ڠduuАP,^ HXvi 5.Bsrgvg q0ffkH5XF.E4*?XoFyCZ쮸;lxxHi]iIF]]o tmW_k,uKT4"}o!&X- Dʣ*Te]pDѹH𳼣ɱXEs)~u&aɵ1lzsi40P\R0}b, =vY/Wv,0MJ1n`gQN\rBH]R&̙wKI_ǍPiP:3Iڡ[!8!1R)~NI%UUڂp ۶IuGT[@$kϋS}j &zEE찱 #C*\ɔ!3/T8dNJڙ $ܝ*/ܳ)ۑ*>LyW2DoUȴ ݣfh$w DvtZ-v/ϽMމbgN09굇]]< 8_3%Йlex|m>CG-=Sd,ڣ *A&>r m/S+{ޥA,'b6D~%u1ƧJMJDMܩ_}!ōu4Pb^d95`ږf?Y2XkW>&TX{mBNyB,>963 i j7 9J=BJ(zg<;|zL_lZja@REYUvEZ^6VtUkh}?iQ9,|0=>a땛v@ډ'eۮBX? xS%2qf׶и$"ђ1k#+`"'R#C:9@}2{+DDd4 ^e9pp^+[ՖJ `],x JHdtL2ĕW@6 ! ]V&xзr Pg6@׶sImTOV\7}paG $$2bFyC7}'N{%) Z :3a~QKx)ϽۮMOJA..-VDl1Jչȍ+Q!' `Xn)ӌ\G[~_`zM~|%9Bq=d:ӣ%UT cƘ34f ! nN/L7Y xܚe4?uٻjS*aW)Cw^#16+XL~I}݋#\$(OPUaᆟ:8{/bH,5bQ%*uaEM=~q7 }C3b 0hO< 2f'S H7E 㦈1cV@M˖PK4k>h>5h \LrYfTL,`i̼tG3ىVBŁg+1=e"Z TdJ/PzAi,}btxyK[n7x^?0zbwݴ'I^8W g{-=CtW?:8-Ω{PBWoMS=\6y lXȃ642A,kS8,)r̯ڠ?38:w%^B+18+1F ijêG(WCC$MpPww1PFA;/,^JOE MM?{2(vj 35ο$QH BiPްly}BDBZJR82Rfz.ױ2 :$+>gYZ=s# \HOL-Quickcheck_BenchmarkHOL-Quickcheck_Benchmark.Find_Unused_Assms_ExamplesPIDE/markup7zXZִF! g]Ș'@7DѺ9 Ǩg2H|r.>(s|y`P*S8GOțS(Q̩^3|ɢ)-H_;RBHw*Bk!q/I*sJmO7EYl/ihG[Y/F3I'kA֥_̆CXՆ tEܞ8$#_,҆M6Fmֻbj)-ch l^mϙwXl;Q@c<(V"*LXl2(R݁$1EI^z^JD5Ѻ]44#]_zNW(V7&9flj?Ŏ_ -%(<"|jApYRUFcZ Q<=-=[ݿ +IDV#ٙ6>YJb-k`DW|W_iFsw[3rHO@Q~e%@:F^H-BWbpdg@j'ylsḡh9 Dc4ʩITl*jM4_9Y(8tB|QIP,X^H,PzBl`^眠AMmtldHΖSC)s=g_bVEXv#ցrIceFN2Y1̎H(RG[R<->CrhN7,5Tua;q0e˥kYFo7h( Ë/%onNR2N$; Bl9hPlh{e4sW8+ɬtRq2Tx^4~Y eV[нXrNJ>h [ *"Ѕ!Xe1`Ӯ3DB ] [y$U$57}#'jG:g5J?e:S?]YB:?%}JA RA^iϽoJD(^oMZ~V&+H&ϐ;.`VՎI.ՓKo0>xx6(s|y`P*S8GOțS(Q̩^3|ɢ)-H_;弭aW/d0 t$)`Wƚ1u0nuvVQh9Z=oU*[<;]Ͼµ殕rP`=n;.EȣB(K[z|c/tFt@ 1&E}h5Fʛ9ٱl[}`k94'R!tbuKŸ1+E0Bfģu.dU3B;7W[cCvn?wG#K?Ț7U.,J&'Qc( ( ҴȐ69;s!a׃ tٞ +IͶyG %dUR$+M94ɫWsFgøvL5pJC6T&gv,ZVqr|QlH""ZG"':k69H# ҶLۺWo2c{԰\gMyy725`cTIE/iz[ J"Fbek,]2̃6NņDZ]#K-\(\{>M#Qw?+UteNb V=q WeLf' 'cQү~5=6;ĩ<7u;m_jK(J3!ihcz!먯yv=G^@4Cb8_\aA s* ;N4/=`'Ql;Z?gcEu*B3+ `1@v'r̵sj6BW~ߌp S,tubl]:QɨdH,g\  (6n,bOG:Sou);BݛlQ{#X?墜KUQ[;XĚ]͗iє%3(so՟\A(şT=ÜaoξJ\Nq;eHxӚ\~y_3Q--xb6N8-<3$ {B@끌L3_T?%&t6=]@&aPe}dL&{y 4c -bh`{}3pk9 \°ILNjiO+Eyh8R?keQjFv▋'| E"JfW Xb8ݯPW;9~BS삍F;?GOd*M`}Fvw-~ Fw^ߓZ0/_/Vt N.J_Oq ^n%\qZ )*;-"h@UQ4,CKTH[1#FLQhs5%%\jS #SG}Q^i*p4QafM`^U`M 謾NRF Zڌu l8_dj ]!?u(͸[K|adz9h2b 9hv𫴏ۑk:8lt-b6}crof4 KHKS A5x&.ΰ.EwObC[-Gb`@êeU%e( wiXc[FZ]aMe}Cg&$D ]Y_oUs6d߲4a3Lu׺-M͍(=R* $ZT`gc}ќo?uI5n ? .=?5h~(5ɘTRB_r=K|)s|r@8kέՇ#mM{=[0ULWg3MF[,gc[⏤ѓA×=7?Iut5eehOJW+VK>Z:ܐ(uIQxjh[Ȝޯ\iIHs m5^}tVk5"D{+.?]tM񤹢K]Qh27#pGNW SpX0d~& ZKk=`:E5 ﯇ə $Gq* ͽWP l dh2$ ;>8Ss"?"$rDʻ6fT N25.y$l4,┿* }VF;  ͼ_ ]"'l=4E5e M>-YkkcwN0Q4~=1~Ŷ6)9I2Cw.ۇ8_7 (cZoC[081R.y[|H> S~Q~ >m zxzTm@yqO Gm|8i . ) Kt3JVH6WSS*kDP ryI,Dmk>k7,^ĩ;b 3uyџPTϜfx&9i(B /wêP9n0( V)C-"˟WziHVw tQj!C7C+TF)2O)~_;$гT-8u=Hi8-1$B-Ŵ Oh8I$IXu!m_C,L8ܴ9z>ەj鎐Vc93%`$&#;oռ793u);s20{2۩`%Tl{a>A- @oT8Cs!@fLPbb[NuS4!8\xra `}ڨq-,ѣlʖT:^ ӅnU0h\mz<u##JJz$W1$a)R*^T0_RB1v{l3V>ΡwY28$YZUpΪf]ޞRZDқ=%x1)Ssa=@;~z[cG`VqTETzOWdj2o@&j&b3ȷL;AKТ[ /۬3a;WQ}:&#Ѐn H;a16={wﶞe;?OGFWƇjO) wt I)e @/_NDnřiZ-ɉPֽἼ](]BթoJ)ڒ2Q6Qm(#jbN찿XeY :[vn1k&~e ΰDcBV^a%];sg1lC շU{j3q|:$[%jET(M}ʃJ6zM(DW&q-ttK>" *1K鲃"[Rn2i6y½&=Ńr_z6 ]N;3u0kl ǔ@Ԛ;)Pp|}UCCYl7|j]A>ٓ 'mܴ&—6Z2 jKKݙ"S"1J2V,e"$f }GMWOLB @{_&}=!3Vh ^z^ 4-~@HgDOKφ_<-Mz0Ų}ˠV':c6 $Z׌_ёXp$}~DZA[@@DQ Ge/,p4jݱ,S݇+6s'a,4fF qE5񢵩ɝsvRg9dWL;-dZ"Ȕ#U_oKL4Ҳjm0„vU 9ihvqRA|l߂#I2 n} 8B<'xXOia'+;jtpL˶&BLF?l|<}?u7^fYhvFo7Õ-6ٴX7f8t'[/a% oʛʕfJҽi9Q0_b5lTw *]SB;LQ >YX1@_g `y17_gK<`$u;:6*v9lܰۻ@{|m fyp/yэoگ{5 : l"s_Ez͢??|F]KN+$("w,=llhV8 )ʉ6>fW"TR]Ŏv&BCPxm̄j-yP.>͍4/3gq/%s06o5Zu7+Q,VA657Nmzk#5 Y[맑)` gF'ќݧ [@r{ZBʏxpMf#"vNe#mGzWbf .&VەRʪQȊ)KS9oP^9ofc,D1\LRΰ)f,WlK{,0͖"ª q2k6V]?:Ab rA|ׅC)XxZᓋۧ\:?BLC|V}t,Gf'&z)X̜J FUL oF+MRRZc<1QCM#<οmXrms_ cT|ej%zܗ5Tٗ?D; E%W es0b?S>y'˴j+vVQH$j٩aGx&nj EU $`r!\)d; ԉ`nWCHHژbaJp(s'q%Dc,qQ6xSE旡$0Hy!Pob -źf"KnݵDcN%7odLJ;x8> 䗹>'c8E }¸G"ZXbbHqW8wPj,ׄS&oh PG%ZJ;nqJN"ĵC7dYF" JxqtzRExdaoηu 0~4'3j3Ig*+3gVnMu*A J%qGkК.|}r:sʷqoﶷi,â~mԠ5@_fX "*e6$Nmfy`aauR JջPgnxЋN'DnQ6G vۏAD3jaR=0"q~Lu.^O'^wcԠ HoWM3 6bbR'OAw///qt.wZb!ETծ!!9U՛d$O}z94Y$!g2'ػL*jE/MfSa'A1IɵSh ԍq:ق"ɋ| aIɻ+M (ý^k :oJ匄q>[$ߨwh\4JSl鱶?gz۟`&$LI 1'zϞ\8Lfs;}QiV\ZC3D5s[|;2u'9-i'Kpq"B4U:b )B8VLSuqHP#DMT^ 'F/X!GHUE/u<̰r9Fb(VgS-BKz<&QRKGr{󼟒f KBa\voQQVgC8z7% 㮌.rVRX%kYvTlY t27dMc*Ƶ/V3 I}4-EfęF/&tҐZeG O=$_Sa:q'C#q"#H}ͬM1,,@Lz ,"@ S;<餕] ;Z2)E|sVJxoa}+/ -|J]W"T*i2ضvqMzpl]i=/\azZƓOlv9̲Pjlp ГIB)5:yּԣgq>e-RdXasS0`LTבVYv7\R؎E?}kϹ%[uB.(L|!|}ޘ*44/JLj)jYYE|E<T`7cJ̶+Im  'L &3c2-qܱTӪi2 ʖV06Q3h=wLD(!=i ]i/Mg:*蟁NN N!M`X1e* VaXn׵ntXG5V-U5!c_2_/x01߫#1O#52!Ja+uɒݜޓlwϥ8'>%͇CJĸ|ċF˷ "Ǐtcw?M (cD;>OzޑVJ9A̖x\$|vNGzcXznE[dQi8­? 0ht`YN`.ր.ܯ>|J(6{X3*)A(hj#Aɝ;i/Gv jI/ ߢ\xK4 'cF;(jY>f2s۲󎹩*O@;&͝ᄵr9We zI4 5X]ΘdW3(9,FP  ^qMfX>V رߍaJTkJGv j)(įLޜ`{;p6a" ;6_+UX؟b' 7>{1qOlN"UuDzϑ{|<4RɘY/: \go/cͤC vXJI5Fe 'ݼUS_ίLHնRjHfzFB0?ٻWYQ688;^u D›:/%tdPѻD*Oi$å=v0MC!}5U8dŇ1I`;L _{MD~f[ޯ-=a ɞ W=Xm/0 0 g$f䫙-r/G/]:JģJ) їmv`pjCTp׭{HП /mਇ̃"r*FQ}끎"K-;! ")U1WBGuWX:kqXr*.#boތv[1cB߷<)VU45>3mqOמ!) hJTU˔)F6U6|UL`wTQvʖɇ8Y4v Aw 8$ΑCѩ{CC Z. ^UÕȇ6H[Ah:w$ g</|4 zަM%Edz[ %P:VQ)Z0\ M "K''DEs”7ޗ %mrTkL۶bYޤ9qXX y37ROb.$uF3x=p~,6I-Z4%weP. eDLtff\é~:ӝD'k8d:BATc/ w* X[&L g܀G֔΀xGui?A[=uR[^2HYpa76^/8~c! [,d̘D2A-W/֞?v/@1hUrngQCLa\!Gcie(NRz>X`]#j<,i9IYAFVjrGghdfWA'B]7PaP'y{pEss f񥱭6XYPhrzW1:V#!$E$Ge =͙nq=R la-~n V/n-1edQ^s zD/TcU#V#xARP-<5zZ$刚uI~q΢(a4ߋ~v_y=9J\3vx持-ع..kbGf!ZeSNX ?^J |i _b)TF_L:v2} ?TmSVƠbX(dOz#l:8q6 "/">O.1ş@e>z_=po. 5}mym.D>){acex w&!~納$dgyC&>6¬iu$#l0qv^s/h(j>92M٪W콛ϡ_s`%ZzB#5 ys*_Kz?,]41eX_HEB\^rgɝ ԣ>P:L=9e&!·9j`t~pȐH\b u!Xu$WV\DcRSO{0+~W,/VU=arʩ߉q_#a WҠlH]- 0s3Z TS &݅tc稥!R)}EtJkWh!߂lQ0, rPPm$sʕDoN'mpЅ)yY;n5Fps;uJ"уroKwBJލWFP.UNēC:]@\|ytV!m]sC_.ڟLpܟ Ы+Z)}uL%<MhDzct.ݮprz~RU3]9vN+Pj ߙ~T{D9AG7D(2M2}݃qf|k@R8GY"Zϥȹ@"{yLaвu8Q@P겵rՃ;ť?꒦Kf)@Wj)XAֶE)vKC54ݶ7ádCl R }Lle6G]<.[kfy H)䆅 I cԲ2_UhƼ٨e>$`2y8 W {$r)n.r6[*{n'6ENL* .%U"Ex@BEe= q2 /T^6ȝ .YA? PU< 6`dt9\-VX:DB}dݒ̰_`'=zOײ5y8/ș>j 3oEW6Ko$/io*cglbwiK[9^Ly+gO `o4;\90LJSӔQ< ;-J$R@1V\`2 Wtﳉ@C-bp%AX:a(vޕڤ?xm @Øx+ǣL'wa<)XPK*2d@ x4m^ ˇ1ȎUpf++Rs-V $EUCo8@P/B >XKZ܂mS.acnZT2(⽝è$UX Za[cX6!g$Ee1p? mր/k\9ȁ? VSp4?Fx``An O;Z5$^@HPLpoXY4ڹ?գ[d4PDWPQ- t OT] (s4d ˩8kUkiXk'ŞQo_jlK"ܵ$I` U0wnjRjɠ+P( k =nB'?-JO=qXb6|P3A]R]&xoī&Kaou(3p]q%B( .&lr׳:XM,$. ˀ@Эхe$m)UfhS<6~t6 "C\";ULe }3L9-)Kz>i[sozvqM gGZ=QӢf7:]TQR" '̸[P|N|b#sZ“g>Xg4/aZkh;ϔ1Fʚ&{>Xޗ_L(&:i%%umsXܿʌz3dd>Cu!rKxg/hZx`TI'`Q/Kx6P;vVJ?$ X@U8( ]mäܸ폘(}d ǜ&&۲ $T{jHCDK& L4 &aQJq*%K7=%_/6f*&>5ry:KYٹM$mseu[GzK7֧٘Cw9dY/ڛȡV)qN -Nc|N E:IBqd AǀS5 +enڻTu$w4*<* &Sy7 ._ i[+kx"Ϭ¼eEfr #4:C1&$L`wN-r󴿙*<ؐI'I3N29 w%@ɥK{Orr1"ѦI;%DIpġ?\+ %Df 'ESfw0 Ҙ٢>(X?DvbnsAh|$1U ;[%ZvyS=i e41HoT$ȵa5ҾFb"4|ɢ2>q9dQ% |$=).+fq%11ѶWWT/ULzN!*ꢆMhPA83 [DiPOO*"``ٱJz&TU@ǸJ *743Y [R?P1Ϙ=>g3?oC2 CL&]?!b]AmI{u"wº'4wi\k=8$b"T^ \]p+v+^rno"2ato$Pe*Σ,1]ל❹?͉҄ͽzǩGBeѼQ&Wq3KrAz?{\ D!#Iy/&DUtӡZ`UEw̾Ov4_OnQn\2c_π >Ŗ(c,k,+$pS Gi>{ɳ/;CҘk580 bWnuF{̨Ŋnؖkýl!(@Sm% <.w "~7bJ~Rdnp5-KM>3k4z}BQ2WN8[_EP2eh\NDx^2wdT}``YY'wXy!z +ΜC<`[^O^针Z+w3dעG2Rԓ[ΘVGōjz zېį죱V--zA M?Y ۋZ>SzynFVx IŁn$ 0-Vh j=>pt3W*BBd%08\*h,] U?)C3̋xuаffCNh+jaR |Devj~aNkl~Xr$ʩ!/*[8UpNVJS˂n: ?'\T@RKF0PѠg8qBmSo1[YڰiZP~?3Q4'^Ǯ#iL)pr:9v/UUw)*K^Խj^/P+d'uvvMG-af&޻O (isz2EUG3nZIAF1){x #M0fEV%ucNGLSJ39ϱ+ئGĠ>Z(0@҂ȏj[ȄrhVdF98 cP M5UQ_[uMS ~]YIl1prɢa⥈TfŢk'Ku{ KVD(cD(Jt ~5BqS;͝%D2#+p.NjEWՓI3 Q^!a{ ˫YsBFo}viWGO2z|W鯖'V{-yrI,h۬Ex~ŏh + w޺ǴxVlYflmA`9ɝ$uswPY'@rgwSnr~ 7pfHYGuECApLeEejJx s;C8$-J-)Jc&´ƤW,"*Q!{~beMSGbAVVhS 0iX2ɦO\^HEk rcnD )'.r _Sd 6L$gPˣ9ݗu2N<%/VӮi{4u[bhȥAR5a/4~{U'(#lg/K:KRD w|/mb=X^+nj I.7d! l؋//K{bAl8;;x/9BbɢN=x}ő/,mߟJdA) ~=0\t+WTz{&Pd^'4cmMB[أ.Iݰo'.|Ph -p=*?S0zܹs_$2#J~͸r8;lFZ(N+7[!Hj8gQrl2:b!~TJ3 ۬> wLuǻxXIF|:/{DjlĚ]*K,ƿIHEѻJ\1/s98#oaR `?bF\Li_0O}$Z;u-@"RלI琢xכGiM##u>),Kcg5`xahm7m?@ HkW~y1I 9 .65Wth-;wG?$Z=L3'*ΈUd+txFs&ĈA@D'yfqEq4WO{燦|q7N)젳oP նW~ou}2` ukctlFDwz5SEDEo#05쉕(hQyeώ:V\ot\(K} zJ"q?A-{ Z.z V6#`fcI{-@@ ^%8o p=\8hƞ❸ƎL ȐI&1 sf ܠu)I$F$. |B8-ֽ- &x&oAIr{MjiQO(&mY$Kw{k83T5CR {#)|s^)!rcPR:JbRr?/I䡮 jWH ឭ_MZs^SY׻GPFSޅ@Sk2q PORظ&E9!KApRiOk`=Byr` qaasmG6G[-U3wf_}.a< Lb/WEQϑ@iQ6;\< P!U`$(dS(.lԏ;tʊ7vNWN*t{pE#fwH`(!أ#U]zh]l_U+̕svg'>Ì.:AM6 oTWߥRc4ϟ wUJE `sڸ A|r ;ӿ'w1a^mJ N삆 cBSh "zIir'Ӗuˎ7Bl^+BJVEVR z! xe؅ GCiB %J( QpQ] ObRh5&9uCxOdU% o(4F(t <+\CmHgd˳)eRYC[+!?=Ipr\޵-H]|CX@f9%j.]UAɬX։#.B~;M/u"<~[e033q7qҠZ%Z 'G*5;:G ,.1gͪ[{h1J }v]t:Qs74QptK(P:Rfwe@~}9%^=))mT#s{==۔\TijM n'MKk kPg8†tЙZȥ(rI2eAHil=]ќSDYn,(,.eI$ 6>oЊG.d1Ly/%duY ujbH7<)^Ryn3:nF1۝_[[Tiz~^uIC'_=}J&# Ux Tmkl͋)^ovn%T[PoqgN0oDNض#e<>BT/ERlW_*mO ym6ǵhM9֗[o͗lV9TbR3%CPz9Ie"xiLݷ2|TA!R;\}ܧ_[ZfIG?l&_Ja=u})YԒu/l~z6<NZu\s3#@eF\g@tRoE:a>Hқ#Q6pL?AZk#ߎ.[0,us,GX[ȃ@*걦cf<lV&h#痦ur$\T|I֢Yb@|*#Ȏ/uDUGk\*"~a[l "bOAvrWϜ GL?t2$'f!MFOÁԞ~+,@q>eꀷJv8=&/@ ;Tj 2j:n.caWq Πʐ=קo~PKYD L$!\k2`&(F$knz˻ ;vKC7xҮ*odCD]QVm.jŇqYDϒy&YBF:%:kn"SNS4|jftR ǣe0cRtq UFk=3J0NeS]՞a j1˵x(K2e kc@h+ C*w!t\駜MQF܈o񎶣wJգK|gUr@Dn 3/yVjsڅ1yT 3rۼ#io^ۚÔhqfՏF"6y/ۏ|N')Eg049Z$fw;BՍ7ufPvMuշ\w]f5,f)!=`ިɧ-:ŪhH ͸*,&"=0uEF:S?p 6Kmt~oե۶.C|V;d;y--6jݸ5~nFf~%I[bXf^q%j(0$N)i!k&БP./[tdE1NpTfEU"4:ӆY_4M`NvY;iC#m$JGۭnƷԼg83W2д@~$ ʴh?a9e}i-:JR%VωNΈ{ai]Ig;qH2UMG"w Zmisrsk)MD)|}N -o7CӈV<Bvx-[M d09law@mѸNG?wםE,E %|%,)PaAɬJ6r\;o©$kMe0Y?c%J\2 P&1y5zr#JO!*b,yѲLfw3^~gu%aFHCLjl@CFIS8c~?\y%8w]>ޢoޯZmfxaq"l|WN"Aep .v93ҩ G;L/ȓ?}S*&!iM;ސ~ ?i|owZPW:%˘Kq. vD+MHBP)pT4ԛ"dQ~RS6LZ[ܴ?x^=J v`0.5%.0Y z~+a#Ο&K\FUy308T'u}{jza][b('eP wUl?d#̖/@ T1-ZB*>ILOAXpF@2eJK[By0I; jqɛkx \ZQNr߾UJH )xoM]P$˰M^WLhT+u([Fe3tGرPU{ )y'`b996Vq κTZJ<>c"! )@*j-9(jP"BҲ k+ÖWM8Y݃0ӌDWn} Md9]Q\^Φ"c U_7/x8J;8sL8TF@>B_&hhAr5Bm/|(;.~^Wބ !Ӌ3dVH"pfWX@2KЌۻk\KOY9#fim=`2@XQc>z1mCRcerq e*1K#d@96UOS'"O;J!&_ /v41|gF["= e,W!O$ @s`f*BRDc"q0S%'gv$[U}jAbOnL?$܅$%խ1`燑J !rXɢ%[ }[D1,GzíTꓭ@YV&$恊.'RJQ} Q(#lᏸƷlts*߻ecםzwz "#v;nJA ]tIX_o*?8n+tfP'ZMfPG5KRx#IAL_Hn7KK QːzqʵDߙ=F5;`軨YY`T of]z: cS-p䖇k?O'%1}AWO\٭ ?L#wc h29[)1o1Y'% ӕd'fSY{~חH ƾΓSHKE3bx;4=Ǝ!ᲦE4uMBj6L)@Ҩ+Ǟ9jIV>#ڥל_.޻糘tIc)P'_ ɫԂL"lI>Y+/b`15 䪌t! 4ʤ1>IF}߼֢K{U`S}Cr$EZ(A@4t)ړ{MTٶgWl0RPR|gSLcd`å>eE-S[ż[>Ψ d+wsr0']w"HӫYMz Vx;*+kG90I-PCe@DK~ L&"K-=ʦmo[5lBcxEAm۶ůr/ڦ~شo;L=c37 \UU^ -(GZ RUlX;7gAUn GkBXO38[>A XЈ)w֜GZ5qFVQ8"$l1&9bIҶ+,ח//1гwGWl i4Nn4ԾGe+ Kl\B|.Q*uЏ8@IDV+o֝3 ARՋx:q~)[>HyH4rAsVLϊw6${VJ8cĸAf8]@+/&.;{k+&Ԋ.Գ.)w+D ([ n4sU@AkMKz|A։!{|#%m~ۥR~ B2iRƞuh_zwGԜߛ헒nOtd ,[L!Aҡ5 %ex-2,"E&$?ғ%0?h-?]SN@޶$J$Zw9 N0t/KnCx|3g~/3ZXl|zFC~37ה on $$C3@׻)4uIGB³I_Yd@0^#\׻ǙmD]‚q@ 6{OP ZK(3'3Gh=%E7cb CN 3oL4xK:BY-qg!l2ۤkȣ#+~}w޾0$;Z 3xg FF~)x&6"M"|#L-+db E>e"m< TQYYr XbiX0P%\zSf{MAY|@!<&xHrw wKWbX,p3yhx2,cțX6hkex ^wg.ok(BQ)jHUFq4Nw-KLh$2A-$ˆXk8gVj2FAGgR9Vvk%U-R1Yb{iF#inϡz՛.PAW C0fUo_[Aٓ3/EUO:<Yzk-{#f\4'mJ;}UcFbo0 F֏jN%c'4{;Ue4:m{ڂ=0)0- #(GzkȘO%v|' ~_[WM^?QpY| N;hkfveI_%4_eNDG:f8$<6"v ҅]NvrJ0#ReCC\Ӌ1h^dzuO?mXdAD&=x{?C˗>j^Xc2Of`aTEӈ7J_ +*_tb?kr|czliP<'q^L8ʱE9$)nkғHI`6'pqJzƦW 0~W۱gYZ2367a2b74706f032ec1425bf4fb2b162e9f902b52910a4ddca5ed320a79b5d7a8472877f5003c6d9 315bf5c235bb455547dcc26824308f3938426e05 91fd9eb5ac85034be689d5a4a5f2a5cf9340af9a