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 #9\D ]% HOL-Codegenerator_Test:threads=2elapsed=358.261cpu=317.020gc=12.344factor=0.887zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%yǴ{`0$RO{0mUuG{Ϲ{+i!n/k>Lnl -#9{^r=޷ShrXӖ G?\0maH\'!r臄H5GD pHRѽpɃ'PMFffd.e<b7?p?Xw8wo8.jQ6wp4 sszRj"ClR[YB@B~ ?C~?-bۢ%Gޢ59}bb9`Lբ>u79=s$&;=`(OrԻ0C(9)bo 9ĵP 7$,P%ky:++y*'|w|"3Pi*9AaX464&$= C# 56KU,kvfyR֜fآbťmq, ڇe9~ UVu_jȺbK[w&HatzV4;'mhhn3lTT,3/ zW1T00,ڕN" aHe ܿ@ܛ,sl,k;+8A/ީ;=_OXy1?ۘ@&iLLpr;[6I 綘}?QeA@E4$ I8EӿAL!{"BhEE;^qY^-m oANε& ~l^t!2@Le1fpDYM5[**% ?AdmgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓ떻&iԅ9v.[c߅Gwo}7\ ~Gpp3f|( l@g{5g)avKMWlR@];c;#e*Y Axrt~$(z_5Q5@MUٻRLRqٟ0uEgg̟Ti7A¯vv,DT Y "Du9H*cNl%=?`22<JۛH7 LVxx8"0̠ I m zU`#[i.cM 9ՠm0pVm7[!_,ľ먷ϭ(0TV&w‹IIP[]R\12\g܋v2s03SMIy^gYZ7zXZִF! =2~]ŗXi%;kcc %^/J#ux v(d5cNm8ͼ'fA %ud$#'wh(n_6U>[!0<%V@h+S1fhyI7T!ܖ$VKGlp2 Tk]{/9 sT_kI6#mŷ:dP8dʚ\'hvx6/ b5JeULiQ! ,pUZ}f­:x3J C{zJٖ̚4M{:ecٰ㡒%̄-}"/ZYEdl ~@eRDbfۢ{M`r%$tM0Yh Y :&KBhQ f ]+ E-y1kn2)Sh"n(y [xJLߞ'8ھ&ÍThƘ i8s6#H}]mL(+A:Zxa/gb4z\¨ h+>;/PS@~&&XtbF3հXtb4]8AoRgJVM}JFٗ [_oH9(yO|`/LVz HOL,Ż5N,#M*v&R#DzECJ0X|аOE (Wlf4%[`S#Pd-ysv࿣"~Y|NM u)e4 55N_TZ" ?>T "4l7JbPb芄$s >XV5v SHTFRm7V =EJ-"{rcs.:g]dr#3~,*}o1,A~R$|_WSAZ 9 HOL-Codegenerator_Testv9W% \HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Lazy_Testdocument.tex7zXZִF! ज ]A-MՋhvG"uIBm5T6Y)AEŘmU( yg.RIbkS*~_0ݩk-̐k8$V J¦ߪwƄT_숲8G2G{ R–>f3ᴃ\J!}D8nϘ-nxĜYsu u|AguF3/2\t<+ELdׂҰZ+a`LOzUzW*5&Ӱو c'_cJު*C!/TD\|*`+i5<' ALvAr[Qt`Rd>D (Ooq述U_顗;˺$G8l9l72rC)r![hs CEu;4^3S!&*CMT7l_)GmZ;Gy-`^k"Mn@V &twH[C3S4Ql5Dףvx,\SSk1;f;lG,Q=m'!rAG*HPL~!HT۔a+ H䁓 A;eZW_b.7)2ik?d;}>w6Z~zzb35l9Ce_rLPB*D㖀}ֈ=;*di[ZWatTXΟˆ0 *d!1~ eQ؜ ֒+0&|jLHscn #0Y}"&T0NڛcͺQŢVIJ%8Iص:CJ4k lN.7{bI /q~:L| R&bf禱AW}puC]wo@oa pĉ4C#1 o w4*jc 0(W m1 ˇE}"d)b }^b аwͺCXw->D8 5)&g0cm V?F`CU[*S񎽰5pirz3~{t:+?:%4q\$Icm#WL6Ӂ\탩]{pkւ>%0yDfȧLȤYr{߱&b {]6efs^ͷ\U:wS ,r+Gb;nJN&d;XI5xtU`2>ۏ HG%NE×~޲˹t ƌTTg$`}}挤Ȭ8T5r?lƣ[(qbHWFUg0W%W}X7=Cls% ʩHcGV(n=wN$|Dn8NUB>6:%p!H6N0%$xj1G<'Mciuf@u;L^jpX/8)|GŪ pm\?ܗ28?hEpM ^8-x. Ox½ 3T?g>eRp :=K춺0Y*ku٤@EHu %K?(Ÿglj>=҉p*B,ܓLfEA Rh;y'0!M@8CPSuor}}NUG6R0vy63L jXA M^AztT. ,(en[I~$Pp HNɈ@q^ +_p_n?(.Bm;,,f Om菴Y(⥈l8un܀fX@]# Ԩ6'գԤ=#$'"n mY*3˹_A?/`!'##j5)ؔJ՜V:OJwgyѸwSۚ/*Cvj8_I@eJՇy291g&7"~geH՞WI*ch lZ~o쩦[XZkH vlՅL~w%T;lJk2%  ֌6`Ӵ7 H@/$ƊKҷ_83:xE_ O%p.:uޙ#`s[IG7`SwN=id F oFO'G-rE (Уm$kܳiϷ#Lϧfo^n |3<4nh`s\ܙ#[fa.x X gMɢ4{13ǭp|p3кBRM\EyҜlii<~I\n 3aџk^RX@Liݘ2#fb&%vX4fS~/>/=~j0o~ڢo+wq4y?> += &XOǟ [J[;#EFJ]]0 #NQu3IQxD(|'Ѿ%fI__1< he,w8`6@#=ZA9@gz3`e^.=6wEчO5]Z8!&ƺ(N       0 o  i Y ] A 2N9Y%HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_SMLNJdocument.texN9Y%HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_OCamldocument.texN9Y%HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_MLtondocument.texL9U%HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_GHCdocument.texO9[%HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_PolyMLdocument.texR9a%HOL-Codegenerator_TestHOL-Codegenerator_Test.Generate_Binary_Natdocument.texG9K%HOL-Codegenerator_TestHOL-Codegenerator_Test.Generatedocument.texR9a%HOL-Codegenerator_TestHOL-Codegenerator_Test.Generate_Target_Natdocument.texN9Y%HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_Scaladocument.tex?9;%HOL-Codegenerator_TestHOL-Data_Structures.Cmpdocument.tex F9I%HOL-Codegenerator_TestHOL-Data_Structures.Less_Falsedocument.tex `9}%HOL-Codegenerator_TestHOL-Codegenerator_Test.Generate_Efficient_Datastructuresdocument.tex D9E%HOL-Codegenerator_TestHOL-Data_Structures.Tree_Mapdocument.tex I9O%HOL-Codegenerator_TestHOL-Codegenerator_Test.Candidatesdocument.tex D9E%HOL-Codegenerator_TestHOL-Data_Structures.Tree_Setdocument.texG9K%HOL-Codegenerator_TestHOL-Data_Structures.Sorted_Lessdocument.texE9G%HOL-Codegenerator_TestHOL-Data_Structures.Set_Specsdocument.texE9G%HOL-Codegenerator_TestHOL-Data_Structures.Map_Specsdocument.texH9M%HOL-Codegenerator_TestHOL-Data_Structures.List_Ins_Deldocument.tex69)%HOL-Codegenerator_TestHOL-ex.Recordsdocument.texI9O%HOL-Codegenerator_TestHOL-Data_Structures.AList_Upd_Deldocument.texL9W% HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Lazy_Testdocument.tex v9W% \HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Lazy_Testdocument.tex7zXZִF! ज ]A-MՋhvG"uIBm5T6Y)AEŘmU( yg.RIbkS*~_0ݩk-̐k8$V J¦ߪwƄT_숲8G2G{ R–>f3ᴃ\J!}D8nϘ-nxĜYsu u|AguF3/2\t<+ELdׂҰZ+a`LOzUzW*5&Ӱو c'_cJު*C!/TD\|*`+i5<' ALvAr[Qt`Rd>D (Ooq述U_顗;˺$G8l9l72rC)r![hs CEu;4^3S!&*CMT7l_)GmZ;Gy-`^k"Mn@V &twH[C3S4Ql5Dףvx,\SSk1;f;lG,Q=m'!rAG*HPL~!HT۔a+ H䁓 A;eZW_b.7)2ik?d;}>w6Z~zzb35l9Ce_rLPB*D㖀}ֈ=;*di[ZWatTXΟˆ0 *d!1~ eQ؜ ֒+0&|jLHscn #0Y}"&T0NڛcͺQŢVIJ%8Iص:CJ4k lN.7{bI /q~:L| R&bf禱AW}puC]wo@oa pĉ4C#1 o w4*jc 0(W m1 ˇE}"d)b }^b аwͺCXw->D8 5)&g0cm V?F`CU[*S񎽰5pirz3~{t:+?:%4q\$Icm#WL6Ӂ\탩]{pkւ>%0yDfȧLȤYr{߱&b {]6efs^ͷ\U:wS ,r+Gb;nJN&d;XI5xtU`2>ۏ HG%NE×~޲˹t ƌTTg$`}}挤Ȭ8T5r?lƣ[(qbHWFUg0W%W}X7=Cls% ʩHcGV(n=wN$|Dn8NUB>6:%p!H6N0%$xj1G<'Mciuf@u;L^jpX/8)|GŪ pm\?ܗ28?hEpM ^8-x. Ox½ 3T?g>eRp :=K춺0Y*ku٤@EHu %K?(Ÿglj>=҉p*B,ܓLfEA Rh;y'0!M@8CPSuor}}NUG6R0vy63L jXA M^AztT. ,(en[I~$Pp HNɈ@q^ +_p_n?(.Bm;,,f Om菴Y(⥈l8un܀fX@]# Ԩ6'գԤ=#$'"n mY*3˹_A?/`!'##j5)ؔJ՜V:OJwgyѸwSۚ/*Cvj8_I@eJՇy291g&7"~geH՞WI*ch lZ~o쩦[XZkH vlՅL~w%T;lJk2%  ֌6`Ӵ7 H@/$ƊKҷ_83:xE_ O%p.:uޙ#`s[IG7`SwN=id F oFO'G-rE (Уm$kܳiϷ#Lϧfo^n |3<4nh`s\ܙ#[fa.x X gMɢ4{13ǭp|p3кBRM\EyҜlii<~I\n 3aџk^RX@Liݘ2#fb&%vX4fS~/>/=~j0o~ڢo+wq4y?> += &XOǟ [J[;#EFJ]]0 #NQu3IQxD(|'Ѿ%fI__1< he,w8`6@#=ZA9@gz3`e^.=6wEчO5]Z8!&ƺ(NDDLJ\r=>gYZ }'}9)% \HOL-Codegenerator_TestHOL-ex.Recordsdocument.tex7zXZִF! (]A-MՋhvG"uIBm5"̅p7|S\j`}v>d,݅ˑmp^mg窖DOsc~D(C ܃xj&21hc케I="9%Љ&ŘBJ`k{~}pT?d\, Va4Ne}n!C?#xbg#<]gB)wB []IjPB oauA?#QUH X-+ςA?w US5^bΚJݽ+g|>KYG*[n Ыs/!TqH4-te. vJ2u4s6?-(*R)]2ml"$oagwȄzH9ѿQ"e ;V̠T`S&L?VY uv^wOx1/`&l nR{vUa`~CRT~.q^>|Fh ~&Y+p> [KV9O% $HOL-Codegenerator_TestHOL-Data_Structures.AList_Upd_Deldocument.tex7zXZִF! K]A-MՋhvG"uIBm5nВ *(OQ Z:P;Dy5'Zxu@43%b>#  n7s:IdTjٙf|aP-U'nlճQ'4v>O"EemOR\8NQKe@IH9\Xdo!iNJΝLScѢ:F骻 7BҡcgYKr %uj /#yZ( װ|. ^DOz1e$PzR zMZUH^JXZJ[˴}geַl*SԕPem?>Y}N;UQ6OמTd >{̶w|;T9컸m\YتK6]sOj7q5ݫڞ7|dh?]gSfZYw>j`Nt 6tb{߱\`՞ ۶G)-"1P,MD.͉4Y2#n]^_h98+fë4/E^aN\YT;\B6j{)bO"U܉1@19#c8i{!=iÖ\й'& Hఖ5s^wk+օ9w63p5kB9`"4Yko\Jfjt}XԞnΣDf$jT2V9g?[ ^Cq*Fim ׎"?݄|7Psj-2*IPDӫxhKKF8qt% 4)Liq|U3# 0tN?uk)89Պ0GpaL9ۋ)Cc~լ[#H_1kN]'&g0J+SS-yy,:L;_( Xu,(гiaV2.ȳUԳ&oQtti3$uߤ%Jq:X0 TYk:Sݐ͘0'y5!{*`P`TQr.C1]4ZiBłn  pW-vRW/SZHǍ'ףqWihXӲezvMAh]1Z!+c ƶs|/!n`Nιqc&OCĈv<.>zE:@X,2${!;z̟ /&cTYl_iJӯmsR=f#}"]mv*`HW:fcxix*Mwt{AH?r!CZ)}k C\  Re .V,wݘDjɓ7i`g_ϷU?w_*bCZ2$3äQ!Do_iW>Dž/cb5Μ0ρ$Y 4lmZԀ2OvNփlzF9J:G:hSalRs?鯡qï^g ƪ,{nяPn}!jgu}pXh\vpٗotMtSPj .խĸ}P~NIs><}EV7/עwnOFȌԅ*V]0ܤ6,RTwղTmw_ZYPPHjuI釜Ul`%š?Lrk8KXE)=}te yt*P#QՕAF7ΛTOH'`~-=J%2\)gi/nQڄ cS2Guqȝ7BE2N+Uzox \eZi_/5{3uqVfܠ$KUu BHhZO6voԓGک#篽~kWiŽ&ZŹ(3} H^ ^J]]ڻq%mF.Q`VƽV!Wj,Sω찞52 tyN| / j/\!3\܆(oU|'SgOhCkQrd?DRlFvNc˪?Wb~g/ hDr}~EcW߭"Hz=X| j'NzqNx< m E({4݈s=Iְό?Li^6rW}Ns qgLo ~ڷ0Хpn|a˅!jUU_L|vlYPyB?HCX?gH-VnCT nբHkȩD;摡*V igncz |0nӻw+ %;"y#W?pS{W7~Y\&C9џ>\ZfM"V ]#c|b6 w/mrtѐJja;<=~N|OGPegAs@ M_mfDB'.|GA+|V$!Z[crA'{ƍ Hd$ib3D&nb^Pis BsS 썙 `XA9@!Wn թUߨ p=deϡYYx0naf:eRcCPoc8 <vED,jg zY,s9 ^(ϠR&yI\JTe8,#e*]=v.uxg6[07Ÿ譙7LNk=72e1sݒc%'0?ʞp4+/+5^3@nwbsy0B:#u"/-h450Vs$\`-xjbyڪ|JeY˼;seĔa?yc Ӆ  {C93g(ۤxL ux{X/ fT?5}Ǟ(&-FK_UP;(Pp^/:p8 vdIE85t m:NbZF- W{ɜmY`<Һ+;JzJ+˚ZזYԱ _ \d3HXҎ) \r15}juЋɧܜiܿݓwe.t\Ʊ5VswW_%w:]=*1r5פ!JͪFs]WTPg;?Dt:j UkOv=+A琾y`i9\RENfBAL;ύgM~./nXL{>yTo)0ٿA|ԪVx&0 % g`I#/|#91Gl~gѤM cM~N?wvtM =O`h VX x q8jO+irjFטwwA 0clr[>\g1=[+vD-N63H߹BSY4j2::M:R'4wuqpZbm q~~w\6wua"z32EKE`gO hmך'^Zw@OD>l^`گJhw1 b}zLJV(=r7qBݥ nM7smXvc A^.:;k낎972~:O -rxAYO)L+4hrmμ K1ˏrcTր$z"(Q+R;|ﮣu &hF/f:-f0^δ׍IG3TW%3"ޠJp|]@0_5Qp,cfQ6ʸBFMז=gW>9h&NLSgf S'2 hfKNz]?8%Y}' Flp K^ fR(P94+fe0WDɶFC%#jm|6>Y+؝6FgkBRd?::9Y܆oUU'i޿s4读!%BS>,v9e; cfr* Si hfI<֥ m寒TtZCj}UgldDgl*]_>8!Z쇎Z&wbUB|={w-u\uAmzDŽEे{F:U 30Žp5 zQz0-`r]>пYsEۢ,όᔡ\l8L;2 `rC _P+mSp?TA Gq˳gc4ǘ~kLt荁{oKåuXduD@*ɋsd6oi6l[E;ªxEZ}@v>XةdNI_4L]5 -e44CG/+W+Ru(s0.1tHMȅy ߻_%O=p{MI\XO)#GPU WaDq$faw^ZpW@qCX-SJ-gQ6\vߐwƒ& \zOں&X4d3BjPԦnGh;gfk7a&7Vo3ÖfQ%@ |ӆ(ye®Je?pٔv,m`I?v;}VQާ,Ae/s P  D}8ՁANX[F$q%+*I5n`([:g^gUj@7& *+TY2A-ȱytCZ o*}[ do_B-V$w gYZ  9M% HOL-Codegenerator_TestHOL-Data_Structures.List_Ins_Deldocument.tex7zXZִF! h ]A-MՋhvG"uIBm5gq3P`J깓Q$}oroKB%[ 9H(.Vˣpq੓t߱8Մd Y$⢖#mwG.(gXU}Wtu8=}E2@ELÏX𗒛6άcH1PZ-Qxi] 5i4ĀīI^  s׎l5=gfڷb,+l 8x8X31$UH&e ?bu2D*mA_a나-6j ?8뵇 |o?-a>hv2,MjI%0T9{WO\ HPs Y0+NlVNv< r@/MH=DSEuLlhAW'|!MdB}Ԕ`AfP+Tu$ 譿dxD\daOM6Щ'Xp2 {hCq[].jwM5 DxJ<\zfЭ޼fP) "Ax 8gf\E*=9k9)ǿT3ÙJ1d$d W`FܿBnfTCbAp+-ʥ%;R7\2G j}NTHtǮu3(IN뱕nleFz [%t^Sѱ}PPE+  a*=VA"  ǖ jֈzLOڮǷ=p[j-uH7';]"RAϡ>{p6·hdi }ΰHg<ʬ o>И?"> ٣4hx;X&DniRC[lL ڳXi?&PPV@&H o[9 #^w0"q~= 1KY5TƀY&?;lܶnM0/FBK o ?Xr؍DI_%Por>ªn("`J"Eoܳ$rt([(?Ux)w v8qԟ)&@)Ԟ*7hdEDEiq:OgXc7'!XI^N څ蜸9 \J |Zu{>V3_z ֢9 ܶs*Rxܝ6]4:C3\ D+6瑴YN[{n+1G`IB750䔥'ez^6TUKV/$:lSY:XMZ @p8.3)|%Q<UeYv9@_Y8 vsPot/#g_{~t2'>,/˷Dxf+%o `p햆vdTii2jLEO~o#yEHҏ9!Y&C #\};S1h RUy07+B!d_""'+`qݢUbz[CP2'R(D Pwd)إ}.}X?GAv[Ln"]]A;۰~V.եlA%AɜCeYW*^f*$X}5͔er(wŠm?^O >dJwԃ;TUH &W?*RCtvfN+WߛGH觽3_ۣZϣJ)'nP[ w\ EY"G=|a:ET]N 4T I"Rl̚mi}Y `cLrdemVW):M=:0B`z\7}L9>h>_.GdC&-cU)#0Qw|.Y Fy bm vXRX&VQ+z='cza [e%c~aIi7r5{BLPheHК3:r vh#JTKOUQv(ğ8_hS)Cp]0j㮐). Y7!GībkPHuT7pY?1)à=J IKKjR8BeFK nqz2Lmu%e#HhQ<;dE*EgYZ R Rr9G% dHOL-Codegenerator_TestHOL-Data_Structures.Set_Specsdocument.tex7zXZִF! ;]A-MՋhvG"uIBm5#'NQj`d>܊ㄢu $@BfY+uͦʘu}SPӗ -J!48l MoJk1!юhȱн&7gJ/>\єK]Lבeg= _h n>oHFBA g2;H_44F {P'hbom?W[O^,ٵR>T#; J*vF}%3E?ە6q`zq tp&EMU}ypUYrˆ8bHf|jkyJ21~.a)iȻ>47 UVߴ1C^袅?Gi*|vvPD 5- S͠ݐ5njxnۏ.]AQ:l"dTTUH0-5]FBE aj$ ,m*I5ѭE;۰\\TJ8phbaU+RϘ3eL~KEiE~e Mni!¼.\Lŷ|ĄuyCa8]xY)!di7Z/ۗVrUD9HVK—8im&B%a`iWm!iٟ]~ gg-z\wO 2|E9V}KɹJ OC-sg{34kXw 댟6Oγvs3|%7K-i]ıg8඘ r-Jb*2 䁽֘bzK}ՁC5ql,ʏ<`˫~пgq ͸ ޘ4=Q&j4sY= ǯy~>E< +yn!7Cqq~Dԛ;w {2‡D4;knK/oc?eW;]QBaw ΞF0i]KQNZ\ݡP4vUѲkqSg%lrD, }0' n s{rLނId{o_ۚ$|#Y1Mve^\yc=ҔLz<ٱ'ju ۤXJWk&LIز0dZ9$]K-E[#'} zֈ! XYU?i'KdVV 9eEEQƄ~ϒT'C;0p'0R)߸_W]ٓFSBKTG|nۋzZ7#uXnTb$w#[#S׉(E;>;-=3Z8*(}:a4y_X(EPQ M)H=l3@VwL R7s3ɚEJeslUz}bZO=]ӦVK#Z6A-'ɔ\B!V٪  { _B6uJWڲΆSR.r37:[/5VSՇBjg 3{:k:>x3{Xۢ:(kNkZc9 tɂ,@+CO`L^5r@ۭZOC63Έhvӈ{ByzhXM |NV~@r6 ۥ 3wNzif ͺ=?p/RL6 }O>smoOk)n d7WÄ0\udS߾(?{(&\];RMN:2lpoǻꚏǬ(j'D݊BGQ\{SKU1sZ")#3VK TYU\@_-Jr‡$&T"&EɏgHƚju5+k2W CǴ3?oYAjM74#7Uuv:tUhm8;ǂZ.XP9$tɄm8<Kv:!AJnt@oPe{IXЃi}&[a}X|'C k1j@a{apzq(M 䟅SLv4# F^V-m >-Bp쬴gjMJvFO\z3ؖȐ !?ܾ@u%Ї!fAYw>nb6ZY՘T##=EuU@V˷UJǞ=w]..}HvS<;2f3*rh)w9`~$An TUY瀘z~ .򫱝[\jΫV‘:cC?rĴ^6rImeziBdaeRI,ևUQm1)qnWF݋A%7KC; 򕫕p2(-6X˯ϛ/y(3G5Ty$$"K{.{5rJ~¨; n^9n~u)c>];D˱2-ChT/]i.ɏ@/ $R7 1KWqל[ٕDA:%rŅ0 EOpJ|=8h_ּ /ipfc![00 2Ş|t?%hzSnd}ej~iFC'a yRJhMɂ|JRr9D"rCCTw$%X1OV+U471]sycK|#?{Vg S_6 ʪEk,L$YsU t_RmRiL ":mZ;zi9k* ՛Pz)%{`PbqDfNܩis{>a~c:3 2xі9;`K ?-}C&o\ d{BvVB\!>X:m&2wvٙM̑HH⹣Qe[f`j!7:WEya}m2ϔASrPyFb{*Mn"@+pt:Xzve ZgYZP9K% HOL-Codegenerator_TestHOL-Data_Structures.Sorted_Lessdocument.tex7zXZִF! *j]A-MՋhvG"uIBm5ȧ]Tȥ`R@ņ04tqu9|D˓Ҧ4:2.x2wFII\LyK\ 9Vn1;_w)g񄗭Qɿ*E`#x4*F?(WZyf1Э7lb]ތ>N5d ˜At]F< UeMYD{S f<: h Nq>ԙC \4*RXTSK g7`eR0,oIA2ݑB}}2sMc QF+/s XSU5ucn6_Z!yHm3U/VSxxDRT]8r 0_`5*__R=@]KUZ-`@ \gceø>0bRh ︧=넃8󊙠ӗ0P$?ngauC Pa?y06 !4d$"5ɑZ5?)iRL^)!GDSةPL 94 Ime 0փqஅ̘TԎ T̞NgYZ ] 9E% _RʗoW8Q},xn[qA9|A={y9b"~Ku9+J#Z.>Rw@86$IqT´cqNeI,5"b{"okUA?bߜ VdAN #ɺT(8PD.FfiM4U{Ƹ_lmPIT:o&5*s%|z0 +$S8ksf K[s6? hٛG e㵈!ӟVaMVNKdJ2Х1f` PCxgYZ 9O% HOL-Codegenerator_TestHOL-Codegenerator_Test.Candidatesdocument.tex7zXZִF! !y]A-MՋhvG"uIBm5 Sl /ƹL뇧;Eyd柰GUjbftKw799:gh9ىFN~=KSuo( q<;@ g\6 E+ȷbɆARϷp6m}w"[6+;<YT,7ON"MzVY!+J6HɆ fwXLsw> aQ8fhG$CF7Ԍ݀ (j ܺzy֎$?o7< ;. ^R6z~ Kɭ Q <^Fuf͈giE[Wݷ2 I!!cߒ =zbRs?'l6,=M'6q*'$ʾ.'ța1E ^ AZX}|-p[51\ 'L럤1ENDq-(n0Vv9uG *V]܏lnXLyg| 'K,t9s68VVqޒtx4Uss36/2Q CpDn+ Uc )oFb6)+Z"ǢsdI&zaBAw R9uv䳓ЌF1_ ։|#ue[$ZYDWjeJT$XY #" u DA-ً@)m9 S$ Jy=$и/7ߊD3& "#>nبLj7~fAJ*@2ȩ۠sz+G<+ثS<&65@6  RQsdF2z@k5axvu!3f.dAڣpEm!b2,EGߺ5l ]{n߿.7\( dRpWr*}޼ӞRKY#± ) &pM2lp4/7[\yBPw=!jtΌ7_&;@' G=agsܦ9:(%p-K&p#"_ xF& &\2G!y*CtV%Uec |[]yԚǑod3ƻAZ%UzM\8ej j602&5fb;PBFB3X#TU b/ ͏SڠIOYk@HdYem7f vq*sŠS GCt-JŁ$IegwISw4s}lFgXԩ?hUo{Jp^+)5{"s,:rL5 4ؒh\̴c; |/מWW&?.*9 Q"i .]t!gHJ ?i?vgoӕ,P Nz=Ĺ=˄% g)g (c$2a%@0b͐  B7HgYZ + 0+D 9;% HOL-Codegenerator_TestHOL-Data_Structures.Cmpdocument.tex7zXZִF! A]A-MՋhvG"uIBm5Y;dM;him6 iB?D >BJgIMZq2ӏŠpf]8~RNJ ^͡ɏ̲vvarV;e*hXeUgٴOE.:>:NMĨ$Q)Nu^,(wNslu2EI\pTES}Pm6&&U|}"U|;:%(=)[#h Tt\"I6+br{zVWku1/jgYZ; 9I% tHOL-Codegenerator_TestHOL-Data_Structures.Less_Falsedocument.tex7zXZִF! ]A-MՋhvG"uIBm5!J &bMe]qcx g<TX]M۞ѯSw^gRr!OHyZ-$Q <Ϡ41Qy|m.%ZԯdwTErJs7G2u/)>|_BvFWh@+`f_E~IRa6HW]i^yX PIY}9C&bۢ! 7M,י Z5Z6o^= 3{Rz9Kxm, s%3@Ѯ~:Q\+(GA<J\@l{[um , QѴRĹ9Sج:B@˽D _]Z;*Pz/Fg YvtiiH <Ϝsu#3Vh7 rhPb{t1S]=ozJEK6.'+|q vbNr=-+ڔ Wa blAj,wp (뼃bQыtm'ݱZNiqnka^nHlO=).\W?cو>h.6 MC봄Kb>aNbXWѺ;pv',\? {'^# -i|f8 uUjf X`*P#5?de8H0UYNkD`y.ޡk4^Z|f?qz1MWψe>dAߍĤքv:"pgYZM 9}% dHOL-Codegenerator_TestHOL-Codegenerator_Test.Generate_Efficient_Datastructuresdocument.tex7zXZִF! )]A-MՋhvG"uIBm52.WE|L4^rGtmoXf9S.Pݫ͛.+?R8rv#I~u/Ӣ@Cms>z?H]oU 2A:&u6KV4TkEgq /!IF"+ J%5u3}B DxB Dնc E}ԋ},)e0J\ a-A&qAV-?0XGzW?}0O"=A¨z(_Q`xT].W2οN T임 Kg㌚}-ojoUX㙈dXv &;$[}[1gψå(*;2f cYk;jkq@* qA J]]˭ƕ,5ݘU V&QuR =Kj,~I30j#ܐԵInXK} \!%qZ{~I 8>יKcBl0_wq$L^ݙVTMy ZO'L19Bcf IV/ "(\e7Z@SukDߔ͡QAsn4QW1]0diNj}c޳sIJZݓ4VXܔxަ7?b9S6_bu-EY C+E/z{Rb.ݮAQD'_.uRer6 7C{s&ڭ`|!css~3g _ 7gYZ , ,<9[% dHOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_PolyMLdocument.tex7zXZִF! *]A-MՋhvG"uIBm5T6Y)AEŘmUd2Z09FsM.XoeJE{ lLu Cr븭QH~$(G\* l k4`MqAHD4ՠ΂(?%_t::VQrύLe㇈ډ^Gg 2G"mR-I~AaXHPd=ib|I=cffu֪,!ŀ:؏iwY0YafPp`rWK4#DId\+ KG,_-דَY}ן-0b8_nJa\9amF,;]nB{oA-V`/297L vM\R/{LR?ҲA~t +_Po DhxȞ"`ӶSc"4@/GV[aX ΂8%"6SDl#BqYᄵޝ= -/ 8WgYZs9a% LHOL-Codegenerator_TestHOL-Codegenerator_Test.Generate_Binary_Natdocument.tex7zXZִF! O^]A-MՋhvG"uIBm52.WE|L4^rGtmgaa f=1`7V=^gFo71v!'x'] Q?q G%R6~dD2hw6G̈́ 1dl^gӯUUgc3}*@w|16*c)<޶m.OVc2~xYK#CZ-]ҩ럐鸚6_Hfzh=@_7_y[sK0zG*,$ٛf7L&e/X,gŹ}&&. N xp39uN qJUu}p^ 8B$@y\e(5\! ًgto8_Pph~X5%b:jSm-;O8|z7.h ~j}$*o(`u䨇2 7K%:rs fl."fͨHs2U1Bn,\Nzؐvj9C)EYuLN*RBU[+:E+UqgYZH9K% HOL-Codegenerator_TestHOL-Codegenerator_Test.Generatedocument.tex7zXZִF! 8>]A-MՋhvG"uIBm52.WEzΰLUgY71-l./KǕs[\R/$G K=pڠ od{A (lh;&:&qDhrRM% :C|I2k`!&%!7%T!zu6Wfچ" mgj%:a }䜃1pn(88`"_TL<,.u鲦ǚ,L[3+MzjS@d|BWL.`$vC8:喚Q6ϩ*L>XE$kx+LHQVξ{`URǠ1Nc%|m-˖&S[ %Zv!V3eW1+=R6JoQw𥩾n:KR~dԷ5!Yށߨe%e[dW1QIF@[\rUqV Mc--ټ s_)>Tw4-/ gYZw9a% THOL-Codegenerator_TestHOL-Codegenerator_Test.Generate_Target_Natdocument.tex7zXZִF! Sb]A-MՋhvG"uIBm52.WE|L4^rGtmyO,aXk_4&y|FbW1ddB hwҭD>3Yfts-f_ZQ2gj#3^٪|l]a)~rL\qK˸3w 0UN H(=rk䮰rZwF _=r U˳¸w)^0l]6n$h_T,HjE%-ux.Tv?"?nM pڷSy#4^5FCBy~8WY# ̊pVy70|1 ]o+E;mY%[ fqmnV()qY:;=ԠRY!$8w=Ւ"uP'#V)LiovlԺMi;'Ř6G_Z8]_Db`G:rU3 e.Ҥ,~;.ReQs+alj[7_8MU~HLe͗N&sx{|"K?2J<ח+DƱ'W{)LkB 庱gYZW9Y% HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_Scaladocument.tex7zXZִF! ]A-MՋhvG"uIBm5T6Y)AEŘmUd26@&{3\21&ihu%J5Wj\WeG+ \'g0k5~F%ܷFY)MWs.R0+w! jKJWXyЕh*ˌ'ֽv4Oc/fV?&oˣ=BvQQ-IOpF ag[xXFي:٪F=wLb|J:Y,wS8_u?uXI.}a\K+NLMA4R}ĽAtMb $慰jbAf sS8)/L,KfuI;j _lg蛖޸#60gYZ  79Y% \HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_SMLNJdocument.tex7zXZִF! (]A-MՋhvG"uIBm5T6Y)AEŘmUd26*P Nui6af6.Z>Rm_Ɯ" G0F们G_N{0{@LפiQ,BQ l'0\q^ ̟3&Tw'lxKΘ0RYBZktr{Owu{5ձqB r8P A/3eҼ\SNTت" Z*{EvlX"˨97gx{5wеewt]nͼy{ozZfr?V⟟n5z4W.1z|!١{Cy_K1?ܺ|&89y\MX~X72d: դAd]\޴NÿA#3(Dy| w,{io+s?ݙbMBҍp>P]!g^?` r.Y:i3x*TY:Z2NUPKf5] ˱gYZW9Y% HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_OCamldocument.tex7zXZִF! ]A-MՋhvG"uIBm5T6Y)AEŘmUd2 |) \-~*@"f婦[9ʑWE.!=Sc(~޶UBLG!dW{\AysӈJ߷,(~j`parK/7&\8iv~two]rkT- #Y'u*Rčz zxa`SSe}?vl#j!xt rYd5ӽ#mKޤD@Kf~b( t-\ RStÝN`I2dW@o~&gl!`M 7<`[ugX 3|C=)H4*zo˞|CFE|1-fpaYR8.֯ E,=9Z(*$Gؘ7O*f 9Ijx]7]MO֬MeH G 'jΜe#*3-gYZ79Y% \HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_MLtondocument.tex7zXZִF! ']A-MՋhvG"uIBm5T6Y)AEŘmUd2n&;NrfJ .ĘXVx `v@0vӠҔQq$ʳ6>*at%_`3)=٫%BĐ+P V=!}|/AFWD=h+BUh#$]6`4Or7j_=9ʶ^"Fis=w:h?(UѶөiVC??LQuMtcMW!Z[,' /жRW V7d=px 7Fa=}yՅhCۯjt/iuL`;`*;IpZ weE/flPeߴ)m'z(+QkSG]PE}=!Po74?D:Ѧ4"{,ᑋ>\XɁ5U*{xkB4t+R_@ ֱgYZ]9U% ,HOL-Codegenerator_TestHOL-Codegenerator_Test.Code_Test_GHCdocument.tex7zXZִF! ]A-MՋhvG"uIBm5T6Y)AEŘmUd2͸WfDdC1| u,H@zkl1. #ӠGEScX ~-ЀpɻY8(c$HGo?eNO!@#^TS]8Ç? 523ÿW'[XpQ*|0V]잿d5+2ϜgEQnBD5:4*ϞI7qRijLrW #,W@OTN5bySy> obs%3b%Y!xii[ ̣Gϳ4s!pEy"; ,K)j'Y f;׊9/$+iu<|1^e /Ѕ0o Jg;s"+%[􆦗* 4K^[l:G)pp )`32xk#"y.Oq>_sm%MOD66EgKS'RȣAr-VZbu]F`a:`^!ͺ6=G O8k9 R6J5vYSw!p@éDPO%f#}%ZgYZ{Z'P<\C;ۄiw@!JMFo<Κ7gb˜Ō'<ر6N4ԯq! HWתwل_DݥJ*FkJ?  5u N_vg:ħie筲{Vn. %R:^oԐ,ӸŮwy],UDfl7\Z\'RC v5 0Kv6jn$Z0Bni(\S1Wv:M,h1sVl3Wn EK9}^X6F}$leAӡH {u: .T=s- YE )>oݑ*&e݌D`)2&F8׏li+2 c7@hb2@㱮]X~廦\-d Ďaqh*w~#mD*A]“!1)d }b0ˁ\? +gnD2U%UDžk!v3WYzKm9y[;XOK*aU_fStPd$ nm=CD6ܯ>X!Ca4?uVշ/pm-נI7Ei9r磲Z)}[RU$oEn?԰6KW9C@A;gO>>d:R(/ǽVGߍ,cՉZP2Nk4OžZJgL}Nzӄ.9wl د\Ա55%'v:a=g0 􁊦/2^LV +s]P l\Fy=I)ǒ;ل_WDHU .HhW+Ӣk?=ϟEˆfH?3S> y ]Ti#HG'^54aފonע̾2 s|A*KCBY-d#f;wlzUj *AdF⩰}-pD1A)c9fR6yN]•%7?eqB@.ha2es \kӪHR A:W:.߆#"&VF9p|^Y%ϛs*̃4qcE?kԧo:x(rYKӲ̡ڨxNRn/>甋 v~PX[, w( e x2AUEN%Y+?ȟКVyGqŠǪ9Vdlfwc]`27zzO* f.6} PUj_ȣ#Z7J/}WxeAYns06n!Dm&qLj,d]@Y%(CO H8w[eCIe[MC]D< Mr=14 ;l$ð" iKm8.YM< $9@bPug>謺j"e`[I"3 o,߈0$㉫qHJ5 ғlpУZ]LI=L~\UݘWJ덖tX8AF;!/px\m^zƩҍjIv в8Th7zfPdK0yET&cpSo=i䔳JgsZU@]))D)&K0y^ eY'njQdæ#I?<D{{5Ya8S)MbѠX\jg&9_Ꮴ**/ u]o|%␧g_PˤoCVIHTޔf_͖\ML'w9L5VxE?{OiNh_Fj ̪V3h01;hR}#.rXIL[ÓX6#V LX]K1yw+Tv5>/.K&XßzNv[~|O!'N5D& !k$ 5mfhFвSv;ykX:hR檻+ϭ^жnfx{+;P Ԡߩ}XjƱsqoq(@ 0`Tʺ?6gQwW0C imΎ#޶UPkH @IZL"<]Hh&cc::0]A-S[FV*M3~~0Jq؇|q,[pV釥Q%!]VJF+ O%(*`a-A +eUoHv6Lk&dZ| >Wi +~{@Hop-N?i:{*{D9o&ߒ=Ik@鐗Ǿ" z9i'Q1Eę9vD(9\R\'x9O9culQz6zt|N݋-+IZ[wSΕDQNkG04eQ񺗒UYT8z J~^ Q PYf ćV<l>I;Ǧ !KSs!Xwaq'R'+uXa`jۭw}սk'm4c@qHi gnڌX4'3lT%dK#kPȩW [ Cx+Q&qYwqU^bٓm$."I9n%ms];hUyp_ͩXsV wӶBуs~xC\ ų![3=h tYLtW 5i_ an;O+l1Ue q|)xH*;6k @ס Gz\r X+XTTx#gSk!BI/& lajwF]9I }ll5T)5;J{/_b_ 'ע~˸By3H)B @"3R`z ~ޛZX6(ߡ\߹ŐA(d7r_=9] "QF[R%ZBgb%AQ <^rcR>-$>Gs"r_XPS$` ҥ݀TU˪g"X,wj1/&%$ i& 5 s~y.EWG۵s͋ѧW eQ ̜ϘYknYoْ8v}+j7S7i>@E0 㸔XNBԢ,˺A(- Sh}14SO$*vCX(=W>ʸYI_^b-DG9d[޺4Y\uhBzgߴ }K~ %ޥ] BI9j!~h8u^*J+뽿}1 <Tٴtue,lh頻$ߐMC+n2Lv85S~$IsO4f(oX0ޘ(E}®_O"ݮ8 ] dڝmƿGJ$4UZwkR['@ \fSX4M-:ɡ^#`R!mమ)`"Ν"`2OuI" B ;35,nM]uE&Qc`]eQ.L1խҎ i93h-2C&:'4٘gbci¯BknHQ<91(aW-16l)c? A5:]ޚ>pDA\BV?+9QR 4>wDbXy˥sz^E-46CB)g$4߶,XJлmp.7ןgA/`pgNGzPjr۝3'de&?8_Iɉ9l͙] ӃPtQQu d?J(ax06JgG[avG'qb)lBJQ v#AX 6)|z)?(F<>{|Hx#"o<ӏg,gt-!Q]I2}YLI1V7ytv{3b&(ۀxBό.L0Uow9,:eNXȚRelNTnF9om[$K\F=ڧUT̨`rJGx48~=Fh%qq˲m[g&пu)-/IhyܴPejwD=+/xԓU1 ZţM45y39HZFFHӥ7M_1Y@Wan[oz&-uAiŧt!r];VIؔ[Pi4K.1B=]M/=cn")J,MT\x<{.=q4;TE.װuSPKꯁT_c9I|BH0=Bw @Ȕ֖6VŸQ'xXSi![aj(6MUN253pG՟KjI{# /g|SfzU E^ZӺ$$oJ*:eى̇,f|cakJ] Eȿ;ƞoa'[wd!iO*|P$K)i0dk"@x)x&awzV>5h܌,ݙrcTO܉:yܭV}{M-vE xrA tA%I_bٮLw/,z yne؀p* ZCAG}&Wig~D0]ە͛L]⹧i7^eTFf񈉝"011 ɑ{GF U!Ya0{a΂;{nCT {FESeIr54 ]nQzY(MuGᠨ8ߍ>St풖#Nw3=_cS٩C )yA6#ԗUy2{MIBT89`qa6EHES N1O[[#O{áiIZKws`śyÙ_7HAYS;L?L5s]>퓉6Msi&9TVuCLO8`/1^_kmO/ύ]קpV?ZNo]kH4C񣳭6 ,2_n*zR)d@1)qD֕Q zjjK~YJy6bca]7_}Op$){`Fҧ@!Kp$+4~|ikgh ߙ6'oX &AϳeeЇN۫aa؈c7dyЍk+eI^ E% ] f7ki$nhwCEcOT8|GqApT WFeWDHe> )fF&%*98dTֽ$:=~Ec&}4a"nSnDӠL!]Gf&*m;}amvxU:)hl􇸻|e|on- _4xd[s1cDLP1;vPMSmI4e]fLuISΥyI]Lj/#m,TuJS@< -ŷ:y,v\(H} K;wG{ 'F/@POt9yW]I*Iy yEŽXo%g6,٪ek/? `hw0X1k\*V֭d}|Mr\FDU#ҦØ4HSФc<|¡~TyE ӻ|"=+ W”;q#(/ jS~~{"kCc t1#nxJ9؉K%]p ﶿS}j5D*pO(ҷRytdʳU~Vi9-2 T+jɏz H4pYgmATPM&ys}M$cN y`C&,OB}y8VpL+Zc) Cԣ~IP' ˢB8 z@/sݡkwc^m~Ün.rͅ]E $V0!o5sNՃ-Kϯ&:+Es+}Ɏ\ WL_Cmzxԁa# )!%rweu3>@lI_Ϭ+Խ.?CҧKBSϧs i3vFN&G.x:-ހ-Ӂ0J4fkn$?rBĿ-eǰݔ1Ng73YâA@GiWiN\ǖZJ[iDq3:!sbeB⺬kr$T-)2gb_Iu/RP |c)xtG-8cU(Mfpޮ!D> . qG^^Df$I@Ky75Inw/۴x-cmVУt]+<=si=:~$Z:h|wۧY Cj204hjqT!ctD$'B 7Ou&֔zO~u ,*К^5.؁B"V۩}!cw@sL'qg>ӂ+btf'`bWvySYujxe_d'u}Ev4*|MrٽСI .|b (V-@4-Q-/ ѨGVi{ jVt. .Ll2F9W(و._ M1lg;'P˞殍5ZCߩ+ժF_3%3- l(jNo#OY#phmuq@!0JXpT2F"eU/ DJS_"[ېAf+^A~c}!a+ed{)i[\\({j1&zib+Ei@hPrS>WG2]gհ&</wI(5!-KCGr5*i Or߬$l4RÄW˵7tU69|A)ZFhtTU6\&&y|E{}U/;興z6x+"z|xtmVLș J\GiAqbC>ٲG\V5}(=?EXUVS^ej*ׁH.F/zmƊPax,/=c*Wyhw߾R<<@I Z  x 6$WiLw'OGԭ>r(0G"1XMkh80L&^Jꗎ$˰e_@9*2 >TmbMM]ժ{h-fu[*].:=FsݝcC6 "˒u;zo -}Z9dA4 RTOQ>@VbK,.Iۉࡤ^2vkVa>pWUU>eƉw7\g*:B@hu\' Q@6)҂lĄ4Ǝ=|cKtE3Jȕd*n-e鑛AGpع4)/RA\]u\ lwY&{p!kU#r )G$PK࿝H,4>/E hBc)"Ց,[#&XN5 eOr`D. ;8 ~t`W!Ɂ{ًH`{"5tQӠUwaoa}kT 3Ǘ.*pLi 790`W`NJB?HSjyF9HshP-+@ ~a)e=0HUp X'Wb͹;b:Co;!;6a̪{!зG,\4KopscKejPhtnf`N -^ fIj ?+71aI*hX!V_Cv{3lY ϯvvT) gUA8(Z:X,hp#F"/X.o1`%9ґ~6}+̆)t"rv݁H(%C +^]|N= q8h@l8Zʍ27Y@d1c.^L(^߹:W {FѲ{_/N.b';! DeR$ YtC6CUfL)>%p0zѣ3ܯۺ1/^coOcXUݬ8Ųd*CvOm2\^xW3"3Gf)(]~噑u [դƸD)2DwL<,l5ylWoN f WRI}b?yt'ş(:O'D+C v9V#//#^vP@a}HI5I$ j69;L bRVuOw ߣy(#Dbǰ,Bӥ#|aGe0jW*_wf/?ճcxs!ԎQ[DTSLJ8y1l2ү9ɪrb|i| ,htt $udh'Ku[}eA>p!vx#"ѥY G:Js:)7r-3hPQ(sVn̋5e#jR#egjΪ ;C1:LJ wWt^N6!ZV\Y,NɍY (B}ew^(m9K[qQ k$q=yKfI=8Q'F|m H?ڳr[f{TΤ ~ψ~:#~+g"Gv; ѨiVhGŪk|rf9y穒%<<(pb&"Okat׮[o+L,; r/x'寶60,#dMdj-+W8K/),ǵ-{)4Au֓?.)  JQϵ 69xGP[i TvicEK4j/QrY4GvCJk5it3JV؛9,FMEVͶV^KY5'| XXJxZ:,T0Cn ;yT=5jů6ěԏuD47M!{ʯB)){&UKM)B8 %LbUEX*]#lQqu;+))Axv.bo4s0Zf^1.Hk$)u+T.+>f'BnޭzKms8 Mf\cu T&< eg@ŦyQeԻQ*)5á7ڶt-@%Ng{;:Z6-ώSfl^eASNi>c̭3lSKv ;_%jUt}(k $rfB4 ׵#t:OB1 k4?ү 80Z[ %_̢#܌Б).gHwi> A-xq#3WNlΙܳ c:p|(V\=?i#I?8x8yiterP%r ̿`64ȻԣQeZ"  /bOC?GA 7Sms|r?ҵ&<+2?5kT: