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  j jjv |d ]/ Codegen:threads=4elapsed=64.535cpu=158.112gc=5.3407zXZִF! e}]ŗXiɟH)0%ofF]g&% ,ٺT2Pe~KS+Ū/GۋEn{ЅO"0Jz,Y:U<*?E lX;iO=BE_j@pE ojRz 2'+ZMy(պ"a_2%b Mt|bxW l:GC#${ vڣ"sfNmRbR5~R BP]HyLL}\ƨ9P_LPȩ0F$OT[{)1+vkQ>F=..S}lPиty<ˉ:jxg+GY *Tnۃ)g+WO&:M%aݴJۑ"<6Mϯ6y)D7? A*T|Y&pS0&[P㖐9ee_aM(p&9:Kh9zr8I}QdQŧUz,3ބ7\wi#W?I)ct~Y {Ў\/qKL0Sv36|6O'z NY05֡ ix4kKM&}ЩjO vnr aXxD+?71$O5;*?}E IQ8*!kکfpE/&D7K{e@( ꐲ_c~NLëT^1#depZvYv[j3eĤђӭ\o5#cݰ|<~:v8Z]l*E|2*nkRFvs!ki8K+Gb#(Vnai筨LWP(&cS\hjhhrk5sY   Codegen -_-5; CodegenCodegen.Introductioncode/example/Example.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmGچܓDgkm1VQ zimcc2 V3K?u=-{GJTY+Qa0g6dz9X Rr7DHP<-ӓuI%ݫ_ZytqQU:܀"$+r[- C8 mIL>]_~=NFk SQ{-U×UklY!SSsMM2O44M+s+T+(&Z[@zUFgIՋ8tgzk}_҇4j* xU [Ȍӱёa: ؠ*嶿~ajc?!&'NW_/"bo9E7qU?u]M}{OLcqnqI˘W"dT;wܘzDxl);| glk:F)JlU0~>0l+W(`U.OOQ~ O&/uJOi4/+r~kij"(>ѓ' VfY*9W^@b6{K(qbg~5orEqoQ¹(7ɄF[9x Μ?ѫjPkס9Sf ˷{g̎L3P~R $IOhҷk };\W|m\EP !?la \ģ]IT֜ǐ !ʉzטz?v4Є%3n~vnϺ;@{u9pxi "GK_u*(,dɊHCa<] mϛ@MSye5m`wFEt)/ $+lor61RSfN RCL&C% n퍢?&gX$?1;ִؿ8#"ƎnfÜ;+.aÓp#*K kg 祶a)ӕ(L8Oj}72Zy@ϱEQ[_ ٖڈ@e*ʟ]]N)ڰ"4IcXr2h"@TąEFFOfqLF3!ٵoR K_>t˿1>';eK (oWKWLt7N%ѲI ^tmepٲBϩH,U,{fXwi%1ԠbɮGLJ4AcֱT 7M;4fBNk@| _L6}W <6XD*{z₁V axWŦA4[U Vy=-R7눑FЌNҒ5*s8 Qќz;@f@U"k'[I`"F%$b8ƛz&ҭ}՛KvB'‡6? vDf@-;2eݮg=p7d1ۧqưqhhfGWX?!p`L_vJNz*z)AջZFm,L7J V-Hlжu%ͅL+3rJ7l*-Xy: d{< Z JGfZ$,(9  V\R/5cK9*,x^ԫ$ <[ۑH h{;v:3QZ{扠WL-fQWLi!A"(uKC^p5pܚ҆= VvbjNkvK `I5tgYZ rr85;CodegenCodegen.Introductioncode/example/Example.hs05+CodegenCodegen.Introductioncode/export1.ML#+ CodegenCodegen.Furthercode/rat{w~f1 8m h?JkzpJ׃^h,E:"Z|]^8GztT",Xp>զc/ea%I>MӒ_"Bn1vI^2^m,X1|/cCn><>?Gc:Ӓ$ͪbQ Hs?7:):T^pUC/&/qlpQ Y܌!`_f"z FN,nl AdJ8&Fo<,D ܛ+?zPϴf"md.iYlhamR#oqSX}@ 챪q4;˱lT켦tUs^Ѕ<%nI{Y. [o$!Pa=.;= 'j2e#NOd m2/!.$-Bw_$1*݈n?2 q> m^ǮUC [^g9Ը&?d4v,x̙ﯵ 4^iyzGr%T%fDdѴ4l%-`*ڨ^v Lіd_sA:0܅Zn+G/DAtnV׊/ C1"T2=j܄suiФݠW !(f PiTNx;:D7 VƥgЫUu\0~1#ntd;lr5p0ʥh?5Jl.btmi M0OnEw z~Z‘a.=Qn  [FSO:qIb=V쐯?TC[fs:}.A>rR}ݲ&/n %_ce(NT츖C.%LJ/UXţ2ށc^~!e[\hˁc9usnM dV,`I8s>CĢ{ /ՌG%qֿ,&[-G s/O2_ZirYŽ ᡬ.g̦e;(b'9 bA,psȜC%=KZ{ɡn>[-s3$F؝pvS[˥~=d0KTNX`T u$|G<ƻJ_ f&+zowi Q#h}﹆]gK7@><"kPM= L6Z&LRkw`2-WŒS)»<6jki1^8jhp \%n\̴$V1othY[#ꔦ;%9v]HEh+#)M,"2nL(3%kl^+'N=ܟ<L҇Ȟ-wf0IV':-&ݬĻ:^C.s d(u=fh8?vSW6dbvfɂMz0|K66a1H@BaY G1)R߯d2t-kZmѠNF@2y>nhNFt3%IRwH2a"#_0v3{l5-a9ߗ.YWK2r<ȏI\n=f6pKM@F#nz)ŃTl.R{1G #T7luX\O?Yb-hǩXV (2y&N?,уOW-מЭ=kĶm4HSwJ֕8q3|/˒T3ћ8TR &U0-YILP%ٙ!v—'ظdN})` U ۞\$LAA*5$|AUKq]!$QhfM].<[Bwq1@_B7azG( >]R>:62ZՑ?i[߻(xV-27wC2]M#koNPY&9dGi.o"9L`,j[E*"y = ic[:f]zjƟGr)ckN^O: u?gV*[S㹄.2Hb57a\^+wnB2gO82W HnEIU6'svV5թ)TO,.$osE+.U3?c8y <+]֥MώPLCpقHVh9|adJPt} M>2e2&5=T;*D frc^1*&٦'ޫyOTl,AlJzc6˛ϋblIJMMF9 5Kү_ZN,7pYo^aq+o!5Q-f9ңrRN@$#|WTWwW|k0}!dU/?HX`kDʋmX ]Sb-9I/Iw lWͬ|"kuaQs+X j/:rM?H͡4oO!9 X }5IYB< Km*UVԱQg#Z9s zRBҫƝhqRUxmK,~4;|n_Eܰc9!bFq5=gNrd ԭ[*vPE t.LZt74vͣ"ϳ>ȟZ rG30e' Xa7* Z ^$2vǞ-1a6+GĹ(mi2'R~"Ӓfq 9D w9=INBQTwE kMW:M°H!{e bӑP7*kܜn8\9w_V+Btc !%,|/|za P OtF-῜@+M&(gʼo3]yX/5L]avtCBvѳ$S-@Bur&^C ۙ2x1k^Arc"hŝ,㈢DݡhPW6(P *pnj+K".津MݹEnFf o#4]=Ղ&ndE=7 `Y8AE3E^F覒YD#4ǖ\o1Vd,=q%%!Cڿ\>;Py6!zb簙*|,~q"Ԉ:LijP U*W( DJ] PAT=pl 'ZZ[G=u}'edĒ,f'bОV`nǜ+7CNFŞưR֢|[nkmW(՛[q@FcUl};Pຎ}ːgb]-%Nd,K6^v]~Bj* {//K\|qp; T-hPLs5NiQ~.ő;sbш1nd-ù[@[Dki>*&ώQCj-MQ G6Xm]gX8r ӆr}^c-3M$#}괱_ ^% Dz!*,ua;$ Qe]f^9ӌ= ȱUg_r̞)ɩ`:?&z'=NEmҰdTd`mrQ ZF%4}\̏ Vp53ta@<;;/3THÛ]3IXB#}*k2l<)cMcN&11ozXKJ0o;v' |iEⱚ6'k H&ª 0 [EҿiyXRU pμ[I I6)hX:ޢyߢ?h FyXH>Ҳ ufe翸}S֝9sL9Y8v+Uحf&w?63s"t^kf9\r RI6\o0L=Ud {.L]ɮ%"eW? MxD>@l!z-8 ·8DYCj:Ȥl=@i|wxUoCW!eT".'I8 BJ̡]Jd8v ,Uq_GyNEzKSseK7+琦P>Q}~N_T-J-@ϟmyԄJ=/g"б%.]:2dPEZJsKqK?zyr'ꄏoT "->uXFSc˛a@cꌆ{ =MFaÐMN6:5p] `][ q-ٹ.vTvwzMcKn 꽑EbɾRg*m'ԌԳj`AdJ9iÆs{rM^elt>͙0W4?Q==)}l>*-yJn6EDI2&tMF4;n1ᴁ.)D#gG|5 0Ob"V9B =0<5i)  wԣb7 UCur=$aooo2ܝ&JIF(ZJm@of:XΕ:O y&2\CEuTAȦJA]tFxCOLo<M#!kJe1>׍|jn@潂B&1ôu"dF=džPzu=]0!knmUڇ #!Czim3neʷӡU4;x_( dGL7'q!+.NG2پ$r17z|B?) wt-/E&IXznvsAfdB#*;qp ƸooKŌl`ljזGnOKe8+JD]\02bN` :l(+ȷFҤ$N44@.y"R[:ly!. ૼ9rMxڇ`õ?qEay Oz%H%IX|n}rvw0aֲ SĢh7]ֆ@Ǘ~n9#'@ӈG׿?XQrt-&`؆H&Ozp6;DQd@&j3|$^RizF~fV+ۢE$KZa#-691@^'[v xB#]aJte1f`R ^$8XDiT}[:U\mZ TEؑҙhr'O'. I%U *n qiG5yQ>U$1Yk^`]:OH;>*`3vZ29f( qPrm [дSkf1jnNRRNwqU58 ^/ř']x@$ho8"g/:Ϭ F|yRO* h)۰%X.6 t!{%NB5;Ohy@;UP'~-NJ TǴkxY*Db2&ek::kaP&+d)\ؘ??A'o+",]?E$0Z7":DIcA >$2#gϧA5>!aVFOK;002'3-YCf!6x:Z9'bGނ .n AlԤ$V隤 I猤%3hE*~7& $KmYC$KCq/ۖ>)QFR%m+?Аj"b!orR4]d+N^@x‚a%M+qso?K9mgWAl~'.tWO>e/.cLv4.IoY6wvhOEc820`'A*y4%1\;*=~5^ s{;3w#"\u1"U .OEI\x7ww {B5WANbƶ8MyN:>~&څjo]jO)Y;؇1BԴlKI`3QuTvRe^cφ3Mrɤ4p?' AZɈrщc?FF: MkAf>L F Qhl8ZYqc[ mE '-讌B>He\7[mP.r.ՃlU+LE3`caVh5 ]+'s%#vbcW VzTUzx%`!,:߯Hdjv/kBz)A:ұ? E+*@i_)j+#;N!xoky8sl> 17K8sv9lVg&[EWϥMTUQw4فg#@|I?B_>3N#m1 7sr {Nsꄹ;Gf+}`c$JSUi*'â\G:Պ1n 3\]r= VMn'l֣ o Ny31  -wT!mm'N y:GVG;mNkcGlj{Cg.ϾUQAT@~پ._n|o-S !Wx*uBD9ߒnƋ֦q"x<}d.X4 ۇf5 BPB ei.҈1csuSuK=C/y^u0CyW>ШYU.D V$;+'¶~X?aۆN^O/bRNU VoLAY\y-0~R6r{S0;0S+)##Ûn2o-%ؗQ JU3UX\+, -$wUh>̭6C#0]1RP6iqpW^dq} LM~W|AI*<$%aݛ8xo^vI+YSo8,2s4Zx 7УE ɧviPBL׵xj8iW zeǗdⱌ_ T0-@K:@.}4؜YX*SO.I426`ƍ lQD%U9t\YMPOE<0"*:%B?>b÷ D4k>A`Y9 o~&UVq[\΍ds@1/4n-=>x%8U9ey!JRgN[[41;&{ޖAh-&éhϥy v .+vdiB'N!zF/ z;^Kpd0pQ䘙'~ F %Ijg:OT-\y鯂ak }M4 U4g Up㙫].FfmLE|Mh.(E_1L"`C}; T贽2?X́dνݢn`\<8FL{AuiT~x[S:{*SptyJXC|r {T$x(2$Y&^ kx C]}Ӥ+"Ĝy xXS oR\*~7R"]KAN]w׃U͛pϵ]Y&ey'!M/M4bLCJ8._hr~!X>%ig16;V&* c*3ZaK|K:Ia#~E:'hehrt(N2WgՏ,}?wa,+xOI`'tGۚT A 45{OOs$\ϨX\l)2WخF&g4*RB^l?у Az&=, 8 Kqc ^;MnuE y{&2 u|6VrcK'uZfp$ Vv h<Š?pFNhky}X1Z2'x(T9SЗSDZ>pWWkYJmQ&YA.>|(de?j)`2^YɠS|ԚD#LH7\hc"f,众|%y"jm;*QLHs)X7H3->ޞ)t,2jS<7Ȩ3M,kpB vw5\,GH)]FQ}ð|Z ?v㍌WEXE^cYRQh==?i:mkruzhJy FkA1>ýK{e,߷Êz7+Vi 2ƒku{ub׫.(O$(z&Tp*kr&[k~f+ᰃ`ت)M(WTn!똽{Nmܥ1uNКI}-,7]}>h~:D-_>94y}21deItM]4buzޗC/&DVp(AngeH͖j Yr܊ߤfG "NWxAG~&7m&> ])W.mU蒶@lcKS~0:A_9\:ġ9 AieK. 2)9 IE_31_)k }rwob㣀"5ϸ|u \'z7wo_e[ZjOp*(!REc܎Jc $˽VWnH Oiip˝O٧tI1yj ]ic۴/MKvşQFaD)Lp:I,Z,[x☢/JƜgI=(ʄ8ܢM0Q*9p^ӸCiEM5T|Q.S~^]H#S`^P07y0&(C.7b IDP ']4ZPáQi' oӀpBd14 f>)~'81sH&Hy0Lxͼ&<,νA4vR*"j-wYV>/3)7(/@Z7\Oщv{+h*2W ,$/{%q: ۶^iQV[1CzTȦU쌾l,-a!i)sCt8!| ,i+ܤt6)Xo'dB!7<fTy[!-DV: ,wM%Z:?\uMѩkh4:p(y90RvblL3''Lt[S@lck;6Og^ " B7s۰R5 K^0}zwӁL,5[jxk<;i˻$(_"$dgME8r 5 Kxֳ*# x}Xxf՜4~7[ޝ:̀߉YׂTh/t/cP3 6[ڿ, [ $CLѐ0%><$-=2`g@(ݱc? pzۦۅH 򒸗Cr$D慎YMҘԧ?uyƱj!.9 Bθ"3E} U&ǖ> 9?t-e1ű'?B9!2G̯JYW!5&( z̟2w6mBZt :iz 4eI;J^`59"tCmf!}vV?bbf?\q]xn9^.qcUbre7գS"yD)seݝ4|OYϦ- @!44 ٓI&Ň?husN+7<48#4u/Gf>^*#>RvWuJk βשߡzA|ĆO)Ĭ)MKS}*ăP/{eyf+9>[:~bؿFڢmq"4 ]4 y~05u?wpTFTI'lU(p]LMA$H@?Hӥ͑}FY 5o#':O@ Ny';]"OGIM[RD{&g9)F']aw8'I~XmN޲|a29n) š[:|OVhɓҳ끧b"!`HZYAL쟨O2QX-Q]":C9lA z*?ϻ4[0G\= %swy+:^CxE4&vmTWjY+솬ߦ m;}NB. }Hw9K}Ym;Ta$;&~mUM&j'\ӄ+GUZMӡo7p+&|*ޤE6 L``2D ;csZ&*L^#gEGD 2~; }7wy(Rtz\}a))ƕv?+~6*SUT6Hvb7qE+twZ^K r_$G9Mbwm1Z#Osuy_Zg<&VjFRLk.G9&N&g\i3ة1]S?;oVf\)wB1Z TU{Dq&vO+WoFZ@}?9X;mܐrFZs Nr*n5 s뉫qݻ(݃%^f&Nri l3K٬&:@Zr$2Y~ Ў (Krw\_? d1F?T:%;ꑟC]ЍzH =>[CӳḓSAmXSipwg.cz j%K. ܃bc﹇&OG*pŊۀ"`+(#\5ʥR0Vq),oǗU#-]|y-|XӔ+SQB,G?dA"BGº|7(^eD[Ӵ/e@`:O{ZM-Os`Q*@L'y{-4^^*C[IS&0-B?8&kzJtMqˁ r剌R? Kf#7B.O} ^nLJEr4_Rvg yRJ@>XW^][`Rփ9ۣE(ҝT}D\ǢP2ly9\]vpߠNSmC" 6p[O#9 Ydfg{YuBxٛzlFinD!놞eA?4!,J]Y|WD I[lUnm`((ǯIUE`16KrLlHyx=Vb09I?7*~VמO7K[nQ=zLP{5ىEY{Fj: `=P 7^BGDHWjp\#YzdRBCP/ dzDyhrCp M:B۽Xb?QpLbs8x&)*R ldW˟aaw8PK>^2ll-o<6r鷁:=`WEfs3)J/ &z!"ŏ]^/#Lw"c&BneKl+ (OUlM;~Ɗ`u! `.pgbRDfX>h#7W9(/~;HSbk`~_uZLQmhL5:% P酎!Խ`d|Cw,;>S($a'ԭ.ur&3ߗ ۬Rx8~xrfs^73Ԫ]wTGAe8HW|:+L'e9T4RTF7 sg.jjm8ژ  ipRR嗤gE(Ł~JxΘs#Ba_`kW^O8Ama  ok,k5m}Krq ;;tahPQ~ra遜H]M(,3_"֎9_ wJ?HWX!Ӏrkrڲ;|9AGsfۢk |SL'}GT;߁u䃽So=}.&bc[KRŷr}3L8$]x s?cʄu?兕SJ]w,TeK&z07ASDӌ`iB\&``K#Mðq˛j+T1_j͎klH+`#4qkldxfVP Sgj3kśa<[}EHs ۂ+e0XnJAK2e¸V\1)söO\U8,AerS~pwDf]'WGmjCL{Awnvcں%X\J_r^"9b`EI"[ ,FۧnE=)q3\3@ W`_|GdD;\HoNbF- {2 E՜u$/!^ofP'F]x½z"vP p)4b-ovD4T@Yr]UU1բz0u|I+\! `oCQFoEe8=e>?IDGo ,.73rb/OrHk+[!@c4%י8Bd~Hxz&A0YQ{qd c_Y=VS:|۷~{X顡}k1{jKMx!z!G=GIQų3w~)gPU6*5ӳF DMd e*_,-v4$ .򹐫/)kӜr_>GL:3t%WыLRSSI2+r}^O7l !YlP7j{IГ/!]!uE?JxMC Aaˈ{) W#k6g⃍a`<:GN9bGx`⏬j@ӷiL81 N2DAtsyªĉ[:;!էPÀuI7 gs^ҋfw´J#/`g؜;0tЁ+q &C:]=)Su|1WL-6MfrĊcg/Y ]L4cHU(wd0B; Ǿ ^WW-):x52Z7Pmy /8S冼 M'\gь#j3AsGYs/hR%6`4 5uRí140潤d3Ż+<]$D˾v&U-ܘ ]45S:~ iǢjE-ߴ<h*D_%?%%It;0O|zb&-1$!91x5^X0-i"[cTLHXo?w1Zr?,^m8vӾ t-}+SNJj9jp6(HN@q 1f68 Yeh", HЄƸh85T{DRT-D1d$nm67|pV $Aa'fO,)$w0oC%ՋGS4Mj|0')SF濲KB5h6@?Šh:N56|(kF`2,Q%Ss [Opb&{ŵ{c;7Zts%e #!&uABOO >{~5w~W^AoElQ`[#񱪄h Y8`Fɿl+&n'WCAcp51m~ PMo$u`<\5bQOk Lr9B4ߥ4dJ$Z:P`TvX*̈́|׉RÀ )En)BL.m-@4)>]t٢N Jگ4ԶYҲA[qG#Y =}ݢve齵(ASdeNFEX9! MP|PH}DqwwabX 8ݪpPՉ(ݙejv huPb2_Y W/^/lA&3aB>|%,g[LY' X&ѥ{U`Z:c+!ɝ\^[-pBL%m%׶*zU-3;Ff1 -pԲȔ]V4E<!*0ZNyTDâihqewCXJ BZml!4EVJڢù|LTkCHL:S*Jæ:iAP'+-=1P;<48"sFsW#8RJ~^p& ^E!r02moud⫰?LؔRaIE,+,-6+螈4ؕ|s!1^tPr6r,>@`JlMq+Bt}=4+S,l9'ntOLnBS̹6g(<2 3앂ld~t9G,&Uv/n/c]_/eח"@FtDOX_n'!?M."M#RvYzjAʾ#R]W"-L J㸸;D (bO'|P>Fr.´A%hrA(-X Rn"\zlq`C6 hɑqtVϵaQMJj:뵤#fmJh6)nq=R}o8\^Lm agJS0K:z1ЬUk'@&[E䑇QGzA&3Hd"]&dR8'S]c(L3'( MQEٖ`#w=W2":ǝb"d, +8@#EzMV詼(mdOE!aTVL_R۳νc6VxN#6r. g MITFa-X vfVTۇKy0a}qƣo)5q C}h/a*!lРxH_l:i{$gOׯ w$CO跋Y?|PNzCϿmgR}mdFi̵AIP6`=PȝNn\,r'X(1U٤+EV' -ϗ?QǹG,-=:{S*;Ǜ~']TAaxh 8" ھ%mJ|[h%>Xa7+l-AKڀ:;wh?s+86`6ԾeGuq@ӆ`$dXAÿ /Ɲ)'֌2ށ!O_J f\<ML[$lpnX.giP.A]ŴQBܶ.ʜ4;qH Pcqq;Kr>oU&}CNr }a4w(Ay |LJh0i~l=Dվ|vyi^+)-Lb'v[P3Lyf*dZJ,}0h8}F`EDSR|£R4BoY˼rscL3Z%f'Y2;B7ZU|;b{'Wu .;K44-c%,P3`G$3*^J>iЇV܆qwI}h1tUU^$H+ 2/rV̿HXDIcH!+"XH5Cm61y|'`eRfىm&H]Pzř#GV!c€!qhTjԛgFl*p씭cNY(n@:p6^\D_4 K{/2}|0S1'SxAc,~G@@lx_-nʨwO vO~vWxC9nh(E0[/5Ôw ~_WI:udp+{?D ^yfA0󌏚z[I=ISN;XUV'e&:`ۤL<V㏷YvJKB>$2:XI8fy,[qc bdabi%mשWA aI:*$JB:eX5l:"Q͟ː`X2RvzLM.Hf=J~}v|ѣWH@i=^0A1`9*/n1]7ċ'H"*!УUOPwtUnm9(3^ws}^ 66G}l EzDM#JjF.O\ qT5ہCfZ& !<' t\!p&cH2$ԄR( $̄f>.@p^C dsm8;=sM>:deZ&h0=ϊ9e-H(("y?щ-$ RȒšGMsns)N-*9L(JK8*~'鳔 i@Pԧ)p.0Mi  Y+Cg+7XGa,!:w|5 { KIj8IQ&;8f묡l.3C w*N$0ԷE7gݘt=iαT%\a D %EݟI#m*p v2%KUF2{ Qge@6h;bԛ˶/_çza%K2ƗEKF]o 9 $R,MMXڊ$+ |GТ W) DԠ d`ҳWPw12g5pH-dVRϒz=O;y_ 1LypdzC HTsr3VLIcH8')=;c$^Շ ./F JS*Hg%~~7'J SPYM ]eRK4&82sY6HZMS_ n&}tmVG ^7]bcYUuySeQޥY`RUX:but,>-:C5(HbZJc@@K)PvPk1Ik);7)Z1L>uXX~ةؿl+I͈`>.*`i1(C/^.;#hkyK? ^9-: (n-aVdd[|Q޿1GyJc~9 A@N>$OE%|$M\_Mg)aCTbSdw21!ob[[<]уW#,PyU`C˾+'maK nG֫ vC(5f "KMS-r]rx3HP3B]6PC/ѽx{ O\ԮY&])p=~a9ʹO!<:9UB3d0!RA%k<0Խux1s>35q,joM YZnFsr,B2dx5ƑzioEa]c~WuCY"FH5$t |^Ir׬@b&E쑯i#ͺ`~~":;.qPAs3?,[g .*G!7+yJx^P1X"+~_#A<9Hr4Uqz>* G/qi:>y΁{O5rV>&$GwTud~Tsg޶K5R~o*x6|̜giC9ъb I~4~/q RVUdzVzN bjom>Q$/4=)0TPBlpvRhO /SS̀xPBef[ S3j;>ܪۄ6[7pd+~(@MutEP,Xhp@*aH7)̮[NupnְnqA)sXB tJr0NTD?%B?$k%4m!ip] x 4W?xnA !_ڡP?w%Â#5 *vaU㎗ e:Qeփbb!;ONQĽ@7ex ˶H 'hWNQTy!hJN{?q׈N7zgb{Qtk&jt[֚%|Gwb`9=p( 4H,u+3tJ ڏQ:e=#WlϦހ G^Uᘨ`"~.$^ ~P w6埁0?ŶUD@lν`]eM͢Q9[s 6VY@!\Zb]; Dn$5QD#F@:U3OBl*Mp$.TaҸ5곩nBSC 띝2]/et#7-JSE.J0O!&a͟!~op6Hqdx\t^ n*oh Oi_0+V$ʤa\ >xNC2MGh`R5j<-MNtWGF͝^>@,phN *iX$*MG%4T}<b:scVBagOiqc}hž%ڐQ̫__F878!hT|4] Ktn%Lj/2 Nx3:m!V sHC҈mC _j^礱Uh}5p>FxrĖF~ D; ZIGw։ִrH'pKD1z(Dף+4YnuJ ߾ Zlk3 p ssv)>܈|s&Ԉt\Yr5rl#yj_%^g%!z ƐㅊY ohDŃrqu^bkR\Qܰ PA y)4i!i7h l8fLSZ'ҹeD8~+( Z,UF/V,Ю CPu.$Xc;>À|ӗ$R,agT #Xm%4ǡ~;Է R|򉒡}U&VlTM7SAk-?seۻG[  :,} R!g}__.Upw:,бvH^|ϻYJriKd@> /-bUH>b7U/g4OA30#2ZvrЇNY`=gߚx7ke#bݚld+YQ.k N-?U$j.2NFgg旕ESwMt58ԓ%r mNlRyO.Ї#>x8kEgpAg>/Z`Q7)_>̃??`+X,3MN}ebus4PʭtI=-n6]RpD;vMn-(ئ[R7űa^ u-~|ns4ۭG|1TLWe_$hWr ݿw0VGG%؊*($02AN2NrZ.NagſMr1يv/wu lRh4.[ qA!.CO!n̪;][ތ "HGE4HB8q_UY*YV"psM*Ą05N(1u^z$ }2m+$߸~ DZ%9/⦴ |p*1[mmKu{46{2 , Ճ;R˪0@Aɑflc(x%ǂEփj T, abє:JC:NfXE|xmE>g,5 N~:Df@0 [2_w[hϣAZ1EBe<^#vVT0{͐<>‘Clro_*A /-1z90 0z^ xCl'^RU+l 9c;pog(Fg%3L3'͔ oD`A,$m7QIŚ(\ZX}o #Th1 &0=ʼd-UtUFa+аʼn?\$V~!^X+F~Z$2v%VfZ;f9Nmh>7 AzQBOm+{GuϏjp[^=j1|~լi1YԫA5Cn oӓãdA/ko`MGljwB[)"29}Tƨ:*M S"CPƶf4_>3,qw4ɶ7IoA YnhԳp2ç̜m@GrD+4N\.707 7cŠ/CAfLj";5@H):1~PQ~Ӗ?]sk1^?paL 6çk+'V-j@qdo R!J^@.hL^z i4F=U2]*`2۠gFȚ:0+P웚9WPt\fNڑEpq ,RYYo['Ad؞ %8౼FJG6˾!H .^xC |uR bt%\V(љ~:Qmd?m+-b fK慒+tS%]Ir~ίd5^HWYGŸ I>.l8{ypg1JZ02ꞃ>ǎoU RlTrth; ,"C.V@9>_rFO+Ǡ3&8rXmG|ЉEf_+H3 e_oHbI R2yRt':k9ȅKeʈ2e\fTO@s%'q"I@GYV7j1gYZ7zXZִF! w]ŗXiɟ1˦r+ bVj mGgpCR89$! Zr 4NkK)vKq$T ]i S \9"H>!/W\u+sRs%1GY0o"{b_`Lgh'7/x?Yx_% b7X;Q"p s\jl]-S$/ .s&wf풹82f\Rp;$:9t`_"'m  %Q0Z?ڎLcGuHn¶CYFw Cm9! l6: ԟXхE65I{>X jJ]u_fn.eԯI,[pegh% `6gYZ7zXZִF! %]ŗXi%L&r0^xLw>eGG]]f~oZ̩*%Q h \ZBSbdžD^t!҈ bwN3|x0EJF;(B<&S(O&ڮ\s07eGkjYnףc6$ZYk׬]ͼlb9@GtVk=lzCM-a~ˢ͹v)%ֹGPp'ԐEYr*@JRΠjFJ BnZ4p3/w_zW+(Wj$bۮԞHF'3l-gY\ey4vy%Bs;biie Qd݆䋍V iѤ*ۜ< ǀraAz-G9`Wvk* xwAnT%q_W,!R:F3F}G9)eK]KٕyqA 9:7el]=7@J>ֳV } ;^u  Nrz~(.1m2ʉ'R:0.vPU6>lȣ!;en-b&yZg8 t]5(|ͭKi`bx[T<ĸT")y11tcq0kɕAW:֑X¡{G0R-- K9[`wmy.-岖{,0o{7vQAQIA21/gMa]JХ5>RjE`CT눇F&]qt3#/(Ro7|*W]DO"J#x Ҹ'7y jΎRfÙW\J7QQlD;g<.j1mY3PunÙA mNj pgjupObxO֞O'^ݗ,NT˱\*CfE{`dN@'0;1y0nI5b ^{ʰq/}p4t +RzpqdT+^CE)n`z5Ҽ&akM'"scR~;1Pg]7X 3~x 4"NxY-sڲ.Ml+ih<ώrg wuvlY_~y'SYK77.'"g`-ղ#H'ݢc rEdUBHY^3,]7t{ }?0^"lq8Sj h:&VQMB>5ϥ1ElatӌP߸339r*σ(uY0eS͞i\<V|ۉU<EYݓ %Փ?P99ceGSQ5!SsTL3p+z|6c@Zt邍\-hdrMy%M,7K8ny9.hz?Hҹ}2[M?MlS9q|=x] y"lJcFl cBQN}J:`xu=j"Kb)NƦ~,? [hXk"tB4d8}in $Z-=$/~ÅEJ6{TH,|xVBæ@ d*-bjf޹₋wV͒8rw* C_OP݆ΚHEI6/տ鸞>A4 c &kK[yg-<+^,9-8G1svqUh @Vb_×c>TB^E&K-V#>sf*8M|U1VGdSeo!҉O 3; (988GY:,AM>l8~;450>9M)-+8 \1ھ@Nք$jx׏,vShNFN\3HJ)]2_GR|`Ht 'KG*4Ӏ!-DQp ou@~' RT M$%SE`P3I#w$'(j=j3.zRa gMXto۩tLS䳁$(/aZ:hC/% ( #jv;8ZF$"I8XQ76En0xQ2d cd)rr%.p:!2=[K>6gfIRŇ>N>Z 91W"kS'QcQ%(AJ-<1K-&"y@?%^jn+Ȣ=/hDo'WdzM]y/;P4H,hS_B]eXNm]$W5 =tp_K-rf\4nǑ{a[J"Cp^oʜ"^m0Ikh,GkBƳYf7ix#g,>URXזVMf3VxPJB98:ҥ LlqKG= -LHBqKy(jik%y֎J)֜a9ZOن^\Bx|lnƵ`IDNOFwf|- .tM-bNz/C՗7l# 9moxPp`!1!ו//,5e6ÁmuaJ9 @O0%tU*u9i :Q`sfq!1uf.GO !PZ3w(!H $EUᗭX?Aڃ A-.N ynpV9[@h&J&;1TÞfL4zYzn?r ۹TFy g'ܐ+@ !L%EXOi$kŕ#zN-x#]ˆm~ἵeH~ ߪa >mHbd=UkcNVv*h+mtf+5lP?&Zdñ`.:q*͘v *TjxBHk&A*]v6h6h%ڸn}jngg4 @dwHP'q"{G_2i ~SdJugyiK m"AWq8%((V<$YP;yum57~ɠ6&bR{ bՈ>D!W+YbȢ,'SRgD}Kګ(7 Aa/Hx$̿E@;;4;3%D~\U Uz: ʓeMj/=-% q1 "ičsvpE*e"U roŦ]lagcӤY dи]v kHbѺVo6!d\]0) Ɠ{{p;܊1(ph8I3j@pŔM*\m08}ر߈kP[VC R=&+3&_?=@r:@lKFŇT$z|zay?W/n+B$`W4pUrXT~/ĥE +z i0|Ei܍[=>ZS0(]/+7k;inZb◯O-M``$\+zXPbA_C$0wCO4( 4"8jv5C%Tdo)،8e #]~iHW)(R;w,#o%?l[';;84H8&>ygYZa03a4960eed22849995ae8522fdba24fe4be22c19aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535