SQLite format 3@ ).K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  %p\T ] ]Pure:threads=1elapsed=2.073cpu=2.198gc=0.0007zXZִF! ;]ŗXiɟHVҭٽDMV֖8iLU,+ 9Ms5 86ҭ(_}CZƩj|/?Uj/ל)7 0?|,4ʵQQgOzLQ, gYZ7zXZִF! f]ŗXiɟ˚Ћ. k$wqrͮ}cQQi|_s3 k8 v5 D⯼?Ʋ|u-ZYR?+gYZ7zXZִF! !]ŗXi%J/ܸrw#P޽<Ub jҌ_$^c]󝀵 M:c爸[i pk(UJ n=ĩ} m(힩u BW o{2ʢ =3S<4X#C2sws';8;`o_3i(ih:+Lta,B/A-+;p1OAuE'LWF7h' !%=-Adݰoc ֥'FG)R #t_a2Ku˭%IDRKcAk| d'CHmV(4LQ`{zmlDE1Z8c>@m- @?Ʈ$ 63L|bkpxJ:.麚fHdX=wZaT:q!~5μ3%UG,>wpSo;4䬁{Ep=f!oܥf\of# K|6dSoVЁe|Zu4[WPN#' ȿե <[^8{ dhb2pʚ/K$[="k$Mp2B[OD8hNb}C,CC>@MgYZ0fc8753ad191dee201fc5156f59ce4c13a7bd6ee4dd43a72c508768fac50cdef9695e95242e7fb38  Pure )9R! |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?'y&urqki b Q B 3 % {zVM4 *  m R 7   z _ D )  l Q 6  y ^ C ( kP5tY>#fK0sXkR9 qX?& w ^ E>. l$''PurePure.SessionsPIDE/messages{"'#PurePure.SessionsPIDE/markupz!'!PurePure.SessionsPIDE/filesy''-PurePure.SessionsPIDE/document_idx#%'PureML_BootstrapPIDE/messagesw!%#PureML_BootstrapPIDE/markupv %!PureML_BootstrapPIDE/filesu&%-PureML_BootstrapPIDE/document_idt#PurePurePIDE/markups%PurePurePIDE/markup2r%PurePurePIDE/markup1q!PurePurePIDE/filesp-PurePurePIDE/document_ido%')PurePure.Sessionsdocument/latexn%')PurePure.Sessionstheory/parentsm$%)PureML_Bootstrapdocument/latexl$%)PureML_Bootstraptheory/parentsk)PurePuredocument/latexj-PurePuretheory/constdefsi#PurePuretheory/thmsh%PurePureproofs/43940g%PurePureproofs/43936f%PurePureproofs/43932e%PurePureproofs/43928d%PurePureproofs/43924c%PurePureproofs/43920b%PurePureproofs/43916a%PurePureproofs/43912`%PurePureproofs/43908_%PurePureproofs/43904^%PurePureproofs/43900]%PurePureproofs/43896\%PurePureproofs/43892[%PurePureproofs/43888Z%PurePureproofs/43884Y%PurePureproofs/43880X%PurePureproofs/43876W%PurePureproofs/43872V%PurePureproofs/43868U%PurePureproofs/43864T%PurePureproofs/43860S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/43674N%PurePureproofs/43640M%PurePureproofs/43636L%PurePureproofs/43634K%PurePureproofs/43630J%PurePureproofs/43626I%PurePureproofs/43618H%PurePureproofs/43600G%PurePureproofs/43596F%PurePureproofs/43534E%PurePureproofs/43530D%PurePureproofs/43528C%PurePureproofs/43524B%PurePureproofs/43520A%PurePureproofs/43512@%PurePureproofs/43508?%PurePureproofs/43502>%PurePureproofs/43490=%PurePureproofs/43486<%PurePureproofs/43480;%PurePureproofs/43476:%PurePureproofs/434709%PurePureproofs/434148%PurePureproofs/434107%PurePureproofs/434086%PurePureproofs/434045%PurePureproofs/434004%PurePureproofs/433963%PurePureproofs/433802%PurePureproofs/433761%PurePureproofs/433680%PurePureproofs/43284/%PurePureproofs/43280.%PurePureproofs/43278-%PurePureproofs/43228,%PurePureproofs/43224+%PurePureproofs/43222*%PurePureproofs/43168)%PurePureproofs/43164(%PurePureproofs/43130'%PurePureproofs/43126&%PurePureproofs/43124%%PurePureproofs/43122$%PurePureproofs/43074#%PurePureproofs/43070"%PurePureproofs/43036!%PurePureproofs/43032 %PurePureproofs/43030%PurePureproofs/43028%PurePureproofs/43026!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/431247zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0]xQ6bF*L'km̫쿹gYZH$% dPurePureproofs/431227zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/430747zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞Ed*ZˊL'nǐp`NѱgYZh"% $PurePureproofs/430707zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wFX ;?aux=6ka0gYZ4!% ! 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/433967zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/433807zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR{ӪealX!Ҧ(@eCzI)\0فxyJn3agYZ1% PurePureproofs/433767zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/433687zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A΋-AEi܇ݙI9 SgYZ8-% DPurePureproofs/432787zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1,:{F[E &@HgYZ+% |PurePureproofs/432247zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'i H\%gdeN VgYZH*% dPurePureproofs/432227zXZִ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_|p-CEf%z$+6S0]gYZx&% DPurePureproofs/431267zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&Ér8!P@t?R#z>wqfǢ&zFJٰs?.fMAӟK~U%o64_w9Z3HjS 0gYZA% \PurePureproofs/435207zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPbQ kIs}I agYZ(@% $PurePureproofs/435127zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%_u=Xt]([{hwY \gYZ?% dPurePureproofs/435087zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט7Ω| #*h j;8gYZ$>% PurePureproofs/435027zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/434907zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|K1rġLlf>>t@O vqױgYZ<% TPurePureproofs/434867zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*+~Ğ-ͮ&ȓT2=gYZ$;% PurePureproofs/434807zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/434767zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+nD69EiTgYZL5% lPurePureproofs/434047zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lM)QϊJۺ Iɉfq]]Uqb&-HgYZ4% PurePureproofs/434007zXZִ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ʍypQe`6$GH$ gYZLK% lPurePureproofs/436347zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&\_,?Np{ lv"p\pX^*0^LF")+fϬÚgYZJ% |PurePureproofs/436307zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛwNzX|"c$eq5洞ǽ6K^5 g0 gYZ\I% PurePureproofs/436267zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z?[ յ *0"ى_¦N  ?igYZlF% ,PurePureproofs/435967zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/435347zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo=6m7zרjĶgYZlD% ,PurePureproofs/435307zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^LH 8M:$*% BgYZDC% \PurePureproofs/435287zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zMb #M5=X\]OoO^pő{W8)" Kgo)3gYZ  8 E8aatb% ƶ1bXⶕs_|lE5J?i9@Q?%? ]3NgYZH`% dPurePureproofs/439127zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E٘@MwsklWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/439007zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/438967zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/438927zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/438887zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/438847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/438807zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/438767zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/438727zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/438687zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/438647zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/438607zXZִ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   ( IW0i- ,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^TT:]D|PEm.Mÿ DȤlV*%7vLXU5-:{*?G1L;O)VVﴃ b$rKNb^h]1BOtXI=1.G:p2b#:+7?{"vW sdMem`.b-#cH1bw^ qMwXUGI?aɝ93@^GL- {_ -+rb`dS$:$ʪђP WtV\'c?ڿ6d_3~ś-@gAvU4K1C/PRSܲOp 7tA\bSuj6\\A둗hWmudB Z N i]owWּQ~.?=uzMljDŽ^֐]f:-| ` * ?8)C(j͈٭2~(%'.%ƢZNX|lŨ5rm% }-Mˑ~}o?@yMk:,8%&٥F:|w]ԁ4C[)!p(Vh1@8ϸ[Bx<vֳtoȍeGm4"c5[ A~)4@ucv̰U{+I`t^MAʺEf}K?&,jw9UM>V HU)1r>j;Y pWGʢ >sɕun!ןY&菛 u.YZ/r&To4PssV0U8`2Zw: ZEtHb3'RɳonAmaTg(y~ꖪY}q91u:!Ό,(/ ?`D 6k!@%SѧKF=$]=J/JĠAjp<|JDَک!!8LDSnIJaD剔->G7ɆO<Ɵ7LuH:깐vn'-(zs@dUl+bveK:gYZ\g% PurePureproofs/439407zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoǡ .e_p3J$WXjĶgYZ|e% LPurePureproofs/439327zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g80?g6'8W#W`n ,gYZtd% 9ē>;;|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?ܡwn od=mbRTP1XudN1 (TGؼ_+N' rYn["XE p|G9ΪJ9ZrSPt~I;e/7ՕY=Ds/_%t{[[?^i|x\hy<DT#XOfezoCx1)7 0WR(= owM6p &J}ڥԶ԰ ξ|HKi wMppvT uKكdCE_eEIŹqpR?g,Zp#&"Dw]^ 6ԯHq f%#]q4?44{g4 QL#`7kkr73ם}]+ЂCԚGFCK+'poǀ-]'9>oo$ZtiQqָ[^dG:U8WAFY`_EϥD:Lij<>1|vlfX Y7ZTdҹ|]ݝ.Od7}4 3?ŕm#១HŽғi2ʄfêW٤q*' ge3Q?0v[o9n -\a~$WUcuj&Ncڴgx3@dˬ:aN kOǠ DgL`a(vDtwT5s{v̓ QK3+M*aӸjzBx57pM}ש -^CYheJ.&$Q⧅IЧ~-[\d^Lk"Tʒ a_n~dtRk,?Z(vmafrnk聓 2$ ;Yֿ#72]|2R\2ccJ٠T$QMii@!hFb'e"eCz#30nIMreNL?S6NyyFJCv[ H!|OloqCjLgľe|uotP\ dJW:Cл&)y?mGJecyqrOXa[+~|Ei}ٷGccB׉so .h~Cٹ )w6n@$Bsh@to߯KDG(1FASE)fԽa̗qmqU"ɺ~G#Q0T{ƃEy]u##D063|[%WA}Z0+[!jMRtxUqш sV)ӹ4ۯg_[mS< PleKehtft+׻gVٟtzp4-3l>+W"0= u15y7hWJUϊE)^_yΦYWo4CQWP:YԝIT+A#A1a+~}:v( 7Hjr%/nG{x]3|_lcy6 fES }F~.+.X|k`USA,̲MK䭁@mc S鏳tQ/Bv(`Y7nC0:9TmRU9_g@3$ɥ7v\#H.7Z T/֕#∯5} :"c˟Л ʶO dm-,E/{*V2셞LyT'rR-Ey2wAtؖqZ-EChw'sX-Jpfsgtʀ0K5ŧ;AT&2:`Q\BPA ؽOkQ*^Lx up'+>l؜ } yL۱]`f嶂uy{Auwfe< 9*ath I-c}&;!>k ݕwUmvzDvo]2'/_op]AW`@ɆE+̚zlD"j5hkI4J۱/c@+?wRFJRU+ ]jˢݩSCFqgK'.iR7 FgHD"j﫤~3 Ǿ؞roT84< U FZڦ' ,h 0><@A%% RF t@sZrW» ok#)m2X?㏛ǣ8v4T;M89N-_>YaaȘ$K&2m”jVޯ^S$un zYIeDM])>yU=ڞQ?L(cE*i0/ln7|eO REXVCd6k<0;Jksד e!1ʠ /CR^ql%  `LGvnFKl:F~9:P{7ᬘ U&kk܀Q a9PV[DR%tG)RndBfpThAHCy~J^sU`g4XDI4J촹Ǖ꽈RfDYo4&JMĶ6IDVFqC#H@-J9Ѐ_mA i?GrZ*z봨"Q=! u%G?>>aεg>Ybefi F d{ӄ3M,v^+O~|  akFCbǿ'Λ |]|L5qYf.KSX1tiQ2mjq~-'p\Ѕv9c%VW^!$( 7=Qyu.@M/#SaYޚz?q/=s^_qR酞T߿b#:q]"dK tWVdfTK8В(Aa5P2B`I'(qb|0Nl`%F,`(R&6nlf"4Iw:% ;fA7'L?C ϸ_p~1m3 PuYn&^B1VzvɄ iD6!,W>|=cdF-讲az$v񁆫%5f\.re*r76]dBRQWI9*(#ZDƮ Q nWp5 u/N? l" cI_r|L\ڽjgjYs&S6-[J]ppוF?ȆQsWn{X;@+,# /uk 39kD?I-VߛzDa* _N"Zqh~t졁+sxS.M^TlŤHa# sc;%קfZkXS_p,"4o9SH("=ҼM8FefZԡ?# \E`e*Z]=m3Ip Sh#V_(s~H 3SNdBBFCwA=]mjrBbDK},b!#u߳N6jX8qgn>}'lB.eHPAFQV,i0gZVH>Vj~_< ɷnkh|Kz-\.pI5hc(h e"E9(hf{ DDžpw8V0ýl IM3L8<3Vm fЋ9Գj!Fr; 94 +cLwg,-^,\:8iUOsۢoW^nX?^LkmVO.0Umq-pHei@$a|4ڞ=q,DYeGӎ\#JKR|ƫQ&&e$;!fl 2r[ljBZP)qO!Q-$]NUX~V'J>Ʀc+ZJe4ת 8`>57呯Kㄿɀfhi)i³muq!bDElbO@B`$ n| 8%ESX.[Zޗɻxd=ʽV׳ F^2nS5=Eڍ1:]V Ov*'v${KR S 6⾧cѠ?ĨVRh7*^y=!'voȣĚBPba$%9qGW05Ae1e?׾k4*3ә$L)[ b9Q[aAs`7S {7 ޴ү~ Kw|)xud6t/PHԸ傍5:̷O~C OE %wrmD,LWsjpy '(=mE )#gkEWzn.F6>jXK9m2k5Ꞁծ& J`m(e/nS17]ujFRHyc ]o ΀R);m4aЋ"-QQaTU,5' yȏK VJ-:v6N &Hu}/*8y j ]@d >M59F`I~SU\~eQY4HS 2:QŪ~lU.y5QO&a˴DTDn*"]ߋ~K+@s}^KiInr[fmp_z/&zV\QOyFGtAJJPo*mJy }o엃 X-xk^.4s A(v*حW&ǭ6^ \ђ!MBg$-~ʊ϶d鶫, +qMKd&SVrJrDTOWZ HEOG*3@jV8O_g{z{h] I6J=l1.:@zd.>&;eqE4rA6E#+06p|Ȟ@Bfy|ړOa%֨8f5n R˛sdy)-%oS_7ww0JrJ5Zh7#F@%ÊH7=p٩pPr/& 6BѡJ`A>}"dpdң=]ٵ6HN ` 0_"4GBC *wJӚ!IV3_--x9]չe,IV8y,ncQ&"qvd*v,aHWQ^v2j2 {vB`u TR=o.;'yU܉]@ooBM=Ĝ01/kՑ`$;G44t^k$O^'VcǗFzV Gc@ٖ D]*$4 (-6_UoՠASɁdh #bL>|XU1"rvr9p>ec {8D K=7tjEP#4E[N,UٰO"R˪?,Y>< 2tl]fbe݀8T&Gu0hbSM\NQR?a!"ez,YP:w?CThJ:EYm#yE]L䓤;V$V,{ ƊŜ&̭k7Eb&Ջ DFS9%iBze+=ĩ>8"Q}[Л#/S}.>*:10aY߂LԸІ0YcI`[iu0"g64MY5yj׬ؚm(2TXQ)ma &)z7k95cpLQiF"Yo݁wqDZ5W,աW<> oz`SB5'd/{vpaxaW@b.~T z.nv?fޑMYԣ NYc>8"w}{ˑs5{6 9)H]&aWT:),le"\8#Tuұc=uoxxSe{<2Q!zhapZc2׍;&pN8#gz ?hnp;OpO2,k t+E^R.~@?WwXjdw$--Ee/.zd;@X_g>vJĿ@( h=}CUUedXg - ē[b8! "G+-UuPقmB%?.Ōt5s =.6 uS}W=9HZYě ")JrrIs/FݠhL9kb<qGg7&n;;fєd;mJ1ehh/#(7/.B7KUR6V LA=+g2rށ2~(Jl0!xGC"M?{df~pl޽[a0wJ F#!?!2fWc#}4 ܚxZxe|ho돥H `_}KGGa<3dK6% s=m%Ϩ=l1;QT[w9/7?-OjX[iE[>hO"V7)`]nu|>Qa4)NgU?2,tTF>v &af()y<80kQBV;hM |ߕ@OH/O%=E|9ZTPcwt FJ7"W+exb&u=Sͤ(dO-NU uGic&8jΐzU7Gvj38o6j5<Urp1`k3)fZXtJe(7C}vjeRJ 6%?HMﵘ_k֧>1-}pEXᣫP7N,'|5uX!?r^|QE`hIܹnV<"oiƟT}*4t5-!ؓ1'@Y:>u~X2V5vݚUUvat/!]xqW} ȫ:{o0dlL];khS!A8ćŚƑo,g(aq ~?&6v Q}S1uTnKߘoD?I#: .dSa?t[1UITrGG GS\S} f҉8]$/ekx g sh[pkx,7`D{:r .s.(n%|5ݟm 8\|i*XI:0fU+kn/}"K]wuNK7j8υ6GҨWӢ7CI,Ŧ9~ӑ9Q^:gv!#k*L3 hBH؄?pcz=I#8;E4"7 AsyljFntEMpϗaT R4kNJY <9w+_\ ɽ2&LP(Yއw.9Vv -XMUp)|\`sM%Gv/SmV=mgh:{Egݸ\4LL{֟ùb qewQoT|)>v{_f^xjd֯^tD; ?`{3P #vDr48V H77hc=t2-,ڮ/E f'~jh-u2F?=U|_XH/^x4ȼt-,"t^a3INM"< &r!~&ŭ@QϽ:uREX!哒@!3ېhl#.e( )wa9ezPƏ4v `oD﷡^JoGV^;$E~yΞ9\"fa*n*z5 yhL8m%:@QW'csv7H.,4zIHJh88}Vg2+v?vgqjAr%0j~HTY_|,8י57PgSBO6O=Yz| ~ K A-d1zBin\}p6K(c"4:G]Vl15q8T^LyOnxf~I$Q^e_ٺC>edpB( Lq 3)4SXRa59Xwdd.U,9%&X+瓏T(FRUȅ Uy&v2ƈO0kT6ʤj;:kK\N(sq\ǖB㽬}@)ns߯lXŻLub5T,!2{ez6ڻg$-1#>ɅYOUG-&^ .Yj4Z>r<M >k5IPKșilRxO]9|iٽk7h1}dj+WϨwrXcln ٠# uIuADls!| LzjŊB'k ; ^-nKov{=a¹DrWJ?0NE_TA?/ꋄBVEUaQ뵬-GӒA\RމG [d(׊$ C;K`*Noj|b6l_)e=$܌Xg%X_|BE ua#ZCf7_]gwf撩Ă:p-1EKV;#e_fw UX>= jXyET(ݑ96DPM̰CӗUr˛>;CP (IГJ» -ae)=iU^b:1/x?fE2Lso%⛖0\ 91;qP#HQ kd P#N)"RuIVm` rD&3m j%Ql)Tο=ZfT-9\h'Weֻq$UBOh#]K 5a:d~$xOt>8:`$b2=Ie|5ARFkZ*+ؓ~1cQʮNW8kzPIP SE' p-Z%Brϧak#.FU%ȁa~!?ܽ!Bsbi$;쫐SX )N33r3Qr)D;L)9pĩ C\^Uul$Ma*x |aPD{ŽlFШoF*)6vB`H:bP;)/_QTO|b{+/+׿ɶԏ@۰ZW_,M/Ձ́I\CL y wTr')j5%9GMJs*Z83{)4ea%00YXR o$e!5K]{i=\/"2 {(N.(81};t;j+tZE{, ,C*&9"3 >tlt"}ww3(9Ěҗy,v0bo01GZ ς)8{^%3=W;C𞔕I xvw6<|q:_ (Hcjb;ԣ`;]:I;É<Ok+6YP*Щ1%<"" K3+7_OkTHcDú+c-Tߋp[G ]uQ=FF_;m}܃m/xì>#BQS~i#Ymsh~Cd־68Ú|jKd?Myq}_2~qokUO-Qfvn:߲w`}𴚙AВʉ1|086Vybt}6&&Aq|vRJ_p#*4݃:ԞT@vjHs0W|`w30H3k m2D1LGLv=ҺQ_S:BƋ+Us۠m1N=vOia A_|Mblu8Kϙuoks[ +?bU0 w#a+ .0\d u>Ʋc!-v9ՃrҶW hUsTm4_UWq 'ҾKr1UM:/K9 g|M[% M"ȪŜ]na47رpW7RӐ4w12/rQe`őHӁI1FWy$AM9VZƷO98D|?De)2;H-p˂_/~C-Ͻma|[-ݙCHěDǯy$ j5l6Ǩ5cXї[O=Xj{ޞ]Q2(6uFۺ~(969-9P3'iפyf~Ft鐬=LVD~{ىiql 30;;o +k ̊T~jLnE;z(K_',JCJojN 1ßh5rZ @7tZ! _ǣNuB'WKt|p?Ɛ d9z餉HjE%nCCW,zA𼇡*ƛ3_ЌEȲ? 5IGf^n7}$ /}޳]4X$l'h} jɱ3 I!Chdt`2'foUx`PRB>A^&&TZȺ~D0LqLm^)??{5t-<'uqY"DKC(ӝI1M0QI+. ҄C<#m63)h)۫ >G:= ʘu"VZ.y<' 8 n mt"V[ e"6mFN~4(%1K\syxx2J*c`+iDHߝ -3;HLi4A8 i(/_lLt ҞYrK*uI=buytu(2OsZH*sߵ5745kL/ѴcdiOV˹,ϝv7Zցbg}kc"t} >U'/``%^~ӒfD0DFpVMl@ڡ0 4ɆQE - %ȥqAv(g6e Ii1ihR=bM_%{=b9XB/=޴TSH}D0}?d=1^wz!)w0FCnZ$b 8t~6\K,9CsÂv1cNiKI(f ק/`aGD> P6&>W \rYe{SFftGW:'//s~iG\~fYץ#cvd4ƩV]U :Gдo( (,WX kEB"WoFߐ,ǰCbq4*z'XxTW$-l e>f؍+ ]BSm8PWt-BJ8 v42kDԦvB#hbv]$=^S`OD51d=2MoO_D +.]9e"?ӈS8fg0MF l[2d{ϙcYݰ5tŞ^/sH}~aY(D̡CNZaWkjt9PS׮ :ي8T+n)aO0s=Hi敓;w<^abi4H,rcQIc6*MPfCi(ART&u G;/7_l;w<5WϚPÔ*qy%B `uS|$.D.ўItJYynAŠI1lTJd]'иZld]XW*C? AFMdr9;r><>͝ J8?Ƽ[ZQTCZz{ډrn^>&O޺+.;1]*dd cjV}ƹ|~uO ۚV+rEz{@iZFՋ>L2 JCt5{M"n$;k7NDZ~j/aiˈj60iY8j⼆D#zgf7_`TbzYT;m qCQ3:M[CuKi0fBsr}T[x- *|椣UI} ?EVnэ,{T(% Е+I5~.#D3& `P|ʢSH}P'6%9!L- ' ӎC7~JI9.!΀ǓHk Kzg!X^AE2U$E% c4aT @ "qi /iDrz(npط*Wb|˅芝W&Mw"/KZ xES=֜]O~8Ɏ"^^{)r {w<_@ݸn<w >mZsq c*z i D]@bxA]6f fa+f(޻HjtKASs)&Z7Cy"oMP MfW[ݚrB93 yr5 ӨEj)|tjRrp'5_ax5XRDra$5m\Gpan2Rz\F")4  Jera]EL4I_e4:m?E:4.h#?7Gj5yJ"ٿGi&A4ZLXeNر< {b&5ub܅anc H?&=uEtI8JCp|n_o$D]{sWmroI %2CKKAAYHIL6᳂DZ@$e6LclS3u4& _W"P]HI@zv٫+#|O?B=  UmVyvAh--d_ɞ27_⋰m3 }P"z;0GFNMS]g"3B=k|1FG xO*D^ C#F E {c0+}H\ WKߖ xyDUo8WI!iFH9`Z2.rXqE X7}πs:܁;]S‰OI Bh_aT0CV+oy:rK/u\$yZ %{_\]uc^)<bL';AcA\\'9tf4# 9L`LotE'JM$ I&m^fcp? \-B(u,!kb]̅(Ǻ;Zհdؓ #Qw&n!WljT#4gtWT$LJ2{%xھf3,_vdžNc/$gZ/ ].G7|K|4Wf7t).)vyqQ,.e$ 7WI0ۍ/!k,=[bW^uZ񃂎SH] { mv*3}ڃ1lK-9.kvHC5UgnB6u9r-E :Weyoy{FGXd Mӡ(atQ1DL߉!.%gj˘% VWtY3ls=qkyXaؤxw dN_(A~%Ipml?Yɓ 1Ѧ78ϑE񗎎lO2.B07[vW@t·5=,҉XqΙ#j6C,y/w>l"jg*cXS'7OkTM W $ b͙㬓[gܢ 3isTSV>\^GTĂv$ ['d̦]lTs\sb*)ݽ4*#z}/;h{`9V y |˛ 0<2{>݋y q990Gtydwř \˧j7/ :@VJ֕zHaE9HJ46揤T1|!VlM;z75MGix| KpƟeaչA>N-;Hr*pbAec#98n]({5jpn60IŽ}YʇO!k bݠsƕ"3āL9 V~ !cYƝiUozp܊1 )^9\!%?,|22 Mnq4-set̔aX;ڊ!,8<72Tvpbr0[8E`& k ;Yf.\ӟub鼣]gߨQfSpG{[J5 /)+^6jbâ6׹=_e,UaY?$kb*.8C|ɔҼℚb\2 uxOѫr\/KzBL+E 4]Nяk<븘rhbU,N^b:Ӏ^(( kT4Ŕ-||VHtBq6**r$:qN_Џ2=O'wsݣKzꤼsFI5b6K~5LʛWbzu׿ w:7Mmfj3?&G&eu1 _wkH%&[͆׫Uj3f6|b9Ҕcϳ(O1!uyo{PU)ѫ#,М^c3=uSm]$K"8Ɲ 5 b&C7;~ټV&ʨ!k"Yk 97?}eaڮEw,d5k%~~d;_[j[^ˊuClE7ru˖m*8cw:b pI!1#i_7˝gFBj;8VhN_᜛-& ]{W" RӍڅ;?USwIcx.N}ȊU867Ĥ@J_E?5m#c^o$0iڿ[U2;7=z|4S2bOG!ma;bɳ(D,q§'OG`AHu s}"?\ա$M;z[Ӵg6xgr.-䃍I@~N sڜ2%`oa6plb3͗/8g7~ 5@SP f&D}+^M, `'WQ9_<w Ao!L'4U O#Qnٞ,-;%%fqײ؂߮Uď4fW~PiEbFlFsV2l{KH}wZIsͶ$ztGǹ/og-vCީ"H vm}Fj4|*"-0HD=d#ߖ=B>ZF¥i[RͧAզ'0ŗK}{ޕ Skf(_'fϑ燲mZߟvz銬|?Fjhx#J(V'}gYXnOu q5uU=qz {O txBUD񕋸#$DH!덴j-N~flHOO{)dIDKs+߄#sp &M[qEz0M}m~ L;QMI{ڊ Yz$ЯT娀DrXA?uP i.ȃ*ҿ\ 4eQ\Mͤq 櫦k,Fj*)?K!h ҄F#?]ԲB"W|3CeD̘ ,2oF$Ly^"];jiN nYwAG8ܽ& V -2l~(v!@h;*ǧ1g_LHn$J!4Of0#&馰n@'ަ{ Y3Z˫)p:ǐNHPz!>e(@k;gY9kCGS"j>B)CҢ>~\KWݲ:(uk1717 @OË_/_"n (;Y$9(-DϥѲ@# ru;P0Εȁzd>} >T c@6ܨɡ& DIX[:H&N%M'GC "\e: joƷX+` gb}e,UbA1搸xUv9i-v(I s%_j=rjQX}W0Ӫ%t re4=j0{ϊY⃚ p'E&q }kBz5tQC|,Fu>?9yӎTFgƮ*$hD ۺq;\>7{ tnzo=j^ a×4wOҝ$oײi;ZCIJ}BVIk KV:3*E-z $f3K|q8ԲTvDV}$?DFG$Mڬ137_5Kh[ܮ+vz;# pC s)ruuYM&4|-xiN̿2{ NհKps5Dg #SR6bṉAo\ȹ#ϋ;|Sh+Y$ ˹gv,ma}`x]|{3WzTӸpKx%䙾j$/ER, B -c^4dkB=6iا*D-J>Vmw>7_gm(v+\t6Pe ǤךkRLi"8*77ѴʣvLv2E~3hU]v$Nq lݭ [66fWb v}lXk(QKCx/ ǂ;JLCle^+O|Jg # G} Oq (m+=&(nV[uz#:["CzthQR2wo/ u|Z6iYA1 b|ueTXBφ0&,JJ 0=d !jhpw 'v0$PmIs209Ү :pNPܟEU!oËcGn;=_hx/Y _fE!=cAFs^ykcߓߚHmb%\'Pv=/#\9f.9]e9Y,d̡ڼUE h#,t%ucsz$. k@k Yw'|ϋcVK;*RJި]5åZ$68f =59톽?Te;ۙdvz}'>r46D:ګ|6=(CeAYȋs篥ݯXdOxܓxgr%V*$OZg{?>7(P[8B%M^ ~#zcmE5kGlrΫʁ+Ypm[!cÌ*b6Ơѷ kw;B}׹:"s( a/ܧЏX<4D=eKi[h>>aM[IFT7ʮ d+ӓ@G&"hl)d8Go,Nݍ<25$:FqULsfG9+ƣdLsW@0ds Ēq79/'ݦy޿{eگ{vI7ŴIT0ѡd@gJɴ>]j CY0xUg&$6{e t^ҙaRdia< ^]c Ly7a#9| N qUa*%*pUPgYZ BmB)k%)PureML_Bootstraptheory/parentsPuresj ) 4PurePuredocument/latex7zXZִF! $m]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:fXQbqlKQ699J b}ŋGa`Q6|^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱 K O #RKq% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWp!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML o-PurePurePIDE/document_id2Sn') 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бgYZ*m')PurePure.Sessionstheory/parentsPure.l%) 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`;.%JNX/,~MTYkSO7U~\"@xtHPomO[έ:"%I~v1vȽL@CI%7C{d{)S.4Z:U)o_5 ֨%su+dށi*cZS3v遦9reNCw-N9Y]o̟s #ᓦev٢Ʈᾰ\|Oࣳ#Vk `{EmRGZGrדx}B|:_a?˿D(M1\ Vy#ʫw@DηzҳjND3РѶ"n˳㌶\xu+҆RdisQ@$&$-Nyu'>BZ *P a(z)>NP!T uF$+ꇷW-IJ>B͎U۸*!9RxX(,szFnY LvV@tfJ,$"}ZNn;+uET cZi$%UUH|=iCK(TXoq7jAXCrQQ_P wcZUMPDe#$X,RaftX#ؔE?M$d4 my$?`M+ OqRfI%ԔԘ!cQxث kڪGW85B hoe$Pq *x7nzahωe1CxLƇ%$5 r%pN)d$Se-_gEC?8gYZZ8oh\7rpJs$z=M("K8U{Gh LtTQ-^G鋏w\n)_c NЄ]vƱ^6fê{Nq},LNihKW@]1I_$H8 Ɛte\WEo cypsَc`9TZPqu,By_JZ.j>2Tu/>(&:%4t1S r1*70h3߽q̓%epd8_:!~O*sf35<# 稱-ӥ]< =aA opV |ʎ; 6X}V.ϑcOL`d[G k '*/?Aj5U7_\]s3mڲw٨K*CQCG"۸:[ )"xS}Eƞ>,rhu:LQ酔7b4~ZWK?zk"vBY56,-1~z-iPxPtDdO #rK,[C@Q_>>IA_< f'2űKVIH,\B jjGY};V}UD`Xe/P%^Z8R@ a{m^Yk%ֱ^+2}xpl=kF-Y0V5]i 9g1m4~ת뷀{ nޣVrJk[exAMO'Kx '%RVCnf_ےU%XA#,d8/9Aպy4~7X|R-vZ'%2bt>K{zݬ0ve>n [n(%9ǜ8M.\6Hg2n@kZ.HtLx5Ʌ,ټw!Eheܟ$m>,CdAjv8<1wIF(Yu d#(_Fgx&C1!|>#4~j? Cb.hWFܟ*CoF2Eɭx(Ol R!+t._Sx˝VB$]&Fe G# yW֑8{Wx`ITS $%uF UlYb#xR#vfu;),nBᖁޗާq {[K5 & ]d>A^ATg%o&E8>^ 5J $rL'nlRIFIwHŸ9wxrG{ab9 }7GQCS's>cZ +$o+ $T\ VB&F+;d^eUW2VTRwe!pOz0o Hˣ~ M&b-w[υK@5D09rIA.V{,6ULNir̂ %=Ҙft 5ĖseI~uD`˃b"tF&PG0, {k*rq1jS^7ؖlqLIhйJ8BT}z&OvvaF8%K;dV*K뻪7ZUۄm MoJg)gg`F&zF&lNEiO$=nRc'L4Y{MU3c<1"\Lˮ.H-՞ ~ƍ-?ޘDRsx`Ln @?!z@gG(J/s5XXa~UmV>|ˇCxnţJzp6 CNsh-&3gV4˘hÞO`P2bQC@p9IؾI y !-X\5qz- 짨/L鮞-=TY~ZܤT`}[J%WV. E`XF;A5KGI,pDUpz$+ X֭Cr[AeS06)viph]HsAiZD^ΙPݹ`h) EIoL߈R-1E> &N.}sK!NJ0@v\٩%)mVLY*2g~ G:kb), 6#EaBxwVB3ʏ_䯜`1yG rXHn vuY A}sEcPCeez)ծ0-tlDSŹFBeAg٨RnlH1=F c_.-NO]wfdb 5gWG}XXVmLe.p!+րu$5l1Z='xE hˆ@U&z2V"zenM@둙xZ,aP[Gk i~B jbĜ移>w>mqr|?`gdD-$$Eǣn0dhn`0@P2j<ȃ*;" ,uȸQcN ?Ƶ,MrirBZW?x~Ov|fv_ 8}Zv A?(ace[GJFPNp9[LXIBDTHY*2S/%"P]9 =3S?}K3ڬ"u K˦b="{)H"alyFg/G|OTƾz  6#5q$ftbƠϽ""+{A"R-ii2p<;Ʀ晅ڼOZl#kACץ8.^7R9jewc|3Dٿ'▞l"H<7آwSeV:*ǎ,.Qf (g1I n\, jYR^Qʱao8ōUeD #]4@I@~P͈ng 0ޥ yU@bD_T˴G)w.c-N7Ep ;e[o;ht,j+>m/цIfp7G(ݯmXz(!0J0}m+Mi>| \ 1(NvP͔]xLqbxNπi#^ul 3>pbR kAa\Y}ZO\ۋ͉#jWQ{)W}ӷ7,5)͆v0 c/4;hV.~R\P%JEo95>Ї"%2ԄK5@'+Zr>)8V;3Nc eY45P!QvOgaӆx˘!S@^вDUx'qR]v>*"Б8=a㫏 s*TҊp 7opMMXqP yFKEؿ ;)qsnýFf34ڼɞl!d,ݖK枍1:^wНx77H]Ў)2hr*1_nLզ $=YI:BeぷПRrOYf/Ӂ&.)l}KM;u:*-wп?@CVf<JFo u|SRNdaU=kߦug\!&*K .'޹[,:1^RQ )[߻ΩW-'=qu./K"[+B(L?4&dN4'd1+6z'`ݡ N' <ʠA'R&눿EQ{p2pm*%lFhT?ac X!cC;c9e̒Wlt#4"}-W&?(SN)]1#0}˿<ktQo9xXR;Y,CpkӵZZ;v3%)b'Uscgka-4V~h\qJ)UsS)C&;ςO[ w=`&7o YNA"c~?ù~_9nfp"sMuΆv+,ܡ2`MF26P뒖-yrl+FI!ʲ[7Q-qPk݋SghZL3źU/ˊ1F%Za_!Yzq=, ҷ$~r.bSum$dހxhT2[φonS9F~~yCKfZHy T%edIUHtLn.vH qt+Q!*<vx>sk1w+G^g0ת{"3 +>CK56 ( U8:K;]nUA&l(#R`u_ܛ݆\vL*T\ڑ yaS>QGGXe It_ cClGIcF9uFi+{[q.r]9 ·#2.b%ID?Q*V3ixT^}%n#>56 &T@{P2pɾUvHz-4J$Q|dhZA;qjX3K#x5մc4U}T 0VM幻y93wٱ°OQ܍le%5u&œ}3etGC"e/:EYm%G rl!{RQUc-9Z0S5kPiJU.%`n@і- ]`АW'`A[xd/| HaRdҵ!bK3EkS.v L <> w Cl[@z3:#4L/8JڐOI\{)Jt.9GNJl)g. 4S—tv7X ne>\3pYkyCC>#=0L/iKԩ`iYUbi0ͧJ3;iME FkT~#81e SVz]iuMԿ68^T|pؠ4w h!Y~JZFYvn1|,A4uM88?ז@HyڒH6$SlI;= kl)疖@/S+ 8ៜzo_A gDX;;1fɚ#}#Es|S4פn(%̬'Ǝ4@:r/u>XG泆{ݏHÓ)6uy 3M^OW#;2Dpiu>5GNUH#)" :|řz?c>f8ÄS'Hg VvqW+ 3\6_[ X 18vGv f u?40$`<Uy JV4]ʤRCZ? ojo4ov"*(X#" ]Fq, '5( <:x2G`QķX1wϊ]w `q$]ʂ7yJ;ϟJu{!%;`dØY DZV.BeCg=XtziAEqLX0mss jړʖ%?*ZPH8?l>x9d'0ܔ ;[}c'h u:jFWpsMY*=m/gVdtc{v5m * ṀE%~:RQ6}\a8GFgShbI_-Srߛn#SX|=>|1͵{@sNHf]Eࡖ{LsoB;aP$)TÁ|_W8mi1m6 ]OaS\ )w42w3=!M5 #L$pN>@Ҵ :0(`,_"s;hDGpҡZrWzJ[fVPd}H8HZVc*)F/0L֒O)15fc?mW? qOOgE*"{S&j+Q_]722P9v"?8Z̢~ÐYy6'dQ* ̕t- ?,2[סh>-EgJ'VyP@GMk\N|<ށ~(3}X 9R!Ͻu4:T(ޟ<,6mPsWq͟J!%G%d.*Jk}Z)f @F*R@#%цN3r\ 6 }R[o$ 'I3ĜkE=AasO|Bɋ>sd/RU F,S\dއ-v%\2JFC:$=@t@ 4y] !O8xk3HϢ9Zv0Z|…KϿ\̽B*b%PvոqF(l # Ѐ=s~7\"K8D w#i$|^obzETyI6veFwY}m"ڣ dVHlebjVZG!\ŋAɮ+ljꋆ)nL6%8rtc:z"9?GbzJUO>3xUr|/lQ.@;,-w JA-:FvG{Ù X-kq7>oӻ́qJ^DۤJh{"9ݣy,IW&A%fWiǷyZ|q3jjr~jˇ1ez PxyTM2:-f tmOpʖO4z.w.oi>i63d6$D>`a)"/_=swxp(9L7-ֱi)%`香 =K#(9.Fw_xz+0LOеC6ƃm`k STA~.U5> ?Om~DH IӮ*W _rQ`ldcJ9YVG|BLv=yt{hi O۱ >X 6 ;0~c10L=R2^<)hsD%=kEa XA 9wZ]q?αzjT'7j%x .*byP60@ am>Dd Vޔ.o,fSKɡ3uL7mul3Y"c>Q%d0QxOo+2v]ݧ74&I(T8{ Һ7d}W`0}HJRQj[)4=^UsP7#Hw7R+`6A7d Dᛔ9@G(AWϜj6ڔ*:ϫY =3֋`xV_ ϴ˰A=NGbUa1@l,jFJF>UznO{=[7k6 &xid= Lx C:5=;OGk"|r)C5aWI39bgJ;Œ7z)QBnB|jҺJHwJ.PG3Dž앚n4xAp3 !Adr_:Ӄ^tC@TpJPHs'`ndR%K݉eW7_#*ܕI+w1{^t"RL3}%{yjY=ݻ+ ;#>kTbĝM/?.HNpop`̩_'MN|Aa ρ2eCg{f{ֶr!=a LjN~! G`QBm<8,+[ޱ#6&ѤEL(Z@=XuaI`I!J1>p%35CMx(|'@I:4:a3ۼ2ⱏla.r!ܱg;GQ!e'WP 1DTOP6y@URl,YSKixScM>u+ڮ3z><Ҙ/9|dԁESy,dcKܫMY'qBUxn~-=FX?` n 񔕬VN,kXR\(YPIhs o"ӡ GϳљvZ-(d @KW~D9:!OC'#` #`3:2Ke 0x5}ˀQh`Ni] Ha'6{ǖ"ny0% T5u!]Fh' E,/3hZbkl"&#Ę."/U^T?ÎI[,1ܼ p65 u}eI _A1jc|Pg_Q㓒g)|0Wrj 9k^sO3deuY*)1$O)+K2F=8FD2?(>Y:[|榔ⱋVˉe,-? &44*ew/FI5 LJ-y5\LcbEwgw2{n/by^ XDH*ЦobS{ Eq$Bcij`b$e8KBl$HEj?-hAޓ qex=p岦'hqpn ɵv(jK<ݙ|:g3>zXkp⽣Rayeߔ[鬳)M e#EH[B*Z-.]ǔo,L_2MX^ã%9 Rf3Y q7"% "_ V%N#mRce"/ p}cK T͗O>u{^_7VI|3OiBi4K 3sXI*MGΨuhO)Hb΀՜DKPrj2_(U7BK$<{.\h:%7IP[=xh S8ѓaG9u}l @R9AtA#Q,YˉZo2p? J%9pGQTgdutU| rpc,|wSnʺ5S[ v.$iLqzط:SGq ,Ub%z`M(^rM (.6R0Y]˕ ΋Z@VNZƀyNߦ1 v{Ѫil;m۩L^;vhr=0UI@6\llLhJM'^Y\`쓵`_pN}pleQUs޷|e[ A}:K/z0u\~MhRձtۚ`)E;jHxqtWw˲42`iHDqt z YCR nAs԰@-eTnВhwkN`,.oʆQJ ɄGF$#kug.ׂĹumll 4M!7c kk{M |&%|񼣞\IXv?Вȁia'_jjFUf UY"}l8w pt`R֢&C8-*1X.Ӿn-tՃ׾Y[D  @z\Jz^O'xA1F"t_Rō;j:VFYBhTmuha{ &!r"~lv+ardN{C~e8@7ȴBn9!pUdZFsJYvHMIwR$ +aSzg߲ۻ)edaWC{bOs , ak>)cӐg ME4'+6y{Qare8R5~UZ Z?־q)x^8 I&DT~N;ࡱJ1z#[F …"O& P@Y|~ G K+k|tI'-:{f%n%g-&x؀Kj?~Sa˽Ǥm`ng]6iw~iIBT%7r`5:t{mSz# 71 zf@Ws- [J42kқE\M)y? · Qv Smj\ƫu0ܚzNf, R eK\*Zm U 65|)%KRWE i5&ؒ.7WBMq̓P [&G ƸYsgERm=F+**ީhyTPW:4:Ҵ t$ڏň@@-5{Zn* C XtchRJhΫFmW /3*)TM Ror#D L(Rv%94Sު->Y xWm2 $ݜYfe0ªR5yRvuq1 =R5AW/S3F1t9'0|\?1ߤ|ct޸yhD\k0?=0 ]'w*~aV(/A9! ֑ϫb0kjDaYmrLd8ߕL | 7\UǠ5Jakyſ || |: 9t2,c-RF,שdrK˂[/+JUaY=" Dx&CJZE_hc ?֞HΒ"h5&yн]0?w+E X8:ʢE9fG%ѧK˝ΐK>>a?R^4'S'T7+6XˤFqȻv0$@ i6rcWbo ,},oYub1BLЎRZIWGorasK'i54@~l79P!5$JR\Bgme}1jT >*p-ڗSƼ9Z⎿bbK35[&L=!, 2 j$u_WRR* fC2g{e ⸫z_;E3SkiF;vE3GK :%~oI3j+G?$3>-TYW% %t(kP;4hWO@w13o2b wTpo< ,f6Ϋ$)Ćq #c%ԕK:?[V /d[u0&%>: >(|FkW}lŵ:]#-KX3IEΕj`؉n8MwzS\*m:c@FLiB렖tx 4n}bE`XQE-pnwP1-Io`|d!)taSlCf|R+44Ja9OdStoz~MI^phARLZ{_ AQ6T4@[@r'PwU\嬅%2r0T3Y "xF4 4kf]wF݇0ZQ=E< :tzϴq'5ocD٢n6)G>pdXt} #:yu^C||YI_ 4"wl4PA?^M@̦>Xŧ@eLKdݕ4v(1Q/UiʓuIuEj3hwl3 [tnbwfJe?uMww-N>1VƩӒ[ߪq3s8O̮)ӑGua~1\ҋuO}_gQlnDURtbhBkV : S9cH%~vI\q8f`yxf=c8"!T5ai' !nh1kX `] Vt7XAǑDz ԽaG4`;i:b}[;>j;2ӂO7v+FT Ք5 ׺pqkBd?AR"NŔ#j7Pz}*=F$(!mRy Suy;~<$kTf\},0K'[.coT}Qbru25=Nȭ1e*5)nVz͢1"e*.q j(.N',-o ֟fL78߼CM%%t.֎Hd-0E3sA-D`T2{qWzp+z=, (? LxȤ%] *Tqh,sHvo}i~#2">iSWwi,e+c$ё1T9=g&Sk)T6>nN,-~_屠k 2н5h؈ Ga5boL8p]$`3g[=*Y]D(ж:#̵6:=V/1DZb똡r+j ?o,UvD^z=;t:89ym/6;Vv +G< :c}}l 6Ac^h>0(t2*en2O`83.;|q.zip~ݺ*4078FqraȇV6z/˕;ǰ\%ɂ, d 14_,j"cP.VA&% r &in!—3o02 _ &s"t~/ϯ$L+tv}$=2X-8~{I1ڧ`+rvLuO\jHIh`#{ _`P,gN%2m#YecJKJ-'1=ԔH%ַsMAl~>sz 0QMP]~7%iÊZZ"b+یռL>#zlw@Ic;sl:>sȐ Լ p%*~HCȓr^~8rf 55Շ /^֐Xvڣ 9BTxI8ɔ qM'|7yi@& ӚGNFtƘ/^ī\9CVMV.0/0j`TV$#neۺSV39hE0fѢy*) W?_ĝ}Ml=4|08ldI6#gJ3¬ ݕO<әjvF?Yd{ǦRdN5?q]bOTV5<?`x?K- xe - AKT`A `iʇָ[nA.9[eR,9rv'&ۇKoC1+Z,L ޴Y"N,p"Ӹ8{9L .ãe:a#Vp )HIJL4s؂ti>7ֺ.h[LzQ;v$pFRJվ)8q̎8x&u/yAvb?T&<{uƍqLWE>{V,hϾTCr0Usn:UA[`nYx<*rEs?$>9k~n&NS"SS%trr;b* 6Uʏd.VkuuЏW:T$W]WL7{dQ/k}\".J W )SWz'x'.{ !H`>}O@`W侐POOXjF}qxT*dSH^)h.o?}2]oOm051Os-ɍyQ%GdsUeS[EAuv=o3$l><'&%Pf~UliLrNLV+tҶy%69v,Ն’ 9,(SlYrDsN\@":HI^|#xK+6]Xȑkʁ(Z~Y5t f A '"&VE_%/775EdDz0zoּ41oo4pөoÀC8(%{(g[B0X{Enfov'nS0Z2 s%:1 P¯䭓H*ZD0qhe n aDXӆ75nNEJ6ZsZuPwF@OAz׬ C叼`#N㶭y~I@W Z-wJUض{,i`pE@ k8B$PzgCs"I b*=Lz逐fI'۷LƚHVD;ͅ/@Ɔ:|3dF|oִo(H_ $|,sOn B]@iMs1yu1sdc\ԝ :"YP=XM|&d=Cק]b>p]4߀KŃVYsEנFNC[y&9:FS i@u p/f.{zLc s2,4p:лbR|i@ .Y{15i؃q($pSQ,=LdžjQp&>e@pr(8k崫 FP(xWcJ ߧGrl?Qw_ϦO vB-r=72U31:Qct1v {ٹBAc'+e[7{ٯhj\Dw"`dT7z>' 'Z;woe#[uY-?lA\>EYifC .U7OC6{\$ĝ˶ujLo'"TG3ԧ=Yu wx˟:z Z AyB]7w_6E͖eԆI͊Ɓ eXpo3:qQ^J}`G\Q@(w0R e/3ͿX|2R[ `V`\9 =3:_>rCLq2Yfc؛/d*}ad@iW<3J1v˔˩=u<," 5z'Z>#='&.㳺l.'K#qEJDb q>DzY!`-z.#u \qAd}G㏶\!w`PqPmlM*8"r v>K}ޞw3֐dn ƺ[aR|Rƅ"hկ$h^N@"HD컕 TΚ$-L[E+W W%<)Ŷ9``]$ ;MZKC`ʹQ3UJ.U#ѷj1TVSMYU4:W,C+Du~Ûb~o+~IC.lU89D \0OBp[(T2SySn%|f80Ӆ]p݌utNֱ4/alQ s]/u9xp¯huU{禥$N(}}p>[xnmZ<o #*%|rV+@JTe޸ԛ)L<-U Ҙ9ba" =CH%-r]:fM,{\=-15ۅ\˃&fP-T{?ވ7,@-n&ob+B\Xko #)Ȓ2q3sǒM)4$Z]. ^R` R{=C'floݾ.2UlX:L{MzV_}=퇗Vn9>|TUE&6JqP{m G?r&!)I "ڔ.ڗ{,)ˋ*^o}<؟V"ˬNJ^xɑfynۓvg3EXfN١"4x TOgA$W8 .>gzkCmӆ+}LrC4_w6 #cs[9g0^s=rC`Fzj%ͻ&_lew 읍Y|]nD<\ Wd5_Ws<}aNAZBd.\'.,&ߠA&`A) БM4e벱F[iٟ@KpU%IhekMGlsz2t;D]z[`сEêYVЦ=X$uwܺNG9NƤz:T$].9k|D0KR/h·,7⚳ f>zE%}߷ȹn3:v~3 uت> ƗRzkُ o3\,}q։SL3fh/.QN"g"+]?J.}XlC:m`'u9'd gcp>$jP Ţ-qNb%;r*fW ^$Րab{j[.@ϛ~|LW<M9(9lStF.an5-:>}o+clP)57uXPi50|:R.C|IPS/gރDvs@e+1 Ӄi :>_S5QDgZ<$泆 }ւ]?Řs:~ɱˤ$!ΉfA$];)%3ayLՃl(o2-?`.(OGN݁\4'g-R|w`-\~V8O`>t&b~c[txK;uR 4fv(J=yF9Ղ96M;/Fo/i % {e# R.y])0[Ϋ4V3+D6ɔ;uBb%ZlC: *=.,u3i.#P~6 QLe77>h9 #Yޚo UsW=')M (qNSW:huXCik#az:;ﺿU cxL,`×MS1f/HԂ6dID 8 \}h0ygE% bXOg%UD"$8&OGG=U[^ VT{q*Pm5Wz Ր3?wz=Dj.~'J&B$,?~! Xj&Ƶܕs>جOz\\,w8%-bsNa]=oidg;̵ٰ6XJȋ!>' ~dZry|/&o86EMH3=TW, kJ&#Fle8ߖaPi2 QM0K~lkǷ'п"pֶG]&Z;߿#"v L_ExCr[/(W/3pRDzTI.{a,*Q[2jeW>~ߨt*x7@*b/fsQPo fFvfU,{l]V$]991vEڦv?l*X1ۅp{N2N}l%~"~ " 0&aq]b"u(XF 4Đmh}"BWulL2(VOO2lOg1&OhE$L0 hƆ0¹?=?qAyts*-a<|녳8PT#(p-UM 8v(wM]5,3Vx(i?-@T臖P\u˧adI*:rp(aȲF{Y Pw!"8 }:7?3x(ލ X2&m$('sl5.^'oպJtAs-s;͙pmmW1#C_u1]q !1kamVjާIiun:4(y=bSf8:kl3 9sI,%ԻeUިD$a.R~pf6}s!◃@Q+R S ˂='Mt~u6 {?origT5,p"g|YqIZ2h=Viz )ك_֧P[w8Zv}u`Ѵsfsjs)5HU6.iY!3#[d CVokT8U NROK!-nvSDu#OE}hmzgu=CkϣwB&ty7Sª.f,V @1RRk0s#n 4IK( /{DR+W(DӞi>=cJTqJ["aC[̥D>BvH;YdgL_NzM롗R}+k'2Mqko"U &UrPHBk;CSe#2FƦTI4]5WG `>A;76QbV~%h1Xq@N:cv1h™`*Ɠ^-_zr ټG+1SU '0!ɜQ,޽[OcHEPlyK37^LJB ]ѠYlIk @IÔa:)6!ێtbǷ8wI, Gr+I_ѰM+^1y6spyw\%Fo:s|B:(vJxH;"s)TĞ;Q''X* A*b=(|PCZxgG!"L c:n'Agk0[I4r/oz; {03e3te퀋+_ ר70=3쫠}Q~aBdfRq&>:L`[4lm _"W!bFlߑ>hЀ#ڜ3a\zҍl krAft{6 L9$ W-ZΩnA#) Ϊ,sEơǸ}j-Ex26TýA{"l]Zz[@D褓p0$܂7-~hw2#U%/i3ey+L9d@2)8\}GNu(9! Dz:&%k /#T6 MA3Sp`ͽPFLz~zr|L"@IpxaVZ|xUDxX2ՄY'kQ9z]XqYlņ5ɫkynF$<:lP}fgx"8kZ&ҏGp}3 L~?{]펺?kZprAؖپcXgY54aQw¹x U yeF.(Uٳ{;E#ߖHdZ#XkªٜDɂ|2w2:e<_kgۋ4 ŷ]!VZdKM5zrW@m:2.lQ ?kؠHGahd@` kߪ?@0+c2 Е|u Mr^{ _?G1 UIRy_کx6.$/Ej)UF?ѹӢM0/eeer#&#>zuk݉%i"Mbv_wk3pel"#W0C4 ݸN[ $2eϒNŒd (zKǓ$9҇-X(Y q)ݢuHvapOL6JB"rLN{\8UBdbDXxoT-\!@\nfVLtwz b g'Gp䚄{e&t2 _rw E˷!,ސ]&*xF+.\;sJdM`'E)n mӊ qѯ]ׄ墓3>N,Z-VvS&oaDY:~ƧR#jF%y4\%6},e]هԜ daҮջyaFJNC}lꓭŃ &׃5>v6%pd5bYkd\M:H9h5XJh>jOg0) P[Dweӥ dDgt#&bRYkjп kJh3ՆL,z:z/^`Ъ F)LL0݆ D;3c,~-(2rsyR#\fjlf D";B{~̛I3X:NwbZv5S=pO*bq(tAIy`N]ǝs0gx f0yݳE 7Bۘd[$8$V /+͕[:I&CE0@( ;gal#\GמttwuCra_=ʁ 5ǃ1<datگ6CAF>z<8#t\#E~ߪz1Y!=.0E%[XoKjG8;h`ֽgAVZYJ({b2"GS5{7i줷8s r~]\x~dV#:|~ƀ͍dր|3 $:j>^o&H5 ]-տꭅIW-; k* DIc_xv`GV(cb2BcN_4O0BF?ZLO5`O+:%1h=MD^&.,nQAגF4L`Upw0gOΣvHum%QLJjv]M,?(m<*DX1L7a+JB\'J v޵c TfI`Z=݆Y'\XNfn} GǠ. K/JvPgStBHl@cog<'$JY5\4 GE |i#(| Ɂ8]nav -9S~˸ ʼ3V1 ;C>^o[Ld6[CQ[Z,:JD,NxBGyI]GO"X5Tfs+'mfuc]]1oܾV}إʰϹGIp-;RƳ _X);ۀ$!X6;v_}k;7|e]:jjw;3ۣ+Rs(~C 4U)ї -C}@Kr<Izњ)\]f*`bN[CPPXU)~,$FzLf!|:& Fc7Be/T] l{E#nP% 'Ƌ'+:B9E;}`h: W"6#Wt6<" kG}\N$n*_sYskVH,TB u\rOn Rӓ֧Aq-PFvZ\1 ?᷁a HI>X-^)D2Vv.Z9ڳ;;1h: Jȅ`d[ q GP1nW؊!o>jupe! 0q|:܌ ܩpޑC'T(5[mQ NFpp`㫹")pUGP6SPaS-O5MŪAv?沶)6~wݱVs]acm5LNS.8=re~FK"!n$ϳyl =;6NA<"ߜ/")5ƃA Ku:d}{5Hmz/eult%U˭9'EU5ё.q۔[KKAoȉaT,҈L`;],#ޙj)JQ $\7sj60ix>$:R 2 G0V|Swd|Ptp'0R&҃S*Ͳ0ƼK*>W fOm(/(l_ t}gT[tT_wD PDmvOƵDD,JW8fe(e: y>r'KGVӒ)B~lt#ܰZ[(t@rA;8[ɓ <4*anDaߤ[bRQt@-~4BJ9l!ph<'$ެ(" ?sj%ݢ#ɚgt5vɮlkĢƾ^Bk(mOed8zfRY ״R=$b$Knݪ V|)0f \]SΩ>t !UƹDžS0q3j;_ m+iWIZB2fs4wb8'!ڳ% ȗ1qAL \$5 O~: ܁qkv߃*l6V뤖977TaQ<ToPQ[6anzn|fuF/w9ÅkL ,>:3BbKNOJI=<*y5>@:j< d_0K}1!}4?%JP߬5A1eCוyeO b,]}KfW#gT8 :hO,jC䌕hiVCV`@4D`5tdT 2!M WmzťAs8bJs볍+,l#AMAϊl^׬0 2e]}aAS޵nU|G6ʊ$yyg/*\?P+$l`!UՀ&mF6'VT\(ngdN#|\v̷6'h%C?ٍRǞ3F9ԉcуy|p4bm(s"ͷs'gFMb*lq]L6-r@z4%u%GD+,ڻ?Art\^-{S7 .U}5|hF"ŒrU!ǠՌ&{K 1m…syRNanR&o)Ÿj<#D̍Y }CQ^`jA Ǖ)*zqSjT7o5rv E\aY8-#j&s#TH =/A>๸$DQ<UCf?U5Aݳ§Q}u1Xj'yu܏X] PDr:q_#ʒYYJQz3 yxWeAϦB)(3T/V)F)@=ul2Vvs60 8CjdUB/0x8S870">h?Q/ʂߴi>DԼn$ y$oenp+TY4~A z*H }D:wVSxAlϽdW%5\]o79@ ] ,pEs5/7D(%Ta?<Wj8`RyGDZ\˺ȱT"gݤ%ޱO Pb5w&'.# c# sePOd(l{ӄO9Rzh%y3rT'6wz.3Ύ^NJ-햮4%cUϲ4 3Ek$\,rMpqBtwJ6Nu0N| vDQ(IZz ,M6I3F؂n<} -r!j٬4+92a5?f<*Km>?pBhC[7\N,O~h!ß *2En@ |n:$Salr'… Ff Zy:RI\L aðs=HJ^WFR-9CDQ3&ZRiZ1,,Z"!êSF4V{VwY@}-eGOȆWv:B,CAg\XW@xZ B MCu#};֣m^q8}mC S#R fUO5#z@FO]l1 0`u-QމyT4Ť/uI$՚_PY|_(K@ AunSBT8C@{Sqk?2"Ht}HlmOs5w߂S(Jo~4bdqۑ[2=GTF@$ON%F䃤;+}q `}; 'vaIr9P/rp!hRx `&\ޫtieHp;en1JBi5Fv4'4){L[yϽ9y^$u߾^,(~z"7.*/"`ʈ~-T<+A~5DGSM\^a*q.>W')~/ Ӳ\}5,ioe~_$.ܜ$nn]NGC:fV_=y_rFbЋςMdZU,pMANhyMJ}lݨu2n'aے lbfi 6}Y1M凌 x$Ϋ뗐TWEm}!~cU ŷV̏+-B\y_ (I/t+?Cλ5Frj!/RNPyXw-W9a4kβCx$dBfo*7.݁0ϻVW=tc%U,ZHK9VwgҴVFbpU h$ϔxG'Jhbm,k@b 1WK=ZWpٱ@z=2;-}a5rd#lbCK56Y\Ek/E^4}9 I[d11 ЀQ&)" W,e3'Wj#B nz&k 8Z Ι[; 2g"u9Ff,J<xp'*j\ =OW@hֶդvQu3N|Q bj!j){FƦdgX\_E(>=̫y 8P%5 sX#c ͩhiWnn`$<݈YQS6kII2wz딘hॶ$pH9YE36@/Z{SbGs"،;`xkei I|(7x# *P,-%QNoy/޽a:儨t Dӯ!@E*-QbNi \ pI0ZGYݩv|N<͢ C$AL`\+IGã<-UșEs^֧eYAnXRp'el]?N^gXk)~A12}U&p_lVNv^Nr kS_n5yMKJ,m\X?쓚]i*26 8-g:8.z_y&x7{j},=S,*$늆䭭tS7^`b!Y!f6u;3Z{AWn8IFwn0{2@I.@Dd,G,*D.9sn|c՝"V;b_]9I!ϙH3L<ÇokN`HO,jʾdC&{"N9@~PDmp*ɂzs<^3E"Li'pV~i ONT(S{>~?rs8u${K˼nfBT ; /_@Ǚ3^nxRjnw%{^QjJL1˔7FLoѷ%9'Qa@F/`s/!A=zl5EPݞ8?MmM{ȍ3ERC!_iZwH[8/̥; H?_EJ0N"f1O03XbUieUL)ܷ!vP7m빽1ۋ':NҜG-*kQGѠ\ oPvzhިW7/s**9k7k#ɧvUk+=fL˹|_aH.+%tMV);K2ltzNF._}w9*+uy5]MX)0]ekB6)$:Q=",9_2EP(u%Xhz\PKuH2##=2hM*lȳigs-Wdt4(EH1c|ј͂gl~FҀW[PC#ͭ-PIÐ(:;Nt#DWvϘó#Ț:n0X%oOQA/09(-%P{dh-k Vv9%:v uԋHW?@~5v*Ңs:,mQ+/D׾xcQia=3=/).=m<`N[nA?~MiSn!͵OnISAQ;uoHdV^&N{;LF V%-$,->_w?~8dR)R(tӂvbij+^N$pbOl_K={ PzN`0i7}uu?~C%K{0f":Cr=92,9BafӔgvC?np%>%{۽ݎU< ;Lg]}1ʂwk@mrF|o8}yfD7)4>-Ӛ$ IT%d8iv7¬Wbv#E[+/Fմ=*zU;fʔ,KLJl=z]F#YFۉ9rN>q&*&9Xrc_'smT ފrf~6j JoFx\1D t\q2Khɍ#hYE:&ܘ*$<;g Ŀ7CR5_En\%IazE7{eaoR|+.ifwt){R *)W5T*#_o V:7 u>BT8}Pв@F^o \uv ZX ] x_*|l^=PqybdgR2?^k#R-v&H7"z(×_7A_4mU sw-:w%Yg.)e瀶zJ'\ g]4%m{)I6n@G5N$g NK/P,/HLwP/ l'e-KbXq%Ɍ|reI/y&:(K\q6q%Q]uάپ]Έs|hHV+Aq' $LuX 1e G4 VX @,3 Ix>6#Э{fl2?"2+y'9%;TG+%DL#+[h9ȓ&ظ{r_o-S3$ ]U ґCW+|8U0W8QޔK\ B֤mb.︹ 梌& =In ۏl}Qp^=@@PiLֻhYi ,%h95cw;"w3sDWn}h12 Ns{YWG$@Zkih?\p<[+W@ dXץi_sۭqGȅ$3(4l>|`d->(Yy#EaKHwxٲ*"dpQtό_xw!Zؚ C´ xi- 6! B ^0g:GDF.F2vޯ=7?7c'3+Y)fq"lZ 1eF|Bl`&vA kR5?o2pмIG+_թl} c4ad:o5l.U./;І&_Y>8!*RLC..}v% &xaAFRtk8-Z Mݙ䚞 h 2딜&cek3, ZLm%wo;lVG>UC,tlv$o+$Ygb\)q.A+ѳAlk{,Ǜq9| 3n)W7U9}b3[V"|Ij>im>Lz q +ggzcnzk%ތa=J!G3dnTIMJ\zxl'R^%FjkL򍭳L3S{$0d-RjвKJBJ~Z+@3ƕQpD,CJg7 em5=e9H%J:3H,CYWd(oDLzd`WQYߓ[q4:TG0L'&¶iLAZJMqO" Ap~4E1MӘa;6ݖgO #;߃s `\t08'$o`ָ55G_3}ҡ.u!s4o]V$Z7L ]KVrQGMC; a\:Męa3[f\Y\U̔$5L[X,is)j Ix\B"d+{a ސҘ7jәp"u*t3|&^Gs>{Z ;-F_>G"e8ǣ{S@4wpVxIF5 )2N ^GRݧa`[\0}ZFxaOTT9((jg?3(0PQJƾ7xV3;xC1i P'򿃂 ةBj?v_C'rRZHH20&ll5L ',@ΦW}"+zTDx6!ə$K*))]JX(ȝ {< ܙ ZMkn%"y}{QZ-&1 UD3Ūdd94/;|\ءPj~dkC~c*bYS&`PP|U ^Jܮvy]VW!.`<5)' Ji.VmͨZǷH(kaV%PRQ5}( VԚznHUf;t*ra{B'sgM<`?&lKjtj53/DGY4|-jD5i/A$( s%f$g$ty] /}3Ǽ{hlKX:#{|]=j"8N$Ops7iυv^BrVe>kxyGL>ߕxOH1 <5?KW0hC2e/w9K)w޷Ҧ%nv6p xi<85O\&[ Hsh1W**dve1 =5(Qz#Vb^}RLZg.?LzaW$ #I+6wFi݀յ|ԟd@)HnqO%coSHs) GJjKS)h}3Bd"jkG_PUvŲ@{4pq1`A gMg$$*r;/7@'VsmI⦼Qhb4LkՈEV1o]C?hotc=1|j tTi\UnB?z0wyHR;H-gEh@? SJӆm)2M)7Щ_c 79/k}3\1 r5Ou u& H6'#D Ձ+O7D){" EzDLa̦03biBӖЍJTG$85vW|\W+ }'N?;LIMmJ֊iP7 kaNIx?C,]n@_I/e(8MNhX!*,Ӳu]ZRn4^3FGG|~Ő}ὌaWu6'~˄tZTWH+X\3 n?[\OX;ǷK6vf OWrU&'݊Bgpd0- ʆx~9mLSӄAP{vVj ぱ֊3<ғ<9r5YojMg):_894~NGZ,|^$=,/d)*3 izq3\|Ce}߲fu~ Lӓmy""wXξv''SP,e)kZ ㅯv|V 1moM$9^uִL(xU{X1^Si&cYGяbW`w=4h >Ç٦ZOl,R$E^CE>' ~8Ęg7b xbK,]舥s JUdzxDJ&^N1"ZtCm?)&sc6@'UQ"ǚb;`gՈE'H5ζ\ў$笒yVV.ͦ9LM}\QVES=MeΤOx{:m@Kj5{|J( iR6@> yeI.t1O4hF ⺾&ViGm6~?-0>gfdJN(Vx;.h.&@[CVsmH4C!u)Msa/i2B/ưF5Q%zoiDw[c_s:EGii+*Jy8'DM tjf޳csu"-R[ NE|5+ ŅmCh[_]x/pBᆩQbῈ˨&.ix@ !^C?o%72䔸4|fb[Hr']%nf?D^tNvJE[c-jgD"=_ X_=8?eZL]b GphB=bq6m#.n`RT1JƊ`z~=ܦXn}}{z" ɑ!eb5#f3HoKxnyxfjh犞[s^TDwTCYFaУ/mL,ܲS1kD5 Ϙ `(ۑnN۾<ػ4_#뼘Wj5/6'g7WCV.#8~/ 5FLg7Ū]?FiŀG))! $ci`R82~%P~J2 Ic <U_xd, e*͏b镮SKӊV>'Vey}ǒhvBU>/&تȬ?@}v/)T!6t2&u߳)]LƘOW'r+?%RJsaףdPnNw׆ pB!~dS$u]OHTM8%w(/ή! *aA{V^Z,LvrѫilA%v]D&Hڡ]󟡈QڢeC4oOBk䂲_X%ӝMȻ*ɭ6ᬘԁx~"E 'òYɠ^|,d{/EիFSo60n^CA"#a=(g-@R`ɪ/xf]:ۢߍmcf\BP&s_k>)jPG"A n"KyEk,1O3b1 F_'WO#7OKhKAFruVKm -(q(H_i?b)#(cǡ[&N>d,{TNCPs}cl<)!#S9?Hw(v.b`TG0i1{ aompS@ B϶jiڏ7Ķ"? | ?1p.\ HZeJ.皹Eo6a4ˁI0I76j9X6/B&z2zJYW/h4;REhqxl0XA(nYp\c|9ZsoPovK -_Zbҏق3_2JCf!475 gGMTw¢FMՖi1o|cOn:txˈvGܚSt*4qa%Kc-RZ#p, -p K"r+fh݀ޡ.{iظ'=b"ב^eyւ4hUŝEp4{MVd\gbUPJz?tt%dRH2y^衡wР~C/|.FZT mWZ/*rrq*c:.b! %r@2uD4rhKpHt77 32k.+ZV2MOf9q<![L 6I(Ջ4=x#;ڃk1R#η==qziziF*{i%W8gAl[ius=+ӿ9DJ<36~hI٢'1]܇ &V^^s2B4-KUX>_4n ̷(_3gnOnV9HoU dyL L!y6Uvra3aC~⺄)\vŋ*귴<eUn0@ ' f?}sq,0NV)ժ,QX O7l&9/TX,mmZ@}^)&I,ѱ7N}{gLsFBh;&=3C)DcvA`* 2h|(didK.~MF?Nζ3H5^5j*qସrQʂ8pBkі8vܼʂrq5v\ޘ^TUJC)ȵ &˫HfXDpf++#Jglܭw` 0: 9bG,jc|lƞ(?g,6Y#OHfq:'J6%7S4Y3u럸jX>p}y'FW(i |,.aiCt^ (zֲs'AZˢ<ডRnh(0udNKM=rO0BA.Rzxp8l\+&xY{qО;zmv] JIJv{m6:vg/)S]H)We×/by Vק.Ԓ' 1ԩ~41.4!ޯ6#((SVD;fgv-w;u3*4y`V>ut_T-"E? U V̨ױ#4S ):gԇ) w {RJ֑r { !-U6#6n(x/7ƽ׉@KNKQ>zjRglusxn Z(e>%tEweE&A%AL՞5MYZik.x5  JZe=4%3n;Z*}'ϰK+ի;PgWk]YtL_쐱a%@yp%`w 7z="֓ I| H}ᅤK2Zep @LؙjfRp?0%ZV-$W&MMwAVmF,>([x~UV G`<W2˒Cm,0Q 'FuthK1YR7VLZw+dvö؋]ELS);HqV8%&' K*Tta>3y@EZ*t`&L-L秢}H#K_^ @o;]]tZ@]`N>J܀FKݍl߈-8GW[j(5.1$0Q QRg)Z0#Ww"$h#"iH$ZY\n*Oi+|\ GL֕3tډa S*T3bn$?Yc}5##0çzBu_2a4xrivϽ13#'a$f p~[#1m^hxUZZL|L2g *{;}'l6pI ;.LpكJjI\40#>4c Ot}Ck0h7 ڂ{n&[mgR7IIU7$&ؕ40dH4*-8ZuN<; =~}>ΘĎeF,\yW58=BJcq);l Q,]vZ6ZOu~dp1#ѽi OHL98@ Ti&%8,=5Wsp=S1,Sw"J˜D%>c QP,^֍nB,_2'y#1 9^GK*.7+EJ9E37tRG/֤0שpr>~=DJg:u7U&(?z[i0}-k,m8Zpz>;# 0^)u0O,$N&+|-BW UypMAAdCI˲bq)rali>q~JK 5t-O,F>m1gxCyL9t VaDƑxł.:97Ӱ>Mp7/2ڥd-WN:yZfeu+`|!6"c{o4O"_H lL[Tk'GK\,p-ddrD9d4VCgqJG1+ etڋd!1:6N'i'ZEH-TrBQ3~DmfnI Aݒ}]ٵd538axt>F6vm3]qڐ /zS<"*AsNc~74 mb"/71̃Nv/HVti㮭|Qhaiף$DWI_yj'Q^{a#rUt?+^to Xt{iօ4{aVodkл6Iw]^-c QBf{_0p%̂.Džo̴wk|Onkn}vovLMɱSEryv]r YGWAӟ߶a{X`,iX&%b";g m2tSgؐ^>:S$"K'qz-3T&q5> :%<~uݞyʠ.F#S:Bψo1) %sy skjХ̾ijažR߯}s9sH!O@9;<~߂Lo$@RY&`xhKw,Wc7 m$~$LR;W"둀ȅwSp۞=YRVkOÜL Q){DqF]ݲZ6 CIX:z}J$]Bg@Ü.{T+-BrTdZu C ..@ u\|ti޼"8ziJluI@o*L= %?qhΎ^Pͅ^eEO%q EAo I~W-by%[y-~Prqa ש/}*tmyI]q F~/_6F$ZX:o*$Hb V[qPJQ|M/ziv+e_PPH?nBI0ѧjnDևDz?g=gY덄@۠Kb8EEK$'"(dKT{dڢZT?_feL]!Ϸ wꑠIɍQ sFe2kb-EžQ0HeHϾ+KM~R#l!Pm[ZdyXōq@ ^pq%anP0̃-/ 9̠И9v&e`+DsF3*$I4\_^+f״#ivvWȬAp aoxq"c7Tlr+ HMƐtkMfI#39?[_A nȁ9A/?=qP܉j y,,!KWP`QHRN,e 87r=iAE>5`A9J a-_䥷z4,6G՘ a=VnJF٥=ʫP @^j'fFogTܛlxwk"˓C>Vv:vfSVEr3fËkAB֝Œ -ҵL-܊ ٓXIz-MU7'YM\g9>e_dz5sC`&'&tHQ& z>؊N,G&!shIŶO6qKM6oо GRi9{&_&Ѳ\V ʓomJLO=-jVWX հVW:l~~tZ3F,7*AvKRw>KWd!:\ nr*$g,I%B-|AUtD]}rd(C/ě~vp[䓎!QƄT:XFRA2HK M,2B|1&q <0 @Nfy@c~,tVfKBg-wxiҧZbA\]# UW6}:'B.Ka*" HiiD@յA`ݎ׫nTE5VuKaX^jPca?9ea}Ka0G#FH7e@>Q\3u/[} 3g .XPFJ~wODxIY Rtyri #s>)9K1ʊwB]:x$U QޭYǠ@SOj}! ϡ=#J <FQ:VʼnCmDtKFRxN&`P-bl/Z[&ς-A~LR C6գ&8V$O1INc=[4܁ xldz bI8>84Bs[]!S>nY]rD:ζOѫ9yス+njMpxpdHowfg:$uKV+= |{Y*ѽK1gq7fj}0/ԕ~ H[A^n-BB9?Zn&=G 6{Iپ.е_ ZӞѯCԦaXr1Z2[0ftc3xbܔ5ry=La !Ǒﳱ܂G,v[ln^Tb6yQ̗߳ 'xPW9iE>^Q`AQ=\X2Ntw&j88y:7 M5|ey-#@\ YڌuX|Ti*G)0B1_hQbym<֮52>>Z[Mn R gL:~%f\`fet=u _˺<+@2%td23?_g4,2tf4BѾhQ'_/k$W\ϭg(kӄw/n}H,4d.4<EU ۹&tֱP鸃xRcX ٥\O<7sGiɉG(j|xVXN~T:Tvq8dzAv 5Å) 2;|Յ I%:PY(2!o3{Oj < IJȆDBAoaIЫNgzds+# +FĨWWF-Iyt |D5Sg ez~J׮oCG1=R lz3Q>#fnӱ4'æ~#vqeP?T g:;-aɋA9b (y3H"JpہE3U+ @Z7ohplřR=7i{_mUN9aܰ,vAr)c@ ;%b96(Kr=A"yrʨ\;tG\E$-^o yٙ2p5Ih!^6}8,ۛ, -,![k,!\!; !jpfve+lcr\ԃ(+:{`E3{TB% YC yn*q_:1kÓP*{WbeqUy]Kx \e**$o&m0آ}U#YE=S&+(Vrзk<$&-.7-Ho M7mXJ."#3E188T2ͿW>+~3)>/|Qh>6 B#V@ܨh8m[iZ^2c:܄Z uߛv> tXr'ǃ¢Qz@>`vsiz$0vtNP^BPXq2;_wSܝ!L{²b l qE ̸W`ˣCN:xt҅؜_,i/xM®egf/z s8A>^GWC["ՉtA^GR9VCS̄WoPQl[&!+Y|2f7K^MmY>uQJdKzVB3n̷3] LKsyUxXL%C. u@0ϴȁU EiJ%c"E7mMwST|ǐG@)jtY/yAjX52D?I&'m쭶ILז);0YZ hh|u%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly(t%-PureML_BootstrapPIDE/document_id40s # 4PurePurePIDE/markup7zXZִF! ɤ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OpWkI"yq[r$>K.l5u6He$#޴]$ 9jfaxq">g^}>bK5،cE b[xoQ`#i9$S'xQ^x.:xtϴ`[T@DdRCQeqO1M+I[tXGQNF:Yg()<@KRK-QK3ˤ*>ՙ@wG: u4D/7($p暈o)6Y\`þ8 !C!,&PEC紜ؾ9- p;VM)1*Eq}5`a+ Հd}-ĕ8&;J$[ Û½$5›ΐ6d#A xzYWV"EKM'1 Q7 ܶ=iJdf[3Oz>BxX=$C*´M4]{})p IرwS!'ņZ;BtJcDKby3zSU'r/1& s^`5R 3r0"UKZUB=h~A=ɵڧI'?( x]ϗ+ܬT"C+wF2uNk@BT;q:CN_J /k'a\  ll!#sT_>B\>؊Yɱ>2L'|SͫdeaKe2vUL5GMH22v?v/Fި]qۉp?Jl&={ۚ9y/,ӺaB#3cgl &:y'!Q!\PzҀ8ct7 Ϙ1y=0Ou>e&jrt^i_+(u}t+d 1!?O\uPoƝ"yT]MʴpQiE4Tj>BQES:/ :pmmR)9EV2ho*. o_<ʐR ,|!beOXL +RVwtlib8#̵6J>#4{el,G;YQt8?& JDZy#zhq>T`3Qϵ㊊cU*.1a#B璧]۽ y ?UhfƳޞ^V8PaMiXJw>ݲMW<@:_@Q/ 9Z! m$TDsZ9 #@Q0{X,)} "_ 5I4-leH'f >,} [|T7.毞zG1A$~ *ߗ.)E¤\c=1 GL0 s%PxCSݖKө3kJ56-~,`HIq0H,xlÜ?G>I4C%8pdD.f}/5҉/a# vk0B]ˊ6D$iO4djtYyd`rV>/㳸>}QtEÆmBw#6Ey癕 ={W(! )T h=jl HEqXBwS(6c{vk_LϞhNu"`g@-&0V=QBd(kv%# PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔzHbxj'+%jVHcZ*o'Sib&+ ](c&>Y˝u5}e'4q(w[8o$B8E[3,i$E;F9Q~-H]p$p|Rcہ@ JhuY!+IކE`*xӕ/^RunE 0ۺ40$~\sIgAř5\Y3ih tc8 ѧq;{ oocv(;W%ir>:1dW&T'P 'jv4fnچɃ䢀RB\ SU0I cws,Y6ɪqMD0`@A;I/2L٣rjD=Jli2&m؟,mР6CfDrp{97_A_M98N܃By!k snA!vax[$N8wImҐ-bȗ!E$Z_FUYsTc@bEJdg8@es`^G.q̗L)ё'{r)NJQx F3k@J>]|U i!}S5+ss[q j~[@uRUU:T+b.p"qF{k=MffRՇ#\Sى2h''QOem0PzU/o?c,x7~Wæ3A$0$}`rl gQSN@M -Tl$ϒ rqzD?.m_T4ŠLbmלi7cUŪB40Df1=t HD^@x5z !=awwq-i ƼVpSir6& bJ{zkKWW`eXYd?'+Eܡm1sPQh:~k Z6)jm,m)N J$~ߥYfL. (q<_ҙђY<&zϙ&Z9U8)yimi`Gj+7.:uNAb ʭ i m}".YT׳Jo P| %Dw_q J  nhK%RTx{֯//$5|pz!̛t$e!6Ώ/ErvaŶ  ?yMKC'm9Aхė߹׼FA3>El!apIU:;ZS(N iB!$fZ^g$$܏(LT;p nF3>j-9 Q#c劷+uZ8LU(gHGGa:읻NHG3<7Jv"/Y-ta;~";678n[0Ί~ə&6aN;)O6KCޖ\j%((Kߚ0O+_Z8v g߄iZ x $BKpey9.%W BD8t9b/ mhN,(p&!?]AҎo^E> ttY @clshN7lvвrש9FN_y8֤C_}x6ÞDoCt=-OzAIN'8ǒ)r3s/[HnՉ$iX)@)tg@2'F`i&b}lz߼Ӿr!XC)!Hp]'g`z*32UL0AiO/Q<{\n[E0TNmC8$K$|t mNUTL!'[B$Z|.gpXh>G:3YםWCp@Жɀ&}]kjbRojW~Q1 *Ǻٝ0h+|5֐mGPȟ>#8qXZ,)O\>ߊ4U!<N1t_%g{/Ay_#:!P^Y)sC,c |El8Dx, 2~U*"ۜ꾵la2i*INafS~ vSKv<f6Hd0اX{m.|6ï={'jA[+[y㞺?aDCKw]$f:~Q,)/n4TXwIKպ3$T8IjOةxJŨCG]GY?WQ/R*sG+8:ev5\8b~[, i{h)gf87e7"{gT:9yY`ҍDh+pWU)Q"8*󎀺Oz ;i3ń]?✌&nG]#4~ob\?~t{ȣuZ 70,ʶ8"bs?ƔE2љ∴&=d󹖉|J]؈iGQ Ve= LZ-CfH),rGB_K(`9㗯`[1 ~3V&!ڌ§Lio\={Sz!k\09dGs p_alNޯ3F\$Ϡktm<[ S1.,XAM n\l넴3>kҗVH-(fW֛*{m\>W1E!AhynG>~=/3w`x|ۧI ZG:%L;k<m׽8 /(r'U(s!;Q/x7@h9QWt9#ȑVo$ +9SuCn, xApw=zT fw.bq} Lt%0 8[ջ!Uc!g?J8㋞Xڏ:ԋZ2Jic; ,Jsx%F}x>1"ktIaje{WরTՀ"ͭ~»SycFj/mi=swо6dS+[53NUlx9H@]3'?%O2{ QCHL@ddߝ3%ݙ~.y oxiqG<@j@<_*Bt$ҖSス&|{%VrI 䫭tCDCݶ+\mR;PKcW`iָl ,W*ĚVQq [(ɗ5{BOSH/hJIyhC 벬١M)MRtJ^\712{OYoIb=?:wV@9cJ,2krX79 3ߞ*i3Mq[摇(USkAU t h8NZ +G{8Ab"7f*ۨ=Uo\jkoDi,pa{2:g󅙶`!v;jo$7?[$Eh"1*Tj` D)S]mL G$H "^4`+.偊A0UBm.T}iܐ%F9 J_!{ #/{e*Sm F!廣7cY틀W&vU!, f33vٮ\n/^u)(7Qe)kMVl]5vKc qa8 sOC:vh9ڼ0ԺEp7[խ)HgYZ  {'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zIbhF13L]cf;1ۣ F-}GWB6xVzrfDuܫE?b,A2PuCr8N!4G+pU-Z)N`];Y+\2YtesC> ȱgYZLz'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂߠV `( t(^ wV:J0[it*C v\!JJu0гn̖ZlE޾{-?ι6ʮ+˅Y;SᰐOBF< q%E0}#Tֽp?d4Ir7 d`#[Ue3,\>sr` w3y0PL 1SbV(?·@X)~\ϧ c" Tlh'c)b"e8yMںtO6oثb-Y{=n-e&J) oq'' 7y%d8}eN:]G70 T@'~<TyO{&vI3o@z^B2&&Za)+o`O Dh\N*+̆^^3K=J11-D|1 ʉ pާ"GMߓP@pDs0Z9!lL4|n]XCT-h4Q)H"R#NV߾,&Eb`}]u= [W{6Tx!u2a]˼)\ߧXB lM5E֛0xzΰrN9u\ jHc` +! =x`~=5inn iu S?g]3'Gg:p٦xZ%A4TsB*kEqS8x $bOiXKw( Rc(U1+- o|ڷozOWw <}pf*{yR$-(" αgYZ