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  , ,I! ldl ] Splay_Tree:threads=2elapsed=76.433cpu=95.920gc=1.660factor=1.257zXZִF! ]ŗXf1-q恈%kV^M[-U xNo[q;O^.%Go/пBW%ZO8V&Ul{LPj"GԖ-L?)\{le\j@sJ~(7 M\ڝߔʊnEXGgzK}OGa`) &oyQ^`-u謑_}KeYEivgcnfu⯄ ݲUXQxIQy4hmȍ`PW}tU;r=LqQ_P 06Gsg..Q=6 dHaWY nRX :V[FHnE>Qǯ5#Z]$@tr9l< eRw@7hQ-vPW X]ΩOy ?)</d Vv!7GߛC3@{1R^g;m?0WLδ4!+pZ!p_vm(~ J΃oѣfNKlO6JфP2?Tocni"NwKOȄTq2S4#y^:%u^D_H;Zpy;A̕yOy ["~lFМk4,L87Z 1,VQT\VU|'db1M+A:r&($V3L(5 W B(0=`kK zn|9_|(u Vtr*Opzٚ*FTszÏst56˯QQZcR~qu>juf\#.N}Ydsg>*#~*y8fz kQ.jj"U#7kb.BP,B Db/qpvu?Y5yPUC-$3;Stc` 6n= PBt-m+L]έP ¢m6!MS)=xPq6_Hx<j\@:$sNMkQv]$XξuV0CsDȒZ%igFK oxE}N~O{ >ckct ߦuCʚ+wTünbp2>%~wF ıc%9( a6cr ݖva ͉bs)b }DHHkTdŸQ+vϭabX2f~*mkv8WFv~Tj^Sq9#׸xqGw;p\CsG5L k5m$)hd je_O#Sj5Ѭe򠔉MCw x 1MbWoo> "Yc^gT`I:yY ZvD<;/aW"kAWYR1l@LX%Jqzvu䔁b2t/<%$X޿-,]%;d@JyKe4Bd7IFW_mx\Yt@5*>C |NxOыF04,Hs* 2 ^n+iny(9oՍ0R< x,_*D^09wJG֣rK,b M% ?9%)P56%G<}tB9f̗嗃x+e]wc[ʩ&pc#9v$wJ1KuR/5M$u JLY)i=\c)+⣞})*`ײThً0BsTx2Fl*v4x$(bL^󺯿#oTOR +\4}uHFc!ܶsN*lw9ͯ,|ʨ=$W +x1v)E&z!7/j9n+~xZw꜓mv @y=sQʢ5;`Ou|١1h'Ap24i  ߎÀ"QӶmEhf%='-A{eDZ)EۂzR]dni:r(=rb O# N@K :$k"7+YxJ&8dHkeprACSfuuGr 'H}]l>?/0엝Jљrsq$n5TO;D:g׌?]:Lc    B} `.;!K%Splay_TreeHOL-Data_Structures.Sorted_Lessdocument.tex 3!;%Splay_TreeHOL-Data_Structures.Cmpdocument.tex :!I%Splay_TreeHOL-Data_Structures.Less_Falsedocument.tex9!G%Splay_TreeHOL-Data_Structures.Map_Specsdocument.tex<!M%Splay_TreeHOL-Data_Structures.List_Ins_Deldocument.tex9!G%Splay_TreeHOL-Data_Structures.Set_Specsdocument.tex1!7%Splay_TreeSplay_Tree.Splay_Treedocument.tex1!7%Splay_TreeSplay_Tree.Splay_Heapdocument.tex=!O%Splay_TreeHOL-Data_Structures.AList_Upd_Deldocument.tex/!5% Splay_TreeSplay_Tree.Splay_Mapdocument.tex ((U!5% TSplay_TreeSplay_Tree.Splay_Mapdocument.tex7zXZִF! r c]A-MՋhvG"uIBm5ȧTl{Z -o3`<|NV8>nfu⯄ ݲUXQxIQy4hmȍ`PW}tU;r=LqQ_P 06Gsg..Q=6 dHaWY nRX :V[FHnE>Qǯ5#Z]$@tr9l< eRw@7hQ-vPW X]ΩOy ?)</d Vv!7GߛC3@{1R^g;m?0WLδ4!+pZ!p_vm(~ J΃oѣfNKlO6JфP2?Tocni"NwKOȄTq2S4#y^:%u^D_H;Zpy;A̕yOy ["~lFМk4,L87Z 1,VQT\VU|'db1M+A:r&($V3L(5 W B(0=`kK zn|9_|(u Vtr*Opzٚ*FTszÏst56˯QQZcR~qu>juf\#.N}Ydsg>*#~*y8fz kQ.jj"U#7kb.BP,B Db/qpvu?Y5yPUC-$3;Stc` 6n= PBt-m+L]έP ¢m6!MS)=xPq6_Hx<j\@:$sNMkQv]$XξuV0CsDȒZ%igFK oxE}N~O{ >ckct ߦuCʚ+wTünbp2>%~wF ıc%9( a6cr ݖva ͉bs)b }DHHkTdŸQ+vϭabX2f~*mkv8WFv~Tj^Sq9#׸xqGw;p\CsG5L k5m$)hd je_O#Sj5Ѭe򠔉MCw x 1MbWoo> "Yc^gT`I:yY ZvD<;/aW"kAWYR1l@LX%Jqzvu䔁b2t/<%$X޿-,]%;d@JyKe4Bd7IFW_mx\Yt@5*>C |NxOыF04,Hs* 2 ^n+iny(9oՍ0R< x,_*D^09wJG֣rK,b M% ?9%)P56%G<}tB9f̗嗃x+e]wc[ʩ&pc#9v$wJ1KuR/5M$u JLY)i=\c)+⣞})*`ײThً0BsTx2Fl*v4x$(bL^󺯿#oTOR +\4}uHFc!ܶsN*lw9ͯ,|ʨ=$W +x1v)E&z!7/j9n+~xZw꜓mv @y=sQʢ5;`Ou|١1h'Ap24i  ߎÀ"QӶmEhf%='-A{eDZ)EۂzR]dni:r(=rb O# N@K :$k"7+YxJ&8dHkeprACSfuuGr 'H}]l>?/0엝Jљrsq$n5TO;D:g׌?]:Lc*5L~U(gYZ 33J!O% $Splay_TreeHOL-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{UţfEmܬm*ݨyK_S#<0\1=5Z^0#*b1f(4q8>\v*e-31 d^#}GM0K yC~>k}:ujJcx̕?k|TE,mFzxmq5/qcCޏf=c}Qf} ,vl1_k+~9 \<4_;LqY/54TKmsP9ۊr5JiS CE|@);[-؜]sebUgsd-H9ͪ[P? ZٶPyZ`) GuhEQllZOr9>C#>]r9Qpl!F8+1*|P`2lk`5bSDرrHD˖>lcZݸ`ZZ~oMLz͝B_s)y=2e2h&|#ɲԬ%˻ h-NV)j>y7 -ɹς4#^"-Wӡ^TJԝ-gNFV$,yPHvpf)& 6q׮Z<Ηf[(,)sN 4r*<nʛnb @[N~sfLGCU.q(!_*S}YYl_h3I-m2pW;JsVx.^ HnDA'޻wx]{v s5't38*4HR#0$,+đXrF-/ɭ{ d,Rf)lP+?*qiWiԵ`@Sld8P^R=&SPdHUxmJMS`ŕUB"ADDm0p]$HIFFc_<~t0aՌ22z[ڃi>k-j5th7oX??,Zrz;GJ6j(*>W";Ѥ`i08Ҹ'SP|6fh_UeFoj3q՚_G%*:iilRUgk&Gm0ԛ`?,wʝo)#g =낭`t֖l#~. zLt6#ZmmiDyGp缼 r&*&+wqH=ނb7<ה_@`¯R?叶0!fki7k]B`SRu>i a1 ߚe/fZ5Ðud{&C O0 6G\tVj$֖U&,8 ڇ}8$FQtsݲ+= nR^xKJ5ޝE0LxZ\ cGu`j҉hBOB&vN2"(M50wJ[a.Tf~ar/?L7 :@.N 8`` ީG'\BTM]-3nzB KN0] "߸LˍYLgYZet.S侢cOj^l,+6VF[#G BmN-*9VDNJln^1(=7)L.ԧѹNB2wiqKBV+Z)z;~g?4tl|eA!u`@hNٜ{=LYxs |9Li燝kjs{3omUUѨO OM(I{ǟ ftP,o2ىfC1Y 4XL0.CTYGA {1qwm{mj4f Q-*"E +rӊ d_' Սt"2]`o)זg`9>lp$ |7!e`LHI&jRCAgݭ.oYT|7i.Ŋ_12x ;-B+G Q >&.l5V 4o#R8({XIٕ֡J#9}Č89u^_ѲݞRS- +𠹲*uIeֺ_oY4΢ *` Y?ce"gE`Vy2ɂa[hcW VlOsYx^G2 ~:sa'7W25p9hK1%''M%.Q`27ԫuŏ-^<:p6 yS^ޢY ]|j$H AGtuZPVADYM/1̽^]<3F#V)3xE}JX=kfO[fՅOqeJ*5ވI?_)-Zm [I&/GOSJ3_wǹ<>z;{M( }) #> a@}"{#O'~Wݨ&`7#:O}a,VD79!2Ug⯐)>ܳ =.#P?rJJ_"ys(RgU@BI_؎Nnr'K^v RAřa[EO_CUf|пq}ro -Fd{TkܘCz n90n]p_vFٞ(YET/+pYIuV_W%my[,#ը4;x{)~ػѽ<ei2؂1X_ d(@K u0WLBfzL[G4)!!AAxL~S z&t py ˆrzq&,TfNoJZ˵}Y77-{$D%A_EQ^6Q]ݩA~201K+{v1J<±=̆I2Yֲ7WA CnsVC'o"=e/",qvTB#$gi=7ri t[<[;M4AT: 쮏$'1/k?v)O45E2޳@#PIZMFZ$,Qx4/HC,'RnHW$ynB nPZdh\HR%-h@Wse/+q˯1y K](Fΐ'`!Uqx=(3R޶o <y5w I':)?-NKXu'[ikP-fy;*Ωj4!؀u{veK$zUkN ɓHFwٱ?1r9p{D.]Wv\d9VP"չNBGV!c_( X!G*y,f(+?[!ܠ^tvyr+º'S,5 :w5):w3]ɝUx]+ʌ:Kpڣ2yc&i@;8ikF]ʒԾdx Gq>~2~ck8[ q{СlCJ&êLc~L:-hNbhK]E(IX5s8&@jo$@9(tqC4zy#%/EX&?藙yBv|կpް,c @'pl`&lb&~;F|,(.iL(Lr@g^`r"|qX{.Ԡq 2'd\M3Άm ĝ7gu*Z1W]"} I\L0caeȉ_HYZˌwN+hkA~a }TcMt aeM:Ѿ>M UNt$F>"3IJ~A+QER kg?^;p.-UG&Fv@Ql"GcXa mZKj܈F I}OrOv+Z{%\) %,7Zmq0WL9TY qUiq ǝ +`J+ce~/> +`KN1Y锋2m LO03!OI!77zhQ+ ef}~g W;iÆoڒ/6ܚ4X[ Gԓ9 =gl$Lt镨aq'MyS, /j>"o"׬Iط i*ąI waX}P&s–: ; g}ByվHnkb&,QԦhg %BgKlD tBvj❮i㼀4g"."e+郪!mVE(trA3;x Y妚(rxVX'Ǣ HE r ˈF逾 'It=/1wfP7\Rͥ7Ll>oQɂECb o4i#2?@^m$J &gj3D`rx+9̮Gh4 -НRQe9Ͷ( I.<%G&(o?|2YmOK_Nv8qa~7,w銸&Сgk/<|HʅފyVfwR’~_[͸>tXCJXwSot$WZ O#֝>D {hQ80oFIY0Uf7qaWfhm&1fNF~C8aM{ Nȉ8fi7,+=s VA|*JZK)PąoҗS:QA7W`J"K%58vo Hfwg%0) }# 0oc~>Ϳ@Zn?AzV߬4ɹ{mN#i̹&e' $@&; 6!K՞9B"I5W {)i+2QI`ɋk 1,OMiqMjD3ZؾKƝ\{20)1:' |`ihN^|9bC7_R}Rzx* \ (g sv146Y4aNSZ#(wNvN!: __!G% TSplay_TreeHOL-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 6}ŕShl\('ɬ7<ǘdѢúm#69huϽF-\ ao~tGfzz4+ͅQ_3%,3ڜL&u&uޒVINk7D^y7B& 6ywYsv o-^R{HX <6wfnTy&#NFs݉\Wp.፰Ϗa~ΰ( #xoi9Jw8/1ԌIzO_hn:>~`Ni=ǜRBˈ&tIoF??#Ŀ<0%}P6))0stKVHbnΏ:ƾ>gͣDLC䰵G)46/2Yc5W~ rqo὞9~)<]l k) .cܨ'ha+d;̷K`|.n"6JXX5)F$./"2`:&tF~2@Eo N]mj$X*[\XԈFr^B+?/U98ƕsؓ+'|Aheiqo9#]4w]DfY6d⤃j#{2| C8sjDڙyp, ǚMjlU p( Wlc :h{.$Q@.iXcN:eM*GMÖYgYZ !M% Splay_TreeHOL-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  ]8 !;% Splay_TreeHOL-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/!I% tSplay_TreeHOL-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:"pgYZn!G% tSplay_TreeHOL-Data_Structures.Map_Specsdocument.tex7zXZִF! 0]A-MՋhvG"uIBm51!/.}Tfq+^&% *y~hNDr[6cRλdZ q@9w]#Z/Kd,R&3,34삏YqGl N<Z,2 '#IJU‚WU%])\:RqB]婘>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Ȁ:mj>*Lܼ%' 9 ߍzn-%ixQ^L[qghviԐmJ1Y7${*!7}́OԴGHe%lvྉ2t9H R'ם VJm6\*ޢփEdlyb^a nCQ:mrN*|9]}Ț$C;1IJ٢>]Ҧ?G=n1GGgBT=xƆ$ov[Y'o_Y:n}jM<W\/mAzJj",ƨO *09nCr.S*-0k˾rdsšoI =f|SC5Uclk4Ɵ̏-P&rg[a&SλC`ߊsq֔뚜fOCE),:T,]N`Wf[:ec|YgѪ%d^.c6 , :.r u; lkrGႩc7>x:_En%xkN?Fdz9:*W?PhdNdįGn2۽vm 6@%tK _cc,m^=]8E#Z@lwGO- a}gYZ  D !K% Splay_TreeHOL-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쀓 ebA\Ff=9ՀMH`35!g.-V0}aşWtM=]5X](AO7xRX"R5u q-~$*;(a/%?;Xԟݎi^^2Вz/J7t ?yp&4Gb4 %І lgc8^ǛAs7eƬk"!| Q`On`v̛%BXEʝ1.s̶RI(d{L)*b4McV$n1FkAZߨA`s$m!%}t]vw.Y&~4wO;kprI ]IJ7=`D5-p{mJ̕6p8*9HW,pX惌o떵>Ǭ#⚧7}~P[Xw82? @Q޹>I%Ww;&Ng(a=6qa #5ďDU6*pB볘|QT]cǟ;#zqd% =+nwn FCє%:OT#bX >uV:z9r`A|PMRs+(#ks:Ef)j]gl{:9^f\ _`A-ٍ7+j m 7&oF`rcx8e"p_OZOʮ"POtao%iX0Km-P5^ol`@ΐ/[oaI4D2Ǭh,M<V2&1 X?>B}xu@Bր͏]tg +/ 1A`N wpФ:L7P2 [\Ue9 Az$ƾT0v>I>)U'la&'I@6`i5?D]-m3`͔r+` A1uPKN^0P' ~KG ۚ\,r_|S1)Ai0V]^{E$&oV5D"]iNAhE4 *"og1k?,a2@vSlP.l[&q/P̓>oQ@h;A8`|76DzLT,%BoT79jP^>>_yVLΕ#wBg@i[* Pi6赮k+ I L&[cfqc֡mQ&;m:# &|Uh.q*?#<_A3Cuo|29o'Z@lĕK@uRT`+~<>:gYZe7d98d321082e5ca1e5296ce6238bf70c785805f0a2434114e0f5ff2a700b4a6f5d894a41f7c1240 87718d0c1aebf020a6cc483886932b0e8197300b b99fd466bfce9bcd63f5212920b2f069f7c60f5b