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  l lplT\ ] ]Pure:threads=1elapsed=1.294cpu=1.361gc=0.0007zXZִF! o]ŗXiɟHVҭٽD8뿰tAƧCE)yiTIU1( {U%Z̓2>D8/! >ŏّn/_sN1R<[gYZ7zXZִF! d]ŗXiɟ˚Ћ. k$wqw|z^b*tRK('ML}fsW;3?6 ɯۀ( '_U!r㶱gYZ7zXZִF! h]ŗXi%Ho{Ё:8P)BEݐ f3#zSN󐒮_hU$Icf p4@:<߂X->^8؃Kb)чr,>a%(J%}0XfVKٮy|>!&xvS½X P?TH]wmYbBh%q2*~H!*KLE 7WDdqj_]/1^2$9Og- a?ĈY*(#[SL`ӷ}wP+'5>)K9JK*z  nz;ʻ`kD v,;:ĝ.]Ie"z_  ZRMnah~_}"ídy:p'VgYZc5df02b07f815c53a01e350cef5c83d5fe98db08ca44b1aafe88a973d88656dba67bfc0ae7f1c9d2  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/43914g%PurePureproofs/43910f%PurePureproofs/43906e%PurePureproofs/43902d%PurePureproofs/43898c%PurePureproofs/43894b%PurePureproofs/43890a%PurePureproofs/43886`%PurePureproofs/43882_%PurePureproofs/43878^%PurePureproofs/43874]%PurePureproofs/43870\%PurePureproofs/43866[%PurePureproofs/43862Z%PurePureproofs/43858Y%PurePureproofs/43854X%PurePureproofs/43850W%PurePureproofs/43846V%PurePureproofs/43842U%PurePureproofs/43838T%PurePureproofs/43834S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/43648N%PurePureproofs/43614M%PurePureproofs/43610L%PurePureproofs/43608K%PurePureproofs/43604J%PurePureproofs/43600I%PurePureproofs/43592H%PurePureproofs/43574G%PurePureproofs/43570F%PurePureproofs/43508E%PurePureproofs/43504D%PurePureproofs/43502C%PurePureproofs/43498B%PurePureproofs/43494A%PurePureproofs/43486@%PurePureproofs/43482?%PurePureproofs/43476>%PurePureproofs/43464=%PurePureproofs/43460<%PurePureproofs/43454;%PurePureproofs/43450:%PurePureproofs/434449%PurePureproofs/433888%PurePureproofs/433847%PurePureproofs/433826%PurePureproofs/433785%PurePureproofs/433744%PurePureproofs/433703%PurePureproofs/433542%PurePureproofs/433501%PurePureproofs/433420%PurePureproofs/43258/%PurePureproofs/43254.%PurePureproofs/43252-%PurePureproofs/43202,%PurePureproofs/43198+%PurePureproofs/43196*%PurePureproofs/43142)%PurePureproofs/43138(%PurePureproofs/43104'%PurePureproofs/43100&%PurePureproofs/43098%%PurePureproofs/43096$%PurePureproofs/43048#%PurePureproofs/43044"%PurePureproofs/43010!%PurePureproofs/43006 %PurePureproofs/43004%PurePureproofs/43002%PurePureproofs/43000!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/430987zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0][GY5sf*^떝%J쿹gYZH$% dPurePureproofs/430967zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/430487zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E.JBE['Harv^¤FdwlWgYZh"% $PurePureproofs/430447zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w#x"kOZWKvLڭsYXJBegYZ4!% ! 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/433707zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/433547zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR{ў*xyzP>Pn(C)w_1x+8AA=igYZ1% PurePureproofs/433507zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/433427zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$AΉ&slTXmq!gXtr SgYZ8-% DPurePureproofs/432527zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i wIܪI iWV VgYZH*% dPurePureproofs/431967zXZִ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_~ ĔEE%pb3 c\>ȱgYZx&% DPurePureproofs/431007zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&ؕ-LpZtQxJ)!ԏbgYZ  +   nk=6 B% PurePureproofs/434987zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰfq~_ғML .{@=&㝚DLvTZVh HagYZA% \PurePureproofs/434947zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPiR<5'_ٟl+x agYZ(@% $PurePureproofs/434867zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%FzOntK'߲LhwY \gYZ?% dPurePureproofs/434827zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטb 75%HN g j;8gYZ$>% PurePureproofs/434767zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/434647zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|LNa-0i.m0S jn \AgYZ<% TPurePureproofs/434607zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*+=(RV9-C"Q=gYZ$;% PurePureproofs/434547zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/434507zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+5 .2gYZh6% $PurePureproofs/433827zXZִ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<^Xj uj6Ir|;jZdF$xz &uRdl^͂{H$bPQS_gYZH5% dPurePureproofs/433787zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lMz-n&Pwj+J+;s]<7fαgYZ4% PurePureproofs/433747zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzJB衏Tz7;'ϝ=v5A5/% gYZ    3L-.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ʍdͯE(+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&N rFd%{*o,3(,6PU$ŴҰWd2ÚgYZJ% |PurePureproofs/436047zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛo&mJMQ]-6fsڴ[xd gYZ\I% PurePureproofs/436007zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z{{ֹC mބ YgYZlF% ,PurePureproofs/435707zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/435087zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo4,'5KXgTjĶgYZlD% ,PurePureproofs/435047zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^LRBfWl/Nl"dS̱ BgYZ@C% TPurePureproofs/435027zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zT0g(2Ihy@GvSnYX(lsLh(i̝orJ"/~gYZ  8 E8aetb% ƶ1bXⶕs_~;Aq e( }93NgYZH`% dPurePureproofs/438867zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E/[2sF gdNūlWgYZ0_% 4PurePureproofs/438827zXZִF! T]ŗԠQlP@K!7; [ $F( SQd'dx{hPܶpeogYZ@^% TPurePureproofs/438787zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H%/q2>~HDE!V1SAgYZ@]% TPurePureproofs/438747zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/438707zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/438667zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/438627zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/438587zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/438547zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/438507zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/438467zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/438427zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/438387zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/438347zXZִ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   ( I_0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZgh# $PurePuretheory/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ԫ .~SENprU㰦6\ɼRy4zl0]e>.mi'h !1(^4!fڏi O2HTrd=M˄IczT;za42"0 pN[4q:Dm >0F:=(| n˯KDF`S PI50&nP"EwaF\ݺn;sٯAՖOnLHo9^SA:IS!+DjnRr}Ұ8]WVKz 2vM>?4X(@O /K Xi^J<]a }j.(WRi9U-u~͂4|XIh%|p*j!._?[  dDz߆9ٲj>4&ƧJ4|q O鉾9=meVH }zXa/Yr6nK<\'Iyz|>Wx4m| #6>#Kh3GW:Ɗf)D}MM`[cQӣ:_^H~ԢWk4>6أhj\8%(}I)i O׭oT"w !鳌X.0 jJ 3}h*ͲcM1t"-0}Q~' +JC$4g =%VɣLob4G9֐z[?Ԗx4vssQKvYJ0D+k r[ME҆I*A)5E wxn.*ljVhR˜?)T*4j%zғj;U6\{K B09\̐hޒIy@sܝP А*&IFX&Hv)D$̶[ۚ#ә~8"/{PfAW>uP8>qcOoEJf?yZ *Bg4sE1pW$ t}@\BdA~5#r>8;Sm4sٵ;m$DѬP*;P8rUoWYI> 5t@Z8jĶgYZ|e% LPurePureproofs/439067zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g'?&Ͼ.~PO+_Pis,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:% ef9HSeHؓB6m ~ M8*Xn> 8l nΦ?x@/q%n7- Jt69+D#ԧvpQ 0@ZU'<@}s,RbrcҊc͏>HZ`PÒ. L?Ky滲 r*I7k^݋i;|_`{lRm Tb{~N 2><23ϛ %1vrK3Ö-E4䀹+2'!g?p3.$gO|Jr%EDJa'-;$oSOV0р<6{%&]iIA /< ><'na#R lKi/rDAhٌʵSv!M|dԐ;aO1/2#q+Ec@gg2&Z>ǼV ͝>*:`0MLR# ޴ԁ@u.6ez@MFe<ɋ{\;A18\|6|"e '$Z0SǼH?C2ANX} n|zF5΄#]4"JKg䁓8ÎUG۹$b2)Dn?޿^q7qF ]P_5ړ/Qy0׆x`ΰ똒mUsҷ.N)d;}[#@^.7#D~$]wZp=!lN>£jֲ)5 }AȄ;U,[NYT8ob6O?(M',u{ 4K8ǵ*nFy~-pИ#kY^ * pQ2MYy1l(0(v)uZBshqq2.D4"XS![FjW™/KncyEv&A^]}a*<v_O/J^^]80|CXa4-TI&P1GYK@ݙ_=XߧZEĄWYp$]o|'G7 L],&U9d1na uՍ\a*ImB@Ϋԛ3PQWƚl5Q ؓCdKI OUXw0!CFI  CcJDΈ(]+ ?|Ыl/g2b)OJQE'#3'nvSv7ZTqG!9 Dj{ F9~ k ;AV[2.TC<]#uE+,]> =,8J#Ü9-DZT-Pm9V4jOϥQj?skr͈Zw/zD|S6׉rbY:tf) ^OL)*iYZv'sf¯DOA.@Xs%{ę$bHbu/kp=ݺ;~S!j rդ!{mit|x{\G:. h8OG//)& '.g?U˛&;K~K(|~SsZQW%{TS(>/lR&gk -`BdsL 9yŭ,ux+XZ#3hXNck@hv!ܔ8cG9Z s9CS0ߦ`;3_Pɹ ۃ/  Ng,{ha^WoIOd.j H:ЯX )5LRC]O~hkemmmSM9e]t$ h]iۙ2513}|pTWZI!at{55הؾ ,2#o>&D6,Pã>z8h|"ڦEN &ц$Җ !MXz\pOd16Ty9%w(oJ"cڮ6?)l&.iKs'"gTԻfCbYԟ7]RaU-vf9p)Wo@zYO ϫj9ypujՃMt0[xh$|""3XU;7VYEp[{ufcQw2_샛mjCMY:ē # t< ̶'>!8f~zYKz5yh"jd}!rN7s@΋!dLs y]`C:mҠJC՘B Ya=h a97 [8`PK#ԡJyG>&$ռ[MrR zW+sNAw@YP +jb]xJUXo|t4{ɯ)h)Go;9Z{DL0sPJ9l U6hQ40(7jYR =Uh0pH4ak {s8]Ϻsc C$ׂOU^@Ӌiw8-xnX /.l 쪌SK '%ܨi. n:u[2$浲7oIȵT55b0$Rápp 0N=^яA=B4F3vD{(uz㩷SolJewcDT'b/QS3u2/t8R [wevf pYa`Y04[*o?RXͻyKyR*WDOREP1Oٜ|χ8=i8L jh8?L\ˑDEރPY,\PXv&)i}ɒdPЖ ;G/F"7'_aJ(Z"1~3)HȔpl\3 r*j2T#ͨQ_F1lݠRv˼jcvQ⥞$n 5o;/4UJ񈰪(juie?i[Qp[/2iR)l)gDzx/1;Y7#zik Vk"󃅴]gZ7"1՚(ICiƴB 2`FX.)/ey|6jQ׿J_ ir&<)|QWBYήMĉ1Dдdaw{Mmki %lOBd& 4ƚ yZ.uשc&&!J!g t/f/3I /t҄.͊8=o m\hxR'>@GDz3[gmצ?'X1uAs-sMȶe]EߧtqiP #+F^}KG&Ub`(SӮU裘!3н ߢ 1?$$|p~L.(hdIyࠂ4s&H÷#VRLujA|Z8) |;ViPc.ZNZs3DZ kJs<e+d5\Zzh>mf Ez wSmf iBqt~Qxb5N6 Pn|RsdQ48kBAꪘ*Gc3|R˰vѡ>?{N2S6d?% %GŜI$;ۆv-VI^p>E'R D- ; w,);ٮֻK t&§2 JR (}p%'nz Z!tQ|AyD"}ch#: uJ>2I2%uMګYH 13?"aK5MgE 9[#ϯ\/@Nz{/G;}g8theΦr]:#kxp]D>X׼h'7674ϯsLV tUP2 3\* ~[IuXxMԕEJ+knU-bsp~\}gf&dNvt-P' JP|vtM:V/gX1 E/C2P wgЪUl{ ߘy6H6K5 gmZPgQ*0 ꉑ"r</#Ob{" 3Vr=y|wO5LW X TnxKovYylC/͙Gzc^[$ncdܗiP-Q}kIm" IgͲv y O$3OTe)=0,TMQ' -O8A"qC4C!ጏdoCR: h3q$ٝ=kit;WtSkϖEs5gUJ]Uﭱ~Γ*M8[4pm:q7mwrvRu\ꡣͥ /w& 3^9+7c=B74e89?oݰ`+Xlhhe_b J=#Bf0] sn#"\˿ECHcN4S}5;/\pIsh0%:R-2$^xR)+9ehJ:E u{~K < ;P.lnhF45>s& $8qO9 (YS+<(GaS8WO8'*:I||bPR懒WmcUhX#V6$A'Ф|T6r/Xr\*e8jGUBV, "TQOgEmK*wh!"WȄh^Yf(`SW+ݶ+(2`4`^3APŞ61INT B> ~:j0IIJ'UN!_ZgԿ{l=jJo ƆԺ0v@qo,k%paUiNhwia m~{1yjk_'wn!Jl_仂7+0PnF HRRzn= ?*C´CU:H?'fBuY|D x&H8Q&͝|2>2$ceK7 jZ55| ['3h%Zm?'N+"㰼+ O-vx=T϶g$tpuˉn]H󚡢ܞY.u#?qDqi5ibX_2x^ Xe$|Kgace&S^K>,A$3bI`D~uQ _cb_:@|%8ArGI@D1|H7cqwLlPb;Ω475Q(DS8A%wiA NU´3+ etN=烶7`5Z-EVY(LoG7n^.<8Kd `EՍBX#_z~D-͢5pdNl!V NΜ%dN2>Ge'GO_c`iOv><QR`*aD½gïS̳QG9QmH 0=ꌈ Wt(9yE~h`]wdc^ݏB=ʞ Hn%lӳ1sZfKRnjú&Tn1N;I=17L^dZ¬ %WQd nh2Ӧȃ}6ȪQ ,EE$82\|@yQ)K`Pr )7&2lZ^VaCi"ČQw.AxJq>}?\ff{-?pV ̉ˮv*k^R&IDzS,Y4 -. $zHҽ*nW?צ ~/A2.Kٸ%~ʳ\_J%!& TπDXc!GʃLfYN" GY("ycl]69e(keavIR-l=ih8 b׃`-Og3E vd־wI ohs7K **#r/ŷ ec(τS*F~$t4{ɍGK\ .u '$;Z~:|GMp/J¯_8<#dktg"VHi<3@Pj&mi:Ó D*-s-nxQr)3˫eGH>iBdN~y.#f_p$BJnCV:F6MEZi 0˧ۿ@8l|mY;†3o5SZSxAeӺ@fʽrDǰF ZGו&Vk~UAuB/>!ز7Ge-o"T0}\eaT1R%zqy3L)-{EgZ쒈*(b/SkS2<@WOy 0a03ݿP %1` <m{7pcӄD` [90{L1 CXW;6),ۉ!>yn/x3O&yݩ8co! J6@/J7[Q}`)?I-(KL!H%khtM㙀&4W*tĨ`0I3&}c}[Љ٣|^&RuJ!62:iO<.t }ZtFl|yg~[+9*|(Yg }용g^ulY~ H}5p"H9ѝR1[I$kថ%J Mv*6uQ)Z--s.6qO!&-c+yNt8L)mEQ^Hn$l^[i>I؋ƚ@bF3but9 M(X)n!8#T@w _Uern-&f.sHQ: <0wfJ ∡p_[P)!`E]ކٳGeZDnTBveB0;<*]NZgET0 cg <{?oO%(ү]p+~Γm`]{\[_I¹~m dJԠ\)dR cCN/Z"6r)?.~MhK[`!?/>˩kcSr??Q/b}p08_3[ɾa\>ΤJt.j EjEz6#g 29:D[>%#r$b(>I ~[EK| H|^kTa1n1742uLv'^Ds'ض}1_:]:Hڬd ؂&(}ٻX\{Or0J0 =丌ϵ[A| GQy& U>h٣FN fj9˦j6d=6| s]b*Ӌ\?CjͧwU CdKhAnd7fBEԲ= ]s$:jx0h4fn? RL*zտCOxap._Ѳ\S@ _sGCiPk=6B+7A RS|Io*bZ"Ĕr]tv3yEE+i>}$t%7 +˴Bss8*8&2Ao^D~ ~9rlڥfa3&9pi(zvB[[`FɆ^bˋ#LNoQli h1PS$мoᇔ*Gʷ_m>JNE?i쨯G]%sUj&R.KtM|/PkfQX6AaQ~ѬMU#u<95}]C8y6Zrr)pl6ݪUHv8yOwɈU?ʗœvWN[pex?{iZ4JN/DZ,'~2%!y Zy0A,f;HHp dr wעYf8>RB!3J8<?*lG?QnM5hTW$266Q`U:IuO5xB 9֏iw褐у2JpQ5vV<_ANkj&"ѻhGGA4NhwG>sH'a']*OQ*T\icy n(0a6'4?.e\ڇ^/;dY_H;+ ohzvK^OۘK5䧐0ɱ+*TIԟJT` #n)W-z?7iK~b(/Wj >m8SؖI3hyE,YQFaw'VgqJ \'Yc K<=t|F @,EN3Ti F(e*#񗆳4bϷBBb ?xq4<ݩ<׶%vFBRrZnyL.\̛T fH F̒Q wdx 7iK/ߝO-Qwn8$ͱuM>NC1 T *=I>vuy;0 ~ `-:U|Јv}`o)i A_# y5#ӒCGׂ F*Smܧ3,v59mG0nN/u @3d=IRGB6C@"7]CR³rojKH6TjVMԄVySKZ)lZh쓐@/-(jVиnZm[[/路GRBuf,xLiHhAooWYr}0}f-0ZaeeEkJ7hTnv"/~Q[ShNrzEMe)9$<|vI4pwRYl 6_307@eY#Z[[m0[ڤs{+OBHP9}P4' ݩq K:Ď\]m\I4^ܓXIKO uS@c)W0P ?{$#1q%Jx84U:(BC#2 ӗolSHl!$}?Ɛ^`I?1I*m8.6uRݩvjze+Ƭ; ]!:qiOXe;S]dNnàÄ\чiNZ,[r.F/Y8ˏn(EیLGy+ m,@`MU틹xsbl"KHuIJ8j&QS,k'UW@] w>jng7AYj+FNjL1-%B%~~ѮxmΙLB!}dEP𕆉 *>N?0PamV i+ݫϲFZGȨMd>V!F za|hud4E#/0QPXv=D4oC(3vVˋ|Wz+ue+ URX#ǖdL$ws mYAw@y; c8UB@-n~WK輨ƿgKJ9º02[mnaRFNy7caVN+O!"qfoPrI3ےR<-wkSXyB&x^֨]-]3kw]ً+ո!7f6}ԯ^ 8"JR"+g&@RcެmS>XGN4RsnˊN"O'BlS`v=Y]a_ƸZ'6I-τj\s?W מV@xXLoQ='E AYGp7@X^]!ҥQsx@r@es&3!?Kܼ[]{NЛҁns3IG2ȣ[x#H2fi?%okPL(=i4qԄ\az7I< ^8CT7]yo#~8q]KtE-ᓑS+HIJ>\wۯBQEmFҭ|"b<m[cHV(5B ^@nqCͽEP.ԙ'4RŔ?m} vT\mz=Hi@%3%GyTJ?5~p-cIpjE6P"A+ ~ !k:2HmȆ!M>x)8J#@GT:;U_z7({<q%bzD\y܈NuRۉqfT:RLI\DiI|.xGfDfx۹٥o!Ʉ$/ؓw[n Bؐü@vAz#y('E3SSgH3!n: CGۍvz;cog,:'mѺ&r1AJ{rT$:oKU~b&ͯ[(7r9NBA`o}ƨ;,,rX&Sm_pX:.-44[9M@-ƳrCBHBXABmv!)M͓͸rWq㋇A3Y-PBNXOc3ډ@ AHb[ J3<w ĢRCٌYW!2l툖NL܉gi"7;\ 8HҘIi[Yb؇jƎH5?% b(U| jIhZs%1B lxEn;f87H璨bZ } j )oj7N6%!ڨ1ylvGjO3gbSIQ5eŁkHEqA(vZbo旡|7~̊* #NC['lq`ʉd?'IWe|v@øqnwLi¹#_~#OU3(=(g=!`N~~KNn|M  Dlxb%WczkEWg" f:,Sv!B O.цgYFD ifhWWsklX6D_ &9PjOzK,Й!x`'xu˜F[`3Yl$ ʼnTz2 Nˤ^uD6M{azjRX o03\STHef*F| x }-@-WX8;TH:u*fedRʅEK"c_<3)?ӍkWu m INs2ݛ5vp`g7EQ)D>WC{"UFKHA16/M[f9Q3=0h[+d3ㆬN[Q"'pӠ8,^0[Zm㩑VΧW{jEKZz'xoc5H|uvӒ ?{2WlاN=u!kȅ)$vI PwzH _#@MO0 5T ZP( ʗT-HgLJTnTz{¢:]xY+ "h:'J%螅w41&N\u@!<Ç MbzL^eɍ؂_ʊDy0^\!A`) N}OS!Z;\2 Sxt#d5fmWa ׆EOd(Ij+jv-&6 c3fؠt'ɮcy|Az>U!rm-ք3i:?WvDOOa?wb؄GF3C~R$vbxث9^AxuϕA C"OO & q MOnoԷ{S ={_jGa*9tۆ”fb\lκ*M:fFxO jjcĕOeU_ckKFFFjB*≂뷠Z}{6. :hy+A !C’(>}XcV>^/${f1 #)/kd !o,P-dyMRj VHaX {fdԲ"f'Gn@y;WILd }.|m8 # #Bxˠ fK~āH/aT8^58wCu9cݘ7<4aE- Ĕ#~# aGBv4iڹ5@_?vj{̫xwa@V73ŕ5 ɮ踿.T|(O`cH3c_Q)LbI@.UP_+p>e4z e(ncubUWNV%0Hh3-E'ɷnca6&/;ڡ5[ީSfa'_9a '~;w_0~_M }Tu$,o'(?o ɡ2lSCiܔ RO}KTmSڤ>D02w1SN0ا4Vތi4\ɃqF [T1άA4hJobeZn_{c ,xq3 }ҀPSB=} 1ܟ8}ŷ~[hm;!0̞w{-y)D{׉Ǚ k>d? ) QRKEn~Yd' Nn6I!c?"Y?$J~d0`s`7d⏭__P<^leڝ XP֩ A7tA ) +$2ؼU2}zT,VDwYJW4ǿBΪ=㛫Qre f뼪B wY~ˈ[bc56br)j݋(R$BuˆRwIz2Q~|^,UU%7T[ tӀ_dnp̵44d{UȔL>Xh'x`0Kr -LxP;2flagn,j:3d ߍc J;[7R:!ƻ5aw^(l/Ws1|Ne ulLp 9!I$HO3Q]`0f) =MżZ%;uUTDYjgYZ 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?8gYZnwHw켘D|p[:1``cNaV)E ߈Gm{T4AcEhW,ӲޓĹwK:3SH TbvrgV)X8=?wC/]/ikrģ7!x< (;E{V}ڄ*sbp X5< XTSۅ*s Y U2-`^W[2m$~ּD3wD)[bW['3v3 d0y1\AXBjȘŘm؏:H'C4ad&6Q+qWJ8_^ˆԆ~ ݺ@4ڿpF RM=wW$+.j8}=4JMy9l{?*sJUh+a#KYhOFY}V̵v*<$[p. l F7=x]r3:PP'. }SGkv"אlyg AO[F>o`Ys ǤL6|m!}ţP69T/ /齡;J穈߯]7RerQd_;3r3d9Ѣidŗ]P6o.!m~^]FXM@)QKސY7إ$"!r8ߥkQvZ7(b%)idAWJk4YϮTiG)rRDRx1X? Vx#7BZ"B1&K"mkT<[+<@].l!1(4&bѠ`bT*N1ΪJYc@ hݭRȊa;_JVbk~5˂x2af1y~H!6d5jՂ <׈7]YS}N-mą%~`C{+LL5%vP ܿmK:7 ޱXgV7!vc=CT 7& !HRMq?ٽ2,sp-kv%]*\q\.1PLoms]69A1MFu]25ws)I|*%%o?mYlB 'K7aXbb&#muۊ0Ns%鹗޳_"vXzUFv M .*(/[=H+FYA<,${&/[gk#MA|RomO3ŚrκCDU(~Sj i r{b'irY Yf}Uz?V}z:4PHPUIW0e1wӰ`LΛedkaH) v_VqAe<-KoLc^!k/:WGLj1=vF1yՏ|琺H׎2=wq&Q&Q !0ζЁZ2iyܔgm(XRXK gRn|ߴJB-)[2vᆟ2i<S]9'Z=ׄenfK"=Am>a5 EpɣȾԕ$1Gxgtk=R.׀MsPCփ ck/eceF>)lMD+87|MtS0>Sڴl l_p f* tJǿO6G\.ւ\+ۇN:4g.kanjofN>.h `|nOhE骼dn+%Du Nw4Ԥx$C ML20bzͲF_kR-?7{^vOuPQWgN ծ-o-Շ`U9 >~e ~zO^b?'%_(O9VhtQ`W0clIay0H8 5Ͻ>W&]EO,6zˊhՑR=yA+lÀv"~vȥ1{K}s6hS-ͷėO62SA;ā@9 :pzОhGnUS,ėQ&B,QxPCzx@j}<0FZGLT#9\@%V#OmY5G/@8l3Id;z?HMqBTJ'!sqq(^Bs\G-R/5$`@ ^Mfq?p |ƚI<^*|xգM¾{k MpTyWEz fHx Sԇ|Xs}Ej6*:~#:gbڌa,?ŢbPDIiJ7? R ۶'F3C2"؇:؇TkM|$Ӭ\>o@ZEiI5K /-',eΈ̈́ `!YN `t|U76i=j ݥOSkevioI8|裉 AMzXNd ̔,TSą%N" 0kKn1VET[A4 ueNRCm-z4Mq? L7T$Zu%::Έi_8b ` !j:}VXOr8y-/b,}r2F-qv5X:o{i䬅,@ /(Z*sj6A L 0 &g}M^ǖp ʗ}-Fh6h&;SiggbCi7s#6dIe&s!y[ne 6(s S6(4|/vxn) U΢mb~T컺@ZKgVe2 zVF#'˦ꈠ!t-{c0 < jNw*>>/_w98iN{^g z3f8(jE\L E+i) 6`KT"OnP2R/*eN' 9\"+RtqUD^ 67 6rF' +cBl<9YSjgLb!$]D'`OF(t!,51oZWV]6LUs&fo7/¸X Vˡ* 6)A'^d٢,}gc?b Yg{.G/<:L](hRvQR.Xx_D5aMi2/ ?;!mZPqF hrd#Cgo-+'\y6^HSVlh[K,:!R<TIElq_9\:*yFe;)%aQz0fd.q7-q1e]ɿ3k"B-u}Jzwv@r9jɕY.3<:Tk;f<+f/~@n==՜Bk\ۋNhJ=CgPʾ3W<E;-x#O.MpDoȑ];TҗΖk7E[еץCfyt힌$e?ؔ>aǠ'ߪJ5߰; ̣ A}WIo!ć\*#E&ɜ펅~Y^8-"*|Y+.7(.a O 2>"OڀHE-H,-g㲊Q;zyjiƂ(c* Y,n|d,6>C3+sji'{4e /a v1`rR$뽨k圁.\-пz*,pikEgxHey>9{NvGH}a417.]>?#_FJoQ/Zgc|,k/%Z,jeL3,ۮ<%a =bV9U Oz̈4H Q꾡lydhdZVt9u UlR~@~;z}Ϣ݄(upΑhSR-,Ys /l۹$^a]z0S9;5bqnfP,Kv'FCZ;q{Hc&<p ]sólfyT3Ϙs])RV c0}*2|Cxu!\Qv"80q}Akؽ/v"וvӉg ܽ7@MQΧеSN`RoZ34#fx͍|)0-0Z1\ DX', !`qTQR",#1ɦsŦnN'?SyVPOߪ*U0c~)tM90$yv*.mV`|KOTԹդMyq4#)Kۈ|E~nw lo}1U؍ #_ #˗˄A/ɀtGY_k71!;̵Ri8. _0^6n0fjƴٚn~r)7vVOr6MasddZ+Jn+`=8`(uQi/J抑KKN\{\Gxɏl\  )@TrN-!NQ6Km_-޿Lo ~BEf{m@@s}\[Lq6?p*ɦҾ 6e*GL<% Ҵv$B\t*2vRCP!PkOuؾc YG?%k~KՌMcE 6:g ^Hû#(q;?=ioJh%y:Θ!L}h3 .9c/[Lk٧>|cV*g LMq#)_OPΊwҢsD$ew,T `U(XrZ)^4Y\UU0iOjZ9zۧ\jFA ()Ezc2q"EERhڥ4h#> 7 {l߮ځS(%勰|gNMdZQG~{K{v&mRlrܧ8s~<}W%w{v_S>u'Z0R  REꖍ(, ,l64}f P: K khU3]AΖ~Wm4@"0pt7]W3''GxM׆DX`$`X9xeB7#IȶJ$ T QA:$z՘@}.Lv72lϞQxE:U盢k@h9ٿl $Et7hL.[pU|CE?B꣸w~KT1̳Gx*6-<-X2 uJU!$nF>(#&m7AVtJYmx}0Iݟx"B_E`W>L}ɶH̖aj`+oy "retOGBt38e#])֖ÄnWLQ2q+!Ŭ.R,iK iD5,综tPux>%s 2@S}-w"OJwiXnے 'aъ S΁˟1`f(\0uSv>1cȝ*>'Q7) >RBqΙoo8@802tFLN,ڃ}v'm<&'Wx0ƿ3[쑅q&36m]W5L s"E4rzȈ鷊|Bc=fi]~2nd$4|mm 0/gz;#w/1"mKB̄I vd#b Ӳ]C&I`S1V+̀=8MK]mUtafұy?Yev2+S 2+9sw(lSV=l08?HyS_xEV JL<o("o9m8>q"Xë'ծ'ш4C7H3F.F2Ki/E9%÷]#s;:{T9~W#DouT:=M0jRSJ$g!*ƍZ:8\$C> AV ?)Y@%2pR#.YP\Iw aKtKoWe2cȂN+7YVrRuQ 98dA%J\\2%h2Tf+0R:BSQs@|ņ6+Ā#iDlN0MbG!)wmU@ĽQ'Qٯ4:Om#52 [4d\ֺ @f<_sr$,G4?W.,q^g<8O>Bj"0y?́H2}]:>4lřRlq{rO9 EaȨW{^dL?!Lxe㒦> ۑ3nJ%KpB}YiE0:V,aJwpc>#7oBpwDc'֐i0SO)W|e:FGo)_VzUdIA{УE1h`&cрȜ({)ȵ8@|n-y.К0_KeS?Do_E!hA}J1Gp"_Hmt:]d';ZGFȧnE:d\P`DhEE]6;?k'"Oߦ 쓥%\o/4'=@ȺAͭ=*t: # `YZ*ij\q,7^jldSR)В. V!mWcMx Kէ=n8aK|%ғ5RM yP/퐍5֣bZ};Y՚ZJB"![ h #O}gƛyF gu]0تS4|-K$0yd 3kBHO>A˸f`Ё&&mpF, "A߉5!I'~WDI9V'¦QXJJJېqBwI4<Gf- &* 5Ήn9Tc.)gKQ1уL6%|ovqtSϢ9V͟{_[IWč:M%77'yAq5Ȋ=L37< *x ?nO|naNޢeɱ]}<}Xmhq(%hΎҠP kei4ЭsaPiudDCN_;̑o.+B~6+\wh,A2 57O;8y\&*-Ո1'W&X>̾nz9g-b&뭇œ x7DwF*2{-{U6h;$ 1FæXM,D׹rgp%%@JZ*at2ԦpY4uzQSs ,Z\A 2MXB^ϽJ! mUgao,fށF+aX(xZ(dHَP$s!=na*24ˬ{ )8 "ޓ-6Y=]RZ;O$$@O_h@mUoZKm{iSQAiunusf(o9jy F%7na{Fu5vA{TXa 0-vP@Vz@A0ޡkɫzV! /銝xoVfYk0KPxß:^,M< };,%}Ke&iʠLX 8{Qγ{.1)?B\[RA?Qgc]"X[/H6\j qssM#"(43AͥV{OVvfY6M#̸ _8YN@qa&m"iN q.|_fRsBʳ=`XٝMt݃8cggۄ-pk X30r+.柸,1.QuIڕ9[Nˑa1NXКŏyiglCälb6XLF* (`Cq'P%鉲ڛ #VFߟ S&ř3Bz0`4 MyeS115D&͠现 Oz~v\50ZX,nOLBEQW~3U@fw$Տ-^&2;m0@~jc WCHd-x/e*"r;-([v]dO9+״GaˡYtÏ82Y4໴d(@(fIG5 EʌJ9Cx{̻eWAm$U}O(#~q/n$wU?;41M;s^HT-4`υ~jE jm`*T noQ0Zmr /*I=_Ïc+eꭧj TxUiCW aiDյ*fm-*yrތ$N#Q | m=|tt zA7mxJJlGi5ѧkb 59Xe\\]6|dLDc|5KV6 0ˉH:o}ʛG7[GE=]U{]S $y2IeœoagQMd5.lW[v |l&_paz m.sD?s#iVYl٩E&MjR9:fRAsӥ4W*߀>0` /Dtyt?}ׯM5٫Jds [c|~_* UO~ stc,(o*rU97v^D] O_H$#8 e* X i9۽ޜCkoƘNL{Dko rF#wbdUndlF`vLc*ƍ:*5HAy.t",+ <=((qteqT#3ξq US#\j BQltC3%huǽV-/*=jgAcTfb1wlaAs I|8g w!~>_:$z'TR2eDU X4_dinћF=헄>#*o5dH5м0,bpj70Vh&<HYށ֞c+ &H 'b#=E0t:sTUs}R 8#ELymzdg}Oϕg깸pXC˫@lXgdXnWI >u]0{ASq*z ӻSChzςn܄yb-V#ZDF;@=FZʪшwe(*Q#ƅU \>8GՏ("w8n d^Hnuy5qZ\ɭZo% F;&_I=kbic}v~!9-i\D/$Z+O%6@:z*eăzD8%#72A  Nbuܞc"'a|2p>03I+|#@>&$Ǜdgn-;]W\~лd;c!pS /F}ý 下#e^ T\Ъ[У IK5*DsH?o9yq3s~nEøLCz [Y+sH˚ȿZ4{R= Na$NŠ`l٨#4#@sIs8!bNxAa[HGЇYgbݝz X1D2 ~\NewΎeXGW&bV4(z3|Ṁ̮󉵿4af^f=IIXs_jEboɮ2Ϡm<"m4_0G_`t„$e26,aT"Ku454d@O呾.h9 8T*S:0HA |:@ Zq7kt"I]cP""80i'!|" D8hB(~FЃ2c@ &?ӀÔanآ)YѝS+f)wvM.iz n/I+B6\kV!O=K10E i qd\QL SVܢFnK?D|袬+Y<5~U3wmƽscs~mW1E"7iߢp75e!;d`\_Z4yQ,2I yKoBp۪EzB9o)ٳbphxLfy]]7yr**`ы&6TBK킄N7M$a+t澗#ݢD>u$7%7,Kȗ>J39X|)-"2ojYi7efDUВ_o'_6 ޵OTŹ39(%řO3_X3JGm\sb'Uϛ_m&=v5o rinB42+xV7,.vHpir8b TXX!4tY'u]ڑ G&31J.l=$nQZ82̍M7c@ːֺ]  lRpPifb4~Eg,=k:|saJ8,0 QFR_AI!Ydbx7E(imK n94 +ƍj.RԂ7xxKg\ִ4$Wա^'͢Jrwk`*|YB͂bo| 'Hgc=ȼ֐D%l^Fޣ"߶dݹi%>AfNmzJKVYVjl kw4@(|&rX<]W4c.CV۔4hEAʪ9t-.M]ݧŻa HZ$D=8mI[&$gCr>-r岷&)bGcGv^g=@iVS%eCT nȬ =K׍CZWȝ?›MQțF95DVFԣfw8ːH v"r ]nR| /kf62 BNF4R=} "ԶҎY`;Hok(3dH 8Do;5,qP.RRs۔%DO^چ5q11*M&KvcO%Dp*i $LtIXLZ;K2Gr =,C`dcѴO g8;vϖ޺QO>8(>;!f ^?CRUS22r8<*A9i 8ϤΕy`¯7vT{G3TqmP; KF3, 9%olT8&С) 7^5ψ Y_ܬ ߾+hbbqcy c߿>1ij}YRdM}b7Ib)مՁc1/V}X{$^nw&= b" Ztj@)0 ?oQ[ 7Xd&4%iZ#RЪ/~/rbi[xjxW:)&hYj@zZ*Z`=*ߚI'r^y 0=*3_=ee |$t-ZԣM 2'pr-PJS-uTG'Yo û|I;Bոe_z" ey.4`y?JIh!g8LM3b8p,( RyfBl/%ݻ}nU XUA?S@,7CV;-ZK"e{udKLC\FH>6mVu)m˭m5iɘHC14Siv܉.w4k,G^O5}HL%;^84Ge{h,1& LX$ 4׹;Iw2C\-ӛNx Ozબ4&DT!2bO{ЊTR1fR"h 7Ep }l4i(9ˏXEH+)!)1xW֦>:"lg~KШ1z <;ӈbBv x: ڀA`)t'ivÝrCFt{v2d\0TCae(jA]=HD Ferc@"Ew:{6vPX:sNGF|:gBߕ*dA 255ug *Dh!zCma88wͮQ<{MeZQ/L/ae\)Jw kJG1"+rgzթE<I0'3^g$׏kiHԞ\/H\9'L^UM" mwe)pr$;[?@9kY|YeNUȳ Yp//Or.>blBQ g~2G#x+)KY:9E7L6uo- @V:y|!65.}q NTZ|%6J&{vv_yӆgaB7=h6d28L1oԞX_''[D$0;rmCCOa=B?@Ȝ;OR9:&d: А7Qcī_FR t6tS )SH7XᯮB"htlj:G%֖2?i5fH)B'2𷡂\W 0VԖ yt#[8`S\3] NU5%G0Џ)B1]|)>-D 9ͻ=Kj.8ʋ9W keyd)StT#-_Đܕn09Džg7z`!+({hU(h^@8&Y+Z-q 6O8cp(Z%rseN,<(NշF#xn*Ta.ZaLnfAjc#OP=͢ION[9Sg5[]#|Hx4cG@ _d^ H[ K\(὘8)hT‚`BA>1l5v/˧Y`t )~܃<8+A͈QŽmU!W ax4Q lU,R~ 1 TE^qLdޖ~FfHQDcM3qjq7h' BA&(o 4{wwht`8UǞa&Նu˽&(q0;EOF$qֿ[+jq!4s$^HɃh I=$ߟw:iy,٩AO9J q~o'gsuU`W#|RU8)iD[V/UDEk}E./Q| a|sm}:6cWB 93<_ }_ d]herc3Ujml?~G_|eFP)~{z8yƍ˸l?2LADa+ZuP".RIg0um !M/Vȋ-p(uMìuD8'-7pHht3`?DҦ[Yaj&ybQM7`񭘟VRJrEagn#?;7%Ai_4Txu/hO OȃHFzB0K ovoW 7Q%W%XI}Ew?I-}W!jǓ-򊢯& (?>#W3B~"1od;޿()M~]B #K1&UvjÚh@ OX}ET󚱊%!R#=5>4立$ԕ /#遊$=/F̎؜X;3[+m# lj}L|Od2=NsHy ͯ[Sr< :b vp@R$|ʥQ8 kd$")L4,+eO,}?̏ 0~.ސe.eKM嫥_szgu=u܁{kT-gW|1e;97ì8Ev"

}Y4Y:><:Qwk& uv1qICPW%ڵl=SB$틝ﳉf`-r` ƅUj1.;E54%LijfhhLe]}T s- 1 gq94!glm?y@SL3{j Xo .q^y'q WxςrJ*ţGfDh߹Q?QZ_[A-A`Vk[2HyWxۉPU@h)}ؽ0o^ 5@Mwl?pN3Hwqo*3#mDi9Vߘ!&/y.z| ,rO' A1w ͏S:tN vŚad7KdySLB|@^ ,8Yy'J {9BK+FOu 䟋lkJ#gk~=LQؙ%dHbf'zZ3=N.FT]Ңru(Ƀ5t܇qQ*-G w̅|mð_D5G*r؆ggpV+N؉'?hBVqM4wܘ?-"M9Qr|rk'޾׍AG\|M~2PG#I 8ԍNB9U4G"jݍ5x#oUY`|Crp`e( T=NI=I#k8 %`tm=t ';fٷs\!jpRasEQ= KoϮҷy=mꆙݧn_;̻e;O2R߱64Q8b[LdgkM+H+uJR,ԇsLēʦN9 5PS9 Yb8kgƏ$kk)Z2; 5J.FӶ,b?J_gSͻꇴF6Z|\ !\{9<2Sҡ,IHt)~ ʯTweEL;Rڰ; Tt!gFܝQޏ>[ ~; 4W6Rȁq :!x|#S^-BA|B$,6:uןZ]4L/%lI|)^ N>2Ǒ$ @.ΐW˺H7/_j{ mlO7uSqrȲqA~aH86>*EuꖓQ^I7*Y79fg|-kvo3vc)00Søz[AV)ƕfϮG3`m8Z$5#",$fL /%hEB'-&l綩(Dab@F fjV}D]vu^OO9S'+὘G؝YbR1ê/R@Y܉>ڡGT.Dxz:W=;2by5Sm6}'bO5eNVߩ ys5mc &Gq.Z@V c`7>})0APO~9-lkߵ(cqn=V(viJCt?UИ'_r/oU"nDO=\acc9KRSRV)[ջeHcVeao רm2PQK+|,=Pem-W|lvu3N[y*'VQ뢂YD?)` X$Yp1Ism,A@ <2wOcʊQRopvXS]\BHb P󼲸%h4ykHt҈rs kg=VЌ1ثZ*RׇRR pFW,AƋS튱t{X xM#}0``8xoTj8-8RQ f45: t練4 "2%,՞nKrEu- uwHQm8F@|GK@D'O9ɿ*/"KgѨcGn_8/YY HsFέNF-yVwFFnېvT({?[X~>V%ɒł{EbʟB)/B5c?9!xUv4Gsв[F@:NpnCįWA؞``i([?cr{y`*TflL9Ƚu9TӺ nIo:R4Z1r&'6&,\ܭ|▵i)g0չyؾEh%\bA&+v.b2K,B)- I4oPȚM~t=S@FhF&hBЗVGk_?MXd&Yxo~%Q>L"$TS F,^O,dYjF?1 3 W-q/S>_%hu6yF]ɗY85{`m|-lֹkDlUʼl>RMOu*ז4}C }t.vx݅P8-E託rjLK5` 怍Z&h.:'"<|f?*"&p@ݒUa8jqe &] W\ܡ. >? ĽnwXltQܓU`u5[4]LQ|o3AR|+GWv3O"$W# }"r1Vs5+~ذqN})[43Gt*W׀ ϫ: qύ@ۏIh[yz]xIj,J'dY=oO" `R@js"(ӺAK?#Qz[yP;)5O@Y5KoyY6u#.@lWLq'bB *cM]Y# W虍vwT9`hV~x1|pg웾q(_|k^U'G 5O B|e?NӐ"sbw gGr\6 5wܹ+ Px0rn!;CNQ+O5Extge] x nn",EnAJOG#;K|u禁G};zt]A!_/偩,>3]JL˘vZFs;;5}c\nwtV$rG|t42;g:o)ZDU|0HAll߼T-jݗpl_XR\ñd N:@\|ٍv0M0€"qGÊpT5zy;cmL^4y1؛Pq8D4 fv>oe J2TͿZL&&`{5^)sLteFo / C]Fp9d8Y]/U١ 1{ǧSAԉkZHPW|&kF=bPL9?VNRkQm* 3yߍ~JV3X0c C4KKWQvOLb6v;P^@czXwvSлdXߩ )9_>G Gx˞ez`.`t{LؐBh&%Z }41-=Q;Iȍ9"M2P2q3("/>+"_*MATEA ~)-#)-Kէq# [ WϞ#2_?YVI?'N6Bޫ`iyf77o=<˾Zq$:r=mp:+fOěhsޟ%s,ca7"Gׯt kadaS!艁/ZH;|S >vK,2 P()|WpA)X@۱ i{eiт.Kv~I2e~'-{B|^b(s[Dѩpn8rxX`␶9KsL@hL%wMRs1Fu(8@}ej|8{G$p4WSEKC;vs} .+`43--_0?>PYJOgͦ)j1Ch"Jzl;_ i }OK <;.ϔ!")8-r~=C|AC&f~g IZ S",i"d jq0ȍN+'[(Aj@[v(* |iJiMZ9Zb6N M>x:CH8B$׮~/#_@F6(|p_8{M :^d8$ RJ )ѯ `O0S4jOM!GP%hww:A0 8 "|3'L_K4C>\] ƸA3T `Jߴ7@]%0 {ØE9ՇbݭsT@>Z2X τ;=2 ='SR]wߦڙz(=;HKHiUy> 0-e1L0!|kKҦ:- : fh^IALábehߔV4f 7!ÑNA">KAV2+B5-Kɝ7H^"ck[r*)&i0wMog2U.d?sW486#aʯc"|PI\", S~Ճ-)'3Ӱ䛑ݥOieH g}ߟ (k;xn$Ы-I#ɧ"jԀcQ0f4`LB2m0Zs0]}q\ >-ȷ{ =2J {FMɛ5DVqghv`:t֜lTjSBXeK]v ;Wxj,F H ɕ9.8oQ0(#WS랩I.}ϩJZ#7a@, YH2Dwu}4yzBuLlQ=g_%6ρqx`ۗc 'ӏFHF=% 𦍇G$,d*;|Z'C^)A9i9irRՓ+D&!ֶ/V}qHi9[|@ב e! eZvl9THULԳ M$5?8m6Йt6&%=-hr2fz<wذʆ@#}%yqvi!"O,D}p!JYw[x5IF쟔HP}(ӀYz9grl0ҍn^kF  Spt;ϘY}&Nͺds`% G2n!upAK[p2ʴOp<F,quZ3 w_SEf%+Oiy+u4ҋr jTـ]H,ˠ^Lg|?.f!C!z!/iXBw5ܠlP m`Piwd磠~f xƇYnပ o{XB0C^LQPOA,i3*ϡW~p^ PFt.!Rrx^7}Wb9`ϧ@rXT8PP1_Ow;Jvl; \ju 4rHˡM΂GKUb{A+d3^.oQӻsᩛὋѴ(lBfB.¢;B7wVќoK'Y/ME%Z:*AS›|ޑX?lCEԻaSO4lϷRȢy12mv 2PFIIjthg5' }5C ;6,6uws,I]Pmx( ~bljs(Z%Õ3g. Ÿ8>)JZT`v1x;%0c~Dȓcg HpLZ)b=ݨ"o +e(؎Wav[1f9߯Z <L.2@{IA{[\fW[p4*hF);}0Mp$V& QIvִC穂22kj.ϛ1uO$ntT@AÌ858Op܁[}EQu] 0(㩛-Y,㙯y8unN~z]wLeqMNWe2|2Eץͷv-2\Q?' a7Z}Cn1/W*]okƱVIO3rATς]ܑNHP~+0wfXm N ?Ni 2Bp\;(Gk?V-YZB| u yH NKٲƓ2M4oo- Y2|GK69HoogZ\nIDe$dT>у>a>/YsPeCʞ0"0k6*4qef-='ۃD:J+s"O!DCx㿖U+`U;`lBj'[?|\ LA`6o-4{WzJlkh|BU]2P [hON wƨH:jm?#e1<K nMX2eq}4SI?o _6푑xW (-pK"uJȌP.< q+].;7nFٻIp{-d_kqW7}!aPH-Ȟiݮ?vXF@P{-tϛCI>SF+:O?oWDªse1Kd nd) %L%=QzvJ7Ƌ~ $rF& Oii&b'IjE+ujTKEdIkx< $crڿ PbZIu^nƐ\O_ɨgur&zFZA)ީ6@$gÛ`$;̔}DzMapػIT#U"^F^UwB*-ܿ^z%݆F"w+9URBEk&%rѧ!\QL`f)ʌ.MzrmZJP\I~HHCW la܈ z3jaujAV&o" <;0>D$@FC D= G\$(ХKW o`gu+{M{(gdVs-ܱp J$66?Aկ ٔ&UI):%'nMryz81IdykLeRFR Ȥ|F%;^$qptSсpIp8D[MѾSXMG&n5۞.z-*6Cg6''`` =W)QԾyUZDVa'JO*VD!Hs $)Qn:ߏ` az~Fԇ+5A^@OcCqm~"vQH+ro B$~:r 'V>@=+r+q!5awK3L9OQ*^{}h/zԊ\޼3^aVXP'kw@%@#M &bto~;>aM)Q 5a Wko dv#O .=iK҅G9$x ?z0J/"ۤ6c`nq U(y[Fҍr]:V. lNE7+HTXԩu 0؈ȔӶl)AXHf7q]%xP F~ͮQ.hM5pәdq|˗DeYajx4d.j?^+3{ղ:-#!,*m((Ze$ :j `\)F$c~&™;x$mQ/Zrv֑Yy":fbpN4X':’$zj f58qn^ߺi߰OxؐHz4a}KXJ'>qpVaO8 A+5zDb}r @]z䚭TD+Nl-w7]s{Dt}wqQ1&Μ:I0vT.ӈ䖍;.ۆ)Z,Hn*V&>';r4*Lpnj[NWj^4U3CPkl"=W/9tJm:a!:, ,Ƀ%:iv7'=GYdz); WpQ1\aB|2<קٹ{0+ fqM(ǸHЯUtM/*Q/q]԰̂;&}{8/%X-5* pLh3Q @8p+rÏV_YUt ĘD&,$рɷ{:<4hw^D\klS;ȡߧrt,>p0Y+C̑EU ͌y=7!kgZT1:_>aLȜkQr܃OjQ\>8߫6<$)~ ]1l}xguTNƩ NHU{IF_fc^ȂD̐V:Hyd‚Ƶ(l>ALx> fl-?%)qhrtNA SV^t|\R 3oy]s=gHE i^ŝ;&LmD`>6w%j)90r':E)ے9Roiи~pUG|qVQ{(Z-G1Q B?2 =_D hA*>G8scN^ptvNB7srSA*[DӾgyu bġ}(XGo |vǜHn!hc7n:.J9E%l~twЦ:B!#ӝ۫mW( Ɗ楸eQ{`a J̺Jw^HGPnMQ}+ >i{C?H"M[Vk1Ԑ5۵?\X+gBL-GQoN35vR_ !5rV a;䫯+zL8zr2 SfMƊ0xnw'.5M}6 Ȏ+a`SHҊ5{M?l" ],R!o"{k^mOEI)pQ%B%Vk&ku1j ?JA/t۬vmJjh R:5x+̡Atȳ=o"H9x%273|L`sx-t*V_Lb oRS#DUo9V$z㏎ z\C=j^nyvZ0% _a^Áhb`lJ|QTfsi@A9$;vj@=Gi?,KvMsZRş^p㈊gc&t \_h1Z'uW` r<#L5%_-\2wbՉNa-+g?a0QAL&SS:oIrefgVL%ʇ~d&Ytm 8ѱ2 yb;e(ۓܞ?ߨel]Rx!D<;ҭP̺ap4'ŭY5NZQ]\.cI1_h )UC.*EIC\Oq`ywMY+ lS}ig/pY$= xI:{wc(ڀ0r掁P?0`# yl9 w@C_N@GǒdeNF|pS#=Nu{?@[F-HCýXTiTgP頚 U{d %'[šMw[Ӊ![_N-8݂Mn(h a_dn㐲M5^,%BFeAD>9")/8DO xV+oś|K:_V~xQU5$)ivLU^ZRm瓷l`) y;m2ZEKySB@nbl]YN>{M$h2D߃櫍J:~F%s@9YPq_T@JSvF1GIͦ&Eq. e-%X(&Q($ΦxQfm񊲅 `zu#C&U;3i F=܀8y3%a a ֩Cƛ-1q^;o,殩v᭰xeXJ̠ <V:Z̰½bP+H_ `wMA`H?=Yatbf>[u&QYp4 8(0uj͜vh24muo>+, u)X UaIEo.* 4ʧqKA~>S>Gn>e<8XijՠCRBP3G<274wd-břK)P*hRIY~:YɒȦ]h&y7[b!婈́#9"d D%`Rqi[jYeQdwr9^m7-2o=&>MPiV`lsS"A_S7Ηgxc$UD2"Ve#:ԇޡ?6KAUF7BWbʉ̈́ufg*RMq%xp$R4uOSO Lzi^+R(iN\9 6E4 n/o' 1$*(TF4Ut-.9w/RZKf.4[E\SqmxTW+‡{Q' P j8>V9̎Hc;UiL8#ʯ=M^!>/oJ"./ubyJ=3@$.RdĥO әo\?[Bk5e*'svi YJ*o'm/GC  |r(@+-gې]kz$p~nR[C4_dH k9h(?58G(UmQfΩ?濆<`gU=6!C* HwJNh#N!Q_B?UAb!)puW`ܔ.^!]ӏ3CDLB03ɾkE"U{էaMf(H:Y #(n^]jMax Y:C؏4B#YLG/5e1}Ѯ K+$Cae77z/̌qF'Q\nnt*C&R7^ȐzLC`Ea }0ZRhJO~ЖN 3MOk8Xd\X@M'k9MĦ&hѫ ]$DgEj!?!Bd}(,3QȔGB ._<q:4rt5Qy|@( hGyϵΊ(eB'צ^:Ϟ=$+HI9&Fo.C/4jܸ:;N+_ҐNvZW-wƭ 3vH!(뿍txq*<'`m_Y5)8ACwsg" 2MmBS&X2a?bp!A| '䪌K1Y"H~PeAeO2>j}nAPmłleN)GC'H*~OXkv?S Wd ov5Q"|6|[ThH)=o#7LB>=oa߁?!!D} OR|8&{A~.dwaa)zfmAB;3t&!1Mby+vȊ׆[J5*/#сB- 'kY_E |,t!#4rZfx³z 4P "biIZ!"w5!o&jUsA߮$怒w@el;‚)Rиs-y{u~Il eC2(\o]5lߘ;Gsy*3nP0pY1uKP pt@{iʒ}JJ%Z^K63%3>UĘU?YNWTrBC~7U6 E>Kn,>..c8Fu+;W Z%;5;]8,٫0(58gzrT{&_Mbf_j'lRo(Z99iQ؀ yBSa,eX&-cCY0*Ck2uRm ++ o)~_/rƅ _rc5Uɼ*A`xpI_?`"(Ћ2bCGܴ֝n^(™k"23b8]KY7I&**IFa **. 4D7P6$k$ >4:j汔.vg?ذȠp`ԘFydԈ@5]*W!WyTW|\*LS#^>_vL955&O7hҙxֈlski5 ?<U8ЧyqR!Raq8 '1fWh]\a'``S=VKsD߈fs3ViݠN"lA 3*K#S?fp%y׍~/0R5C |xu0g M)@kGDm.u9, }'aڱ2;2Ap5$iw퓵KOUTEg(0}#&RC~n''@Ty;s`WN9xĠmo*A@dV#eUZ6]%C,IZ:0-6~"CN()`6)cr 58hWhگ^c[zˬ(<7V$6,[p)ߞ:ЧOkNek͚Bcb4$)9QX`LB'RJlX2ՋJ,U)tfm+u)r|*?J\@6-yC4;-xme\x (q( k68k{-ۇH NȆ vI¯9ַuSvlCld3\8Xj}i2y7b #`eIثۈ`(2d mjJ}?myD<`q\=-CÐ\9[`Cnwhi{xCeW,JS_ˑf0c` {u'v6Gȡ>'m9(e9_?f[خ veq+rL>uJRbL-pW 7muq4 /iC9]HT=#醣ZjM٦XW(ߓar A-ʋ:N"vq3Lޙ7yBHI3v. 7q? {UW:B*G]d[nA~b?l?WD)r oX2ܹ>̔^:U"S k\،ɧ+R It:vX7*ـh%֊S4I_Æ%Ž,"$}% e+7gcBgcB%;@0o0Vp:H@gE6.Z8:$XiK}K2^mAB w"t]pTEXu5*em ,5;0d0KAYK_Ef^L9Y??%{lsy 6k)fq!Z-,(+Ԉkħ.U&1j|"L䘡W{#Q lIFe)̠Z:ow|UU 5:6A*c^KG̝M*hbW}p/(:8il+eދ r(ڜy>:* '>"+-/VL& sx't8#(KhW3&88&C5DȵYO5YWXC~>/Jv -ՂڈuTCK7eO VbjI 5gPZM7l959 &za=Wc{ ׮TE[=R\#<2"K2ur:H@t.4\%WLR?6>ݥ'еnqP;nT;jxCFFWIQ0IPL9agަs\(Q2]n-]Xb?_ Ygqd~VO-Ip_~&5ojΊ/SGWY\?s 鍌_Ut G4%5i{Im''6EB/HU4d،?ㄢlz8a^35q0aI9]8&EN7^hnM$c: ͐lNIPT*5N e5),D7xvv]󨒈+Ծoj>I-{ڱ#I<uR,0錱%_WG`ۃg7uk3İu835 8n,5B![}mh"-@ y2>co-b<(]ZD1fe]-C9n!ׄ^Dyk%jo t" ;DI&qf[%uOp0#S !C"z#htۈnf*LM}9~Mͮnc,\\@OFTH i0xMpg%P>U:S$Y!a'Stnou|ͬfV>`^1eqV N4x-Ð%C'A X ?lvw϶%u ȚH3۽h\!HqXtQ.,Մ<^.>]ZI*|Ya 4\Ѵҵ.(dg7ZmaàjPi;tB̾bg%"՟߷zǷqBӼ6;ӵop &(\h| (_}3#)=V-dp7`BC`4 f722E)[) Mzy|(wzL_},;pͧSc]cPҚO ^݂C@553,\.})[ŤU$(j4<(g(Q0bJ'f@}Fx@֘K.B0>Spnc@Oi{63|Hv.| >-aЂ/\z/Y.Qfr&$W"1A,y 5\&Ͳ: T7u|^ΗK= 'h?s9oM;R+l | QVO 9L;:~=<,(kUOW++xo>j<á$_JD)!xTi~>$$+JbMwV|-ե>8W9Eϵ$nig͐~EӫW)Ck Uyw="rA)Pkc|!fmwbgX.3BмD2c d]ږR@cź>vAL*]ٹ/W(Z![Uޜ0T2!Dr7-p5{L @.~u LZrL: ~l7 DVflL/QXGILEH9Z Tpw5H<3C|&_3DY;jB.zJ磼~%u޹+TVFcC\ٝrHGӴHG7X1~a^Yu Z:k-/ړM@nXn_ aggHkɋ0m!ĭ\d/v>TPZ~;gջ,f}ɣ#"po_ma渤+g݌~5r*,T蛓© 8<,.9K߹` MWuՖ} ٍ.(6K{7,:7O WuX- A@b8j=m v3j™=ȼ*>aYe5뜝9c/ronHNneX]oIс,0Ҟ#쀭zQI"L58FCcyj\N`J:ӥd}=v̭h Mun>}ztDnL%E+ꭥQ[G;c6+= W^\XN25 ^q8[);/$Uѹ}!<0xw|ЯӺp-Τ2C$FI5cK0loBЊ7kGegL/` 6euo8ذY,*ed?j6ܴnuV.Uɹ%Dfκwk5J}&vwef2LdM0 nKbSnm-eI {K*EQEjnA!*݊paj5LO|3lMFxNچ9 ť4 Ĵ3RGڈA|{2 뮕i&)W7zF"ċxPV)V P B(U.^<եryB8ZD<4w)r,-ӓ輅QD vA?>1snu7=(~4m/fIHܱ>)evtxũ2e8G y*&V[KR ç:HzabP^ֵy20>TUwWcH6Vj!E Fڹ &2a%FT@#/K;g/_鸙Lx"cP)k\KBr u2Ueݾv6k#Ged۳q4&{;/;lR߻S`kK2~ &j9DBh]~@rѭB ]SM 89*FJkǒR<da?ovfq#B,.KȮZC%"hN7bY'lˈV-2`7_C?$D-wP!:LELɒO!!ԧKB$=rDrgs(I37ʬ̆(^8gICl|=Hͧj&gTM^B-mڱf_g)\J83LfKgQEUGSGD\g DTqAG;YB/P{ojPbQP>(=3 d\׏nOspvbd@K[ɪ[\ryX@*)IӘD9dZ6cl{pw)||bg,=cY;U߇[;1=k,\dgZMq8Z ΅S*A Um"A썃蹇8x8D\чzJ3G"XX[3lF_&!>9@J̧n߽'nhcgb!:AA,3&Og`ðݶqƗҙfJ- +N~Ӯ'5@Frc]4"@kHp1M_wSƺ6?bm"^'*K}P !V&'\B㦩B΢#^I AXZ Jx[]SX O| g "YB-0d}ЉpgL|?zk(lj.~N7"Uu#8sulǦY3VÓӒ'!]% 'Y$qmD3Ⱥz!cۤÊƞOS0v?|bK$GtӮ&iX T ."q1W9IC~vRduRȄg향^) au5U.{n+IYf;#F]*![ }?BjKN::3pi0go,.D\x;,=,ZcIk:c(H`0 !}Bo桐u',i] }nѰ5Ycsg:j%ԫELBXvkǼ[:T7 BDҖI'QRe"`@A&@ ӊ^2 ߆I:1 ;ϻI\xO=:saQ^7B'-5D?7sSP0IϬ7-Y2;W@JILL'Ew*ps3i>U\G)I|B>֯*oYtih2r(l= JD.͎2y cyUA^[h+=+;~zج?n"87,yZy] "۴>5DQ Йt6A_0"k, /WOtڿĞ,eX8J] {\ib>N?&L7x!4_L05߃"D#|z!"VPdp ʺ6;;}O\AmWf0IoLH1!*%'eRsPcKKtHc$eW$>ܗNOث޲A|[+9HόJz-z-(-`&}p|ZXV~KGSJv(i}KS+EM "&!si!+v(t #S"fҔ a[PybPd|y;uO*g)(+nx ˋ kݿk'|P-x\ds[2Ir idn#Q%8!QJú8wvlYB12nG :8jGSw-x/h~0ۊNhׂ^X|S)GW~/k?+ jVJ7Pq缧%}=#"]k%?M{_'{FtVF2KVM19*{m%AlaŀٜL,otG>r8g ^}F*{*ЉT\D \ &&)?$Lw8CGcsՊjNl|qǏGs a-t$"DޫAǒh> tiW/k blxbӎ4SF'zi݆T^=Eo`HD~O6@nxyɟqTO 9_7߯0}4ķ({Yxe|㬪Q-u v=]!DJa!:+}d##rvXF%#vFQg$ uoZBl&4NxBVS+hDwVsٝUό=g=8.R޵2zXdCEܾK?ZtQ~kʭcJmO$Lwwz/ZM'Vo(iT'|R{DP@s)'"gP%z|A2z9_ H yݿ7"JA~H3o[֝6Fu{y'Ic-.c̾/cȑo~?Re,}~4Ь4y-9j _zlFMJ}L1HJ7Q~v={9X|*ptOZ&ɔSNxBS(ɜURkc{e'MpScfI'5*މӵOA+C]ЙfgOz }p 8⨄( M+%S% bD4h,#?H}w(J!uty.Dw/k9nl-I&Q~u,c&IzO4p<2GF6~:'r3d4Nɩ8owoAMRV9zp1NNV%ħ0?K3:"m=9!vyoK ZtWYkI݃)D}=C<3-1rc-U]yĩr5>X]"R2F bڧI|svȿ,CPZ 7[Z@Ff:-cыB 1_\a rg{پiАZN}wTlzqrVkofR6>aS L ~h!nyTҼ?7SP`8f#8~p{g'y 6ʩ˶ gh ѫ14KRbF勀\=ЬnֶٍbEsr /ë,k:՛bM]Ʉ|<3s;ϩ@jA;&(@H8?ʛYKζGTDY:F ˓CAm׸ТT%}]yd]\mBwz{0AJӺř Yr7ҍb"`NlQΏA3:ep_+!~Ӹ3T,U+QEz$bWtd:_ $G$fxLXB~m2E~Sa~ϘR)$_6!x2LTVUXS-Ґ6:kbVB ٵ\ 0k(Y+̑ԃՇ} C'?3 .I', qH&|띒[KMSBPqj2yx?mYe47c$gp㵗ǹ7ȗm%Q pb9hpV><=J !+)t p];jؘ6 wx/dhPƎ0Z4x${GuK@ED0Ѯq?Xڋ1%wZeE:Bt0d= Fי d"%oz;O_~#?!/*~tIvfq2 %؅_qt†LDÑYpJZ5Xȩ}Z-Zs!΍U7"t@JNH%[A+em w BI0;"<-i]!9f52nՁ@64$^/oU,٥X顯;5Z;*žӱ˟ǻI*-;B{[aNR(X/Yd'nF&Kx3bQL[9L"¯do6 @Π!E*򑚿.30J;(:Ԇ"@[SGYTPz?GXωk0C,ЀXsZ<,D}UU(y>idWuqC7RyљN}ό% k4dM:-Jh==j^=ڜ1X$wca)B`||cqgG?ڞdz^1QMROUF qFx žjFm V=}CzfpJDq7gA]vjnwᯚ-/;*C2w5#4X^"X+, U,:11֌þa_~iyS% Cdܭ⑉8{W]^mh:AE#R%ŗJɜ{9:\&K|{%paK^kt9%mB-8pн':5`S]WD[?ѷs4( W^ĠUAatw#Ev*>H{(Bk/p-Hiy)ëJgZ$H;J`6pag9LDQNai)\+d!s|+xObcEhtwP`Rҵe\eK*[Dkl 4Ѳ":zسB 'ȯ̤\iL?4fA<a T昚|LK"rơJA^'1vAy?Y[ `kY6ϦiE;ڤaVM' rQ " Fu-+gPʒTG#s@|/WMX{\VG{dѸJ?>\ŝϪl)] 1?sƄ!pHI^C;$}'C%w&w[G/"<\&f{K [:;)FYdݐɾPъʍYkMV iCf]b9m"#<̢Q! N GlZ={T>8$ c*zgzF R-rK&Z R3 񲴠:zČZt,8[mb*J+ڈ桇{s̒ p[R@-ˊLj,v1S#Zj#X0\~}=?ky^'t>4&b#م#!㙁*g8,Xƒq?wՁsƾ Ƅ)Y6BP Eث%XWֹ2Wϣ?N*1Y (HFv ?C~S!_B~֡-9{  )eVuP~ n3~lӇ;#j| OAipiTx7,ʋp:,LV>8Şrw3R_*,|+RmGT 2mWBuuұxz[, 仮*Y8O]cϯ&`;xb#0-YVmIJ3" 7•B|=+ h92_X@K"/)QP'g|fx`,,4u?v_ ^$ؠ1ӓ5["R%-=7R s{c^Kz Կw j#8|{\HU;ĊY3ˣq[tv_A]} vr鎻-lґq szrI<hCKX]c0=:?aq 0u6k, Oob8"gc?2$l˧%:7lM̩blFMg|p gVvz7Jѩ:󺩚|(5儻2|LJ5[QR##0_Cz=񁏾Y1 84!Ќ2]J.՘òADZ,?1b!D4)px@S[7n Cw2ȔK;2 N/h{Q w yms'PeO*2=T-fQ?ஸVH߄>WEܼ}z@L S/ ṠB]DᄬÁ7'~(P7-к%"Iȋ%!q ȇIXlfXI2(s{pLC욒]!{0~*Uszゲ2Dĵ[e`@`risR1{|4e*saAk Sy`J~CkC!'<.忥2`=`eF}dwv2*G{(xkC|'vᇳduL"Hl- A1d./V!95:WЗm5h'hgh[n4L@KPt@`?i>Zz%26Se<;Uy<͒mZn9jf'[/ w#u >1$ vX^|Il` Ԕ?8ݺW{ 'P)4p'RӒ=ִ1 |T xH\frFDK+Q?Zfc}|hnh@I\ݔ9| ;ޠΠi66+-G.n̩+*Lz" 8QvR2 !~#F,  LpT"SÓ NkYbы$be'<Ɍ۫:BIZE}>&dd>LODv~o 'Cr6UBҋVYYE̤|̃[si*s1p2 U Ӥ9!ca)*Q&eIlXS%;J)~Dz9q&K7kO֗يR6&puJb 𜌈ADԯ##}qc/'1=25 rEXmxT+{@ZmdY&5lNQwrer+>h{maV8k+`I3Ӳ܊T? Fm~^y+aɞ:;٣AXeJ,5¼g3f FOBRU!:r4blBy1`coї:c^?,hɇ=Wf4%&ZQTsytCD)PGҁϷrM"C urL_3$GKU$GCip}7ZܖG={I}N⁝xRl=;x.Toŧ.1͗ϟnCd좃snwݞ5h}>dҧ\Wd`rukRX|[7ZQu ;:滋cZEW+TDNo6Z@U(|gMiJ@EVBT@%sO&nFЉO@8)XgmcsA(S!6;ݒ15NGǦҢq !yݹkscT̨bW<˿#?Q/O-f2J(}@ L tpm47'Ῠ(B?WyԮ)%b>`p‰`ʺgVT7g>"U+|+wV`{Q>uDT`(9h Ɣ3J5)6)V;2ҺD+WW(S\&khd|OcܼXhj@16"iDO(-N=*9"yo !vq),G"*J7,pv5_Xf57XwRY۶NE>/na\$_¹,WW:r-@ſ rk9L BCJasEJϚ.KM~'+tU{C4gF?g)U ل=FB?%~+B([Q~͸!=mfr_*|TL@| fVwYmeEBW` Fyp#?㡕 Fwx΍wPuV^RO衙vz0CR|1W!~1I8Db/}GT: p{ؿOq=:ؐWn "l6Vy˜^nK+˂L~ F(1/vB)E5U2jj\naPP tPhi;]7fCF p(-+-OMhNaR%M+2Ul-6$pWHċT|`("}|7LCN@|k >7ؕD),\CLS|u|@"d 86)1*]|gq`Љh=lg_1 f$z6se$0,̳MzR*}CĈ^}%{z@tY`:?Yi #1A]{VZ ڭ;#ǟo!1&[||kD% /WJS]ijMgS[M]mG!kW-/3gl+ESBXi Ud`'.ᡁ|E)ȄnҾ]ҧH#h۟X~ #&"zf il(<rLgw+LB[ tmvaA(헱:x|ada)hmYcS{=8:1οKQEqPY[LVT1/xxaM6J/Dp~cHUS#rKV5*|hDѵ6;NGC&1E%{^wOyK L/'HjG…)5:*m!v#_? #t]-3h˞ow쑀ڤ'W"nwY;Qt/T(:  ֨l"8 P%?S܏iRDL+:!"s {qtsc3:Cc*oĖ/nOgR1/Ǎ6dG8M=Cxf9)۬~|CxgZ ؂=M<f:mWb|ZǐWEf)E.snox$M^jVs=%uAxߋ[]3 l936nK$k5G(D$L[G 돺 AS4-E2f=zOaŤ%;0YZ XX|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_id4@s # TPurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OH2"ùog$XXIר<ǫ/c@h?\#Kʝ*)m/g^|F%\"j&}T GidKlGŝA9?w6dw0[PbW,e06ͧ@z,06`7t/hb(ad[/U3cY]nAd i"Yq.͛ NjƫJ^O̊?(^#'XE8=7Zb~PBfV%ÞȿCmV<%B"ܒv)Uhz`CjX7vsWx )iK srF/-Ʉq`+Ȼׄ -:_jMʕ8aV=w(u\G/ΫpX}d.]jӎ䖳O} |5o[;w"f2uConk'5r+} `4L%~‰ںrcPWt%5Lǜ>4YLdT'\.Fa`PZF}\~|,R 2V|pX ԦO Ͼih\4/ BlY-'*uaE;-ȍqA5\IQDi2[C1kBNtXg_\E+Yxl U{:2_{KqIU#Dd>q>%ɱ$"ʿLnTxWʳ+3wHL㐭Sjӏ54NdvQ~,_[uq:"c"BqcaW!Nua5Z $ih$1Y饫$LR˧/p" 2ǵr:þ;XH9=GJ4="b_CY?O"غj;x5ZP<`M4 LLcQ\{T> +Yi3RdsSм40 oޕԚ登]քzR6O=Ze#rs7n&Ă)W7l=n)+ΎpZԻ42mT$5.ۊ~m6Yu ^&#h 㣈n95 !Fp^+2/" :szѡY}[ҡ͸p\ 6‹?  -9 >}|Q7!H$˭;]HP@<% c ݧOߨn .+PGgdce =Jy!T= Ar)fz=8xVyn\Ӣz؎Pcao&b5@U<5yuCKp–Bj&|# ,ɲj+g_Kznh=,0G#R c^"T_U7D/[p@3|dX:!‘ |iVsoԚWd%8 cLq![e!}Y >לO inӿTgrX-TMiŦ-4 hS<K;uWlu* ! jUF`@B \:$æ$$(eG?]Q.#?즘/7O|~l\ Cl+.L*Vț@b#y;xG6ɮL9vV6J"׍J94 Zj3c+%oU SD/S|bvӓA~O&EwqlV֧i)7PlF~ߊ5>Ծ}@<<-]r@s.vre Kg/"-5T;vf}gt_m4`p7^ p) o@\%陪@gWfyq+݋#R4qewSR˛K+ (}Iz; ;;&]$Ï ;Wd1j0!k@XB |Oɦ)>)f+rwqխn~&4Dw1f:L2 #K< ~ jt&VP0c,qw6,T :xg(m[G0'cVhr/R ˾ψLK?;h-z%7qx_~Wpo Mk"ع4."P g- %Ȍzrܿeyd"D<GQ(1E7.? +¶xHgճ'} z)xn6rMqz'\$ዓkv |JЁŭIrBʠBgu#ϐ&EL`[šةKv~Z>9MLPHR w˓*Cc& #7V4|qDOx8SR[QK+UP>W5VLi:ۨ)66 kc=3<]l zwg! K/4 |ϟZNL+ѥ##){{~3Y髧veEeVBw4OMc-^0;h;&PtOq%Z5Yf[C[5fNi0e$ ro֦cyNRZ}Cncl{dG#fgմS آ!}TEBKu5y\T1@-%g% rqQSdRa(Xצ֌ ¿zxb2Uc-XM-E';H 1Jtk?Fs~+==K P'oV=5uCe~f'O h',%7Cɸb9U,L8kV62'z W$s}X{uO,a;1"r,~M k3Dٺ$V;Աwgu)=ӍL"hc!-Kv s(SUl DcftI |hj$r貭 +Co< 1V8=@s* ,\ͧCmFX#]~noL(㮴8MaxuEpƚMP)BP/zI2V&kvErE%V+,?NEW5,ҝWWҟ^Il것bi+dbg_ W4fN9Lp3,bj{/z{2>Ѳ<4FLӠbbhOcQnn ^.E|gku5} ԥ9 D{#d 6s]NA}ٹQ N;7R^c8zPf}}/ɪ_$nok(_Tu,H" >58A c#:5DT?G-i3pY@$3{lM~54]½ i EՔtQ8kآ/ ^;Ўzr%[=D, #뙿nf %~- *>Z\$\#ySGq7L ~W7@-&ɫ0O%Q9 >8IIU/|g6ha OizTG@ x~/[9Gx-ZWmrE2X5'K&|zZ颮oٺad'L.*|7Pt̜ X},Nk/vm YXM4 6`|oYqB6iH*e;=C]`UVuvيm92!g@ѷx'5~<9Y~_L%ЗSNWsW;tPnX4llUGT *D0v4 EZT6~!.| XT|$g7 ]ORϭ_(z:7IO&dɪF;omh1W9E]Xr&9m'`QdrK{q. rzM4:ٝz-5͛&qbrpmlB^y)([֨H/vbhƸr ђ)~nzPY׷8_bHjٙP\#WbmͼJՌI oMJHA}K=*nT@91`N{ƲQoNi nΈ@Jqg9p9ƙ[tIκ `'Ҽu5k_(hpKs!# @5 Z0~'xR`p\w0?C Bd,t]|b`D1'm']LȜx faJ##CY Ǣxr Fmv;U$̇Û={Yr8/'dsn[c!Z^ fLюpkUǪe)s>IoYԫNl.K"IڳDFڜZ 3ȍ[9۔YC8:R Pfz\%^7QMg"K@IGp .{j$;5Њ|:?zEV}}BAjcόV.g9Q#GAsOEk/!;f"n>Gz jZX5^i6) !0; !L~޽QŦ ,RUA7m@!KԀ3x1aXЀo;Î$7et8D%_ $Q*ļ<(k 5; JEȾZz]Q&l)($sSMdz|G?f)O?e/gD(U6E:W7A :/Ϭ}^T㱽=[b& r~08N/;`z*;cus=Ģ7Ĩpݲ\_eD)y%;yJ<_|}XPH} mOb2υXFTivdwj} [oJ$dʵs" ~Tixs+-3XgwSd۷xhe?96O-2{E'U +q+<"dHqwbóKKdLNNWBqscbEw& 'n{{D&R^,Ѐk$y53yӓ`=L%Fx_Gaq̤bw+P}]|?-oNn'U` -wD8l aWָba!JO{|Z:yQKc aՖ+"5,ſb*D{Z;'\xx̤kw%H)8za|X&r!iT7zϧ7ؤo4i V3`}@e )S3©A6C'yy7r[5\pWKlH_+LhÉ_"]ha܏pUq֙ޜwS2?ЧS%!)u,Zl-;RG& :&s"p ͽ|bmXUfKzo/j戅MOzˈ" i?<]K>*oy[m|[lWjԭk-T F_"4+wTu 8_ؖ#}_= x,'74_Y.Q5 lq(}͌a 5ܞ̄uI|^Y(nGb{H?gLjs]\ /iLHpih)/%A_}m5e.W ?bk˦q]+m-" L}VxRsE ?93*sTʉզ '+@~H6f^YcU0y2Nr钛u^Ty#[\NU{FDdtle;n(3,絞:}hX;1[(׾7MH\ǾJ%HL1+Mi Itۛ{Oz6Ә fag-&X>d ڑvINB=,_JR>pe *%(ML< E8 O(xp:4OC;!8]xUPRvWDB,<Rr".qڶ4 9;ZBKL̗8+ RS-yD\bUޕA#98]93=;E@f& ߅ppn\K,fʑcx2.Eak1l|PGxVCHD٥^69:b5X/(|jQ(ێqښ ?.p7B"\2VO]@9(l%8bxfuHga0%cԙNUC NٽVi ȱgYZLz'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂݛfoCHZbą Z~- CY6󩭽YUǭ7c@~29Js@K4.e51쓣yz?:ԥ,Ju]yͰq>ڔsM֡Kd=Bp#(3o#"eY{D0qB]1c!gLԺPсO8uc#pB)Uc̓ Z!CWԐ8{FϏu|],ex@WrN. Ϸa *=Ե6oXhJ%?<̖NLB2S<ҏ*6X WjFihV|eykS<ΛCrJ0y ,κ`9VO