SQLite format 3@ "*".S`  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  < <AplT< ] ]Pure:threads=1elapsed=1.508cpu=1.567gc=0.0007zXZִF! n]ŗXiɟHVҭٽDnjZj\*RF)reDS>{FG p)l4'םOXo% gZhP K/X`gYZ7zXZִF! c]ŗXiɟ˚Ћ. k$wqR=<U 㽀jma"3\XvC^sj.ٻU_U(fb0+Ӫ<,!AeNDR;iP+{b5“7wdq5@WS8.1q,^yʏ-Tx~.!+"tⱬNX_3|Yt勱} @IsUl"ui(|EAU>/w芍3=SM"9^+/X`srK47}zK-߼:;u!tЗqP * ]Yߐx̷$1rV@WϦ3m6=I粊\zջKey`<㔳Q j;T"K|3s KSA P0gN銤|b~~BaEܺG^ZSw tHYM|Y 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;('|yxqnk b Q B 3 % }Y 3P7X *  m R 7   z _ D )  l Q 6  y ^ C ( kP5tY>#fK0sXkR9 qX?& w ^ Eu>1o%''PurePure.SessionsPIDE/messages#'#PurePure.SessionsPIDE/markup"'!PurePure.SessionsPIDE/files''-PurePure.SessionsPIDE/document_id#%'PureML_BootstrapPIDE/messages~!%#PureML_BootstrapPIDE/markup} %!PureML_BootstrapPIDE/files|&%-PureML_BootstrapPIDE/document_id{#PurePurePIDE/markupz%PurePurePIDE/markup2y%PurePurePIDE/markup1x!PurePurePIDE/filesw-PurePurePIDE/document_idv%')PurePure.Sessionsdocument/latexu)'1PurePure.Sessionstheory/other_kindst%')PurePure.Sessionstheory/parentss$%)PureML_Bootstrapdocument/latexr(%1PureML_Bootstraptheory/other_kindsq$%)PureML_Bootstraptheory/parentsp)PurePuredocument/latexo!3PurePuretheory/other/methodn$9PurePuretheory/other/attributem/PurePuretheory/other/factl!3PurePuretheory/other/oraclek 1PurePuretheory/other_kindsj-PurePuretheory/constdefsi#PurePuretheory/thmsh%PurePureproofs/45064g%PurePureproofs/45060f%PurePureproofs/45056e%PurePureproofs/45052d%PurePureproofs/45048c%PurePureproofs/45044b%PurePureproofs/45040a%PurePureproofs/45036`%PurePureproofs/45032_%PurePureproofs/45028^%PurePureproofs/45024]%PurePureproofs/45020\%PurePureproofs/45016[%PurePureproofs/45012Z%PurePureproofs/45008Y%PurePureproofs/45004X%PurePureproofs/45000W%PurePureproofs/44996V%PurePureproofs/44992U%PurePureproofs/44988T%PurePureproofs/44984S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44800N%PurePureproofs/44766M%PurePureproofs/44762L%PurePureproofs/44760K%PurePureproofs/44756J%PurePureproofs/44752I%PurePureproofs/44744H%PurePureproofs/44726G%PurePureproofs/44722F%PurePureproofs/44660E%PurePureproofs/44656D%PurePureproofs/44654C%PurePureproofs/44650B%PurePureproofs/44646A%PurePureproofs/44638@%PurePureproofs/44634?%PurePureproofs/44628>%PurePureproofs/44616=%PurePureproofs/44612<%PurePureproofs/44606;%PurePureproofs/44602:%PurePureproofs/445969%PurePureproofs/445408%PurePureproofs/445367%PurePureproofs/445346%PurePureproofs/445305%PurePureproofs/445264%PurePureproofs/445163%PurePureproofs/444942%PurePureproofs/444901%PurePureproofs/444820%PurePureproofs/44398/%PurePureproofs/44394.%PurePureproofs/44392-%PurePureproofs/44338,%PurePureproofs/44334+%PurePureproofs/44332*%PurePureproofs/44240)%PurePureproofs/44236(%PurePureproofs/44202'%PurePureproofs/44198&%PurePureproofs/44196%%PurePureproofs/44194$%PurePureproofs/44146#%PurePureproofs/44142"%PurePureproofs/44108!%PurePureproofs/44104 %PurePureproofs/44102%PurePureproofs/44100%PurePureproofs/44098!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/441967zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0CEo4XFY˓uP쿹gYZH$% dPurePureproofs/441947zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/441467zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˟<}b`dO0\pb]dNlWgYZh"% $PurePureproofs/441427zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{xsvn؅8_) sK[R0gYZ4!% v{ |h@py8}gYZ % PurePureproofs/441007zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/440987zXZִF! N]ŗԠQlP@K!7; [ $F(q#sY2۽O*Oj0zYgYZ>! 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/445167zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/444947zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhʘIiP?(11$b 7$s,Ɣ3agYZ1% PurePureproofs/444907zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/444827zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$ART9'GͲ j.󷘵Ÿޯ^NF'oﶽ5C <ݰo߷~S VgYZH*% dPurePureproofs/443327zXZִ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)% EfXI7\Q0dϚTZ ]{O <~gYZ`'% PurePureproofs/442027zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_a׾N3mRnv=:%]gYZx&% DPurePureproofs/441987zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I(c&Am#t D1J 0__rgYZ   '   ng5. B% PurePureproofs/446507zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ# ns7!M~e[}5t 0 l+2t~Ie ձgYZA% \PurePureproofs/446467zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP(Ф[AX$jCnqhwY \gYZ?% dPurePureproofs/446347zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטO1 oTgF[jXY5] j;8gYZ$>% PurePureproofs/446287zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/446167zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK} +)MYw)_3A9s#9j@qױgYZ<% TPurePureproofs/446127zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*ñ19(;zhi+ ,.oa2gYZ$;% PurePureproofs/446067zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/446027zXZִ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|P% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-ssKV;w;c gYZpL% 4PurePureproofs/447627zXZִF! e]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGO ѭ@(O;Np*p2>%M6$:k># xgYZLK% lPurePureproofs/447607zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&Ybs:mN+ VG<* &85*Gcup+SνÚgYZJ% |PurePureproofs/447567zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛfz6 RΩBSm6 ±gYZ\I% PurePureproofs/447527zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zH'0Lj᭦7\|1 ?igYZlF% ,PurePureproofs/447227zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/446607zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUomFg9oiG!2#k@ejĶgYZlD% ,PurePureproofs/446567zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^6>ڗbh4+O;jѣ _k)gYZDC% \PurePureproofs/446547zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zLʿO;+VW-f+qQ8w#* !r+dt\EygYZ  8 E8aatb% Nq/-\Eԯ`^gYZ`a% PurePureproofs/450407zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_Tg;NɉsLmn]gYZH`% dPurePureproofs/450367zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˟<u)5:5jLYigllWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/450247zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/450207zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/450167zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/450127zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/450087zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/450047zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/450007zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/449967zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/449927zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/449887zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/449847zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZER' \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   , MW^`k3PurePuretheory/other/oracleentityname=Pure.skip_proofxname=skip_proofserial=834Dj1RPurePuretheory/other_kindsoracle fact bundle attribute method0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZsh# ~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 o3p!^T{v82ݎ:uƹv0p9jEV 8%p`bCm;8+mCs,R]׈P܈YVk~3=p7zt5fl632d\; jEY M*`.{O)B|?qI9[3{M.wz=f~ٗʆu/A!7}x?Җ\ٍ"=Eǫ Rky[W8H#Iո&cL5UW7zx{uq4Ҕd}r͘ rspɐjzb+aLS8i/+/Rȃ*65E Oo=c<(#TR-V23R_E t^%j` ydbjtGqpT7 ܶ*jF,8]Ahu:Cc\SZ%Ӝ_2ֿa Z6C٧==v%W[ϣ)bQ+^Kkty e`TVAi9.XeiP3{'Bz@vfiCJ'+I ~wQgYZ\g% PurePureproofs/450647zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUom\8:X*Uafk+@ƈ.VJ!jĶgYZxe% DPurePureproofs/450567zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g(e- OZ U,]7t\ұgYZtd% r =n_((>3w6/RD#9_S Ϩ(zOs"BP6E[Dd, J)_[j+iDF ODūyjoH=$zM6_ RDIF'̨܎a(@8*%Ӓe(AV!=Zb{Sj#B(zœ-gYZ.m9 PurePuretheory/other/attribute7zXZִF! F]a0{rg+5\>7yc3®vnݞ,u:aUnqu$^F. $id$@F$d\!;6l(Ef ֓x KĻʫoByjVR7&_3#˯-M{4csrKZm>v\ig_s/$W Dtniꁖ !`QL Ogi2X6Ag8,Svc;8&2{ Y`v5H׍3L9kX:ɟ.K8W<`UƼԌSk9+']Mi8"ܮX`Y `VWz[FS!F@~,2?/>I=Q]ρ̆/C 'ѪiAIJġ=|9>e8l,Zԏݘ}i/&.vW;Rj/(\]ju6X)a%B&ի ma?v{w].' ]3 jK #8PE :wP.0f!0k~C>4 "o0 .U8[a|GdJs4ϟw=>Ŗ^˰d߇0O,XK24J q5\qn2 yz | :[d$neKhTj8_?Da0#Pg%F,͍R-](]%,0 ^:*yzYY~WɊ.dX]y])F4=d4 IǢ? >Iz5dP,nbHOA\6V}G!*-3.&D'2toA1@4jwLY',ӛMG"FP=xPF~R+ɔWyO42*Ae1Ȗ=U?/_7=_bA5jt$H(xn&uV'O/K/_K=I80?5S}AS(8}鴐)% ;tEgYZql/ ,PurePuretheory/other/fact7zXZִF! Z]a0{rg+5\CJHa=O݅vBzxAekW%ЕM/תnfՆei7@**;=Ge0&+tLn6rAAV򙟁NKڤKF$uݽJW b㌉Jfip$?,G/SN4/G6;<]MgٛCѺ*;XS%-K7Զ_֩񥟡B@uxN(!2p398ۑzzKTVckl4SK[Ԗ i@L"vݴIE&QorШƶ 5hUTm9r2=M 33O33/SH{+}SNfiW=e\^=7N!3XrJSc=zmUA:9cőtJ,j`\ #"bkgYZ[ 4[ ̈́ݽէ#{\(FppsupiKP4]÷̥%B㻌0ؐ#S${JX0@(@vk}i,4ͧ1A(7 I"%!yy -@lCc[gn$Y@ɛ@q}8w 𚃳'q.qfy},,;ϋ9z<JgH:? DOX#r].eI.[kZW}ԕ1K@MQ,ޑ/l#b }aQci!OBu:?m!%|w~n$,!$x&Z]SڼO<`"0Xe+{$j$iM,TMȞvKvj7h=Ve '4IK&v>oӮW@t=)J}G sxyYjin$ƅ}ө4U~{=QP<"ؒgW C LAV*̮{-8Q+~O] I+]X-Re0 PSN$l?G:R=jsd;RTӊ 5Xru@ xaVdCKn5UKлL ,aw:Pu sO&5PL 2"@޼$b$;H,O[r,پmk${ϖL-JTG9i}w U2h*A6% XfN͟M38?^֍řnH7sshO}uOjy`HĨ_\c!h!Ja@ Ѹ6`^&G.wfKiЀ.[M AS3L':ͦ {{{;V,wiKrʸά=m0&G뭰pzEL~Pe>h#C>~(0gc1BI1| QipXB;◘rw{AfD!"%0Jy_B…qr ʼarS !߽aUBϚ q20iEzy ϧ% ߘ}."=ȑV1s>ux6+ٌAZGc0Wtpfţ[V+"ÞؗVF9A =!uUJ2Oj Le*a0Fu3})-E/Oi2Vns*Jz&GsnZRz5;.i*rb[*24EzbSqh4MoDO]i T3q*3#cKy+ehվ%SC5mur菣("vX2cp=M{$ z"u_|*8^_tDqy'b͏u(,5@ K]P iY7† j!b#e %+\e8 \,PybS=L_EX@Ϸ%~cCV|0)\@YV/ \$}VB4|{p홺n"ws(b/a&F4L'H 4*~go_wrUP'! э ^v72-!FwzU Նn:`V4x#Ĝcu%l!vO{FM4?]y $TCLq1^:DQ L"P#xQ_5R%B-2Gd- ~AiΩ{ 6CD켍h4=/lJ؎ᶋ鶬&Xj3W:)COe=X*-H~fȣ ĩAlĮ!;Qe \Ge`4[//ݽΩ$t+5RM(-I/v;RaB>PG:Q~Prr8 [aQ=GAI6D-aL%H'}~D"(덽`^~on#CSVTKsO<65vn, V odiDP SN6!sh+䬵pDTa iE8O8Ȕ_3A,V:A{mwQjy9?V(ӻ@*\.yf8yf/gvLuF5I 0$6 |k31C6)]2)R4(c5KSz6>qu)@5a,߄}d茜ZS!9w;}.xs!?FFF.x]z aѵ7ggUԖ0)%!rZsӝ焼%7o A0 M?1wEO 3&SGͽA0bevgliJ{/s\8C'BaXai GO黾g.BC!'CaXo']XVZD*~D6QI{+#Y{wJٶyb;I؃ia pe#10gg=H4aO`JũN>xpZJimf]t AfDZ}=Hw!Ufl;xO -$ƞg1> (9RI+;ߛL6վm'T93|Y'"T?++ȓAN zx?M8,ePL x&(z&!Ǹ{isP;?G@75B(*d@Υp~,E=y|l[rG? b9xXa.=k`f :%bsiDZ_$Sfi 3Z^ _!:ŻY:ЕzJQ!x;]d*PG dP*oNCbc~gr%`s|,W$Nbd2\d+Ǔli9$@ؾj`.9xn%af,z/s2=/b7ֆ`4MVwܨ#9vÜ7)>Z綘uvBH,\!YVh&6r< vS"4;X%doJۂ҉L>&5RgE%0WV3Ⱥ@61dIĬVA4D'lOrҕVnC)DmCRHEGU>V/{}EO hK[)s#!1-`5c๥g@IfπNރpt7zzd>DK,j'E mtN-HUZC^oÀX )kf+vL˨&ODGT *[3"r'NU2*GR:i{g%3F:RȦ3KeR"C<p#GY{%oos MQ̰ iTs51Ta?-'r"U놪E $}) rX'߶+E6sрqQPM_V>yua{~ j*N]ş`mG}w b#Ў2X7 f8ρшIz n$qF}c(#v1mY0'j̾fM?ڇ;S5}[ي=cogLKv;J=|iBYuwq{n^Q}tx&焪1:YD݋T[*Rnm n""ղz#jN&37H+SӺ0{,ɪ9gtw&֔+;zDW: UA=AsP1qռ[i2 )-(ZmoТ'mߠc$?, }cuY:`Ypr`,X^$J?Pc"֩lW -"aJ{:DWFqr;‰d_q :[^J]p0yLPKF2Uq$yi?g g~Nh96vrB}?m{~J\’ x i]VloLby)_'4^E!dUhI\dс4aD]T_%MRhrG31,J m*לwM "]4x$BhHdZԻXaPXo͕F$j_,ܰJHkڥ<*)sVmQ6db? %m?GZKxξ(ʼGX~5ZӕY[!YzS&5~ rYxͮ*E=C!|`X8 Kގ69Wu6BΛ8v! NEYj Q-} -+">tӶs  ;_>DAU_$SRisr?*PSΜ#' YT]ue0tzn%5^^oa.R΀+ڨPF"s]t{a8,jd Ţmk ݂uZS:nD4ڬ 9  5f<4eQI I(.!KoFx8?%dC!}btRP=ԯ@g %3+C{:TmtFkOMWR8u2p =2[G@YAAjܣ("֒}'Sja%3bn(.mJMҫv' Ya4v̄ysޯ? (' !HFUqj@ш }_]u;pTz*V([[v 7^o\6ޏu8:ڡ`ԡ"IZy`h@U4 }TmfkkNMKX>GY1E,j}j4NvWXK뵚7w%c(x,1V<C[s x<1Ɣ,4F$7#ǾI|%)~x\v@]]͉@.Z 4H̹`Gv,CCj4}u#ZM;k5K(y'7KI0q'\?EW(iZg=H0paVScEض`)C}hSfE``z~۔ǐE4";Bf ?9_V^V T;!1*4Ԯ:<&pkDK4AfcTp8{tfAR]6]2a@ YIJ yTL2T֌MIxt9 LY> O4*0)P'R jf,vcg(5hߌNv 4s֍ }c&w-\hOr/,.~E8F&Gwx#: 4@t;|GB4NE. HY"Ǝgo$hO^#Ƌ`[ÆƮ~񇷑h~msGΥ_k)6:#H 鵫?O@Zo lZX+w4D+JZ˿Z_,x)SR}lZ?@>bzմ[`T[=v'k\ q:wk_zRG7Pɽ\T f3ֆ `ؗ!)Zu̞IS6 I&$  5$a$BI$a@J]gs䦨0nڏy.9+%*$S pa4;&8QSBt7],_?`~DXBP܈~\$T*5geČOR!֖C@\*h$oRAĥ_=>ӻaKҷ/Pޫ ,V /^XEː{oz*o1Ϻ;c WOpQ.v!%ik)5OCkB:uK "}S&&ҙ9b Nj,c%qPۄӬaaNr)G]Ni 3;N6w,CJQhY*EF^itFYal]8ܿ]HP)]6VL}`!sQ&}dpSw_w9xqG4Mg=5h#isOB3x&:z͗ăZ<|n'kZ'~i-G'ֈC/A=V͸tsTϚfmytLڏ{PL+f=FzQH\Z|.}\\h&9mHԹ0Pa]nfMV r9!6kqĆ4 DǾ{iIb뢬DYsv.|-YNt5-a+GW];M qK{y6SMUNrH{iH jB aO {-$Ce7<0Q#o&M45I|Kx?) ;9p joEw擑Aui{=~Kǂ8l|uݗ;if!\gPqRӂ`%O q K˒:ؤ;1 a(s ƝА (4xöLc0pvC__XEA?,pV߉$b:-J\jTpYm l19>V5 pM(#tͮv w۳\ ]{ lɵ g4̠57>jtݪ7ì^ t 3f >메a('tsKjp ^ Ojsr:=rLQ]ԬFcd+ ǣT6̊ȫ{Q4 `%SEɒ@H}/&ƍi7dtϗV-0zRz)S9̄PբiҞN_eh V<Ԋ G]&D-L n;STivNfxgmEOCr&4dCbj3@+|5PH Im2]:! BK¶7xǦX[%4B.wرJkˉ?V\0?g5ўQU!5E1bLGeaD5KW: >RAVQE G(Oa, NN%Έje5?FM`J: Z(Vf}͐"z u8E=:bT*zY乮ԣCFZ$)R`)q'tҥ dbo:wRh {t??N290ld7{|$Z#X ^q1L:/n _H*? C-7\#yQA0ds%2B&M)I̱uZ3ф3ډm2i?7.h$|^Vs 5dRޖhZ_8P!KMK1Om0QFL:kUNDh.WEp6&tCsί0Qԑyh1JZf[U2 TrMjʯݜ(jf܀`6al%ٯL=Ggg\ \ՅѴ` DUTo;cG ܜMT{8zLhPavv Svą*޴2o$wBcokw⃝hKrfeHGykpv//!0 kv;rONJ$FE"4tޒh f#1w>Wߘb߭ٿڷ_3Ƃ[q- .gõ=4 F-2DY|?pfX3X Wxk'$D///1V,-.S̊88Cx+E%Ĝ΍N;$eJUz1K}jޝe=FMO Qw׏F"g'vpN)Ek:h;PVGs a]D%w+Ed.tHs0{ VԱ:NkT!NNokԟԺY>`ɝgvWI=dr^ !^+O⻁>߅6+'x\$=ިdeɟ`GP5$/zt1.[r3B 7' `s$8TVąŮZ\ s7mN1n0^X04mHPS)c!&5"/QLWN:+Ye$98LsJ\z 5)zaL) 8/yfdQ䵔0DۺjHcvQmǸAj7_b倁&ж{aj<}Tc @F,S1 i|X ԩor"?7A3 1Rh\^R-׭A`O‰hoW~O7g\E< 59{. Fkp oPq* ߄ޥT>_8RW 6yfg98R !]*j>Q^P޳A^&.rQL,4tQN_ϝ~qtj?=NŔrqn=l[OhPI !&,])Q?#M{DoTHbSoƛLujq ڃ77B|!KSzK00L%K$Qlji]w% D 9]!o`lЭhMWD-*:yqM]n E|_Yl͐ۚEhCf?}"JmC5M9*[ ~w(s&oXV|> dhb\-WpA-gބ/ՐA8&#{ P;H6Q+w;o< ;=æg+}p^5h%`"COb%_SE͖x@+"E8a^>y\:n)WF JV[DNHIb>pf[# I?. ʺö[eBriŎ3Ovyg3mVݥi2oE.yh1oGPH$(osfO8g0;%zT7˙VX`grh|;6w SD&h_:WZ@jr{ʗ%L?*!%čs,hs}1xy"pq 'H32I4HeX}aw:|Lp ^fD٣O疶EEdk\i9"XA _5bN]k.g]߁+g='K?^z)]P[e030P-^#b WCD驦XO@T80tswMSM~2O%'(߳M.T"RȜk3]4&1qϳ]f7]z3x 31r%u+P]ƻꎵG?gG )PP-,N80{9綫g% k80qMV@бbEnK4G]RLɍo=)L deWgu\;ˏ9)kچ_0=bG.I˃6{{²u#2 p35e53s4Z`') 2/JtG ܶy>gMAqNC@`M/1}$ 68 + E_R&5{y dRowZnL=f~\}]&UP|!"kx>b^CE=j _{ΰvj? 6ۡ? .l>)϶sI9(3vN+ 3SC RmyÆ"emsA &ggWzy[O'׮R3P 4kU0^`లQKbAmMkJtN٫4/Iw;]4Q`m2u|nPg^!B=B_^i+XZ'uF L$|mx+Y;/D-Z^_!i7 Qo1] K/Pᖽ牅/)|YkM6x>&VL{'^Ț*S겠 $M7d.Y)MpS" 0Dap񑜱3]EYED5 8X7~UGk4(4d+U8s-#G?u eu^KsѝX^-i QybA'q7sGR>V&;-,~,#Hb2+7:K2;x`5o#w]p*DЌL3&Ik^W[S q)Hf_*'Jgnan<,|F\yvA9n'`$$W3%GN$GN_Ah:4|`meNKwۚwclWE YVhhD1¢UEP;&ʇ`5/#J琖^ـhDT8o*Z+VU{Ky׀ X85e YC|anޥWWB/%Aʨ7nɇ+s".WQ&q,'C =6IϭSR *6WIQ&:W I6 J' @涯I4ߔg%5@yh"nL{0*:ÿobFYGq^2g Kdeo(."o]o )w||ೇv)tR@Є;ѹ[#byowv įr5Crxzw:# naI9ĸxG}6WGCKy 60=%ԼqN̐bv?6X6TT/{b3VlfMĪ0%6^XcC^54R]Ns4K^]!ޮH$w?(D ˱,:tG^u~yhʂP5:BO Yٜ+Px "M-kf,)@g֩NmV9˷ :?F%p,ΕD 9fGw/hW @jtn"SQͻTHjI%F EI$o;3&I8A' Egf1kXHS&4Hpu}LѬt7x&{(4?Y1jxrɬ\h0{ƱL蟀f72Lc8ưGnn%itt=о- $P,`t9MDSL6{"PGO@}3sl o Ԙ_e94JMԘh=0،^"UOmK<:DQG?&ê(DB#%lTZ"LJ/ҠO_!J2 x{OVD̃i'[oCEeZB;If& (y 8҆TJ`񁥨4Ly# E }-Cwa/z$P,=wxַY4hKB>T)+dou$bp~? ql^(l8 N'9 @[CD _YMY0a~H[}* f !coC["YEJ h$~EwtGÜ zupvqv֠\R]f'wtH)~cWD3G\]k e,zm^hHHޞ13dz/HfZpNh HZ3F6ۉ TTû*8ݼmk뀏\Ds-ʉ_9G-cr:Mdv=]]f)ћE'ͯL2fn $3r\~=%DǭjEi()\kPK S<`1fOtUJʬ6i%ĢHR' [4R DrffhBHX "#|PAϮHGy\~MVy2=^_C`U΢dLb*|*V9穬 -bw,9`Q[@/G8yf^ ^̦Z~U+I7:D1An&rG[BΖ/Xi=?tyu]Ä"A ~ʧbW)iP7輎6GCk}pk NuM-:WbA.Y]ɥq}T>~2<16ءw1o3[z H_9frz>U-(?yKsew x!xyBh1Х\bmlc),[u[GXZ8ie/0h}[ A0an.P\b aU|t' <^s(PҮ0* }kR̚8۶sJ< =_7%]CD'F/ACLY=:>g/u2 p5oi:,W5^Z5o'1v-a##A} ª*ijNĔ^XMqVy*u0J OyZ'ׅ6 _Mv3 ;Dt$3j=jIE|;? "pW[ѽxBiF5|cF0QmbB6X s+1Eǵ$ sǫ,_o,GGb$Wq0hd[58q%BlPy/Ү"(:.|M1gQZvBzq ~֔gs}: ̗ܵv~1ˮMuB::\vcy2HRs |;d?-`Ԍ߇ꙧ֥/ګ1ǴMVlE2>]:t\g!"%W'\r|^T4YC*cr!}t.sjUiNJH 6Ѹ*R+snI[\Yo DVׇY,]|wT1c8S!僫YBy=fv dD:yΦVAm[W4Îw:c BSxs`Fu,Q䌂=P#)Z#~ p>q戃cZ.G'RJOOD.ɽtϯ/.nV,zp@a?j>VTWIU>~%Y@E]UV%v}d+k`i(T@D}V(j{u!=<dZr(s&vnHzd) o]2A5?']$խZtv<[x)+kD^)=:CyfBKc1:,Guk'x F&JA&Ȼu{ G4HB?^K 䢫#SӥĬ8V @9^CE:On$kvE|*Wm V iќ!#tюwӃbF})o,1쮹'9qnSEutZRFĸ Vl!-"O)~P)5/q?8هgI(`o1(I;RiMamlw3E0I23e7{xi֙Mois!SSVUҘؤ!*l7 =wtF+)n=[vЛD_)Wͽq/  ֚vB.H8B\IL|cq G'S0]tN>3W YOn *jƎrtV_P4(t~mEdIUwB8X=-uf*;Ѷ˜I,K4 A|IP-_D2_ȪKj \]X'(c ,}Z)eIB1l*5>F)5/h_sj_AzZ0!xid k<#i6Y𡸠Ff 3XWu}ZsA\ _O1\)yNkdoT{4:^!",'gWQ fsUΏ!4P&Ռ\(Ƙ~Ikt'+XIǦӂ,gLZf01˪.k8ٱr{l4sX_ﷃ?ê[NAz:D}0L뎜V{\ef z26']=Fzƛ1\|ґhɷ&5z wR(.1$`.oIƷEOgä') d,ǽ(QIalͽ@&>-f˹$J | oJw .4)|('ɝ3YǤ!`E4]h;c߹ȺGIdڜ[=zg|4mGHjr[(N1T(En \7aˠhѱ#NgYbcH:`](rCJ:/Bߝ?IRW9lc#"εq47Hx-N%ǐ%|nU~mB,zm$|H%Z8\uKgg15qpfeB1 sпx,H9(GŮO 3^d7thBӭwZٻij/*f)sk*w  9I!9FX  I&d WoT7}1A|L8 HV[S㢐X77ۃ; 5z5$S*ڛpp\H '|^+WisuC=n@5Jѥ2?uG`˘= %j%+@[2k;4J! BfC fk!nPMu'RĜ썽~TA%a:6ÈGڢ$=etWʠm^\j8c'Zdb/Eid9V4M1{Nr|Cdjn*Ѣee! aduV6ۂETtz|Uqw~w8b&rP_C1I,Xcv@˕2jM@X(t,i#TT$Lv!&6/cޢP@UDۧ\eBu#qAplA+I{\2ڕ{H3kh)ɩYI#%@/ p>GtrzZ!@&N](u8β ӄFS7U,旞iH4V=,<'rj%2\|eCx ]ƫ";'3 $EPCۀrk.ىɆ@lW܈]0 F'Oލ"iyG\MNt+RCtS5L>I1lB1g3ו5Xwt7{o#³:׽ :xpUڊ~Glu>B)Vh8oQx`X5`y5?Xb=jH"[Ϩ2&K:jDpuGq~~Q'H4Gh$ N./d9zbߕb[sx)]<7PTd`jQ4(6q, 7Liw@i]Y^+yT珗Fgoy__<xU 3V:|1 !b?tIJ)"Sod(⏯k !}G<#e :v^ 0fMBfjg)9](Ҧt^ѩOe>܉[JA51Ùah=:ح9 f8-E;kĪs|XXb&5.DZኒ}ʕw 杹4{Ҏs[%7fhvS3 xX7 3%Ի#tif?[$mGQal#N]ݒu }}'Dpm9My}Vkk(|TUvj-*)%>mT*<=Pbq09i =zb]W=!ŎEᤡ"8 v]UN x3V|*8^BW<덋0&_xN+C(r,vӑ_xofY4IYDeScdOރ1h1nx^z \S.0f$3A eT6@mSA/m=‚"f O?ҋ3vn\t[;{kǩש3cyL9PmAU"s̴ Y*k֒!Vv3:U?I-.$yA˲,g}Oeo,0#wd% 9F.p 9^vQjLQeqK}*&V)2,~1klb R k˱Vo:C l.V[&I5e@9Υ)N8l>Ś͙aՅ1j<ˍ1K31]՘Mf3`Qxpq(%S-Yދ#k8t%]N`N:[?fgGw-]ivܔ? wjԏ`F%]3 |fyrέ *G5zBL*r/*%,Jma%%>Ǿ]7JD,ha\j{vͩhw7L[ּF7KkJɣN 1zq${O^B͉Zk.\ ߬z+AtQ"'ߺ?f2Cʒ9py$> uG8.`j2Mڦ\8\eqih鉷yL)h[Ak ~ެ4.<MkH&W#TQ̇ۦ=Ad<|F`ȱA"`BV_0+WTV)Sdh%,\?2!1v.cn )n@U:e&>tlHgbr Z&=?!fFQSu>_$t?o9&<a|!ҁ (NvNGleŞwaҢB杬vrcW_Bޢh_=LQ"qgӼ#m[hgMҟ"DawE>wY*Ɉ`ah 8ZG߄#'l\9)cQi$ ^o!-hB1(ldmuyI^D+a1=qnv;4jK"a u7vm qZNNxYZ4"X~G'RUI]\e=(T c= S4edG4Cu;ak;ΥB" s#OT7;_UHsPLFWAjw82ߝ9-Iƶ*EQBU)~s9x* xWlwO~r3? b_Y<^q9=/ء4jB W$.4`4mL S?ga 憄,/p]c~-?V4IYu 1TFøvp2l" KWT^*xG:j0M1z>e ӈ'FRy:ҺhrS߿h]Yr qf7 6gagdOF0XLEiQ]5@RwRpf2n0˫Jz2$ 1k7۫ΝaEE 1;jXtbYu!:PVJၹj(i 2Eki )_pD]j13(MцLg"4\Bgnjv\^YIXf#==RmA(.Ee(/)1Ɓ1>’ M޶x:GXIFjBi )O$"Z&NKe?.Y O ij#BY慢zpyb cn:to5vCg.f-绞lߕGdC:,S#i#@k10'LIMSecqMhY.S5ަw#+3\\Tٜr4p~^$Ev®&h"EyHfէu/#7J Ux v|TƁ"L1h2&哼ka"+ ¥pFt8Qj_ue<;/}jL[. ĸ['ED$DZ7z'#㣢]b?^ a3{/2'f֜,0_ܴtuP Rh&K >s3pUUo7J!F' ͆5{^KFD)oM&_ڷC/&èW *DCTcpgkHr+GOwKq' dB% `c yfVC~/pj c \[X"SԗxKpcJ:[0&Ct͕f}royM-d ^dMuɳ[݃c(s܁m$o9$`!J)?|R'=uŃ2y㰩](6*h>ٌ~XHs~@(c jl<ThK,P=\Čw@~{b^o~WCJl_D^)Cw7wWŲ(-n}H¤9^1S@?3lVC8kukq &?#iZѲaHQߐ\P!^q+)QWS}!<pC*9IpNIʎ$D>mdgɜB#rtf!RʌCEaH/cH~H⁍{n_R&NvYb咲r?^O)ww}3qsxDgF_t/f\X<1./\ Qk -\m,ٓ࿃  z׷i 7aFL*)7cZ}Ϡ?';dzkcܾJK SJ5HBgye0-Sqr^i1DCgx:272u-xށ6;<$^pӽa5L*1\2jRq[8/2`SmmTB,]#z H _O>ߚbb!~fràYd 2@XY% s5_7p<EXߴuD5a%ӡ@3/t-lOJ_bpr}8 vGj{dP -(qp&γilk4{kp!e$pzɆ\8h*5Pc p%7,g l/9=,f3q ;o"% g3' eA4T@(Bނ_ -(IBi}4O`!3[]^8+W26G= Iq}j#mIVyѰ3SNr~ǨМs;/5gBtK ZU" m{Z *kva"SL&/Tanª#^P @x1z8ʰR P9/h}R!&Yj2Q/Y .fc>{~q~\[Z">/b+09vdeGx;lL97 мc 'eƔVʶy [Kg]|Ɉz=1][ւԙ,<%}{'e#eQ21ʝIsEI(ծe?.dinN/cShXsR _`آn- JjrcY,&0)#kcskm7#E A82Y.n^ dv0-֙b.DĆL9 qonh_+L( 8F'`3,`𝪫Us 3 ؠ 4Q@GM(mŽEH~unLO\>dPxQ>#RfJsZ@ L w K SLx% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWw!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML v-PurePurePIDE/document_id2+u') PurePure.Sessionsdocument/latex7zXZִF! ]A-MՋhvG"uIBm5ȢED:FvT$ ބX@%B  y<œDYɠ5$);eY9I؊ܣ#fS/Uuq#~N*]? sz\ӯ.KJ7^?@~L+3,YCXj׉daɩkHpX\.ۆ ՍYj$5o r;q[F\0+z(>x"-/ba!I}%2~807hFo+XAĝ5Pg*$o*uׁaaOe8#^U aVŞZ?4aCf][1K!nT#") +#@+S/!y9LCsōzcrC?(2: Pf4f{ *L@E}e08yIzq7RˍCct_ Zk@b.{ݙ26^Bt(YJd W;^d%"zJRgombkJyD؎?vLaa]?z2z9}-s3 -u4bRSv˅m1e0qi E zk9?VLKZsh[{ @*to@X.Mr[L1c(VijWw 0!#&svk?w*n۱e8،TtWƴ^zgeNޱP4W[-UNn _o@ Lu=”* 3m%a"hY'bV#"5~,ԬD$u-kOT;GBVPX0W :irTH2I!%i|fZ'rO_h]v3D˙8n_[gYZMt'1RPurePure.Sessionstheory/other_kindsoracle fact bundle attribute method*s')PurePure.Sessionstheory/parentsPurer%) LPureML_Bootstrapdocument/latex7zXZִF! $]A-MՋhvG"uIBm55zaLAG*),d{B+E#=Ā ȡIJPBLLKć}Gx4ф ռB'$EbfN zRX"d\7J-> EWZM_Ӧ є$U»|”' ncy'.xq?|'=lN>,,> Q'VN"/pKsHw0yRn`8=dnm-XՑ_}6:b+,i.q'4--VYtח;F̶a7m \87V`BnSrҗ{5r=f]\dXF=#>2kV]'{&_-Z'1N< ̠ `z11v/1$d+*LG"Êy] 7Eܝn>ߍʜM]DTo0NUɓ#5f-o:b!5AeX\',NIgmv!\u?&e}O>/պ:C˖e8 ]'ϸ=]7OiuDUb4o+ Y&" *سUX<ӘAGnX{/Иql9+v)M1lH ON}QFc^6+3Eyқ"G u-NƎNY;2E,\!-!zdn~}DP7תxPTB7bմhFqczy"3BPRΨm$ A_xRՓ$O^ n7xPef[Bv)ctbԙL"IR&waI?۞UP3[s[ig>(9(fV_%gIU;˧'&9d9.yi8&Dd\l3FG͕#ltZI"Uչב|mm?_k0n#~k8<\3O_\Ti:#"_qԂwovX3. <(R`k,ٲ52heUOb9(+o5AacʍWu_nd)*"x O-"* GMD{sReZI2RdyL XVY U(JuZ2YODysܰLh/+KwK7Ik4@ I^gYZ aay% PurePurePIDE/markup27zXZִF! #y =] !M젗OFM'rq%7eE)4adZ zr6|[&LJij}o&h)SZxI~ƙ&_+[*ߓ U3 ɓ>4QIyj3`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'Sg:+(%*¶o[*jPdrт5O2XEa!}`^h]sA-oaL9N_tϦIC Yɉ=3 7IE>rMxNbD6g8c*^\lǷk"ȱe)4alS$i9B忮IׄA{`jYb1QC6 9UFG7k.3Qtt=1 $?sԗ.t=pK!md4rh.]v[B<ȗ@vc/  SrpP# YRy݂R.ѱ3Z8G=cú:l R֩‰}WAwв5n)e`_=s1Enk64x x?puW^eY3XcݧAk(^#^1 vhL0| v͋ZIHJpP/A!LSxXqӾ&_wě؞{(|f_`ks`1E'<}D97ڛxәuծk;hѲUI 5ӹgH.퓗=k ԩo(tnS w11xYbnr?1{]_  oĖzlLH-Sq@8W8q<6s:HPsel6zjK P4˥/"qpt[ũΒd}D2VV law6mtdԅRd ٘Wom&,f*| LMBDf%5֤pfvVXL3tbG B`~ N$c_BZJت3BX \3󹩁&d}/vY &/oF. j2̗0Z.)QHߜ-5;" g?VF먾T. T_0j^1h1LH P͹D1m0wEGԁ\h&ʱYy^3z>t_t`8bkMaF{zo'j_b3 Gʌ硣W@|~X]ː7 J\FO]༘bҸ(y2EX;Nh9y: b[R|Y:7i`oHOV21TG[Xod.4s`&CUCP\Ϭoߟ%*$36b/^Vn@=E276&k _JΉs"s7-zGf/o}\?Dڒ6O'Va+É-蝭\IX[cXf/w% Bdg!HEi GY 3,FiZqgYZ,ሟvWR+l_ߡqS2tEY ]i-Q'K1^순@,/9ZfWі2˥] 1f̏wƗTQp1f)5ac_n&?n$ |zA,>3#:LU֌Fj$xwQSWcRX(Pz;}9i3kY>߾d*LuhhODGȂ`ψW 0㇞*KDԼ*f} G}qQ T2o/Ώ ߦ1/qzAT(SzЧ'1FNCFp\JfFX8Dws!%hfi8͚Y?IzyGy"nanq&箆eVDZ@'#wݜ"35IRQ8"ՃñBVӎ3Ohؿ7ԒEjf"Icwo:bĿ;m ##߸Cv_t쪥,N뀇t߭kmX#۬N212=`uYX` Vrfs=΃rbɘE bT>Z`ψy? Po3ƠJ^>´U\Lqh,s=?Ƨ/|wUB ۶+iyXZ)GF{vP  -aViA~ U͙MR=r`W׬J ރH POLp@ͣӟ;O+!j $7w`]_{O!58vBV:؉:A"gpe sIӴ_ FvG2$ KF2u/C\wA+w{&h؝r=Q'-jt{aHDh!N_PRJ# yX]d% 7]% X-ڬq)6>zñ. 'q0ݍE՘W{;v&(࠿ZnJ ƒ+[{nUgR#@nKVz-]B&y M-V=*9{Ij/Sx)NĜ}YCWIOfIJ s*Kp#T.>$WRBdY3<[4Re6./鯽lG=׬b ̃߀~vn<ᆾ)N%of'%>o)s^^i/Pz/V_KQer,^\f8mn# an=mAu>ޡ쐖>Zm)64G pF҈3vc%6s>- }Ux1U:=F\T*IOkE&.~v]nFwe;&>to/+? N%odH/ yF5А;O(gN(܃7V:ծl KoY.C (2R$ݓj~2Ӯ2H pؓ|&.a$F. e&20x&_5<&VpW 7EaudIȲUAQJ3El76> U\_GV(=gChZ0c`#+_RpI)nJ*LЩcψaH/hr#q|5kM(j3W`索e('m)}&r+J8A*leu'rǎ/lg, `kRxQm3Ww;pݣYAipgݝs*DQE-^慯]9@7.#̵s|Y I.a6Om as/ͭ5P6XmŘJ'>_Nz?x{7hgϢUf{#}$R39A@i*cv@su E[]]A3A;a+])5&k!D_pVJ'%ltq.lP@is]{ؠUES)h \v/'NqU\NF4tLF-%FhMY4_ìG%2a \אC$t#7VtsW*MwTZp7NADwfHqtv"?9~W13%ɿd dOls3>p3,kYY*߰AzR0$*m@~lM /BW7\= ; ^^68ߒ }, 5[=+"K$ʳBNhkcKC#EC 9|e)ɗj?pO-`zXFڗY/ /?uvR 6kܴS铸 1 İvUGKCkԆiJ'Bh|Kq~8Yp~MXnp-v 4Id ed!(>k5Iz.N>{q]X~xkpuɚeʹ+~]Dٓ4VM/d`9!=,IY+> `tPr][ 3QD2t~7E i$øuy3%Yl4򼤠3!D$r =Sj9Z_υet˫-Efjb3Z38^5`[?i 5d_'ª![x#8(D Ȑ7*Pu iZ{R^j+ d-Ȃf)zAr .L+%"TxX 篓q ݑ`T ^#z>},0&KfSUOٮO"[nI/M;ވE:](tr˲$Vr `xkU.{S!~r5NRgav>>dލ"Gca+q9F!D*MՐV @oU6 GEh:4ڱ,Vߔp /לSEJ>0˽PRGD&|w2]eS[3/ JEk䆈įd~GlK >Z<١YP#3*eiŸpD? 9'K F-lxTNWLVcꗧcmfRB W0jۂ|8:m,?bRERrS9;A{Oȑ,9̆Das2tVO ThYa&Իg4cD?r8H \n$W55+닶zOm i/r¨ۼBkQ8:}1 UTXuF|~Wt`ys 1Q|x Wkв*^DE}DUT)1Mp\S5v|@R".%rɡxN1E~+ؠ5 $% bAcZqs 8qL9'P1BBm{Wڒ֪;0Um%!qz3/B`Ub;\o3@f,%AH]:؛g !>'~c;WN9 2SwrӍCPJ2\ƽkiJO)剕U D7p%إ~?e GLVM(LdbOPT̿x_klL|L'@?{=CwQUo3i2ɪ(j D, Tbq,-x:co#X&`i6Ry?@-~1=I>j+&2m9VT _jJk%N1e"r1ZkCtP-.E.o!fI|wz4ۘd"1(nwWy6p> ׹hWGFpQl6ϊy_V9Go4Lmpm·UK{t>!5UQS,)SOp+%yw;1[oA D. z_#vd=W뮷LR5/ķ`"d d,F]2x(x֭LN0hV`֌H>l`mo:`Ƅ|?ӸCk=XJ dPZ[O=B}>f?(GWi$椄$cO@X 8e]08IlΛn͏8Keo]c 3N$\c_Jfb5XGC Sx+sVQg]@A,) mb3 K ]v?1`OH3Pē34(1%B&a)d+c.p%)9'uDGEʰ}RXܛ@V Qx&v6D_ܮpyub E:t/r&Hp[?~[].ֿSPR/`SfڼIWGX^c pIԺv@zQR\֋{cB-a'-m1P 'Yѓz&QiY% O<%+b%k !p鏭++ŚOE,lģƾnm֥|` pg70.9q +׿ټ9yKl0 ) t%ۖnBO_s=EI=gQ!zUL+0wpzyj4P}A3gܘwT;oӣ8Ru5Ɛ;wgT]_ [Dq"kcDa'+W3<9fq^5ar;(ÓtЪ~4jn0|{?do"hpNQ!$.k:?q$/x|3V_C$9``}#z{0Q&]u0dn ;TI^?jǎؒ‚yЭzȽjB^C_Hx^ 5/|F2f;iB.W}J(r@7O~3DW4ҁ_犄 `ivyH)| RbqNʗI w>ho#9}+Ps%@9ޘU?}`gH緟`ȱڈV =B2+xvxwh&g;ǚJxQMrs~J98R \BcbdU{sj$aS9Z|NW Ԑ;9tT2%j4(,?&ڮ[,lKShM"lEH2f䜛j|W"WQoaN.9Iȹ@3wXq̛;u:b EHlڬ&Pơ]y тD@qx ]sIfǁXp#2ݒ@F\9ҭ@t"D~˵<$fXM{ɗ5dk6+rO .>"%7+ZZɚeVZ֦)nÚt}UW\4?  Tkp_=DnI|IF0GgD/Bʔĕuft[1f[)-l߉Gj6&U7N'ɤ/P/S$DJJTJ)zf%.[1Qݟc V楠7o5Iufi.1rNGHZHi`)/am[Y{-, ym(/3W5.%I5lwNTc'x,txP}b!hϞCBQ6_&:4Պ# EȀUPH?/ hp͗F_wQ:h#̫5XEQbO2tw+tku& &K¹Zr"{9FTeH P8~;8yv"OM N].:3)HߔΜ/UFq3FVv1^+KoK +M`\/~&=>T1nB^+&z˵[HNI; 'ƒ/N pS͂G9҆nKgq#$3i&^w#I:Mh 0sfd@)ɖzxJXhCR#8kgt(º;5 5YDUKDzz. |)ak_+:1pB!;a4lu\$#5兣]rUb٘qP`NpoÌ,`_F)$!-cg |I6AGItXmOqLh]@+8%3 gՁ};r1Vs6f"P+k+OOY9y'Y9kM])\ɻZQE\PvFxɛؓȷ|/\ڜpW+nĄ%VݽqB3P{$_{4pf~/U퐲1p2Jv:t/软]a繉ͣO<f,XjM/N3;9 }[0 CYK0ydŰhP[͌͜^bяuEj-  vd-{5IRWi W#% ]&`ލչu9W.{)ZUTQ e0=?nȧ[eĜnjA\KM'0jsE&6y{+.1FXi`l#)(((jj@F_ ߁d7;jܪP`Oe'!Vx]K(6ZUU˔?Z[`cӕxMTUc~hhH\Z;.Z3_FOO;u?qkѴ A{I{ UeGAhk$0ٍSZiR{G5cyx pR|'hJs@$Xr2c 7ikz,Nۻ}Qf0`’C|ޛaz~4Bz}>ھ[!HqCX'3ځ~^G`kۀOƺH0{*Guim7w )Nh~jL@WŷOe[J..a'$m^<.XQ U;@n$7f̞ȾU'feV(&L+'0əZ8벓\iy`$i\Fr2j&*~]_g ԊK:VmfhI#R`WgUi\vZz ] 0dTՃ9:n ѥh{83pn$(>,mI.:5?L.i3nNru>]מ")C(>WOVf_<UHS{j)i Ո-]- f A#yZ! .m |灾yPJX4Ӆgtx@J (<Өuq+3\u"w̥@' búv\7%^p,(֠9" o@֮Yj!C;ķx?xPv~mlGߕ;pPU@f߰YQ",r,IѪ}G;2)4\9+*v)!@9q%[܄(AÇ+1s7P%*[R6Sc (*~-u[xFVNO3tO wY~ӢkvCt?'+aJa+Z߼\/oiv;fG;5؉B~Xʙ>=t FF)yΏAa f[NEf"[AzQ7-t'ؘK{ɩ56FZO4lf`xl >;Ffd@ӿTr[D Yz̢p)!A2C=WqS5(n,Q~S"*{ehtV(/me=MɡlW>ԩǚsKɖ9ijz{'g˜&C`lj4Ĕ65r jԋXU"`6Y@;ut݁ݼFokl͏2pQѧ>$K6Tu.PY7PFaHYD;4(*8In).;}L8ZTBsYmHRsG/+ES}ψפ8jA 4 bNX E9̡1V׭q `=5K`"IGmƶKW1-Q{h8qks[DP]HnZc|,fs'J ǖq< VŖhiג  zc;W{ o3SWH0ܿяny.w( Qeet3} Bs|WuR%G ukgZ&]V\l)45"6\,7~'Z?@U ]kB1t|" F NUwx{@*Sm^},w=əOG-n4%7}y݈şQu;Bsj{RRCG냪46rPxixzD=NY8zOkۧ|F^*5Q/r(6`bR a] DuHI,Uz` dtkڡ to\<ʁVXTFxf]ʭ#|]9cz"LwiEv!̓xyA ]d!ׄwO_Jg JЌ?PsdZ*JhW%B˶ {ՉʀZbMFM@~4jU2Qͧ%QE, qRZ|!J-٤(PЮRڜ٭KzP?U e>:VyB~w@UUCMS+l؈C#}/ VveW.jMZ69oҶv#̸'  9Q[tg>}EX?;˥"&uíٹDW$FF 2b g ( wQ2W"   ȭErڱX=K4A`C鋥 in~#PC.m(kke^ӠlbӨ:*R7~I( t `ZcepCUZq*/5d9= dj}|MUJf3vW`C,D!u t]J 5i{ױ(ZI=:sA4VHh=7n0>k UT1VkfC`—ryA2TDxJFfCϩNF^m647ZBz AR5aI͇pR͒~\*Q[i_Nt @?X;ޜ7;OPQ ǃ9M>!#"qwh( rglڈuԼC=ԎSU`RIz qaG`1H*ٌi0>oo*OBtCA"JP}K8mISЅe9€^Oh]>j,GRL~52nOMܘyXL%m-ůaa˾m Kz_A'S}WUϐUj yM|QSzzl6|fK/m-!]< a|7g[ T.K %}dc‘eNn7⋑sQtk*~ Y/J"<2mf$΀F?&Vj/0pt?0[LJv|k4oN."F֧P|=W`;^Gȱ["M(T:6Oգ4hm6 n0=HܞuL`{Ճ C`_YѩcxhL.@ UܤMbHe 2zByHtTU6ұIb5Ш8-g.m%~%hzwEJ ٠rΠQ !KiD:I76-*kbKLWVa&zvUa.o/(G&6^g=t9\~ȥX.?2YeԵ0.];[N=U7!QM!ʢDyt܍ %t2 |hѪYtE4'_, *J =Ⱦ>㲖B1ʑ<g]=5T0$[xȅSL+A-FQz q^Nb}gR;Mm/[㔌Z xgBqgqS_gQ/O"^4&擿ꭈZ 8J,N"B '5 W'F[t] |$ ,^/l ˰앷 ,R\l$g(Č>#q,4D_>g`6O$ SOpj F썌m4#A9b1`yS_[@Y NuVG_\A>{}=L3ݿ($ĐztD< ցa]<]aaOMlwvHTl7FY7bE>)p5^-eF0'hPT 6>$W!p[iƉB?MX[XYl>c2eLy0>XWr4PX3sYS%MSb#O(huXGכ뿩 r J@ q<ٴysA &|i")B$/.<E<=9 q1L6rX[*Λ2Q)E!D#'u6pf7R6vO6`{XG0Czu9G >\g}!ԦgS{}f0dM֑Q$ɻ}@Ǟ6"vB)Fh2ݟq+ h! FE{UrmW& _R^Kտն[Xs>ȕQYժPW^~D(Ϳ]H6|m߫ % =V8/dҨ0F6,?UJ1yx@,+GvKy)#Ok׽fTL ezxO !iF o'M18[8MȢڑ1/C2ܷ,~m*׺EZ f)BP~-I \tSNDAeT r"'BiL\QRzroש5jR}$F|2m[A>kgO ,FvfQHoiujh.Q@V僆Z) PkLퟒߞsoV#1 `;!Fc_7 < eqQ aL}1k !:pg9`tW hE}z"riUWV򹩋*ش<"p {}*/s'SMQ|6?fӍJ5)=Dۍҿ! ?j 'fgHP;ΠJ,(МB8\@ 1-3%@(nm 3'&wo:Zj4#^FD>nBM-?-`Xh\ۻ[X+id`xWI4~ ֆ?T X42~g*%9nn=2Bsȸ>_:BmSQF"">>Eq^?-H2!xJϲ⍘>r7_L\T.t _vHhWN?6mh:@5H/.IF_䁒+򦞗 };/M7bZӴz#e(+n vP&;p, ĹyKyOlyY Z*vHΑrqZ8F' a"Q@ȭߦ 2vJJ< Wkup/73ߢ#'0j$+.8^ސuDd$X̫P [t׵|Rtobslz%6%fe>>X_Ë$eaWlp夌t5!Oq{<{|O ?*?UˆIFQh p؆Z짃! UۛshTW2"O&L0d٭G Pk, Bm]rz]eV*Ȧ|:Ѽx/~ޤ=fmfzsmZ駤+AF\B3x= X]6jPCHn#i[ Js9<ȝ!d3)aL$l.Bޅc6`!JO2̍8U".ȼpڪN8abBފJnF6/=%Pӵ=Gߟ(v GMz"D=*h._,[9foH];v9;a5JP>4 k[Xow̷݇(#U`VRq 4 TR!nR~q*|d&{ n \ˁ-Oij{:@:23%ȼYTq^M\+V3zKVbϘmazxxʨu 9Hކ5BOVpwAI- FՄky=tkBm8,i8tcyP˧Q:~zU Li0Ḧ1{(tIn4HalOƾ)-i ؀ҫLE-" ǭ@1cMaq#^TbtՉn*FmH{C6|GcI5s\]~fngS:U>zd`U*n_J?6ˮbg(E}5"& W$=:&Jb ާML  ;Ai!zNct95b$z(q(;[LaeNRq|.-LA, 7I_ s FO+|9qgu4g0R ontK+uCC\c=P Szi*TRc$~Tk(Vh*x*\7M]";`7 -o/U vb2wDr2|畿ۭ2+9bA٢`(:B6J40 3Yz#-BS><\AGƞP ߿#WbVɱYS &A 1ɕr u?8!=&Gs,kyрKTC.9Vʃwlp!劻2"pCZ]jQ )33îQDdqJZ9Kb >"4Dg _5y;d$GR*< 2mHmo pOx 8LicR J( Pu)\bRt^$H'2K[ аӪ-H> p?< tfbvkaxx w )4&P\FX O1o1hȒ-6Øᰕka.=^k ̱C sRA_1u[[M"fH}%" *28iFR:|]j` F3["j=~gfE%\(f!9YWJձz7#KkErj?ѭ 6(r7OU h48rʕO׀ްeB|{]  >`q8'ѹ,N;RIomU. 7պB|^AɴB9YWIb]/@c\S` b%T?r9:pD:n'"(Ӎ[))ִ{ww5`NNYǀҟk\ַ4 Hm$n~>%Ca,H?nstAa%L#<e"5uw2/~?3WK ͵=MuST?`p\4p@gzQǵUo{b">t6SHm%Q[?""EQ?9+J6tWm"۱k.4_mMM$uO}iq|=@(oyW{;@KZS+L[w#+Ԃ>L珜Ec+1( ñ3ʋv|"%~srl]mUP ޏ_j`{ycjY|(4cubπY/%U9~+"2 V/*WcLLW1^<(Y4";%c1L K xv ء<'OϑLW1kXByn`W扌e4['?Uٴj<2 q<)CKN3@FuH0P)W j1y#An@p" 0C%P0yye)9 Yd hQ ͿLoƣn/n.OC wwL^p$^Bj/!$x2pXۡ;Ң 3ׯCA{Bogδx3TZ% ABodǿ*Dc&|ujco&pp ޛu§@pƛ@:G+L x] uFqcWB@ClBV%NqvINk@Ѿ )a.aI}?=y4 gL6.;iDy1*iosڶ&9͗[J=%h5Vy;[zBtDlazEpYΩ&BELNS92bmG$>uKdܗLg$ѡ`(vI?0*Ň*p_` qg)wDzA܇pggQSl#|AoX8mI ;x*2rg tc;bBXodDJhX6FT@a8 L"J,ı"Ƣ?H -+#p/PIP=2H#E!^Fam3`IlMLr{}'׽Q:mxYxԡBcMc[ EOC+~0Gbd6)XfJN02kuml:+Ђ*d)1{B.ح[v"AsЬq^(NP˭v_gU c@;B4׬_ j0+eI hm0@JN4Rk-o(0N{rC㐱c:#󜴎[b1*9&GJvERw Bbɥ%oKOCk7Z,\}$Plj}cS*d< r0[9TN^b.98^yaVBH@cfHOICf`:)/͉B53*Gƀa4pzs535 uv`> N"[b=+hD_YŅȃ)>W)14ȷDB:H|eiV&/\٥i 4M=5 z(VNk ;?qoQ@Ers ~?s;b Zp:ed^-Mr&˶'^;RJ& 0*^x%OM |})nG{V(|yET͓u W.(PM>%{wgA/-9xz: 1botl ˷2+b>>bbOr y'jiIIנ5c5KS{+f0ZK $ U7,.Qӽ?3Dq$5ѱy= Zh~A޽ۅWSmS|ou6kyR ]eQ;4_$~F}J+$VlaJi ik`*u/rȿsQ Lrkxuv\w,/dz2!>遢/pj.GsZjm.6Qb:lqvIbz$.{Dżc+ժ }qh&,g#w7Mn?dhgmm|㽕~⧍oaL/LVP|8E@!f[vMOʞ2Y=*GH5LMHQiZ$TU7}Ka} ~bnin-Z6M$_QW*gHNh|BMf:C@IK2`dUKceYh:!.սvbA.'44|.)=&;ayvv1y[d?d) qJ@z_/ݮxJHrq[lcvȬ_&B%~=db-,/'`18™2l_qRN:hS kAam&0>`>8 dσRCFP5f\x"Rvɳ4~eբۮ 1Ia|rU5bu @rr_V %,*uɟkݡpAAe(ʕep@e9K|kOҒJT7A62W# 7@P Fze>%6I";҇#nФu޼")C\_OzN`/gI' zC" ]d0š`[H[d ?zQ8{:z=]J4cexlHw@4\d!޵:kG(QqI?"76h(7f9ؙR>X7T>>sNUlu?ٷ=3ci{Ɇwzo!zt|u˦Q'\*[oquBiǁ:$`JC LZ&DGv>@AM;Hjgd}3"90gpW'Z4æYf& UְVƘ1u3DP}%Y4p(<\?lsǬ.E{N\6IQ5kMZ1M]B,C](i*|t$y" b lV RM?N&cP)+~-{<@&'pUL5pV͉[j)sR90v Dh ԡT*{%𝬟ic]L9p! U%׃`lWWPRTPmܠqL#\MQ2#ŀۅ2Rz?SlY*1eL Q:!=ϔrW% ~1 +gׂޱ_I!a?7ZQqE/Q7.娆3W$5h6i @S~UxHx]ۮA l$_ېSEs߆ou3J_Jwmɡy`gCF+BR_`b~K?N|C25H[/J$E"V[1GXG "+{)k*sbAz8m8k*֜fʳ<iu3ZƊ=N2ô{SC;Id8?&֓YR`gkE3S< Nz"t'!DNVybO _ڤYfk¦0#e^e1,FvR?C=uzCBp[J 5P7!51jK13 O3 npK* 5fԝ3D]T$]?rZ::T6w S稒 [ rMw@Alxooju Z(7ᥪ|i+O%"@aS.l( Wr(r<.'a1NsDzk63vKH?؄Wyf+f"<كfŊl`t\{կ`PwT)Ƙj83`m|MmZv($ F$p.5Zh&#(LAJAeQKZ`Ձs5Hg6\Y-~MvdZESr"-C^R)r\>Zw=d<^fH~A,؜\,1&N ńc3!|b:cR\xgаŐ*fbpyu= z @̫Jn ~P8)U<8ai\d>4LHO݇`P@UiI\HҿFJz{]fNk,eb@66JIm},[ |XruWNEG0}ӥ 􀑗«aao?ö69 8̉6r$J7V{VUxi?64 WuԚ T.=6k5Z@BS :FalN%ޞ>k{PFhyrj˭s:D4{h_Yd(%Ϳ_[ĺ@:!?bOd bOÅ+)Bn;6$/mB0 [[^ ͦt~?K{hFX.wwQ⅄,bc?~B|^B'Jh=EG~\\SH(QKhN/yńeֳ`?\3hxKzsCjleVHcjepbr&#m#d/0.i=$B_ -Zj91^zWw`v4==);FoE|uc_ T"[@%)PgsCM%^| ۲>:ze;f7RhCpbV;7*BbQ|a`SE]m^1D[FzAT㵄w:z8^zp$T%nS0ۋטͭ}A+S gF$lfc7-H' &`*mϟEN}DsRd5+pՂ9X.FXHX ![aPOj 39Z:j"v[+*^P_lh|: 9N$Ó%{BILoJ gd]ske:lMJY75:ўwmT'Ѭ#NV"xoVĹA?k';t#I "!$瑿pD ~ ҇<_V4ঘ&Yk7-kC+N{$ 1H&DԟػBE^֟G ?ٱ-CbHN >翃h*ZJB2ܯȌ$S!iBϾl{V] v}Fx 2ƽ,J^O0&yMXr@9Y[ {}ru/;Lt<yJ% {xbض2V~d}Lnb%#il6m >D^_aTRdoӐ}ȚTwdRH|wRܱ/={U5%2%2-,-<2-LJȸ1.Ǽ’-|k汣sNirc]Uh݌$m;*vݖA}Qӝ^X,R 8&@["^|xC.< |b$шEv@۹n,jBLfX9uj.a+՗j ׀ ɀz6JMą&`pQ}ՒEz(q-=8_OuG I -ӯӎ0")4<-A38እꢛ6S#UI//U,]i+b5#tH|S"pKX6=jdQ/:,Ջ{(mCs (I}HTC M~q|-BI9q6 VB T,m| ?_+ 9}. GUm)֙.< {'vhmm5׳[ 5x5bmQ'?Ph o'_uDB6Ҟ?z.s>rRCO7LEWn!,{`Џev oPIgl /PhKxM7KGKj4icH:cp E.Һ!""%xC*6߈ߪhuUXm`|> O}0\VG[[M0 e$t ̼{qRp)=tamb0$-`ҧ |HۓV6UAM J  43"R!=K?$ vdd"Qt/m>>E!~G\Dע2rtzo9xB:BPߝiaxI0>n71@R*xኜ=M8kŸY0ZOvec5qIP q" M.=oxPFFPuQ%<&6`WYݣi7P4Ya><كιլh?lcB 1 x4-fI }~K/-Fr ASE]>p1兿uN/ { gV@`A{(jկL[00?{XU_|~Y^ ]76a ֗^v ޼F7`G]N,%bG_7Q}ꟳpx!C svh;̻aĢ ![ % WYz=wJ)@7Ņc̣U뙜onVjZnm_wJ'z[Hے QWaKJ? Q#~t vPO(&AGShL/m=,=5u{vf-]Fﶂhɦ;xwJy08yj@4g(3t#H7*HjfBJ+ Z6GT|}Vi ō"~O'O`G2 :?z-tAOі-L!*L2$abBxk#ymL}oN^Z{ڏ$D7^6 9A%KL7*D8 ,voh:ᶬlTIzF:OD""xMT:P?;n:YSꁙFuÉn]qxd'HL]8O-ȆvG)Z0\O")ND7D.8>x mt'0ɇ7˸+E+;JI Y~I7I٪9lgWzm?>ZgIhVbIKsFuZSЁmC8[5qN|NSD p>+>1(f]j:jQQCTgh~#/a!_>|?lm0ɻ=M^OL[9>Dؔ#}okW#X'*VoKAЏoqeh{y=$#O˃[F"M&?}=OjahCwQs)JTևe5-mSl  N3`q ïwǰ+c\N ᱋JU"s^e\,T5GEN'&D}wZ8BTYNʨku=^ ?oX'!Z&X6 !dsWϓ~K@.܉nxu3b%R5^;Ka:w\$QrFnj~7/I*N@wP%E[Lb>u4wh)曫42ϝw 2~#fpF :Cj [F*leKoGR{s2QmaqF4H{ kda!uuO6@- 7ګ-ΰ&o%Yjh06i} a oL\sU٩ Lq N-2DRYemEIܐMC fQE?ԊK< ;IYzYu6i1;_" pX(Wìж>w3e)/z|)=, !"KK6Ї fˑv>Δu1En",1(p_6gj=%d9jKYIo=)[&dUIHZihœE^l*N}gli%֭D^O[~B 1Z0zP?o&v(FU؟d( xif߾3|4gZ8O/^ ^I[QkhW M0C:OUwj7|6s˴41m V)Ї Qr[OAFZct4*i+nh q{;,ڿ1 ;dmmGR m0Nل.U&_n6Ww$seJD1,j m\#u5#I-#<1-**zvUoq%ӟf6qbX_*ӭώh5펳ҵ+nf9zɂ"ԶXze嵁5p̿:0v1h;Z}sΛ @P`5!UY$_D¥q˛vDf9ͫ? BCH9@B>[e**9&6oTӲ_/A?c (r5zG#)Hp7KM9Mcxy5˛VlRX4IOU cȡt[^/~:/` I$BvqL.o4 wK\iflǺ P\Q[=&QW@`H¸eIy-0])GVԡ,r|bG~QU0 [Z/ ,餯dpֱ@XYnLXuyЄ{9W ۏT%nR}(. z0 :rQK[JDZdk$G]]ψu@,KLi醳QOFG25tPRQ;?{ 4-KٰE熋l 4zjNRׅi%ݿ/BdS6 o eƇxϡzcE2vgj( V@jK6; -6q>Cm z~n^Z4?ruD>9z#Ni:$3Ms+ 6+Vu݁]/H|'D^JpͿf}0bg߾;ᨪٿ< v_ MV'VdM ;zoBaX?׈dd"% 񰍿_nv?v==:8d_jECHMb7 cFTޞ ;MfhpNs/K$<| 0J׷Z;Lq6|GK-8iՋ Jaۤ#Lf Ft4y2"+PX6v*ine rG>3@n>;ACf |VO vvL mT}/AqM*//ZKƕyJуPN?~J0ӹd ȡw6j uo{({C?Cdɦ+:Y9Z\#uҍ. D4GR6+!困 |L5Wmhз&&ɩK/,>0FL oq|࣋FXBၖxn!1k܁TP(՝޸lM \ExGX C>cP,¾q_ `X4b;!ߜR-xmQ)`Ӌe͛#u@ffrmFŮx1%4WCH(AD7i,0ɂKy>5?wE&:Ѥ2 ZQ^I4]ܪW1n}t:a"3JgLϘ} ǾkWļl:$2PC"6q-iᘁsЦd1eg <4VH4Z;\4ar/kbXCVfD6_.`1d$ۙw ݌;Sef/R~͸]HyyJXXIʌEȃbJj39{F`"Q[UF"!ң n}6hy;!B8cΩ) \eY!b%zL5La,"񳮔5&/^mG'uX_uϯSeZϳMxy=@ϺyHYp+_3{v,ک(*zO8!! H8S!6Nުo{ƭyn-×YYIoPMB&iŴ (Ԩ>3ee]cV竏01d?|0ocaލ9L!n2se/i2uvGmGyALF(̕4n!oD# #4ilgf>9&g#氠;AO#,E~^.>619g| qeET:z3\^VwYM8ڢQie&:CcsB9=ɂB0U~k'p UQ!W-) +O'd$U}YP(ٯU mʸ|ZaչۄmڀR*w#¾ %Р?Mku70LzZoa!os%G;翙nz,cV,PDzhIO$> NLВp}˖W.u %X/P*hwOٝ%9GTo;L{-V-.NoW&cS[3oU1N^.:;\7?,?ˀ=n7CT_5%i!$=AqrAFYg}_lrYv[r@J19g7CbX%^MyɌ>p6Tdii/}㈈Snx~L L>?t2A:H)ܰ IT-Hy+c_y-,Q"ܱ#<t3jDOg$m,CJXhfRIAc-C5iŠů p95$mh CGQ)gɛS &>JHE9}mv1ٸ |,ۦ6V}{Y:dop!d9NiD 262Wc}D/hE۸l#]MBX gNrh1(-'Sl1P24eQ,ԧZ }p~ТŽ2j蛩/s$Ey|Db eCţ[\PH8'jmNP!19*e05N{iO+ }[#;Me=-I;HmCU} SGsH(=Z>UsC(=ao:Ad J @]kw Ok@m4M(3$cr'lyKSP#O>8^S{Y}̶Rg8ay#-o ddaI'9Rl]q1ca)h%dլ ?N:B-fsA]{:2Iۉ{C@Pteg=p_B*Lt;J l {Y ;9UwӰ~1ywZ^|g̟kcnahp~v '%P5`7OCtCMs" ~Zz¿jf^2wP5Q7Biq6%ّ{ O+Uިotnm AF^&Eۅ i[ sKs}ݼ4\ Iv쉸,pM޴pe0yr">5~``\B`P26a7_~*×.L,glkD(kLKjof!ߤ@ Q 0=xPLKV Vr&`?#PjRrR$$i='^D+ΜR)|eEC:-z޺t<T3 ?F8'~H0.·7UB>⚕2B ,e1gTkZ5~)3PM?\9νͫRt4w'kd<+T wR4 9\Dg$yό2;<`# Ao6}צ4!48h?]!: \>FuiHl!kmX8DSJsboyrІCm$SFɖfӟH#ao1=]K#.GGwOmao_=(R$$caA#{ c{&X[;Bo}dA;ЋRVBntaEZwےe 4w6! (Mm?52veBNwnMm qKn>ϱUL6C񷙷҉qUw6zZ='0[r2#ZqR L`lp~ .na8!gYw7jQޚm/HSg-KMdҴV`̄ŊRL^@c;3~KQ r%# yu mE-Y(B,ddΒEpd*>:o8r'9 PW+"D:n#QadCb݄?91>XCT 8c$ʌˌvpwнe~ Y-d:f`v1 0C'*he`-ﻌWu׋m0THW` D(wqogxXe MtîEu{`41sX$DBQGLZtbllBozu& @,SKg n&pQUImPy Bm%i/ʕmUAБon~krAey(dt ]uH8]GUIZ8:9ҫ܋$JqDk]S>tۚxyAV" -jǵ࿰>7 Qv1REAUyE_~Vtb !@d%9a *O/5Q#*HgCViyi+уf-fD^_r*w 9e{%LÖđEuR%LN;XG -s2-t|E| 3p&Y*7ŃrLʏj-pi v<> }%5W9bjn0o+o볩YUYr Tb5s—pR640՝\SWJM'VPLӑÏȖ`4|1{Jf?m`(6`A3wN@ x?gO?h.1ئsYGG>Ҍec:zP2|i?j p @:0L񮚱]؉: ~&zA]= S9Q6$ kq'NL_F'Y1ix4~ 5 nZ$7dzCQbD6"n%ox JQ8,%|2d|ʹԩ u ]~ŠP3\t1y-H7lg@e7RQYrChd-Vlh9-V9 e.;@>,0VL1.ܩQg՞4HyROBnßSFeԳcÕMݧ"3Vts0KRw{/Ao!3ӟkJVNq-w.gZ% |A9FlmY \xoR845yt0)-θO!({\56fÏij80CcsMnm hdޔw߹ (D+ k'^2һu$ŹHnJ1v*P &SߣM׎NxS$X6 ׏!nVԗaB' .@)Thco,Jk U1a=X.J؉Ĺv4Rh ` 8^$ flR!Pؘ: GU~6jԟ"PN0rU/ $#I3rv.dz},-gu(bs* \O(?_>q Y? RZk1c DVf,)dWpGm R*_VZާ7iШgV|ұ6ʈ)g]u%*oƲuEcyZ\/kq:*pHvksz.' <0idO6l4wPHk A~ >z#Pl{jw$EnlzS~]̓g/z|$SlDfmV&sfЮ'~-yx0HU6=TT ZmR>q~6^D+izK\PG'WU/:s-JE9#7ճCÌv aN@Y!Y^M(f//d-$z!퇫_a!rݶ_C "pp tFbVo ѐcPK-O2/vS!hrX ]/BJvqz* VD20CV^=?fjfܫLoMȒNA[VcR#ĵ :!̘HH@g{?̌mX܌ p Zr5$* $1eFHd$Ygpc {#=!eq2~0C,(xƊU L60Cy-rZa }N/~ +gù`#* `~̽SZe/ p{O%?n &i, ҄=VI ^Na:)JW*3$T>%+wI#~OmpVm2bd%sΪ )!Q"5]f6Ik?o( 48,4Br@`G_ Ej/]/3>֮U~hz<^g0<'ӋR߈gU:cC6;Ғ?λH\׌_(U[Ytw'kx@+B`H|[qCz=ŰKm4K]b_jcF ի75:^: &ޞ 6׽?RʝlM- -80Bs}L#D >xz}kk[ͽfW9lAit4l;N5\P0MXxF@INҷPD.ty{{U,n{F~`LEPܫܜ"BŗD6]Y3hN&`TZ<nSD&K5^IvQu<= .p)-S¨N,;q:jNTUSBYM0;`AON: X5̚"1>-x{ g`|p=e xp҇>0M@K::Fȉ+`#ٯAnjHXٺPݚ%KqW%\Ac$ɧfh}_ޏ6EtB'ăA̰w^b*z ]B+ jqi%^Tz% $ >ayg''.O\R<1n6 `xm79ÖrΧxK˜lLWt%t`a[zk2V*W$cJ6)sBQpz& mBav!8wK4{oSzCt9}ԙ̖mLpSz ]Ě dnj :#ҾG 3o|k SY,JF\G u 'WlwTT(j*2e9.,q''(Љ]]Bm,U cX#6|<P'zed!-ţ+8K m,7{: 5!_A/5s:YICLD9_}V$]-/fDm~ؖfPjf]vnoSjFfŐn(DMy?U;ֳep| .耂)GU GMNݳ6̲C`n4G ۞i+gDl#&x9:c(tLml$Rze](5-ZY)UnXT#ײ>}7 +Hx]Dm1.8[d'^ܢH)=DP#37TLǴjU;8Ԝ;nU LLM :Mʻ(qQ,xLt20!W;X29z%?4Cqqd|#aڼTM&~pg* |L,l/u:2QLYF,:Ynx:PTA `]Š2NYs:YW#(UՕ):lO-vq!t!$CnP"Rr "G8Ɉ_y(reO}}y$eP@0a 0 X'#ND'on%}tJlOyqL0Dd-pXVUݱv>N ncT/`frQ| * 䃅gz̢V@`"L+,AG^˱1𓘌Mj$lSM [-&ȠO\ +Ґ4"&>}\Z]!grWr2C > Qµ$̴T ?4AY H@6k &8"p-iYo*_$"lmDgp<"+ΠdD^mQ}NU7meXA>+F)qMʝMcFJ@]=؀EۯI18;D@UcTF3Ru&PO]xI`Y30.AVY|t_oV:*WX:fv'UW49_hqqO8lJI203׿8 }xOPE*|f(Yތ] -G;6( 6G2BO4ĥAuPD*քe;IZ_ո(sI1+Ӗހ3;(=W:_\ h0LP g:G]/XH0#4MFLl#.M?vK Di䂐7u(32oZ fʲ<nPVHɆN둘CDX5n5en [PrId^r:t{5࢜czvl|VCGV}KY)j TBۉq6@U5kpGRz | .9x?69oYk*(@{cao/'%>1E)f4gv9p YuC[&Dz0ʱD΂v Ktƺ?BXH4!&<6yusŦǦJ {c=~*\52t`QW~Co/eo3U_mR`n't8)0WXd.Ň 5><\BɗҪs7j6r8R;c{Sp,C۫#Nz bja$>VL4;Q}0Y#kģSGyc_xAo}53HˡtOpD7̥"-7 ;I CE16p-כ35ȳ }F`?^YxLMYͅg/* .̀d$KAc7P.-(K De, HcXVתt.-n8ntCqFkTf.c{pEv؃g^̲ G녅[M(3Sy%)\\ 8Pji}QbA:XNtwd"aMP~Ʈ@%,9):nj#\wea/.YSjLI孄~$BA7DnIIfM2_熮CD81HM&׋!K&T}a?|Ƥ=[٫`+k3dW&L9"+ľdDY3eQA3YKx *P$F`X;Mr kLݶ 8 |2;46GNrxM!o+~GƔnΛfZ CNkp˵e0{dd,<KRSՌa̠}zuh`DKyszBInr`z= =3@%̙bS% "Q_oHv߸ NhK7">Yl{^j)C8&Y/h7ph6gnTWوO+e WY{(IJ\UY>GȞm1ɡZ(%t)2tOvZm_>8ޢaD$8R݀*6kxir,O/lƆS'} k|]󲅚Ն?ad_<G)xFe/aCm]"s˰^W̐Qxr_8fط7QwQj#Hfϩ38\YezTéK2.pf ݐ>1Dn{ƠqPe4%qfFK 3ah\pvey$%Hl{NU4͑efnxng?UtgbQa!_R}㩌7uHd+\9e_'G[&%kF 1_T9@S‰e +^[bl% txX>OcJ0<+tɿn57ˀo>=I1.؞S@trŲ|'@.mgVOzC< sd&JC"(HV ))<[k~]<~1?/\-hg+ =%wR7bDk\QP'Ԇ>yV~} SJ2!%3N;]>A6@sKg7 o<xQ;n'ᕧ[nQon]Ʈrgٻ4:+HmN2Cu;+OAbsKlYB~P;Fc)Wt}Y 2~n68TE5?plÿզecFxIO~hf;u덫J8mZmy#gwmAANּ7'kōMRTq=&Oh L_>I.ŁQBc+%5u"3h7|EpCXP62Q:ogxn#t\ ۳UӃoFuTmE?N`}$[㜛AQϕD Lizebo;%y:e[#'{V{o|5H@HGAVƎ kv$0ԥB1Lm\~@Cvar8@M|( KƸP{PW%n%6m|% '$*jRϏ_Y炇ti"GIhiߌBcŤz0=~cm)R?:#U "+) >ηx=b_F-~AdtT_\Cэk62TBYv\y3h^ĎzKE-'P8P/jUBZV!C偬+Iφ]$ڈ^|jc'?2frV~~@ 4ke=Xm)HVD(KgnP9KLxʋzp{5 iMBV<]~l*) }ܿ=^XqF5DxHK՛|A cЇ{l"Ƞ!uC})jDkܔJ+SZgE;Yp|u8F!Z FJ$$h&M2W7›%sPcGtLNh|Z􈤽 +U9.Y{=kRq(ZNHj=Am蘂O4>i(5vr#co1= FqAIJ N4dIb 1r˗e6~8{%΃epq@ -sp0ߝ ggVnjIg7䆘MqnCh{68lb]me0_r"XɎ5XufVEr>Xod'{Z;w|[#X*41i]EqCf#7_wXҩ4.7z#0@y\c\N]s&\Mz-O1JnN9>qAٞRRRC9+k &S]IWOW|b4M&.`̢_7Nco2VڑE(.j |)+%1.x=y`q#rx^Ec/^Ld&}?~0=tQƓVxۂvx,;#Dϸb̌nYiոEy}׊L_?* ˻D 3D03nAs/U5#D1uU`ĥ 6) &rk* ۻ#K$2?R^9^Zyʖ9lӡL@<Wm~ UPύ$m0bz' dBD&]KW-; q)Ǡ$͝7L} m6m"\ej-haVNV:TN`T?մ $d<>nmt QN̓anڬo2)lpƲ{Z}] .ѣ}hS@ēPd$YnˢVd-/\ :sP[eKYc}<ٰT_,bTS%jʐ4KmS, Ek sֿ>cV _egAWrA 披E? .ܱ mO I +G-k1sEYP[scxgr/>:P@Ih'ZcS Auu]F6?iGT}8M~SKﲍ41q)Ӵ(xƌ(;pi$r Ǖ}*057, N [2RozNW{%/wRZ):NBR-0Zm'XX T/SyZP ƲypL ω 6JAj;'&?wmKv[|n-πTB-FZ%tNɞxN^,"T_䱭͔OrFoYS=hʹu`I7|a[l hSぷ F(eK!±(@  ޜ y>:Gu4rGD/~3!ac682mi,2Q@.&UmcvԻK.N#!jPK 5J{fFm( tҊreG릚v`bG17w*ZK[wD,FRT(NO !3ޞD*YIJF[VgwҊf2J_& ŭ$I~3q#.zr cS±/ }ȞXΪ+*$Rv]∠lA%>j^jYNTXTJB'^ 0r>ga מן<s8;ERIzxLdA =ш° &ŝ ],Y (|gj~rӫwq*⨽%UK [KöQkiJ3If^o xM-=d5 Ds6rRYYL,)wb(u|ȾBGڼWn80 =TF}8D8CY,4Bbi0=l[83h88+ɷ<脨dCLxC%uˁ`_#gV6FPf- hbmURv-7ģ6nQ$?/@_w!|!Su{ApEyef#k4́e~Hzͨ] iUú@B,Xj17Mm1V|S 4r5ʤ!d[fҏZ91X;aBt1k1(9q4XW>ʙp!+^+$7}UMIZ,>qDG;6SzIoӳ1T? eRUQŔUgΪوP5<o'V+8Up8siVC!iyLh$Cz!lOzLhWFB8.S%{Q=1‰fY{DKP>.Xc2JZ>dAU2~5!|8&b*OA(!U g'rRh.(`Ը?:Ԓ}J|ZRrJoamdnu+їAD9hnxDOWf{1w.I Ǽ-m7=u-IJptv`tƟHVf%KNK=φ"?Mkט7}t'>[YNIזI%T{0"V<~(Z U8"5,0a`tM]W*y<<jV_cj}W0%*eIZ!=DAgA1) am>dT]hְ| -?oV.Ln aB-Rp-')|7rni)Z %~2j 5Eäɑ;HJ-xwxEtP 9 +cH" +uuWߢ^e߱.DAuz$чvRG ?^wAeZ=&Ĵ=Wp4NwټȨ4ߍqCdD&]d32C~J)sė?)Bkzӑtg=rI(;Th /r{>%f|UG1cԲ._@{=y 8?OMm3b=}::.D9Wa}Dۃx\*O7AɩO2+w yN;khN轂t4J 2!~[\ʥؠɼ{`^}o_k!Ճs"ذzM濚D5) A9?~!{¢QS@5s/hvNtC_Xf\}A^vs|>:ZD| r"@+)^}Fd>Yn X6!IӨfZaZ_F;$-qrTw]p Fv>p敭6 HėDyi7CI),dimQ8p,]X'Xc?|xhkTFɛGAE\n5Ϗ_39UBݖvoD:4W5UnQ#AaY (ɝ{@j()̤8y }m?4iKpJLI 0&wẸw/(5'K;LjFxeDjP=Ad[^/+PAE%7ے/4%L83=ټŵӵwØ6AI#nRmsƶ12rl{Q>Y.ÝoV [E$nsZ fc%X7i hӶZ <β}*ŷ -33ie?z5zi|2h`'b˻â{1ESٿV*5<3xeQq92ς_D Lqt"}4ʜ Z]31bAk߮M(*V>$%S)(im3P#uFQFRȘh^H& $m}ZS4‰$r -y^NtN3%X0~)ӻ?8o˞9߅OR~$|RR?i;'RV&DС~c]z:0As7Wf9Z"Wk3'fR?y:{.{mpPb)A$51>QfN)luCc62= '^ywU I]1Н٭Jqѵ2~E!29,摸݇ a" VjNd EJ| Υ" 3Hxy>YuXސB\U2,.K CV08^" 1 p㸈0yxǠ趃zª!%:ʹJ񖦍}^G%AeA4gf|@0WwKeʣ8N_ l8Bt.RSɺ(qMG@'Cj|8D+ Yq%L~R{`tl4/8"8`{?ð~:q7>ɢ{ K\i}*`bYMKJn PُXrdCTtc,Pwlz-xۉ_K}|s4/W.Q8t*oܠiC**Qc6r/fjٝN$6tZ= irp:6K#\Rjڀ4R|ްQKxsKϸiԫ`rh@[Kz~]d.Uhn.U7b"5X)󜟪'Y6A&axWVdΕZU}WMЏaDCGccb &F&Z/ 6KEuqm3M0D hA41~d"UO- j# <ͪEnF#3{]<޿<ݛ̖|64rxmߊ)E"ryW3V"hR^"P PqvY= &EfJʻw1V4{b/{8nDJYdZ,%G]N[E*BP(y ʼnn1. wL2\;0YZ <|%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-15c840d48c9a/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4z # \PurePurePIDE/markup7zXZִF! /]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O fK}Z#G|nvHYdv˿$r{Uw}J[]t eecjFշ8 BXag%LۡT?( Dd/4w4% 1%*~Q?Mxzc 1Wա 6sh#pȩJY1XCoc=u4эdK Po8u^F1.jhf38 ,R|! QkHÍ#iϖ>7#LܺCmax|/3} ~ &Z DʔZB *PQȆmeQ*hGKŴzr!]݄l+z޹N"P.u- a־Pu eP3C*t:^Jwsz9> Ko9YTЫP_:IoߞŦA)׸Zkt_'5j΅`FJ|s8sXqo(Y\P8%N50/bӁ7gp Kd])(]럲v hB)1ArI1RC6d"(q2;zEne-́lp|!#vΕ`yhxfI:$$ezѧ"wCﴇjt,v+ҾqE2yqo1S4fP>G9{;oRo?kx vD;A4IPN(hK I3 8N@UXy %\j> &{ rQ֣uUjFD<')-.Nr:v5@(f94mH#1jblL=$[w_+at"W&TF?=c.!IC:d6;v'b,D1<}::(._QBf6fZ?ѿhlwvH\zDbԉVQB Ai`JZP0r&}=ˊ)5rn!KWdx߷Z:jAX%Έ0moN\;jEEB^o":-J9jCX5M zcF|oUW7>zNRmx]$V%)#W+4bױBf46?~JDhqz^qD (R*ͧtg9&4Uy5Hg}:@{j\>r JJ:'!YGD7]c xMTWȣS*#0 e:Rv?idUFBCcM u?bEB%ƙ!%ёW\°eC2<]6䑻CsQ V͑%&A[JV1ufZ|tXPDzlMzÿ6;m4X)޼N(!&.Ia"E ϣ*\+N2ܡe.zaoEhDũY2̇^BQ$mY?GB<?е> !#fɜ 'yR|1}g|Ϋ_OīdAX+aGV&eּkhcuUgwW(Ĵ0.Yg+&s 7ud!uXM^A(/}fM5oi̱j$aٕh"$!4f9lnJқRf Z }S4IZpSg1h'5n"\Ք3 Iʕ6DlĢ)eu] /-q Dl+w5]в&oDzvJf=+W9jy}IҚԒ^qչM+p*O`" Gw kO-3bdb'0DtvŤ!:@m |ȇܸriYdSSʗۙbny:3RZmX+sCl{F bMw?椃{SƜ7}(/nFB˲N`ma^S1 τ~~ZMc%d]ӈ=Y o1 3RɛtIfHuw]kZNf@2 YF IBFenb`-Jb54w>O'\}4/ 5eqcEeT3y٘;gPI`2g\ƨU&sK2=9ѩ 0WOF?^=NY'>xf{]V^01:^X'WSF=W誤 E_8ˮ#:$⌫OADvL0Ev˓UǬj*1wc)}%# tPureML_BootstrapPIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&r   Fk?GG"f:?}8>x*µPXqFO-UujZ_:x,ќˢ hxY!N/uUB,kZ!A^}$/쬧8j3EXTVy|b8D~,wb!u7,g -NF%WA؁=-ÔRzk%ҘAAzEK̰eguuiI:* !GW„ HS)Sh8i䎳M W.ZMx|2AUm F E7, j&$ ZZ1 V+Ub9rތ]1VJVț"ge47tk9= ?OBO{*aln"M{Hflc01^E)-''cyV<ܐse]4˾^*e8R YL ֖yu*ЦpK|a#At|cr%C1h2x>Q0aQXegFv9QVcNɣuʋ!%pG鏪'aC>8PѣT3N /m Yh/FpP]}(ڣ.d]𽅑^*i O^P3sP<,cHF( ks$,G6 tQùCUjgd, 9[F~Z3bQPUXxM~E3qƨf YM\;zֽMIUW 8LTzdb"Kf1@-L1K~i* y54w)nB"adi2 T.m6xE5'(]+(P "Sf J{nlAgŞvHQ[OUUmo1N[[T&M'+/F.Xw98G+lɥy{^n ӵ` n-F.q+.JxsD)!q^:@xR@!Hh?Ɖl9<̻^vE=o9;2}Ɏh"lgX$b7֦2q):5o|K%;`0 bsQZ.gjoPk q~!#Á3ǯY~J {}?OqC2=tG4MńoO)`D 4Mc5t|j4"SvTp[7W &?͡/UY)]mRFzy%K;Omd-*̯;%X"7DUY{D}gYZ/tJi=amm~@i~?õ;2UbUY(B3ګ]VcH~&Pծ7 Ld9j43KxF^˴zH"pY͵(z-I'm|鷷(/Xڨ'L ĥf !aJfсjI"q:%ES5^Gv{駀=hBU~2 4A)x]\NzTp TtuKPh,mnv`S"nٚoC" "|hpu9n@;IڋsQU1;m𽌰 j9ƺ(xkFȋY\E gbaE53YE|pərxaF^U/ޘ 8EQcSQA\i e9>́ T\G]κ-$a~-.| JesL!װ<,Ct)7E'Ld%S?p_ƺ,7i**F^,!ο/ēo؊Wv$%V-k> PVCӤ8%QD)q~[ nm{tp.IU702qW2>42" iq+J/)3*r[u qW8~0*\y$cFާ'NsAſt o`CMb{1ݍcA _̊2`^{Sr:EeT.i>Jɷe}6YP}qSj'DDXa&YI`Ώȳ[aQ0l [Meh&Ԧ&Ho ZJԜUvkal> ~X[E150GƜK e_[m+7 wqWGO[E롧ߊ YސվrݼKFN'Q hi 72ގlt̮ѰL6W)jx e }_Fߝ3+r}XXȒK..+j^:ݵb!{ dD/ )SnIpHbHWk?5bgxvUX׿tj44"e(2%Nt=&cAjҋN <5A'g/VuYBSLZqO۳7C(@4"V̷s*<GpJ #byc bbMg1`])G&]u7QutAt?麁oRUkj,pfkyEoX溯(Q+SA$O=? ﰏD (<}Dl%0+](yG(2~@w}-)7_ m#7vV)xʴjz kWߎ:|&Ct!<4u!uWx+caRRdqq^NpJvf{pe2(x)GHn=Nǃտ6%қ]a+h64&@dVGV3Rဠr@A9*f;X܅<aNe EgHhPeFBLx3-a oxdo~RMG4q+W]?sl)@`MN6xSn BQ/Et4o=ZX9dc*A(δI).,#]#RQgϢXD,yji5L[&@TV!O+_!%E~-my ]x(t3IKKbP;7 -s؈t\a$E4jͯIqG%/epi, <" 3y |8j8z {:i|սJIXӂfW4 cFF V$ ~a52V]ꉿbrƯS·iM #zPqRyἶJ]kkS?QT#K&NuGZOMcOA/&aKg \uVygAke|^xoI#qzsG8U{nA?˘Njb"v]{5n$EC$շr3Vr@&iG-t ϭɤ ar#q鞻Aw<58:Roe%VwsCYS*p׬w6ӗZ?q q ~ܩvlBOa*0W_~w55$\/=X;ɲ6Juc/u m|HL#'kXۤx o&1-4g> on,ꏦ '(zH1W3Na3 R|8H%P֨ѭ96U=CϟbWJM C˰3 Cӿ>wTБ + |B)@IOZX|8m{ern,j<9S).gYZ  '' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zJ X?j~1^YA#xD9ף).A1*/zd lFmBFСVsu 1 i>qO`>ռT> ȱgYZh'# PurePure.SessionsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3-zڍbVX;i{SL,wtD,2\b6ÆݦĪGbzL N巅3q2\ [Wgû6BApvi9 7k;>cxA=s ~Ag\raUG"t'iai uE_g't 6 i7x 5I`ìB1Y@Ϳ sҟ*X:8k 8J۔Cߥ1Wq(tqI#yY1XtQ@iWb[2%sEYR$uffPr{ǵeqvSlڌ|9HV*GBW{Wl ߋCz+}b o51{zOJLQK1AVȾtŻsq]z)[3NR@6'iDuM=[P胺l&"ġ[K $ t