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  p p pl\L ] ]Pure:threads=1elapsed=1.298cpu=1.348gc=0.0007zXZִF! n]ŗXiɟHVҭٽD4_b27fJ› 8 >jj>0^~J=Q= l=nHw2Xsߺ+Ht%X`gYZ7zXZִF! g]ŗXiɟ˚Ћ. k$wqi9\I A7⏭qdjhf%f .AQ.\Ǵ. 6t-TxR{{fv6JQw0gYZ7zXZִF! ]]ŗXi%g)%P߷(F +k\ h_`ԷD C{Etz9}&-I/J6 Qe`TQsN.Y\,X>կ_8aw2_p׉GO,yvrDʿ$G>)SaFy^M8>poǑe{$@p2Ζ8^[6z.a93KHY #g͜1MN_No]8n_Vg G*p" 7F܍̵p>+?,!1023J6wE򒈩".A3e )%gwYN9 "MrY76!4*c&k&yMI ~?J^cWj=~4sr@ڪ+,gJ D~B0M-iTۤd*8mO4:bQy) B%p4S)z  GG8A%6Lnέlzhi~օa(˵+E(,.a;D=CYtՇ^E4>𲑶r\r^Ҕdf'KgYZ62c0498ed632733252e94f4ffc189d7c51af133776577b18008530e07593d17b9b98e73a9f0ad7de  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/43418f%PurePureproofs/43414e%PurePureproofs/43410d%PurePureproofs/43406c%PurePureproofs/43402b%PurePureproofs/43398a%PurePureproofs/43394`%PurePureproofs/43390_%PurePureproofs/43386^%PurePureproofs/43382]%PurePureproofs/43378\%PurePureproofs/43374[%PurePureproofs/43370Z%PurePureproofs/43366Y%PurePureproofs/43362X%PurePureproofs/43358W%PurePureproofs/43354V%PurePureproofs/43350U%PurePureproofs/43346T%PurePureproofs/43342S%PurePureproofs/43338R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43154N%PurePureproofs/43120M%PurePureproofs/43116L%PurePureproofs/43114K%PurePureproofs/43110J%PurePureproofs/43106I%PurePureproofs/43098H%PurePureproofs/43080G%PurePureproofs/43076F%PurePureproofs/43014E%PurePureproofs/43010D%PurePureproofs/43008C%PurePureproofs/43004B%PurePureproofs/43000A%PurePureproofs/42992@%PurePureproofs/42988?%PurePureproofs/42982>%PurePureproofs/42970=%PurePureproofs/42966<%PurePureproofs/42960;%PurePureproofs/42956:%PurePureproofs/429509%PurePureproofs/428948%PurePureproofs/428907%PurePureproofs/428886%PurePureproofs/428845%PurePureproofs/428804%PurePureproofs/428763%PurePureproofs/428602%PurePureproofs/428561%PurePureproofs/428480%PurePureproofs/42764/%PurePureproofs/42760.%PurePureproofs/42758-%PurePureproofs/42708,%PurePureproofs/42704+%PurePureproofs/42702*%PurePureproofs/42648)%PurePureproofs/42644(%PurePureproofs/42610'%PurePureproofs/42606&%PurePureproofs/42604%%PurePureproofs/42602$%PurePureproofs/42554#%PurePureproofs/42550"%PurePureproofs/42516!%PurePureproofs/42512 %PurePureproofs/42510%PurePureproofs/42508%PurePureproofs/42506!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 \ +|\q%% TPurePureproofs/426047zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/fC$"?4d^zh^쿹gYZH$% dPurePureproofs/426027zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/425547zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝T򋑣IipφNѱgYZh"% $PurePureproofs/425507zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wӸHSH01fߋQk ˨nwz0gYZ4!% ! 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 N"   mN3% PurePureproofs/428767zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/428607zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQۻrH9Ȯ&;'xZ.MFG3agYZ1% PurePureproofs/428567zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/428487zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$AŨ i F:Tp_=x, 0݀%Y SgYZ8-% DPurePureproofs/427587zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'bћXHܶD\gc{MLn b VgYZH*% dPurePureproofs/427027zXZִ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)% uV3ߞ8:7Js6`gYZ (% lPurePureproofs/426447zXZִF!  ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3ݽfry*WsvJTuҋ\##P:#2[mWn-8Ѱ@Ph`aڱf,FTbpX8y"ߙ1196gɓJ@zffR$tȵɝ3gYZ`'% PurePureproofs/426107zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_xL?!&xQ95_@(`X ]gYZx&% DPurePureproofs/426067zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%b=+-uR[d"$"z*[6fCgYZ  '   nk9.$B% PurePureproofs/430047zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ}W)J((Q:ar4bV_+ܔxZ  gYZA% dPurePureproofs/430007zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPҷvl}2 I*gYZ(@% $PurePureproofs/429927zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%}Fڧrڥ;9p"]hwY \gYZ?% dPurePureproofs/429887zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטțZ-EJlJt#G! j;8gYZ$>% PurePureproofs/429827zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/429707zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK{"sEI7|v~K}1&Ūp(d+Vp qSqױgYZ<% TPurePureproofs/429667zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*s&vdvlFN=gYZ$;% PurePureproofs/429607zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/429567zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+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(atqRx ]~$ gYZLK% lPurePureproofs/431147zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&Ŷ%23߇٣/y"l]75scKE=׵z&F14aaY@>jtM [v ?igYZlF% ,PurePureproofs/430767zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/430147zXZִF! y]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoj lRjyB rĶ"gYZlD% ,PurePureproofs/430107zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^=wMe"KK BgYZDC% \PurePureproofs/430087zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zCk&FQER,rQܽu\ >h-df "WqKwʖ󶳅ZgYZ  8 E8aata% ƶ1bXⶕs_xN6\xZ zDpi^g ȱgYZH_% dPurePureproofs/433907zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝T}~@2k EalWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/433787zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/433747zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/433707zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/433667zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/433627zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/433587zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/433547zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/433507zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/433467zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/433427zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/433387zXZִ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   ( IWi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZog# 4PurePuretheory/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ԫ .~SENerKےhgIt'XBzڽ>3=09A= ɗ8k&̹}\3ʙqGKKd±hz@r5<|劚1h>P.2Ds'9`%K(`9w!:߽:>wYkZ~ i+yq!{nY1`#ڵ'!3iEdzPCgOr沊O }IMjK:ACwh) '|W|Vk,XzuMM9c:Լ]wE#7`уhQ7-8ʪV%D?jI ""6Pɖ%wʣ!V|_i*ڰO WсPI?AxK1/ڲN k(dVZG{) G8i(h`):N>zƧmibA8\zp >Ũ^:[KM}E/gEA|iQT<|?(d01}H?i9߫QĽG4^/NRT6V!0{#wJtX8v; BJ K;h"&`(n8zNz܋@+ήbpM&Y7i^<,w1oGq#Yr/~ul?_9*glSF̺m,zZX^ MƘhb-l\k 6MH T >!|̖ TX%`__lhb0hf\xL_1; AG߽۩dx$@#П=/EJWcJ%-^)ʃB+b6Hfs߈ՔeL& YOz:8:!8IE9F际zN-"=éGGm#jpa'='yֽ)٬@!m_J¶ܝ%0s^<+@RggYZ\f% PurePureproofs/434187zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoL"]ŎS$LVjĶgYZ|d% LPurePureproofs/434107zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"ffL =mir?앝uj,gYZtc% 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ӯ쪜0]7`DEM\ϙII+omXbqPOZ*#T*ly$>z5bֲ rk!DyT;*|Bb#;/a8J'OHfj,ՅԺo+p.ΑaXwT:6ObDOԇ]NU|c1o-y]:Y+N=&qXۉcčK[619ÖMO>QI6^B-h,? I%A V?4אpޠs͔q<џKJڤwkJ¢NǏJw_Kc2;gB!! қS0c+b"y ^ň6 6b촥# tHL*KȣL~J`"PgTWuk#QXYB,g^MO#Y*] OS1W2ѳH8gKT^Wvؓ4J-93Q}6t9Z0Fvz90+R\/p5E`́ORX@iBj%_zwb{ݯ|UAnPMÂC͇@j%9آ9"iL:N7FPׅϘ5tmf™؎͇ 'TE apAPUBd7r=-=G=vC-Dn1)Ǵht'mS&7JA"]lHZ;g/%1Ayk 0UP3h>$rd=a%DPצ);ȁOMw\F/6 jQ}#|Z3f&\~`#'(d_2%5'M.7Խ֐?a{chM3=(upг>3HpXrVuӭt: ]4&U'}ЧIOMmkp莁ŋW>A y!KWKH#L.XWzM BgAƢ|5b = =ӫD _ZYFJ'4IdGwơpMZ-I^ĔKO~m^Ϭ?hh5`!4 wmiP;:ʃMk["D {ql) }ꌏ.+{ } ~nM9:*'Az1T!4+ 3 rz`A-70[oz0kƏBAvhHqzhd?(0fQEiW4ȑy: D X_J9WuK!ϲ%$oΥM ²d/}Sj}i^1_uWjxI(f堃̈EA8Fhꐌx[=k&cd}(%BYHCs-`2!y.bH=V3 l$[,nvWGQQ=[I9c:)fA H*YM530`3]LDiO4 ̇vecQNT/cg:,"%~hqV_=U,FA a` rv_ z%Cbz_O jYRH]ԡ{bs@$eڗR dHG`^j qUW󾑐zdzJonud$4 fh36/̧Cq u.: %b~`it\0RN5 S4ŹN.a4oth!m-:zd~/f-d϶[+cmbGe]74cWpQˀ )GHwQEgT!}mGg~ZkC0$ n5)(V Vmm& ~ [) ?Z30![\k~uh|PVog$[XԶy0qxKu0k~TQi`m |s;W~?,-%'Aovp\JrI-q+-FɊ<7B^feW nz6zPP9E^<΀zJuW+ q #X@.[- 3i%IW"Q%GÂ~KD %~v~pAvvG%`@+aYKL4AHjdWhF}~+԰ʡzWGϞ,MJ'$mq ur̄o/vVHܤZ`$ DТ(0 i݋Q)ycN˧̿|5RJ1m!dnJ ?Y~&CȈ'cG x=P?{1q 3 baO$$ʉtJ%s'n"<<(>RJ̤*[0&s'ryOe3t_>'3*㈆hPGNiu<͜YSŗE*\8{KHa];AZrgviu_nmSzvXOkR7MYz$[r!QhIn U+ K7cKN6AL-_*qʇ&UU-fY*ŋ6?ۤ$Uӑ_;H>jVøE2K'{L> 'jF R[qrpכGD{/_rg#LN]'hdr/WV i)\~{NC*TL<0U-F2wjvÄmʤ γHދ .mP 7-k[%dj๝ l 0Քu7ihTaWto3wo9!\K!iNO2},c}LL6}9R.,tJe\ ^Ӗ q5ʃVfro2n^}S7e3A۔ͺ#Vha=@ʌ z'TX k0bժ1Wf!@&gveY%I/hu iUd]U?$i47 _vE4 jQoUcJR85 X(f&NGwa;.dIHE3҈̓]sln6_6y:$9B-[vqa3`Sڱ|id X"^u yS0r*g6N=IVtn&gb ITT%BsqlϹa4f!sϊ쯕iW65zj,!E$F[Ihf|gܘ]6Tl;x *rUI}8Q+s~aGd8݃@D]"UZ R!i⤝O?u[k亂NAVUJbÕFp3cJX]XSdw|9(@zyqT>*S0Ip;\B 0 إ@ ;sï ѲEi=TTJ|9Wh1LH$y@GH3Fl^|jmTjH=8]Ma]mzȻ~卂;WHF3ǡlfG`{DAs̜MY餘(ZxYo20CtBX`d8S])AP-Kf̖|l+bv<s)#/D•6LJ>]M`S,=Q#}Z$>Ҝ篷^2HY-Ad{k۪pq7ΓoC &9x?%:5*bGV!" Dׯ HGp&j1 $rKۥ *" VtB7bRyqxfHQ"ASQ{%bwe|H?=j 4QƍusEwp Ԝs4ҔnR$Vww5hD!" khtlƀ&5̲s CԓSF:H F g].$fؘ焬 MRQ}kZ [B=ۑ3 +Ѓ|`Q䱈2Bi5|<ݐ$$;W㰆DD<3lqh'b% 1M6%d[)H."c_^V =D-YP)$7z`/O]>.~Ogr#cU}Z 9hCfciyۋx6gPɁ?'#{asQV1\4a+"hAb9qYbCj@.u'fyNTGcׄRj!;PHB ՐG&2ENml6Jle |^6P@_zTo-j>7'\רGKigɔ>eB;W䐡2*y ΦgL`yy3_Rx7svsWW3ll>me>)^skTm'%]ɨco /.\pQ ΛxW(j/ Kz9C$D/xbDOA4v[AI2qTE0VD_4)O Z:сA4uNGȖp_4.7j.8ZusbGa.:?MC/ 0[ۙO=suO2R}&2i k:яO3RFkx/xchPC\ ^w[|H?21hk31ͮ2Tﯵ2eO%Z7ѵ5P 4nGu~8c\+^˹Lw:;G8n' Rxn /aʙ%oGX D4/`^hɎ(QRlQ_} SQӅ;9Y$/Zc:Do x+zI$qqg)O/!F^W_WY`~̓c/'O?;=i9rJ%;0bFS$lea/fy epҵP2F#ŹE'v@-hΏCXB?mQAT8}ʨPfx~k@57<ʷBqǒXt!퉰j&5bpإ!C*;NcG CL"hHV2 r#LZOjsN\r'qs% W*3-oCʒAc'ݏ8qiV$Pg+Y}˒?\%I?ks97NZD/`qi7'xY"Z#@ ]^*tKѾ >I'Έ yЗ,'UOhL=N[>Q#Whd!՚s=) ׷jWU*U VQɆ%ԗ5BO~]N% RoM}78\~mt;Gz_ z#r\\RrfҸ|k&8!@=F$-ѭ"Pgb/l(t4mS1e?lOȭ.0Hug[`G]<*CJad+H ؗ ,oy\zhPGΗ2_Nf Fc ؗ ʻbX#E-o4DAF>U-aUp7R-Ho2VG q%Ԕ˹k͉9P3? tE|&qvr >=hiNx_{vJQ`^;ψgl.ۄg3 dhᰆD!vt҆fs  !&riQ6C)6DNNN>^ǟ5 ljܹx VH ,@::,Ӗ*nC# y 7EJW W35m:\:mrN5*k,!xL'X8uVl.𕐲SM`KB4Ķ|=ER҈XhFfE#SݎYZR:~JO YD FA!dnp㋆FxmT`z+]җ~3|z˿l㐘P.?  fuK` A,K( >{87IC(F/?{U#'vYЀp̰v✛C?Ʀ ($5 B0k>0$yqrq7fҿˇP0.Oڴ儱 LvNFBHa7OZ Yrjk9e{J;Ńۿ_Z}hhX\UE%FfMLLMXT(`,e|n*DtwCPVnl'87c:4n3?*|(Y=yf8뒵.u'okкd-2z/ `ypovΞ\YLc!b€{ֽ֤E9`# GOk3ANe Cܩ}y6!{:WS~&Oqi*Jvݥo%2-4x&@S er:H}X @=v2T#yEJO7 f{Ͳqj2\݌݃Rұ2{Fr+NTwM[ǾgƩ+ ]1gJԒȵ<%E= K&mMWy6R]M^I͞;դ-]9ur^I{̮JmWÊv^G|A/YSAKPԁRABy UL/~k)JD~ Ӎ`| TN;*|~ભM4W)Z^b䐮|6Dvi+^G|PP*3s;SKh07{5:[5@8`MM]ls5%fʥ4sI}rBkYf¶4nzvED-UѶ,Q"}񍉻9%W?@NmN47yECKaXn}Wc5J.7+eبdc}MX#f8B&|ir U]Tmy2Uivʳ&?Π\5Itw{t ix9[ a¬Z"n=Uȷյ+=pԙb\h,,_%fO`(tH9Myu*"\"hmΫ&-Fy) F ػ!WIÙrĮZPZԓ44u'+1w N~ fl #Ca";- KVL5$08 5FDdZ9dH[YT1X83RKʠ#Qxоc@KYQ^$: F9yUo^=d$y5uH<M$X<)Dhd9Auіw4GR<ஐI E3FτŤ,xq^Rv I;j"և%)_Z<vNqXC4hu2;=e51ØC69.ijS?wByd~ჲ.q _gŖGf(W]:蹴gɜ60;>ESlh| tb8h6OJT4I桫vAK=釵[ឯg JyebJDF".[ Zگp`9&W>F[] jv;Jh>׮ (I>&6,w?M |ڶ -'ez01eϯiwEx7cܽU'͏N/'oܻaڢTZ RAZ>}w(㰅y87!ް7qݸ+`7\V>b>rWR˂Oifj7xqZ!zC_7DiƯG1O.v#ENkzZ  .Й-<\OO\[OwNg\vOqvQu- R! 03mL_RkĒn;IQI88APÖ͇E-/c]/TIV_A#х"v0zf@ 6Bƨ)ϬX췓5M_y3qRnr؝Y/šݤ<9NA7|WIuHVgX d]#4¸\2IEtѹ( HD KeK ~j~?c0Ҿj j~+yMaPLrytpR|ggtI< Ԣ5aGL QZbVn%;@ CHqY&#Et/S|"\4,4)>3oZpTPN/ \~(IxDޯB6hw]2M^.iK BTә*`ff/i%FW?$xv>;%<^vz#uG0Ҝz̢vbõ8lB4cX>MȰè:p_u\_iZ K|~km+Ԣ -Jfܰ4T 9ߖCX!mK:#`?o<'붧Jxx(O(x})F뷊$lN`WݛjûKD*OvSqǼ(-V^ׁ!MeC7u] kPd.)H~!p u@V p' uA$ޅ种c؅V6>rR #pC@+\9gHTPgH_s[[~=jO墻,+_K ˛>au ? [L3 _O.7jRVzU#C$Vi__9X./>Gލv!,@@~ur1+˷$$tX.6[%Dy%օ!VXN=gVxX;,:Q#'Su604O[#FqϷ T"Lz@FLv)ެ6,c/Ã6"O%r~]L7 ը/#nHJ~ "o<8z!'E3f.3d. g\rz&ǚ/ q\cR>mΪh``Mi!-*{&mI8kI2X3\'mNӒq [VF(vqOPDƒ<gYZ  B}[o% \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.WqgYZ j / \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 :ݥr lJ+#pGH )Y0\tz^з)x<ҜVN"!~$ E@QE. ֡Zj}69$fvBy?E Z=@!/ofP7XSXоw1.eBORΜW(:& 3j9-XOI43.xSYΔ8tYK}$lx*^ ybca,J"@hhYH1],Xh\JdU-3tqC\t{6Ccbh1L@*-%32Ҟ& :ʓus=~\tqF)b@fh߹vˆּtAgtLP:R}={s2Rcz Fx{J'4@.Gq%4zi+z@!TňA44etK!mohʍZPߩ1Nq8?F/'EN}!nd =/]"vǀE9ML1w%*[imdZ_0D NJ1f/ ?JrCE^m% rtYX9@h>nHl/lvU sMT!T舝2gM Zu׍6}C) ph/]R5W=@y˖(|k'8RcxNnK+Zbljo}'"$e hA,:3B+a!S9YgA]CiƠYx́fxFP2})`ns&0CgE˝Q'-.8EtRר{"u&X%oBƙP/uA#'o)iak RsnQ"MȮٮ7!)aQZH9\V2S>o,N@TIÏ1] i+2սc5ֲ\fs!Wym+iQOdvüLIΦ thXHi=~ ^tܣr2Mя9o| {US`4R  $6IIJz3$(zM;hҞ*-ꆉCc*(B߉lX5;$jO, o;\Jkm)JLn-:_NQH)4(aM|ӡU jʴod`LbFCiCKH4ySyVgAz#R0RU1`_Tڷ&)X*v4ۨ4BKAΣၿyVRk8:VT~RUhqeuS6}suQ_A mAh?4 @PwCmE_6sgYZT'a߶HV=ck?>RadȞ0 N =K֐8kko2geCKۿ֊ULU jW#Y7/ʳ6)]]DSϑ.t^z_;u>΋?r¥c8Rj݉6̈́&jFY*y=^_8;]nrbh-/b* {N9P&)"wB\8E9X-g<ؑةMRJ/zƱYEfL&JD!>5m>q~>b`Р伷u@LKK}Ae pP|?As;(Km4!\8Y<|e VvÚ#;S;. "ۭ^(v+)z*FH<¦PC3WRpL/e3Yɱ@#Ӛ$)H qNk^ׄ3NvqB?YW > Zgu?\VyIa58 YYkC00P7!&BosSZ3 = 8gnMa,l8wrL h[ 2 E8nz~:Ԥ?j!P{٧ZUe B@íY\ߢ%frc[2Aտ4Bnk/ *ZTj3Gz~._%7Q_Z,rXLY:&|<%OP"X1 ݛK1+l͎T;Y}3q ,h M2 5&F1vpaUOg pNXB󤼜ch3|DGm{"I|Zq`TlG''u'HApYIsPUKN|պK_xkgI"l[{x@?]*g[mk>* ֵ>׮n^t9/pPYfu|Z0etcj4AKȝ/(;W`>dٱ915]Sjj*t: ^k2W7BQ.UsqCD?N->=^KBՠ]8 xcT:[ϖ ^qxEB}*k*qT>ڠfR${@lhrGPqu]i9r*N JN1ɢAۯ\%/)%D(b@20ٗcuUB -׍Y7!\jA\x_'~vs3ͥP b85#Tb3nuSj۠ <dNtAƓՑZ =(2~Ҍ߇ǦS\)HlBG J.O!IT-ƹjrK4+diytJ8a7 !ABؑR1ǠӦ3ҙJNG:$/N+,Yڀ#810h^W#tHun{5:&{5 ʸ'kN sI rwf/g~Y1_W5h G&d\@q?eb$o#[G s:5P-9퓤2*s"Բө/D\v8猠Y6`;L0.,a[C,9v%4RSӖ9;ϡ/~:Z!Zv"~="Du'>NV5m C&!"OСDS|`"hLC0"cm=qijZd}L 8Rub*Dy1CEhJx <Fw}hr]7B|tj29œD֝eZ=~<({p5m$γ niEn1D%||k)J1^ 輧t-Z]Qv \6Ʌ/g%NYpj->+lq}}AQ?m7lV[ѿCMv3AߟxZqN%'dޙh>xaOưlc\d>qo3ԇIszA~kpHwDs&j!H>`RJkJˋHlFCUFQW;l;nbN[z4LG,V2W9;651ڛո7冈Ae3ۤy*j݀B(My"jqlrcN\$ơ 6Kn=s&@)J^Rz7RJ#TA89Q' u=dBK%{=mhhG}'k_jQL^(:6oǨOvrv)s6U_et%9_kMd8"ߢE&=b)zW?3=f3pWT`sh|J.XIJuDm?`)5(⠀V[= DFBTbNR0۞ِIKh[QUug7~^qxg^vtsq} ;z;@§l5H:/R~8dR{mVR\P"DD/ZJ.IbTUQ[;9dzoAd^3_kWCX9TڪV/]KAE1y\y#k)y@W6(3ȥT':mj} aS(t}zۈ:wp%r*{\,I(oJW}Ԅ~{CI?Gq>F^w)z?]^xHOfU,v=ki !n *y&v$1U"m2b"Cy'~911~bsUNgNU-M\P[#7N,wxLh࿓90"WH f7Fi.K1ym)ءUԡh"*{.zs߈ }'TrWSTFj7q.ćU4a:ő[]>Eݾk~Uwi%.D)48Gj7@P}'g%3q(eGnHwF!4Oze.٬ru6DPD6o{#J(MczOKNU&{Iq~) q~㗯fe)]G2ai3ۨu%La5x)s6@G犕/ۑ;{FQ&aekؘd7AQ![] T־ȉ;<uԁLN3 nO0:3hy޿`h> :_l,gZ9iPBءkx܆9_%<H\J2ջtsÎWr~cR^rJ3t+oR1v>#n|/+QLIͦE |Ogߑ`'^rifg >q:k͇odq~ّ~DIގWdE>tL-),/ƺͥhIᖺyIg\02YԵ/k/}8+UuNԠA.)Glh#˝Ӈa^ش|nk_Mqo4wmq!4c.`  !0k9̲9~AW.׼KO"gg-2=|)~{K"Lob.:I&DOeah%Hpw*W ʝ,qt{|8A4p)P[\,BV_OLĂWl&yxyⰐ ]jwct[`ύp qۍ,XB9Z![ 7ShiJ( 䵑7mi|eyL]>} e8brjÅծ[ 84wQ[FUOCPl\6uzӕ3ʳ2Ÿ̜ }"?Ӏa<ϣCöPeLM,sHGKtsi[G0|HPk+Q9#0E>DUB֡w(` O2ؙ FKgM2XeΘtP.rԌT,)DZjeTfk eN'5(VZj 5(? F(tT NXqgB4B_Pj La*ZCNeo<*ޠ2\F ״l [AvܒU02l ~| R};~#rr[#ͳJT­L#9Lg{˰X}+n5m F .ksc4qU`0F[T]z惧_,afg1< | gfZpvŻn1庪pƇRY>,ڙl"O.XC._`hd k@];|`F˿d6jKk윤" /PqMU|V+z}II`e FY; {JkG@}_kPy`_hDxWdY!6l?~y.Q=yblQ+Rf $45^D_س!3ԏjF=>$ ]ѣ;ID'- Q@^6a`TϋQ!W@S`ง7 Hgp5owc<-a%VR9ñOwZ9t,/:sbB8fǸ .. a]7rŲo}ـyg.OaM"|x\vB[ /@KxCȼEv럆4 ѯs<s@?'[$$ͧH#'}sۏD?(9ߥ aξRo2oa,4jB[Iz)55I2f2$%ÝƭEΖTE󛑞+9ݻ>c0X9R?2zPmq9T\Wޣ*rXL6g}ynC[MjOq*P\6dE% \w50h{*pHwOlSuedsWWm#n%ڦ/mH\O/uwнbCRaXbO_:bȞ}FpF&mT NɈ_ۄ~3Rb'O;;xlL=5j ghaTh.F :{@G,DЦrX)1A@ 59Ш^y".%"¿u*ٝHz=}mZToE{FE Ω$<|QvVu !'xJGaЅ]z!+>ދv,i~uH^"dz=|VqBň#B~I'ϝbA *QbP3ޗc욕7kDm\X7E8QePʄ]<ٸWa;mhP~DG Au !P]-ĩ7G{/֝a?W^_쪷CKӭ0tH%pf$f(ɥ/%ԯQ Iѻ=D?dg0hE;TR]6aeR̽oW L;L>W[ -ԡ i89?W\- e1=y.VxI-FO6%ٕpᠢa[o_^ͮ瓊0*Qn2c%Gн$]F.RTCQ 0O& Kvn@H)etvȋN:+|S:DiAPfI.[5m`ّ'\G9#kTICԾ?g 0OmY0ِ:S8s!]"]2RO roqp5]SIJ}tgє@j L C׼Zx6Tzq,'NbCn9Õ:`& F<>~LvX)2R+֗{ bdط+Qgw"ҵI;'({;^|Ey&7X=)krU IÞjʧ;XM'8ʗG4v~eDb fG8ْY YDnh::Z%(>0nVd 盞 dmk S$tjWIOgr ؤQ.gkk Vii3ڷҖdA<a֊5٠J &[Jrwd>M1BIRA IʱCajjicO8ίnܢF{*Xektqw79?YkCtݹC+Is[u81  )}>{%j".( ɏpLJcF 2I͏%^ee ̶=`38T\R_ T1"K 7;mHfEĂ싟 [w9@=7/!]kuzw+Zsh/HU9 K79-9~Me+CQ5Bn̆sR;dH暧$C0jܬ 4?9n"3_Z4Înjjx躯7xV#NnadX >Z#*&gg׸3^4`_yxqKT^ M mvo⥜c]Cye x _[XHB!0'TX#GOZY s oϿhEѺR~e?uhCr,P-x](`6d~9 <qʯdDt39< x2JCzwl0[DI_>bɖq/yp,|BN=QOZyxLgN6YoKlhŃ3,1 Du,S[ƯW,V[g?|vBpiNE18̱}muK6ǽpF` z{9UFRURrd<\S_+TQBK;MLu݉[ rsґ 3zJ@<H&ȯR _Ɗ4!oɨvsz%QpDvuӠ{4eIdk٭ýĢF|k]}}oġDrnBFZy} 5+zKTqJT 0wͰשك`%ei]i[<8@÷TDmnLǟnX<⽷i[]?,aQ+ "ܚ mٚ{7NWcy6{i>,`¸> I2sLʨY&ڈsԡUo]X]֔nןqjqtY,f ,dH:"Mk `+9Fv)⪅O`J#AzT+Sc*'?_M1+_#p>,t;RT ~;%4 $EB~6pK?OXs j," smm,_Y^q6dW5gź}ʘc28(<neFh$Q[e3(u]'v[wR_agqz^2qP;O Bddz6ް(c6-"SɖHXaC &`jy ڧ~%A7y'n>>K%AC;Drx80 o+SpR`p"u d6=iag$ 慷GA6F,W}N@S,طΧD.4 &.%kb\Gs0+Y,v߷}J2·́oV_\jA~,0VROU*y4S>[L#is cޣ;$P,I${ zA>6~`y0O):Kpkȉ-bwOa?ÝOTn!j;ZcNx^wTbQň`0j9إ8O0;ߋ]{{!(ӝYxmLHq^d\Sl x@>=-^A35䇦7yl)Lᙵ4C< 4|deOI=3jho%]mQD3 g5tYH\mI34ꞴbpƬ]#yTJg_GHT6l{b/CzM5>; .Ռ$iAԘ_ͩ.j.2Y`/42qj*􌚖\3 I%V(-BxC*RX쫙aO[Vaip7;>2z!16U i9(N:6mH."!;bZ{;uιA-,WW}1 7D}אa$+b,hں͌[=verXW-H0"1 3o1YY\>eq.w={m-M(GhDoYgv ]9.{ö]%7Ζ`=;?*-({wf3ܪijV"lx>=\)zAzKߗ΄twva&R 5JQ:</{W\i0/~8W$Oa?Jj8OfC=s=㢧YݓwU|s8V&0=7/pމbopuA؏HEp7X9ɿP$~m@[nZ%O2sQ&!@s_]_*6dž3:SLMm8 {.)ԗ X&9LSWK\,=)07%sτ),'՘<2LimCS:R |։j\5- SכZS-2PE(+Sщ14x ZhGޠp3Ec JƄ͑$ ԖQ!l,$H=W86鮤Bp.c8WA'@&7l yjryաLWĿyYvmKVD_A=ݣ4|>7y$&^|"Ў>]XG@TYYєPV[L7sxa2Xۮ8l G#lxj̤)ԫ;W0uת4tKjm soQ?~Kkx.>uj[Dțo)|QlCc^/B/TJi҅q8R$U+`P% pLly*k"b/'V*QVw6傃Lc\AGl"Z)P69K-LssK>0+O{,,.ا!mg~'Pܿej'V|<ԎDfMɠ܉#;LO~7:|Yw˒ ԩ)/@c./rvA%&bܒ sØ p`_B_ QCwL J6Q.#~֖;`)PƳcҚҗ3:oV+fz)G$@$"pOk FkMfrR;#7oCG)˟#LћqLY u)O9eޥn$g=/)QO v Ħ Q9xn\wZ>q[8{p!t+Gbu˚da}Uʐ!w۽ e[!ƚ^)L5xY64 4$ f9vH?~>}'<3 _jB"=t U5YnNMoe't؇T[S6\boSB sb>x&S_f# Xؠ ԌLϋ>U2E:`9nq:$NbY ߻5Y1GC.CP"HaLm1$q,vq_lEjl\-zv{!yХ"lmKrppPJЩ BsҪe{~F@Ο}鮽J;1h>BD#goB&oH^4dvmKٞ~zT_Qf\f_wB3,/`.aa#h#z;?Q$Wll:(DxTg<Ӿ*EUͬ{Vh'̓B0KpUu ?L-sԦp͵^]Lw[Jzɶ솅Wxѱ^vxH!ҟqIh!Ԉ1Ks^b׀ĥ*4`Gw\&1g4(rpfbH0n |vD%OTc*5%q$wsACt+eg30ӟ\ywB1"#PB`/m%p0-9q#gb@(r)ls+ (DtjCUCȊtv{njQ`JkLh5>Wܓv<ӊGHO 9E<|+~uϏskbB*\64U)cNm_&N.LՄT R̸DyufӨ|!rPi+e`kPٙ>M^5jIoiY) =;<߼IT SkjaQ+$@<:p?NJuC vw.LcXM~ь6V׎.7.8qmXA}xS&z2&4-71rbl@pu7IB9\sH։|`L8t 3F+CqޯOЦV%CG ^&Mqa~ݛ+ ) [)ZY.bGCU\<M52ExZ"ʅJy1|f\S+2*))8%.c0KwָnTEV_dLMzf F?ƊF6Hx!i{"s>Nzow=^Pb C#}ZR?%|upKC^4J 4FOjHPKx:qڤ )G[u p S-E7E>s] 2`!tL9+t5Pť.< %:b*ֆgw9]w !3/"!N3NmB>^ar4wK󒨱5t{XZL|1 }ʉy)r>cG ^~_V es:Pvgu B#M!؁ NIx"`+Y_4P#ow9˼W?m L ?:@Kp%$oE9b6t/x.YHy!r?4^@'&X ^3cH #ޗ 6YmT5lhBwXsCXkiVR 2RݲNV5ZſXmG!$%r+kdAdE ,jp{ӧNf]h%RaX̀DuH|u**>֕g|Yv9g@KnÖl5@acZe-A¼P #ry?&FG)yZ0Nt"`)5Ǩb "SF&>rI/Z7N)rRP T,iH>#Д,ܿ(3hb쥎|pӹ#mP̹Ȏzϴ5k3n댫/cl*̓GFq>ֽLp|X֨Ze'U۵eӖE[>ǎrj%`yj':9/qbT|d}iO.M:ۀy8O}pd2o/&9PŽÆo5 :чi+IXMJ-8YpVКA#G[n(9¾ď6 %рAӢI/BVGP0gQӇE05#W.I&MOY]L oaqCKb/:44tA/Q~̑V3Ijxdw~/J@v3Bq{4~y[Nro&+i) p/6ƄtGDcϊ_rxtu D 5{. |N푫-_BKj9#rs0~7uU3,?\ʬj$'> @!O[/2:6pi:/zIXX| ؠόAgԳ&'#(<ϿhغL+ʼ l!)uJUN ) hc{I( ;,F /(,.1ߖ18u0H fI0ͲCUdFOx%z8Ȃ,G:DF/ܥG?P|bJ@׸a} 4fY'YFn1}"U rU@ع+B?cWՎ%/xXS\^N/PWW q4@&tPڀȪ}m?-D13F,By^1˯1,y섶40c3o+$?\Ξ>jT 4 /WI4Q *܋%#: D!(E3_bt4<&Ӌ`?6 t%:`*^]i{ "~.msPTkv6O;LI{7!3W(4I"2ꗺF|?cZ 4HSp!]:*4=PmYFF_)NȁC;B~1ŒrLExSEm!nU)VpeS",O}k&kAOynםDlmfiJ)^Qn 4M&&Gu2S #_Ps|T9}fG.t0dz3|N!# nFs^)?GxV3 “<\X^27Q\DQ1EAkNllD!'q ʁJ2 g{--ЈcK'$/,F&&y T+"<lZӈb揪x t~X UG|-IxRPqH"W3ZrBK*fhYKvYL~n,!nf`6[R?6ϏlLzjYPWD=_qn6^0GI b3P35=X heT];waw\.UUhCAh.Svn6D/tH3uȘl~+{[".{lXО(>kD OvWU~'%u B vh` rUj ] j52?6Tt+)/FJo ]mG/n$B?9eri }='P)ѥ 0;E+౹gWv+/?4mͫ A("`ecz@մSBub ?bo1X`kbF^4 Jf*_F'אrZ%6V3+;F}[@>cޢM4' g{ #j9V:rq(m@Lw\F Ot#TYK T:qQΙ p/Xj.

^ ix8rU'GYX!g Յ酹^ 3p`ˑz[b[b_qn"Ba -1wO(%\baw3cBF.~E,_6y.ڨʀYmg\ЍgVy'st-= YΒBeEZ8 DN{Pc\Hӆ!QIcrX)3O*(gD!) ݤ!PL[604*+Ϛ9eMk v> +y8@5lH&'A>`luTc?|rnF%X GV}ںg;i4:s_Oi&ޅJ%GYC}^9۫?STrJEJ~k|n|KMP숶E[?c䱵Рg6w( vQbkתy&`%8iť,4Q溣[fH4vJl?21lPId^}03K5IL#قcO$g  uHkD.eFtzVvGc~nznż88t=N6pN3ux) jF;Yl@m20Q֟3( ֲh:v {FRR߭,d{պ[PR%n8A-L='0{DG3]uўL3YL98ΊOK"[l3o<k-X*-6[ki~FپW^OZ =Ȳ~JgQStꟸI ov+ٱE{‘ >̘[>ӧnsV+r/aj4Ʉ~ FWI:Ap3HMký๘ Z|aoq+Uh-ݧ(O^(,d ) :%cJ[az=:k5n!"=t?gP|HxMq0Y";,8(*کi iT/v|@~PZ?Q*McN2ztiQ?d_,P5+)' (hՂ}-gdxXI(no8 ̭Ge|Ehy%D!.{X6*JEM[5s,$p^I;ο}D]bǶD 2ThܰxۄМA=J<( IHS1!V٧6 D+nP˖ws{AGM<{$ T4bJw~-u WؒjU"FUCTZ\=<}A@ǣ(HA8yh$˕3!OZ PX)\[qgICʬmX;qQ\h$詉Ӹ¨ʇUS^-35l)NMYH-2Y=V>rLOE$%DlQW8{rF zBQ`}I xFҎWiJP&/+']Ldn 5܍vKBorPͣ8M붎[8Vt؆ t\pߛM.&FzR/DG j*mi|Vɱ8O 6goɎ98"KXl7.xv8]O{?lDiYW)I:0$B\# SpsW y\2_ĕֱGg~qfMVFv?k)HLe|&(_Tgn\E _"Y./x{L5ҠJ{S`W!D$؟@eNB:v<ҩNtJmyq꣰5_>߱PΦ&=B~P>j}i.3)֫+!MJ._C`2M,/\UEaK%9#WtzIjO [DcgFU03q` ß?լWSZ]m@ N!#8oj 2W+_E#z5%bemMaѬ$.DŽ^ -VlQpFp4S!]v_!D(L3}GXdD JĎL㫩>M|,z5+|BR}O=j]CXAEP;Ij@btO+nʠ ioQoU7Co)j ?w5+-e`av{<.-M~l Nc3જޢ\0-F$7:ЄZtۡEhx=\ڦeB.?h77nrV]3ڜVƭ4 4<W#'`8@>:~ť}hXfeL]f߄D;RkG=靲]0p6F[x*ה67tnFf9:w:y҅ȝkOj[|<@n e ">Im _.~#Bcb.32%ε5j.Hq 5^P˓:zsBD*)w!Jd}( 6%АpPUS4ھ}+.y}R rZ:>,! Ht .}5$ΔW%f'K3*g|LO\C/Xú^EZe[%|^߽ nw&W]AYJ3b[ 2܃Z x=i@щ7: .oft3T(ڦY]5 V@Zu}[ (.P݉^AZ.,x 4gvc;Po@l⁙ߪ(pT]cmk`E̸RG| "jWF!g9D禦L)=TwʗelGϯ *u(=Fxآ7QaZ܌BG鶎?cr 7 && ON)_MLOXC2jR T1!M3Eu-:Ι 8w9?k+RVN݇FuH~L$6E̖ DoH-Ogc7t lW!m?F,$<=vDx ISnJ$%;ʤθ ńë!)0,sA=aF6D?DozQ[c2*^DB?lݰPU{ntu?ZA18U!}J)  DXĿ7Ws kjc͂mSۆP]<5Z{N`ARvczY%z&8rK}t=lGblvpXpΖm={`*Pתqޭچct $,G5|dQel_ӈB6wbp]5 )9Y[n? dٶ*j*FlR^I5p3rG1Rdb:`5߁Ⱦd8^v]%ߥ.=48K͒ypp@S%fDG2&SαDIdov ?AhBtk)g6|.[xuBTsny:m[^qMHB;2ɡm(pү?R*F\ags3LIC'} TXQ>rL\g5wZR1/cd`So '[Nh|u.n'^!ܑ;csҪݒ;/=Ҙ{BL˴B=mvPD\,a̼v{eZ5n钉bciiMFcw g[fټ#R==gL^(\t57*mri!j"/C364E ΂R ֱ2%GG _ ]vLx@arzYdvC1[kfld^Iҭ(T9eO(] \S:HL 19/ RsJGy0 kĖjsŢSQzL7zqWP]ҧ W%l.l A {kK[]&?f Y?j^Vdm] k:>xH|п^:ԢRO$,=+]ϥlH 셼;c\ К"J|Z5iaqh(-ƾ 2KS=^LK 8X*0 BsC0'+8vˤ?H* o/c#џ-*iھ!|WY:HZh=J1/ol[}5?Ďݣ` a!ߓ* lzs5!gM&|z qC""^,~F^]uͱ]H(HwLޓ8ۚמ No+ 8,y ]C5?1VẌ{_;;u#UZ9> IAg\eҖZ"Ι¯pXг쟎H FS_}%EB?Ϊˉ+=Ӕ#IM@AAmK)ڗ-dًtج!Ͻ` ,WiǣnߖHAjQkP0jT*"svO .Fk[ i`@_䵓ؿi*Lʛ$k0>)2#EDK;3$_+Kdv]W^W&N½`%ǝ6A5~ÓtiC |rb]!NOB$Ok`ԋ O\50{CѤx kq:YF##g3JHKH1p]A"GV(av-L(eM"yfe6f ^,ŝ;}Ǫ >[ʇ7?g%q(#gCy9h5_b%mU9pvC fHl~)qsU- b9?tGowlGWgF\ſ,ƀ>K/ZϠR &'J ĚJ"TG[RHUFœ2$L~O=lmm?@ޜ #E^}iN5*GtSVR,T%ܕ>rR^ p*@ SuC;?L̲1ѯ4W.7!/׀rM%E<}dBڷZZ bom6@6X2oËa q*˶R3 d4 4*}[ޞ^3̱W_5H*N=WbW&q׿o^20tFtl ֞ qX!%ˉ@"嫗6[eT>OͬzВJUb}z 17^VR9"hGq{5l=}X8O5 / zDhobd:Q㪕(̩sh1&3.ONdI`7,6 Y zO9]>qmeGEyw4β͈[VWpN:%CPHa[eS\QpU0!F8ONL'e O.yVv-ATmÆwy1!|oQ5_|ઔ웦)AvXҨP5fsw H~ W@os(p`~M8д6!%Vآ{&{80+ ؏,zG:zeQDI%ƂGP˛ RyC*, [;2 F]QmY;g"2@XÝi|YI?G eդz״52Uq,OxOXE~w{l|GI %Do}W#r=,BO3T@<+v{ɷgYUg躿kssZ劖be8Ĩ._6g47(HmCv<P) -nqMq]C3>?'jb7&{2%ͮ[1a&7KR+ 6<, Gϯ 1#w RqSngpOnP8+wЬƉ]ۃ/2.7du`d\ L*^MPȗçp>+aɚ ~OqTdZG$֢t Gnv~ܮ1d{%~C%19+x'MG Acۨ!Y&𙦋,H.c+S2+,,M'>i|(PAYFbdJyX>g(IpFE;E:Ol? =SP3/*1*lsGYoj Ato6ƕ].Mi{rs=ѮO79 ϔ(-~k;2`YɟɌ  NFP 0 +7&FH E CMDyrzXё+O, o)L PJO:EZ6?hg/ (O.Rn Ӵ H3Ax-w91|%ˑL9PUB־{ͧw+M sio\L64ȶԌ{Vǹsz яc 0[ !؅e>*_. Ai̮ߞ?5w4:܋ǘaWNaljB}ڋ͏IuʟqDS3Pyϣr{ ~"BoI&e7N)>%?RłTb@>7Ͳ_q-Ăo Ws`84_&` .R j7hthlZqZv~)L0w ~ˆ}gcCrcBvr$Xx&v7"Zג Ϣ,JJ.ʥVD5t4\xPb(򋚂zŻt5Mr{bAv>[4+bqmREݥ^Cݧw0CA^?-yWҍb6|["~*hЏX:t`>jNdן]D >.$~~atNc#mEKhȽ0U& ,*ZmyNx.q[f -:ant"n"ER+eXGť3!ʁZpҸdcWck71{{%?w-:8X!e5`g , eV<]0N`sakэϼHtfv̧8{7asMֶcAZ#gnؼ9GP~p.g[Zּ\%jt) &T=d9|2ugc?8s&H0 +>׸s|'[;ɭf={_Y_ ˍ%Sw6It(2ކ Qպ*Rlc2OEjքor}^ WFz׆w;}.Fa<61CO $]m @"hƩ`y|J q{T{g_.^HJԶxG*_J|&oFYY:IUD8[Uz.Qp7EY(K'HiQ^=>wgh&mN^[C:?Qn'V|~Lus{gkjM ]@)i2(%wP 8Ao *(2DjI^~mInAñzQ'IQxuƍ iEVeL+%(|8 CV<3x>+ۼ(rp+cJD\Cq+eG!9ّ'FϦi+YaѸÇJM:i v:믵 1Ns߹ L Dc%;Mޭ ]G(%rBtZup_1vsJO5NUHW#^ѳ(h&[7?ρe{i@4=f^7~ljx ^K|cv3ʌarxzTlk2WV39T, R2&]:"O:T@d[!XUHܑ"nsM+*HѦD zNnN#ȐDz'^hF5\5r$blL̳WěN|j {r[5[ nH%xqݼߌa-\J_FiV[F!t8s&xJ"{F8O RJ?ˢ,a:-$kHRQ^{HaK *f`j*oɸFGW=Y!D1.cbIu$E|LqI$['?َkw)`U%Wʫ{Y }A &fFNqNAb</.L;#@DP^MQAҚ ͫc18U5WehP2 yjhJ7ifle7 Ɇ^:(4| uև2㛀K'M[HH.oꇬJ_>in%[lK -*4vc>lhKC2pd+-WK~(y~I؜5HrW^azr氎 j뭩Ƈ+ƾ{lN_Ɂt,$͐Q0,RrhlӨ˖^2 _ͅ㞣B TԦrH]YAYխWZ.8B!vV“R TE,HaL߸-%} "һfW>qc7xw~b|5v_OuKsaȍz >cךY\?B[gxz3]nV@D) *TVeJẪ6GBɸɯmXkr AaSĊ5KyD޲bj$Y`'Mʉ/u)QOmȌ㝾m>TJˣR  reg5^}֟Nk#*fޗy#ɟ r (O+hmr`k_w)52e\y.dw ^UiPVBet39= fI q0<aZ\2ȇVs|ĐyOy )=$nڳyOJ,fktbހK .s: KiUAe#CEVnr{@DEf4̈oU Nޅb|FCl_JZdao.MzȗyWtkFմM$*r%Be]Ɏ՝f]jΝYTK $lO{Fsm/x2. E`0f_/M9#ӳdQ#{I#j I'x,i<|_0)UT\P+Atgԕ%ܞ8z؈pyN#Jևm6z^j6ҝNFlhCG{r+'݌*W:wp~Β&R4mR>֑ sZjTD-jc^N9kY_Րlq'˨tHR8Vr'nQ9HeNY44[a7Yލ%L̈2ӟF/;7e\`7vbY#I^uIK߃@aQGD`[C+R.c@teuXZf.I7ud+hjm%lhwzGbRR24V *t$,w $mUC%'0liN(^>Bsm0ҟ*_w"donuV &?Cܢǣ]:冖f'yB+.s\%YUw!9N 4"^ɴٙ ;u҆ԟC :3c$h;jq0J<+9Afcs4-4ٶ*0T5~,\j]?dJ9’tAahNjNk ˟^>#ˮ8]Kw'_pjH `K|dHla7gnF{,vQ0(c?+1\꼢#Qٞl`$Z߮f3ĕ1-xq!binngs>5@x8mt騪 ?qwT[R`i/R4`'U$^*$WD*xBC:d:Em-u`Rkx֧n;aVqCaR./!艀wveM=%Meu/.W41pݗlYB u50N\U%+VO|VA n EBCj06j`KJ;Kly+ӝ2v8J#)]2Za~ Tn Û/#A-e;8#G`)A1.jM;Ͷ~[*1Ӽ!tj>+dUZQ# #밊]s&bAR![oJvbZC Oش͌Cbʺ;;6$F,gv=2iX7@Jgw< D- ~sW qи=ŘlӨAzv΄tw|oRح|̬RxV30]-EƢҘM U ]FWύL^U`>,#ۊ -jBr[7 G=G<5s-OG׎b)!&}#o'(p"u/ u*--r¦FcΌHPgYڠ!ᨪ VEJ<a*5q]~R"#ƭx 9a.AQxpQ)QaܺIƊ?REqMgL "bcE& \s[RUTiIjcۚw9hP:ANƘ->t"Kmk5(u[0F)> ,6qjT;C6?r2 Xq\` (-)4m4!?/.=.u/nl pic ߷@sAA7gZf#ryn[iN:Q ]B:NCTRȅ_VsN]y)*E4m*sgtqrǏ^F]9CިFSatyqr(pSLv%1%%񵁄&$ť8S'c!4>RWlZS3O j5JW"Qk ߗ5F@s`F~OQɲc*憽‡`C#幺Tq9S/iAj;Ec`AĈg{edwU;wUIY"qېǼ瘖bs$kz 3yh׃*[ht'>MVCMINB'ZGVC\К/ӎ>T,4w̯0azTX-3@-b3jpjQOj88ڨ?тUsZkn5^-ӬY[<!'uz*1L+?azsR[PM%(P!&%O`%=B1$Ԥ#q #XiÃ{|7wxébH L&o[hbNRWz"tvGSkl @X?oNcLs9^1%hӄ[.`ҫ9l"MI |ݯ9B 0sJ獰A ) ,({ϻmew(V݂ .\RL?a\2 PLzG$#8ys)|Bc5:G0rɐŅG)0/a sѓ>h[PRՄK%p!NyÆ%D;9 F?EZ0dz]T?z+DTQÁ/v̼Yq3+&R PtT4RA|Q>c=j(Wkf BЭW/=\z-h=!;- H'3ҡn\rx2'*n+Z{R*eV`"iX)ÒqHnMKIOoM<^ZQ-{pJ18F[JY+nrLV!]l)=I}?߿{+$}e`tQmnqg"nc0JE{HX&ʠwXÝ}X(hY͖:0~Z Q\  > LB9!W&K >-\aZ65-D:Acá 0W_% JjwUX~j>bWfnOEK'~$59&G_raO76UG J$@9eΩ';n-HkdI5L-Ft{S<݉›U]j!$YX_I/3tJ / z/II7:\)^LR6vxw UtmuSG({;#/5$u4 to)0pS|fܶX%kwv ^tG ``|-X'u &sfoK)_z#.R Bd Jǥ g(hDRfZ6"5 ukEJAfJ?Ns`W_4=8Ҟ`#d(u(씰}i)hwlilaB[s+k27U IOgGw˪;gSPwDQH^*=W>B8^) Z$ vH?MzU&,$OjJ+ c+."}I3ݩ.2@ d1_ĹϜP`UTYK(5HK}g=uqYrus5z lWl9od/^:>2;#DvCׄ1/sC_DNG)ًprA}V28.(UKoQ5+~Tx?@Q %,bcLe%=w,YڴBtHoU0C8Cpkmr&5 WMc,"" ]n'{o `W;%>ԻQo'-Rdds \S$ OI{W=g`H\R񀺺(A&-+UgsqSuEm2lz^Qas0n?%6Uo<&M=P8FzI7G5GS{Ãk ͠t>ǪP6CSgӉ2'"o e銜Z ҒEk/.Nu|yk>T^(8!Od5TvzܮBC&,s5a[VIZyK,r*K]nha :>D#U: JJ8VF׫tЅ8VC悤80C[Gt:9{˻6=RBK|Ydb$&[[u.MhԂږ$tJ!4-AΣ,hH߱mXҤo'jۛ8@g QJ<눾K|Z[yiڟ•9lNVx_=B1w,87 ' v8IP8Ͽiڵؾd3Ӹbboy%^H>W 0e N>#OEތrzsQ`@z`kZiv$~Dr}lb/"!2Z{Dɬ—S(TH}[x o ;쀭V0) ޫ%1_cLѱdPUoHis?thݾL2ֈ)3O퐜 &,ur%5*@nl"ڊ{Q>p6$t>7?C[.enjO jJ8jDw>M ]/ҘDQ$o)$+"<1IfM?Zq>S3uze6mW&dBԼ"p$xP VrVMHˉ '))JDs6⻢t6.)lNA‹rR< NФƳMYYg(^|E._E$_]rNYf(| XW7Na[!="b_=jwr Jx ڸ/iN]_d;N,^`;Рcr@YK$BL #Y)җnbAh2'uFDRDa7,݅7z`oMeMԸ2(7f#Dq\#4X4ɠ)gWjP)`!,tJCiiE _I$'[o(b_ϚmIFPMۙfna݀+wN2\Aym0Uh!r {C\oYM_ɸ5R*> Ǎ{B~ghgiQ+}y {E(߁ܒˑ۫s8-02`0H0^V7hTYnxx eaN6tY_[ hʡJ:){xyo߾'*&' trk1z":wUD`¨94gPɌ쇦|!1c23^m9L "1!u;V!nDk4 qR欄P/2rNmnurzŦǿ.ۂLļlr0N,aS>Pze8@^*jx1p'r,%L'@kk2Xo84XW| Bp~~Qy|y[5+e ǷgSuQ>ӝ(s Y] W&gA0ؕ~; aIb|"D#[?5s *|SJ/(>;<ֻH3)3w0W6ED!|>G_2N8@ΚT2_*'>2Nʞ֦5))hb $y`;.aVIQ}z9_Gl[HH,XW];n`nx(!F\3=-89rV˵deCH3P)>$n+! :^Cruӕf8soi8N!0&|‘G6Osp51'#?^@^ԏoG U-Z<ۯ3+kK+sqrCLc} `.X%Wm[`fՎ=z2[4-SKexҶeHVbJl!紒1`>W\ &]9fJqo9ô7rxPj=42ז6)诸w5bJ"PpH @]쓌m+*LZ: /X=g\u]z3zup2>)`I}2**!;ߧ"1\Cx>$IJF:]5x^}LltfAO[}ZX3nRj0Yo^IΗou8IrF-*oa=RG )" Hw08iaEc> b&NUVõݻW&k{mcc_!NoCMpf $4u-[ѵKDȰZ>! `3$ rfP_w.1(rKfo6D\l{87-((tMS0dy|p\{!ۅ, HD2lAÖWj y1J9mIM1ڦ.U&^g((p_"bS9O(6b>rz~ CǠoK wWĽF yڶ~ rJEc۴XݎOGߨ-5 П0*(_D/ քō,gRP𱄵IoJCUU`t2Yeu=k !V &GSZ㷿a$3'd=!>0X);_ړZեҌBhpRNTL4OTqɑ3(UrH {ɀeyDZNvU0{bJ8=.{7=ab^M7[,oǑl}(l pS;Bs%5i_N3lHXEd8niky@Oן7 ]05j;ucbK:dh<!stq5/1L p%ے3rk*ҲXnXX4$eXY>BMͻ tC"3=. Mhi1L wQO[ MxR=i\_*831[m&qp 1ʦ$k% iQgUR۽5J٬=qC86vYr%+ DD2%'gXs? b,u)ݡhF ;zG#8%c fߕ,.b IOv򎨭.FډcE:YFuWb P-ƽߺTN*g^~Rf6h&C2/y;kHk#S10L6ZZ) has*Q7a_pfag}7oR@3aCtvϠֈyUvo!O;-*6\6ԔKn YZI~+!qhc/ *GRgVi=t~y:h0h!]>+h4 TUE FXH[1% ܝZmA w#i>tD(&Kվ.tp%2xiշ_ L, N/S vP,ʺSO?bP[IpQ..#`i].˦$o S=31+З57 Y"f Swل 3M浌\2RU:2)GJ`=ZجGV?Q 7썇2%_\,1* TT w6؈m͊T9D]tB`U(RIK4gV*w)YG@Z@8ͧhn(۰7[`0o.FWh~soz* /tjoXlm*-i34Pv w˔K~O\FU)R R]VCXVTaÿxI/5Kpc6 |D5>/- I9)-!+Y Wtg1XL֫jǖ Kc[w AEE"I;|;sy[vbtL/O:OJ_\04'LBOs=A1)mf|d ED~S7QO] jٱvVm⑪ p~(.} oY\55Vf';*Zj`f,i5q(<+݆wNu:%=}tJk3WWeWpֿO L6J"0rST]箥`h$(o|Q23QnSȇ/S3Ol [2k/zT)a'~aɓyė<6CȮ~gz}JlxڝQ !iMMN!Hf0 P#쐠1$,|0dq T^iQF&? #suynb-g2p<1'? [#w%nr(gM7Nt}Nv4Я>j_d q|3i\-ƈ0xj8e.5rr,5E AXI-k:gBs7%Êގ+CJ\Oe1ne5 (yU^vKI3RϼK&sM:?Y,>)۹L/K^f&q`.Tm-'۫UQl4#:wtM@` ة͖Ա#EVfR % ,ՄȪQYsX#Lhw~;ɠ3i&AʣCGx.+JYc6BgC>dOW1"<6&`} uQ\S]ޖ%- &J~@#W5\c_wCa9P%ɭMue#<IHѧG- `xR _pGC `X)T*y:̷-0cbo}9gurQDR9miaŒ4T9b-9"A;[k+.`sd/Nr2Ns|ZCx:؅m0>9 d,r!D|m;^Zj\F;Zr]`7^D9% w5?)"&J/[ j_ӆr\Уr7k˜`"x\sBL9~tNaC>(? 1jޮҕ+fD݈6|~-yS#iM LDF6 λ6|11#ijAiŧ&Gx 8|swftd7XS  f~E?@82qH伞?"iT.\^ȥl(Ȯ[.Gԅ~WXF4_of^f1cVQho~8JF3rBCn<~5jn]0>pie9S@Qwlh?n #guͺȰRKAQ ͍9HZh^`v<Έ:]8qsDfxPBmh$I=jࡻ0 SF)_eoC_F.Oyؿ0ȆLG{ MhQvt0ZF]퀭~GbG@~O5 <=W~' V/4:ѕ#Sǭ~z ~Gy(n$:?TPnF%?sY&j%ޥfkmwru{2k4zE/Fryiž ot -!ߞ\/M^cWIE= CJh9K1J?*-R~s+Q7U}v0Nuc GuB$^gg25ˋ^afGeAoΆbbГ"My"J%=oPd +Tӳ|1G]"ȫJ-O;ُ/ӂ8 Do#jFIy9< DǾb%ڔ$ Um۱#@*[o$R;)g1*^'*(Gud&3~ y+.g5ʾ;Z;2_]F fW[8<;'WM.BU[tCJ`7|<2ǤR\EV ePo2,lQ%>et UX!y{tL*Oxӧ&FOg=v)4A\>-"XzEHmޮ tL$\ɿͼziuz6c⨏Pm3ʍ/['a8iU\n6γ 9pP r%vs%cΝ|%숲7ı1JuXo+ӭ~6 (þDDTUxULqGA4/ L fD2)7袬pұ1uD(LyP橂uZ<#JՓVYC>n. Vcە #sj  (yn? $?N^o 3x+(ϐ_lJ{ԗ]e|b͜J;CpKealBR7 Jy_z=[S'0dZ!B 2K_ֺJ]:@l2S,#%%Rs?"ے#2 gD;N :Y[k@5jݗ~,!8%Q*9LҊ aM]/KŏD$S0Cq9>$]cE8:(%J\etɃAA*yg !h~hUwa0TB~ubiD{{ .,mWEo!nC:RKa_,(do/_14;*W=d%7șg?v尰8 ~:32/ ?S]QQtÜ;llc\Qj[iGg2Asڛ0{):M 4-U%i߷-Pr˹1f>z$䄾a,E(ڤ33VereՑor戸I f8%39hr> i'K9zE7"A8׫&?1G`]=%8 V~gGX9틂B+F 9"k{}>!EVm+n%Yw}2V[aTd927V=gN@W* Z[IJ*S=ZYO'G^[mlutB("5"&d'X3N3v|HXI[ŤCSCRk%t[2\s}/oZ<_ VripOaNBx7^mr& +ق\˸FQa[ 郧N3U}lsfYQMJ޷Y岈_bh/fdyUO`/$:7b*qd[P!'z*K" 7έ ~C @lL'`[] bHA.APM{+TD}oHQ%TfQۖ1MM9 ϼS]4]k4>w;4M&%!/Lք ؆!Ҕ`#2A:,Yoyf>+DB۰m~#p#=Hc? tYDBV kI;h ']c2 *6Zb=0G1+9mǰ -yeRc}rTw* s BXJptНe^[rdo}]پYFM% c*R&weUmpb $B߯GӸN7Č<%uUM֣yv%&A3 ,#DҔL;Nx&OW0:mȜ0;z}cHs 㵺LGW~?r8\XS]\ƨ֚TǑFjx=NO2Kr1poh)*2:-#JP3z9e0nVņ2ŀrg*Z^RJH({ZbD&;O YꢜsL4P~;wy{ʚJxރEM ef,V{"h1ߵȽ 4? l.̳|SɠN1R4SYb,( ƸafBa>J"UcDžj#kl\#k!vW5̊h*ng6o12OBP+IF6U+߽z)*Sp[GtӖB( {c }x-AYg<^sDĬ< ft3і~Ȍ^)7(`$'2Zle;Ÿ6*wfe٘QrzvdWvz6J8,5iPCն$ma!ȧ lHPx̷83*h= h'^V$Av?R#e/Ց{1NwJW qAܓP_NZJp3,f O2ǭ0>[t(4`ώR䙐EQI;ٻAeZy)Z>nxꅌ_WE$bSx e,A-JB՝-,̿t%m!Vrebu4M΅I~gC< d`KL&QURoz̭{ɦAϵ^r0n\E!Vy$o(_xG蜹6v+T#BBjxJAiΤhV+0qaNr>0Kmmn:e6<Z` شϐ0=z4~Gn\;kxѱӃ,0jB@^j>~ }G6X;I?^w)ubmJ[6Eo'Xt-#FhD E]#~)rhU.6Wpi0>(?w\ow+-9u0cz+øH&/Cy35?:vI]p,"`(ɳތq(SH",bz{wB%)]}˂:@MAu&W(N%-CX;| l @)gŁeCKop(S1.k\j@"^ y^>jiP e`0pj}"eY:u;H%3Ud(&X>b϶uAa?OäjM~%I.Fq.E&У tO:qbhv[jcE,ձ ^b%2f2ąevb|~$|l阤:&',KIZ鰧%bnHM*C":mBاdcMM#˧+n rLRe㶲gފ8g>9z_,hjeXU0gnͅ _俺 h?Kre8]=ϯ'Br$D*Qk4@(5q܄iG6ߤ_HTto(։=iy ,!լJ㭋?"\[\׼Þx-HOc|EW$JKNa*< '暟8#ۖ-3Pk!n^XR1!Z0LbEh FЂ{rŊ/8=|-ɋo="QegJ"PI[Fr[ΘN80H5 Q2 ժHܫ\f&n壑A>dbխvcs8ebbg"wB*z;-PaxX[ O+jY8M'd`XJk#u b.QIg%&| ~63qz?2vSzyoL $3{ +\V{hOV{9#0NU[qv'ɻ "=+Hav.6_V09Jԍ]V&Ӂu ߛ\BdQE-ٴ:^=&-C/ V^Q`X4{js! a 8󰑙eKy41l5&eSO{w.%DE0eYx.GӢm:ZVd$ŵ2Ë;6o窏z`c7qٯg˜MPZ]=NAJio4Kz#?r_qGE =~&Gh3 +(Di[.:/ Vf{ĢaA7aXG!V+eso( ,naeHM*jG<%vNJ"aF)%mZ LvA@ylh3.bH'Tx^/y򣑒Za2#!`^X~"5YIH5}ĕx.sRBߜO/jHϾGD}1q<(y|ʹOB?H[6= Jl@\T {Ķ%9pbbIb!@;9KS*]Tj!#@Y{3xlVL4׬$Gn"9Q+:acue@R38qG4_HQf)f-.dyk/Y. [" 5%Y_葆5XdxׂlIᡲ$:i-%Eo8Hac-n>2"0_i7+{fǧ}09 ]4f@]WE`Jꓘ!R+h~`͞Q2qnwJr/Ž+D _ [lþRU%} xڍB޹g;^}ؽC}-w Tl;L,JR9Ɗ ˷ג Rb붫1Dny"ǥSFAӟ&8{HJS?y'!ye̷LEu:~p-b;[bD&JO_2?$ 2@XSMfslyNE#s5MHLiz hUcyҷ n[حXg~TJ?@##:(j~O},=i㟤;Z[8firϟ},0}<Ξ1t.>ā G4ނȏ#"/q Ak^ )FEh@8ї:7;=y6z Ih!zIhyL^ zFCC? v6J ;z.`ޥ-t?gu5!*&3 /?A ь*ڗο< , K\5;Cp0`zfnK%B\kc8Q(t"g@*3.? l;m1.2Ƴ"Kai+FB>"rH纜UeיzD0Q*u5&d[q ~@šgd'f5ky[9$-U .3 jVUH{$']?ږ㴦Y"Ne^ߣdI?J;gx z+O (s UbC_I_NEl^%luJ)&gC YW!ԋW쀳]br#*Pzźdk8A|ʗnkA * lSX9!;:DŽR\|0(7"QC̛F 8+xW_;9f $m R)LmkAI'ul" gPppO8j |;Fe1%Uvj1J,mRDQGHG:y!ZX3Ա Nw8`=uҟx$dMm`7zyNqhؘ5'Hnጥ0?$ uK3u\65~aL `U}s|x8-=a#%4VЦ~ZLxב_h`#$Ez_9+6bQk[ԙ@KInetg"x[ i~ y{iW~i_jU7yJW?{O{3mB یV;Cuߝ)cJ> ^0bAe* +6BM4rN]?p)2u8E$0|@qL<`Rx:tс-&|+~۸dtbd>ȬRґEPpu)ߙJŚPNpNMm[HMУJ;! e;l'ݧ@Ё Qn[93/i>Xd]>j+ٷro y&Op ;d~9/]qeesRwE~K#\m5w=㱿 UX^X/OxL8=PC/Tiʯ%gt%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔz{ ALRx%pQ1 w e7T?D>77GG x}v!O ͨy C9̗o Gr;Ƞ\.2"g Zct}$oLcsT>B.+钊(ģ|-Sff<(2~#eI0ofMȳə2s2:vj`QG4o Q`tp8Oѧ#Z$JiF.8 ZGkC!--LH`EL/v}Y' *,Db2(0NX!x/q7 !;:k ־MxJ6V:hBkvO;3=ՖS<^AyoYf5@5bR})jSfšxv\~Jkb4֥*9>CE#80Jy$g%Mt7@D]UC!^/^z~0zZdԖ`5'(FSPt@ gQA-"4#M_sv"U+$]2{(FnNڦ={W)-ucp"~@P托0XU̾cwũu,^bTOV]rd"k֪q/S]6 ĖMmBaD}c1VKϣJj^G^<۶w`Fc;DPS);?rLЪ$^#3@G>!_W8e4QF$:sGT3J\9N {^c K]|yU0㽵}R*>xn 6fh]4@ֺ&bH65DBHIv`VLFO'B:; ?ػ-Լf`osvZ/s)P0A_}J HYx94u|Q抳D^íirJ!tLoH.S?U0{j;DJteN{1AC}="P';r9(}j|cƱ'~sQxdnGʙ{r:P!b:#@YPbj]'E&ΙΠ5T",Bh6kr-Hg|M!"@/+<{>KB Xgj9kz=EI8 æ,>`Tb*9J)6UO{n!Q_ ?@L{LnH,`'sVǃZA=t<8k]EpS*HAUw;v!xr,pF@n1W.k5&е~UNEdxu=)M*CH)KP \t 1ʹMe 98{3ܧCD EFv-B)rF_m" ӃTngM_d2d͊$IϗX.PiFA3/rV8|UMnļt 6~禸*NVl-Xxg1j.92!!ۘnͷ`V/C|WO,ПbLNZ(\A|u" u 8Y'FiVV"D\%"գ)}ܗɄ|4gYZ8)}#mJo\#)qu6&l;șv q3&!Y#އX|~sFš3 Y~S̍q0QCi68 8%8Z+}4I)/w f'Yo{]y8Z0%w @kf44ZڥgZn Lz*?esc,2Q4^1&aDž֧sGp U iRP<*CA穿ѯc Us6-UeuQP9=ZvmzYc++(?o5T0Agp:'=xq;kA@%/CgpvJx+2FxZ,f.Qb v*o`Zh5y/'j"ADohv ? ɛ ˨ad'(ݽ #*BdIG>J ,4G;Xq.EM|Ct z-6g1!0^Wh>jڷ}ru $ d:\ejUO, .Z@`}ؤ^ǬHj=3"Yyyto:RBL0I'G_ʼnhvbb3p]-|,kO̵ӠE }E|۰^0z;-ˆI5~Q8c |e"\}(3FH-jpTQһԪ  ?V1!.(*-a:s_yƎq_06UKfd%vQ:b OYlJTXa<3gXiInr=tZvi" yIأmbYfu${IT^ET;Յ;)?mƷ$ 'ZPrmg776m-6v %u͛n>@f:SY6ITI(\xLTYO+|/XQ~Q죓=R;In XȠT6`ᝨ齀bwp&%6>qrPw!r_E |3z-l+pϹy4(ۉR{1?H|r3)8 9᳗d kQe鍖Cc"cLs尢~ <4NBG#ڴh&d Lo{|Oj,'ԓ0huVC}==FH"UZG R щ{ !r䢩7^¿Q~f JVz_O&f4#ͽrʆjI,P|]hkwf+ܠ!A6Yptz.HcUeuU4yIܱ ω' oO殃jfwVvr!0 ,Dg8PA6p6Ȱt!9Y65mlQbp(cG0||`vopxhV<UnVBĉFskx>\ , j<*BH{fsD˹'N=!ihGA5(DUx@0w0jtLz˲(PT(B%R?ӲtkT"Mj +]g[N#)g_nՓ ݤ[߬oR^^ *JฉA "IY=r`6顬='s0ۏm>?RtkĔ`$ .HjMuK ċwvh9wGK_c4Ai0Df t>Wz(Uİѧj <lq;޻΢nepXp?Pi\oq03"?c y>,:hO?5Ri,}Æ\Bw\H7;pR0*$֑WA̾% i͹;)ꨒ[?AEu4F099<}J?T3ҳu"ei9OԵs<:Yܳq_F˄Ƒ)@D5lVhv$4ۥi"s;xuvQ$d%̄z#x<_ Aѱs6=0 ,0Oy ˏ;, .k:7,,/Q ?S 4"g=aBcvߪʔu! U6]rն_Ӈ~eʓKh#aO-DDƄzg#YmaV]CՉw.;0!>"M[d4(s= Bpl6w0kw !u$aJc{|YYn(qEA"}E %Mx)j%Q`sz-UClC؛MO_IX4nO!jv~$R'[eE9fn;ﰿMH Ok6{* I3{ x+_.|'d ZiL1NC% aCU -)۫Ե_N㬐gE򛲹/Iø:+ 谣 p32b4l'VO풸fRX|U   w0z6$g`dϦ&L:;y Ãia@pws}/+Lα6xVr< }F7}|/ցvXA$p :mT2ڈLcŢo/<2{B$nBY/x85jI%`tk8de ;Z6m}W<=)HgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI? X1\0Es]erU|; ޢ7;w[oGMۡIcg{*`^FٛQۇ 2;N %#cLNgYZHx'# TPurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂh50hM#sEFvc]SWT -0Na=3֐38:_ږ^4}(WUhј>Q&-/®>v*o;g`CML±6.[S5tغIQn39NI1P(m  ]2JDϭó=v[h'aU5%,p4}j[J/R]2n,|W@iiy$Hvk,l='hnmzsT3M6~xL)Εf{*fOo#sU5iYXza-([E