SQLite format 3@ *.S`  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  Ep|\, ] ]Pure:threads=1elapsed=2.056cpu=2.138gc=0.0007zXZִF! x]ŗXiɟHVҭٽDFկJx-TA SԺ]^Ko;o2nEN;ɘX-"K|g0`C@Ȭ;5Ό"9UV;ODͲGgYZ7zXZִF! e]ŗXiɟ˚Ћ. k$wq6Pi$zU+|nOT~wH+ ½xN

QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;('|yxqnk b Q B 3 % }Y 3P7X *  m R 7   z _ D )  l Q 6  y ^ C ( kP5tY>#fK0sXkR9 qX?& w ^ Eu>1o%''PurePure.SessionsPIDE/messages#'#PurePure.SessionsPIDE/markup"'!PurePure.SessionsPIDE/files''-PurePure.SessionsPIDE/document_id#%'PureML_BootstrapPIDE/messages~!%#PureML_BootstrapPIDE/markup} %!PureML_BootstrapPIDE/files|&%-PureML_BootstrapPIDE/document_id{#PurePurePIDE/markupz%PurePurePIDE/markup2y%PurePurePIDE/markup1x!PurePurePIDE/filesw-PurePurePIDE/document_idv%')PurePure.Sessionsdocument/latexu)'1PurePure.Sessionstheory/other_kindst%')PurePure.Sessionstheory/parentss$%)PureML_Bootstrapdocument/latexr(%1PureML_Bootstraptheory/other_kindsq$%)PureML_Bootstraptheory/parentsp)PurePuredocument/latexo!3PurePuretheory/other/methodn$9PurePuretheory/other/attributem/PurePuretheory/other/factl!3PurePuretheory/other/oraclek 1PurePuretheory/other_kindsj-PurePuretheory/constdefsi#PurePuretheory/thmsh%PurePureproofs/44360g%PurePureproofs/44356f%PurePureproofs/44352e%PurePureproofs/44348d%PurePureproofs/44344c%PurePureproofs/44340b%PurePureproofs/44336a%PurePureproofs/44332`%PurePureproofs/44328_%PurePureproofs/44324^%PurePureproofs/44320]%PurePureproofs/44316\%PurePureproofs/44312[%PurePureproofs/44308Z%PurePureproofs/44304Y%PurePureproofs/44300X%PurePureproofs/44296W%PurePureproofs/44292V%PurePureproofs/44288U%PurePureproofs/44284T%PurePureproofs/44280S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44088N%PurePureproofs/44052M%PurePureproofs/44048L%PurePureproofs/44046K%PurePureproofs/44042J%PurePureproofs/44038I%PurePureproofs/44030H%PurePureproofs/44012G%PurePureproofs/44008F%PurePureproofs/43944E%PurePureproofs/43940D%PurePureproofs/43938C%PurePureproofs/43934B%PurePureproofs/43930A%PurePureproofs/43922@%PurePureproofs/43918?%PurePureproofs/43912>%PurePureproofs/43900=%PurePureproofs/43896<%PurePureproofs/43890;%PurePureproofs/43886:%PurePureproofs/438809%PurePureproofs/438228%PurePureproofs/438187%PurePureproofs/438166%PurePureproofs/438125%PurePureproofs/438084%PurePureproofs/438043%PurePureproofs/437882%PurePureproofs/437841%PurePureproofs/437760%PurePureproofs/43688/%PurePureproofs/43684.%PurePureproofs/43682-%PurePureproofs/43630,%PurePureproofs/43626+%PurePureproofs/43624*%PurePureproofs/43568)%PurePureproofs/43564(%PurePureproofs/43528'%PurePureproofs/43524&%PurePureproofs/43522%%PurePureproofs/43520$%PurePureproofs/43470#%PurePureproofs/43466"%PurePureproofs/43430!%PurePureproofs/43426 %PurePureproofs/43424%PurePureproofs/43422%PurePureproofs/43420!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|\q|%% LPurePureproofs/435227zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0_z)Ui2?f`.~nX8IlfgYZH$% dPurePureproofs/435207zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/434707zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞GJQZ9!:lWgYZh"% $PurePureproofs/434667zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wRm+5XՖ1^J>}wՉ%JBegYZ4!% urn"gYZX % PurePureproofs/434267zXZִF! |]ŗԠQlP@K!7; [ $F(q#sY2H* Ȃ#0UfǒGIM;Fs4ؖ͹>\zS.W}w4x@.￧\Hɛ@3mgYZh% $PurePureproofs/434247zXZִF! 9]ŗԠQlP@K!7; [|EuoP u@Z %{ޭ% &eF̘U"‡EjߙE=, 梊 ئbBi{\;|gYZ % PurePureproofs/434227zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/434207zXZִF! N]ŗԠQlP@K!7; [ $F(q#sY2۽O*Oj0zYgYZ>! TPurePureproofs/7907zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H:_w^JfLyBiҡSAgYZ>! TPurePureproofs/7887zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H@,ij1B;gOESAgYZ*! ,PurePureproofs/7867zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7767zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2329H%ɐ0w+J~)pgYZ>! TPurePureproofs/7747zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2-pWGW BaЫ Rn~)pgYZ! tPurePureproofs/7727zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7627zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kbЖHsD =}䁱gYZ>! TPurePureproofs/7607zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZ! tPurePureproofs/7587zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ R"   qR3% PurePureproofs/438047zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/437887zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR_GqW%6#ռCoGz2m㛝c8YcOj;3agYZ1% PurePureproofs/437847zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/437767zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A m OLJ!IFGg SgYZ8-% DPurePureproofs/436827zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i)@Pu:INsQ>;t; m坱gYZH*% dPurePureproofs/436247zXZִ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_|8*/cWĸDFJ]gYZx&% DPurePureproofs/435247zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&s r m2,SrڢqTHtr*gYZ  '   jc1& B% PurePureproofs/439347zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰrUCҢ"K3սeLueE4BT݌ 0gYZA% dPurePureproofs/439307zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPOꚯ$G1Ƙ SKNhwY \gYZ?% dPurePureproofs/439187zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטWJVoZ疞"7wJKD j;8gYZ$>% PurePureproofs/439127zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/439007zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|PJK*P.ϴMGlPN%qcxqױgYZ<% TPurePureproofs/438967zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*q;pLUϵzQ\k?ʼn0=gYZ$;% PurePureproofs/438907zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/438867zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+h .2gYZl6% ,PurePureproofs/438167zXZִ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<^Xb@8o pQ؇Qbd~P3;RH)=z/g8gYZH5% dPurePureproofs/438127zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lM;x>ޮGg c dC^wym_)7fαgYZ4% PurePureproofs/438087zXZִ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-%M6RfJ  (% xgYZLK% lPurePureproofs/440467zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&E+YH\;%ݘQQWfa`4D,ۛ5Tr&0ؼLFՎ &ÚgYZJ% |PurePureproofs/440427zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛH:̷|~(,IHLg,5z ±gYZ\I% PurePureproofs/440387zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zξMUm-{E\)JvO ?igYZlF% ,PurePureproofs/440087zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/439447zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo<ҳ]aZR8eɩjĶgYZlD% ,PurePureproofs/439407zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^6:[1⅃ BgYZDC% \PurePureproofs/439387zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z70%r\R ᛤ킯j.XFI6FK#(ݺf2͇W[gYZ  8 E8aatb% ƶ1bXⶕs_|8C<ʖZ^qLTqw]gYZH`% dPurePureproofs/443327zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞GuW,>hO$VҐ8\NѱgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/443207zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/443167zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/443127zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/443087zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/443047zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/443007zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/442967zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/442927zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/442887zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/442847zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/442807zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZER' \PurePuretheory/axioms7zXZִF! f]a0{rg+5\CJHa=O݅vBfI_B ȋl2 ޲Wo0ORXyɑ- C,Xysp;d'Gm,ߣkΥ6 oU)N*ދIȤ:# lCKqֳTMe7%t+bPB#vl7Fyjj!$9qpew|2Z*>qYvJ? #JkL/Zg;.0 SD]h̓}3m-gYZ   , MW^`k3PurePuretheory/other/oracleentityname=Pure.skip_proofxname=skip_proofserial=834Dj1RPurePuretheory/other_kindsoracle fact bundle attribute method0i- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZsh# ~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SEN8^N(x~7 z!l,zN&tѠ!USڟeq t>wtqxɺ[K/=L~Mg\ͭE[zvG|:!eq\cv_ڤTҰpU|O \{ QY=pRX[z.J bI:"y`<]-+z  ddz(s̟OMI+㔚5b"Ua&.!!ɹ){L;՘H/;gR+Z2GlȵDueZ<!_j5m&S:xwSx`gdc.d : |SPGElGsku/1,6<^TAJk 1f^gYZ\g% PurePureproofs/443607zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUooj.ZiqjA@n J qnejĶgYZ|e% LPurePureproofs/443527zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gy; 4 9}!W&L D,gYZtd% y13 gYZ ! c!?n3 DPurePuretheory/other/method7zXZִF! ]a0{rg+5\_;:ɲ84c*+|y+2`) 3A9\'oϲET7>òOF$a mwY7`+ď`W4{Q) k]8lqbv0e[S~:(I`,6OӴ-uV.ۓQwCknRKta7:vIyq `'DE>j[S֩\k534z^aeu-suۧJa},L2a+C?+%nM^BrcNxe΃U2NthY(7yc3®vnݞƺM)fd1vf|() <v}-~CϬV @hBGvv߉?*4gBB^rWxA# l"Z`I{5ʓyI"^;A-J H׶.>h(1TAM ,( (\a5xm & OP >3ϬG-Xh %-E|[*"+pXCђ  1)M|8v:#w  NmMm^BC` N {ze 8fbMsa5*} knU[ Ev;{X45A@}ܗiOr۱(}zuӬBvze,]Xδ֙{R3I{. ,&8]]cw+LIU^0u$"i9 Z4_=e7~+ǖ{[Q1NH2]nZz(r%s$(9 }hwEr(TtY xS\>hi/Sz f Qgh!to4]i߫1g'*慕r7 ku{= PɀxԺ 8?z2†S68p1뮩uY\{:"]{qd_VMYk5~T\NmzuP( Og6S10pslx`Ij NG,H26cWbT~AkhG2%{ X.S<Q~ ezf ؁zJ-Lw@ u%RAg+S}ˢ tO2׳xr ;IgYZul/ 4PurePuretheory/other/fact7zXZִF! Z]a0{rg+5\CJHa=O݅vBzxAekW%ЕM/תnfՆei7@**;=Ge0&+tLn6rAAV򙟁NKڤKF$uݽJW b㌉Jfip$?,G/SN4/G6;<]MgٛCѺ*;XS%-K7Զ_֩񥟡B@uxN(!2p398ۑ@f4VZA;7(RdPu~O=;lP+QV';S**̷/lۃC#lOoЩr~ǓQL|/QunzFȎ/lPH0嫎=[ZJwz3C̈́}ik2i09fqgYZ9J b}ŋGa`Q6|^2hm=ۋr?ch"0 7ӡB#4<L9ܙ3zXt/Zf;u6.0ack!E?QMxH4̓ OSc=Fkޱs?$䰱`( hDYS(E6nn1A{9!Qͅen)H_~n*0qM*<I]UփONd,8@40E+w#ȟCJ5+rD }!DwџZ.A $ˎ}-^yr9}x e =l bc|C.py9p-땇f*V&I=4vkC"xe g9ē>;;|X a N=,4s5am2 #L=hx>PKUWKdwh7kcsuu"]^x7tBu bATަ*FcʂʏZ-?蛕TWYYYW[s3U'nf3_y2$ޤ+wEv`UF,NOI)\>w6oTA/!?瀼Hqdb`st@uXlܺ-ȨjfgLPh*yv4&6m{`֋!MkW bF Ai? pR=B$ 0kPԉHgXOf:'Ӻou"ɽa[@>,ŭ(g-|Q-wc.+=f4ёmnXL6ӺЮBfDú;Sϰ~ݐ+SLnx͟ 50 Wx<}dj6dMDWyx0/m œT*>x0 ܡ,P<0 >mTÇjj[@!f6h=.1Xedn'ֈOW؆o,Ex>׳v}(k#_3 %yaoC'R_zJe|"O탟0-ŋ+ŵfNC[lf/ URFLV\1V?lJ*q;&!©&L&%ϩ=-Q"s}(~PS}]QE$^teٱJ-arVYh}CI*Ꞡ3ZpzQQ?!2X]`!#)eػyoW͒5%q4|fP‹FܴH{T ٿ͝vΓ$XMBmѬ5b"lVc{=pma7'~BvD1O79`MϾ+#P7/LhK=p#76P;G ]86M  q\)%ЃG X M%_'):}EL/ChDDrS .?R-mjWe8^Q\֢%:AfOXZ' 񦳝Ǚ-"u`cD#v(UjF NQ* n7ڗ$d[Z<ٳ`;rW?XZy垇JCd`JM镄jM")@fKKZ~4trgM>JDjcY m1.$d.̫ +R`"ه9)cփ{/UY(r]~DW̒ >CjnjS*_'>9_V ?x<㬪&Fڒ: [X% 3A(K[J줁AoUAk51|Nf$H <*\oMg~WzZ(<.<6sA V !+QT̆9Dn>v Qt5}xO|P( 1r͎W&?(rZ7*YXt͆9.A5u[ZX! d׈S4rjů4=W˷pPws M=>hL(*KxG.p׉E>ycհT%:B]v !sNfTz; V r٘5~¼uŦ*jb^[A W^ p|aܿbvKcŷ9"K#mo#fwC'X)@TA̸-< gd}7W)!8=fDf!3@ɉ<c#+w O(`1 QI0_ vƷ4G5L|i35!{%TǵixϪȀ?&rl{hk:·(h2:]#izTctA~RYjWrM".]^R0FUYXˠlںHa\v&lWvt8\!P`k8(foH,15 JӊÓ[Il{}lG":ϴ v9o8'̋} W}spq܈5joJ}OǣӦN@qPq-2xpi΄]lDPn(Gc-X"ۧߺA,1.10wnyּ=PA֔O(.#"tcSb {vWà9ű?(j>зͰ.\@,O ޻O2 5`ww=Iy(m迥rOx'_|l2H IY*J׳:jaԤLT< {Qe ̗Mg2k@zdJD*USyF&CW`W5X\AฦzL[e\yAˎIi7s8B [75p"5~z|ϘJ7?Hi(4ȱ($ie32F&սfұƻfQmb"ݸ.롱?6`p)HzjAsqкW#,¦xBnj,SrI#&|ǤsCO2CHId)ep+n]Fnv<:m >U1 u)иr2 :g Wn*YzT`L*"Du*҈/`q, s=/#mq'bzN~81͂HO=20nk B>$s=4VE{3\HQGwVy~z DKo?*4Z5}yo"c/4$M<=fNow jȚ/̋]N]#OS9+Gcd ELv(סYتg<#[tr˓sI~ lӰI1G/f}7|G9FGPwΜ9~&.l vHZ#Pcn^+$J,{Daos;{9m8!OWR>J-HR==[ѿS jǵjSyҐYdz jr㍈Ivgћ"H}9P윙޺X"ߵtˆ3MA&dIZ_ UdYui/SܹZޛ"+*ˬc :2ك,WԠuoziRsI;0yG=J}W2F#26QZ?pCqiT>4EC \k`]&ءpn 56h KT߿$*=U,#º^Fp3M5Sr/k~<)2K`GOjJJLw ˙qPXolݭL"Р8FBp |1l!U{Ui\ N]tNnjDlo~|1+)՛\lJnkMY_ R;aN\WxvB/i= l>bfwԂ\Jdӷ*aL˾"2!*#N ]> nVG'Wϡb B@0*],WXb>Yl-1Mau'1 +jv8NP !g z!mF{,fxa|VCM2Y O+ =iٸ"W(dDx f)0lqL|<Xұ]PRgZ^Ws;΋ɾ ?ʬG"D6 {"<|h!ޅPUzM]hU!r@ .oSۀC}AL\ģ\q+Mo.r*DdS"a7g467ʹȄy,?^ӃF; ~|/ƃh~Õ9C:e0\U/TFV %le' ?XawkknSR9~OMv=*BILkxeVģq&GNDkdBcSl1{>%M'h-l~0FZ R콪U(YcIԁɁ稴k^&mfCqbyft\NF/9$L 3l\^`]J==49Px=lHbldr:ZJڄ* XV!&2M˯|iD~z-<4[9B5QD)]w3 |Km 3[mM@XB88+-v"a+++ҳW(jf_'pURƒT3$wg>RH SafწNLw%OP#RK$h(#XLG(r/-w~۪jkI]|XF@=*Q}AD56mg .011iqGV,@ Tp;c&ԅ֙aʆ'w=[5xWr3w24;0pТ ͗6V4.HMNâˑHuƐ䱗KKɎ)`Uje|%LJ3+OK >r\ [b%S$\ΎBS [!~5؟w1HDQ *QhЯy=:2T(nhD) [u};3\A8ֳfϱ.R4w+n9b"yШzүG*g7'ؓSN{]W- t} ׆w+1F GؚW5FdM("S>ii┦Dٲ 0~-8SHo6CGXTƲAQ%2kS﹨a# Dc* px h,AatOA<Ї$֛F!UA2qZ~{8Pi}3AթAIق.2bK+i!H1^tKw{ 5 ^? RCwʍ0O=*E彏28XnJm\Bpf/xәC.krlgV!9'l;&p>ɈZʧ 8*ky&(0r^5&J|/tOȏD^p)0$N_4:RjlG;Z0V, ,tZJnX5ppJ#}H:O]q]`AaeOr NdٮKOC "ZbDӃ8Ktf4d+N@]:rEMkpl۟ъJ~3oESMZ,G$17\-BY[|I;DZo(uNet@L:fu<6x+2R#" doCjEn} 1Tvv&0z7ޟ17K[f N ;-\QkY쿜ȥ3Jӑ /ZQkFc4q%*LD Du'n/br#ۧGkC Fj+ vu~gaCd*@Oz+)'}kQƦ]5shFVT2ս Lq;tm҇^$asZ ;_(> L1}PW%Fa~O]c6 r6eP=fI .&i;yB(> ;Q3̼PlA ~xJqz0T*_r!;F @݋~À!6mҬ>ܔCAp\o6#I8 qC9$ IxʻB<u=`6[щu cn=B0pSB>ʃRZ &RZsӰ/BŸAq%*Ǩm?{{P[9ejm@1(my Pf)(g hG-.Gz->FPN BGfM$Kثƻ8].X+9\ n%WmljV2!'yZ6д!GlBivbCeV\Ǽ-q ZXzNI+-BMfЖU7JJ A@NNsQ*vP*ʘ"uH@K!fbqԠ;mGRtOG vTgšPTr ŦM:AB3rrPn~u WQg-fu&i=4Pq3.hų#'J;h ^c.y%c Nmː)| a}/o☟^t|ٚ&ePy*+<0 \7I%dwH g'YvK;'M\Ǭ9=[XF~uZ.]8ɒ`@ ~^Z^8J9zVn A*Ifn^S.G\gnx-qQXBb7hV%аW{`~0 ϴ!I;$Bɂ fb~ʲJ~4~ĉ;[)IH Dh k qL="Z5Rr6K q#y>z<Ī-J4#Y]!͊M<̐S}513ɯiT'}86Ӯ"cJķf#+K_PMg\[E^mI`6xjbl<|vl ˾}n8Zͤt:"o7TEO9؞]#D\O&li:ݿ qMfc`f^@(lfX wT ضd_e;;]5pfuƱg`zw%-壥7HH>+  \A ~]7%m-wљW3qgĴ:,pY,qSƊ3ZhC0hH:d"4yjt۽2f!TzúY^"bΗkÖLH6lN-@ȔM0Y&,KMzT6A >UF, o>'c :b0ȧZ:hR^#-!a]>_}BU{w@<ˠb\ehX?e .Ą;šTk2Eb|feڴAHg=I&J.(?)٬Kz( }k%:UޖNpì{Y1КKtLIˆԘ5&a{?\w#$~96!(K1-:^ooe5u@DU M):IL72Qd|A ί')K5ȸ+ֻ5]{oʎ$.rmm:۷]Hosڧ irS|iIz!>-]IkòuB}'-ηj96듡fsL`2eES0) qkY;U\*uYF}qJ*Ȗ ѣ J`Qi$H9@{NGzt.? Mh9Ty:2՗&)$# 1 ;,ƷG&KTټ&$4cY'P|sHIm2ywa,O eHJ6EkT{x7;xUyL4ړc+u.i,˞#qBE[MLAU,UyExS.` `t˱Mr.kWrzRPS%K/grBќc Le5)`mg>?^?B _1G1mjj,q+¼xLǣ4 t ߁=¯84a ki?t-4et˂ߊ؈\(ڭ7eÝߍ`UAsVY8-W8ƯBEhN|T ny=' Vq8 ꍝQشU{ti"(U@i.8p%h %¹s7N\{%t1lgLc_o9isƵ7p-+E ,R3rE s'8ǹ`R(ϙ +Âs7'Oۄbr.|9I_s5SpneC] 㽇 n_mZ9ehPFpƔ鰕`mz}Epktk 膥EEK7ϫ[smp%c)\11XJn6/]ڄ/!-f2R΁Z7|]kv.(gK"Vpҍh0c94QA2єۍCF֛ K+lZ#!BG vjs=x1ol%7݉(ilL=4-Y$26|ʂ}Ŕ.8B2 Jf~!/0߇1é;~4 8wTg<-z`O#6ZܿK/v뱌g^'[AlxEf C|V-t%3M@u\C$~Ҿ٨8){Hپ~_&ѽ'#9]7GK$$4o5:6Ke6hDq*4̫/h ]tb*m`}&rsDJtnJ)+_̀$0&B6%&@j9 |xuкCcGl }\)UjϏ{TlCԓA7FUdǥ7ũ#Nr 6})^ӯPu9.QɍWMū?z}(jlI Y 1M., pSs-ʹ6lZ!m(4JT\YSFPJm4,ӍpH62[A8:m[>$} _dACurCah2(^AA42sz7~pS zNWj(YZ>ebd$ :"e\6*/d?/w/B;d:1i[ғ{ϜM,#&a[wd*مz {Ӻ;%( <\x ^LܿgiBy PyNgoJ55k M7!6LuK]E٢dz]GN b(@x<>ݱСDf5;.vxayד]k9 14 OMBEk)$qZ`Y6I S6-rࠧMŖO\9Pբ]cD.I \w\~^Y %Ie'ocx]9Rb4DϓWWYg+'/v2=dl1^% [oJ.]Jw[qpu^)Aï 8A/Sdjee#DM߿i$n5XIޚ~&Zu1 @={B;71z gxa,KtY{STs="K 8M fR1N"UR;!h7(` r"I2P/\C.,gG]y4 hf jZήwn) w6WL_82sAir?F:Ķ?6 իAEYoWI9~ٴ ȳ8V۷w*h#7G- R]1üu9+%sKT,]X m|^} 8$~7vᓁv_i3 Y25S_Ne;PfH4-O%ݸ5c/F7ymGxMeD.HP>gTМKPyLTO3Wުi2-vyTJAG miC]WZ)jTA }s7[zh}G Ub~%ds0KCB,u^㷵BҎ=i`٨"Q}R[u>e_]:N]*ߕ_K踄=ҋ2_;*m=M z 6&|߁yh)R'dY0ϋl)+kH`ɩ5+ .mK2pd#̝s) Ge,PݫqwY7n,.v`!3'Qx七 X*+.?6ءe*cng7ӲL-?Z%DC-|VధfSp[wt+5ɣLUHhӎ2?TOB͋% &rJ4FP=K#r+0򖓅*K;. "cs فmp u$:Zaں_(?A4M4 ,I՝-D-Xפ*Z !U`@g I[uJ}*k}-XV-0d01-@8 9)??=1qJLYɨKl]qPDdr.5ebLVHUc>YszIX'N#kk[[sg=o} Zu@\ KOanW4 ?9XqoՅ&ƈN>4B*E_GHM9OK8WⅦ]S A!ϯVc*4hPre/9]-&}V ]+}|@79yǵՉ:pRIkMSu|W.]hgğݡڅe<{cF ;@]C'#e!T(f+ /YuNhjXaIQ,݈A,@*[aq>}|#I2 FS& \ڴZErwzz ^4k5G>{cڄ i`ӧWVSX/67zxaDԷr2մ ~폗?^ά /" 6 ?]H?fdxdڄ*6Čpx>BD>x5@̣a,<yuUTO*H`o` M8?y+fuQ{ & scNaBr+ˉz;}r`O/_//L@HpIFK>X\,=Q?i:!ᱦv,h]@f9zpÜХtUFRC~:VC?/_ȊM8 4Eq4/PL WU5X5O)7 `K"n6Eo+^烡lqk0@)`yrtAU[ztDf("? {?=27núM^HD5"ŗяmm >]ʘ bienmL,:H^Z1rdP3mI6u;V6\4p lSR]4l T4=omʂҔԜ$ .Dr=sMZ2n{ݰ\eHU8&.odQY妔i-\ȯ̫sb_[[C|q-ajh6ĽJU#d5b@{!%ǴdKPtVx1!41r'8$:Eeò!GDncHu˾;WD(-P]iE[tnRܳ4fWuرm&ʦt^ٺsS,AꤴZU]T^R *bovR۵E-k(k*ˬ!H4ߜ^OԒ?5Db e8UVYk'ҙa x~d M ]R D is6p%:#4o.{b}#Ш-{ GiV(nxTpFuR<9ܿ!0uРfdsP*x9%W9+| 2L> ͳ#݆xڇ?SY ]b z&Ų^BG32_z4 -NW[5 YZEg nQOB :ehlhԡ~?0O o3gDC=izR%E9g %( :8 Vuv茽?lI`GbgbV{[dẓ~(1D)#6_QWly;"xe4sb/+2zPEqBJ?i4_Uz:xrJ/Ҙ%?NX |G3_kϭ&ȥ}_{'揇t"t8fF"Ij QM2c. 2R,-̤APguTb f_gqWn\dm+WY3 Sʑ{50v~Q]1AKqܯ-P[i_W+u2ׂĻ{ P#s*ֲqX20ZṁH[gdؿL41\lӉ]ʓN1.NScȥ0hH{jK4-NAMdVP&!/j!?Lu#=ƚ+8:ѪpE;E*3ٽKgTg-X9#R, >rgVOwWX^L >75ur3STcۮ-b, lc=F~i<ą!D.] FxJ]yN>@*nSi~ɱRğyEI~@p(59?HsX%{Z0E0ӳnL?.EwW%׸z U`@\1uxṡx|udbR2e gƀ#T3D^k-Sr[Omg+>LtʧP*?{iUـ;# ig`ca?skIǖ鏥˖,Q<&4t]۷/M]L(>I:H#cdHt|9qPu晼Z?A>B5 x"Tξ34is^YS8D@.&*h@N4u'NS|^]j,N Fgo^ee5YW @?hʺ(>8r1)OǶq]|KI~G̊O85=b& #*D{lj,r]OO-v ITY騚׌#]y;|3nBo¥,yXѵ m ᅩnp QhFΥPGJ-^ܥx+Fȁk!ᬓ]R]"9NW) .{RnK~fղ" X *n*"1v)?:u36&nr[{nư֍; ^6rd 7.#]6֠\-Ff=弁AWj/yA[ơcQу<謒w uS47-Fnzv URl̀.@b~x :ԇ&!3NҴ1XK>ƣϋL7c+d= hӖuwO_eT叢^h @ k\(RCWr}J;81v079Xuf_(^*Lx>U7@Y >~ A))9H!}!&@Y7 _yex΄b8shtW*"{2Pw>VqRl.(vqA+L†w*zf@e >ΓK:. 1Z Zؽ9st K<ӯ_HBv4 1?pLoX<3tc}ҭ>DZ#JUm}E8K<:Xs\wrK(txi_(PE~<˄a_.GgK1כbGe?߮ m7醋W#sߞ/:OޔୢۂufKA Kee7cdžjgnqoF ^LAݧBpt6 'ύ+ t~SޡTWz;np?nDLl^ i{_IY?_+Qm ȋQ: @t"r( 1YVRA F`:VuQvؾs@%) 1>؛!ƶ, egєAH3ec-pjY`jJF#K*'go͞QV:T6uzbL@+c pŘPGx.`ߑ78= &܆8>wH@p4ѯ~ oT}iW}8|3iu;< Nx"?G^S:5PoY%əw[ոdgE.`C8dʵXReơ 6IKe~W}Ջn cnjD4_Lps`S+NVІ)쌃HvTOL`2^)"_dWrp?  .mPݟɈ"Pc Z0=5MalIn]%/R\.A3ݕ fE6lc0{N;cׂ:Hq.vd~cӨoӥY1纭hMGm4BP^ m`j>ə]{=+1sT%~/wz`J"Z$ b?N?5шnXPc'ս:bfک #Xߩlo'V/iHqXHJ &%_ZQЪ Bb+nZ.˗5C)[3Jԃnl,'㺏JI7$q1*4I`gxXpf^㿡!HdwciIhoUŏAÒy]l**xHy(Zƅb;7l‰, [igH;Sq C1P$xhˆ~mڄUfIʕ]Z?јiHX/#o$ ;~MvjIwv+א 'Mr*f0dXj:W!P5x 3 +c!6M0%>mYff֫т Vo 6R.lV=*nELk풐R'Қh@z\)HHhLň W[\iCe^F3,-kaw5j\/,\ŵ.P`B߫Aȇ"a8d9"=Xc:#^ٱ0E:ל0|LcUZ[lf؏78W۳U[CL+XT0> pʥ&[6ܨhu->/u|ݳzJ]D TksD)&Vcցp Xlxme4Pk W[BP*zAYsy`0isC֡5 55ߋwe6̑t-vyFC)fOUnM1l3j5J[k8ƞj2qUP (\- Z3Xбr2Ad\T3ܲ_4[Kq*ktS$ibΎdׄ#$ Z[I(=xK3ȉEͼȹT}:d 02ksN7.]uSiW>/a{ Ey:T.O|Q25 L^Oh!>qx8W.JU=5E%&PccS9aJi-u+ P|Mu:)t9+0|ˬ-G҃BTQ5|"6[&)j\=vAڹܡFߢhrNMmOۦwP7V7GR6T9a]#/Y ^ڰ7 Hahw:m\Kr>+l[*w7"sF51O_{7c_eTrDDTq95%zsp"x%@Z,P^1M`_y C'Ngl dMl851 ]+iXJa_5YP 640Y IӒ^0cXkF(:z-={R}U>֍ڛFoS% 7۰Ј c|saG2L)'Gz+OZ|ss:R8qbhr/gaMӾfʓO cAD.u;󯀲q[`xls2X-ˈov>:rum$|Km0r:`:78F'=OSq_8zӐ#rpʞ3O#!bJmb|Www=͟^R\cGk0Zuu?ݣ$ZJ|u|[P~ӱAB4;F!Dm%ma4]$o;Ei,GPЁ+yM3w%6%P:E6z8֙hjӧmx%/TѧU8nnGId]q0*|QnXam'){}JWmNn+ӈi Z)"a[YJ9ɮ\?9ܞ"K ‚ EMn?+ʞFTƤn&Oȇ3$Jg8RhY9-t93a l7ѓَ&XBHUZ@I I@y[w1!OyЅ9UBnSP-zTY+|L[R{x}ΰV,_cis>Qv%VѡKnL= SShҭ6 )׷img5efiڪ^!o\\[q2v2aōlS?qG7 siGQ R6YpfDg&$ 35; }(3'%J3j~H*V`tp&2"ߩ,ip:)% 0ܕ$kJ$|0ӰrkwD~%#k7caqwRG҇'.gHկLb#7c %&Mh}Ղ7^2!WBTtWkXQ)HaY >T2\:@11$kL3y.8Le`o NEتwn:L۴-8c?$Tl  N"8k"D!J$M]Tcm(T4e8JHo{9>@[@PSlMEzYg ܔ/eVr'8mT 󘌏B> 7? (LKFâKhMۧo\VW ;"t!܄v9AFHxvY)J ~% Md1Jo{ [rSɆl@ G %yFЧZº (dǑ692O,FLC6bϣ IrD08pJ4{G\'gBΑ!ޮ$/ $2atܱgYZ Lq%1RPureML_Bootstraptheory/other_kindsoracle fact bundle attribute method)p%)PureML_Bootstraptheory/parentsPureOo ) lPurePuredocument/latex7zXZִF! lp]N}T':=Q߲mZwb3Kzd|`UͯUZ<`$5=C}+nrɼqq㦧t+!D)Sq1KAе3 6Qٟ<< `ߝ0ƩUfؘX/] QoE\J]!a?}yW2z!Fz9jszDfէ 3A^C* h#۠=c_] fqK\Qt_ y<;P`GώW?u@ ؊7 -<)Jy^?y/,^d @~qFHyҌ}._Z`[SYe0A/Oޭи<`2m|x-yPB^G  ^ns'zʚfПbZOe"fVLO./'/5;p/c0—)w_) c 3hz?Q14EJC6)",+TD]rçޝ7_S1~BvoSw&_U硲p@ RD}0fPѪ@csP֩_pp0oK4vx @Y/|Qc9%Fw͚f/׮'AJ,0"\sgQJ+aC*z]05,GS"r Qڼ>Yd.Ί@L66wGq񔋟YO2Le\ YĶLو; KL !:^ _IM7U}b1g=zk}OO4b7)Riqv|]ι}[Q8/jK4װm'/og&tf_ .?ϰ롆FD>ҭ⮉HkOhs'x%:Mc߽v/]$Ԛ."q@F;9Xgn v쭞[F ہ_7U< bxf4P}f+ 7?n^:w4,tX֧!/r҅cmM:(To{d'>}/$՞EE]wnW|"W\eg22Md]!:auLMWLR1ȯ|W)'Uj^ƃԡ_F1jP|AD h@XxdQ{hc(΅3 >Gd=QVh5lZNL60,ҥEhkW{eGVVk@> xR=V,IHPZ7a=_0R\<@=^J~'73ob%V\k.NnbP~8C|&qЎC3-ڄc=S^HQ\$~A+S'mbNΣ/7{ƩΥk:J$M۩@5Y#W-?U[ueawPԾ {4AH&<:PQnk]U1L]){(LG|ނv%jɻjD݂[40H1J%6:j%+2Ȥ`h2MC+*t1|OcD~vM8wLg+ ,' J\N 1Ҍ4;|$ZkJemAD'g6/4TwAJ|q= {q\]:u3vu:0m)kæ)֩*- i"<[ UqcŖ[U~e<^hKTu(-UZ4Dm N3))ąU "0P_9ա@#I22c9{TseF㲾J1\GuGbBa@%{R\1(ڢڌ:VHO7HZ:/K򎊉 ^5ǿ)zzA|CGјj\/AC[Jej h"m `oE=dĈ_JN.xcOaT *  \ xp@Qo2]s71Kŵܠ++0dd,6:iN{U]*DH_CYMlWH%<"` %—r%I2k#<-D&m8Fu㱭@Ŀr.!^mv=CwǴ$ڏ)'~s#\b"~ dMm^8I$gҽoZcb7/h"IщkdH,r6OW# =ƕ(jc6hW:fXQbqlKQ69  O # ~\x% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWw!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML v-PurePurePIDE/document_id2Su') dPurePure.Sessionsdocument/latex7zXZִF! !E]N}T':=Q߲mZwb3Kzd㭽Wh3uhu8`7ϫNTZTW6?,\{Z%)'=t||}6/Bw&g k83ʍWCTUۍa-}3op F?7>0,\~$DH%}_k7Qs)ⴄUQuKxڸr4 BSбgYZMt'1RPurePure.Sessionstheory/other_kindsoracle fact bundle attribute method*s')PurePure.Sessionstheory/parentsPure.r%) PureML_Bootstrapdocument/latex7zXZִF! (G]N}T':=Q߲mZwb3KzdITU |ulob]8޵qArd)NLMq ߕ0p!5{*ky)`ႃ:7. ӟFC$$ps8(gkRYƻ1&43DxTQR#j^'x?ݾ }sPL RQ G/4'ڌi=ͥxQMBo(W6֋d0pNox=\h:r&ĩnJ D "n0r GWQ3˥(v(AH]9&Cx[hœ1|Gƞف5xkUk_d?x(m& 07VNB4)HlgY /Le!XRĂNTvz[G3o:xzi8xYvT5`.Ԍp r%K sdb_ǭ :{2Dm5 }'D8t{  1rZWzyLn7&A4l'WvmAJ_} .&'Զɿ$r$u{d]wqI:<$! ׉Myr>9Ē*EάĊO$VHeΣ= 8!6D.eA ̲&yq6[k%+ϼ+_r!=6|+W &E*v+@t4RrEwRI4QIyj3`S_%pxy_ṰxCpU;kee+KH&{LԨ& k/id .d@j >tPT V=`j~$).طmݿT8cwVs2[djor%M0{S`矉nEŎOGe>MTd )bŨ)M>s.^k,晧%r8L0hWߑj0} [vɴu'Sg:+(%*¶o[*jPdrт5O2XEa!}`^h]sA-oaL9N_tϦIC Yɉ=3 7IE>rMxNbD6g8c*^\lǷk"ȱe)4alS$i9B忮IׄA{`jYb1QC6 9UFG7k.3Qtt=1 $?sԗ.t=pK!md4rh.]v[B<ȗ@vc/ @nT,4Ҟ)\.J$Y84.wKyvKIJ6SJ?&{ SaI*N~gc.J*)bi䁵m"[=ඕl˖j2Pfꡝ.8TԚy+tRӻ'\̨4T}l[phDGڎ8}3E wADi1`;,k" }:"7Gbt ƥ$ׇeSYm΀ 0qɺ86lndN@`FlCK󼐬LVRqS.T!ԙrb}M[5gM>xGUOJ|t^PN2W{4Moӟ띂{XW T_8b Pr,ګt,ICFWR=JoKJsRjmz'W3A)UKpF?Ql:2V׃O2*0 FA;Dn-|}(u`Xz9I.n&~`CXpҦjf ~6 W`/<ȉ#XBدǑG Ψ3 z2N|8/tdZG=|@TJ"ufe}<`\phD2KLc?R8֫.Iצ0oP։t^e -X%(75.YW@iDc'Þsǿa `NӌdJ_Wk|g,CbU7.5b+w;{! W)٘7redGMN-0u?\NlH.O9N[`yFNZHģٱ I~+,N}ħUO|\ʍo(дEP7ܥ& 1`^:tTdW j~L&VR"XV79ը'S( l_M[9} I"U QM+7is>%b[-R뷼SLJRlxӠ17AF 5qd`4UC%U0m(L+}߇.ɣ)nKB!R:7kbbcwqoܾ}2[)]*;Jx;vhHb@ " F_2&S.3#3ddbOr}Ճwqm4p@= $2͋95¨ ݗpd{꺔Qg&+`C8$NoZ QD5 GA=Lz+(mnNلFSRN'dAsmRQ=$0Ft }wҝ{27QVI`0h!'$xK(:Ϥˣ UĢph95 #}]דz9<3>#.P+uKq~9 u1|GU]:͌ᏑNj@JTCVXr-O&$L@;ah%+=,B3u$)CՈܐE3.Cŵo-ͥ -,D#{Z(r %ROlw6MOZd.7B*{զ/~VGc fOdlf:D຺uo}*03}Dq~i]ܖ y"*9B-qv_ڛ:{tM]k'mCw>?jBbXPWܼK#ccj]'x^Qfr >y.dǗ2iJ(ƾԼ#  ] UL*PN,פnL)AgM r+);ՉK@ aiIg{ cKuU okzH?@1mnz[DcAuǦ̎{gy®ЊNvRJ)^@iq( (__DJh/ > ]2. (IiTUU$<#4U`F*-f*-kR^Ƶ5r ҿ- NNW 5"J "ߚd 6El^NEO?n"%g*bpQs0c? w:NY-*I# **CiO)BMu/V>ٙop4ެIpT3mJe[pb{~C({US*w0]n$mu蓲EDmz$(`Y42ފ3V<<$*1("ɰ<;[q=.0f -F@5tuТ[I@B E{ r #eO(ٍ8$Xl% ɤp?Buw` 0vl#\Q4 ϲx>zgG\h]5@,MHơKteD4ul;~?1:ERP.X%#bS<֙!7BY<ŗ P.d #d?:? ҩnj].@I:N [; n4? MǷ`XdΘO~@Q1mt~ݻQmwu% NQq9raQ?Gчf n9/.SixNé ֽ;Mӻ h!F.!FΙw>{*$YXl;q!2ɟ{eu㚠SfUݑ:E)Ej5!AX@sNW DOR/+:㖧p)gb4z~DK )wQ#(o %̕( 57LdT09Qxgd=Y/]ƶ mWƽ*K@Zuzw<9d -[)"FXte,o!w|p%.1̵*!_ *&WkP ArD@ۛTI)~HTG IhӵwR ˃Ђ~f1Х [?w ;\TN#G$G.l U6Z6_`'i9#z$:0?Ȱ2MHIzA{qlTߛtJ]|^b>g>'E!qܸ'k-hYsnNц-*mHpҠ*]|S Zffe9dr΀OW¥ '0!;;Om]̿\lRYZ_ZǕ Bܑ+ "ٟXz0]D{*}BHw;|}s 2f>0 DXh;X 0O$q91H!e^?MWOWw&xSrW/Hݙ~5;/?JK&C, + P:ZSԌ]x C˦@q|AEײTx$ɼ~>Aku U vi*nNj9$'=o bTc]xrxyd&!CQ3^@ u˃BәC$5Kޢ1^G3&(e T*?LjA%g4BCJ WxҭٹʒRwi-=塳gڊZWR >,z?Aƀᘚ N8Z|C3R0}SuKƨȯV|Lc>,SQHap;vs 2AGMlTnJ_{.53"fz }0*W@uM<ۤ\0%p@sWxFxmiKve!K(tl+iܮ07N? /fײaN~hG(Wr0w=MƂ&!`j RS!q޲$Q M/fxh܉L=q2Y' S;F9v <ɵNGkc;#G%0*z%X >0xG--phT'9w_Y OfHN#y4R<;,ZBo ̩?k%[ʏz}ifQ"JP$3jXJE7⒫j-v1܂VUH9_QW~ܣqqoVi\ Jiؔe.@@I_.ׄm زcc)ܒ9a"N8յjAs-,O~ f#] !`-m;JcЄ#w8{ ,lWZ`:l+Ͱm wWjZR8x'sTw4Mm\hLb`;6/aE*jAɆӹ*`P1N'.Mg; QWx)b<9EP F!{cWDR ӳ9N$Z`WZe k59Y N5-n.oӬ?*5c ~^."6kg I NL 1jyyvJM< a䡰 V뗀ǓE[O䆎ɟ2H'Eiʡ4'†w4Py yt9 zLD*~q O30:&v;iދґ cDrxL@fbh a< Ur|`d K B:Deyi6Y8従uWD LUF)'凄8ę=}٧f[^(EKIs'A lV!>\ϺS9xdטVܦSH8Vȿ#>m$D0Q> Kx̝ h{8 V99a">D-\B%3. n9B(1Mv|5jEIv A ׽H""c72:T{ڑ wߘJxC'VAoz7z ]V leYL'zSk^(D "1 DY/DBTv+:W=\BY-%p%kv%m׋u]y :޹6Oz2%f"{hӡxm[N$hߢ\< {K/9>8Psɕ! 謶n}r1mWޗiU!|A22:ar 8M܅Ih&6%/UKt'fo%)Ur8nwPZ6S ,V!ߩS8ބO.RX̖Ʈ58^ǩ]v8F.^׬*L'T=`HAz-ٓ NQ hB LYFeYѕ{Gfzdf:Z#X#J\X})}YgrwD8Pzㅓ;gSg: 3o ߴsD鲝G/ٌy؊9"M&Gf6XSnb=JfkV/FVԄ-ol }+k3iI'asP/g RRɧ悒5~Ēթڰ2O3!~kj5cVъ) $R+}?Ȇx[–$Հ>'\A+gA=6H+ս_oL*ECbXq_J?0/V$;PMAXJS=]+wvszs(;(rpmռ) ƿxghsNY-_IeIܛMj12V+{_ˇE:s0$R&YBNF*~5 .$ZA`oşϺ# YйoI!8N^¦闛v' -U0xA27#܇W<<[WE!/6o&v#eRtf!G YwDQ@"n#?#,niP-*1PV?z 7qMٳuR)̨|($>Ϟf=ekڂ/-CZ j8u<ɇ(Ԩ<'&k Zׯ|2jg (_ٍ&3)Ɣl=c4tە-FƦdlipChi^8NJHrb@R\OT 4IȨ#Gcd S0sZ.=a=3fEoQ0O+KG}@2ђs SC 8~#:qL͔Z̴5yerU`Enprԟ N ֶ]8Ɇ290k(:[ƶoĹ@*>o J(k~=̊mЪ=u4/3 Lh/HM__cUMe,#8ϣv/ʄj^*ٶUKrj bKuRsSTvux5#ovn_䒮BoS_43qۮڕ,wٜlفC&^ױ}T!vwImkJD.ڃ<"{!w]Fz2/ҷ`\R]/W$$l,}nX.XbzDXJ}]EexCB.wUL6GKL8ȓ&򋑊PQ wga{u|5^" dN7RGޯk+1 yT%2o!CL:ǹJ.}\f^5xHPn sgl&Ml''T!߉T 9M$/u801V#dOV ?[Ϻ[[I<u.Zu2 Z^R5lsJָ$h1LU9*; [C.|`Mj掰&u)O-ZzXs2e_G Z&o 0)ƹnvEk/H薋0"Ǩw18*>eYOgar[WR-.lY δfO1-j^> ]3q{kR:ӱ+JܖGR@geo7u ς\j̤lB ,󓴄Z6vڦ*_N铿.!$ȒZ{;fp"XVϼEe[ATBY22  : p񵉨R[2rn.N<_JD3c2j\h$v8/NQ%=W>QWI h?"I ;eax†z9;4=s` dH,|n@d8f9+Ty+v6*VW%Ӧ]7T"^wkfԿ6㥲ra2,?=zʷ0IP p1eiL3;Ä8"ԁ-$ҿK Zm@YrJȲ- "l~ߒqr+wj-ȂL2X_ȶ^> fydفԞ;{Iجbw<)iH:j QdBEK3Ĥ0|/g łcdCۋ"j*ׇŀSDp܊=}msUv,;^aJ#6c↘É]P Jj;:F&jG2kBHbԠšA+>D0.ȧ(7`n'z"p=AHFGm&D `U ~>o?gZ]@ x;/q~MH "MzS>8ڋm;J4.%|{#i۬AIC0{:!#**9pĮ[ \9NNh}YgLk*nsd=#^\0vU\mnhg xQU1"L ^\l8{DNŶ&ME !G79$f,3NxjěXCygٖJi!=u%WyY 0eV # \ObI6דiFYE`nj!z<78Q)d/;yvD&1[: rP %ZQ;BOкzy$E*qQFY=hh~̮ASGKd?*0KC]yڞ5iV? /j+tS{P M[Ǯ=`qw伟 䞄"Kf$% F;vB>s8tB8EIIi~Mf"##)uq%k_Uji'%nʽLbY5TJ銔^4_f-pcGb)z Zڻ,W7 l/Ƣg͈=ߛ|y s`%TVM;%b/Mt&& =j g #z}BY)AVF$=LkIn3Qt?CUIqVEwTfb#ʣR#ܿ~Rz積ko`U_zD@ D5Ui:V5MYyE@-aaA N\}u.pth)-P **yfh"R^rv rAcm] zN#3?'xPk$qm b ZEǵh-$ADjCgϷ9wRu,zw:zTGr˽6riI mR#8،,wLI1v-P[Mŗq(Eg|J+ɝY->u=ӅZ6cʯuQ= VXo 1SG aD1mu.1׿v=q$59A!i^"wàsX;GQi=j4ݢN3kR+H'$ v̓4dʀ{&#ܙCÊ bʡN6X DAh8蜁#LAyp,O%8N-MR|hH Y/tbZn"migJJ8,T p2z^GI{)=<\nԡ{?LbnKu*šPl3(?u9`Լњ 1RoHidq#z8mG'!X4/"@(DbӇZo8?Uә,^N!@ʍa7F*4$y4 8ĕ? zt6`?]@5^]& gq\b{e;^BKS~APlCb1Ӹ9~wkiå(@ qhqfo֓=`XсX(6 N^߭h0R$aW  4FS.FQ-3%&9S;N?hI9pj8̈[5-0k`\ Cɲiԍdj Wf9tw3OѢXv}<y+[GcSBȔmB5%_!wlYf܎xj̲FS6 ~<1OuFPZo99jڰG!pWp3yLIw|gXYXo;OޒصRkגf %х#T20HW/Su:-Z8ޕ?-|a -ȞYasӛ/3r[o G_>uC~qɕfUO&AP&tt]#n_*_--z#Rr^KO`ãH fS5":IA2}hՆXԧtU#*sAdx8ޞ'A ɻUIdV/\BuQ.}9y0oW\c8( #g=i?뱏 -y0x!S3Uu.*'LJv^+!Ņ Y p ĕF ):`.-yW }^6uBDeJI*qU[׏H{rJdu/Z99",qzQhU#G~q.dVn?ƂEpBmځ#-2uuwS)9JZZx]f۴|PjӜzLIhQBYKqyWXWU̺ŏ~'g|> 80~?rϾ[k2H+[MַS,pipKXhBoMqNUr=hFaEƳ~ﴵcn^_6'u=aBQi!+gG؎iϝk_A_0R6zqS0#u@ ,#SF 1Np&/ joF51x{! ?B<&d@?۠_&ЗVJ N FҺnLwFRV`E,Zm5Y!dI߫z asEC87``&'Đxe0~$yHѓ Wk ^^u?(/=dKZ^4lw(>WSVnu?-77Hk8ծ_j26C, @gS N#ttD˚\!uB'b]a91]unu?˷e>Dw_ `ſk}h|;u>-Tr8;WM3~N(|XSٓ]<0TKszxwo_rAb܄NEÎ7lEq?u߈e9ޜq\LEX7ݛ1 rr +|lЄ/[)on,5Go5f #FV͉[Q"$ތ]Elz\)>U 7t2*)(\p&n96tH I͕g+(wA#^Be|QC|U6*_"@ 5`<ڑ? 7AQ@/w)߀Wqz|Bj=sKrdHV$WWu՜:L<*8o,كPkcȮ-e) zAI%oFO-c[`(&%8/MqyĠ(3eVvH68TᒠoNvWd1 ͸"_Q>!7 n~bW"4m+$G0 K21~O7r_}éF^ u~F/V_7F չ29ˇT֑@@Wq oE΃T]~kͦ9X1,$mO4q Ԋ-'7|b z'O5d<F 8˹M{T<fks8ghYTV:D"5XcY8]^N&VAY .)F%ߵ6#4mBm2^ L=;#Qn RfGPi'73'՗egQw촍ӟ_W6e>˘} ׶\avPP`s݆pXNW(4R*4T_J9)Xuy8fX˟|4d7ۦd;Ty^|^0E.uT9lnhT"vԺ28tJg-VZ 1rHZ~#.n XQtd1y±dHugIpyʙE fskwd]2:lt8򿑨c%FuHL!~3/!p6~9Be :y A0_a4e m %0˒0hR)uCӡrQOf#10B&9pG?btл1XDhӪ.8N{08IߔÖ*$WyF斳{5r}r q@+ ;U=Y>QtWRY#pUUú,֝h=GPte/4MQĢ R!"jݠ#D r1m!o-D:߹: W5_^Q;y t!P>pwt/$5GyϢd vZذ}p (_k b $tf@hG^)O_hK?qo4z@XTW?ޟc#x&vY#8A;VymjFkO  iXKU.>;qs0vPl:cq\cB8D)hk/ˍ&S2^ ʚ9?p"e#ѝo*KYDyzrLŴ|,0ZN$:|/>%XH2m Eeø.ṀyKc:L|sHܹ$H./חdk YZVzw3jf7얭Wո1d=r&P=OIUmP PDHB>p86Z=~5.6 k{r F'oتM6 =!fw|n#M<6D݇܍)rAXU Ź8iҢ`=~2Q%)[&qb!2WDI &揘5{F)^<qV}0[Rs2ԂWJ(R'q1 |B]$LOjm;_םN R>^fģ{P<Є3e h.]y)L-0`>[] t>4Q2a^w*307}u"~'M oY}Sm@|EWIy*xY^LVSﭙdΉ kq ?4}ܬ_k "->Ҕ,(Bh`YϯW--ah<&h& V3B@}~踰I/up yRabm/4^[cOaG ౾~9NzqzG3ZF%-(Mo%C&Br6Y8-8P겮 4LeVaR[ዤw> yDV,޿@F6_Y@Z\Z%+ 5:Z@H#Kzg(di *^IWH6Ѳ Y ĠP"SH Gx1%.k-m7 J#hN"cSQK6%1@-Ufz"ωH@cOOsmKQ2=+ɫSKk仺T$K08Ϟ.ϥ.ZCn`}'Orì]«&$: [4=a# A$S(2@*3VAx97D80@vV~2K|[HK܊?g:eh/M{[=֞b+.f 1l])Q0ORɧX. [ĕ5g >\=$a8)઩҅x֯Zp1l'%:ѼH-).`*F%1)Cܧ}Iz BN 3BSLa<&,6e"ׁrTq)"?yDd0g%OͨbK: }e/M)OF(N$XwOFMy=y%{]V kzۖ6k&g^1SN!F}kA'׀Ԩ0vp ѧH4rAR IxzYhy4|FgnhJ`puF+;[ڴmU4baoT93,Vm\VxHw[ӧ~0γA'[٣MXP8 FQپ3JdB Uyk f#zW>i\K ˳Q)W,a0I%B]Jt9no,r,  ZCօڡtL-gO߱]"Φ YPqYVJƄqjn{߱n:ϰ3yy@.!qwTo<@Gv6r"e<K 0i'OÜ;O)?lzFv՝):Eh7ڇ nЦ?_h3~ U3CVwACSVz#t)F:Rh׊Q g24s?X$Gy1.Kd)IT73E3Vڊ\1a0(t} V'{m4kLwUYd(PbbӶ^zx',(x5D6ƷIjX zz-ތ= ]5V(:K( z򢀩۟!D@$gtwID78Q]vg\+ќÎ8tpc:Nm&ՒP8xwdllJӇ Q2"sU@IJ^ˇU`3X qs;akс_վ"E)$1_A0/W}?D,SY"I<]Rwu+Sl8kd7_-R&`Kv&5qԐ.1590|Bjb[*:5i#_]ѽ%/W!J@ 8*ų ىw2Qxi]xI}YOt0ؾ%L3~*x{S yFMq? *[ W{M ugEPdNn4Lhm{H  802?sVxh{o%8~-5t{ѱ}SR.X"$C<2mT ST|Q!}/Z&!y|Uqvu z<8f$dc /*osqǫ7H#5sIf310\J>ɾB](P/q̗6ۛO2;r -zeJPi\ M72NӒs24~+gdQTWpVVA'(f©D} b$D3>01pG ;RaxBg۟:KqcBfHqQ.x9 xf#w9N,O(u]%XYLͪ^&dO L!ůNvL"H3e1iw7У荌njcSBD撰Lp[wTNdI҆f ]! ͘D  ~v!Ta}ؙ:IYfn2g^CoFW/yi[A$# _7k[*4z+uUxJC %YJx$}q's^V?s>WzjqWFHUF~0au9ye]W¡P$хFt.Rn\WI@dY! :ݡW|uBt17 -AIT ' є -)&E5Z9 #} rY*|-'ϕ2X吝}3.[K0vz~S+O%eR"+D fZNxBs;`Lqd"m? c5?tWŦ@yƄ4Rb9QiJ"Ĕ'74D˱z'x1]IP+?q6PgHVvq<@c8f324 S"KY}^DƵ. ŧ}BcApt'` v24+e>Fd[q*4dOS2'"ܞDb4߬n7NEM4葂j)sN;?Ss|X-?Ncja S\CǡUW!PKY'7E Z V:%:#E%m1lAn;zNkT;Ǡ)% Ҙ6-2yo 7Q~b>ap7R-`t#鿧eoq2׃GH,7xUê[Oo`PH\O&E-Hbܷ CxIUИ7zao३`reI~U\UT[ !]-hu7zF (8ga.~ɒIJhl6#D ,SҠaX͢lB#ƾ#ЖkbXٺEL" 0]FF)  u_X>t1Yj^$h{3sŲ}I+7 | QVLuI\[iͷUr!fYײE|QkMl1gvDa,kCyMCy̻51w͠!TOXU{ŝ+Įkl;gitR9uw.pq !JػB _axͲX0qU]s0j_i9AŠ y)􁙃PGfZ"I¸cMфh@BЫΝ O,O<=jISFD֘wðK#䑫lฬo*:PAgRU/_ 0>nDOibKu>8ЩbsT6:Lq`-ϑΑܙ֜u~ 8IzI>Ft?WZzl[P G$i㐏KW[*I5UxeUOJ·lwr=7w,H8)d? ӝ+؋HGw z[nҒaK%'cųso`(ZyIaN0)•BaoWG3~Q!:pZj6ѓZ)l8?ߓ>"2P41mX6mX5qzPΰ=ˌ=4vM1Cmﲫ/!'eFz)`==@U# S\B=H߶ 7gVY*iۓO,L<*GJJ:#uXޞI ;)#NNC1VJRS_%͏#~sg#;YQ$2*;bxI7bQ!Ւ$s:Yo]Zbdca y`/NOn $Kޮ:I/,yTɎ T1|?er&\nk^G[|Xla^*59tz@}xB2PcJ%Lj|V4NxC>Xq<+lYC(}j"(ʝxUtU]c d$;8I}#e"gx~  @RLb vZ~D ula-@i%Dh?rc l̦D|51CS eBy@k= K`e'DpkA!zMJ4kWIM&4+*:߇uh+n4Eř3z"#Yl,6*#do|E[rDi}_B4qR}ƾ=^6kf XW篞x?7ydT)A;%T>kYԝNug|A$GG뒑0Z˗?MH)BBP:\W5a>`b|+>A?aM"7F;5@+@Ly%~+ﰩ6 tva_(CdE!eSjr&&(-6!@>n;u39Kr; D^_ī Q0w&<R . |Ҕ )>)hiK0W2 (A_+MnI*t% B r#[Oks/ZtO5+]A;͜5u"ݪ+W9ἕF)5n~'f m'"*5S+_e/dܖ:=t_8HY)릏 eђs3E2d{,&)SPog*n,rPBiJzLtfDj܎,yڲIO 1xh8ę}Άg. $OY0Zsz*`+uA 7zsء#"rH|zEդ1,jwڑ2Mٮ *8xl(8.qXg[WiLC8yu mk3jv|8}X`k?%uEbct#@1Fڭzkv`(-])z/}m:Pېޓfj7\|7P.5-2f7Ǹ;=*UUrco{jnu;4IDK鶇lCy[5Jȏs7J2l=d &;b˳q -RRc9JZu `xeԵ0t(k d~C]$7nwo0wO7oOQo?\D4">`,P-qOz&*(kjq*d uʿ4 z28{ -h%`ޥ+F 5(A6Q㷌[]_!H뎄^EJK" -{T t%ZCD x# :A㣓T(S*/pNl^-; )Ɩ- C5ệ6Wh\5U)DVHا H=5f|eaa̴n`*'d3z!)s.Z*8Л<)>Y ^ҍVa5zpR[甮FHhиfqxN "q}T',qƙطpȽ0M3dƊq?U˻'Ph 0 U D# so$d{ gk0*] ]yF0"YKQaik3CA~|&ǥVPY*/E%B977q$KAAOYr Z9e԰9@SX=+,{Mjt2۪w864llVF_-#0lu^sJZdXEi PWmc  )/}ANpopfaLO#ywE/7At13}YHlzAd>ql% QnrԶisPN,oky _!(/qz4?C"왹^SZw}?O.Q`?gxʠMT\-(k+|h A놦O!"^S釋51HKҿ4/cuifdДfq68 ,YYc 6i;榽A<ÿ^"BFxM3 thWr(hqU\U-_HjƇXFX [Bv$\̐>aA  u(BO9{@ >?%ij 8Ɨ8Uw+*܂7>  bkw?pJ< :o[xg%63FQ>A^EgAr_Ǿ '8Vg={g2>pB萂˧k3{I;uWbݡQ7XK܌b_֍K>O1 g{0%o6 ;zS!Դvah쐵^,R5R--d.\@j׬}X9O4#ph VCyeB7e{"9Bb42־2}e?3 qB~Bؽ~?wWաwv)LZgQ179MDmw)ބGv|5O.M j+mtea+͒0~M}=IFAqjT.%r?7Ew#h@ xu-%#EFfi` Dgy3j*p194>(AA+l[#3c8\A^ epFY!_=K#^d aDzlYŜưĔ ;!=jZ&P "$Q{$y\Y@j7\nҰ:lAOriny e!uU:\zը3t0Ȇ΢fJnr=r:,I4򉟑"O߆(K賬d= F+]QWiZiL`ByZ"zLY+~/qsO8Gvc>y,N r`Siz?Hof8A3B}[5`]'Fk.B-F?pAz^A7c܋+C7 SF+~>|dy1'20⽂ BxӾQ NHekk{kU: #P`yX BuvQY"9);t7^3V`?<#ȗQywHY*xHۃc PEZ&֡<|"m)RٖM ţ?iN b:@y.9W ]m5n;S;B3B>Vt YڣvyBs۞] p5/;B!%"( PBUhLWĻhL* @Riް׃^tO_Ja:m0EE, U\}.ؕ@22Z)ޞEnkI\g.!]Kh\Ack^9xMD^ƍWH(}d1.76.ID=| :mJ!hJSVKiM3W(.:#?R (i?1= |g.lJ+yŘ/@ 0v9;d]JdhƗ> 'ۇi4MXlMq~N 9140Qp;-Lo}ӹZ5|S# 3 PqBT%|Y.{'m⪅~h)hmU@v"~6˒"%^bڞ f+Pq;Jp7:d=Ά9;&u@VNXC*$&C{ '@ X9ژEqgd#QGZc BPY#v)LxӅ*=x6x 5S1M4/BTl{N,BKCdsh%g6k3r9rt.i5Eh7Lhk NP'?m0YPov0u>HOl^FqRUd Wis W} @-].s^afW*g);;akt9Ysӛ7(;4??"Pdf MV P{ : ]swԊk8vSյq:8>C;]Ŀi&Dݰ0ҙqc|zwV# le4Έdt 3 HT^dD⯲!Էxqi3Z {b:)\KKU~Syg/4Kk53)#dT Ğ?f٥lUgMn*r\H.jqVgbh?&mxm7oU{5: NF4mI0 _p޷HZɨ&V#!m#IAm] TP`Zxj:E^_lb^$oUJ{zE^JSEWkYW {ӳuRY: <{Je*F=n4q&LՆK=6Hu $Z(#eK:XEӜ9)]]W]-6C?V}W*|KSFBJi"&tlG!u-]L&'RkKπE@"B&\Fޓ-ƾ%U_*L)ax$ֹ( _c$,&4Mo*q0CKkN]{"A&<ӾMn߅/oA)MC &FjD#x&vWd{?*rp,6EWv0ѩd;CF-od7@d~BPiޜ}@W8Pqk;S>P׵LgNo|4`r Rfcy#Ϣ]KR&ybokfm=G)pMƯ@ҷS~j59լھZFUqhZ#7jC;nˮ3Nvbb.2輛 gr6N吵~΀_sV5eKODl0.-Jf7SLGczԁiRg:K,ZҀ'Rt 1K:̛=z㤨Oץf3UVĥ5K3IAGZ0 jgQ6 ~N+6{mSh~~\ [J-}(B`x3MUDBzAi|F{;ot`fpP{ i2T{_#MGs{76LhiW> j&! Z=^hhP@bh.YirBr oLŋDN*s[lqv^AbqI'h]@phѰs!FJLԮFl'|:Kv_Ŏ-̆!_٩>\"PHu[iY1+𐑋{XE!K,!!ȗ"6 ~QFԲech(5" ox4wicôtkaw\CROgiZvVĘ],+maZ&xso,0+OcJeV?'c~,Ā|\xpǀaM72?³yz4J}E  %fFė_NB&J~ǝA5ӳv{(Dأ2 ,WS,*ǜ6IʫLZ_Ǔwsg]?΃::>wgyKœC".#(be3Hڀ1Xe j[kPF']٭*JSt`av!b s^A5y7l^9_0ut &4e Ox:E~V@?M} $qHBv?ڡ,4ᓅ{O]ڭwDe_T`u:ɚ/*btlj'pc#'7wG3b򌙉¨ 7=ckH~?/}hxZQ2UBPBf@r s-zcҘe,ʀHEiJgx4~c󜃸n`H+Qgωұ|]~I%3&4pJo1u4vR#/u"݄ȑH9,2B{|c Wn{&j]w,"TGbY3wbCmz; +y#P];zOVl7-vP)P>Yw mh}efV*܎IFδƈI'rn<ڥrA_I_ ->|{`kmfNBM>yH1QRWwJk2O^7k)N;iA_6NEYdyD?y:7pTp=CUf-j̤Nš&0]Ԅgfs9?y쏣oVjz$9::vafit,3A?021+f(i)ك{AaD^؍н^֎W/UpѸ.iKV@obM4f-R@$zmro-Y~bRryAeYW2qN\xCDḨ αn"w?N|TD۾HwȷsޱD)`vA B7H"dFH X? Kv*Y6'cP vӕ˲#Z5E 4 $:x@ONGgaq-^+ҹ{]A}XL݁ MA݅#o+|?ِ@NM-`Qwd@;֪;8R/R1 &9ϋՀ:hNi/;ܟ47I&[XSTQ8jF0J  bGvA۾ChTޟ'{n:f  l]*u'N+ 6C7 t%X `,/ ժxyDIl%uy^"~J  ai+RlЦ$ ̪X&4sF3.$l(W4JG ^E$+Wz˞K$U)icL7K<=/0hPE878K$7n{/hx«uu rlwW?, 5"EPI\]^ieyjU,W bsQd#⒠sO|WJ Rf.y^g/W ă$YDO$VP;O2١n2W"i,1L;U;'{ptP| J:ss5C3KLۤx?Ň 'w3q.'M/d>qPj(B)XD*;\M8of)*8?x>Ʀv'ޅG9~q9<d@B/MdM xsWx|J^Ej&iFY ok=/C$ۂbԥMd`NhlH:ޝ$ 8Evc5ޓ]:O:k =oTVMFأ4}f_%.PrNSXn{Yz9kZXjR"F+.\7_]=Ūv+ږo'I2E1Q&1p9348%͕.Ashmd9wJiCc"w( ZD)Kj% Е&B3,!.uTPY\y&1$ch|11ަo[5<*QuuOPg)%K#b̻S~)0yg[oAEۑNaWR47I&V"`&9 F4Lꐿ.tsvi& F&S$5&mFZAZ3 I{*7Bh$ݧ?A܊B^(]}Fl4S ǘ&cፔ&S YLK﷼P4}VKH=?Ǥn_WE@%yյD}X [sH"ͽ|ar#ݩѧ|g viC6Ag*gfY"a%llQ9F0^%hh,Q":Ggi1w"9HGVD~+GǦn3c?oW`ZdْOҚ=3Y㚧-2zSg+ۮARji}[HHuRdG`oy.NbU~O^bh;NS@->`0}TU,e ETw&D3ה~(%Lj*cϪnZNSzLIq-VY@ՍCCȺDcStR|t}xώjjXHO6w[_ۀs mJ|R$H)M6o^=?># gXZ{*|Ԏӊ[D6[9 Z@ppJu,ڊV9d`3 6*:)QbJ|` bM U|qji ד68"B[3"sJ!݋&r"k(CeBx*4DD~(( BuJHA X:cm󞕿=@fP?6,o̒96I|wm<v*QQ/VoNÐ4ffױ@jfsJ8x?(|5mЫT9';\{ ֝bg&YTԂwc)8mI; Nɀ;I/jQb 1.Tڐ\[Z+h0ԘPS~Cm !X[ [SjZ^: jιؕ#BjC 3jcx- 8$э4J[8tLڝm `:|խPA6.MWA$Zv)?B-<*igP<\5pwS[2M]俲ey@ v,ZHu҇XQ FZ-6#F_( |DI,W-3gsBF2GOP,] ֡  6HmT]/l;T0w(l)~7n]YU~; Q̊9q?M3,{_=z 2b}hOg3G+'eǹXז)UtB*#׀XTx ( ?l$TS3uzJsƶrYZGnj|tb<7J$oJFΦ x[ >uΝϋi&u7/Z*V`pQi^?]+/R4rN7ơm|05XE7 Š(UD"p GJpK-df-%9r# E7[9n&˫4 fIU4Yaz~/13yXqNH(z]3(b.Y%d@|܍@/Sr!$i2JȕE֏ȓ=m.v1yOI A([+Wf̸t ߄YQ;=0|+]K$JoqIۖUd%T:k[c5s@3%Oa6OKZ>M)*6T ^~+ )1 gJtL0Añ;M/HBKձQT`'[:At\KrzIM"<W0a|5RvC#CH7:&O uI͠s#s<<I{`X_$Kϼ0ٔP8hmZut^:I6V0`2RpֶsAy8'_בEa]bir6f>^C *NrnB}HUCޘwK3@UDYFs*WxdIwMYݧ(n4&AE i+f =X[d}x= O NA[  W~!n C9(0.QbǵWUdŔ}rFx^.vz [oM# ťvUumLsE짞(4 ̟T}*:ΓBi株E/ F.!`P{ \HiiRt(JdW?o? dz[<(H%- . [Df(?S k,b~Mv`q\;~`$5BRݽƝ|k&,mB5=OФ%}7JDl_ʗ,%CDhi ͩcќܓ"۠u_L#k񅜋훙%[.&R嘄OG<^_Q{{JdKwõP qkA˷7c|-ӞzR<0֯wJQXLJ=v.n<% 0lڲL7;0*ϏT'=j,s0AT]Cbw<ք4ԥch |w =7P4oIN` ܁ûJ+GѠEg/4D|v$Lα w c#y/GQÚ# |@BQB(2H3c (l L4^f ARP5j[q#wwH6gj6٪z4{ em<ނm"QC#!p',nbO˝r* 73B6igN܄cv 9K;ӡ 6zX[4;뤏&n˃`- He7^cZ_a:-T.nW=0X3v(ّifmR7咢s h1XBO$W<^Hҝj&{0`G +h?G~KY?LTs'y\C_E+ůxcxڟ\Wxs^wۏ V/q[~Ҭ#2 )wTWZ9sV+J/ԙOP}<8pL:;&m KB%Xc ^ qfӈ̗r-Kn7EG*+ܖ?Yja"TO,h ݄b>D+|%"Dok QGRT2bvᮆAtH&2W^&W>(_ dM>e5"|W/Pl>-pM hpE9j4UiQ [n f}4E6{l, S' h X0|6PE *tug 6ӹTtoA1Hz_9 ;Us5C6桘P?`KԢTBΖbBlV{2ζؿ"`0)i[ 2&*176. D6k\}W#&,"No*›"3"HNIf}s"wI7=r |]-wM#Ac׭ =3s _|%O7h'3S+>T`j0UڙG\{]_+bj80ʶJ6Fu <[ .13msqx:hd_ KnWniA02d]ZP](KssW}OvDsQ_S}6`eb. Nں.Weq^ą)W3mVGI筺-)tw LGBc3=׉ދO,]ڃt#։Y;nLʜp3Cf)I,/a}2xjXBq}OVZKTQ6+$HN8L{aҧmMPzZ{AhMXAC_;@G=SLS5$N͈4\7d̻r&qb5DC8_oZ#!j;"AMTݡky(B7kk砫0ftm- ӊ nwsa!se} :iVU/WAbzK"4&j6OVcm?>w?aϩ'"H&|DrKh ͬ_rl,.# 08l M&£UyCKpHWVIGB֑fK7ug3Bb X-1=sg.&s㢢11 4)U xS;9ypZ5k9tw)2Nd;4" 1!2!A#Ǩf^+[DJ"'9-:&q06H*'a<ׄཥ߀mo g Tr9tKMև@Z687L4blEti$<Ǜu۽ v% ~q #پ~zS)y ڱTeȼ8Z?}k KM8P&8=;gk ь?7J.X9[ ƻݩ/D.~uno1IZ~S⽁fh93uٷ < #[r@7DI4CPz+^$e#> qhBnؔ_ڭў_nJt׌ûe~423).q]<)W9U'*#?8sMj_v> Ϥ.nӔեL2JI-H@لjjE#BH((ҳygN?aP|R(3LN釳ZLy8מtc=+@:Jn&!nmc^ hKw5ҡ І"&,fBAb-+UyP#ۢx^Bz5~H󸳒vR젉M_Mq $!yv[GՇ&H١B)M;IʷvzcVT(h{˫_V{[5x;\)k;}jarcfqMo޶p؞BBe#N `c3ޘ~S)= !A VidSI_x{:@ fi:]|%%wMzR˰/ r?M`ftۺA\g>t_zjC>GZಸx[H~ဎ4J6HeQ,SEv5ȧ<_ad4+:ZϸͷDV% fzw#) Ʋ DŽ|R|@ o}eTilXK4@C|kڿ O)n |xN..g1SQ1S+AiHosjpm/C$S44d=ufJ4U@L.4;mI̒Pvc ߒ:O;I'0 Ҥկtso6@-[ 0g @HʾG3ş0j#%RBR}4O ءE`~笄L̐ Ǎ+Y\J-"M("r=E]ė#BQgV`*`?X]Fq0ߔ4#[~D-y=O&@|ػejpˀ@?F٬ JJa6)>gN98*ˤ{F58LgƬbz;b;ԡPL4DN-ҕ~$S 0ku4fbN@bU"S)s 6y#5Ot4HsG}R(SFlD `op!N/`KCmF_b/Ȏ4? _G]Oь}&P%ni&w٫.x}SWͤ ԪB-we;,I\IoMUQiv?<c/sWU܉$d dwa*"}G M&~ ?$]Pˮ8f0}.\Wj/7gG?5mxÙcV+ snIɪK2,+t (B]YG{ 9d#@lncXgP/OüTR੣)&yN@c?~)kPF?f|4U^Ԏo-zWvHbB8v`cb6pnFYܶ0Q+5%q6=<Za۽ցPʦ6ݪ:dbt& ]jĸ~t+)[45p.i Y~AcB̛ԷH:v[Ks:k9uw) ox3}!gD(`zYh+*Q0@lT̸;ypWRHFMT}!O%c01Rbk(@b+RUE ,4U[AY-`v(k*Ҥ-ʕ1F?qI:4z]_a0{V5ޒaB+簷we3Nd77DHSjTrʃN%Le%_O0}V$ϿP< {&&Hi/QYh'+]$ᡇѯ6Bu0SmuĂ5COm3 lkqdLx3J7Ч̦C.Z:,BӠ| tSqVs'ST|9s{)zf '^%)sUGk0t3p3fyeI8ԜEpӕl=1plXndZ =;@;L4J%ت(ٶbm Q𻛇׭!Y%@|g IN 6 ܻρħ>)hekNro8Rny~5b|e ##a3쑱HU*u:jI}ț*Y:yzO `>T>LX'^|b²9dT+*(~1*i`ZW c~jѐ~lz̼ wlQ7&SAgze/pbb%<>!0Q:o/nH>P1{i8t}XS~8Ӳ1+kœxDIhG9ψ.Rk_jc햰U)p Ko4FqI@B(YT]X.˓ʕ L0L| G0 O2:X'`d~ SG!@\.q6 1|3WQ "5Rl nz9y#*&&%hPUV[Nb:j}GoCGyg-Pf#AJ6 -lRo5HZ[9͸U}R&rC'HJTxDG"ꏮ[4KltI SA'_q4qP:u0HT>`E!)jp}#B it E[^뼟(xG ܍FTxۗ2+J9*nv0SevD+iHjV͏ђř('[友ҿ ȣpD 2̦>T;2HվNqʲZaP)<;jK#_GoenN`@ME8۬\52*:Ċt+ŝMeb7; ICBe[x.-k?)Gن8ySTU 1whC1Ani#Pf`B#0#INK\)ێkڣ#>˅-F >'%BOdH]oiM=;v_ %4pDw;c9ҤB^ӫ@bpE`HluY»͐o>%._S=Dmu=cdP]9]:M0BLk)Jc۩[=']帡(g '$k0,#d|ًӌpM Sk V}8 Q،rkf^UӬ-HR jVZW\IYЪڏ-C۫}`1hYe&fN-C^eW(d!Q gqM>޹(>Q{\2Ǻ>i 1LT\_ ѹH6X.xhuwY/:(|iق3~{[> T'/#2#$ﯬ6Y.̀V iͰL| >I(HԨ! ӈZ2*NI^cM]I_v~?_uZR9F(!PbreK21 /'åEpǝ+Aw(\:# h)c\@z.IC]q=KoG5PfNkk5Kǝ:*澛.<ȸڸq"q{o$K{\#0}!Y+4U dUsp%*\8pRYm=\BYJAp䜻H!*!L&њ j̪tz|Bup;N) Caq ZO ƥbD4KKPϩ0D 7tyQwW&Y7Wgs dț,W@]j=]cv=:(ʲHVo,Y\[n^y%'yx:;QKb|(V d. sB,]enIqEC+{=ZⶳK,K3$=f>j*Bºu IPgo _S^^}h!I; %XƂ$JnBehZ7l,{~ըN 4D+Qd?*t]}zGĊYo {(lRw4̇&Kl- nil7ɮ҄  /5 WAdin1x @"Ӓ7y۟xjYbco ]$-w'r!tj\#<`NC`ΝH 2#X1qRGFzh- HoFrv2pzqx!T!ؾn dSTR I4A 4cـ#tM.D1M/ mo$?mSމs1f<燕 F:Qm(청tcl4,{j@YVo{*T<ʚ' H~.%1새@͟_h q_Et@0Aw 4r a47i6Zf Nlmq*WѦ图Nw= f_ЇA; eH/ZԶhǕ=D}MҍP=;A)l&'hذ48@5-~SQ3AV˯~4kԛЅE8~#{wX4}35{XeAk4{,@k:Bl<~)D#ްǻä6+f ÚЊ<۸6oil?jt9vDd3ŖJQSMx%ȥŒ0ğ4};CQ1dSD1Ä\ΆnU\zGٔ'l)mBO3F/~:*T.q]|zU&hW3|Ty.v'IUGRJg5,|INA]םR5Ί<(4i87unN C|",uIW͟ k%fÃ'k+`MeSQEB>1Dk?a0LrP]p)ZUdN8cOy&xI^/? Y~@5_NCRڒ']C 2 7?_Su9ɌfUObp8t8+)\CYifRIy<'!$=3ӁfTuwW)J@,"79ܛ4mv@:1XfU^1ˁ/  c|de7'IAs;ոxK 49;``q-!0O$ Hc 䓰 ¦hQIb>άAf2Hڴ&jf;~q-f192=EʱU}6͇P3wݣ; Uj;' \iMH?}@OHiHP{4^GE Ina0wQsGCtRHE3tvPP>N,@*%"-~oHZ[6ȗn&v:|*P˦g1F|P$xxD?g%AHT$a). p~PtxhkMl p;&p!gk|Y91MeGb>XAyxP6N~^ݲڿ=dsA\.=+Ʌֿ ޸z=KEchIxB*;֏yߥ(T gm84G6T92\5ym67, 2ANo%z} faӛal71wJc{Ev^K"v7 pQY03 K#x}_pʹa`<pko9z>c諈=]mYcW9!KHh^3J.W/29s`qD^M>]YeJSK0=| s5| k!n[4px(~`G}.b +t-\jJsvonRMd>]Xj#ʕu[ECt AFxYү >yTf0{kN L3bӋq-,"I 箞K{JBh54xK _=M}GI^D]4[fQŹ0 U^9\z~_籗%3jt>27^jP@L,{Zj%u.N !%c!.Oh^ +\I'^&.gO`2ζvmǝ1__؋QmO{yV,yJ&$!>sB-ڙu];THQ73cRxe6vAs!u=Uf,ڋ9Ix>"ϸ"Mޤ #Ӹ)^ 2 0gB*~.~df[QqxedP}9|RjmmL'&&KE}RP-d'U]\y5ʻD[k Ĩχ©(Ճ[WXZݔnǪ1o_Qpė)ލ!Cg^qYq+,*iGͫKV(:UfLMNိy7>S*>A Չ8^FSNS%-b}S]eTUX`8 %!+2PҼ:|,=>iqz)X^ {P/ub;|H{ )ӯʟSSH$ ufUə]>Ccۀ!RxhfN^l8!C[7RS7 n2Y b%Lj$8ҁ `R<ڶäMs0_Ǟ'9Ew`u.LG>cF \`|PP֖t&YJ-$Z6/6GfZNj;inד-ʬ]K(JԉMI,+!7o*o]bn~?QQ5uEJp=ŀRr #>rW:yrs":F/*H^P!/w }p Gʢ|W^[_Mzv?#s؄[O &=E-hs珱8 ̷yߔޚmn{5`Me4/(_!¤O:R0'qsz_:hBK|? .d% asZphϑ3;4j4v@x׹;6<_Pm[F)1'DDiI `-RFglf}i_t'/vWP  8jny~'(@pq3v„QL5-!{4Sʬ.PYԤ] o̹nV,>Y`.`*E Ȉm(6ݭ%a#-QSf/z|H]K[(DӨV%oԐLC%Ԟ$N#TMjS̅3yj غ?ixм IR/rw[m{([ѧ6ZCڔFj -Oi U,l:9)Pfw9lWuϠ1!V0n5H?ؔ8|i;筨(Z 7+.G'j tXSx2|#%'-n[3=]: 5Ix[oS-"BRL;KK1,2E3Tpzn]G:0TzR|'~~he/=锄+;#pG` |p*n'E {[Hpg֙F="Z3fQZx#"C ߶A<4Ŭb@F^|'&:$k . BJWC[ nۊ WH)cp>&Rp'ɟύf0CИUѯgbP<=sx(pݛ,P%섩r Dk Qfsۃn(rPZs3U2NaRH|#hv}w m QMS~2s ]|%y \N Sw'ր7\h' NwvO{ED0b@7nM?*Xۆ> 0cZK!mzYw: N0לO8 tbx3)rGyfԴkHӭ&;0YZ p p||%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4(z # $PurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O7^SkMdH3M 2vދ5m4_,dwQ [SJyTOBqCX@>^v #>A]3>g˵ 5"ǘv^X^$tWcM5r!/bFj> Gml0(#- |t SBԷ9c2r#!ﲦxmԑKIJ1Pzd淗>};ahy@ +ifڹ|B%){ 䍭t?`.2I`U/@3Gඐ3p\Rz#$HxHwD<=5R=@ jjL u+򑕘z[j!.3knMgGh}Z=Fn=a=쐽I! Hui|{["6Z62\G+E9Av ?x ~2(Pʔ5~nKU]n>i-K d %E/{ݖ\k/$H~ AP$eITmLR7G‡(Წx]ϊuWoWgZ^b; ,j\;@PgyQQf7s d+} qJGnPZMDzU,"A[;/c߲arxb x 1~Ο*!kebK2dѾiH5AVfQFJQ]̑eta;VhFz; Ƈ#+q"iORy[얝 <'Wv$ 4+ Moe=dMhݒxR=|} LgU#]碞MQx,A>xÚw}1V5s]/>DB9 ͜-aL ٿۀZ"[>"79L1[ CBϫH0.FGPzPtSˢwrPWc!>AϛԄCEFoRE:<Ԥ zo ȗwqL k2 ߵsֻ  ":'!ogKC JκݗP9 ÑDWw Z2*d5LK&톾9PBkE4}樢o$Q)W֚']Q_ Z//Eަ^Rg֤@VX^J 0J|+}g1yW&<>NpsЎxM4$0 4-^yd_c .U5N,diY['!?z4M:V\[Dqý|qBkhVcV-2H+kn ͘D;>5HH_33' t~[Z %2r({ců 7&.3C81lF-IhɥZ9@C^AU0+)tL{=ڠa:\s]J~3EdG k@e7'ݘ^g}%~qfuzH¥/4G2{!sF@n;ٛO桉{\@xb( ǢqvS &))o}%# $PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔzOnIJ)FAHpW ^iC"g €TE A US dT+eE;ðhrcu 9gd@x1ҭIbL$F"m^bX~UNRćVHj+WF""!p~uȓݓz >irN>v hL}e # S94G! b@@K]Yu%!4}\xwk> Z>lqϜV@+AYQh OD܏ݴ 'kBg-}̨"1 {+6lGDg6;`)?Ͳm&^].p}wgT8-O{ r R=М7Uy;qt5rE?' O x7k[ݳ%+}U/}+h٧krwkE} !L&x{RU<"IÆsa]".0Jl]W@8}5*0Sh1u;5Q~ eb)dtv NP h@ UUT_NMPsHB2IZ4B:6 p $&{ ZT]ۢu1Ҋ&;Y0e JrlwO;4wnvL\02rta+ky S(+I="s@XhVW?-L`Q!T_ `¼Ў!E,g;v1Ll(ttKIT<}wk}~*H6;et [JhyHcz(5"g~ժX%;|ktZ9\([8zNNrZوg!6T8cqOBgYZSp`\\cHJmB)/[~fߙH=*?A'\ ,xv±i f?eڧ~ZTU|Z# <:1[r+2Juu8ၱWT`8^S&MCh\--}ap2C|AIr>z:n.Z#Y2WrS^PԉeETGvوQ3zRn[qh47#uvedTj?FVGFYThC!Y"oG!Bo^w8>ӄ*'/|a7SX8W,=qN *<5;7%È|,t:ZQTG[i0W=k~Į2BXԿ sp.pݙ?f"]ڻ\#/C})AIY,Ͼ (D6-0)euQP9 YMPG/,jjn(ę!JCVOPd5Nmr]7 Ҙ@oSsE"-#4]O6Яv|2~lwT t#d"y+H9{(?隣P]v:Y&ggh$ēn'Wqȅ3ʔt j[l cThC̼i̪#Z!oZ2kY*7hBwwL<,둃0N%5@ЌJ)5QxګGG2ٙ]' d!a߼@S 荌\\!0\$"9&H+W&uLEt5ʨoHE~ͣlG̈́;o$gd'rqiV6gSזf4lW@lY.dFN υb_2nVL;Ly&;|ǣB+3 ^rI!>IF'-z1LeqftDxk8&i\@;6"RPj0g,Zi_}F4TU \Po U{U N-L }EBlAUqs?4` Wo .b" A7J iA{_=4☙n 4zfRgAWa/f+_)xQY-JH7{?' +Y.ݛ ku=R$[#y<բ"O;lm/K|.:#5 wF(dB=Gٖ삲\. +D$.rT+ Y(w}y`hQ)w`5gfBl Vnn:%(Jdzz'IHSװ~ ?jK.us>{!i^3敯/)$Uݞ#}WX T~PB#hoI\)?J+yX3QJK{Xo &0iAm\kr6JٙVyV_DܖF }9^ Uuu>AEOMͭj`u}|Nl#_Fdj5g[)tĐu@ gۮ&,+͡Pb SC=ቲ3s*C Wd Vn QD4HՎ8L0=3m4NJfN @("g$PR uu[zʄxQ 28oS(V-MFW|=M~۳U '0js"Ơ}ÊZcTTi'4ZpeM!sSۛ9[jpUL1h *ʳxˬ4D 0&>j0G A y xao{sc,Upr)6? _ B{`++v`zmYXt*N&^ADo aoh?|R-mPLx3g!8"ZeIDf(oE|ÇIYSZ 'C|vA# yCڅ2||$%+dN?ݢ0bjBG2梄Sb|퀕76䨌5өjoA /Q1G bx;|jyLdn0! ]A{Ds~vY :K``0,UQ\qs+xRݍ_uYiM˕T~ *x7n0 ~`77&)Po!U?6q1gtqZʊA+[TBB&7-d2BOqίxr '2ޅ͖t"FRߛRO#\=~K`Ρ=`*{-5Z 䊉/yL {AU<-a3:SdddX7ܧ^7LU؈.;g.볢Yػc:yX'Α2vF  0-Fe#_[bc=HCnutϹ۰ح&߲P]6R`o[ G5|s m(52^A1B<< >9nTi%}i\- W[G kXV͙3Ħ[SEzPAu~T%0G$#*=EC] ȇӫ Z`A8U0SΰȾ*Rʹ:.Eshrm6ϫEqkF bZd+0OaIx-W-am0(1\*RHt.0\Xy %p@#Xy!g[RSdq2Xb5LmtA5I^lپ ۞ hw\ B5XcHY[l- =kD-ӴO[bQ.7cB>'R|hil-NHNtU&D t[.M>-Ů3V\J!sA,v߷E`L79_TxTWq!sz u :놌M_{@R'\@/kld+q8$ /͋ \]qcϿU0*T%+iK R'9 #K`Dziͥ.ꉏ~2)B{UD0*p{UlW=mN# _w'!-Z[)kKrău~B%^Xsf %UT}Zi\JU LJ<1S,{+y*5Qb<գ:(x< Q}Q/݀ZW8.&Ռh`(pfW5a㳷qꒋ)1dWA~46^'s\3C ҏ7 F­3<]( Hm!.feym q]Ku٥i^';uj{t ;SJLcqfϾc{AS QVZ sml9moM_6"#p?6SS"J)O1)HgYZ  '' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI)X6Eέbkjl)z5z7WIWH༾瀎1gh ᔥVhzy˴& i 6U.MU}lO6iwLNgYZ\'# |PurePure.SessionsPIDE/markup7zXZִF! `]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂIJDqnmHD]Xs{>(GWHɧpJ!48~uM--n>ۊ9nv {BZ"*r^l;|.u?!'TFpOJ{Kݜ4?yR̜Wԋ_.L׸s,%͔~()j^L4xr&=q5S g$jæ= 4G^z@ԥ(D<`M;oS`2Z`ȵ}} YꎹUIDPlޚ՟?_x,Վ2S7GާD ivtjrhQ6/cڮyt(T}CÝ0 89,KZ gޛ_@d #!^ ] #ǢqgLi%ǧHFDGԹ")pgYZ