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  =p|\ ] ]Pure:threads=1elapsed=2.083cpu=2.271gc=0.0007zXZִF! x]ŗXiɟHVҭٽDFկJx-TA SԺ]^Ko;oǀ:q=$2V;V@[xݶa[<3;ͲGgYZ7zXZִF! f]ŗXiɟ˚Ћ. k$wqǍf[I,Pٔ6Q2z"X.,ӓ"vn{\K ܛ*'+gYZ7zXZִF! " ]ŗXi%xs{yemfgI,[RfmayJm8?_(}$Z4=zz k,AjxjVeAa,`Rz|ЂְY\sfHChf11*;.]&*xohs& C]Ḱpv6dU9?p6-hz>CNj%m]4NL%5hhFPa䰜u8Q SQJDʍtxpId I-=@\嚎r6dH135}Cm[hpIT/Àx[!KM= BZY-=RNr݊zHY;^//Vڱ IL^Bkʹ&c&K\4brSd ^\1*ճ!X_*-DOho=Rg4>G 1h:k YN|4Dŕ:Fexow#Bw.)F܇ )዇!Y:#~W 9cQP7t!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/44356g%PurePureproofs/44352f%PurePureproofs/44348e%PurePureproofs/44344d%PurePureproofs/44340c%PurePureproofs/44336b%PurePureproofs/44332a%PurePureproofs/44328`%PurePureproofs/44324_%PurePureproofs/44320^%PurePureproofs/44316]%PurePureproofs/44312\%PurePureproofs/44308[%PurePureproofs/44304Z%PurePureproofs/44300Y%PurePureproofs/44296X%PurePureproofs/44292W%PurePureproofs/44288V%PurePureproofs/44284U%PurePureproofs/44280T%PurePureproofs/44276S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44084N%PurePureproofs/44048M%PurePureproofs/44044L%PurePureproofs/44042K%PurePureproofs/44038J%PurePureproofs/44034I%PurePureproofs/44026H%PurePureproofs/44008G%PurePureproofs/44004F%PurePureproofs/43940E%PurePureproofs/43936D%PurePureproofs/43934C%PurePureproofs/43930B%PurePureproofs/43926A%PurePureproofs/43918@%PurePureproofs/43914?%PurePureproofs/43908>%PurePureproofs/43896=%PurePureproofs/43892<%PurePureproofs/43886;%PurePureproofs/43882:%PurePureproofs/438769%PurePureproofs/438188%PurePureproofs/438147%PurePureproofs/438126%PurePureproofs/438085%PurePureproofs/438044%PurePureproofs/438003%PurePureproofs/437842%PurePureproofs/437801%PurePureproofs/437720%PurePureproofs/43684/%PurePureproofs/43680.%PurePureproofs/43678-%PurePureproofs/43626,%PurePureproofs/43622+%PurePureproofs/43620*%PurePureproofs/43564)%PurePureproofs/43560(%PurePureproofs/43524'%PurePureproofs/43520&%PurePureproofs/43518%%PurePureproofs/43516$%PurePureproofs/43466#%PurePureproofs/43462"%PurePureproofs/43426!%PurePureproofs/43422 %PurePureproofs/43420%PurePureproofs/43418%PurePureproofs/43416!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|Xm%% TPurePureproofs/435187zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0_az3B1pT W@uYDN쿹gYZH$% dPurePureproofs/435167zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/434667zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞G'$~Kza[(lWgYZh"% $PurePureproofs/434627zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wc}Q u  1bԝveg0gYZ4!% ! 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/438007zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/437847zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR_BGܗpK/5V^EPdTLYg겝D3agYZ1% PurePureproofs/437807zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/437727zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aq:WDӻ1o;s|fg  SgYZ8-% DPurePureproofs/436787zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i);g⸅5V?[\뵿r VgYZH*% dPurePureproofs/436207zXZִ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)% ƶ1bXⶕs_|:U7> w`[՞=#I^3NgYZx&% DPurePureproofs/435207zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&rgQt]vr(gYZ  +   ng5* B% PurePureproofs/439307zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰW+;>! .YwZi7k`D5\!8,4 HagYZA% dPurePureproofs/439267zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP K[O}Uh% ո h I*gYZ(@% $PurePureproofs/439187zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%QdQL)uR.WhwY \gYZ?% dPurePureproofs/439147zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטz!G-% PurePureproofs/439087zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/438967zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|PrmH ߟ`sEaMޮ`){qױgYZ<% TPurePureproofs/438927zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*q.:,n94@Dzrw.oa2gYZ$;% PurePureproofs/438867zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/438827zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+h:ȱgYZ$9% PurePureproofs/438767zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|8% LPurePureproofs/438187zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gy^4t3Sʶ ,gYZ7% |PurePureproofs/438147zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<!t:;K$ĤbLa;W*mA' .2gYZh6% $PurePureproofs/438127zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQuƻ1?"4 Co S=}fJWd"{}&Y\VU^pݗuW&l<^XyH)PiyFjjvMҨu0aU>`')ڡXUNZaTgYZH5% dPurePureproofs/438087zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lM;oljJ|CC]NnI5LmL6ȇ7fαgYZ4% PurePureproofs/438047zXZִ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-%M6RTI f+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&B)bGpgfAg/$meHޤ(K ygBLp r:Ra5LÚgYZJ% |PurePureproofs/440387zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛH 2trse+?R<M 0T g0 gYZ\I% PurePureproofs/440347zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zν2_A,Wlՠo0Z+ ?igYZlF% ,PurePureproofs/440047zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/439407zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoBEL 1@SWڈjĶgYZlD% ,PurePureproofs/439367zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^ʘ:BPV* J^&\ _k)gYZDC% \PurePureproofs/439347zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z}Ud-! &EU7id=j4m1Ties` ~+gYZ  8 E8aatb% ƶ1bXⶕs_|8*/cWĸDFJ]gYZH`% dPurePureproofs/443287zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞GJQZ9!:lWgYZ4_% urn"gYZ@^% TPurePureproofs/443207zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H%/q2>~HDE!V1SAgYZ@]% TPurePureproofs/443167zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/443127zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/443087zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/443047zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/443007zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/442967zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/442927zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/442887zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/442847zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/442807zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/442767zXZִ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ԫ .~SEN Y _v>ֵ`KIr)9|JOPt@3r}N#z)S>bݸF58KƋ0%ڈoSFԺ)5)1ꉮOy,mz%8S/M?þ>05y)ہ_1z!%:'7o\qp%y7u8#&ea#=Bu߿beЁa\.kccfp38 & k<9j!ȁf@#(,W ̶TXb 8iSzhWkM_a6ꔰ&J %I/hD}y WLΧ¨;JGi.ajl݈4b$CCBN 459(Z#MXۃB@B\|ZB2/</:aL'b.ںN`pʓ*+eoteT.bAd[%#2?5el@z!tdt@>tMW|tGR<-|EXrC~y'MurJ<0<\U|6yj{ 8ED@iõmzaH7#i2vM] Dv])Sq#߾ZE%{Oh.W.WgD;X,g/w⤄3gV9R}{ş( މ h$fj11OXM;8 6Ŗ{-t1O,G0;rxg{&D#MYD1!ИG*(STuݳ ]I}㚅A>PȟM%K_Uh?=0լ6^je;Z&ƒh&TRC̯U~[=Svm'93H` }\^H8pB:#+-8_28Y]8ɓQ)5吝f=W3s]}&;|1(4bV2T)fN'VmgF7/GnsYRggYZ\g% PurePureproofs/443567zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo<ҳ]aZR8eɩjĶgYZ|e% LPurePureproofs/443487zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gy%ޠ/)Sy ,gYZtd% òOF$a mwY7`+ď`W4{Q) k]8lqbv0e[S~:(I`,6OӴ-uV.ۓQwCknRKta7:vIyq `'DE>j[S֩\k534z^aeu-suۧJa},L2a+C?+%nM^BrcNxe΃Y3ЇN2f=ՏK*>9b;L^1 {ň@sنW"#I=]G&X$_IzA?ˣW)zœ-gYZ"m9 PurePuretheory/other/attribute7zXZִF! ;]a0{rg+5\>7yc3®vnݞƺM)fd1vf|() <v}-~CϬV @hBGvv߉?*4gBB^rWxA# l"Z`I{5ʓyI"^;A-J H׶.>h(1TAM ,( (\a5xm & OP >3ϬG-Xh %-E|[*"+pXCђ  1)M|8v:#w  NmMm^BC` N {ze 8fbMsa5*} knU[ Ev;{X45A@}ܗiOr۱(}xqbC$!3\q$9:vaz9$ {L+؈?\=}QdùaYt[1;I AW n1dp8.ѯ`C.F%yD tP7hAsQwt#jP N攦]i9f+s] 0
h5l A,c!dM:0n+-ܾb-HBʞnkBa ru VBƫYONrjIR,lS|RbWϹvX&0J0~EIq)H_tV.EG9HT\cExNaRq3of'MQwO\BYiwBgks`v{IIE&'S(G S&l o.` ;IgYZyl/ (!2p398ۑ@f4VZA;7(RdPu~O=;+F水:\\*eb*0N: ˀ N>,+"RvDu bPA[M@ÅzN~h`/:t$`vs^YPI/2p3hy"+a"ƶ5I<4Hqd5icgYZ9J b}ŋGa`Q6|^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}<`\phD2KLc?R8֫.Iצ0oP։t^e -X%(75.YW@iDc'Þsǿa `NӌdJ_Wk|g,Cb39~'V >e`%h 2t@ǂaǮ0Mx YPIQD82fMK vҾïda[lXΔ=pw( !"c6X'd` dJ8wK%pJ ]\3@Iz<ԵkVOўGAvSXmƬLxQ>q[.Ȟq4")]LZ(A;rQ Vg8Ii049O.`Ԙ@0Wsv䓻4KYFY;>w"1#+՘~c%P!docf k1kte>|;:Co.hE #\p#T-Vמ^nҹO&|&0:HIz.`$˸?+i*F]!esl(qP[-mb] (l`h*uXZ9F82HPJ pA*ECQ :|kQEr0c|s1-[+cb H},Ci?xmV$ܺin ,*yv3X 5+4}E$*;'Pg-&+u6.[{[(tW/8:*/Z P>`P^U?%ZE qPO e˼ѯmj)w|[_#d ok{X%Ï}ѼSCc0/xk)*+MpN Ŏ-bxfL׍Yr'doչeui`MQ0khvlex̓$`13|4IiY/nAI0ŃSB`__R?XD_?T|cшfaa.-MZH}̏YK-h`E4z/k帰<ٶ m*ŕ4&  ?g1wY7ȸ"Q(x-c䦁gA! aBjR7EV7:َs(tW5y|n`8>Qc*#&R<߶)5SSwk]1-AKb/|ֺG'ْ+83{VjYȹcʞסmxOKv k?VD LtVX'#ԮM-;*O+UHnjK_:0b)7l[7++ ^46Ͼ4[Б H\C瀓ápg:2?u].|q)1q3&0~mQ~@Yg0V=ټl/"BfE,KTkRK)edT;&@VL@#وZ嘜w6U˧ndgl/F+Ȳdy[D^ ff 416NyoV)"3@6FQM Kh$j{ ܶiY4 Xn_s]<9知s?Z?B7DRtb̲8Tm*c;eZt% XaQ2 FF , N`!9~`Eg`&ɯ+2hWV$/BX[`jWXjL1\Ę'r`Vx/:qdhr.VjgD{bE|x~~zѤ3/6*)IuxH8uTsc@ zhpYdv'MZ4Y 6N[ԫΜ?Ue> ϗiU=.N@Z(;MJGym&(@;|ςydLcT<IXmiqc}0q^ڼ0|ÐMy3G{JvܙJѷHdTlOF:gawcضU ]0օ*Ys=]>?K9?٠FOzTFvCdD.{0-kZf+|W3l^x'IġJ41iN!Z1@ɶ~MA.tg:'qP7)p<{е!LCrY*b Xst1 nXSޏ9gy8 ;7눌/P/zW΂HEcİ?lG1..Ws8Y[(ݘTy kJs>y-.248cF|UN6/i7J0xr\j엤RaKN7ͱvn{Yd!L>m9+#q0FҮ-N/#;b'C0~Db>dĐPl>ڣHB\y5 r'B|%=~`Ŷ5nT}qLk9$=PּC8ˈJFN9[{٪KxObIG-g${اe|RIբȜ=h;gF/NqLz6 !fS]z7B͐ ۗ$+d(:[Гݢ0n.F!.6:t 8;jMLr+"?e&TpL8L$s*y+Li<+.C%wc`*;Fu' $eJ탈Fph(g8/dp*&&& ;q&E'mY~ur]\~xNѕ|ڛ2H6OX^/d0YIDASՌrz?s ڐvNkzpEgBVI$6X-3W(F!5"TzƤQ@RfeǬTk ?h $Q9:%'Dqm>kr9g%L6iD-q~[@~.򲯍,/ B9=\Pqk9$S7 [Nl7|mS>`G(+.D^x ZpkvTsz7y^oy" z؊qE) X_WzqW}J-JO7n4c}bpHC"qD9۔)K&`#H\(CP];C=gИ;^t%Ь-1s4Xz?Ef_U{U]T|J};eUJ6B2 /k ߼_K0f5SLgϺ`nҀ̍ihK|zI\q#\%\X6_i7M#C?0#hjX9‚{O(D`'!ФWa2OB_oyWmѲlaA\nL<\1USrc0;tY\; UA[^VQT݆0!2FdH'>ND8LC&*F_/E:%2N|7XaZمG\Jlc} *0=א+D9ž}'.s5i(=K rgvTSb<31eFM.L(6LPB.Υ!bK͆!Q|0c@"q|bAӅYPm$60 6mt-}*3/a=Rtgu6_\ɐ2ӕãSx9~')>Хjoݹ1QBg=.v>4ɧ, TߺDMB-ְ3J摌mQb..G ejMZl/VGmV^Q8J{n ANVLDS0~X2I$pWwt k ړfav,u?_ ⓈZ..$S0gK.Xm375^~7b87?jp#{9I@ sLdEoux/Srz.B)7RpVPtp)0غ$Ki[q"ȴñUG@[HWFvew=ؽ*Njj4S1,gN Q"}vSu 1J[+A]5PsEqB=(#BdSEM( Fd9I ^շ5my kS6?+m7-~^]3vEʧj5aԀ>ڭVGS"|x ^7)&{5 xa sI6ճ+0lD6,t.$ pJVp~ `eC`wiS TҚȒ2`"qax0U-A1ipx|;‰JRH%ެS.Չ`e+40~D[yt^2 *JO5b5ˑ''V66^l^c|0$T1ߐH2b'X̏L )faco88EUY(f5W x d})}e'q.z]MAFFx3[&*)yԔhc:"Zz^ IIBq7W'sk]-ÞH<5{ 5vƖ= L{&nﺺ%BDi5aσ[@GҌF {OQCk 7֥ >LL_cǤ^>צOeZKyGDj^r sp_= +<# Viʅ3Yk`#H|AS/(:N%CbL#HՆMhPo?VVѝ3O뺈>d H.6:4WO $ ݃$DI?)]Q:y37G7ߖܸO1y~ bfT/ j<1MH2898I#ILbX2q@5(gm$v l#ķJ)>qK_޲`Q z#Dp!ѯ ?'l9+?0Lm[ KB앪`|fvqALɧ_8 FENnaNP'L!L2G.2΄" (/Qa`&ޱDnX'fISKJ4%Aj%Igf#<0SJW&~#! $(nEM%s_A:0}a~+ rYیQH^_c֩Q4T;=[Ͽ-:H`2lN>IrcIlf3]: nNsg6/|w7^vOqh*8$z<2 ;)N5= u-SXAЦdw*XU &Gy :jWJ1um&huϼ03Y6Qۊd!9gy0l㺯ڲF8]R=,I޲,Y5k.ذ?qu,',VDy vnIri4Q\ jEX^iɫ\9^xWC_ήP'ն\@ P JO8C ;Է@ڛu^)| jVx],2vgZNS8|N!qŞ}UّIjUSS7.UE4U W&GmSn{_≲,:Ds.rLя.FɅ+ɕYT- ΐJ沮>UruX/| #; SnkO0T>zԹ%PhĐDn SbsM+sH݉;]uqCWnM27F*vr-V Y\"7=j]Mu(?RB(ez1r?a~q/;wu-@7ؿev!(պ<:aȶЯ-ӟ,m\> !s^0b3&Y=_1B #y$aPǒisc9>}REdR1~?ƅY CedŸoT3Rov^3kʓS{JL_y-{qJMȿ㊙U#Mh)b9gq8j*lK\jRy ~G65GA&,KX6{dc ԺM  N3g,:٬';BBQIM,+͹u$00uO-$t)rz&CMFC8hFjp33ݱ?)xT23Xϳ (y17ETzC7/{ j0ߘɴ#`B3 M'baSV)U~vn)-ZˁH1ֻuxKP94}4@@âLZc/!xpuad'XL]/LoMt&9#t:qVկ2n :Q2垮\Qyň< vYqH׼_ I B Xz1[=Y,8zZYJO1O}耚#n$ >ϺX!*y{ap %|W9Yz+"5^*yk=_el5$- 4E9bȷEDS~#l#KZyS2_M#7@![菻jˢ\/wb#x9Wt_u,>DW؀D!u1WfO. G>KɔP jyhmM1LSjhn.)R^LG26YLr19Z, 2jd 's\۷_6viq&^*-ck$c*}*N$HwK;' V'i{2~"XE(n@Wx1.jéM`Gniխ EE!}/~lm{I!0 (Άf"h sv~kұo"_`I1z&EA`HT6=(oq |E8 ~䡵E˅Ο$VrhWd?I{r+/\͂׮3@$zdbkL= a֬"@4<rkmxw8W8Rs;ϼTln(N]FIt-g21(g5[z-Qf/yTҜ&'kQtƩo6&iW+a_ Ex@Bmfo&$ᮏW$'W7a:%X ɯ3b荖Dt) ?_1^mlZK#-4,}:~fw-E/)tEg{\x%VXHeAwkD{\)n1 ycbGdTk򆚈UWik _ {gY=wQllfb27\AxE#BhEP屒ze{~X(V4U28nV ^k\?,UCʠ61P~xVbܢ 7" 0~KH?jT8G1v! gM# :wW[2.m޼h`* Irݰ] s=9O< j߶1iAcQOm^}qPY 7r>DHRų( +@]OA1[_xBG2] ZF[:eڦ! K>DG~`r!Q/GT` =/.vYm#A ڵdj=cv1uxhlM AKd:=Io.1u\ߟ !΁}4q|#i|Uee腶rӭ$+W@ᡆjrMrg9"O#_Í3)+84;,DPQͪ_P Rk~'ɋ!΁kvCD ֦/D "o ׎ʥlt7TSI5\ԥm;b~!y35;21&FѹuҺ%41p j:9Ӣ GRg+O6(mcx@(u@!{DhʾԡAIcX<}q 1p͵"-ήYvy [Fʰ4^3M^Nq6EgK## V! * 8olי_#"(_([F7ܨ~$"xƢg1b|cC'$P>}5p0V3:ۧlvyP"G_ ꌗg2 Alh5Z+MCD$ybĻחՁ;j2Kg c. awj)E gvLn^uBGP\VS|K.Y牕aq&Ԍ\ ,uF1VpSHB ]5&' $jC~y% tS,t.X@ 7וFd@RBoD\=gfaz)]9)RDr+ ߌ` 6 0?hگ!Zpk>|(-ex(f"2Sπr\l:_P܈\v˜;^+!v<%̽mRヱ_/h >X+'6’"S~>YsGI0:LiMf]Jy;iNWZ& nqE.φQم֬va{>_/@ϙٻG˹'awFyO`~ 0%/K3$wwH@ZcڊydaS[`T۝:7g͝5>$)L QmBû.H󨩹uw#;kQ-Eޙ B=kqygLJ󋦽3l.^N7dr]Ow'3c/'$PJ(9X 3੻0ZKLs|;B0N/' yW<]jZbG*ngzhہysR^$me{6N?'a}4]щR˔'3#C>BĵHY>{8x. gu'v5UT fzRH|˖O-K-nmm{tB"^WͿOB(]Wi0o)]⨃0 o$cCl`#57jj`?~/u\4O>*,d3߱kx ~2PP[^#29١\ճ<LPd2_adt;` c5HfĚN idw@}+)W}?T+Pq?π-e.7Ih9^'*bce3,bۢo7C$ ˞X݊IB",W@'O` pudYE󞓀 ?Scy#P+/:(S#Q?pDa\(Mss6*mzI֏ћ6S=*[J@S1X JHJ.#KZc._B 0K)7jJ$nÆ&;cpnj df9,l_!8o^^4.wPpeJn(e*(P N  ӛ:LtHϚYI:"Q*S}az*(@H<1cE%xk%ɋZi4ZmleB3ZzRw~'IZg*[H󵫪Ǎagd}EyI"GKjIb6P>sۊlNI3qVhoAX^OkEy77`TnKiJ`{o3U `a(˙sA6c6R0`iI(a"1zY˅IQ4+(Ob.F+@2~k[ ~uۍ?wpj/`w4x#ꑤuQvwylHCI(" yiU=}߉X6myo@ϰERJ̀ ̚ܮ=fX 1Wd3+yX^ߤ9oDvaלruIv}]̦f<r6'sQ+IAc Fu,/UFgb)IOj krB3~☔ `S>U%,#Ժd'RӮ;}U- |R$>l=nf֙e: KVL\(Jl72'|KGW cUw@QV{ER{+H Ggk ,a<o[?ZHѻm`PNkͶqؐ킧So5s)ww| "d>pwʲ|MiXJ%]UjZšҪĸ}QKJTXQxq+ Ew ?-lǓiZei$FUP=;ۨӁ G5],1WP-{8oЅ-fzIp$7WYpY`ISt}__k3_Rʘx[ cY+aH1i/:2Ϳ"q-g4:ser'K7g"vY4cqY/6ùe`1OzFb~Ey1Yb"bKʟ\"MOh&.m̬|w?Y6bY(ENzҩ3z)5@.`.F'K/I"qاdAt-OL+y1;/sM #QAteO6t GD< ZZQÆ;8  AzM[Ŭ{ P ˼h $?\F< F3oGA Սʣ%ǬJ*jw{U:s6".C 2HE#|Qrbz ׆ %j>6͕jVȔ5 {i)BʐBF!"kEV̳IȃV#WPjߔ@fqUp [o~<mES?”m5,u?KvSڽԋWXB;A{WPqByJc@_f9E$qtQ̯aCvn2֧>PV};j kUưa6¾jrU%{jwkq40-9bn*gbfؗ~w80sr7ǥ5j8OK݁awG*|:n WKݛyj^jBm؛J6s ZrTк*տ߀&Zq[|Nb i 3!jk=:? 5^U&Y͜0=+BEۓmP7 26 T |3#SXi|bʞN6۽CWwX@:q#pcѸ;;pAC(x/5zCPl% uC7- #Sй(x c)8ek(;-jz-8#ϨpV8v)8;Qpԁ8% P4#s㛗XOc0:5নO\ FW %¦$|U{遫yi6ulV$a]Z+i^&G H hn~ԨtePd|l903`GP =]O (Ԉ8Hd( ͐D~ FUhC siQWH;$˄sFpB1Es]uMJbȋ!3>k[y]UL#S-9T;bgVYK_ś@P5+_E:9iF?v}uk XjJRf5|Ɉ2Qsցb?2ۼnKY7yK 7KY˰4=9ϦQTZm#t´c#шM)M5ML5WjH`iI7ʘK)*jyHRj'W`<Ǡ7SV$`~]wNdLZ'f5vԎtA֔|dp8>& X 97:bЪ0'>wP7> K^}W'.#AGR?>p~SdPDb?\e^2{FF3Q_0P5ŘKb@A_(%-Nvpn$HԇfXW]N70s|Hb=n3wJ7Rrj*'ܷq9ϙ23,.HMj'G OL*>GAkk{\e?ȃ]Ѳ`Kw>֚G  H$!Xv:_'O^pڬ?i>v*ӅI7&zW6c?\56^OM qUcDg+{+ ')xdսٮJx'=ry,3P&Rm1 k!y3ٿb: Xu\-9rO&Z;ln5VÄ~؟ Kg8X CYgrΝ@Q tā?}H}A^sYnm8O3_e\9_Q{nlMziWD7 7gQ7VOՎ80ޛZTS)wpMDm>tdwd(bb\CCUp3o7r[UM&O` PX̤ =^6|娷ĪA8L6rtoN4ڐGWg$Z$uCw|{.70j Кz͍#Pƚ@)6/WV*3Fo'S 3*:O\Qv!* |({rk.O ~Kc أ`N;+9y=WfˬH~S %xK =O)-JnX@Eiݧ&NKs<&TDQF H@Ûϩ껻o"}VTQ kT^ׄӀΉ^c矱E7P1={,M=OP+QY4D@&4G,vY8tbJf0If6BO\${(Eݠ{.HRY'QIow61r&j P&~V@ʞ +2*Y!uD}<T͛dG- XRB,VW8A|aK;sWF0T5wj9- XN3Vz+ѐ)KV:9Dք57|Z;-š\hLxKB hj-4vp'[8=9(:Xb9V*Ϡ/+I5/5rL`@g26Ap6?Ҷ"8񐈏oc9]ξ%sƇaNj&\ ȗ@u%#Wg$K &&!dpΙ%MYx/X 4aIf&>nX. q*m /+ia(J/z>|S?]O60]_FjQomE֡M7G)^obpPU`zo9T!-? IZ;%1f,s3 Q n)nЉl4d AύJ+ \#׻7.S?oHzn )=5SD3U 7H(y/fWT*쎂}U,sTm%aF)&ٳzb7c\HOB,$$ihȁ"-dI0O'[796E׻Ja.3z 0w4]*;~ؔYQWYpj+zD҇.N؃JsUy UY޵/# يL'rn jٌͭʪY/l[dA3^Hsi&Os͜8*G6F`crc[.o{'98eR9E\ݱtګMAxm^³>a*ԞW&z4EVA ~v%??Ǜ; cc6ET3~Pܧ=6Zb63)y5Kp6^hM򽇻5_0Zv^IO>V30{ z,a9o?7mXiKtFB*!qA4 GȓPujD& ~9enFn|~'|DUSFO֞'R ǜwC?zס5?Umh*r.q' j'kiT~&IٽAm˜MVѹdҤwyڡa?Z / e8 5\۴V'co+#2gW(rPHʀ^g`",K"sNIK3'L@@0z8pFܖ%׮|. Xx9"iu`=ʴ>i⽨GݵLx`XiZ@v>k-aѴOf7XDd?b33:0鷀t$U//p+b/?|hR>F7lAw אFn;RddN68t5$VO;)sd؇>,Dl!cfXOMwO OwɻllI+*Z=y:Su$W$!m ? ԅ$ z{fǽm{ℑcĀ?xE$kF~,Hر 3*Mr}{Yf]]T޺/PiApA?&S $ա"紸1*XS ~NB^mD[$CLQ4'',0E ]mTwׅOy9n%JL,\IBC;zyKFU x2Hmv:-`8z;ڇ.{;|=Y6c*A2 \' ܥ.ց#6ne:dp/A a/NFTO>OB7ҿWJdBXKM' kÆ0u+ b8(^uVvCmF _ zy3`ۥ;;EwEO 0k-}XTGעd886J>z <1ܲH)X~g⠅;FD ଞFqd?^l d+&#> +%@1$'OkgH<1(oϿm[yh[O m6,S6i/n/yGZ'Qufj~;JmWr=c!߱h J=D,K}5 ˽#[C#>Q "L2F ђxu=E_-㦆ƫ9:i!YY-՘ djkLzMe',xiGue 7"@̩-Nf8$7VW KHN2[DWrNZJ82k[e("vVsvZ!`*XDž5ݟ ^mZȟb.k9d>W?@/Kٸ"6V]&hvN]+9b 1x3Gh`uot3)m2:N>4&a7>&܇6>;FJAOzۉ Atkw< ,'-`7vH]=/E[ym]R Wqa Nz]&Cg\'5U-'$XX'_ >mڊT3<=hͧw(VIE@voDߺz&Yv{tb/g#۾+rn|cP Ҧkh_ }%լk'I10I|ܵ;blFh)pTp>0n~Z=9,B}^~wR ^լ)h2@&J>ʼnW#suS' 2>f_g^@=|z%uSU]8Y54 k>lTnT778Ţ-bl|Mcse+ oȸI'&D@,;WD!*VuǴzua"II!{pbnէw(&D\YU-Sx oM*z{ `@MjhMi4Ԥ$[tXwm޸Fw0l)wpԨ}l(EQMp >a ICﳴCm#QHg;@Ulo>z?7}E=l.]ҍnC50b"(0sPɓB6\R[OyZr;ݷ `: `bQgT%ժw.]s#E?Ed ]AaVܒFvUi%PU`XK f:хU,戁2|u @Iti9HԽF$ mN|C/3"U%Nw>X%tlݕ7&>W2oݞ)li.aR(jp pi%w_!5eq} ߳uo; % ղ ZR.;1Vx ̏(`Q]G \\'kc8;d1c^C<!<6t|`ұki^I,@~hBY=jJ6[72燤_Z7F 6=?4J@J\iv]= @I,8p\-*L)E~Z$zgZZ~W=s f<R@cm* 5sI;]{2G/瀫%NpmRp]tu;UW\ ,Ev5g3"_! :Z`8u n~KB)8(m,X#S7B Q4 7"JCoM\Io|oȶ ,r[;3:yG)<;C0g~z4x.>`BKz j:^OڔƫgRA6q  Vvl 'į~3a1[WjnU-yi8#'tSnΥ}^%6@C oS?Ϲk{C2fSݿ8B̃].jӌ!5fpC!WL~sV[Lt5R3,U(U ǢC !)S(] v9" _ |mYQ1K[Zxy$pa\i,tY=We%_뒂!?XvU2a.Nпޢ ()k 7lp R%c) za+{>+RWO>ބLs')VNH1|Bk!fqך/'kuBƵ] h݉e?~ W)j Ӱ0g)諦,q+$ ʘM(kС2] EUoUIft[ pa7\Y6ʭڏ9Q5}3y U9oF8[+w*K΋IAQjQ2UCU$l=_Z3נ=30#o8E =gdF)]sWP^0&Ed|0v@pO/Dƞ dbؠ[̉UQa+V3h8YfrjHq)S,DL99 X6c|"s l\c`VwJ.:7os}nda6X=ImU8ty$3&'>;:!!V/!bs<)ܐ;)f[dgS|ָSVVp$t^cp4M]|_Ao#x|Q ,) G RMLꈋw)t4]I\ =Ɖl؛w fT, na7t=HZeNW:\gG9JA:CΚDvlxhRJSg9;_(Z*zMeuN^Ipo=/d'X*)?Ӄ;maR<0F]BTHcpNd`l c(_<wXqemH \}[PY~=T# ))HݒvF&f.9 &{Jzi?ЉGJ'Y%y1EbdC@ )܇ː*+Sqϱ ;'WX4B `ؼg.?֏EAǪ?[e7*=^TJk\zt_ ~,H6)mA ;7w+HQ^\ui7ڊg{G|-uW"i[59 >BT6' XP'zb.7+q$u9ERpm[d+3mKXUQbߵGw}7:0Pw*E \γxuVdH}x_nmAw Ty->goXN1cԁL[mcbc9XXWn1u!",V·9%lڽ  8PXu3u.v iy#vl5LM/qڥ$ v9wDMnC{kh3sotsF?(ugu+lߟ!|vg;|DdwF5t#dƑ;g,\k}i.C!AAG"h[أS^G~1-AWAwzm;,ǟG4KE$R G҃|*xL%6(\fd9J`g2Q*F"،gԢ=&L(2/mݝ]jwr-CjLϬr9i].\<.y6ЋCfbӶmk>f! vӃubM/[Yуl_b$6 AѿrdbF6ܲ^#Jna5Y&ف0ʭD'H+N#&oGv{h.?6_@'}ZӘ}PoF#C9LSBm `2oO$6X 4B&FS3hb|kjea.E)ٲeW{/߉9?u>7`lJDBcE vt'1\Cu؏uc N̟ujJGK/UoZ\3qE+Xd1 3<:Uk), NZJ\LDN!e-[5үP'Zu`@'E)qk۔C'0GKv}m2?1uLV2dm "@w3X͙a4WXD/gofF7 1jȩI:5,e](P$9$)EJG&u/(pl8|ŏ?MwJg\x>0 3bF=oW_Y&a:+jMaZi.љ4~VG;paefW3_L/VSQ) 9:@j*:4HbL0Gs]=t@%h"xh5Bm\b;opH'(oF,Mx<@KQ罺YVb$?Q\W5R0H6|wzG>@}&zY|3k;F.DD6ܨawԨ! yN=+ M>ܸ,O>G;ݑoaXc,D@ڨ\ju<|C+v$P(z-R;R#306%4__A̋3XFhIK!x6Q<`JK8~xIgKXJ8fҕڱd\.de||^6ho(溫G鶜(hW=r7i}妪ѕ` Sӵ؜a'3 pgpg "u71XJK-{vi|u-n610_)-&ل&|&]oWScvq->[tN6X;){[Y64BQ?U +Ꮫ ψ?{.Irg1?}x!F>=?EFLTIgeL/J!bH~@JgF3kH)aދ'E ::ZdW`U_0̐%&yA]~Ac\+D- _ݟ$H"0<~CfҵoN'3mt!\̹?pˏ`Lѹȋ\wjɺX׍6H x1'1!_]W EIVi{0ol 2 E)Dxt[,J޷\ք;wvNg@Bb5f.wPϨ Hi*x*{SAWKxi[t=}67ѲWF.VS}h*P2MXSXKLdm/KZyF БGr˕ 8OT/?'Zɦ~J/g'@ŃR@c Ç\[ MJ-OƘ =YbS'{xbg]@5G,^x@ bM7 hrC΍_8zw9'Y:> ;A=,j.9%@ʾս2m_:Tg +1@;nqKaд9h>1ʌuЍs'X)+ĠԲ|I]Eyb") s ][U0Xr\72"vW>hs]_)wwL&R(ɢXWVnՈt:Y]$@,t0-Adee}'Di]L~3,"UAi wc,^- 51kϼ*BXxxL!N3KμByJIi90' |ar.{+M 掱U_rxK1$SAJ]D1C֎˾Ɇ c д0X* ϓd>$YaK+fĩ|THݍi7`P<'"=p|_bշqÆRK,('ڳ7 me*Ugz-eHc~UM |uLʴcowLG+89ϼ %V Nɼ*c_ zwM!Uss,ڙ?ye/r8ik8(dH[(4_,AB䶫Nc#Rs S^ft1 0оE[øg?e&ǂx$f7Jv0]~ D1DLWx|AHs-~IM%^@6'(U3mH=C5PC%fųCPWtt+d-v-ѬfG1^ }G&"wiAtJLXǓm"K Ʌ "R=wGU}@O\zrfaUfANߜpY姕i^nFL:9!T-.[Q1#HFS;IyLrzy~:J6ʷ!984j|%'GF#􌷮EJ   &U K2_6 %m*0_N}I~~r&ɗ}- `io_E{z6W;3#`GX,}f% V%f&!U'^!453R'/ԷU*Fx7ڣ:f7}ؑKhteT~97ȥ1 q׊O^;ݺ"J3 씮=9\fLʗ@)86Q_J k;8>Q<JV =f0Csieo¿z+˯$grTkHy#hωIk;{neU׎uPuґtqCzTM6^,4D=39"&frrg⻋nj#!,;$vbK6}i먣ī1aw 'U3viW6q&wrm#0nUbDxA( h|:^,{96^s GR TcQe <u ×B|CrZ}zceo@r} IhNǁ]G  % 8j:˒/ nBpXXKm{ϥ>!2)=X==93јU2~5։)9߈ [i/*_Xt(x5Q@)Ieጲ>d >S)zK1x6pyC|#H{墈^r4bĕkvR zH#T̗\YL4Gx";UXeHx_ Sh+W 37!}0Du#+d?^/D?:pUgn0_dEA .ZvWu2qxi";isaa'r0Ҽ4d3z7K>v2DtP!ݴ~Xd4 nQ6˫nH]+*nqJ2c\}]eHd[u6x|Oǐ {g G~`?=JPĕLA:@7ZpV8nys {Dr2~HLV[ntӌjo5cu fPb Vƙz}Q'ݦmBTKF@W(j֖jNעn~_h&y-;VUX"8aJ ]ZiF8{stؖ Ml?LDphpOeA1Ne`mL/6##x4ԶvtPSʛT_#=BBh9&nFOiE1Ϗ Fn)rE6l8& i˩RH}|a}jsB\>`iAp4B}'aAoŔeZG TXQ(,=2&Pӧ$Y1."=f?TuuijjBC}v /"C;ٙзn3^v2 Pv]eqzweeđۻL1G>;d ])xbY +usdMl= p]ik8Fyu0M89J-3s!Y9|B\z?芠|9Y qKIQdSv!\f 'ǔdCM_!8Q ڼZ k$jC9SNߝs;kגmc>6IAϫ)bD_3t2N>@SUKh .Ct:l4?Jd\oX9cL @c[a)V$J"scC[WEi7&ի1@N?'Yu(ό: 5_MifƦQ&eAm?]'䥋\lf?Z#)4?J肬g}z0Z JPN9 QJoB'r=DvϾKKs>ڔF۞ 8[]J@XQox!9йRW5rn?>33%R)--m! gW{^bE^M-OR[j\Ni6J1Tq/)kQ$q% ܡ]d:?<1$@=E- 43Z⃚F0{7ËjS{LS:v€O.}tbX/oςmY 3)kyez0AC321 `.3+zO5G^`Ǘۏ'L)0,ELڳ@qpS?tW.-'2ˍս9K5"hr5Nr)="DCS\G'b0&Yvbia+EVC0rƩ*[Z#pH@ED-Xy`l0a& K9aH f<$u~xk ^ \\7p:bCG#xDu+E;W3Ur~Ŵ?ʘ3;YƑ5(5/@Xգ_.r5YP,tQ+yupV>YՖ=V}'[ߧR:#tIh  M9RUDBc\L5R/@ueeR;ezSRHZw FG'V>Wq~4 6/_.2.oGHIp* omL%m/f ̍{E >4u.3/^Jf&^KfǯZ AiVwEChBto 'M*%ͷ'POg—zFvydkݬK9GK脘}S&$WHČC=ߺih8e45vyq[< =^"mVl۲לVzEMuM^d~ N~t|Ddq])2/ُI_ h l؃u]1!!fq-j49:'@{B=oWUX!W?k`]Ǻs"\ "D7 >kʐ  P`}ɝz#4="{( Qo2{6jWy`Bo!H?~)II)ojM 8)OLйsBz;傢[af=C@D`ɤkmڼb`+Y _w3 銃")c[kDǢe^`Xuq;3L΍H85nʼF2zcEj۟%3[k`i=\;vm)W }* 3y b~N֜l/2GQ` _ATmXyע@7tk~gsږ^v@dK=C`= 0(wQ1tgSSs3rW/`z> R$Յ6g~kdEdeaQlڣu]dDFIr;m$t4z]LΧ,RP =:erF'5u`~IأF{tf#2Q8G?!-,CLdECD˼vn8լqĒhy_-b1f1I~Cg+VVo5vJMf!Rn}k (vV O? S+A4Vп~+:QxcΟjךؤfjm*O($ItFad_,XVyAҊ O .oD,2(!&F\6ҁnHv\}KH]kמ6 JJ$ʕGˢUނ$ٌq74)]X,XAcu 5s+'C4_E? ti$˷4f s28?1p [ YI'y$6:%Rlhf\ϕUu,(՗+-@+'Ԑl"K|MŭOdl6pR`.d gHx+phkbu\܄9U*c< U4MTj8-_̛)R",?Etk7i67" /Oȕk,we}Kҙ[vV@jVHeFmٓ"7ycGZb Pu@[>p?`@w3&z7+AX2̇>7{"G d萘^ttjN sY 'E€;`>ȸd#{Y`dgjI'{i<.!S痊sc'^+56?&&-/SjWl<~ qX,^Tqy=&*T2ٛVݤLIq-d> a@sJKM ]_ciA;+{4ܥx:=յFnrAtմ~_Q^6gă~v?[h؅|Ed d||% . ɌiqyIB uʢdMQ l5mS8 ]hw*mY3==.V FA#vH2 _]U)eՋwdfB 7TAT$W~W콰7zӋ}x-k55U-9]EV@],bLA00묝Bχk4Eey䙙bXmPF]xzJ6qőX,O9p`͎sєղtߛKlF.X`ڸb^?WIAXP10?q E`$&=IJ3iA}x cGcoj._I=\Y܁;ai+򅢘HM)ʼ7;aMM,b{jzB'4E~ol/0.R$ɸTk=d% Co<@s)'TmU&CHU| 5sMcKVRO@IjT_-&%)&}=Z2'Zy_AQ1?d4ՠm%쨥pq1 ̶I~)DFGh =)Ӕr6'E(nb18UN]43zJ2Lh]oy_cQ&J)VW=lo|Pط$XX$iK JX v1EAO0ʥ'{#Lc䄱F)f;j{܅i^fG_|=Qк[8re$0*[u g$M q'|)PIThBuIڭhSq hXߚ[Ψ4#d` nC nXh&n[ 5=4oYr ?pQ):c`G1gEs?c d«Vljev`n`U>FpQ(@8̊6x'MIœJz3[\- b 6]rM"*S{7ÝLS_`E/\Gvo?8[ȂCsL& H+NqP[ub%i{]-͊R4nDEQR6-4sׂNzJdg 'd7`mIq mg+\dO X g3G<)e0F9Lp[N)SƬL -o4Oͮ nc F"X={s;#RM`>XţDj22@Xlĸj|g* 09D aVC]ɋ*Ïnr0SXĿ۳Kgo-Lpb = Xzвufʍ8*,rlÆ~ބP* ^ ,i4܋}qu <""<{>Yh,֐5mIO$0oX}í:c¬e`6mF=,*U#L15_A,gX|K.YwYjvH+5r\Th)M:_a܆Zo,ЛY 聄tsY"a tuN&r~emS  J>].0畅; S bjםͫ=5?!_5*O4V<%_\gK~>={[c!Yф|^fK9_˛=ovyV;a5UaW}[)JGLnM~SH\+[HpUa?> E{ϔOOtƵV_>~m2nX7gdù;yms# tov 8NF F>f;e8B e5B=!`+j}s/Y8n` R B^;_8|pJ;CdAUXyf't)u9 Kgdapcw$̞wBq!k)ɣ K)~'S/] {|~zsh}",޳4:J7\!H,lF::u:BىJhɻ ęX., E%ˮ'.\&2@Q80o>@F"}[},@PHōL6G(F8Ƕ˖*8tX9" qWKKk2p[x4iFLm5ʩL`2^?:Pl\ De@C3ˁKu2n07^E4Ѓá;C_Dk5BbWVogxz'U5eMPr!tOS t:A,g ,.I`DC)+9ZTNjYݕ30Y*]cTC`rcBcx4ߞΡQDF+GeEH@.Fm'O Td{lx,(c1)ҭ.$mb4jCn.S*veIyq_?6p&`C.&<*"pq.^8W;0tOuh e)g۽WyU fTY4~LFJzڭ 0k̄aqS^X4L.HAAjyh>x HJNQ4Fvn?Gۓ46]tLO՘ Ze o02ztoCjNJI͈B_Dž$W(c`ɆPkO+;*Z3 DY=l&.2ɟl)l>=ҐWf[6z]hgwuߒp9(g[ MMj5EQT` kxjV0F=!ݠxF"aݍ1> q~IKi 1|j'57c:[2IˇIQ8qRЖڔ'& P&A:m I4* >>ZMmSw%]/R ,挲/r;TmB]/=Mn}$d={)v#*-:![ݣ=:CO_.0*cBVt[϶b?XH8n&uʫ,oH]iBF#G s~<Y^eJ;4@E_ yvbq5B 0D-S$݌ϠJPLlJI%ڠJNdyrFY*w||qbM>9R10xC_1s~4ڹ/S/wLvL+t=U$܌M8ƶ.U#84K A}O`uɘItPݟ:NH؍n=?+LV{M[«`P! "K ӫJ f9&8eNjpIīF#DՂVDs;u%X}y&cY QcȔdt}%3Ok}5s[v@adMrlX_R"#ӀUp +Ku0JGUxPS4n;"*М&41CX E*Tgo$W.O!LՉXAHx\qke$$vYEGhKnNkJTr&NSAЙuQYOdk=(G58QSP䡺۞lM!82:|TY qb?eFwtIOj*B)XKqk Ù\>2{}&)esQ5o`n?~d"s .>1BӶ Њ8QHZrq|%;[*8U~+Isn@e5k|O&}78;ȵ*E㉪V4O#L7֏˵.X #BJ^3Ǥe"g1Ś iF\&|M":xMA{:iW*KȎ%% IU /anW~C~_e@u֞)aLۍ1ֿ3v_ {U_8Y2xOeY@.a1f9rҎª/,57(! uli#tE`4]Xb_!FL嬏!y(.Zy֑~{$92{ Ca׋fgQa E<˔37[wcw[rzɦ{b\a-1S9vBp,{ˍ ̳:b1mLnegaLl >ur7 `n@<-h~eyȹ(glNl+S(Su_A%V,';|Yi60uk_$Dy&huaiKjhv R:Y)ФqIcfBV5<in̞؉,HLI84㖅SU'=By M{(+#U$Dغ+b8YHaXU/ nⳃc{_Dr/ƢWQWq^b4Dar.j9f0L_PGR /}Z}EziuPڕ/ۻf zqjR>~[_" xGF\5Ֆp4- 4kCS)zB JUz2wml{]tLx8H8 ;Sz 8YX(qQT[l=W̘8P8*୧逭4+oonzNI6-f9>x )bк,FT6gi!lq3 ڬmI?vQ Kzǁ:ϲI 6 glWgӃoJ)]]ze:l+h,VҔ.b-I 7Q]&b&2mfՌtV$2 B`x3[C(rȰ#hv .?Qz7[fdQuʘ/S.༑t(X}AOoݗuÒP_!j29ՉHQ۵Oқ?3E'm_B uEz>u||Mje?'e\N u7XY] .iG&dV H"a~ŶaU-= YT ]A"p!_n%scJvP2ʴ.G%Bd},psw%YG*F74ԇxamԟi<5ۏ/=%Qd)A,& !㓰0 - X\AO~q]hQو⌡u  @CwhqaXr%A7jxɸjJ z wgW>-oU ȴ|x?tO>ƹM:Ӎƍ> 3Hͯys؋Ih*FǬƓğ CiED@kե xT=g?{FGiVeENfN/y)sg߉OT8+'=³h=UL)6Z*f;b-1 :jcÊ4aJG$v > 6ޘn (ϋBHi2-N:v&n~*_A*ѕ{}t+ #ɰ1dDz ktsyɲLK o) }zB" F5(Y6ez}>&FJjkp/>#vetm H:-TxV^^Cp%rtӯ<43LfXMΘ3Zޜ N{@DI7=ZtYfX 2F5M*긴#Ʒc,٨ ~V@!lS&_j5ug7Qǎ=6"Nojtbڃ;HF~yH |؎DX2wq͛N7  K$YSj&jO^:fUr1鍆?wH5hYgVdNS+(7}@s`Džb./h6ER~Q }iUQNl4g8Xy Ÿ4?0Yf̔xl/RtMe(%j3(HUzY<c6ϰpqZp !vzV9"QlCZ( ώ=na֐79sc1XY魒_13r%[bю;Nd<Ы;(fl^qbK wF^ )=h)\`ΪyM3g)MQz[:?ɻYA]O#7RMuD < i. c~ G7?SP=~g]oUU cFF{FC[[P>TpB^!QD[iVeV>,&22Ft۞|7 WI63Jb~ˍWd W|%K-'5a]5,p]Sw6ϒQ3Q$@EdR4zh/ }&rȪB |6xỵ>uRV=8)R\9RL6dPU.?掊1yY9 zlnm䍧 =07g5|n5UDtHAt؜VIUS &Inoԙ•k,8Y{ (0ϓJ6t2]v?1Hf s#:!a?O%XیH[M:kt M`F, sƌSx0ykۤMh&r'޻"J˴Q>e>N'?KֻԊ oM3BM%QowwXsuZሾIU3 dy-@X]t`O[P]rI }%@I)fE_MCHFa :%%[A3 e zp[#~PQ4Gl .xP]~DO3)ŻdJ0w3]5Bs1eu,%&ZCD*ʁ/o=W֨;-Ԣ{{AQ}(E 07η4|z"Ƨۃ .b[|EL)M5%&kh[uJSUPmF'.*>]{Pハ plgayv/7h`A#͖я[ Dpn2A lpuFH&#g*c]\W)v;"Ҫ+m3䴔> ˲= R e7pB2b=E[3)S &q>w2v,7WuZLQ?jC>!b "kvC5se*Q 5O=3kWȏ,،l&,n O3, akZMTT տ!:%TX:O,bc-{2dn4:/[U]9jɫl{裮wR`ãGl/dKägs|Rjl@ CYOe5%[&LGMf xMp zt&>X9QqdE>贁 ǗI T@WK܅1gƏLh 3DsbOIמ$=?&3$Ơh ZU{ 3f"Rb3N^E{%npE*y 2h dFd.mM _+ KFYk:y/l*"%9xNڠS}$pO/Xg86΅A)7]y}DdJx2wJG@Bo+mC*|a: ns9mxo- M9GW`eHKbk ӭj;0YZ  4 ||%!@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 # lPurePurePIDE/markup7zXZִF! |]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O(e`ZuUyi-b}9$0DžT/<7$f5<~bVPlfR C0mu׏mi"*{YaoH,I5GȾ.RP,H` xc v9 @ͣ1T<Mӷ JqF}e[ЇEF%ulu!`HC 恜#aq\7 XmN5IIxԬ1wѐ~FBu%4Z XitYvlT Cj5. 2jcP -TT|gh *'0#q hNtM.4>fb_sbHI/К iXSz=hXoIF?6T},Ӝ`{ŨfS_^@9⨘Os-QИ%Zjt!ׅ~";fZ 6fx4ۍd (]]v}j?u gz%ѝ)ͫӑQ13oF6ΰ4#T]Rq( ]wAWc6`k2GbL[$;JuvavlKlaM,U]}d+<q`Bpe0I39wxƇt>.}gh{& H ;Q#q]N Y~}N:Oy~ƋPb ANF_kp7)J!t>w,Qo=wQ-|0,fEhV%.@a/m0NfmSW({ X~x0P9ue>J{=r S; ة7lwI !钬r ۍy${MdwlB5cy:GNs5|[+]fd̵ ":'!ӳ`[BgJEU)?n>݀lEƼ1E1436Eq{ιD׵Ŗ:Db"׳_GrϠq3h}bxlqvȔjs4$ E7shyax`Wa?>6ѫa޼ŏ3@xpOVphaČ.VљJVʇ׫U)|BaΉ\ϓYekXpKLAO@J*ɂwSDx.7s=Lk;I'C\Yy8`7EyGG00"3d0PA_.5JNscN6P16 f=9vܐlޙ*ZpDQpG/on{<]+PL<0ם;%IWA.z 攜TƥB {ca퐹GHװ)Z b|~y -WxB;L\,:)ظ[;GCM#?[ə v+4 `6 6Z ?"y_DCfX=?bryRÎq:epl<–-=Gs k/_65Vҙ=$֢եma]s9_ቕd_9 LĤcw @qjuZg#M*L*xgb}FIY `[/SJ]k69gDL\ `Q:fAh<8e"/MִxJ&K&/U ctqTb Y`J+Wi& T͌!$;6bO6l<`̓)`U ͠(1ѫkʜb<$.ɅBaE\6H"{i]!d=f^@2Yn#|N-鶥^b e3ࠨ9(z³ӏںQ)t-f{Y穉{;ntڔ#Cn'}~X_|VV#Kn8Lh 4hSwQ_B@}6ll4{jv_2eߑǧ0dZ01Ԛ"[m4W\y8I 2w*G0eXK 3ۨ.먴9MhFB6$+5 {̽YBJư(NL\%/e5 wﷰ1W!v3dSY9sȃo Pe)]&*Yg^'_D^m2ٵb)}4`&*)VK(5%@xEeu+"I Y;`WhӰ 8 j`?#[WtCG KvqͭtL)0.jFDOlvh8@oHT+O7lj|>cŝ Vѐnc T 5Nj`oTdĝ}nH%(L?e =o|[m2D3O/C-42|7{ܓ7N |;+|a6Q'"P<a?A9EFFkzd)CCw%8|o*S iFL{h54C6.)JVc}S={8k4v'ML~BBh -<0\*EhSw8Al-%DtS+ʝt.=WqSfoqel7Mfe} dL@qqu.q2t++LhOb @}bUdQoQts2)P'l4@Bij'0-7JPԼa(=•"'r2^4^8&Lԯiл<5}lHbgYZ|7f'E+㯖9jZ{^AiAvq0{!TEZMyc]#җK7 >ё9 ̊\8mN]l[9ok+]F&'鮛&9"oP FIi33J;L ZW@[懴HNɤ%S<{U=~3Cz v+ЫgC=w2q(7,?lX2٣N.} %;9Yalx"vc0C  TN= w-1Q{Xc,:81ꅡN%|^_ UMn]͏͉C( X ȃ8/c G|p[-(S?*pmr {|^5fR5wi * g H?-$ŏm Ndnå&tE!nt+IV:$ @9l4#߄!$3pgOL_ޱ&!_m,BP; CE5)[>Oxo,EV&26kgTrŚqWvl J.D(z |@CLrdV&lhGkNt9vaP9]D)L/ln HcdeSEzZu'[d`)B3hu!BD]T&y'20Dݱ[3TԨ V5WMy.ZGt^mo47$q0HcYt}_'WO%+Xk gCctx­[VHDTŢC]RzUHbW ؂+V5U ;I15Qt  >^+JKZ,_;$ht$OL%̋?][Qc|`̄^Z#Wmh'5Abu HSU,W_0ٹOuq(ɯH?j\;'4ݺQ R!Qrgi1wcsa~0NYQ g Iх*A5Gaq*Ǘ1IeӁM^slR9nh2ģpdmñ-1׼ʼAe/s's-?0ZӒ 2-`uVEGù pone!s BX/镗:# |Yo=eGCq~)z PY' I̢bϕ\Z8~])ўvx덨)F·3-%A1i8NBҳ77۵A6Wٜ]3'!re>}ݪP~rIႂ/.^k!a s ` F#<:t,7G*%$q+D٤,^,nqEr+nАcHwYMO)_/:@4yd̂أ #LO٩4h ;UbMC=^{gDf6/7`wfq%i8}rmV.%rF_<&DG 4kYb/(~ЋcqDzz(!8_S\65R_rMeB[{sv*NOUuGBb nV%3ĉ)N4f!Tyay)iWSL2tD8zcrCYREf^S (Bɉ RqryV|o\vF-:"-!>`sFUnR .CAWrޜ]33~0 O.dJx>uSzBJ^ QQ@7g"Ť8]{\`%U~XK EoVsטmf]~('sF}>%|tNjz:EKZN8?TNUA E@K'}ü]ВXzW{M¤I @C+^e&SgkRrP3ɟ8SuX}7IC%u3z`z IG_p¶\ESkfT(Bė"E­f).ܐgYZ  '' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI)ꙃ/"n=vr20S,/vYMv/ӊ]6ƅBCWA~ҳW&H!:KkNþO`0Q`|Qaڱ>Ci`+lIܫ\ΒZ> ȱgYZ\'# |PurePure.SessionsPIDE/markup7zXZִF! `]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂI5]@T( A園 \fG·'(mw2Q߳Ƥg'ZpgKGr?'0\3Ґ6x_$*,7򈄄Up%ohXMWi]kxO/Vݭ5ad-b[zYfN(P#G*)hȐ|ؾ1MP 8FqIj`(`ly)}<)}hVŜ-=$i)F#ǃg %(K}1Bȵ:SeO]Z~A_AA@at_