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  | |pl\4 ] ]Pure:threads=1elapsed=1.303cpu=1.332gc=0.0007zXZִF! n]ŗXiɟHVҭٽD,tAƧCE)yiTIU1,I䶻ЉY6FP}lu8ElxGm@|yOJt [OX`gYZ7zXZִF! e]ŗXiɟ˚Ћ. k$wqwdA:)YfA]a0ebD`<6FòϸW k`8O )gq|'FuSs==mxڟ"pNB2XMA kXzMkY[jx(?ְsOI)eBTIC6)iqݜf\ #O _gDʒ$uy/mȆ1kjlQT.qwn51]B@J{|y?j8c) }:S1&9.k?SU2F GB#1vknL+KFCd:<PiXe}&r"͟#(e"4%l5 ί')gYZa80b958c52b6a030392840205081675e017404a5c57905e4889391014b3cd9b4f004261944b8f8c4  Pure &F9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,$w#spoi a P B 3 % yjO4 *   m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[dB$''PurePure.SessionsPIDE/messagesy"'#PurePure.SessionsPIDE/markupx!'!PurePure.SessionsPIDE/filesw''-PurePure.SessionsPIDE/document_idv#%'PureML_BootstrapPIDE/messagesu!%#PureML_BootstrapPIDE/markupt %!PureML_BootstrapPIDE/filess&%-PureML_BootstrapPIDE/document_idr#PurePurePIDE/markupq%PurePurePIDE/markup2p%PurePurePIDE/markup1o!PurePurePIDE/filesn-PurePurePIDE/document_idm,'7PurePure.Sessionsdocument/Sessions.texl/%?PureML_Bootstrapdocument/ML_Bootstrap.texk/PurePuredocument/Pure.texj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/43504f%PurePureproofs/43500e%PurePureproofs/43496d%PurePureproofs/43492c%PurePureproofs/43488b%PurePureproofs/43484a%PurePureproofs/43480`%PurePureproofs/43476_%PurePureproofs/43472^%PurePureproofs/43468]%PurePureproofs/43464\%PurePureproofs/43460[%PurePureproofs/43456Z%PurePureproofs/43452Y%PurePureproofs/43448X%PurePureproofs/43444W%PurePureproofs/43440V%PurePureproofs/43436U%PurePureproofs/43432T%PurePureproofs/43428S%PurePureproofs/43424R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43240N%PurePureproofs/43206M%PurePureproofs/43202L%PurePureproofs/43200K%PurePureproofs/43196J%PurePureproofs/43192I%PurePureproofs/43184H%PurePureproofs/43166G%PurePureproofs/43162F%PurePureproofs/43100E%PurePureproofs/43096D%PurePureproofs/43094C%PurePureproofs/43090B%PurePureproofs/43086A%PurePureproofs/43078@%PurePureproofs/43074?%PurePureproofs/43068>%PurePureproofs/43056=%PurePureproofs/43052<%PurePureproofs/43046;%PurePureproofs/43042:%PurePureproofs/430369%PurePureproofs/429808%PurePureproofs/429767%PurePureproofs/429746%PurePureproofs/429705%PurePureproofs/429664%PurePureproofs/429623%PurePureproofs/429462%PurePureproofs/429421%PurePureproofs/429340%PurePureproofs/42850/%PurePureproofs/42846.%PurePureproofs/42844-%PurePureproofs/42794,%PurePureproofs/42790+%PurePureproofs/42788*%PurePureproofs/42734)%PurePureproofs/42730(%PurePureproofs/42696'%PurePureproofs/42692&%PurePureproofs/42690%%PurePureproofs/42688$%PurePureproofs/42640#%PurePureproofs/42636"%PurePureproofs/42602!%PurePureproofs/42598 %PurePureproofs/42596%PurePureproofs/42594%PurePureproofs/42592!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|Xm%% TPurePureproofs/426907zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/Ńx%0hh)Mҳ쿹gYZH$% dPurePureproofs/426887zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/426407zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U79ذ/lok]ZqV 5rC/ lWgYZh"% $PurePureproofs/426367zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w` {!]j}to(9+O0gYZ4!% ! TPurePureproofs/7907zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H:_w^JfLyBiҡSAgYZ>! TPurePureproofs/7887zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H@,ij1B;gOESAgYZ*! ,PurePureproofs/7867zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7767zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2329H%ɐ0w+J~)pgYZ>! TPurePureproofs/7747zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2-pWGW BaЫ Rn~)pgYZ! tPurePureproofs/7727zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kbЖHsD =}䁱gYZ>! TPurePureproofs/7607zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZ! tPurePureproofs/7587zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ R"   qR3% PurePureproofs/429627zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/429467zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQUFr|'Mu'~^hVtO]8n $gYZ1% PurePureproofs/429427zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/429347zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aũ&x Tv%7^ y~ ND(gYZ8-% DPurePureproofs/428447zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'b~B췩<OZ<) / VgYZH*% dPurePureproofs/427887zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\jOAzU3?eci זܐ Eb:^o\O@j<̅s}t1H<Z؉IG`VXWw:x1o1Q(4\~ķV mtqhۄ/xkNV^02V |~* gYZt)% %~_g_aK#`^gYZ (% lPurePureproofs/427307zXZִF!  ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3ݽfry*WsvJTuҋ\##P:#2[mWn-8Ѱ@Ph`aڱf,FTbpX8y"ߙ1194\Cvҝ:L;"NW"<~gYZ`'% PurePureproofs/426967zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_xLW$wtpB7Ԁ]`x \͒]gYZx&% DPurePureproofs/426927zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%bLReY[:XGNgYZ  '   ng5* B% PurePureproofs/430907zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ7dx'YZZ}lJLH8v1 HagYZA% dPurePureproofs/430867zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP& }bzhˎn9c  I*gYZ(@% $PurePureproofs/430787zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%03 f@OuVhwY \gYZ?% dPurePureproofs/430747zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט4h] Z)[p\%  j;8gYZ$>% PurePureproofs/430687zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/430567zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|G(R(O;NzE>rJ"ʧqױgYZ<% TPurePureproofs/430527zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*\ZN3O(7lN85uDt2(Sd/&^+"Js&,gYZ7% tPurePureproofs/429767zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<L{LIΦ ʶ 03M 6L`C ewaڣA{2N41]jTϚBHB/xʻ'.eFy u5bԗ٩4Nb?yXt&::#lWy*>ޠB Um`v:Q?R=BiS',BHNXH#۵a'J06,>*3"(ZenU͡ޘ'I,,5 \ ѯ36Z^] >yGI0kύ#Pge^!GN+Ebo "sȶP@~fྶ?uM%tuL=ҡbAD? $U@ Q݊BnJ2gYZ|O% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6;ka|0=10l xgYZLK% lPurePureproofs/432007zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&İӍxdIv!%iW NAxkNoX36( U,ÚgYZJ% |PurePureproofs/431967zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛS@|_?;՟)imoTɫ05 ±gYZ\I% PurePureproofs/431927zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z>O4)931zxl 聩*n ?igYZlF% ,PurePureproofs/431627zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/431007zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoQM DW;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^]:M=Sik{g _k)gYZDC% \PurePureproofs/430947zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z"BAߺ>nn:C(Qœ Ӕ 9\OǏzMqj)3gYZ  8 E8aata% ƶ1bXⶕs_xLX 0̍{<}Ebz]gYZH_% dPurePureproofs/434767zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U7Ҍ;E2U.~HDE!V1SAgYZ@\% TPurePureproofs/434647zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/434607zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/434567zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/434527zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/434487zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/434447zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/434407zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/434367zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/434327zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/434287zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/434247zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZEQ' \PurePuretheory/axioms7zXZִF! f]a0{rg+5\CJHa=O݅vBfI_B ȋl2 ޲Wo0ORXyɑ- C,Xysp;d'Gm,ߣkΥ6 oU)N*ދIȤ:# lCKqֳTMe7%t+bPB#vl7Fyjj!$9qpew|2Z*>qYvJ? #JkL/Zg;.0 SD]h̓}3m-gYZ   , Mci) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZgg# $PurePuretheory/thms7zXZִF! u]a0{rg+5\CJHa=O݅vB]O -yeȉǃ mop5,73c7 H#\ KKzT\3Ý>~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SEN;=V;EXYΚalL}.L&^Sǵv<51sAF(VW0}h Zmͨ0Liwv ϶S:Q%3=4g ,~2=ޅz!)SCG'^㛏D] !xѸr0Dn[͂@)Rd9頁P=ӽ$q<~wW׹gpmY#ǫdIrՕ 5(DB7c+=ҟRF. b+s^O[^ߜfd"To0فam|^N\z  #=$DJhţ6y˨H}&y!a5' + I-y@TFnlRw/bBLS j'I-#T=ݔ08Z x3 v!н2A}_L=u+``L]j+3%r9_M{giM|D3VN7P~h ge&_3A=fHc4[\jjI}FB-tkn oA( kB]/uةj[|;m$DѬP*;P8rUoB:&B;[?1d%^|4ˢGjĶgYZxd% DPurePureproofs/434967zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fî=l&f|$*|U\ұgYZtc% m42H-><@HgYZc)Q72Ot24/G&y@!&`4 d%y5]==74&ꏪضrj4ri]: KJ)d>x|6:mb ר&wdZbF.ItģAG`I! XFŒ1gj!1IfUs$uwq~ey1.B%U٪J%Gf'yM4]>~J,W#hHY0UҁlQ |H5: ұ =RЖO (+]ZUdO SHj">v1.92;o>Ű41;f諟P6(O`Q=u:X[U( 8B;BƐ`OYerA7{,e&mR)kjR,I*AȤAU{80\!18xM%?FflnI׼j.4ڬ9RܿCn&sDW[ G5!_^;EPD 9vMG[)y; MZ(և$\˴'6kLD/[g9Tp4;TiS Zw1x!~_!AըK$YM(q'۱("V 3lز>NW,يQ[`&E4 vM"4RSϗڑ>@ạ c0AEmVCS,rȼ*Vh{g:X5檴Xw8kuu.i}E^10]~qM3V!A[7/KY_41wըmlw#Io/?* ,9yζF.HcՔ<dhDaDY& B"X~k/jQ_ UvGP[ѽ^4=BRLBf:@ SC%_ܳy Ywaש+!0>GOl. `z 6 Oitg 5\LPc:QeG0E|9Z9mݙ|Wx"0YfX] v2ݵ*Zc} x &⪂C7{zI ܤ7<聗LygwӺl55c娗el"8 i~Pt81[\w O1^)3c)û r<ʤf336YHy:eEZg6TDтQ=Gi2dN1o8$6'y[wƎ+HYocC:Y{#oL^2֬dGvo_G m%հ˲c ,2r*.J?|]5DģSpANuB C! `@d:9.)*_UciӯL卬؅=LW=QcDIGL@ H6L-B.:gqL~@"H>rCDa!i)N븴8WJ'R /'ׯ5@ɱ:tAPQ3m;*QdrG$ߊ,Kr68FCH̅qa5Y*2"49Ý a.r Rok`6 ÀXKWX?Q!$~x}S"%zx !S$.&53)3 [W$&m)xPe]!0gN~|(^F#, 2k( wm98 _K\^|*P{sU{ft&U.ۦ0F 4d/FOGju}ppؼK hэ4فW2 qf+Sl7zp*8?븛%NaUKq\ O%[lo .ZCG5_.xX^ؑDEĉL)8}~\УNBDEOYHNؽ6V2 zR##oiZw (}8ף([*$'Sy%xYSOӥx4 !.I! >^7I$>G4Ȃ ~;jG?ѴGAfO:IF/%eˍ6e^J%Ÿ@!c8hmZ VI M vj9Rl/qc=5/+>pDeEpUT&QuN8f^0aqm H1 B#9JUds/&Q}(v IQCl/Md*I'^jᷫw0jqʍ JB {[$ʫnǩ M^a(Ϗ [~Q/%H΁.T+n$rf0 YGT|ޏGffA{ <'B"Ig!:-uM*Ӝy8wWRʶȷfcJ$$VހEMO~*#6'Z~stRAdRn,g4ůYVQ>!il0&y?LEx5.mY}#p=f1)ϙJ|",^]"}5Du6R1m\cHPl:[D~h*l4L)-YmfHvO(n;E+T' -pJYdF*ɈN]s}{ BxGR2>Xvq({)~Jk@W-JvoTQ8Ó,59{+쌹YڼUUqlD;c>+h)@ =>NS&pq v0؎2"g e*$=$ ڑ`F!KR=9)G+zR*L:MxD@B \սȐf`Bx%:lz&6%U,nyl>ǘ:Wb-cDE4|{-)7Zc@e!>ٙ?ezzͨ+>uRN%9>x8*hnT!"ad"3<:=N :5W_-_f`빝"|+W{]^0)a!$ s7`in&Ɋ㍯*'RPyj߿S|0Y!*N;8У6YrHWt1ŀ h*&c[JٙBrR؛[ڰ191hDt8Eo< 325伇 aed{yM$|p/@s@Suک0^ǔviH/{I"{̍f˱/}wd0muö6N擭6(';GUc9"fLcO._PhdzGA4so{s/ԽI+q@%a*]Pȋ fbBRqk!c0v6äJz gsFܩ]V`@ff85oJұ^F)5(tJS;( fYm'`P߷0_I'In{ˑ^ϯY#S*^cmhǢOʇ*%C?;bxGZfL.7_M}5,V&n0LB C9t /pR˞BG xQIz>ܕ9Js]7ۤM vTɬ1y/Uͅ =;ݰ(MwސFS'jΝ?ݙgʈ"o[FһHn1|nh g*4y;dzgk%T7X]gO}H=[-ouqBTs "ͶŝjE&-0t2?̕CٳX.z82Ix:8ڢXiڎbS‚ ?7jC [^yP6QJϱ5^f)m8FzU[SC 7ڔNz_: XOI-&]Yu"=RR3.  8ڿ$hK32i"n.Ex@|GԘ?yJO`+ۀ̪?6NCYn(vܝyL7-喀":I%OdA:dug6]IW&SaUt) 1 E Dx9;IoY50 CoLp-Lٺe,P<7Z ] E0"׬qO5++nK jEqgx_CpGELkMCFQk3rCWeKԍ/~9'[ntuvozʈvA~|G(>"D8-.8D@]Oi\<7KLoP2n{Z$Tt=t2$y<4n!7`7+^܂\sYM•A(妽ߵ >^~9_5(mn)fםF[ة{e-NIo[O0%cҼIo˥p`o7Oak[Qa!ǯ` Sle>e Тmn!ɠKO:%"4p-d_3`;gsm jWFp?SQޑ.%CP"p%ɱ [` S^6ۖf/Bk3z|YE=(( &UR9::!{04x.WbCr4M)<&ƿ**#L&{~3Ump4X3QId\(y߁Kp#~V 7=}f:-^)y O!%MdNz?҃&='+A%*z;|V<3qb R?-<^h#P`ZH)LsF鿌YP"9=8ߝDS-qz`řLf]*Q|df!3Wd|%[Gfs,EWniN\{f͎kܿ,PǤrm{`sHA$],;$y5!xtq M GYgNk*_H 5BO_N|V]ȅxi4D@?)HE4 ϟfe~#.Nϴ1Kj0VRL$%52_q:xqXkF,i>{pjvYy \مŮ ][쐳[opZm! RuvhkR~sh/p<e-u zHVvf"-ems.Nue=v[QVcRx>wISH 簊 ;!=}e#,I* V[3X}{8<&JFSʍ_}sD/1pgiE2T(i%N4mrM wfIe-ړ(ٴcʞEH1K=4>VC`8f1prߵ[a XLE$l,xIr X:Z3-P/B0U=7q[&(z&mVFIVcE8~Iar[RJ~Ӛ24z]~b.-Z|E'#5owc1L΃|fIWG: 4(^ jQ8sU,qdeNV;R"l5[ᄲkO0T,C 6E_zi"eUμFԖ'p邐 AL0qX`\Ӯ6mYUaX{*碲޸, nг͓쳼@?=zer@NZa!/ %JnYg3^%4X-m;kv)k. M׷ ɇ%Y-u!mbhző;䀆ZS Vo!Yeڔ#en{ gY# K C]E/ie5|_nQ`Jw:΢$AMicv_8k㍚OvQ5ϟ43TnN RZwעy L10^YnD.MvlxaOd!==OeWo5b#MǓBﴞ}C×je vwD?v!Vb0!9~- ~Y׺?ICpܨ¨ sU ~}]=`cppJ># Liz`w\PvJTTSO57?P1=d>Zd%Up&*K7Y:zrk:!m3#VZlo#9op(GǼۻ6Qmt>_S^ܪV,FsJug̃sK|dd#o O܆ه#c z>};/HÉbIm=p Bh-F8pD&Rvn}A!pXPʵk!Z/m)"ʠ`t(/b[ԳV.l#&7JGyY%0>&a=j7&AgL"nGC'Tl@eUmJXE"@TQ_߂Ui[||u}҈ Ut z mi1lrc-RLMh0ͪ0 d-fcG T=Gb gfKUI ϐNoXԹQ-1&LqD,4й~uMZj%f+.?Hm_w!v=ʮd`v*+CN)/OH6-d%aBȻqmQ9b[ !J&Otb`@^Gݮ*v{xıaFnBw!AFL>R}W`B|,B^ތ)a *I%-.*;k޴v{ dYiɰ*ޭT`ڀ4%:k##3;m26L*PrgR*^_1v/EPo:{H eiߩ^Ƌ\iDbTv%M8;;`5+Gl=_}\jPbM7+zֈZӂC)Y*r 2RYlqwUUz^uݏNێQ=UAV.W!m%Au7Nc ޯE4Ӎ~w piJF P4H:Aro2@ЇT}fe P|&O(P8MBČ LL!pTF+ v² @qp[("긩Q[Ym>)zvެpdD\%` @`/@smI ƌ$ 1 xB^v#3}˔3}Hµ( (^G#|x/df~;tpSYa-U<"'qޱž[Q_. aUH0 w)SQW1Yٵ7d64S 9-u,.+OIaѡJ%RLv|_]7 iNR"L:)"1n:޴l}]X4ۨ;y,Fmጅ5mnTaCDE&jӝ@z}I^+w}n-1wy\bg2Fꦱ:Ou24$XNU{5%H|.@Փdoc%&ayc FEc%!WL+"QDք޲)a:lOn_q9UC#,\hN5;]فW]z[mct1Ǜ5_U Ǽ5t(k-Ȕ'o  Qv24dM/$S ʢ)1<85>_]fFsGlIc}z #f ^Zbɰ桚AX5g55J>{1:+OqS5WPӏc2P Pzdi\#U2dgc3rLm<'KQO{Ña6}=m-;c9 $\4.cjqzAe>tFYS-L<, k䷝mkyO9\У[4НдHtf 1*ln0)`3=-iϣ% @j'ΐ T3 m癢vҥihwR5k <&%I](3ΓfGQ, 0ஹ+dwNڧ~׎n( uЖ, wU#y/ գfQ M +%XK ?ѩ'Ire>$-7HS܀b~'93UQia`_dr2peǁJ93HQpUKb(mpMʄB0 q!.zUJŇ7Xp'oI>} qmVLjz4A#>4-20kѓ3}A:(1n9@Mw"+k E'#̿01M+"E.n=ȍRya\2栯Eٳ=¥?9~*[A7 r$A$ ,WO0{nPA]2ˑVzp܅e-V-g@UW3ZLDadѡD3&u@ZF46,`:Mnܟ,pcnĠ"²@sz sruR?CS>xiJP!i!.3Z+pKi]2-{&!O ST䞋rIbrf`8>vK\hmw')BS?oRN[?} fA%+s=AchV%Ar "h2Y'Dn93ʃV ol L(>j0rsLHOOwloHF`k^C#Efh]BSP5`ՙIx8_^"٥nRFCO˰*L)]c#:]jEI7 cmK:"I;Y:N k93LFS7h5gxd}?]v8l߰2jТDQ,KGSԂe{*7k eʤe@Űio{'Xk%AniʐAvRp/-JjW$<89*sɿPJaT]nR1&"!l V$x5Z+O]:"ƀs:z^Ѥǜk4 ^{vk3vwg+7K!>n?2d,vfKt+Y#ܾqk,R}ب`-4yx][dYt `Х iNJ\U~=y[f FlјVA%Ee@;@'oG=\>י!G XE~PaA_+\Nüe  4(KKb!"IzR*7ke"9iVɆK a(0j]`ueJ4z-XѿiڌՈ4?!TlBG #WQcex*m;Fi%^ÖFU ,(Rvm!A 1lBDOlzxcdR"!5 `I{M#efnmS+b*5e7ދ &~y= (7/!$:^hˎ=`c5'Z&M{Zgn6G" 3fo7Kk;{=KU[7dlvvox;Mzپ6uW\&pRy{4Q!+Rʞu(D {WL Iq<9E}~4,mxeK'5]?aZ*gɿ Y IFYLM/KT͢ 0Uj0hpwUpF{]G NQrt ?SߕS+KB>svl)n>s"(R]4V 6"?[酡þ[inRI(ZtSJÁn0[3P { Gdig- 9 uߏX4E's fFw+,73 /S'!P]'+GϸV-[POȝRo' Eo>ӎHܞo(H* )@3_LR`%AQ?EDKjkϬ[jm- ޡȺiܠ V^C3ID0K5D(%]OO$bHx@Ȣ1ʅj'4=ZY|[4l 1IS% >1E*sDk!0 ?'O'AmVNztdThc@cUU2fQw'Fz+KR &ýo+޴ hhm0j. PȬۍHh|(r-ضDx*xlȂ4S/ޝFu [RC>_^7X>8c1uv4p A\$r-No3{xglZ?.Oe1O_m>GE)r8}MLp6czNB)*Gی%L$lre.Y݁5I-shIGW a(󗖴&2,6)7iCÈgW{G~_Qɜ74~AFAQ.]"kqJj}tW:aSmo͂{G}˭ʡ(6ѪM@>o#睅}PK?o碵ר+uFmmǴ8_k"얠BykC~񡜾1zvo+j&xTzDb>Nz:O9*nD9姛с7]ȸB2@|8";$&;.ɹ) 1 H,mEl;?)!JbYEꔌF9a:]K^S,7?Hhoh@.~աc/ռ7/DHuH vQW0K>=V2r=e/6ZRAhg&v̚x[ϓ7͖orBaƭRI^R*fZ8xgYZ  Zso% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWn!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML m-PurePurePIDE/document_id2Bl'7 4PurePure.Sessionsdocument/Sessions.tex7zXZִF! aS]A-MՋhvG"uIBm5ȢED:F' Roo-" gNo1.vzXp>p 4fLkS DZw<U&<\`VY`x:UMبJ$\rGo6sҒن#/~F9^O#΅C:w$,U-1NlSO֩ 6ao͢;A.пЗK 13,QW&rϴVc2KIoZC}%gYZk%? \PureML_Bootstrapdocument/ML_Bootstrap.tex7zXZִF!  %]A-MՋhvG"uIBm55zaLAG*),d{B+E#=Ā cWUxOQg6u6W\ٍs"lo?>_Hǽ(84H (!YfM #;uL1~[O?yh a\țƃ/,a>~QqҦk=f!$Җ "S^tȧ{,b /}R]{mhuqXn *Sßp=UZߥaBOq<5y|ihwqP77ˊ[yW;2Ns]:xD`rj~*בeihlRTqX aޘNHƤTb؍=91RG1"H0k>ݒ %i]4Wٺ)*ʲ3uEe>m[yE*UoKܽ p+V\ְ7άu1vԌ3F96o)!}91[7Wq)j%eMIH?LMʢvkQDPޞg C}x+ۏUA W҈j9q^T+b戂 l,_A!X״6R#ߩTX?b3|~;tcP0-Rr*Ip8cXJiY?v[]7 0 ]̋:YTMADlʞ9(텛Z3d+ͻgBGi0UJE៞ep tg)ҁ}N|&$'A 1)Ci\՜k;Ef@,1 5$#'6Jh`f.WqgYZrj / ,PurePuredocument/Pure.tex7zXZִF! A]A-MՋhvG"uIBm5N9Vm6rTpѢ&hEVC*>5d<%''[Skݤөxg0I$lu^ި!qQ7Lv_sYP;l <_[g/z>xm0ė!PRA sTY'Pn?-f-eq6,ԹSEQM*=6EsEA:(' K#Gq]JO + ܆6 `YǏ빛2-%o4QIyj3`S_%pxy_ṰxCpU;kee+KH&{LԨ& k/id .d@j >tPT V=`j~$).طmݿT8cwVs2[djor%M0{S`矉nEŎOGe>MTd )bŨ)M>s.^k,晧%r8L0hWߑj0} [vɴu'k#k+ё6 (툍q)0;nyL}exW & #Um8ZӜhU~RiOg|s%[KA/WsϺg2Ȣ6V~0"W= $cݗo{Ȋ'yU]-+,ڪg𹌣 Jy^UfQ_hଥ,QSSm#06v~4ݺx4&Ph-9H!BjMĔ#m "+.E=ta$0R٢fdzeSHॲi WLcZD1Az:Fpk3̦v Dy4K0-]q_E MgYZ F:-_RfYAy(WL >9doQsp P"1l"'h*dc&QxTn"jyws"r8nlW5[(GacEMcx*`׮z].hLҷݚI<Jzrd\(P2ձd1lL[`Mxk*[7蟓'<R9 g]m&r>~}?U>,zA^ZGv2D˼696ujOӚC|/ ):k7sCNɴq1{-D&gm+IXDŽcNht\J@t-S؟8GX8Ò>*wʝ?Kk؟89nb?K}oL dhu{9E~n9G4Podb+`i'r쁯1z(WgVDcWJq,e;v".Øxzt~Jrf4Fګa72+i$!Wbw؟Elkxc1qmv` 3pӀ%E#h1EAgNu.7Bg8<1珄OQ-Qr_ǎ`V(c<u@5K:C~vp@Ǣb.-ܧy*5\ey|e7%dZK<u=л?DB"v$i)FOQ* *gK4 N{.yu+'uOCit]Ҫ.վT j'<~j ^ﰾE19Mt>e`]st:5*W8#`_7>]4}OmϮ^oRF'a!B[ .h5KsT">jcJK [nRaF }}ۅoC _Gok1%ir=N~C, ^B8γW鋻@)XJDX* L|ni%ja=|IƝu`ȗ%|'l!'XW4jw跦2r;0Siz6-qD19UGxGρM[xeWHu=(\]Ў)SY8C?z{}* Za$A!kzv?GٿpN,ue...aRYPɄ mgpDIݑ *5^N*J/r`[>2?]z4R:LF,9L8!1hhVp?I{l=>t=#< $TC5JdXYx T˱ejG @SNO_2h'ׇToZy&G&ݷH҄״Gc wl)/b`8R Fw]c [4Q '3Ya$mvc< {v]imZLZZS.ggSsSmX.ض{Rg nb@:!|u3dvnc~AJ[^∘F T".s^Xq'צlxA0"ϥæd| Uq/|BbF6Ke $''Gy(Sƻ>nŮBeb7MX*2VG[)F@ n{W[Kr@J.e-ܴQZ16{%<]#KH$m Q_.KQ_ڔ'V{N85nyMǺ5iJi8R"VI7y_NoApCהxG{kxvpZ er mqk4rB59ʸ_D[mkġVQ͹L+j "E[g*D x5"[RT]zZϗXxA^3ߤ)a[@]\rI˧lc&0TU!W ,uPJ-kcw0l&0;9WS& @ˎ}ڦ+8+t^FZ<{`^2hiq[aȯ50`߅Ak)=Gz1r9OC:Ɵ󙄈@ʷ%kW闈AUO|M;$׀7Ӝ;S l!@Qfr[;[A!ت95j_`unPxS j$N%cؓe%)ÒH'9ˍ^ EŘj5J)muYOѻ5b38&g@͞nJ#TS0|`T'WOկJ:I 33р(?x2,j~ k I;(Bma@e+(^A;Փ:xwS0 .ԇ0!+Gd/]AQxu0Toj媔ܮ]xge3{>_c2=}25T VzDӽ*z}pft˒4sz2"aikll8a%=" -R-j6~G{rg"4#4mmK$6[VcY?5A [[J*c(*v+~|QLU:&A,|ҏ{.1ZdG=~y%wT>pHs,^,(\نA{{W .A|c+VT-ѝ}Ex6K(7'U cZbTҭP+v+P"Yxbʬ8aʙ`oL>/=v01n9*MTX>I:#\ lI!zi9SքSoUf`ͻB\U7_'ԅ&aeߩl'$WݠtD M2thw,d6}7KwI$rC%׈)S\) 7n(Xx#F%n4YF"&̕IoE=5@C1-=M;ERoaԋE-$߯}je+Bh}ƻuz- |5TPٜ-lײ0)P/< ИJ m?w X~qt(VFHx,څ,|VA T 1gp{|tіAlֈ0 p\- pYuqfub`؏F_:UV0jQ$f8L6_]~Jt Dc醧Q "p9mvM+4濩UW|Ya  ۈ3TVK1< Pumc2حyw".@ 8q}1PRv7"i59b7Ľ ^. ayHF36J?W"ac$x 3 sKRX >z.T l'2>RFkX^2Ud;<w<Wgr0dzt2|/p5 s Yp4G;!xG`oaY']*]wNGTy <vg,rZX`I֧G%~),CݗT,TO5A',7\hϜx.)`\TKu.YC9g;[ꌍEa 8?V_Z?j 89\vMJ^V*ցy2eFvrl& ʗEUv~Ԭo;uh@OEĈ C'"L/R/rI8hAvCH9{ڀdl$BJnzvMe^ޣ9>sXm--6sDNp1W藻M\*B^ *!KA3eJ>4lI(9hXR4ey՞' Ԅ* ҥ\.چܫs/_QX20NWR*X8Yq 7xǞ&Į0 yPT+ 3+ŕO{D\5V7!mg'.i)~_#Yv~]5 ~$/jdR mxZ8hXͽW1Sy$#W`FbgWj\V0"(H,6|M*0n.0۔ Kvj>j,k}2T$[ PQ877 d,?1ZU7[T1{(L[Z鎄)T"'-T' mqԼFhcLF*fpvj,Эx쥞pߖ \ԭbeK3ϵ7pnR_|AP([o#pWПpSW.D(go!bi ei v2h 9{i^:O|]n[|oswp{=7 "XU ܦo2M2Z2d??w-]N1qҠU(=I0o1OV6ɫH'C& wث􊶱IY}'%kH$❝$Z%Bz [>c{UWŗ{GMh4I Q?6 ?Ap4W72Wg.ۥ ֑5q٥r:А;eb=FgaT!߁'m@+zVb(y0>J Iױ0 v)>yo7_pnJ3=/Eru8%%HUP re"_auDFC.`C/$;0Mgn+c >Z㫽<%36SwU$1Yyg82cxm_''?XfQj|V5?u6twTIUmAQqԥCRPYLNU)\D2G!{^2e&UvPd`rWNxpo- hYh ?(#[b2Yz.$\ȧ5@p5z{zE˻|${9hڤ߇>r%T[o3zH\ߖcDw # 9!`T8񥼞A˻)Z;#u1y#w̓A@|I~] 0G@5IDZc^XIܤWJ6.(Ēu|酅wh['"A6cEs0H僌jfiƌ'ݦ8Ec&t!=Ԡ G+UפRFX_tLQ&zX eSv],ҌT8q+;b#25i;4G"gԃZnxNh< ڞ@Ľ+tƨ䲈xN:/_ue;:A ZpkB)~KPY u3 *gP~=%(\!X6 Ca MJNJD6/#x݅ufeB$(y)ZǝM5,;У6$6ht,P:՗GA4l'?F#5xkvZ[@q뜉ԐbC۠(OTZ>vRjlT<@C>2<6dOhq_z+ZyKLnza#Kj-7ze^2廝w%E_?l'8Rs>Q&VL`ekgn]'mHǏKj%`ՉjҔ߅xy ?D^g Xi%G3RYNm=fsJr4\ k<%7y nv06-6Ո\&O^:y#էJ6i PgCT-RHx*>G0nj: @tlv@?| ܘb)ƿhqu%]? =<|eV [2ZY%j>VO&b?Pa]ᑧ5,x\>n?ڥ3g 0TA48~ vlfyH=3EWY_ϒNO"Wc"\j(eH#W_5ŮorW4Svl1V&?!0כjO94NŠq8_=>Ѫ訊\Fjtq^:[a1kV`l6 CN}}H|׃6lH Iԇ* Þ=x"p(/:.3iۊ[l!`fJRW/wh :x+0((,?8'%xM:zP'?>FL %V#6E ۜ^Dڿ}_dLj,)}xh)-5Ui %zas NgnHYMgg%jnģ^+y+hL^4_X[΂,@iAt VwŅ:/x5ʆIDȩn39YӠL(mMh5B·yt*n#^87{쉢CnI+q4ǚaC]ʃF2)#?^ase%N$ mX3ДrKzIGCbjLUI(G:0<կd@HGCQmТ)\$ 5;Y3gD{C(z0Y;zLޛ@N6V|ϙ -{=,תhy9< L_!&4Sͧ1WĮ5=pdcXC\}WtX x?wZrq52.tE>gP25`-\V4IsNy;^5n|X3qyM&IAJ&u=IuJ@E6~ Vw)PYd6 @"%,j~"e̬;>T MfF8]\|/CXKO *4,CKQƘ|}A}uޙhgک(-Aw,bab,ɱU/qzlGP~hWmcZLKoo4lvgigqB;ˡ/;(j`Vա!%ywK Vj>ϗQ\pYTz3egЍ3CDrcUԹĂҵ!m $DucyexЂ23.󆥼ixgzBϣ~c#dcK׎>x fOE8m)i_zD~nq$zّN%$[[9"X%;U.'dD&Lx%O.Y􏿎JB}ȿ6 M%4$В̨ZZ ( F>͋4"tueM602mSԏk%$ u#oud~H>΁lvBk7nJ p%G Y9;Hiw 5gAhoYz~\[Iibg@2rFߦ1JdN;qjC?U Vyڢk (%{&$gOFͯlLZ$) \\2Bni&oDX企fc;̅L接8J$ϷۊI=g}[ew 7yO0"E,~D89XN>+=i~eBۧuِIO!l 6gORg `p*AdJ.n/zRl]XM\Nd>ujYB6;/2snQo(l.?J4ĢkV~A0ե!s)R?p6=lv%c>kYq-Ԗ#UM[5~V}`zk@?]axΗFGΓ#s#XZ?{ȥ|}v{k0SG"۝T\Cڕ=0"ή~'+d*qu1b^2NZ%iop/$qr4sAzeksio_vPp3\3ǒW` Dv`K 4禲m Rp˾:Ix]u39T&KBUNFP5ӽ|*pIΘ|]=冯3o9SWV4W YSsc3F ųSc=+ n o/3>C$c] r;-҉ ^GGCG[]ehyQ^R$FIa=u3lK{i BB9vSCJebTOYU6] vѨ\ ;rgDHf:@MlKjS%Hɲ׫/ʊ#vh_Cfn!ڒTiY6^&[FUtB0TU03}~<tbMFU=[,іxmCoŜ1UCV{XN(:߾:vhXz *x,8w>y<^ݙ&PQ=4QP:U2;W*SD@eȩkYtKU3X+ٖ 7+"l8iM|Cg$1J\I21OƕdP}D\aۦAYL+{4A5yNsrqz-E2zCX0aHTc4!e0ʿ-{H#L7 -Ҋ+61󴿒=@!.M敬PmG&33vZI6jq7c}|P#{fMŁimۖVcaG_2`V.؜j_oFOu705pϬqUQ^9#zL$@&DZ5ՕGIǩ|Nz+è' rR";QD b!"NybNt,63{Xje TLVwB.<$Cs5kzDԗ'XpxƶEؑ$zXC! t3>8)CY*~inS'聴C~PA#8mE9QA<I|e?{Ήu&TNGYo%O14!026^~4#V59i0d^Ҭ >(uA_,oL:_@U;3D6s;x"4KMLUvΆ˻P"fPFH>HPn5KHg/{Xlg. oZGbl㡦|e]E/ΒRFMxzlVp%)>an&Nᯰ쵶rQ"ِloD1cwA*T+l1"ȟ4'!Ђ"L΅u:\u_wZQ3ƻ/V]!J_ʍe-\J 4`aT)#ޑJo\煔y0]NXGN,UiOtŶdbtQnA?F hl#ů >G뫪Я(+'50w/欓 LFVS R ÕZv|;GaF6S*5l0PYY쯦3}s-(mkX:;D] F #|tQ~f`r{ߥxPO/Fy=?r̼$dx3xQگFg <#Lp9w9d6%odUYbVvpﮗUL&rkƬ)Td^k6m_n__CnG :տ^ȉs-4ZG;0י; TN_=qV jRyMv_\q^Xxg,w֟8u=i.z=4_zGdrA[GAROz6/HN z?<"yxӥ^p % n QCE"4(ĢT>\OyBlq|T2m#?J}akVl>O(ُN1h}gae3XU#=yYd*h'ۢUIj *iKˈK+ O8*$x'ld pǜɃ؈fȿ:Q7M# 9CYD;@q:D]`$\)N}rH}iK(LOdjP%qZ&,;ثs6KHKtl <1_Tqňb(ud*%ikk{8Ɓީ_`΢H1~Ck gGmsBQyOkvM '$7D%=010m/"UNnLyH{jti5Μ]A:eS6*{f` ͦ/^ѕ15x:>`449kWEh<@U O-+i$ e&%ҝxE[,zOY&[vCY*0]B:tFZs;`v k5ZXt }"qۚN/gB(nPչ}K8W:DXp 2ry;U_PUըB _>Ki㨐)+NJuA~\+ 7ۖ~wbmJYxr!k_llFjaӁgzGzګVouoo_* bJO8*Y19.%oNki6 i8c0` `Njų{` .,P|5":#`; =ӕcwh~P9֏?*&ѕA`Ѭu*'* 1S lҷUEݸBc>ퟑrª:<z2VFOIFyJbBt<[ofRa8+;eBc;\O NjOz)wǻL@$=P+ sFZ$-HqyFHXHO"9RD_߲cQr]}eS??*TL1(ckxlj 4)DE݊//am) ȳ({(8#xq_RUnM:M [ I̹Fӫuٙ+++/؍ o1F~Wh}cKS%ÕChN/;.!#drmYEOoL-'/NsΫJ1S-J)+Σbk]@oULa["~Cgo'W48ME<ܰ^`ǭl7;?hW2+IBa% 0uJa}藅dcKFSȓ5Ǜh7ܷajqm|hBe"CHR&{\L[V0Ә0.b+l.=.= ~֚-h'1!f!M4c])rb:ْh٫ˬ_Jڑ ]r!DΡ$ٹ׶/R%df.+84lxF)@RrU-^5;n|e^'79yw䖏9ͥ'LtRp7:ڛ#‡5_Rx|*WI/5ƻCՀe}PhN<:_($XJh:yQS"C l} ͎Zz_3/4n DXI0SN` "H\=& H-.WΜI&;M}?N9!|N&0ס ERnAca 'm" C9Ӣ4▭y?\ *ɒ%򇬭 BcɁ:B9^k NwVZ\Gh:(|*\ĦpD J~__[zH*N p|0EI:utjIMҨmAlVyT/XgFI=]q *֥C}^zNخ5fBi;"1{6XܴO#f VՓPFlj yEo Jrņ!S7H_Zb=˹OmZrtU]| eI/(7ȇHXZ CJBֱ?~:N'ԬX0ƆLZ嘮^b ,_ӶJ}eDŽ=.D/@6˃HÈF?uljv9Q毕S;8|q'X^a7)'$s]X{NvTt̳̯wy4%Mm3I@?:;zu(}he VQ^#6ђeQ[g'Xec[w h6ؓUR=yםhv  Zg8uãu.2gq>u֌{#<H얇f8ᝩ <~#F1}2n}&b~E6JE5xmbz4DY8Lm0~5>t$cV*M:>(RHiٛlg"d9ﳧTZe59 Hޠ.X0yܼӟ֗N.ZPO<.ѽ"7j{xVuQ{7Jj&٫]3Ȓh| o뫁H' 9`ReWq۪!|WqW#;dHfi³˨@\n =t/.la (φ?7.TZ]Q(d6bv1Y+s'COY~W;\g)666kyfį# vj6~?ݨCv;Hh]j]8S'zÃu#u%OzE1hc?iUg&]:0*7ʆdAm Uaɥ FtnL7G׼B$ȣ?9ꕎ2l8|nY?(ޚtt UDnD>_\#e{RYitCF-?R̝̾JFeXP/ àCfxhHF!#ȰZ 7!+BwvLzPeu4Bhq I\ch~lF NdUXut^F^?$w XGXcM/Gst_R_0EQ@962L'(bc(4n5h9 OiJ}BlB.t{vGGY&ԨΝA7qTT!g$F"k񎈛n[A*$p,e6Ϟ+m IBO)]3rѝuy麲W1񯷿f?Vd) I[Bz9V*ˠbLXزZdG iyc!FXk5sXxB/U $O{B4 pyQ`[a{K_?pqK9c6!_|OθٵO : E|~fjw69`j N-ڥ᱌EazA@3fcmP͔V= TVzvyJ<3LBM9ft'KzܳtgVjRGqel̸ıwFy3FN﯑h=ʪtݳK{“N80%xtET @-U|dɤ(?XH̪,I1~֤/ u' N/#B]=zhv}OnVhQkIe#KM%s.eٹ`IJ$@u5_5?Z~NiOom-5ȖP:NPiɪKLnPG8 [eΞʑ[&i5렑x>\ܩ '[ t7kϏw@#%srHRxIH=!<˲1B=r0!LJTy[|`g^)ٚϾ6IfRCƑ_3ScQ Hz2QE\CO˽iر/Z"^({t_XaaыKߢN9c8ZGstWv)7_DDaG[ >j-߱l6z2C~=$~/`5_˻-iiD5B)A=swŒpNK zY¼CVb{ɏS#zs lFnESuo-S:yk?t3`ira/$cP>*+\*_3LCNr?SRzh]?Ƣ6;)[p2XO)MM[JNtA_R3Blr qhL|\-iO*h9qOc>KfwU_XY_j0$S)F-~٭up?x(+m=+@_QJ"e<*' 槂 >RRL)b0/h` .֐O:,L\J-hv}]+r3j@>V0%oyT_Vpcu.<.笫߭%77?j#5e*#~}^~xbHg]F֘/(fZƒ7ND(?G*\ÃGi'8~Թ d/R f,m΄ΰ;a:QtlU3$.\.fYOA-BI_A#}ǡ4&{SU7Q5f: s5S`30Wmҿ\I RU6SU-'՚mj4o~=gO0铃I~@ӥ♞"Q?^`6N8$ tENuQB:4y'N y3Ȅh,1 Y@chQ 86uiO9cwڗzӒRGA1vF(_񭣮,,A3(/SZ$]XClO7Vw ;KФK2.H3&RaB Iѕe+ڿ_9Ptl&pTHQ$Р1([w<.Te}EE~'1аFq B;χc_S)g:or$Y~.56"7˶dU9?ӋBПwP"Q8wUk4:+;H8)@׷qC  d_7ӊOgwmlp)RF08gUOhZVݿXbJ z,0|'^ ag#Hs#9JBQZ\n7AH Ïo¡y(Q5 vV}UG['tX39wV~0옑2ߜ[ *HZg$Af6+"Kށ7t2>e@?8#cB2jY7=mA:v2_uW_ЬKH%T%ڝCAw~@a~ȱJ+k?xb61Q["g<"{JPa>Fgn/8Nn"K߃*8pdb/V9,0fÌ`fW WPĩY3>-4+~\ش8J#lvJ*\\\_^U Z^mxnLq\fTEcȸdT$(?X{x#n(f .bӴ/ 8z!wm4Dж`R䙗()U/ᚏOH̓'#&޾񻥊>@a~R#hG*W뎱q-O/R|Hч1,ciֶ e B!F׾2س'4w!5w;ZrYn>-SbÆRCS\|3* OyP]7`9KDF&/߰Nc:zr$oD R?x vJmfiVV&SA ɢ̄H _+H;CUOd? ~]\$L*{QehI,918xG/@?I2<]Jt/~So&\&~Ysn;\L1YaAhd\.!LAi@ۙgDٕLxF-1l#}PQex`lX/@je<<\N;< H^l;$4`vRi} iʩu]pQ8'sʈU9(k'ME Cg}./|19@{7Vq*p j4n+iO\Ktm @zT`!L\2*\vgRCΆnAH\IWOtFo>Y9;l6-`5#[\$N|]Oސ4ƺn_|eհЋ;U=W`(cA:esKgOl!2z)u#klhF|94w 2ُȉK!p!  +=$̒*tY1c o|wD%UaJ>Ub_^/h5%>=xhf;T(vy/ll)74ȇ",bk!B՞*2V&m{ArjYPJ,V\A.X,z`1m-d?TH,=ӒO>vs W1l8kCz%SY9kmU@[{[Nu -eH0 1_<`0^Ne>]1SpNƣZrJ j_ z gq!|퍢 Eiw ; #0(sU! h-<77Ux!xz7\Q,1/V_ٚo|߂>·W f^ɇ-!ώ DT"WJL*!nS  NZQˮ{LY*.#~H$)ߣusWe7ΗvB&}eI㜰Al5/t;0 u?H9EU>!M+ӎ.4D/#pIS_兞K_"]" gd0 p`Xa\ȕnBul@/’oONN8w碀پo\qYX0϶@MgT2p"nj՚/XT6 b^ȲN%FB3b.*`z̀:ԑ}歝e qA;rO"$3F5G<փ5Vl?{3Bު;c&$*+hI{t! 8K]~ TZr0ouk h(2r\Eq%jT,9Y1!E\vT`r8s v-ӏD l1* C pzqV9UϜDe7}g?tJ,k=ɺ?9h %,;&f`LI`M jZ Ml3ˌ]s(b#F10pl XU QΗWyUDY,'WjZRSR>ϑ,FmbG EF0 嫝TUx.`.65zSn_y̟]޼B(^QRc-*ErJxn G:PK48>S$7שh}|ǚ!\8*e2Ե_,PĮGT&8nH>N=͆s!t7Kz4+ϝãП{jyYZ| ufmӷW{pg( oLSq汼ӦY*RG gBd1d'Kd]P~x_gķãS#٤lP M c;[L0dCb͸ZSNE)T;_A Tb]4U.sj`M Cai|Eu,X0+))%㜲`S?RC'M<=ziP^zHgP _gHL/ؓɃODe$iTȓa"Ydc +Uq^ ݥȹ'7?;3Ɏ_[p2]A>>Y>Ķ<" 3oсtbWwFÅ( ۑ5鶣{ WֶIcyr̿vk"4+|Ø9 |SK-1YLIjJ5VYUfɬvI΄dX=Z@ Gh|i=(KD/\)!N9)*ҮɋoGK?ԱCIݹ{M dY m8'[oa>1 4(/gsH~rNi\:x*B+V<ڏޤ1^h? #i=X:E?|0]]R\%+9ݪM)v`u"_ q*v,/e$zRmr -7}qNnrc),3Be&nx ,x(OxUrkkWLJEmfl=ec}@,}s-?J-PR Ea6À9`Rܖb̲hZ~ߧ_5g ĕ}Z}\ѱN._/Ck) [B6|l'I *i9V% \EStSyĊVmvusDh$z$:z2U7Ů uWjR/l @Č8Ͼ5<9&?V%梯ޕڢR !:N(KiaƠ91=Q"P:2*0Qn3~)C^ Xr.Α[.|[Vm W=ZV7]$LԞqҖ2|"XfP9ɍ6`j..oQnCHsj']Wu80() RIJyLQ,^pO#8ȄZW2e]ْ*5,A-c'O: hn VJoD{ERk.ĵ"F>˧$3GBHLTH_3 &m 㰇]ʬ>S@L 0LB}k,@G_&nZJztaӌurG03cX4~: ྴ?u1)EkwLɵW藺 6N#zh$V]xkH"-мSFa[I)#7^2fL]@}lz\Ji]:a *z85,ݼ8;9 jB*~$B)of}Dc\N6\|s@"`S -PpynBK}dvIHM =5Mӟavw_C rDf`iL"멕?Hg^7>ޜr; }k4/" 0>WErINvv~#Ls/O#7XW'^ϕ@y͕'qX:(9fnB+k(3oeQ'o21f!]>Dɾz672cXYu2H4!rCN(n\,R@DBL`K;){M~ʇBLMdQ^~a~9db֏iuDXAmxU9CRAp%$mfb =2%TWR ޮ һtlՑ~ٺv,>89XF,\Әseښ2B9K6P$0w.GZjN9Jze>ų2, ̷ תcğ&:$0+փg;FId5 \BY~fԩO.ČC߶9# =')q:s PK Ls_{\ػ=Gd-^ _?< : MDakG?%t*8WHf5i*nz,vzODQ9'Qn'"Iu'5*Bz cHZ~JP'2.R,83{AUfHE6dy""lE4“H+ybm`a|}X^,8:[`*_NZz9 DL͕uaoyA!RBWV@wJ;1U(nR*ʽ"asRC,8xzBT+]PJÍIk #=TrOF/*L˔Ӻdn7C)fQQ7Z({U/5UkE' |]KH2 ̄&]" S[?f,_bw:(7qw2.ìuVkI' xZ # U{t ]ķ(_'#P3 V?Ū+wsh )n]8N+r]V}('aH]-g+jOԚ7\2*F9>Bְ^پ`JiSzrVXU38M -,X<r%FM~Җld1iHGX!"lH'9x.ys6i5{vvnշ Vm |`Bެm ; ttݴp#;GZ94:pNü. NSoq:[Ձ|,qg{t6JhzI0[Lt:)LJuV"Tء^Az+ietet8Efh۞ž@ց6ˀ"EKpдZ4+&@o=3!-`k{O&ft{y&Gp_d]Fn%5JvϻA7~s<*ƓCMi7 Yrf։kjQ*06]٢ppS~p_]xX {6r|_k +GRaꄤ+AԙAwԂ@(H}sf[7]8HBG-Xυ+zW*8zPh5iDLNe-N+{㼚m;w_b"XK߷iڌQG‚lL>_xɜ.O&u<п'])l1JĂysdl#c~ Uja=ͥp6dA)k]Bn3}ZzH'~!hd1.:cd*#jsIWHLؕ}%QWJN)g8^ o.ifr& zY)FF2@|7&2.'B6Vέ8 6Z.~|T%ZR1WK!<'?;0Yxp5ܚ81)c뉨yΝ DfO1gspy8{*@"=Ur[ϜӤ$]i$8j}W@ی A{91cYb݌ lxkܶY\-7v{nO FF~~0 K5]p>=;@['LHċ;K` ^dtfO39M`it} 68L#/I2v@c~=l-6$MY}mg-7zv%wU0XwhRqIŢj; *햛l HSV"3̣邵BA'^auieE`]ݘKSl"Ay,mL5~+{3ynPɵ4ÑwY}U[šREq{qrK7iIꮼx)u>&lܽ{O-! k2|=e?*u!@Q:o*]уKP9dK5Oו & 5azJP\|:3)2JiQ[&ޠR#AX5/ ]D+ Us8r_>2)5o}eǰl+!U yiӛ`Z}{E *sx Gy/νv^XU\qu_iDndxV2-Y||.9)e)3u-7w6 #tF۔ aS$%jn<|BgtsP-UA l\i:SغI ? p1ꣲK@ <dw@Ry.{\*e:w)Pmm1*o~RJ1x~z|ѝRw&pZ ]gX!wuyioqLRN.Oaw:J2qR9Mo'e&̪, ? xVWD#Ğ0 e]1vQC,ؔ("j5t{YpƩYWCM񮕢i']@ сelLrfP^Q7zV)usfo&pr 4܉ DWZ$O9m@+~M~REeYc;Y-x@bJԥ [`rIiՋ)ԎeB.r'Xqn}QL!CJbqrs"O3)}:H)&SRj9!p]ofJ:ڋgIG9qWwU"STbg$7\ ԄQP :`]c? a vPۡ+f=`M\W*܉ɋ'Pn/ɏ#F/45i.̜gԯ&Cnjzz'iIZ0Nw6?"JP}Hy8orQB> ; 6)PZ^`oQ ךtڋunަ=PA#Jd-Bu.7"_^_\ұ;zؖU vIcYfTlF!-1|T ~RyK$ S0 ,RQ՚tP+H]XGmFa^@k`j0GŪCyb[Q_qfvW1G)qʡ˾%ݷenu4Ԛo*i*?F"t +xL,9бsLqm "5?Yz1Z!lfkU%\ӄ5D4r0<[a;2|XzĩAJsJ'ؓѵ3s:łYR³ b*!Ӽ#re4Z掾lpRS3yh"Ishwkkr"np -ߙG"Y5T1\Rh>Ftm7aޜ̛}e.Er" j- WD Ͳ̩j220>5@~d")*lUn\(4 }]tf@Z|54N>X7Xrk2\I0&I0rS >5iTn:MIZ&]@shg2)UNG[O ;Mx'b^~;ӷ_BNg<*bxSDi'C-T&I_L/O[] O=x޻;߽I~ZgZ3wK2 Gֺ&#niD9{%RQh n<[%:4ʩF\Xic.=ڔ qɴisϰMT]9" nQ)9/7L@e/WE5WNӰB#ykEz6ʪ5s(sH3+ed߅.jBv +y}V8d=Sgv.|൱j!_ Dۅ>K 0(BBZLoU=OOOD9Hp5̜\cǷ&ٶxtE4J]=hoMM=q e0+Gx{GNE9 <@TݩZdTlWO7SKU:kM)O"J6NG &^3^D]3p:vN9,)y ^y5:t3^IҰ]U9L'{U/YU9M?B"\H-i!yQA'u,s\̤2ϫmRwNTuEr]tfn/o Ҩ?pqbQ.3MftCJpT Qk1'rM@y F%mmϬjOwUiz{.ҵ3#L\s?t$~އ_ 羠-5*_z ##zf13ã+&8]\eEuH.= &SiOw2YTI'l^.1G wpru[K|E]Ǡ+(]9O* pkdՄF}+cmj*zATzܔyd.vy/zRE8lnvوޢ)u@5 N|,9H%s/z^Nk:XT3{Y ,?}elV6u÷ +|'} aiX((V~hA#".#2We>*^lqF`Dq:/D7Hf/cɿ?s!$Қۿ".519G{DA80@Pk"mwʎos֏@ۗ(aB840VqHK Р[WdQjO)Oq5W8EvIߪNE.i -s٦)Y_jEGh?o}p 7zL3qQN` Mҽ2H09[fism*{R8L="K>D+OKپXѴ5 oW TuSxx^b8/$՗`AX=xrlkq􎴪7.QU \[Kޟ[Z #|\g ?3(K S\ſçamO嫩 N10̾~hX{rnF E&U~ԹLoD{c;5ZEO)vKֹ9󾥞1x//+)XNd΢&HIO8{׆ ,I RWWD9'jI0؍0K3|uӠTyOښ.treŬO}[ݨХ|FbqW?>Ҋrb_5.7-[WE!;nyNVÞ,xO))ﴄ׉T`4"SH\ĝ#5mDnyNVUgޕa[*&Ǵ GjҖS $M|*Srܐ/x3K 0jrӷ6Tg)_SK9.s2f]C: M$ST$wl^XȡQ5O!63){cmbglS/7O)(E'թ 2[lo| cէG /$V}8ԍJ wZDV3].+(*U8LJD} VZz/*pՏYVL>BT)NX^k4\'b_crfx% $@%xIE.QsʘMPz ˷9|!0NvI҇t1n|Ðhx վ$s ˜ZC$hZ?Qd(KG?Sg~yU&&YЊI2t1Fu~G>̈_Lloogն=$ɈB'~)GO:9 1t 圷!cH F}j63X\ě<N;lQPe"a2(fCJ~g+Ş`&uh蒹6bIڙi**X>Dx>,Da;f-Yb2#KZDUl} r{x8!&/ &+ٶ{w;\ =P '[, G G]M} /_3XbY{,&i̒4!x|un8F>6P~88rs[3bp?\p d"߈ xb`y*ה{+Hixӝ7#w1f Q'OTRlqS,IU-r;9MThj $"6d%U0/#h $so$#HX5Y ȣhU &J87Q쁈 9»vywzF.:qy xs̅$3m]U-H1{4cB>5*RFg*,܇ qאUh+ᕜ?;iw5@`^Ou=L5l-@Icti$ESqn(7ތ/0I8fzVNAiZޤ? ^D 1mr#(:kO;?i,A:xUcR[v7Of.;1'5ND>~@0kˊ Yv1uKȸ8e3G<6Mc+L}ԩG4!.^/I+cJ`=ʰy)&SGʹ1ò$w͠hJaFQ:{B=^_ty,o*7\\sdӎӐKڛFЧzKv.o4 #LލW0➀l&eYyaHF񧦔X$ jr%}ץq&Q|pt͘hUq2}y`O-iA 7J_G{ GYlپ5߷(2Qޓy:'{ao} tE:5PDkF}h?]zC[ԢkU–1ЕaHeb;MiC"CS[,gFC l R0}SbgI+y 7㪂z9E!/L. ߤ~ m%$h|@Ԅ&5JG_d˭/41yt@*U5UtfُlU }OcWM]8qݚ Igp\|sHCR@FoǞy7;!RzH&UGK.uݠWJsBFE7Y nqg̴zld|A2sBC+8njĵB^uapO[XBmTh[9 /u^T160"K%Q0tl1<ڸ T Fz_<&c4))$}^Xw?fmr@x쭹U.agJ ^!YqS*1t]n'546uț9mfhxCUi H),^QXKyB"GI5kLJ%ssg\ǹc(p2U) •"1gWi-zH0-zxQ1Ce{ć! 0k%լM2E La΅OoL1Ss#:a?y_]M7eTvDRѤ߽&l[n˝|^wZ;sb}cgt؎:/e `;* mA'zWtbbgo4L5jUϟ ugWV<ƹ\` zscRrufΆ(vep~P(巕eS4Mrw _Yʡv7(7@ QGC`=ID/9E3. kq6}B`Bˇ63BTd{Geǩj+z>3I*aj YO]A5&pqMY<-G09qVQ0wrڃF (pcd4cfgOc7nJ" ,k_<*;_dgo!g$r_4UIn%<)a(|# w:HUzRͱLdW#`t+ З[;lr|XpAЮ#5;hRej66!|i^>|ĕF{wl 0^X37ʠ81-!Z;+S.J@T?AĄ #C玫ט{cUT+1À~Y+PbOGhn-5,9U(Å# 9R5)=%"4W-}M |2%sy۸z̀ˇ!T;|5JY n)_!qihf"GmW4 6(CCzC”mh|2N~ ~`h&E1s\ tbkU(#`\}eu. 'OulxN[4a;XشNA@X-<9Xt ;7tT j7GTo D|Cr%!)&{Y { CE3 *m=q|ܔ ':Zz i:0Am˫1fFZjO]'-P%c:-Jw]MI垸>0Z|JK9)Z)$ h9;:6&},y NMs^Vu(ƛy|ڬaaƐVhϩ97UE\?m*iY'-Y.z'*UÎo喡L \G YX[0SaƭwK녕7B Jf~b)>L ދuō~NƘrvqbVTGM7oږ"D}:TcvY+z(&CTaUM_ ީ,)7)Q^Tʫ$\fOg,XPf8a7(hS"9G+ٷKʵ-:>9`w{DGcp~9R |&ˣ<=њAm62h F E&]2.C, UY6ڬI"~̲ 6G -vDՉ#a,v܈ x8CJ3Qt?e?EG V^(y`#JMJՓާO\m J_V]wqc?}I/\o,nFg׀5H4D;:ԪA~NըX.$z5d$R?LAo]Yát kA";f<؀O$RT#Z58KHdcXgR-BrVa3r8ȏ.y-M%>Fy uh??uj LGZlgtq9̿L fm>lv@Hс,Ә |u,İ"p~1k ((D `>]2JCw:AVmGkzV~ 3PhYYwV9q5DH'+Y3\&J/On\{8cUS)RVȭ6P-)l,Չhȿʅd]zf=F5vI&0k`p !b/ K邃KҪX`,k7զ5RCe8 EQᨽ$#&ݕ2e$Ǫ>᭴2?xْ kӗ5U"JOz,nYZ΋(ďyp Q4 Hv@ Q1THDl`r;K}?Ȧ-ߙ4?'80_@:nb&zURoyNVX󨽮@@`9;G㫯'7FƂ8SE jp#(Z$6 ts,TƊY{ZT} ]daBd#ɯŽev`=a wxP}yl35_39|<3EP0wR m ѳ9X. FB/5c+Pa8ǻS}H}ڋwVJ\83$Q92~fB,ue4 u-pS?O Y eA)B- .G?~~o 3 qqǪvb,fP Xh$׼Z*qc\)ƵFҮZ<.a%!뚷h/Fk'3^Rq;d/ !m>)➿XAuaf"vulx;|^;sЃ1gƭl71ycn!;N|_,x57Q-^ |V+7<]$CJn"6{!͓xbO[f# 7yx{EEPIbMc*tu|پ_W73`>DF`Q?kd9^ ;`y@|ls>Rw(`&Tk$r7Zމ'wZ؍, @̔2JYU q< :[CBg$"<"Q)GE," e`πc)d DґI&̹e-z6.Y>t%sIJ4 Q=j@ `(i-t;h! (d*i;ϊ)Mhxy؟ƫ)/=…Ԯ0%h8~$^m?loUU!0$0<ܣ20Ϻ]m4g5o׫|:[ly1%YM^:~WԷSI 2?X`%PgIfő UO𨅅5+V⿞z:\_RZYÔ|\GWOo|6O=F 0zJR*Kl%\bpOI:%2 3oPG0Kύ+-Vk&\r->G. LfX`?KME}pz{S15; $8 I b,M&SYIc)~X/=TZ|,uh sYY;i^܃ޠ̺|eg$as! ;Қtb7Ho&'ӞwS }ᬱH09uþ☫jI^-dꧣyF @Le&(OxIWT}Շh*\ Ba(HT'➪Q/ ''^; 153k(6HBt|+P9W FH@:zϗ6f*;Gv8[#W J(u,L3ձ鄳l9Ďkf b16I9xcz5@ ݤ>?9OɍNQwJ [MӇ|6?dжK6?kuFL$Ol4£ױ.!!JWqZQxyKDs"xF7F޾˷F%jۃJ`G+O7w)o9՛FSkY'G**K }AM8O@Dic9? $Wz?nj\1SM_Qߪ'cm,_K(Q$qW[m+x]!B ֝/muxY<htS)fWS q#.+~>@k)YN(3my< ԽTw:;"W^őׂz:8aBN['8H{3 E䉤p0su0kI"L[jM<@Y n[AhѼ!lf~Ɣ;k^/').E*C譏}ԥϼL~az( vf_H/R?$F%? Vb}ҡx$}QO{&D>:ȤV?Bh,۫)㕳 \JyXIO'(7 a UVă>FST'ks#ݒc( :{9Sqr2F9+_`x⎋)G!o8NrIc@:w2<~W~RKձY3fA;f1lOy&U0ѐͩgnUMY(iR|G;׃ɘŤø;owPKA5ډ>$}}m4 sfZy-L!{_CN b@HHHI|.om\I{Sv ^nq˾ũCnuL|x]- zbhbA29 S2%}N^>J0p5)Op,y=脸͸v@Ă{#SSyBѪhOf_0}vͰECiz;c,kVO=M:gX^;+=Qɪ:7YԫYߙK煎õ+5{{|Ƨ޽3ySp\>oN>]A|[q 8xCs] kpVLcC/zqB1gޘI?k>r>U☵4xtjG&7ЁRb":Gpw)h$!yEM`.Rdߠ.Ѽ5HM4hS(b_ *;RKa4*N'qUJR=JF⾃U>H%:uaׂw5 s$nLA 6 :v9óųW?kڒ穚!a>`1Gy4Qhq^gɗE׎ylZ ɎNQ*4CcC qA❜#gNvS_x,9*})oYH70hbԛcn??\cb.ϒC5l`!](1 )`,hĦvXcVSoW0 TÀƭ&^ ;/ҧ3msՄ太|yD΀qȇ-o?#aC>(5FDCg X)h{ phN0ׅmLZC!DH@Hf!8FËr}L913>\Y}'cpX&} j䢴=!Jfg$[BW .s#.9bm᫵2y8 Q)t&>Ò7M1[F 'P5R) G Fo 7K^U:nusslro}v5{yeƵЇ)$){8᱁i%lA|q([ \gќaۑ (%G'(o{ o;wn{fzNNQNh,gԸMX}/6.E>٘٧; !)'?|BJ*F ¥K@r*f@Nx448_a_)FM) .XX+PP4l‡MC.)71L[T*RLv Y$-zNqe!1A &oB jq9(&N!]d@{gYݞvD.i-7"Vm"ӦYp}[MHtbQmb3A0UDZTuUQOhLE~fY/ˑkhypf1!c epRK_P̜9qrїד-ߚ8z {M`-rߪʔ%Qq32b,i#I>O*yH\+_gEd@nE1Oi,`);(XL=^IĂPDKugɕEKHJT {(`ZB%UQP(%csu42͎ߴC,/L\Y\Qި72 Kˎ]}}5(Nn* B;Gfr=^,QxOS5@SMB|"DIoἷU;ӳX@.䗊u>vfR0ɹ!sV'޵͹2˹F4sS#v7t9Gn:MtsO(X ]muA||I3Hމ&[JoMQӑ$8&MSriRYӳ3/ oZխ0F_ũf7Gs}1 Z9=!pyX<г]axba7{ve2j??FvϷ-ș m<zLc2 .1%s{oSBC=Q;U8 ~UsnW`C$ f#>ǭ7ۊW3G$*uS P<qIs  oGI#} 1΍%4?RŨCCa1m=2Wo)Tx9: <%h/Ym9}jP _؀%C2HY7&DO~i'!u?G6p'HDJu|Gd}CJcS{D}`)Siwsix$2+9rs >\PmG36)s`${H2HHXry/1 -d DBG۞zTo< =a m:ltREVeMy3qiOXU0"n]'ǒtDZ#?ܼ1 M: Gbj\.i!RwHƵb%xw{"/:=R$uZ^VE?t\2edd4h;Gvl|Yf3Aįжx *C}I +&_{[ބ63 !2-PC5OVB Pu&Y֪8 <]:Sh};`3Mߡ1_GU.h mA8.o`^u)s{ܤ xWE[Hoe 5iy%:qBסPuߖlf nTyPL uE=9cx*Rl&3@+hz|&ѲɎ?~-S`֥0 -h`ҁi~F9{} .:rst/?j?9䚲V[!\\.)Wœ `.h7I ߄"e17Є}g 6"OnK.NOhy0aE^:aƅ5] "8"quNH_ d2Bz`c$Ʌh|@ϚLz}ȗ֫rvYGWh- ­,t"ST`Xʛ^MŜt o>y?Ys Ȧ&,*]8Gk52(\t`}k 7\*Y&BU孽+AiC7dD-UB8;*<&{N x^} (`=3AHa\DxE 19#>?L jrf4t&wk,~{7z4K47M=1R]aPNXV/%uTNlnLm5y0 2N |6#-@a96{c AI@֮xϒ])[NͱlqKO΋c~Ȧ ᭹ $xR^ŃS.z^yxr,a4KfOF OTY}n D#;4$nǑ1zT%>W{<_۟Fp2B8)CdHmDghA^,03"KjMoT,ٜO\$Kf #^O^3J0%M41* KxƇ"&;$z욶FL;L.e^Q$bmlP(#ȤRX]*YBuAM 's-٠g[k@6^L5 m-KM]LbZ#UcegW+l67BY, "37IteĪҠs-( It&5*E +_t3S 1_;W_FP:i/OqwÖC#|(As"h[xa}sTS>׽l¬]hu9CDu)J=J\`Iu#W1ھP"ʇ$OTdQs];;VKi\*3B);CW p4Wm7"6Gomjd~˗@\|ӭz;Y19F:aYJ>%2_k*쒟^_Sj7<=U 8K4fsu@$g4vFq,ffJxCtt!"M3kMOJ˯tT":oPnIdQ&hrCp*d[pCf|nԽ%wEvYYuac,黣t_hQuVśeuL% &$RO !SH I v՗P |75Qf#-.ÃlG ~ni?m#zl'P 8&NB&ݡoπ ;q n`WerRj,@S:{ޑY0mgdB!YIf-k ?*;oSѪ&*E߬D#Z:ʽSF)ɓE~z5\4hڣ E퀀?TrԄ(6\:X ԙ8@;+ <=Xv Q?N*COYk(O Gi'io GSgByJ Ožs`.+:.;fD4s~T>px2j i 9^oL|:IeEu rg9 3ޚ xqz!?o.n^l5 {I"Vz$Y(J-gzU1C>.m0(i/<)?[Q5THa#TG_rbҟPF qx,-4A]"-?>>"Ͼ`^Y@z dS̈́t zH-lx ; 22ΩeM <}e1@Mq Pp67pT͒E/nHAⶋD^U;c 7kW`hڬ#"O0׶`]H3km?Ww\IL`ޗ@ wWXʲݙ^FAW~t"ݺޓ)0)X}k& y9Т J6t9Z%*(wXѺ*ֺdQJMjq)TT^F|o ~WOfWb w2 δg|r;SX=j$>1*XqYF >9:?emA1r8`z$F·ȢR4(pH/FS[ounjPpLymgc8C!*?%xkk0(W2FdԓLb)("[Y7ذ17Uׯ v7vkha0l79"Y,8JF! QoxK Jf({|/ >%{и|s8赊镍u8r/ol_Me)=6Tb~IKG}`iD< ITJx3:k "{YzX?7t'J(1 X3r5ɽFFG2O.įݻJVk{"=ų) fB *L`S%%,KVC!All6ibJ8)|%V^Ҟҙ;#j СSGW v7rPsk 2qzhQ7oEvgq=}BJ{!6*j0%FrUNmD|VZ+wI@4yf(2 am>؞!!P~& w4n  HQ&s'&#Ab >tnn 9$p-G~J>NjЌCxEV*w8QþS$h| MMv֨Dfv.Pw `[̈d +%8$7kn T,s%C8w؜&Oˊ'[.LHvGx#-v+ua6уPp4O4Tz[ƦXAY>A*~&1Ҽ1TL*yd|Vم0RiErsfE=`~b?ghƔ`3Jgj~N;*x1&ͩ3T䊴b?[=KE=g%fʨPVc%zV<3И{/#HRm/c$NdOartcY$8T#-\vUQ2H_NM6ɇ*5mX*r{ߌgT[' *igI֭43wj%}&j _܏'g+J+=ŖJUF43D)G.\>MAp֯pBÆl\")F/os.&: ϲ[-p*.ocJ%2SB̪]UbųwwI /N2z(hF}5~˩L)4PuU# I%C^ ӨٻW߇]bfkn5g*|n\(m9nBG +YahPH=ZC'9عcUnjA^AjwE隆^))Y I0"2U*2 CaUn 2lQܹR]I! xQA]*HD8#lp24IBu ,| m BQ1D1T_LW֜LŪMpd1ZGyP^Qdr>KM7qAok y)Cnɟܙ']п 59^='!f1ʰ 01Z(|%.@ m4ˈ gDe ^c:㩛砒 CN9NwE$-Ƃ7RI{W2[b~+g4B9{-$BLѝA:^!9@Vm}eb*CY"hKL2C !<pNuJAEe-ׅ˃YRz67R$u\dO)j%Ksz)Y`|3ϴ/_ܩV|3a%v>XMxtu*ʂUU^8ӀX`ٽ1&GZsoP#4/B%!k|[iQ~1#'{vi+5aڝ?[|owrC1aN57\.<vA_8J釰7skNŽ3 7Nb*)RT3^ uH=bBIU_ U-KY끣"0Lt:b|2R,j/ C&s.ň=qM{keqY(zʏmmI|P`ݜ*!;nP?Rvw.P/ (T5.B\Љ(aL\b`XyhsL&aɵ(4Ĥx@Šq8[]Oˀ{{ v~ nYY qT(>bNM]g$) d@<3Jۦì /i~gzB#sr>_gQծ F]ޫ7D# =X ln̷JnZž[F3!SDv@I =IHɘQ(Ca`JaƵˮj'3Fh1lcI"{g &kwj'YQkY@ v9*?e+C.z$-|g -xki@4_>?̐{ͥ/brzC30UWlB#f.|"UEQԄiWYˋJhIu_THh?5B.Vۋ#jTDEGpQ."5P8 Og_Z}HMlIS_R#jjӐS8M˽zy?>'ߜNH% n>0NB+YH,MY| @+>޶UH LNlS@R :#n::Rzwd{`%Se>9Z*Q(6+[B/-6N&A̶.eR] LߒύB=L5ߝiK %n~%@f&VB bM!7vZ d^'IbqeQmARb2-Z-[ps6_Ӛ_cF:fj E}PACIJG##Q?_oDs]ELv !a\ ȧC6 LTXMn|Q%[U@6.gAeb?T"'3n TpIt ֽ %yt S9 3)nSJ"UCM*f2@aP~,EEdv†ܜcF nhDGeS]C״_jcUsiieW[>YrutzID g%~FXgU"e÷w{י 1\C05Ftp>i$uV:_ d^=#w^KB{ط~m`p03N{VL Psfkh(IeIz{+D+:5./zgP 7Au?ԃ)"2YRR}+".<-GglՔCDnNGpZ:UI<$&rÕ6,;Mat ϙ oͳ9=,iK*uP;Y;CYc{;rB>U"sgW㴬&X'{ 謺-l!/)'.s&pkA5O[ag5K*~=H,8#VۓΜ1LJa@ H;!ur\rr(S}ښCNd@]6.lD.?dnN$#u]эxZJ=U)ゑrTV\}h sV~֏GQڤݘ;YKoj7ؘEq`DP6koqW+#Cdl+3IP<{٣ (Jbq̋*+2sdV&g ztAZƖ'[SIe*cGx9ftd[_hSܔ5\+?]TwzFw]מ~Kvd|g$TM(2TI=,LJ{TN7+^ZKPIT<})יtopH֗R0Tp.^(.X)Sk)QOlbb,0T|0'#AG%Y¤VA2 =f+>`cU !!GOBݭ]J4|1IrQ)-n%z)ieiN^_ޣKqU'jXd{r~pvd-"v;*aJtE>SKz@+]e gzR'Vv=NkGTXPnK,k%jxznq_pV/L}ǝqrH6_tnħoK04, tk|9(ŕ k@}<^yȓ{\6lA2 V1xQX+n@4CSd wZMS75RHQsxF5^;;fwT%8346g+q^XwOh u",l`54[l/N$4:;,bDzmGtNVؠ&%&?V. @V>0*2`,4ŜۇE5@rBL^]p1:_ƋЗ{mY9dVxw^J/C>3#^|gbU62:N~ {6~}Rb,mUi n.j:o47֎3uR{ qJ۲_&77ְW u@#?j:`C s&~U!R ~Id64B$ZN,Tۋ4Z3ejT5A9RR7ByA̫g*X:;G40OԨ@Okl1uhpli#.>#i.ϿkF︛&>I*2Y/P Ru9`_4b8˃ȻA!H?a)CFEpO[wq9[9њҾlI/ W(^͎]'i Yp`RQj73>T2r35e[oǑIHQ5b;0YZ ??s%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-f86ae3dc1686/x86_64_32-linux/poly(r%-PureML_BootstrapPIDE/document_id4Lq # lPurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OU7] [&DdނNxtj`˰>;draHjyJ~+r_۸vwbגr,cajzr{ͬ>~&V߆xaVY!5Z!7KnT:*1f=S<c]ݠHU-×%6@0&j~vJ@QI^g׀[uYzi펩Z9aa9.fBy?k` FؿFvܪl@[53D{b}|3m.lp!S/9 U(<)RYSv/d6msѸ S񍺓WX RW٦ѰꐚD}z "P&`CL$ٌM8'}f9[%P2P b$W9g8 (D@߫7N1h&,҄.Y*EϵHt&3#z'Cҟ'cvӒ:1Q`-88n4u0kM&OMb i?[5&JerFQSM.<-8~fiy?ε1X~`LZzqU4@@LJvZ2[>b٢HB6Y [~R{L WNqbm3mڅuffk_4d†F[yols3]U֬{x3Ɨk:Hip DaQJlGq&4=MsNI4V#Ì'SO :j"%LT+fەq_I7͠ hrG?X -k6N'j# hYrFNCM(22 .:w'!j/$rTn '1me;LJV>eyS-NsuYb_~VH#کM&?ą c%*o"l\Զ,>l̂!;-9O;bmi(?#q~M( ඤT=,T +ڳCNpγb,ak︉J+t<1b25X s@Ψx'M-]xnVmqAcT \<(i$.JO0]a/ i卿=$ {|)@0$M%?5t3^uzkmSZK\'jT ~ A˃$ՆN, _[nq K2疲HNB7b0]GU EV??ՈkݡS c աcjvO@r÷;rQNwA'n\;2=0#~`xi(z+ǺJS(_۵92>YXO\>/|`[/Bn&PMFgM5r[6D0 j>knTgD"[tU_j`\Vïf+ K,?HU|bM\E4CU{Jz؏Yabo/Ӑhi yT:T;ʥV>)-[ B@&b0.H; ыͪ".|!,0$GH)ƃL,)j]E>qiLMiC x$jln-- 9<~,E<g0˿hmY`~Z):'ȧЫHz&8s[#rR*h%h"W%ct%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔz{~gHy'߭Z<#F K pq%Ԁ87߫> nd|Lj$+9! )1!1dд5k0g*N.Y EgAS #d"OBX[R^4M#]PLjʬ T ~v棼%3کX"Bڨ*!t|adVp]/|{s|)W= e\]L9UFi_Pp!QM ?Vsb,$_睖ցyG:Bq ú?~kZ H,b>8F#c J͖>K xI;Q>(EC\7σFdfNomaePBܧ#8gB$A2iTqN{GLH 7}0 qB%7!/?<3pEZCr]g_Xe3[ڸo;C7Ce,V 3ӸtT9q$eez~Čl{PwSi4kA.sRZ&>=f1y-^ck9} b(\ +YK|bOsNS̎7@@:$d%R޹դߣp!-7c#! (EV?+|Q;Wz 1IDy1c|akǤ+Hg )k,,M8` ɹO:% p*>=OK-$Q^Rr^`+N1v?s];%ascHcxǥ";Ђ{"U!ܟ;Oxc[M=:|2h+Pi=Tj8* تz29$t 9s|ظ@ -vMF}մ =o=x{>wbf-ԴOAr]S f9.h/-'Yqj%W.S1k.S_qiTq߰eR(Fߡqf:;T*ƀS)C9j#>tB,TŚ޷x7,'t7wK'8Hg8{y@D[62IyF""35(9>M7iC{*agz8ϲ#n`] ~9 Rv:*A-+TmcϣgDA@: 1Of3)/DY,9.Y$]Zִ hHt2<+̬.BG hS -Q>|˰{?QC/ }B _wC,9Z` N&Ըnt<OA& 1*A0S`,Tl&V|+JBU?%ڹJEEiow Xk?V{x6$AurAZ"t]*HXpbhvmpȷ\5WgzfW{-} ƙ @? S˱wc'_0.h+1`T0) Xv=4 Zܗ%ygYZ&96$cB?ZX?GR~YqD9ꮧf9 Sӕ`X}˥.o}]t_wތTt:=O/(̷ lzb%L~Z 0ȁu.OB*[(bt",k߀vZ{9oGs=l'b r;"0VCU͞7|jAgtyj{I܌ f`ha8)*?"V=!tLVbNridM ^ 'PX\'_f=ߤN^:i*ni+w[) #FS2m y<>zBW;à И"=ߍH ?y8݋iak9 #@&[3 XܒC$Cd5[-SD`;ߏ~@Lvms5eh{m :0%Sqe/ck5Mrf\l@kNBO CڍF8~)]|g%z8*#rZ`mQ ߣvxPufRuN9J Zr]νhyH'g.*x4y9. P@R~n7>yq8֗Z*ye2WHT$ 07h Å8T2u*i'QN  <9T_JV azMWΆ+:QsK0zB@ >`Sm.3H'+` b(b@s3B;=2[ze9fIoRXySkU!KXG \mUڐ03 1idǢ6>f=-f xvްm5e;K|fn03S;¿ca2x'oRz nq#Jv!K 6!O6a*:)}@#8({>oXH!W6,λviP.&A%Gj~:"C'i׳2G4cp^WLqFtuzOU xt`@}l4Ȕ[%0]OMvxf$=Zu+y—^7 4.+ԫ$Rxbl0sJyĿDL%׻`Ȅ|# ?St2Hv+zI(?7q1Q^nê< ;xt+8a-?Q>%$1xTʳC8AV "LGI279k.\j;d8Za.C[E*!Ќ6"+@hS86P|+ 4ӱWm>S *s/ ǜN gͩQ0ѭH7դ-Kqu>6)#$aۤ (3 Ǎ YJ-i${m!_G E06} cP]m(oh5]tQ\Z|-n[P{`.Whr6cYE$#EeӘ,&_ . p\"x9֌9/ͅ[:M^#aWnOs]&T,M`Q`G(uiAY;0lʡј œ箈<(6!3wQ(vΪɝh+^F Fm=o+k1]Fv,لDqBKTz@^C}{X7rY&r 2ͣ6;쨠Dc'=`5n70qӆ"Q5e ,`4j-ﭤI77ڌ^++SuOqOp YJ[;I_*'KbkGCU٪>;ƍ~eqT$|<Ғ'zpD psO(Ҡ_YfjB`v,d?|zn'AB n"w+tGPP:ӸHo+VnnF= 8;&x0&\k9~+X "p7b\iykΊ yiOCw3~&˲ZiGOʙ{cCfXKh~MӳgV}|(:<8x\肿5 ~Aϲr%1j_O LֲmMa[j7-1jrHž*{l{qHBj @o*S;hXKb<,y벺d8ωmQr < At 5ՇR^/UZ[2˃E2c9ePCAv_-jփ5$R]=?VWcfqZM!Œͺctq{KS@((gŏr6 q.i\Xؼw~P2m)/8n IEN9~ytG52us7 닐i*ve֬S1py;\q 䳃0utCIG%RXO&Ϻ\^Sߛ,-t3O2c +w_مP-> )2ę3u& W~mҹs ʏ=Ӈv;eQ6 gGyTOUX^%'Ecx{0C5QM gL|2>`=T#Ǫ҅pC/q_1z0dn.,u$b"DwCk;a` M+0]D9ճܩKQl(sb)5UEH]e"A |ط`9o=[.5a GK\9t4u$ByMx[˼HjQm[Zժvy5F\E$ ~ak\-0Trϕc{pM6Ŕc'lO0w(U{zU.$1&9=f'ϗ3̬ Οzb@msﹽ6?l-;P3<>̆ Yy+K;5iTaA3a6 ~QV!/jʑ([HU!"%o0QlNݬOO,Y4t4)i[gYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI rIj壵d@lZQ 0EtJ{};tv\Ej;,RSwr\ HRSJn(=;}fr܃Fdg5=YtI k{ٴ > ȱgYZLx'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ#4-ZtyO]=O&yhe ,G]Fld4R`ҏ9?97ds|cmo X ʳw^ pdc88>8`7݃dzIq!DF{Hs"|SlCEgG?޴{3!qgŹb߼fmT^Z+* ?U翼q_*7y-nV -QO=wZSNL)BS @7m:I[n8̲:ۯ)-n~sE}&#-Bs6$ ^ c >?n!.M42JK(v="sf$S`iCY؊;P]IFKVSqW̟ kţ-rZ?kd<ڣwY++NWuӠP#N&%R)#J+/ rsLPJ wO:x9 w{g@?iw^1B(nt XlJ@^%攫j43"3+s./3Yкb4VH6jpi!L9z- 5L8-WehS3kJQ;Lɪ-to5]adm7ܧ?ީc"6ݪ4JrZ.Ayi(Eԇ g<+q\qw&Dn#I%n,!B(Z3?URU6/ho=&R<2hjg#ܚJ; / BL-79$" αgYZ