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  Qp4d ] ]Pure:threads=1elapsed=2.964cpu=5.672gc=0.0007zXZִF! ]ŗXiɟHVҭٽD56WMTD 1/ʹÖVX+CGCTnhSJlxCک}1Ayϟ -jw b[0yKiWkBf]ŗXi%%k M8C۳d«wKc$\^w) )+fN GW68wi_hr#5,f̼~l*fd(l8g⩈0EU|D7+jRQ~-# ˳מ&2:NdZ}&}@.6Lx×#K)o(Gz_J#Y f0j Ta9pr<`%SL(.|ߟ`fhKŊiY5 }woC1Fopn,ja_{c~Ʌ_rQ^2m#݉q ]ǟjS}a4 \Ό n,W"@o Z68b}wN.{ȎZhDu2% qh40mrq~w}H?y󼱠F>X(";~P$ j!/VχL$(KVds+,mz6l\mitX 4*}ԛ8GXj,2AKw -ق|K#[Gey,۬t@?f'I)ٻӎ`N-gb)[1w/=*DNA>"gE!rS:$` ,Нg7{]Z L*kp=g8FNʎ -< a5euAŤl3Y2{yrDm ϑ+|jܿYy,ٱ>LŶiaЂi! 1@ma޻.Pt8+0$q/@aHԓLv1~ux@D MDYXѲ$)Ȗbh x3kOƮl@ǭU`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/44272g%PurePureproofs/44268f%PurePureproofs/44264e%PurePureproofs/44260d%PurePureproofs/44256c%PurePureproofs/44252b%PurePureproofs/44248a%PurePureproofs/44244`%PurePureproofs/44240_%PurePureproofs/44236^%PurePureproofs/44232]%PurePureproofs/44228\%PurePureproofs/44224[%PurePureproofs/44220Z%PurePureproofs/44216Y%PurePureproofs/44212X%PurePureproofs/44208W%PurePureproofs/44204V%PurePureproofs/44200U%PurePureproofs/44196T%PurePureproofs/44192S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44002N%PurePureproofs/43966M%PurePureproofs/43962L%PurePureproofs/43960K%PurePureproofs/43956J%PurePureproofs/43952I%PurePureproofs/43944H%PurePureproofs/43926G%PurePureproofs/43922F%PurePureproofs/43858E%PurePureproofs/43854D%PurePureproofs/43852C%PurePureproofs/43848B%PurePureproofs/43844A%PurePureproofs/43836@%PurePureproofs/43832?%PurePureproofs/43826>%PurePureproofs/43814=%PurePureproofs/43810<%PurePureproofs/43804;%PurePureproofs/43800:%PurePureproofs/437949%PurePureproofs/437368%PurePureproofs/437327%PurePureproofs/437306%PurePureproofs/437265%PurePureproofs/437224%PurePureproofs/437123%PurePureproofs/436902%PurePureproofs/436861%PurePureproofs/436780%PurePureproofs/43590/%PurePureproofs/43586.%PurePureproofs/43584-%PurePureproofs/43528,%PurePureproofs/43524+%PurePureproofs/43522*%PurePureproofs/43428)%PurePureproofs/43424(%PurePureproofs/43388'%PurePureproofs/43384&%PurePureproofs/43382%%PurePureproofs/43380$%PurePureproofs/43330#%PurePureproofs/43326"%PurePureproofs/43290!%PurePureproofs/43286 %PurePureproofs/43284%PurePureproofs/43282%PurePureproofs/43280!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|%% LPurePureproofs/433827zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0^IT! 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/437127zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/436907zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR~|RVɓ\ <)1̣-ɦC3agYZ1% PurePureproofs/436867zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/436787zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A@ߴw)4Q ;` ND(gYZ8-% DPurePureproofs/435847zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1m8EG@HgYZ+% |PurePureproofs/435247zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'i#ISx! 9_` VgYZH*% dPurePureproofs/435227zXZִ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)% fRīN <~gYZ`'% PurePureproofs/433887zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_|%&SA8<;33R]gYZx&% DPurePureproofs/433847zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&܇=Q#C-"NKb+BgYZ  '   jc1* B% PurePureproofs/438487zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰR뽩uL'@_K0YzT :?%aN HagYZA% \PurePureproofs/438447zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPYwk@$.dBWFO agYZ(@% $PurePureproofs/438367zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%q1g!?|">1hwY \gYZ?% dPurePureproofs/438327zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטͅAI#݂V`7ƜSn j;8gYZ$>% PurePureproofs/438267zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/438147zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|P<)0|z=mUPyST[WQs7iD5;vqױgYZ<% TPurePureproofs/438107zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*p|ي y]j[=gYZ$;% PurePureproofs/438047zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/438007zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+Bqen^#U~3TgYZL5% lPurePureproofs/437267zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lM!9"p~m?y*/Xg|F%7g*Dnp*1 gYZ4% PurePureproofs/437227zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzJB衏Tz7;'ϝ=v5A5/% gYZ   /H)*IQ' dPurePuretheory/consts7zXZִF! "]a0{rg+5\YvCunR[E4.`S4]NwaUDaΣ;K-Ѫ _ʠMA0-P"a9w3>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-%M6ʰ+|Bq%TjN xgYZLK% lPurePureproofs/439607zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l& /ѫ}!0%D(#zOx5sY_ÚgYZJ% |PurePureproofs/439567zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛʖJs+c;.\~u]0%&+ ±gYZ\I% PurePureproofs/439527zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zhJz# N%n1TL ?igYZlF% ,PurePureproofs/439227zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/438587zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoߗUcR d5q*jĶgYZlD% ,PurePureproofs/438547zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^:̓ȅ'q8>wD BgYZDC% \PurePureproofs/438527zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z|mfzZDWnЅY4OoVfp6PAHE c#\z-|K2gYZ  8 E8aatb% SoX$`gYZ`a% PurePureproofs/442487zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_|Q6gpyuֿ"]gYZD`% \PurePureproofs/442447zXZִF! }h]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞]ʥn׀20]"zz29bgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/442327zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/442287zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/442247zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/442207zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/442167zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/442127zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/442087zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/442047zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/442007zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/441967zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/441927zXZִ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   ( IW^`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/gYZoh# 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ԫ .~SENH(?O04y-5C%:A֌냶xL,࿙`#r M|2S ."RՄSE˔SF*7a-Z)ReZ-e >`06ﭙvDQGpIWxt˫'[ps۩%ŇZm!i+7Kjeܵ>QJnƓ4'q`~d͛>CS 2J)khJ*exEЏw!%"k ;`@+9eHѿ"K :psn7OB5]heúGf{=[8yIbم U7z)jtYnG ei$Ԝx%W2<6*a#W~t}pjg֑{T: Q^)r24$RL:K5;Tde2:sQ营,/mVo:{_td. S؜'f,B}M)Dw22SIpk@7NQEW5%ө: TSFry_.숢)LzL&F @gDwl-:تE~΀XUX޽Pdǟ1G zH^p,=\\ ќɛvG8C\ 4:5 **Óz:ZWd,j*,Xӹj:GpA~JkN@ Ni%%L16|@bFFTN6O>_WN;"q#'2!H"y{h%x(7,Vnأ)Z{uxXѥxJ>hN^4&Ů/A3ZJ^:%NҫdѪ ST=@k!Ua`սoin`͚sǜ5Y} n欱gYZ\g% PurePureproofs/442727zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoߙco'~*j; @PjĶgYZ|e% LPurePureproofs/442647zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gjpj@SRe"O,gYZtd% wR㿺L k@s1+;NVds<=z >dev~XAmE3e,vSpL,tvkMʥly%X9GG=Q -H/l<+F@נ֮-ZO+-ɶ>3E%f 2xmb鿱x(aeG`]l1 ևZ().=CB[3sB~%뺄wz//4>=k>Sp| '\JlR4Ŧf`kx ZLw9jR8ײ$U 1"Ét14p20˴\/Ox9u 9xUvNKe(o>\qz?.͜oP,Be |ϧ+"DF^S^.swc1BMi674=|+*Hބ$nEXƵ% IwmО݁פև 8A2U_4o֫o(goPr#~c dtGYD?$ u>VޏgYZm9 |PurePuretheory/other/attribute7zXZִF! 7]a0{rg+5\>7yc3®vnݞ,u:aSRP9˙9{ bOվ[@ ohl1;BplWwq5l͜'-]/ kKvŸԤSM \]7X[">6 ojvLϑW+fL:w~p PuڜYҭh'nLd4WIi*L_G`hݏ!73F|D@N(l g褫"m!Vg<16XlR ;dBK}-[loo;?LyDb,|mj? &2 S6nh1_+/e_Po'O*MCfUq;o"k$u|#eO`3 @0Dlg׭%ؘ| \isQ! PW+d%sJSPP0CXh0Te6 AJm ]ML :C !Bp/.p*Wz<޾GL*-y#95Q..s&Pnl|r~XjKj׮qqh͑0O}}M_\3HKE%h;u=LVE#<ʏ{&Z5?H=zd>9udR x?ҦAF'\V-GH^DDjP`~T1\X* 5ܟ:0k`N=D_1@bl !rTRp(cV&&9@l|/y>ȡ4~t"^3KJ%ɮ&;_|k+,/cx} %tAcQM*i(E~@dNVT3,_UIC/_ىRyᙘpTh:+Փ%fłt, )_;8źp0#x33E83XZՠ EIs"PQVj`;}dc38m/r|z%]4q:G^s[ng,tf.Rُ):V3=4HX^cV^V~l_Cޛxc5Ջcl1K5 5Ps. 訄G˲ BHz/q>q~)~16GqC5(O5U$S5"I&6ME[d`|#up )!N(ƛE-wsj?i2/oJ]H3I;aiN: %wې4HX♊#F-38;+6?vDj5< yć,-qHGX eѕ,oBܠvs0Z, 2=t,DD&eZP?/*H>`I\IZKy⚖~e9|V ~X,;"9l ; RgYZul/ 4PurePuretheory/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ۑst8s۩^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱`( hDYS(E6nn1A{9!Qͅen)H_~n*0qM*<I]UփONd,8@40E+w#ȟCJ5+rD }!DwџZ.A $ˎ}-^yr9}x e =l bc|C.py9p-땇f*V&I=4vkC"xe g9ē>;;|X a N=,4s5am2 #L=hx>PKUWKdwh7kcsuu"]^x7tBu bATަ*FcʂʏZ-?蛕TWYYYW[s3U'nf3_y2$ޤ+wEv`UF,NOI)\>w6oTA/!?瀼Hqdb`st@uXlܺ-ȨjfgLPh*yv4&6m{`֋!MkW bF Ai? pR=B$ 0kPԉHgXOf:'Ӻou"ɽa[@>,ŭ(g-|Q-wc.+=f4ёmnXL6ӺЮBfDú;Sϰ~ݐ+SLnx͟ 50 Wx<}dj6dMDWyx0/m œT*>x0 ܡ,P<0 >mTÇjj[@!f6h=.1Xedn'ֈOW؆o,Ex>׳v}(k#_3 %yaoC'R_zJe|"O탟0-ŋ+ŵfNC[lf/ URFLV\1V?lJ*q;&!©&L&%ϩ=-Q"s}(~PS}]QE$^teٱJ-arVYh}CI*Ꞡ3ZpzQQ?!2X]`!#)eػyoW͒5%q4|fP‹FܴH{T ٿ͝vΓ$XMBmѬ5b"lVc{=pma7'~BvD1O79`MϾ+#P7/LhK=p#76P;G ]86M  q\)%ЃG X M%_'):}EL/ChDDrS .?R-mjWe8^Q\֢%:AfOXZ' 񦳝Ǚ-"u`cD#v(UjF NQ* n7ڗ$d[Z<ٳ`;rW?XZy垇JCd`JM镄jM")@fKKZ~4trgM>JDjcY m1.$d.̫ +R`"ه9)cփ{/UY(r]~DW̒ >CjnjS*_'>9_V ?x<㬪&Fڒ: [X% 3A(K[J줁AoUAk51|Nf$H <*\oMg~WzZ(<.<6sA V !+QT̆9Dn>v Qt5}xO|P( 1r͎W&?(rZ7*YXt͆9.A5u[ZX! d׈S4rjů4=W˷pPws M=>hL(*KxG.p׉E>ycհT%:B]v !sNfTz; V r٘5~¼uŦ*jb^[A W^ p|aܿbvKcŷ9"K#mo#fwC'X)@TA̸-< gd}7W)!8=fDf!3@ɉ<c#+w O(`1 QI0_ vƷ4G5L|i35!{%TǵixϪȀ?&rl{hk:·(h2:]#izTctA~RYjWrM".]^R0FUYXˠlںHa\v&lWvt8\!P`k8(foH,15 JӊÓ[Il{}lG":ϴ v9o8'̋} W}spq܈5joJ}OǣӦN@qPq-2xpi΄]lDPn(Gc-X"ۧߺA,1.10wnyּ=PA֔O(.#"tcSb {vWà9ű?(j>зͰ.\@,O ޻O2 5`ww=Iy(m迥rOx'_|l2H IY*J׳:jaԤLT< {Qe ̗Mg2k@zdJD*USyF&CW`W5X\AฦzL[e\yAˎIi7s8B [75p"5~z|ϘJ7?Hi(4ȱ($ie32F&սfұƻfQmb"ݸ.롱?6`p)HzjAsqкW#,¦xBnj,SrI#&|ǤsCO2CHId)ep+n]Fnv<:m >U1 u)иr2 :g Wn*YzT`L*"Du*҈/`q, s=/#mq'bzN~81͂HO=20nk B>$s=4VE{3\HQGwVy~z DKo?*4Z5}yo"c/4$M<=fNow jȚ/̋]N]#OS9+Gcd ELv(סYتg<#[tr˓sI~ lӰI1G/f}7|G9FGPwΜ9~&.l vHZ#Pcn^+$J,{Daos;{9m8!OWR>J-HR==[ѿS jǵjSyҐYdz jr㍈Ivgћ"H}9P윙޺X"ߵtˆ3MA&dIZ_ UdYui/SܹZޛ"+*ˬc :2ك,WԠuoziRsI;0yG=J}W2F#26QZ?pCqiT>4EC \k`]&ءpn 56h KT߿$*=U,#º^Fp3M5Sr/k~<)2K`GOjJJLw ˙qPXolݭL"Р8FBp |1l!U{Ui\ N]tNnjDlo~|1+)՛\lJnkMY_ R;aN\WxvB/i= l>bfwԂ\Jdӷ*aL˾"2!*#N ]> nVG'Wϡb B@0*],WXb>Yl-1Mau'1 +jv8NP !g z!mF{,fxa|VCM2Y O+ =iٸ"W(dDx f)0lqL|<Xұ]PRgZ^Ws;΋ɾ ?ʬG"D6 {"<|h!ޅPUzM]hU!r@ .oSۀC}AL\ģ\q+Mo.r*DdS"a7g467ʹȄy,?^ӃF; ~|/ƃh~Õ9C:e0\U/TFV %le' ?XawkknSR9~OMv=*BILkxeVģq&GNDkdBcSl1{>%M'h-l~0FZ R콪U(YcIԁɁ稴k^&mfCqbyft\NF/9$L 3l\^`]J==49Px=lHbldr:ZJڄ* XV!&2M˯|iD~z-<4[9B5QD)]w3 |Km 3[mM@XB88+-v"a+++ҳW(jf_'pURƒT3$wg>RH SafწNLw%OP#RK$h(#XLG(r/-w~۪jkI]|XF@=*Q}AD56mg .011iqGV,@ Tp;c&ԅ֙aʆ'w=[5xWr3w24;0pТ ͗6V4.HMNâˑHuƐ䱗KKɎ)`Uje|%LJ3+OK >r\ [b%S$\ΎBS [!~5؟w1HDQ *QhЯy=:2T(nhD) [u};3\A8ֳfϱ.R4w+n9b"yШzүG*g7'ؓSN{]W- t} ׆w+1F GؚW5FdM("S>ii┦Dٲ 0~-8SHo6CGXTƲAQ%2kS﹨a# Dc* px h,AatOA<Ї$֛F!UA2qZ~{8Pi}3AթAIق.2bK+i!H1^tKw{ 5 ^? RCwʍ0O=*E彏28XnJm\Bpf/xәC.krlgV!9'l;&p>ɈZʧ 8*ky&(0r^5&J|/tOȏD^p)0$N_4:RjlG;Z0V, ,tZJnX5ppJ#}H:O]q]`AaeOr NdٮKOC "ZbDӃ8Ktf4d+N@]:rEMkpl۟ъJ~3oESMZ,G$17\-BY[|I;DZo(uNet@L:fu<6x+2R#" doCjEn} 1Tvv&0z7ޟ17K[f N ;-\QkY쿜ȥ3Jӑ /ZQkFc4q%*LD Du'n/br#ۧGkC Fj+ vu~gaCd*@Oz+)'}kQƦ]5shFVT2ս Lq;tm҇^$asZ ;_(> L1}PW%Fa~O]c6 r6eP=fI .&i;yB(> ;Q3̼PlA ~xJqz0T*_r!;F @݋~À!6mҬ>ܔCAp\o6#I8 qC9$ IxʻB<u=`6[щu cn=B0pSB>ʃRZ &RZsӰ/BŸAq%*Ǩm?{{P[9ejm@1(my Pf)(g hG-.Gz->FPN BGfM$Kثƻ8].X+9\ n%WmljV2!'yZ6д!GlBivbCeV\Ǽ-q ZXzNI+-BMfЖU7JJ A@NNsQ*vP*ʘ"uH@K!fbqԠ;mGRtOG vTgšPTr ŦM:AB3rrPn~u WQg-fu&i=4Pq3.hų#'J;h ^c.y%c Nmː)| a}/o☟^t|ٚ&ePy*+<0 \7I%dwH g'YvK;'M\Ǭ9=[XF~uZ.]8ɒ`@ ~^Z^8J9zVn A*Ifn^S.G\gnx-qQXBb7hV%аW{`~0 ϴ!I;$Bɂ fb~ʲJ~4~ĉ;[)IH Dh k qL="Z5Rr6K q#y>z<Ī-J4#Y]!͊M<̐S}513ɯiT'}86Ӯ"cJķf#+K_PMg\[E^mI`6xjbl<|vl ˾}n8Zͤt:"o7TEO9؞]#D\O&li:ݿ qMfc`f^@(lfX wT ضd_e;;]5pfuƱg`zw%-壥7HH>+  \A ~]7%m-wљW3qgĴ:,pY,qSƊ3ZhC0hH:d"4yjt۽2f!TzúY^"bΗkÖLH6lN-@ȔM0Y&,KMzT6A >UF, o>'c :b0ȧZ:hR^#-!a]>_}BU{w@<ˠb\ehX?e .Ą;šTk2Eb|feڴAHg=I&J.(?)٬Kz( }k%:UޖNpì{Y1КKtLIˆԘ5&a{?\w#$~96!(K1-:^ooe5u@DU M):IL72Qd|A ί')K5ȸ+ֻ5]{oʎ$.rmm:۷]Hosڧ irS|iIz!>-]IkòuB}'-ηj96듡fsL`2eES0) qkY;U\*uYF}qJ*Ȗ ѣ J`Qi$H9@{NGzt.? Mh9Ty:2՗&)$# 1 ;,ƷG&KTټ&$4cY'P|sHIm2ywa,O eHJ6EkT{x7;xUyL4ړc+u.i,˞#qBE[MLAU,UyExS.` `t˱Mr.kWrzRPS%K/grBќc Le5)`mg>?^?B _1G1mjj,q+¼xLǣ4 t ߁=¯84a ki?t-4et˂ߊ؈\(ڭ7eÝߍ`UAsVY8-W8ƯBEhN|T ny=' Vq8 ꍝQشU{ti"(U@i.8p%h %¹s7N\{%t1lgLc_o9isƵ7p-+E ,R3rE s'8ǹ`R(ϙ +Âs7'Oۄbr.|9I_s5SpneC] 㽇 n_mZ9ehPFpƔ鰕`mz}Epktk 膥EEK7ϫ[smp%c)\11XJn6/]ڄ/!-f2R΁Z7|]kv.(gK"Vpҍh0c94QA2єۍCF֛ K+lZ#!BG vjs=x1ol%7݉(ilL=4-Y$26|ʂ}Ŕ.8B2 Jf~!/0߇1é;~4 8wTg<-z`O#6ZܿK/v뱌g^'[AlxEf C|V-t%3M@u\C$~Ҿ٨8){Hپ~_&ѽ'#9]7GK$$4o5:6Ke6hDq*4̫/h ]tb*m`}&rsDJtnJ)+_̀$0&B6%&@j9 |xuкCcGl }\)UjϏ{TlCԓA7FUdǥ7ũ#Nr 6})^ӯPu9.QɍWMū?z}(jlI Y 1M., pSs-ʹ6lZ!m(4JT\YSFPJm4,ӍpH62[A8:m[>$} _dACurCah2(^AA42sz7~pS zNWj(YZ>ebd$ :"e\6*/d?/w/B;d:1i[ғ{ϜM,#&a[wd*مz {Ӻ;%( <\x ^LܿgiBy PyNgoJ55k M7!6LuK]E٢dz]GN b(@x<>ݱСDf5;.vxayד]k9 14 OMBEk)$qZ`Y6I S6-rࠧMŖO\9Pբ]cD.I \w\~^Y %Ie'ocx]9Rb4DϓWWYg+'/v2=dl1^% [oJ.]Jw[qpu^)Aï 8A/Sdjee#DM߿i$n5XIޚ~&Zu1 @={B;71z gxa,KtY{STs="K 8M fR1N"UR;!h7(` r"I2P/\C.,gG]y4 hf jZήwn) w6WL_82sAir?F:Ķ?6 իAEYoWI9~ٴ ȳ8V۷w*h#7G- R]1üu9+%sKT,]X m|^} 8$~7vᓁv_i3 Y25S_Ne;PfH4-O%ݸ5c/F7ymGxMeD.HP>gTМKPyLTO3Wުi2-vyTJAG miC]WZ)jTA }s7[zh}G Ub~%ds0KCB,u^㷵BҎ=i`٨"Q}R[u>e_]:N]*ߕ_K踄=ҋ2_;*m=M z 6&|߁yh)R'dY0ϋl)+kH`ɩ5+ .mK2pd#̝s) Ge,PݫqwY7n,.v`!3'Qx七 X*+.?6ءe*cng7ӲL-?Z%DC-|VధfSp[wt+5ɣLUHhӎ2?TOB͋% &rJ4FP=K#r+0򖓅*K;. "cs فmp u$:Zaں_(?A4M4 ,I՝-D-Xפ*Z !U`@g I[uJ}*k}-XV-0d01-@8 9)??=1qJLYɨKl]qPDdr.5ebLVHUc>YszIX'N#kk[[sg=o} Zu@\ KOanW4 ?9XqoՅ&ƈN>4B*E_GHM9OK8WⅦ]S A!ϯVc*4hPre/9]-&}V ]+}|@79yǵՉ:pRIkMSu|W.]hgğݡڅe<{cF ;@]C'#e!T(f+ /YuNhjXaIQ,݈A,@*[aq>}|#I2 FS& \ڴZErwzz ^4k5G>{cڄ i`ӧWVSX/67zxaDԷr2մ ~폗?^ά /" 6 ?]H?fdxdڄ*6Čpx>BD>x5@̣a,<yuUTO*H`o` M8?y+fuQ{ & scNaBr+ˉz;}r`O/_//L@HpIFK>X\,=Q?i:!ᱦv,h]@f9zpÜХtUFRC~:VC?/_ȊM8 4Eq4/PL WU5X5O)7 `K"n6Eo+^烡lqk0@)`yrtAU[ztDf("? {?=27núM^HD5"ŗяmm >]ʘ bienmL,:H^Z1rdP3mI6u;V6\4p lSR]4l T4=omʂҔԜ$ .Dr=sMZ2n{ݰ\eHU8&.odQY妔i-\ȯ̫sb_[[C|q-ajh6ĽJU#d5b@{!%ǴdKPtVx1!41r'8$:Eeò!GDncHu˾;WD(-P]iE[tnRܳ4fWuرm&ʦt^ٺsS,AꤴZU]T^R *bovR۵E-k(k*ˬ!H4ߜ^OԒ?5Db e8UVYk'ҙa x~d M ]R D is6p%:#4o.{b}#Ш-{ GiV(nxTpFuR<9ܿ!0uРfdsP*x9%W9+| 2L> ͳ#݆xڇ?SY ]b z&Ų^BG32_z4 -NW[5 YZEg nQOB :ehlhԡ~?0O o3gDC=izR%E9g %( :8 Vuv茽?lI`GbgbV{[dẓ~(1D)#6_QWly;"xe4sb/+2zPEqBJ?i4_Uz:xrJ/Ҙ%?NX |G3_kϭ&ȥ}_{'揇t"t8fF"Ij QM2c. 2R,-̤APguTb f_gqWn\dm+WY3 Sʑ{50v~Q]1AKqܯ-P[i_W+u2ׂĻ{ P#s*ֲqX20ZṁH[gdؿL41\lӉ]ʓN1.NScȥ0hH{jK4-NAMdVP&!/j!?Lu#=ƚ+8:ѪpE;E*3ٽKgTg-X9#R, >rgVOwWX^L >75ur3STcۮ-b, lc=F~i<ą!D.] FxJ]yN>@*nSi~ɱRğyEI~@p(59?HsX%{Z0E0ӳnL?.EwW%׸z U`@\1uxṡx|udbR2e gƀ#T3D^k-Sr[Omg+>LtʧP*?{iUـ;# ig`ca?skIǖ鏥˖,Q<&4t]۷/M]L(>I:H#cdHt|9qPu晼Z?A>B5 x"Tξ34is^YS8D@.&*h@N4u'NS|^]j,N Fgo^ee5YW @?hʺ(>8r1)OǶq]|KI~G̊O85=b& #*D{lj,r]OO-v ITY騚׌#]y;|3nBo¥,yXѵ m ᅩnp QhFΥPGJ-^ܥx+Fȁk!ᬓ]R]"9NW) .{RnK~fղ" X *n*"1v)?:u36&nr[{nư֍; ^6rd 7.#]6֠\-Ff=弁AWj/yA[ơcQу<謒w uS47-Fnzv URl̀.@b~x :ԇ&!3NҴ1XK>ƣϋL7c+d= hӖuwO_eT叢^h @ k\(RCWr}J;81v079Xuf_(^*Lx>U7@Y >~ A))9H!}!&@Y7 _yex΄b8shtW*"{2Pw>VqRl.(vqA+L†w*zf@e >ΓK:. 1Z Zؽ9st K<ӯ_HBv4 1?pLoX<3tc}ҭ>DZ#JUm}E8K<:Xs\wrK(txi_(PE~<˄a_.GgK1כbGe?߮ m7醋W#sߞ/:OޔୢۂufKA Kee7cdžjgnqoF ^LAݧBpt6 'ύ+ t~SޡTWz;np?nDLl^ i{_IY?_+Qm ȋQ: @t"r( 1YVRA F`:VuQvؾs@%) 1>؛!ƶ, egєAH3ec-pjY`jJF#K*'go͞QV:T6uzbL@+c pŘPGx.`ߑ78= &܆8>wH@p4ѯ~ oT}iW}8|3iu;< Nx"?G^S:5PoY%əw[ոdgE.`C8dʵXReơ 6IKe~W}Ջn cnjD4_Lps`S+NVІ)쌃HvTOL`2^)"_dWrp?  .mPݟɈ"Pc Z0=5MalIn]%/R\.A3ݕ fE6lc0{N;cׂ:Hq.vd~cӨoӥY1纭hMGm4BP^ m`j>ə]{=+1sT%~/wz`J"Z$ b?N?5шnXPc'ս:bfک #Xߩlo'V/iHqXHJ &%_ZQЪ Bb+nZ.˗5C)[3Jԃnl,'㺏JI7$q1*4I`gxXpf^㿡!HdwciIhoUŏAÒy]l**xHy(Zƅb;7l‰, [igH;Sq C1P$xhˆ~mڄUfIʕ]Z?јiHX/#o$ ;~MvjIwv+א 'Mr*f0dXj:W!P5x 3 +c!6M0%>mYff֫т Vo 6R.lV=*nELk풐R'Қh@z\)HHhLň W[\iCe^F3,-kaw5j\/,\ŵ.P`B߫Aȇ"a8d9"=Xc:#^ٱ0E:ל0|LcUZ[lf؏78W۳U[CL+XT0> pʥ&[6ܨhu->/u|ݳzJ]D TksD)&Vcցp Xlxme4Pk W[BP*zAYsy`0isC֡5 55ߋwe6̑t-vyFC)fOUnM1l3j5J[k8ƞj2qUP (\- Z3Xбr2Ad\T3ܲ_4[Kq*ktS$ibΎdׄ#$ Z[I(=xK3ȉEͼȹT}:d 02ksN7.]uSiW>/a{ Ey:T.O|Q25 L^Oh!>qx8W.JU=5E%&PccS9aJi-u+ P|Mu:)t9+0|ˬ-G҃BTQ5|"6[&)j\=vAڹܡFߢhrNMmOۦwP7V7GR6T9a]#/Y ^ڰ7 Hahw:m\Kr>+l[*w7"sF51O_{7c_eTrDDTq95%zsp"x%@Z,P^1M`_y C'Ngl dMl851 ]+iXJa_5YP 640Y IӒ^0cXkF(:z-={R}U>֍ڛFoS% 7۰Ј c|saG2L)'Gz+OZ|ss:R8qbhr/gaMӾfʓO cAD.u;󯀲q[`xls2X-ˈov>:rum$|Km0r:`:78F'=OSq_8zӐ#rpʞ3O#!bJmb|Www=͟^R\cGk0Zuu?ݣ$ZJ|u|[P~ӱAB4;F!Dm%ma4]$o;Ei,GPЁ+yM3w%6%P:E6z8֙hjӧmx%/TѧU8nnGId]q0*|QnXam'){}JWmNn+ӈi Z)"a[YJ9ɮ\?9ܞ"K ‚ EMn?+ʞFTƤn&Oȇ3$Jg8RhY9-t93a l7ѓَ&XBHUZ@I I@y[w1!OyЅ9UBnSP-zTY+|L[R{x}ΰV,_cis>Qv%VѡKnL= SShҭ6 )׷img5efiڪ^!o\\[q2v2aōlS?qG7 siGQ R6YpfDg&$ 35; }(3'%J3j~H*V`tp&2"ߩ,ip:)% 0ܕ$kJ$|0ӰrkwD~%#k7caqwRG҇'.gHկLb#7c %&Mh}Ղ7^2!WBTtWkXQ)HaY >T2\:@11$kL3y.8Le`o NEتwn:L۴-8c?$Tl  N"8k"D!J$M]Tcm(T4e8JHo{9>@[@PSlMEzYg ܔ/eVr'8mT 󘌏B> 7? (LKFâKhMۧo\VW ;"t!܄v9AFHxvY)J ~% Md1Jo{ [rSɆl@ G %yFЧZº (dǑ692O,FLC6bϣ IrD08pJ4{G\'gBΑ!ޮ$/ $2atܱgYZ Lq%1RPureML_Bootstraptheory/other_kindsoracle fact bundle attribute method)p%)PureML_Bootstraptheory/parentsPureOo ) lPurePuredocument/latex7zXZִF! lp]N}T':=Q߲mZwb3Kzd|`UͯUZ<`$5=C}+nrɼqq㦧t+!D)Sq1KAе3 6Qٟ<< `ߝ0ƩUfؘX/] QoE\J]!a?}yW2z!Fz9jszDfէ 3A^C* h#۠=c_] fqK\Qt_ y<;P`GώW?u@ ؊7 -<)Jy^?y/,^d @~qFHyҌ}._Z`[SYe0A/Oޭи<`2m|x-yPB^G  ^ns'zʚfПbZOe"fVLO./'/5;p/c0—)w_) c 3hz?Q14EJC6)",+TD]rçޝ7_S1~BvoSw&_U硲p@ RD}0fPѪ@csP֩_pp0oK4vx @Y/|Qc9%Fw͚f/׮'AJ,0"\sgQJ+aC*z]05,GS"r Qڼ>Yd.Ί@L66wGq񔋟YO2Le\ YĶLو; KL !:^ _IM7U}b1g=zk}OO4b7)Riqv|]ι}[Q8/jK4װm'/og&tf_ .?ϰ롆FD>ҭ⮉HkOhs'x%:Mc߽v/]$Ԛ."q@F;9Xgn v쭞[F ہ_7U< bxf4P}f+ 7?n^:w4,tX֧!/r҅cmM:(To{d'>}/$՞EE]wnW|"W\eg22Md]!:auLMWLR1ȯ|W)'Uj^ƃԡ_F1jP|AD h@XxdQ{hc(΅3 >Gd=QVh5lZNL60,ҥEhkW{eGVVk@> xR=V,IHPZ7a=_0R\<@=^J~'73ob%V\k.NnbP~8C|&qЎC3-ڄc=S^HQ\$~A+S'mbNΣ/7{ƩΥk:J$M۩@5Y#W-?U[ueawPԾ {4AH&<:PQnk]U1L]){(LG|ނv%jɻjD݂[40H1J%6:j%+2Ȥ`h2MC+*t1|OcD~vM8wLg+ ,' J\N 1Ҍ4;|$ZkJemAD'g6/4TwAJ|q= {q\]:u3vu:0m)kæ)֩*- i"<[ UqcŖ[U~e<^hKTu(-UZ4Dm N3))ąU "0P_9ա@#I22c9{TseF㲾J1\GuGbBa@%{R\1(ڢڌ:VHO7HZ:/K򎊉 ^5ǿ)zzA|CGјj\/AC[Jej h"m `oE=dĈ_JN.xcOaT *  \ xp@Qo2]s71Kŵܠ++0dd,6:iN{U]*DH_CYMlWH%<"` %—r%I2k#<-D&m8Fu㱭@Ŀr.!^mv=CwǴ$ڏ)'~s#\b"~ dMm^8I$gҽoZcb7/h"IщkdH,r6OW# =ƕ(jc6hW:fXQbqlKQ69  O # ~\x% \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_id2Su') dPurePure.Sessionsdocument/latex7zXZִF! !E]N}T':=Q߲mZwb3Kzd㭽Wh3uhu8`7ϫNTZTW6?,\{Z%)'=t||}6/Bw&g k83ʍWCTUۍa-}3op F?7>0,\~$DH%}_k7Qs)ⴄUQuKxڸr4 BSбgYZMt'1RPurePure.Sessionstheory/other_kindsoracle fact bundle attribute method*s')PurePure.Sessionstheory/parentsPure.r%) PureML_Bootstrapdocument/latex7zXZִF! (G]N}T':=Q߲mZwb3KzdITU |ulob]8޵qArd)NLMq ߕ0p!5{*ky)`ႃ:7. ӟFC$$ps8(gkRYƻ1&43DxTQR#j^'x?ݾ }sPL RQ G/4'ڌi=ͥxQMBo(W6֋d0pNox=\h:r&ĩnJ D "n0r GWQ3˥(v(AH]9&Cx[hœ1|Gƞف5xkUk_d?x(m& 07VNB4)HlgY /Le!XRĂNTvz[G3o:xzi8xYvT5`.Ԍp r%K sdb_ǭ :{2Dm5 }'D8t{  1rZWzyLn7&A4l'WvmAJ_} .&'Զɿ$r$u{d]wqI:<$! ׉Myr>9Ē*EάĊO$VHeΣ= 8!6D.eA ̲&yq6[k%+ϼ+_r!=6|+W &E*v+@t4RrEwRI4QIyj3`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/ @nT,4Ҟ)\.J$Y84.wKyvKIJ6SJ?&{ SaI*N~gc.J*)bi䁵m"[=ඕl˖j2Pfꡝ.8TԚy+tRӻ'\̨4T}l[phDGڎ8}3E wADi1`;,k" }:"7Gbt ƥ$ׇeSYm΀ 0qɺ86lndN@`FlCK󼐬LVRqS.T!ԙrb}M[5gM>xGUOJ|t^PN2W{4Moӟ띂{XW T_8b Pr,ګt,ICFWR=JoKJsRjmz'W3A)UKpF?Ql:2V׃O2*0 FA;Dn-|}(u`Xz9I.n&~`CXpҦjf ~6 W`/<ȉ#XBدǑG Ψ3 z2N|8/tdZG=|@TJ"ufe}<yfӦ&+[w<lwÖB˫4>ax ,Xf zN74lCod{BZܷN#q~2b%ublv7M}f'm,ˠ8 eH?TNXvluU\WNQ=J`S"PCz"GC8/喏UP;2)Н?H[˩D,%f jN.bJKR$WEMw߭>Q9)5"o&ЧM%,54u#Hi X¡,8^=g%nVԾ].#L\f\ DiϩpEWgYZ|Vma@ [{5Pw(IHnH8 ڋ_}@.c |h3o kVAO]G!܁WC< k^mUŀm.f.Qs>qiz:lKs+ WKւ'wbԉe4ޱ,騧c! EͦE`PdԝU蝌ߧN/pV vU@0q> TJm̿!˱o` iZFqgiⲸ~hG=Ռ G!'cʛ*/i״xk܋^2]?) ('x>9m?2hr,3{!*q@}p,UaP͌V'$I*ؾa@ tx/_(*bH\01>ބ@F9;r" ?s&ͦotYo6Q(h/R,f3phA# ]&O3*Mq;̅a3gEANb ր# PT+qa[v1K'E]o/EjT/7mN5L%! AQ:/TSlq-Y:!E}UD MUHèpۙ{btI>/D2ozs 䦒/xZy6T%En;tj,r,Q/PnkRدx~a^U@]6iÛIc9ű=j!V©cl]|* !FabT*g(q%޼5[f|܌qȄDw)9#;8GhYv…ͭY$P,$Nf1N@.- SOi+E;|hi!,}7UY3K7r}<(?댁HN f:Qz=.7ɠ$1d{_gUaEP'fg#fAڮ$AFVdۃZRG j3:ܠ9tjG杮s1g҇Uڵ->&2z[QIGtF&+`*qHCUa6E(F4tճo` (Woŀ9:{~A[Nح3;wzo_ڥҋ'(vF F|?>XzzBs/[1#=H55~Ov\VG.n Y'bਢV\~<,r1zJDtETPoPe _FIlfN ǝpU{.S &ȭV!\iS5J췁o0|C4*d+ ì yt~'{&(.}Xi٠97R7TX EP`fUlR]4h* < DTPay։̔IxI_ꈊODr:cDpMذ]Sd(k}|ExJOA=SP)46T iA|*Q qG^!G6>K0 1kcƉЅ0UxDNC؁@a/X>t$&S9I>VةN]ײ&-شGʀKqzm}X,gu.1g /, F<\i&_7YtA`W~uc"mJ?xpaͧKPS|UqxYHq( /d8Z :뷎;T0?j5ڪQ4Aw>de_gaoc˓W/w~CϚLvtpsG#>wPJ6424Ec&؎'l>b6ǶwI=!MYQ W8 #q_ wK6@MVe>^ @kMyMAhƒ1qVrtq`g9"JvD#4O!eRӗ5OA( q0q##PCc45i#E2r.fo[ ^3bg(N P `'sɽT%P]I\c=mǤJ;weyG{wo1M0N)!GTRe-VhrrbpX"/P?k(&8nʽ߯%sT$:KKz{lX̐)| =rݾkh0:dv>mfLlq8ljf(O O[Z6B3߬wO@/rp˹nu=ZI|ޅڒ2M߅Vy^ Rܕx,AJT2뎹 .m 53GƊ+x3v3WM}/_ƼmP fzM7UD 9 #@ \varg?/&E!Hrr{7K\ z~ ?L ъRB+KAX<@Ӂ<` k(yMp6 ~tb!WBeEB%N-7_ WOPOX[{/_bG{Ԓx"zlH-~jܝ9$ Fʵnϣ=c`(ҔQ~'Rw[hU5đPh,FX~?۩_CٱeI\d,Kp-ѻe ƺo*P 9˯[/>yF'F 鮜fcCl^/O95".BDO^z:D\REh vqDEVo:uHJFD;ke,g'ϩv~~!E4حT`m"uѮ;|[mXû h(78C7yS+IN${wyU-0xK{+sq89Dkb'}z ")@R(Qw%72sX-S_E] a[MNw.8DXfsCEUY#89îd=Exbx]dTumn Չs{rY_YԲ[c.];Tun=ZGA,.ʹ'G"7S'O;1^4uk $è7^KZlt H{N*Æ*] ӠlF1 q5,8(8GNu7Dƕ9~ x+;֔qBaUG]y]&ډ!Kq3LGLfqj^ '&!/  $+@}Q0{I\G|(_v|&l &z.v3uJj_U[h`JӀC RXP "tR-t 1'"6w\-k-i#|^|zH>K1\1?1ziGad(`/7_/|'B.ʛ6:|`ްeꖾ4 ̓ܖ>jnq^aJ# ;.;>'Yz3̤Y fSC(LؾZ;lc8e!kY*.BB > ykKl"m<|^k|epM|s]jFcŭ' v .Mrƍ H?#RgeSHy͉\f2+Hc+Up6v?QpdCF}vn3 pz(jF]J`ϲ۟eW|YM^NjT>Cp?bTPCޖ܈IGl"o-O/HvӐ~~f 9S0Y(~!p2VPԒc$+JTdƄ=TaقԇŐֆoj ,nJxeb0v=Ϝ5R_k/1H>rl;р#x!-S e+' XZ R+nC!gP4v,1l,}?kz5TiګW30at6Nu6f&1ρF1tP`նG:5s]E4tc7C4%:Hc=^,@t z0 r hė%m?$[>?!|㏁g7 -r0R/gǏil\ni r O6ox?ıl3yUtI]m4ߍbc`n=ѯ| rE.vndO"]@Ӳ ";8Xk\:7#~P e{uDϠotzq;3?Rr.ٹs5U-1h.vkKH!>*؟={~H&;ҁ+5e'cWVpͰSxjgKAI]9I롃h PH)_.-,sD4.H yQW8]$PZv! 8/Z&0`4_Ӏ@84TjY-ODIMҔ%Oh< XLC/jB0gVހHsʁ^R͏#XzFԘI4$K1RGv@g*bw <"U< 1'݋fdA/_IQ> \ $? ˼ yk!:&@wmuYwТdjvaC 8cks *h 4q)D*wVE^Ғ6h- \2JUm-1 in/5Rc0D;{fz>DԦ]S{T[oГT$0\9I8;SǙ xs!a|A`yIE;f,ӛn?}L/prheSp̔BZkxY7o4jg1#]V]$m9ދDVhFs won-FK+ "-8d0EzEq9MuvtGWg9 J  PIV?8x35Nm_|?pa$olN-\5Ȑ3 J. yg4vsWa|#@)k#zSw`FѱsW'tmXw# @t=iPy4m!x4dk7E;\KYKHHTHc%1|d|#GX|ii$!kRadk#Z!Ƭr8܋Hue8RبћD\P9[1X0b4<"cܽ=B3r?%gsa0Ϯ"6`eq&4 pnBaV|c:rOKt!KD#w0 RQRSwi^dzabfhfN&Rn~<6H|:YQG{ F !8ߠUbB2N'!sq6eߑMF`;ӿT4|~Hb SAVcL@NPchI1 A|rw!?qA Q^LwJNa#}:H.I'^Vxo7ԅ9# [i*ְ8nnފ&*>^s RT;Kѝh@'3KP(xJrs'{tgxU%c2d<aҚKsԄLxB&e A '|St?-{rfTaj^2s|y!T LMh&|Hwj ~kSQ,Ճ`@FJ\1q!1a}O)=`;F,T!?  ,B8%K$G*2&=z0Fj &v>+YJ \(1@rr&7K@9fNesO#r!Cx,"T/,<`7O\v/ֹt%lL:t_Vșa@_ثF†F'A`9 Y]{IYt Z_28m8܍,՝OnHym ~%#vnrڐkA!c8Sȭ[QtVu WBŗ!NpzO+ 7؞n3Y^A`ugy x[b:q[u v" ¾Oww=$Av-Bp)l(КmX*e5+ʼnByp KrΊ v) E]8Қ ɴk\<}wR-EO:K\]J8f%e֍wVŕ}gf.J+=m ں,Tg4mܹl)lE{]6ջ/nT GZY<2זGOlDMeFZʋr$n(suCH=xki$<>5 lnpH#bـ(f6 nۅdjf@ "00Cх ir:5Rhfs?ŏȝ WA+?a]NT^|٧X$l)vsa9yE&vkPEyY&~W1j޶ھP/UyUMY3)_xR-NZHv3o%_ubW$?0vHgʖde=YB4`qm/{#!g}[ 5?fեC57WrYg <˝/etz(Ěm27 D{_Cg)hXpkݯ&lOaVkJŚj…^X@E}%aB oAǡM5{βH76ܿ{QɈzS)l\e-B{mRZeIqxg@>{Eԭ40yM x'͞oi8m iMÐZcf1le>xi*J̓v#<'qEu#|(j(uCĩiL%FKlo'ڌ=:6zвbpӬv5\sOKCZI\^cŏ] zZ˔`wrobj+ʃGDgBW[/_sbp+pH"@/^ΉFT]7w}4{x,3C6sm`"kcC`mWA*q/'Gkν hk@ pFcLs1.^>g4z12/t :DG5 ܡi ~0NlVo=`*xijƅjo`4Rkڡd XsEt"<]:4Z@Ύ|dQHx8ќ@B29.F/ve"^׫pwjԣ&,3%cCU9ǁIvƥ,3KN*[!u3D5G@G }DRt;>w'Roz¶!M@B_d'hd.)QQd ?II 91̹ AEX|V"Tt:pξ0Ste^!s\ʫ by\_iX Il*7s\Lt52~]&Q oέ3a}DB+tDܨM!Pi(ƨ<إbH##!ׄ= m$(4#0 =!u}O#5Hxk~߉Met&5[dp:14 u 華$K/B%9:j FM\s8z WsK{\h^~x!gפFSZHXp]Zܽ6yi E=5UTjL*o^b)Z` J4XS[ԏz"͞!j*kNtNVaɌS.Ly"-E6">)pGjF\r\j{jm<}9o2~_By4&F; Xb A.58?-x\DgfPc -ehӇ}-K>MwHvMpdOfkq\SqL]x??Q/L*czI_<DihL' x/ɥ+v`10&Ȼpk慫}cyxśpӓPFZA7rA-wܐ\fNKo~>+|KѾ˃ `؇c>ݰ0Y2ϣ*j`>I|>2( 1GD:>;~ŢƼ]3bKBLX;J4"yQ\Ftyv!T73&RY*y3'1mB&:[P>)K/ڛYˬ?J5zY舣@>}ҠDb~&."`*Aosi$No'DϲKőabFNG3p!Z>ࢮf琽@= 88J6%*.8֔ sfŧ𧫷vq#gй2I:z [A:Qt_c?hP/6/(UOM0NOɼ1^Z>sXf3B^HP9͢_i|| ;}}b` LET5uƝo9>-W\T0ji4 WNC WNf -PeDmQ?O]T6۰g>JXdk< +?¿Y"B9WC]f5Gy]2 k|?bA./gPAE Nv_MN=8>v{u!Qăl2  NC^tQbPN9v+ +{|w,66UqtQ*3HclͨVhxYZҰy2"Jﵗ.oXs +?W,Tdվ̬9d'x/#\ې6b!qh"C hRSUV?cnb\F5vb꟦ك (MBZBgͣe9FWgq1U.<Ȱ"/W[F&A]uPom.=m w%=`)*Un4OqQ56tS畵EXv|$GG Da'Yzk\+?9疜s!x[tb&H]on[jàwLfxJ 6oG(,Q>]o[S}nXp!;]SD!W90!yxm49EN'ښ/7fi3Ω}* V 5BlrXͼ#ȝ7J`VD˭I30EJhXS#r~D_dۊ;aPA,>x@Kת;.؃uQLa&io>)9 %p)fd$K;[oQe'5"|n:.EM1"fR xUSԙ pf6)Qz}`7@)Z0M6!(T{)lh*-Զ/`~x҇ZYqAaIU9GYDuMa\Wb~PK_aJo~c'J&Ғ?;`Z|ymrm9-\%b[9T&O2w3j68"P /:5kvR4` ]$zQiE'I,lXb@AíxZ o 1} ˖ j(R7&YUG=ەWV/+9F2l^leJt>..x&CzmzS&KI+3lLN"eWB_Vu] Rj6 >TqjKJBmW2%!|BMؾTyɲD;T?61OJ0{ke R I:G8No+Hƕ;KI7h2_c;MG Ea$fRfTVxdfO2잫!M%#c1{밇e%x}UnF=M˒!2N /P?- SGlݢ6bK_[J(1{SmI4lv}Aڋ.c$(Rb밋2b8C"4< soz(F)۝/ںXUϹ6JTXAdrF&-ʕ)zGI.J7+ a[k/u&Dx/0pw50|dY)ȡ֬u S<.yZq &Ug90!LD[(.y6<RZoQ)w7L\SɛNis ̵ǥ8g5I͈6EN' OvУ\`Ef򬨜@!7~%ͪ?EWv)MI[}*~&0?H e/ښC|+*+OPâL"MA~?su5 m, w ?3= ~L 5UBu)M>kZ3-F@`LZQ ivg+š7Cnglc5AJ$Hn.``X@c1՛bic?3/ǀF V,`@Lk5W:@ZϚN@G:ƈ7HZY%WTybm8)>t4alBKj8=jxDwTgv_QR`OhM"ۆY)Z~ M}Γ9RP%!(!tSx=BitOF҂4}q?,;7{/P'RеZAؿ[@/Y E3aoE6n3d# >DgšwDг[ o@ ! $l'Kdƛy@'GA^Xi3KfS'_ 3PƘٱh "H C^Æ!*(/#)Mɘbĺ?szs1g*ݮ6 lWO>F܃6sY9AasYOُ`4*Dr|aecby4!$6I1oqcLV31:4"0obɘG hpJ56)='e._0(Ҳn[C!x `B)W6ӘAFk5 iSt=Q{qH֨9K"=JwXJQνbbiSE== )>)#f;ً84WږF#;s&[KF̀l'@iďkjF`WM+@(7UXrJAySuG qk qߕيFg+ƅGrB>ü)![5@$jdZaA!o%y| \͆_p81C$>v l:WAuUt'$J~&ߚ> CHrMx [fњtş֟$M J]oR : T2caaop~^Ym7k*YCibu~/7Ϗ:~FK _f q^}60:8M95$'8v3ϩ[&aлNHg #]63-@PjpXzOc s>1XȖQO߿`݀$}^k3J9ЦSeF/LVUP S G[Ls)KkGg[Tq׀H1^!s- e@{TJAt.6o{DA_)`OfWYWqX =u|2ֲ ;k6(@an@-j&( = ; TpG(Q(*n%~bc @BjsǠ/xWdL&]̼$vBY{Q@){ Rd<*|!|2z^+F'x]5@R _/ܼwc6tƈ~%f#E6#tA. N' D6y4WȺǡiֽY p]-%BueC*EkqE"fx,Ə_x-B9W80TZB96TZPS3,ey1 tW;Pd]ZUFM#fXdqn!,Y1P*Yr%fcTCV>ڳIw'&NBK|5'~i-VGnlw,g?ڼصo"$*\;k+|֖{'rSMtqP*m(p'+_.%:$ff>XMderGFKZcjlI)u/_aE Q협F<T.-oa)`Jtwo3:3C>Tb "߲ 04E!T.6LQㅚ'+ۚmnmsTJ]gRn zbkmGi~Orh ZwJΰEH+kbe.+6F$.z֗zP3ڔ-I#^Ӓ%l҄p `5._t֑bE,Y$D}l<`MY1Uuq0UĮMl4@C޲f+a*E`\e Ƈ8cv|*fs=hV`͋5v8N:BKxz;%>_JX9EgG[OK;=e&I]y;‹gS_l9џ:8A+7FNBv;M}a 1,tw8{o ON纗jy~&sH^7.]{s})TN{&mԶBe:+M}NiObFTJ㔟D#\pϚbg\;˭J[8 Բp,[B Mgy푼X0Uo 涬lQϏ3V"}[c %}+0.T\8dGs|5 src-hp`!֔_ xct?OWiLT ]in4lg4Kv +)<#R,K6f&i=i[.ĴB Ғt37&i;:=r?,]jYBB` LGRy-b2 8>'%MvXW- /Acoa{&{]ɨUUc|{=s?~LY>T1IirƵq ~#LF}+Sڪ.cQvݴ&Yqؕć{TO5'3'veì ">ZyyG v/DҚZEN&-Mݍa*RkTˏJHT1̋!IoAV5\ o `vEɄ%f2Nu΍*L$!T^ak^l n%e^~.S;"`!sՐ&fy'hg ;y.̷ > dcSL@=/y)dh&kj}"V:s!j)oV^FqL,_Q7:K-'*Q;l?Áe<5ܩx?>L]Fwm2@¥Cؓ($&-l䗤`'|r$ۘސYyP5}Z|S]Xy>1iWeVyy#f|#Mό:[׭;hP=7PiH}Ld \qb t%ڢpǏ%RtcaAl@&n^,iβURip!y|i<IG^& -vw&L.@u| a1XMjث<(^ri~7^d {_W-U'H` 6) Tξמ_IÇs=_Džҧ_¤in0 BQ`ˬ 2\'Ocpy\K{z-;\e.vh:Xeݏ|@ђZ(2`Z^VX^e yEڻ]K*wEŤW{=EZ~b$@\{Y FO:9͒#9!O2@/KO0x@ì$4t:LGìh4¨O;LUuaV| %bxJ@("xz@<ޝÃ_ꚙQpk:w˪bp:dU{3Cì| {&‰3M-g>鋒Y=G1l{vp j[-fm_ʒIŗp-Ή;unmW/Q9Tj_:څ`CdZ1Ø-x_}ɝ;| f [匴|4;tڃ9qZ]Vb@e"TAЈme}נTwwnWA!bN* .BN ٛT$r眲^ň\g BM\ɔW\E\ΐj 4~j6۝SRJ/eBT6]%؅~b}~6xVƉwSrҴ𑛵f4A墺ך\ik'fuR~:=o8ԭZ.-@NҒf!陼ƈLnX|"GW _8jڇ|cՏ"ީoOH15)@KIh?9[\?5qQT<[|J>mn$ͶJppUYT_+}ωwT!D@sD.*DWl :k|Yz}%S8ע{PR7,5^o8seٰ3H=yF3OE85Bh$W&!u%rMF+m]sezպ84cqgՔ)=j䌞6li(NmB>GئMJjš3lR#}lLVZX~9>sr۱i0]zQ j28^D;x Fd~d3RGaƒ;^mH7SU*Oqr)٨y >Y8Vѳ Zžas3RDRI0=C3Ȫ ~9ftm7;nT? S~#9uգ-9.Sɞ򝤤M;Tdy7>UXV3KN-O= 2MC0=?֊Ӹl\FTFHQnG3_Q69\isMԍ5WfG`Ǖl +xO+@& ~oZ Y jR#heXqG߄;+0NQZ-M;aЮ㄁ɱ#o5XC7ň@LS6ϫC]TV*-ef͊4e[INBJ^"甪+~ȖogE m#~!O~H+++䴃Kn .'z',;E~`#3YidܯXQ812 [Upo*IPwrxe:_ N>jGLme~7R*sc9@WtC c\{˷D&Ptt.~nYB[kQH.Of Bר= `Ϸ!- 6 W/3\QuV9.:-y_Q"Ac5CRT -^I׋zM1@~D⑏O{|Q~Zqy NHJs da{WgZDtlSL_,J@]26x f;HՍuqfW@#ŚZfLxe `f,1u= %1/@vu)B_+$;}\kLՋ;;'.b-{13^G>%.myՉ\_S9/>t^)mFoFA)>SV ekA])JO*O~j&8)HӘ6c+1C9ޅbMMmEF+2o >ԍx$&S'zB.Fl+xSD>_{P_3]ZZe|VUW]*~U̟vQ[:  1]#DVMW]ŜEw8z By,uV+9nYKiįÈ|Kj a;~iTڂ* oW^c]\.䀰˝2Hog+Ue7vbYBcǡhc{_,A BVTj,f?1TΚzV&Ph/y%)?ۺ4ZoCݾ ]98ekWgvEsh}/#igQi1as~mRg7pTZy. uw -(/I*&EȒ*{ `4cIE-SV}i׵:2h=(=f(&.#I 12)yf\4q3؛@{}fmu2#9n4xBCa0K8hw2*a9`6qmxС+c k~G òzuҤvWif^\- K"(66MĠO2Kvm>p$4e-{~l0pK茵FXPI/yL4G:WhӳKZ"to @KB/]l*_q5Y^ ņxÌUDp/^z#IkkIE8}+IۖAux#/M6p~Jjn#8ڀᡩl20W2_IJT?Lw'EY~ET=}I1ƚTGa+2 x!(;j"id=R>iqRTA?!q$ۻe&_{ p]b{?MP1ym >@&^/A^-iti {lݢ<&t@Y4On7Gdcg`gxIzR : QNaamO{3`?+kwS `vF# )-d vؤc='w+MOEz툊< ٘(`}`j"H9yIAUw oELOf=@U3\N'jWOؓ hfNPD&UqOsUco"m[SE]-pЉt daRUD~Ytb)GHnLD%ـ{2 l`Xm")S`NO\+;">!b=o*e*mb0LXd"%ct?'~$78pJ`55nj?5P)v,s\[c4mY&ZneY[41߶ UnrnSڣF;JH~SmE"ݬDӆИ854ZSh4'Wi:DMGOP ^|#1a64܁9wJ}us|̲%Ѧ/T\X{eeZB_T5Cb`ɷw嚎dҵ{aCPÏ/$Pkv^cqSr [m>bF?4RN\\C;WA]X%7t8oFH{Y:RYY1K gw\\1 xz?ojPO:w~g|HQCTu`BuYnkK]1S$ =۬IA$ʄ S\-i. a&'&PA+E"i߾X7 )#J8]'nLXqƙ<3EN0g=  b܇h O%2$(t:aL4p^f0WaPLykWJ4Ng+"$708Y `|*:-Cd]*!:o"`-\ҖSfZ=?_*Ǘ%'YE'O6I/R]Tn{հU*iL\hUgJxоTA:FlБsY }%m Ckd wi"QMaW#(O)=0D*njVK.-2`0+쥷&Bȝ/X0&A_jHVo%(q.1MS.u)khՌ&<ٹcsSȢ**Ku92|~ }x+PZn<"*43q岎̸)eVIhX;e"(<9\EJ[*loGO}hGC" 6tX{ .5'g u68"Eܶp6~u|SbOieu=aaqe\IIV;Op&/)ԟJݻыA>%'N`G@tK w M6uՙ*.-yQ0 Nd2L UZ`xFDt[|K ŲS.>M2#M=bsuEk%R2,k _dk%yYU-Jijd^z"(!v$N|cHXU!%&E @="7.Cnaِ#˾beQ|3#pCc{n<{; 0zE/<2, 8g iܼl*,@<+Xr$' 8`FѶjvοmi/>2 :ڡZ~#&k'Y#a42IO>[ϓ[B #kD}RheG{Vڹ {7x]|5u]~(uvT8#wM߃t%h-^}`v4S%Gti\czwg9.|>{rѢXYc z:<0J.*5 H!G(֭ӝ%q԰ RAxo=056tQ)t.ᤝgj;҈M4ǣiBtQ+ҹ1!e~~TRcை1MTr%-}3vyMT21{+ )xo5{ E܅ 8)^'BE,UXgv 5"Ua[v!*ˠG)q'=)\nb<9qƘlLO||u|G|w$+Ku_ 5}q1c'x]j^|j"qT6T~4L[=vPkcx@h:50zRN=ȓ^V$2 5sdAs\^KJV'ypo9f Ֆ5@dJs{]V݅dU6q/{PX0~44M1rڊw;Ogǫp*m~4ϼpe<p%4ݒàXmB݂zT"7\BKbUe<1+5Դu<|(p=3_o7Ϊn 8((Ւe_`r뛰.ZOˣWԦ8긡.dnR XNCxX.7N+v4|UϺ!B{:ͼ-KlĢxe;J5F պOZǃ9V7wWYE&̆8RN1 dfNԉc"`|m] -s̝Sg{Lʀ«kj4=%&?()Mmڻh~&#ؔ(|D016&_ښ= [9y!P%\ dz,3c}J(VsC} +gKCYf} o/eV)f&?B~XǁKX1C'm q~EIZx`F2dC3DmnGGG?\/42YZO%eV49rϺn@??:1@&$CoUoq@SƠ@J@Ӿ ZT0dnDzRjX̆b]X1º[w7a|~mžm,:IY gBcx8oͬƱ=ˊIRm]%J{wHQD]Ėi[xU Ƞ|_g~ >m9s W3;锵g67P18^Pa VAt~i9J(n8M,oQnεH+| 6Lë DF㣆QmZN(#f@)ZAQ F$e>8:2PU䬖5zԠ) bc~&vR$ | ̌`2 AM`%|7ȉn]h>+J>Qi0SǦԡ"%K:.ھ66ЛxPD^vFħ\3&7Q}MO$-c_cfc[%}zom"QL2 UwsgM~qC05m 1'h1 ,_:=Ū4Kc%yU~[ey{+F5d'XJغfP3ikF*cJa^>7s˦5:z5M">]uk$k4~= 1'gKڳܤSXOns;25i ЏCĕ`4 8%Afs̥]_/}nb@o5*DLõ %\i.k6uAf2\E`Z1$ tPig+&StIj?\ոPbd5#` …7?8X*mXְ ɎGxJΌx tǼ~Jaf986>ߒI6H*-.\G'(|xXyj)_H h;ֳ&k-;qꆺy"Y7]7C Ys*Bn U ڻݏD=%^߃'Ryx?+y(ㆦ7d1k}?kn{Tp#9zpIHijxGiXlk`1YRS1F$tOY>%gcS yI<0+gc3 MCJlN£h DiU羧"XM~$*.̔5!D)0L|`sPNہ+]>9DHR 85:"FτWR5#T"Ѹn|{RVpE{>!??\BDv7`#_8r1kom+VK1΂<4JQ|.([$V D6Q{裎?L1.dOR]_ y D&B9rՠ R62M]G '}8P q8}SDws +P(S",Sk)ۀ% 7\ɴ886\e5>BB,H%?3[ &Po`T-e6VQj@X{ KJZq[Dwu@)kMpW]2"*G7aH|I o9$"lY8umrjtLZ&Kd0)EqVc f?嬫9O9<Jsq꽐I̤"mH'TӋTNПKW.Gk>nSkܮƖX 4W5O~o,wB Gn9OiZbxă*1E  lFn13Tnpy) m RZfoLǣNָO! KDbfWVï># ľh7vqk0y`0[n^M+Ja0$$zUm*Ts1j 1s{5kfCɼ0o.>k`L02XAɶLj僽+aSrek6`2, v$;1( 2_C^vB5B/Hs-v47*y ߦ;~AJO5NѳwcCnXS'5ph?_H(ɩҷ]*ϞW)WW":NbL;M#0g<=ΠA(.ѻk{bWή!}8/B)>ivwy(v@2d ޤNV Z9@p9ݳ40b (\kOiM٫xDŊ6WYi-[$)隹Uc$~/ꪗoYf"HxaIBϢ|ۮʎ7~f )w! P!vJFڲl/ \"_fɮ3W>( FLi-ԺIAmՔ wZ"/s WnGpLo ]a@m96Fo[W \Kk8ԌfW{_JĎbG:\r-k&>UgJ \$p/w\8,hLc0)!GrMfWo]CN]ŗ5YbJzZJeAE,bq'Xe=١"hݭc̴`CBQiN(3b$ ( "hJoo q|鴯|6XoʗѢ^ܪ= $^-RdVPZu\ۗ!Ϭ#Y"шo=LI,dxآQY Y$g\ z/d4̸OҐ͕YG-xڄ0vhs\ˠ ̯`lCk}`[@ˏ [ ][=6{o$ukCټ CvkǼ '{yIQ=nym%楆Mk|7qC땓sieDv @ `.2.]=5 :g|Wܹ7TIWiS*_zr1>Άu]ڛprU8[x+??l'\e >He `@ Xa8>EoC~D1VAdžzK$mjA(^l=P0oVoCcW$F&M־k71$xٙuS!32- iO永3 hGr"\]TxƋ!rI{pqbϨٟcN԰ߵs{^V͸W l󮐚x#p@^A (9GYcN?\2dO|6,04pM%| ~3/7WWVLyrJT៛BHs堈cV9Ju;+U<P) Q|gKAEMWpu}⻉ w=ުyє푬~`7Цl>+&ER2mA魏k;Wa$A۹s[ U=a/.vAJKΰ ă_%ۊgaH(yaA:*!2q; ӄ(C'ڦ5 5ϑ9 N$~b^9 v~,dsifb!.c=.gP:j0Yj1x98>K^ēwJb";1~gK |$&Eo+RM1b]&In~w~Uw)#!Z0`rߞ%@C)Xj8Q2/$l55GUZL 1wԚ*E%as̕|Cp6զ2! s cuQj$.B+1*4qVb(x]:7&%I&y#1c-SL;z"ɲdBuK *B}fş/ U{a#6hۤP?MUşpԗ%QP^-WDzǞO5vE_ &_j퇊rA)vs2rD,Lᇝ4jpVa:P렅-Զ](^m%WUf>:RK%{C<(8~#zyp1:>v\Wqfz <Ϗ]?=w@17,<]Luno6DaBAj0w!1V{р+*._=A65WvJsdp@)F5񅍾Gn7#PU~&_#ߒSY}DQsL;xRM4xu?\O6#b#>@Wؗ{J-xRkQ OeL)Zb>FvZX:KĪЯVeEK0E4F5LZE:oJL)B<㯆4iK{rTKx ʀ2T{<~7>"Csq`62BXY:lvbL!g~!C7[i >O{?C1~~ae bڕIE߃z6֫: >ڶ}sA 3~+`|mղ pKT$F'sû[6 ,(-t)W4DnMI.G5l??Jxv薘Ck8҅m$Y(c'w08IW4e3MWGY׾z!Lv+Kl^'Fs=q4w/Ej (W[oHZuZ1'3hD 1J_ E|nf$48ƋѴSվ#7ӷwq`D]Q͇*aIldRC9;VY0s乚 ƤUKQAIX8R>DCE}FsKCMmh*b> ~mi]~W%J}VCt{%?0Vm/$pu0R(wCFg]3n;YgYHqT1Cs?w0k9^Y<υ6SH&ѦF߇e`fy܇ 7!22S.IUQ}A+Q@o Ydw.zŨ"U6u6AN5+v,- y!OyC,on($|ƈx&ԯu\Η (L* R=O\?g vLPCBb6H@ ssM,9BV~4%y^'FxʁYkFecbF0a V$t.ƅqp] c_-ڼ&u7V1tmzheX̬m.KJ⇝͑ǞfoC'>[G\nh.޻`VrZ&m;tEG@ rn~xL[1xũ{7v.S.g'R~tm9~O. jFb--Q V25.ބt4A9(CR2iQֿSSA/ DO($G#{gSՍ?`I1y%@2'uUJ8@ a㡤 M[r|P6egxE0e;yvRbXhj095(O1)ϞDʨ=R&̀S.t!e^SM2Q~xtiZyOvb M´'^~js{žX27?D23lM3$Jv ĄϺWw%J Qk5Kc!`| prXD.bh ~+cä)kFg3/vm¶ɸilAe2f@reLBݸfoHD"$"3JmTb|H*{IzU Ik$<LwT֑>Iԝ$U4_Ju5>j ְ~F|ZH~{!u 6YgL_d=5wJ{<:8?v!!m0,cXnKJHÊ@CLC4J_ "7N.Q>u6IzN{#}2 oQ0B6*cg#.trZff̴HJggקCqu}]} MGqO{y17֐<#BaWI P.~r& ^-fH@4ˆ] mJ˝ZG(u}" 0N#f/{vިzi,/萱zByHZ0L޺\qQҀ5J46&3f8 z݂.smfeCԅ5[D]l0MP!!ʉr%>tiY|3)^}y>J j= Q@ãn^ĝ r:%v~WKĪ"A'Asix<'2wh+;'+EWM7b9ޥ5OhW PbʹNvDzKbzU郤-<]>xdHJb7{{aB,BxR4 1Gm3 Bq Q{QNJW@&ڤ;rˮ Q>TiAP;*+] +?[hӪc,q'),&*=(Y"v z}ZU)/wRw[#`Ú JP=`&&q Ɋ 4u  =L쫱e`㙢\VJqXy}j q&Lh.X[(fCz[ flZ M 65ny8dž LTyh™-X0eT?"v#c֧f1!C~%78A5ꏼ(?PUޒEoTk 4jkdS1seMGljRUCe7՞.MIIm= @Y@q?4<"t$V!;,s GS|O.iuAWtV0J+#o 4Tג8d[h[JäЛ;Q0q=kƞ ך~`= -X_\Lw7WySTQl f!A\S&ɋ|QG}8*`hg(ZMTsGJRKHOJIqT6 TQWi9п_L!E0p=hK|!)#wUq$Lo٩q][^Hq8>Q9D#1h#Y@\ywQ~ʐ'윿_p~}B=2۠L8,Yb%uP[X\Nj%fRuJtq9\.rQh6'7ҳBJv˹O%K*O=SrK\$R+= 4po>y+/pY&\1&KZŅ f'aeG2+ 5&cQZ42gbuKD:$rgQ_Ɍ\ ԲEÜo,4dDBhI:!pes.Q]ކVqzq[Jؼ|%?XǞxWR*Z)v!yLeۉ7ću.I p5RNͲpܼrP(m!c~+J(rv cL/Lm " * }>轫K1L GC3 Mf}d)Me/lN|ˣ9V,aL_m  7 N~]ģ|זE_,Ax[565'(#ckvuZ>~a%"鐔@'~Oѷ0²'#hp~1tbšV+ҩr\@C1*XXWN[ D OXJ;03PMW|YfMXKK:j?쓉>NCGFgmu7'5mYoXpݏ)>ux(UrPn:S} ʁ#QCW $Jy[䫷i8@hK &ZIVm[2xC򄠋~,f.X_f)J&w~u|IRNBꁭ|"^^W?L.4'},٨->yxrZ=kLk(,Wˉn9Dd/Tg|gk=[a޴Ŏlv0jr'|wFԔ 옃Az5F0q0YH *QbVȎmoM|O{ O@#3TKBQBa&1kTO%V8žVPrX-~uƆ;`E"NٞNh46=8<4y۵0!&o.ON -fƬHf^%6j'ṥiNPMŔHe]"Q|rnqtrLHJ¡[>)˜WD5dgt,6&ݭṵ$+I,9Eoz*>;)>bO\q$ThfԽ6?cbHgjͥñ20yG ¹87.(A欥u gs:1qf۽N=;2"X[~y{gL3*Hf~؍n/ [_]Ktz32-&I D{{Nhox#%u Ǽ}aCSD7r5Ԗ0ПN]vWl*R{ %cuRw bG<#3U-q+ԣ4tRn"hꤢɻh9)/qbLhf/ԨO7@Ю(Q6̫N,h("X?!/^Wz i޻s8=onf%7;f?0fy *{͖&!A y2u$(^Ipp!:a<هwd3" +wfl/Zt gqsmHztBe>0q(6kt֠Q#g( oܑkw77/+id@VE oyy2߿{Hw$y-b`9v:.e@h N\t晱 \X|٨/%BjyVPDm3;E~5rfb/rK>XKp*G'.kB)oH+טghjmg6#y j_޿c9 ]tԵ17WOX^QL-j0đD!-7CgNܨm絙!C{ jܕkAGyu8 NG*я U-Pep,8~CÜ=Ww&!z1lQU,cvkb)m, SA49'BÛ8C{{'nSld|{*IveK%Q&{f~' t KP$49*bK4&][k+-Zg3z#0ĺ8bC2nZч0fZCB-.# mߔJFj6 >nᰆ_ę\ 47.M F)&˕rX|Sͅi~3<-x+0}s69AGZ\zl$Sy5F>u]z vՑ '[OG G.ÌE(Y&3>zݏO-Jibx)_y*̫`8cp%r QR7iC̈́CھuZ5'Sg;r)/ _,y/׻8`m$"_AoVW}m;/>5WtKH<'f LN/j@miwyvM<>˷&vCquK S摰v|C%riW/*7Y. C.K"LFxu{#KtVq-V֥$rfᢉVިg0<)Utk򭁟nKW3@KI ;ge%-x-QՀ=Ŀgfό۞sZa8SO+ު 䉑b`\Vfzo^oO? Onlzd#5yr>8.p aIx7 Va}YƓV(]gX#px=wg Two܀vWu 4Cepfco^t\^Z;BL#ӎrώ߮:Ap}Ot9TE$τ- B_A %˜^olTy"Ч?҃O4E(t,>~ }ut8FjSLm(W8$9 KyQ6 Z;W@ͽA*]F:h'}š5<,;Yf0KM]:=! dLJٳo;`8]tYGރ&.|ݥU7uRCFK(u:iY=CAe:V@%AP.#t eRNFZQ#rpA^i"4&*68нI, Lr #z z>&O9i3ax[{3k'R7T{mXؘp\8V>JI=:3)z[7%xo3_΅$C!C̕ZT;eĮ+:)`LC}B6#4ڽEǼ1!(hq`CI E:ks;.fdCz7W2.Q>1?)ΓѴOB2l.4 V\^!7Q-ٿH#Z \U4M糗$ds|?4e`cӢ'w?ZUmtKc Fe_c[W=jkWdCǬgPE@%娎K5g:Zae]N'y?lDk"'vU^S*.àbBH/ڤ祰V>&AqeUx 8>9 tvRChjJ+rP5C^#;O=[⊟h0V|rubY+ S$=gS& $N8NQ"ma|"Bp0Q \jjcG@ tnpK!Itؚ~,3xVha%lmJjWBAoюtŽ)b"T!/$@wGV7Tk|"J$?+8Bsydvb̈́Ē%^g>q %Yn=0[tvX=F:Y3m]kTH7'h3&c߈w{&'DHC;Q@Sӈf?Da)*"s,f;Ƀ.a[hI33yB^Sms|Jh2 _ZhAqŏ=tMi9c'ķ3Dh>oOT PU2TNhz@4i>ghNH<.5<-!(W%t̆?DâbQCb~͆"cn֟os]yG?j?6J XZ!JM8hp 9gE*G3:`%= K)|%lI@p Зm PQ B ~jԅ1v1 :a$>2a+?v@ VID 4 !ӷ|4ԍ(ŁͰ9*]]jL\L? oַ BALO΅$flZSS7L\mAO `-h6;̦Z3h]i]~eޢZ067nN*,ɤt(b wYf v?\y޼"u #c)gBY3yȖ%J9aꏯ$v ^^O?+kFv#͑MyOPZ'QDg`ǁ%Y (\y5}}w24EDI3-g%`*ee>@0khe*VqPP1iC9QwEަQ|lp 2wCK,# GP@-\1kTbuD0EPHhn o%`SYݞ-{AE@Դ`Pc.#0c;]$E!ۺttSp>x'(kMGGlxOfe(oZ`<+QYŅ@PYPe&pw$h,O{Z}r ,Ys@HІf B˳R焙8p";3zz592EL>; gЄp} ]Pî#?kbuA|\TPNw=6EGel]o;'x&;!ŻBgQRm"gZؠUQݿHo܄AÉW_]OhIy "" :-~ݡ"-s p&MAR UkaqAZbu5fuH>\ sYj mk߯6dQvGX>l%x2gU'kS+ӈZXN>3I[>hs*3.4 gWsqΝC/'v4LdӕXq/yB2 Ԑ$ ֋b@ܾL68m:RX!o./8;3l^ɆMNE&bܪɂU0>{eV1^I6Ҽl>U2u qdž0Jv BF.h'-*"ѐ,"_IH] ::\a f0> '{#GH$SGbPR81,s:u[l$WG:/bL,g؉mDwr\LZԉ5 JWE(7P:O[%hI!d8!|΋8^R=D'P_d{8Eqpt.A')}Z,*(-P [C66jp)Gɯ&rq<7sJ e[5U@6Crগȑ2]z \S.BY4Ǘ. >' Gç ڐq14vUp<0_e*"1 ] l?&~bJ0CCo2'}ӭ*nW`,񞘖 N"r#ƃ+&[i69EjmZ>QL9|QӮ(QL6Iєن|H’~ij]f*ݣSnt~t?3[! !!k~o{f^kp g\'U&b%pدI΅-D~ Z4yK#\:-Vb0KVo4YP jڡ̻wf%v*qJҲMT;8r[ۭWr){IWx˵T`q?c~bsѵPPBSŭ] )nء([;𦵙uztr)I""P*{Oh}JYMTN]\J~>w2OËoaqPZ+,Olv1{V@X`+v0-˞N%@@yf'kֆGC?ND.Qb>nFBNj | rb~> _`kju厨{X%nGꁃ6'hdd?et/iNnH/MZd^ L !:{ȈD3i)x86Vazux5+[Rp SX7:29.rr@s/T$r孕kR8Bf8ETwPD"%Eu⴪(B_LVŲOn֗A`j(jPLKd}{TWۜ ShgջpmL _yJ HЁWт~Q᫫ڤ&/:羳2z@ ьfԂ@5[A*eWx[Q/?AΐLy.~ z+N%2jg0M7'ʖ:-DgKZk I{"JefzU?A$!ؓJm"@+#8R a Y$P\' t܄~h˧7# =*E^#i -T~~SpNG瘪yOUx `.ҁdngIvxn'Ǭ=4ׅt<m#簟=楞3/G]Lo8| p3SXo-|P7H5Sjy15/EnP4^RLإUkfmI2RJD_vqĔa,Zg@ 0~_O}Cw9(60+D¼îi˖U6}2Z@azT*T_C6,"-苿EjOqR-Gvñ lPfS!k# ^Z}4ymmo4-P H9 m1UPvR AeU$d[&t4F9b/E]*u@"ns[fu%PKF&pq>|X20,Lkq6KjDï\=>_C:!㜘qӮ#`>,͉S|RXw|K)~#5.(/pk[|+&W;Pro*p~=ѫ^9/yx F\ ^ >&ko3{ŰcPkFfÕAKY9j:2HK9\ &+ Mj%$٥w EԌ Cia\%4D ̊N"W5{ąy=KkNZ?3cvùyV/Zeq+NZ3^P{!7N=]ċY‡Cw&{#1/[ {eaBd..%aν-0g}c'q] L㦔'-5] jmoct5п{qdvo>C0tRU*hu9NjJXC?ӏL=Dti^%dRRФ^d9yl_i){Yڑ y #a[wSc.~՟#3LD;;R#8=3&;ybUFq /NdF~LYmwP g:wy'\Am} QP}MւK{ӣ8Ș RSĸSRB eϭT7:v ڈF3FI+-z@qxL}.5t<}$0ZGjZ??މ\ww)T|Sigbi`yG<-g Rb4^*Ɛ?_/æ[l6Cn?C0J ;g㦐^B}f­R7R~>pTg ~|~-I>}leyJ9gRݣ˂tBg4yьv Ɯ !tx^UTt Ρ ~ؓr܊1V=h%n-}b(؝Șczvu\2yxS)"[S=V u)9V6.kL=Q_U[Ph=ҖUeIaNbJ:I[HZһkf8-qangP%Ts$F̺e~Z9;{kl(~浴xZ [yĠ -`װVb0z*SFLF^%9`v;5% m3׺a8e&+EF|ۙ^:pVtKhK@KEl,ҙ6Ai23t/rc4z_r~Ṙ {Ii=N]Ut1]K;jcr|q=<dD[_.W!ۭحU|\oĿpeD&tus[D]zG8/4g3tUIIt12-HO!-ծwcyF`{0aN=זJ L:Kް\VC=!v3VlPc4$DFnj̕LWI l!;6qhSwNny"6=HG>.k߳[;ŀuw7ι3+&;,x#ilRc/z3b`͞ȡcR_\ݎ8șNF`8 -}.H@GD͋@g^;'O vN1L^4uDyB ⥁ŒX78${NrEq-ɰ$&,lJ@^j@xMBX}v|rfa%7W٣,˶*%t0iTE0k_աl׺$!BWmbm1\z%P |HV3K $^/@h+Hq0?]qZ]Zsc#Ct(֓%EI(50kuYUGJl7 ~Uv"L]4 qlr&6X%goK/ ]IEw$T~[DͰe4=c;L78*fVrȫuşn*Xԗs$oyiLU zض*^,تHיkq m+?r9H UIf;2hqNlR~v争6u-mV׀ؖؐ ѯ6s#VnH'o%e s sF-FZi5r/\[%Gdi%dc}AB|jrYBK >IzeX) Ej9y'34F'nu&\Jڐ7[d-v=3 ) d+Q2-'-vZ|I6+tڱpxU3H;>q ca€̭QsdGDU,DQ4]Ō.AvA)n^bG9PzV1af6&/n^:D܂`u!E00ſIf,)[՘&@ηdCO oO>~0ah'JJVΣbH^!MiqOGKj˽qzI2@8dH<{&J )£GrTkntݾܡ=499]Z$ż"nv4+X y9H2 89g-nP<ѱ{‹K>whQ(FNFugHC1l}fWyJo7 {#!dVxchVp/Z'x mx`̒׈]=uDQRT"?`)1?VI[-b^I n#V72^t,cVi.FMD{G:WY/.md9d8]~DRc"gz,>Ac>PVY$։֓M4v}ƕBRf.H%E;~otC# A9g/V*#-?H> X MO=MO'Ӎރ:9rg4Wy}PY ShXAHzT#o(+/;_HCPFggs^m⮠AsMqjv(ӡ2wE'B zRWI1#ZŊZ(z!",4qBtQ+\k3K9MD`/iv΅<99]ED7!$_-U%6~qL8QBx6dm\g{pLls2Y+؂9{=H)!\ rzu!EƄ/U}=rjnM",tQ-G=0 cBf2+eϝNۆ;-DQ8)j44(QRZ~|۽n:<= 2rQzrD~h*Utޕ%/3(+oh}D8qZrΜvY̽=KQdϏ 6/fIW:@Gp\qn]=Y內z]G9nЁnlf *5EaeXdr):?f)|xz`~6h&˜'4I`ޙW\7p^y=Fus_:1|1" 4W9 qj~ͥ #w.Bh=Ō< u*v Dz/QXnxP0go\BA{W@KRj55$o5 "%SWTue4Sz zN0%bTѭF.;0YZ 88||%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4`z # PurePurePIDE/markup7zXZִF! ]]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O5 d+pXw$M:q46Uf-eBm,I;l8Rfi:`[6'e0O劢eʠWQwfGzڣ, {XTEnQv.>;n5b4}S;u}b?'VǫYW1]ؙ>=yNAG6}O'aJ. iUM%M>{GR[0'29# fՄkE7GX&Fv-oqb E]_E ~Snp䤔&c wt/ɕq *j&/s]k٩uϵ",dh 0g9A6ukcr42ZO~MQ%6^BIkk58ՈUgx֞?P$f%*dĈe(WzzIQE5פ}q G uVT]*TL1)ӊ"D!c_ءO ~]Dc#dAfla N^qZ.'z^cdkUɗh\eWVYgCDC.SLl^+>ڋ6߀Bt<5Hb(nC~옫3.ߚ|Tr7<"fYJ2.~_fIƴ<߅A aN5ΝYa _d['S=Q&IOa0qh=]O^/ !Pd>H>w<v)NTAn9{oMCl3(S96f7FΆ C܃39r55!"GP\XN/cz g_SDJ@` Hr-yEiz`GB'd2]yWFjT-BÅ65ڨ.)X 4 A"4Ҋ%xge)llMoW6"ոrkP"_s1OC ؋FlHIyckc9)ȑ);@pW;. |P ?Z]aY7.:x#"t|B>Y| (+yoSX\3_)j/eB՝dT~k;)YKaVs(4w|4sFU2F$\#>Ds&< ؛T ܅f:ɗĠYJk RО'm,09ؘTQ`}șB/tBDBYF=dA'.m(Bng.Ck[PQ?8#-8pf"WRܞ7q=[+ƚL[*/ޫV}o9nd2pQO! Z/ 3/ ":'!2>yM7\nN(L\1S]([I=~+3f!ОrIJF#4ʱ{ɻȵ.ڑ̰e&Ўn3C QYR\甸RW o:.0+eO>!$guL>տ1 6- 2?i(FF5{#y(ɵhEmPѡe usGnyu#9M!L- 0KGkTd'ZOVP96.Kr oqWIƾm6+SgEv%|}ACr.pԪiQhMsM#vrAS )siO) hyx9,z} a]>1da3|ɥq` y[ d )ak߆ubP b8]΋ Mj7/ j k"6Xd[ ͳV@)o:K,sۨ|ª2RiB~:WO_ 3cײxV׎J֥RƮ ^[CU< AVړx^ߴSgǀ8FwLVe*;.OG#JΊJ9^NDFA&)DUObwǃFI<A,jfd=b6?̂c<% =leJ֍Sho>}0`3LS޽*L`0݁"L}I0Za^*8Y;oq|WS?C8 tGSzμP5KA]P?јfa y0od[O;Odynmpl.3m?]"k/{y$BxU62[XgQbnlQULKe-Y)o}%# $PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔzHҡ̔=@yM13@i9i&e51g%k( %h9}cl1l|4}İƈNӥ :KY8no@@HF]e<"nvW&a@w:0>Ro' V)wNsp4`G+Xd_?? ۷ɠ ߧ~- e1=mv4ݸMJA\3pyֈm QX?xӔ5+玁^/!԰^ȚROܜ #faG:GM)mMP6( !8`~{h9(q=0cri.? ny`x"~nH9u _XD<8if(!4mK=)/!G98;[,7/>RNҢrRzXN8b8w0H[kӯ˶߂O+"JoR"02$1ֺkM'I5ynC։eIQ+skNtϱ QvnuCo\Ȏe꿏Vjչ',عz YUrd64ğ0 P"epԜ~ʻ޻]%ʎ"я1lVH$Jf9 es8] 2Nة aF@"zG;j Kx7S=݈i+2'fvSlYl +riHЧ& @2zchD*niHn8⯯@uL AVbTtsoR"]XԄ.d_n1u+6oFk>8EZ ;+:+Mrj03Ō?tfdm?|18Wſp7\ 2v ϻE#ϰ{Xf @LqֱoEXս@jaY ^۠2vd|k k2SJ;꨾&| Ν:kC4( +ˉNSaOLX&OjJ5FL.S,hk`EБ|b̃> F;owTƥQ: \ ؽBмKcPA//$7Cfl$!ɾ"҂;xxЕʒ?­;P= 8^90WގbG4OXkJ$A%<8QDZgnxyW 4@x˼LQ' o|8bB6Hӄ\MӠcI9WZ\ù6wd-8|Bõ}N%~ 'x:&Wɩ=膅qDƪM6#`\vNP'%|^"Aӑ_Aaޣ\:$0~Eѽ[n5^e|>)ؼ <Far `H}J@"}&hW’Lshm.t]ğ Ed~Z,A >8=F/@ KޭWMO8g9( ao\$'al=ӉNCΙt$hL [@NK:5c[L?C`K~z]"1e~:\2QֿF (n.JT[86Bq}!kVrٲ ~IͲgk~{vϙl ?_"Zia.m5#oEru^veGBYJio9j3MQ}GK{^䤮r,-s N؇k|I٘ k5?y%ƻ+TԱ{V!j=՗]]&")O^Kۻ² T4U(]+[|ZGOBgYZV63;u7@dGP&ߡ G/Z;#1@ +ϤfVEQ2[c0ڦ1eE`BjXd~M]p쏥)6+D ~7nC<('ዢ%^phZ<`ֽ04v u*{9٨M}#5j_)&)+A`qnMaͧ|游^;]Ĺ`DιBvFWӨu _ʿ&w|GA@0H|0+ Z% ;9Fw) gzkAE4c%c|0+J%}nA@CgzוE@>qL1.SUʨOXCS׬X'v5qYZJ_ޣ-X3rehL*X3CgiۥRy4xnK5s3yp gRZJyLD3&wg \yg(|e]8C+Cq_u:wVVωMJahiIk+{^ڡ)lI{6.Hx1/|39ؗm_݅结?kn䗇]Hf"(@UՓ<U J2%i(R I6µ xP"up,%.Mߥtd"*]!ԃk/^*Y./:^rc1s&³% 9k.:vi_MvpI9dl+8Pmvcc­Z0m (V#hYΝQ𣅩;FȌ$ _:"h;*܃[cH)+I$y4)`>M) q|. +j=\(kbqn-U1KXWI6&D6@>dC(шW %QEμB0O/A2@(HqϜR5q),&5 ^oދse {4  _Cv/X{4}?NڶnFC 'J,?AF:KxkD8Qv(5ƕzKeUpDRhQ׽dR9w$7G ݭ6vjCJl X2^9{rƠ_nr66TxʍCo'hwK^)(M9s'ǯcy~sWYd|Xyg1Q h7SMFKXj7/e!ynDH(|7\Kֺ`vEZѐ?c "%-4/Ugs7z #В-?Y"{ʺ@ K,njIDsZEkenFCB"mc8 ;!z6.{1Y 񪝏g;? ]C-O@Uڠ8hrP ύBsq[ee$>`qgK}$1зAB1Nu](d7-%00`]V YyZM}{#,#U╂u#ݟp"]oT!؉\Cy(h((g^R ȱgYZ\'# |PurePure.SessionsPIDE/markup7zXZִF! _]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ7V$~$2?+N[`bz5Ay9h6][”3ǯ7`NC8 le$hHOg Z |Ove՘$aO輊gN0~T9|{&N]p ?j,b L?S9D#6g CRHhH DJ7V%/kY%:VBvDG: wUWeR4~l]",$,y.&u 2$Z4 zv" ~9tA9Q /gپWm)t֮X CY^'QfSƧx/HT]a$}F2rjrY`vlYTkXLtsk[, MdJݭl0n sE]u2cT BYh'$BO9l(. N- tF^_(8XkK}_>oӏJbFs A.54$] $gp*ykS>a,e^ԋs76l0qj:TMiRMocqxjDb>b+}tB\QFNvfv.j7QB