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   yplT, ] ]Pure:threads=1elapsed=1.418cpu=1.456gc=0.0007zXZִF! o]ŗXiɟHVҭٽDnjZj\*RF)reDS>{FGɋ-IHkxVjg+_;nsS$Z$­(i *]:3:1R<[gYZ7zXZִF! d]ŗXiɟ˚Ћ. k$wqm:Zj2E7dʼn0^ yF.w5jx *.إiP`r:ߗ B! 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/44684g%PurePureproofs/44680f%PurePureproofs/44676e%PurePureproofs/44672d%PurePureproofs/44668c%PurePureproofs/44664b%PurePureproofs/44660a%PurePureproofs/44656`%PurePureproofs/44652_%PurePureproofs/44648^%PurePureproofs/44644]%PurePureproofs/44640\%PurePureproofs/44636[%PurePureproofs/44632Z%PurePureproofs/44628Y%PurePureproofs/44624X%PurePureproofs/44620W%PurePureproofs/44616V%PurePureproofs/44612U%PurePureproofs/44608T%PurePureproofs/44604S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44420N%PurePureproofs/44386M%PurePureproofs/44382L%PurePureproofs/44380K%PurePureproofs/44376J%PurePureproofs/44372I%PurePureproofs/44364H%PurePureproofs/44346G%PurePureproofs/44342F%PurePureproofs/44280E%PurePureproofs/44276D%PurePureproofs/44274C%PurePureproofs/44270B%PurePureproofs/44266A%PurePureproofs/44258@%PurePureproofs/44254?%PurePureproofs/44248>%PurePureproofs/44236=%PurePureproofs/44232<%PurePureproofs/44226;%PurePureproofs/44222:%PurePureproofs/442169%PurePureproofs/441608%PurePureproofs/441567%PurePureproofs/441546%PurePureproofs/441505%PurePureproofs/441464%PurePureproofs/441363%PurePureproofs/441142%PurePureproofs/441101%PurePureproofs/441020%PurePureproofs/44018/%PurePureproofs/44014.%PurePureproofs/44012-%PurePureproofs/43958,%PurePureproofs/43954+%PurePureproofs/43952*%PurePureproofs/43860)%PurePureproofs/43856(%PurePureproofs/43822'%PurePureproofs/43818&%PurePureproofs/43816%%PurePureproofs/43814$%PurePureproofs/43766#%PurePureproofs/43762"%PurePureproofs/43728!%PurePureproofs/43724 %PurePureproofs/43722%PurePureproofs/43720%PurePureproofs/43718!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|Xm%% TPurePureproofs/438167zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0a'fުqʱp2 ! 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/441367zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/441147zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhSΐH 5:,ţhkh=J|F%~!(3agYZ1% PurePureproofs/441107zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/441027zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A8oGr7XGg&AkO gԅ SgYZ8-% DPurePureproofs/440127zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i;,dOhbsev'_ VgYZH*% dPurePureproofs/439527zXZִ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_}N-z^b%~`fdr9]gYZx&% DPurePureproofs/438187zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&᪽X |}=s:}. 06&s1gYZ  '   ng92 B% PurePureproofs/442707zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ]oH"u؄ d1SdeI u HagYZA% \PurePureproofs/442667zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPDžCCKnGmr' agYZ(@% $PurePureproofs/442587zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%ʐua$& O۾^hwY \gYZ?% dPurePureproofs/442547zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטcۗnH(ױ j;8gYZ$>% PurePureproofs/442487zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/442367zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK}ḱH F9C%m) tޛ,DgYZ<% TPurePureproofs/442327zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*w6D'ˆQLˠ^>S[>.oa2gYZ$;% PurePureproofs/442267zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/442227zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+Y,gYZ7% tPurePureproofs/441567zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<%iL^OًGI떁Dܠ UOJ6L`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ߖ5Fp.Z~mVx=w xgYZLK% lPurePureproofs/443807zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&זmpgvto[3Ŵ6‭(HƖ;ݶz yF[Mp69K&m>gYZJ% |PurePureproofs/443767zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛdcpID`׶ԁ)nG;CpOC_ lDgYZ\I% PurePureproofs/443727zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z(u6$ɂMY%Vмt ?igYZlF% ,PurePureproofs/443427zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/442807zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoi?Sh j#`vn>bjĶgYZlD% ,PurePureproofs/442767zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^r"]7ʔ:/mA7 _k)gYZDC% \PurePureproofs/442747zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z7oQuڨKgtƍMG4 *Ss:5SՉHr:_OmE)3gYZ  8 E8aatb% ƶ1bXⶕs_}Q'goWU%b0$ H]gYZH`% dPurePureproofs/446567zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞In/es„{$#lWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/446447zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/446407zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/446367zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/446327zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/446287zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/446247zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/446207zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/446167zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/446127zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/446087zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/446047zXZִ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   , MSZ`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/gYZwh# DPurePuretheory/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ԫ .~SENU$ QQJtKؑhŤ^ }E䕱5ck%%嵼EKvaX״ }(e,E*$1q5y) _0Dv4wk 7r\ʶ̿aw5Q%4\StL#(>_ܙB Wf#i,l'E?hFL)%y|EO}]'SSS+r Vy/ĆCY.^^!!FnqKAL9F{.c#{"VU-| ]|bc3Ҋ|of""[w¦D "1 &B4SШA5!o4]4u}Š 3g4;tY(" EfM|З91Y qF+U MQ#eancG#Q[@_>AfˣKRR](6d  Y.uyu-CQ9Nҿ E6A{ˢe-l\2a ƕJP% ua|Uj[c gYZXf% PurePureproofs/446807zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoiA.J]aeۺvy%#ZjĶgYZxe% DPurePureproofs/446767zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g(5d6,kX;⦅[^\ұgYZtd% r =n_((>3w6/RD#9_S Ϩ(zOs"BP6E[Dd, J)_[j+iDF OD|+i]\QozGw5̱s*s2mB^Vbm}J\%CH%*{QQ m=2|;KgYZ*m9 PurePuretheory/other/attribute7zXZִF! A]a0{rg+5\>7yc3®vnݞ,u:aUnqu$^F. $id$@F$d\!;6l(Ef ֓x KĻʫoByjVR7&_3#˯-M{4csrKZm>v\ig_s/$W Dtniꁖ !`QL Ogi2X6Ag8,Svc;8&2{ Y`v5H׍3L9kX:ɟ.K8W<`UƼԌSk9+']Mi8"ܮX`Y `VWz[FS!F@~,2?/>I=Q]ρ̆/C 'ѪiAIJġ=|9>e8l,Zԏݘ}i/&.vW;Rj/(\]ju6X)a%B&ի ma?v{w].' ]3 jK #8PE :wP.0f!0k~C>4 "o0 .U8[a|GdJs4ϟw=>Ŗ^˰d߇0O,XK24J q5\qn2 yz | :[d$neKhTj8_?Da0#Pg%F!lG{К׬pg\{"wP-cl2Hl[rSgSiC5v`?+ˌ309'c dt7Z4Agnj0.\ُhyܓܫ)jb%҇//k_ztWo< @XC­BUcUL10B|o,bL)K~ 3^p Ӈ)yrKh\I:**&A;O`rl<ΰ\t$©](!2p398ۑzzKTVckl4SK[Ԗ i@L"K TA-}ZQR.Bg0Mo~tnG o=i'WAP0Ntʸkԝ:)0^4Π,W>T`(Ƴx0K@MQ,ޑ/l#b }aQci!OBu:?m!%|w~n$,!$x&Z]SڼO<`"0Xe+{$j$iM,TMȞvKvj7h=Ve '4IK&v>oӮW@t=)J}G sxyYjin$ƅ}ө4U~{=QP<"ؒgW C LAV*̮{-8Q+~O] I+]X-Re0 PSN$l?G:R=jsd;RTӊ 5Xru@ xaVdCKn5UKлL ,aw:Pu sO&5PL 2"@޼$b$;H,O[r,پmk${ϖL-JTG9i}w U2h*A6% XfN͟M38?^֍řnH7sshO}uOjy`HĨ_\c!h!Ja@ Ѹ6`^&G.wfKiЀ.[M AS3L':ͦ {{{;V,wiKrʸά=m0&G뭰pzEL~Pe>h#C>~(0gc1BI1| QipXB;◘rw{AfD!"%0Jy_B…qr ʼarS !߽aUBϚ q20iEzy ϧ% ߘ}."=ȑV1s>ux6+ٌAZGc0Wtpfţ[V+"ÞؗVF9A =!uUJ2Oj Le*a0Fu3})-E/Oi2Vns*Jz&GsnZRz5;.i*rb[*24EzbSqh4MoDO]i T3q*3#cKy+ehվ%SC5mur菣("vX2cp=M{$ z"u_|*8^_tDqy'b͏u(,5@ K]P iY7† j!b#e %+\e8 \,PybS=L_EX@Ϸ%~cCV|0)\@YV/ \$}VB4|{p홺n"ws(b/a&F4L'H 4*~go_wrUP'! э ^v72-!FwzU Նn:`V4x#Ĝcu%l!vO{FM4?]y $TCLq1^:DQ L"P#xQ_5R%B-2Gd- ~AiΩ{ 6CD켍h4=/lJ؎ᶋ鶬&Xj3W:)COe=X*-H~fȣ ĩAlĮ!;Qe \Ge`4[//ݽΩ$t+5RM(-I/v;RaB>PG:Q~Prr8 [aQ=GAI6D-aL%H'}~D"(덽`^~on#CSVTKsO<65vn, V odiDP SN6!sh+䬵pDTa iE8O8Ȕ_3A,V:A{mwQjy9?V(ӻ@*\.yf8yf/gvLuF5I 0$6 |k31C6)]2)R4(c5KSz6>qu)@5a,߄}d茜ZS!9w;}.xs!?FFF.x]z aѵ7ggUԖ0)%!rZsӝ焼%7o A0 M?1wEO 3&SGͽA0bevgliJ{/s\8C'BaXai GO黾g.BC!'CaXo']XVZD*~D6QI{+#Y{wJٶyb;I؃ia pe#10gg=H4aO`JũN>xpZJimf]t AfDZ}=Hw!Ufl;xO -$ƞg1> (9RI+;ߛL6վm'T93|Y'"T?++ȓAN zx?M8,ePL x&(z&!Ǹ{isP;?G@75B(*d@Υp~,E=y|l[rG? b9xXa.=k`f :%bsiDZ_$Sfi 3Z^ _!:ŻY:ЕzJQ!x;]d*PG dP*oNCbc~gr%`s|,W$Nbd2\d+Ǔli9$@ؾj`.9xn%af,z/s2=/b7ֆ`4MVwܨ#9vÜ7)>Z綘uvBH,\!YVh&6r< vS"4;X%doJۂ҉L>&5RgE%0WV3Ⱥ@61dIĬVA4D'lOrҕVnC)DmCRHEGU>V/{}EO hK[)s#!1-`5c๥g@IfπNރpt7zzd>DK,j'E mtN-HUZC^oÀX )kf+vL˨&ODGT *[3"r'NU2*GR:i{g%3F:RȦ3KeR"C<p#GY{%oos MQ̰ iTs51Ta?-'r"U놪E $}) rX'߶+E6sрqQPM_V>yua{~ j*N]ş`mG}w b#Ў2X7 f8ρшIz n$qF}c(#v1mY0'j̾fM?ڇ;S5}[ي=cogLKv;J=|iBYuwq{n^Q}tx&焪1:YD݋T[*Rnm n""ղz#jN&37H+SӺ0{,ɪ9gtw&֔+;zDW: UA=AsP1qռ[i2 )-(ZmoТ'mߠc$?, }cuY:`Ypr`,X^$J?Pc"֩lW -"aJ{:DWFqr;‰d_q :[^J]p0yLPKF2Uq$yi?g g~Nh96vrB}?m{~J\’ x i]VloLby)_'4^E!dUhI\dс4aD]T_%MRhrG31,J m*לwM "]4x$BhHdZԻXaPXo͕F$j_,ܰJHkڥ<*)sVmQ6db? %m?GZKxξ(ʼGX~5ZӕY[!YzS&5~ rYxͮ*E=C!|`X8 Kގ69Wu6BΛ8v! NEYj Q-} -+">tӶs  ;_>DAU_$SRisr?*PSΜ#' YT]ue0tzn%5^^oa.R΀+ڨPF"s]t{a8,jd Ţmk ݂uZS:nD4ڬ 9  5f<4eQI I(.!KoFx8?%dC!}btRP=ԯ@g %3+C{:TmtFkOMWR8u2p =2[G@YAAjܣ("֒}'Sja%3bn(.mJMҫv' Ya4v̄ysޯ? (' !HFUqj@ш }_]u;pTz*V([[v 7^o\6ޏu8:ڡ`ԡ"IZy`h@U4 }TmfkkNMKX>GY1E,j}j4NvWXK뵚7w%c(x,1V<C[s x<1Ɣ,4F$7#ǾI|%)~x\v@]]͉@.Z 4H̹`Gv,CCj4}u#ZM;k5K(y'7KI0q'\?EW(iZg=H0paVScEض`)C}hSfE``z~۔ǐE4";Bf ?9_V^V T;!1*4Ԯ:<&pkDK4AfcTp8{tfAR]6]2a@ YIJ yTL2T֌MIxt9 LY> O4*0)P'R jf,vcg(5hߌNv 4s֍ }c&w-\hOr/,.~E8F&Gwx#: 4@t;|GB4NE. HY"Ǝgo$hO^#Ƌ`[ÆƮ~񇷑h~msGΥ_k)6:#H 鵫?O@Zo lZX+w4D+JZ˿Z_,x)SR}lZ?@>bzմ[`T[=v'k\ q:wk_zRG7Pɽ\T f3ֆ `ؗ!)Zu̞IS6 I&$  5$a$BI$a@J]gs䦨0nڏy.9+%*$S pa4;&8QSBt7],_?`~DXBP܈~\$T*5geČOR!֖C@\*h$oRAĥ_=>ӻaKҷ/Pޫ ,V /^XEː{oz*o1Ϻ;c WOpQ.v!%ik)5OCkB:uK "}S&&ҙ9b Nj,c%qPۄӬaaNr)G]Ni 3;N6w,CJQhY*EF^itFYal]8ܿ]HP)]6VL}`!sQ&}dpSw_w9xqG4Mg=5h#isOB3x&:z͗ăZ<|n'kZ'~i-G'ֈC/A=V͸tsTϚfmytLڏ{PL+f=FzQH\Z|.}\\h&9mHԹ0Pa]nfMV r9!6kqĆ4 DǾ{iIb뢬DYsv.|-YNt5-a+GW];M qK{y6SMUNrH{iH jB aO {-$Ce7<0Q#o&M45I|Kx?) ;9p joEw擑Aui{=~Kǂ8l|uݗ;if!\gPqRӂ`%O q K˒:ؤ;1 a(s ƝА (4xöLc0pvC__XEA?,pV߉$b:-J\jTpYm l19>V5 pM(#tͮv w۳\ ]{ lɵ g4̠57>jtݪ7ì^ t 3f >메a('tsKjp ^ Ojsr:=rLQ]ԬFcd+ ǣT6̊ȫ{Q4 `%SEɒ@H}/&ƍi7dtϗV-0zRz)S9̄PբiҞN_eh V<Ԋ G]&D-L n;STivNfxgmEOCr&4dCbj3@+|5PH Im2]:! BK¶7xǦX[%4B.wرJkˉ?V\0?g5ўQU!5E1bLGeaD5KW: >RAVQE G(Oa, NN%Έje5?FM`J: Z(Vf}͐"z u8E=:bT*zY乮ԣCFZ$)R`)q'tҥ dbo:wRh {t??N290ld7{|$Z#X ^q1L:/n _H*? C-7\#yQA0ds%2B&M)I̱uZ3ф3ډm2i?7.h$|^Vs 5dRޖhZ_8P!KMK1Om0QFL:kUNDh.WEp6&tCsί0Qԑyh1JZf[U2 TrMjʯݜ(jf܀`6al%ٯL=Ggg\ \ՅѴ` DUTo;cG ܜMT{8zLhPavv Svą*޴2o$wBcokw⃝hKrfeHGykpv//!0 kv;rONJ$FE"4tޒh f#1w>Wߘb߭ٿڷ_3Ƃ[q- .gõ=4 F-2DY|?pfX3X Wxk'$D///1V,-.S̊88Cx+E%Ĝ΍N;$eJUz1K}jޝe=FMO Qw׏F"g'vpN)Ek:h;PVGs a]D%w+Ed.tHs0{ VԱ:NkT!NNokԟԺY>`ɝgvWI=dr^ !^+O⻁>߅6+'x\$=ިdeɟ`GP5$/zt1.[r3B 7' `s$8TVąŮZ\ s7mN1n0^X04mHPS)c!&5"/QLWN:+Ye$98LsJ\z 5)zaL) 8/yfdQ䵔0DۺjHcvQmǸAj7_b倁&ж{aj<}Tc @F,S1 i|X ԩor"?7A3 1Rh\^R-׭A`O‰hoW~O7g\E< 59{. Fkp oPq* ߄ޥT>_8RW 6yfg98R !]*j>Q^P޳A^&.rQL,4tQN_ϝ~qtj?=NŔrqn=l[OhPI !&,])Q?#M{DoTHbSoƛLujq ڃ77B|!KSzK00L%K$Qlji]w% D 9]!o`lЭhMWD-*:yqM]n E|_Yl͐ۚEhCf?}"JmC5M9*[ ~w(s&oXV|> dhb\-WpA-gބ/ՐA8&#{ P;H6Q+w;o< ;=æg+}p^5h%`"COb%_SE͖x@+"E8a^>y\:n)WF JV[DNHIb>pf[# I?. ʺö[eBriŎ3Ovyg3mVݥi2oE.yh1oGPH$(osfO8g0;%zT7˙VX`grh|;6w SD&h_:WZ@jr{ʗ%L?*!%čs,hs}1xy"pq 'H32I4HeX}aw:|Lp ^fD٣O疶EEdk\i9"XA _5bN]k.g]߁+g='K?^z)]P[e030P-^#b WCD驦XO@T80tswMSM~2O%'(߳M.T"RȜk3]4&1qϳ]f7]z3x 31r%u+P]ƻꎵG?gG )PP-,N80{9綫g% k80qMV@бbEnK4G]RLɍo=)L deWgu\;ˏ9)kچ_0=bG.I˃6{{²u#2 p35e53s4Z`') 2/JtG ܶy>gMAqNC@`M/1}$ 68 + E_R&5{y dRowZnL=f~\}]&UP|!"kx>b^CE=j _{ΰvj? 6ۡ? .l>)϶sI9(3vN+ 3SC RmyÆ"emsA &ggWzy[O'׮R3P 4kU0^`లQKbAmMkJtN٫4/Iw;]4Q`m2u|nPg^!B=B_^i+XZ'uF L$|mx+Y;/D-Z^_!i7 Qo1] K/Pᖽ牅/)|YkM6x>&VL{'^Ț*S겠 $M7d.Y)MpS" 0Dap񑜱3]EYED5 8X7~UGk4(4d+U8s-#G?u eu^KsѝX^-i QybA'q7sGR>V&;-,~,#Hb2+7:K2;x`5o#w]p*DЌL3&Ik^W[S q)Hf_*'Jgnan<,|F\yvA9n'`$$W3%GN$GN_Ah:4|`meNKwۚwclWE YVhhD1¢UEP;&ʇ`5/#J琖^ـhDT8o*Z+VU{Ky׀ X85e YC|anޥWWB/%Aʨ7nɇ+s".WQ&q,'C =6IϭSR *6WIQ&:W I6 J' @涯I4ߔg%5@yh"nL{0*:ÿobFYGq^2g Kdeo(."o]o )w||ೇv)tR@Є;ѹ[#byowv įr5Crxzw:# naI9ĸxG}6WGCKy 60=%ԼqN̐bv?6X6TT/{b3VlfMĪ0%6^XcC^54R]Ns4K^]!ޮH$w?(D ˱,:tG^u~yhʂP5:BO Yٜ+Px "M-kf,)@g֩NmV9˷ :?F%p,ΕD 9fGw/hW @jtn"SQͻTHjI%F EI$o;3&I8A' Egf1kXHS&4Hpu}LѬt7x&{(4?Y1jxrɬ\h0{ƱL蟀f72Lc8ưGnn%itt=о- $P,`t9MDSL6{"PGO@}3sl o Ԙ_e94JMԘh=0،^"UOmK<:DQG?&ê(DB#%lTZ"LJ/ҠO_!J2 x{OVD̃i'[oCEeZB;If& (y 8҆TJ`񁥨4Ly# E }-Cwa/z$P,=wxַY4hKB>T)+dou$bp~? ql^(l8 N'9 @[CD _YMY0a~H[}* f !coC["YEJ h$~EwtGÜ zupvqv֠\R]f'wtH)~cWD3G\]k e,zm^hHHޞ13dz/HfZpNh HZ3F6ۉ TTû*8ݼmk뀏\Ds-ʉ_9G-cr:Mdv=]]f)ћE'ͯL2fn $3r\~=%DǭjEi()\kPK S<`1fOtUJʬ6i%ĢHR' [4R DrffhBHX "#|PAϮHGy\~MVy2=^_C`U΢dLb*|*V9穬 -bw,9`Q[@/G8yf^ ^̦Z~U+I7:D1An&rG[BΖ/Xi=?tyu]Ä"A ~ʧbW)iP7輎6GCk}pk NuM-:WbA.Y]ɥq}T>~2<16ءw1o3[z H_9frz>U-(?yKsew x!xyBh1Х\bmlc),[u[GXZ8ie/0h}[ A0an.P\b aU|t' <^s(PҮ0* }kR̚8۶sJ< =_7%]CD'F/ACLY=:>g/u2 p5oi:,W5^Z5o'1v-a##A} ª*ijNĔ^XMqVy*u0J OyZ'ׅ6 _Mv3 ;Dt$3j=jIE|;? "pW[ѽxBiF5|cF0QmbB6X s+1Eǵ$ sǫ,_o,GGb$Wq0hd[58q%BlPy/Ү"(:.|M1gQZvBzq ~֔gs}: ̗ܵv~1ˮMuB::\vcy2HRs |;d?-`Ԍ߇ꙧ֥/ګ1ǴMVlE2>]:t\g!"%W'\r|^T4YC*cr!}t.sjUiNJH 6Ѹ*R+snI[\Yo DVׇY,]|wT1c8S!僫YBy=fv dD:yΦVAm[W4Îw:c BSxs`Fu,Q䌂=P#)Z#~ p>q戃cZ.G'RJOOD.ɽtϯ/.nV,zp@a?j>VTWIU>~%Y@E]UV%v}d+k`i(T@D}V(j{u!=<dZr(s&vnHzd) o]2A5?']$խZtv<[x)+kD^)=:CyfBKc1:,Guk'x F&JA&Ȼu{ G4HB?^K 䢫#SӥĬ8V @9^CE:On$kvE|*Wm V iќ!#tюwӃbF})o,1쮹'9qnSEutZRFĸ Vl!-"O)~P)5/q?8هgI(`o1(I;RiMamlw3E0I23e7{xi֙Mois!SSVUҘؤ!*l7 =wtF+)n=[vЛD_)Wͽq/  ֚vB.H8B\IL|cq G'S0]tN>3W YOn *jƎrtV_P4(t~mEdIUwB8X=-uf*;Ѷ˜I,K4 A|IP-_D2_ȪKj \]X'(c ,}Z)eIB1l*5>F)5/h_sj_AzZ0!xid k<#i6Y𡸠Ff 3XWu}ZsA\ _O1\)yNkdoT{4:^!",'gWQ fsUΏ!4P&Ռ\(Ƙ~Ikt'+XIǦӂ,gLZf01˪.k8ٱr{l4sX_ﷃ?ê[NAz:D}0L뎜V{\ef z26']=Fzƛ1\|ґhɷ&5z wR(.1$`.oIƷEOgä') d,ǽ(QIalͽ@&>-f˹$J | oJw .4)|('ɝ3YǤ!`E4]h;c߹ȺGIdڜ[=zg|4mGHjr[(N1T(En \7aˠhѱ#NgYbcH:`](rCJ:/Bߝ?IRW9lc#"εq47Hx-N%ǐ%|nU~mB,zm$|H%Z8\uKgg15qpfeB1 sпx,H9(GŮO 3^d7thBӭwZٻij/*f)sk*w  9I!9FX  I&d WoT7}1A|L8 HV[S㢐X77ۃ; 5z5$S*ڛpp\H '|^+WisuC=n@5Jѥ2?uG`˘= %j%+@[2k;4J! BfC fk!nPMu'RĜ썽~TA%a:6ÈGڢ$=etWʠm^\j8c'Zdb/Eid9V4M1{Nr|Cdjn*Ѣee! aduV6ۂETtz|Uqw~w8b&rP_C1I,Xcv@˕2jM@X(t,i#TT$Lv!&6/cޢP@UDۧ\eBu#qAplA+I{\2ڕ{H3kh)ɩYI#%@/ p>GtrzZ!@&N](u8β ӄFS7U,旞iH4V=,<'rj%2\|eCx ]ƫ";'3 $EPCۀrk.ىɆ@lW܈]0 F'Oލ"iyG\MNt+RCtS5L>I1lB1g3ו5Xwt7{o#³:׽ :xpUڊ~Glu>B)Vh8oQx`X5`y5?Xb=jH"[Ϩ2&K:jDpuGq~~Q'H4Gh$ N./d9zbߕb[sx)]<7PTd`jQ4(6q, 7Liw@i]Y^+yT珗Fgoy__<xU 3V:|1 !b?tIJ)"Sod(⏯k !}G<#e :v^ 0fMBfjg)9](Ҧt^ѩOe>܉[JA51Ùah=:ح9 f8-E;kĪs|XXb&5.DZኒ}ʕw 杹4{Ҏs[%7fhvS3 xX7 3%Ի#tif?[$mGQal#N]ݒu }}'Dpm9My}Vkk(|TUvj-*)%>mT*<=Pbq09i =zb]W=!ŎEᤡ"8 v]UN x3V|*8^BW<덋0&_xN+C(r,vӑ_xofY4IYDeScdOރ1h1nx^z \S.0f$3A eT6@mSA/m=‚"f O?ҋ3vn\t[;{kǩש3cyL9PmAU"s̴ Y*k֒!Vv3:U?I-.$yA˲,g}Oeo,0#wd% 9F.p 9^vQjLQeqK}*&V)2,~1klb R k˱Vo:C l.V[&I5e@9Υ)N8l>Ś͙aՅ1j<ˍ1K31]՘Mf3`Qxpq(%S-Yދ#k8t%]N`N:[?fgGw-]ivܔ? wjԏ`F%]3 |fyrέ *G5zBL*r/*%,Jma%%>Ǿ]7JD,ha\j{vͩhw7L[ּF7KkJɣN 1zq${O^B͉Zk.\ ߬z+AtQ"'ߺ?f2Cʒ9py$> uG8.`j2Mڦ\8\eqih鉷yL)h[Ak ~ެ4.<MkH&W#TQ̇ۦ=Ad<|F`ȱA"`BV_0+WTV)Sdh%,\?2!1v.cn )n@U:e&>tlHgbr Z&=?!fFQSu>_$t?o9&<a|!ҁ (NvNGleŞwaҢB杬vrcW_Bޢh_=LQ"qgӼ#m[hgMҟ"DawE>wY*Ɉ`ah 8ZG߄#'l\9)cQi$ ^o!-hB1(ldmuyI^D+a1=qnv;4jK"a u7vm qZNNxYZ4"X~G'RUI]\e=(T c= S4edG4Cu;ak;ΥB" s#OT7;_UHsPLFWAjw82ߝ9-Iƶ*EQBU)~s9x* xWlwO~r3? b_Y<^q9=/ء4jB W$.4`4mL S?ga 憄,/p]c~-?V4IYu 1TFøvp2l" KWT^*xG:j0M1z>e ӈ'FRy:ҺhrS߿h]Yr qf7 6gagdOF0XLEiQ]5@RwRpf2n0˫Jz2$ 1k7۫ΝaEE 1;jXtbYu!:PVJၹj(i 2Eki )_pD]j13(MцLg"4\Bgnjv\^YIXf#==RmA(.Ee(/)1Ɓ1>’ M޶x:GXIFjBi )O$"Z&NKe?.Y O ij#BY慢zpyb cn:to5vCg.f-绞lߕGdC:,S#i#@k10'LIMSecqMhY.S5ަw#+3\\Tٜr4p~^$Ev®&h"EyHfէu/#7J Ux v|TƁ"L1h2&哼ka"+ ¥pFt8Qj_ue<;/}jL[. ĸ['ED$DZ7z'#㣢]b?^ a3{/2'f֜,0_ܴtuP Rh&K >s3pUUo7J!F' ͆5{^KFD)oM&_ڷC/&èW *DCTcpgkHr+GOwKq' dB% `c yfVC~/pj c \[X"SԗxKpcJ:[0&Ct͕f}royM-d ^dMuɳ[݃c(s܁m$o9$`!J)?|R'=uŃ2y㰩](6*h>ٌ~XHs~@(c jl<ThK,P=\Čw@~{b^o~WCJl_D^)Cw7wWŲ(-n}H¤9^1S@?3lVC8kukq &?#iZѲaHQߐ\P!^q+)QWS}!<pC*9IpNIʎ$D>mdgɜB#rtf!RʌCEaH/cH~H⁍{n_R&NvYb咲r?^O)ww}3qsxDgF_t/f\X<1./\ Qk -\m,ٓ࿃  z׷i 7aFL*)7cZ}Ϡ?';dzkcܾJK SJ5HBgye0-Sqr^i1DCgx:272u-xށ6;<$^pӽa5L*1\2jRq[8/2`SmmTB,]#z H _O>ߚbb!~fràYd 2@XY% s5_7p<EXߴuD5a%ӡ@3/t-lOJ_bpr}8 vGj{dP -(qp&γilk4{kp!e$pzɆ\8h*5Pc p%7,g l/9=,f3q ;o"% g3' eA4T@(Bނ_ -(IBi}4O`!3[]^8+W26G= Iq}j#mIVyѰ3SNr~ǨМs;/5gBtK ZU" m{Z *kva"SL&/Tanª#^P @x1z8ʰR P9/h}R!&Yj2Q/Y .fc>{~q~\[Z">/b+09vdeGx;lL97 мc 'eƔVʶy [Kg]|Ɉz=1][ւԙ,<%}{'e#eQ21ʝIsEI(ծe?.dinN/cShXsR _`آn- JjrcY,&0)#kcskm7#E A82Y.n^ dv0-֙b.DĆL9 qonh_+L( 8F'`3,`𝪫Us 3 ؠ 4Q@GM(mŽEH~unLO\>dPxQ>#RfJsZ@ L w K SLx% \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_id2+u') PurePure.Sessionsdocument/latex7zXZִF! ]A-MՋhvG"uIBm5ȢED:FvT$ ބX@%B  y<œDYɠ5$);eY9I؊ܣ#fS/Uuq#~N*]? sz\ӯ.KJ7^?@~L+3,YCXj׉daɩkHpX\.ۆ ՍYj$5o r;q[F\0+z(>x"-/ba!I}%2~807hFo+XAĝ5Pg*$o*uׁaaOe8#^U aVŞZ?4aCf][1K!nT#") +#@+S/!y9LCsōzcrC?(2: Pf4f{ *L@E}e08yIzq7RˍCct_ Zk@b.{ݙ26^Bt(YJd W;^d%"zJRgombkJyD؎?vLaa]?z2z9}-s3 -u4bRSv˅m1e0qi E zk9?VLKZsh[{ @*to@X.Mr[L1c(VijWw 0!#&svk?w*n۱e8،TtWƴ^zgeNޱP4W[-UNn _o@ Lu=”* 3m%a"hY'bV#"5~,ԬD$u-kOT;GBVPX0W :irTH2I!%i|fZ'rO_h]v3D˙8n_[gYZMt'1RPurePure.Sessionstheory/other_kindsoracle fact bundle attribute method*s')PurePure.Sessionstheory/parentsPurer%) LPureML_Bootstrapdocument/latex7zXZִF! $]A-MՋhvG"uIBm55zaLAG*),d{B+E#=Ā ȡIJPBLLKć}Gx4ф ռB'$EbfN zRX"d\7J-> EWZM_Ӧ є$U»|”' ncy'.xq?|'=lN>,,> Q'VN"/pKsHw0yRn`8=dnm-XՑ_}6:b+,i.q'4--VYtח;F̶a7m \87V`BnSrҗ{5r=f]\dXF=#>2kV]'{&_-Z'1N< ̠ `z11v/1$d+*LG"Êy] 7Eܝn>ߍʜM]DTo0NUɓ#5f-o:b!5AeX\',NIgmv!\u?&e}O>/պ:C˖e8 ]'ϸ=]7OiuDUb4o+ Y&" *سUX<ӘAGnX{/Иql9+v)M1lH ON}QFc^6+3Eyқ"G u-NƎNY;2E,\!-!zdn~}DP7תxPTB7bմhFqczy"3BPRΨm$ A_xRՓ$O^ n7xPef[Bv)ctbԙL"IR&waI?۞UP3[s[ig>(9(fV_%gIU;˧'&9d9.yi8&Dd\l3FG͕#ltZI"Uչב|mm?_k0n#~k8<\3O_\Ti:#"_qԂwovX3. <(R`k,ٲ52heUOb9(+o5AacʍWu_nd)*"x O-"* GMD{sReZI2RdyL XVY U(JuZ2YODysܰLh/+KwK7Ik4@ I^gYZ yyy% \PurePurePIDE/markup27zXZִF! # (] !M젗OFM'rq%7eE)4adZ zr6|[&LJij}o&h)SZxI~ƙ&_+[*ߓ U3 ɓ>4QIyj3`S_%pxy_ṰxCpU;kee+KH&{LԨ& k/id .d@j >tPT V=`j~$).طmݿT8cwVs2[djor%M0{S`矉nEŎOGe>MTd )bŨ)M>s.^k,晧%r8L0hWߑj0} [vɴu'Sg:+(%*¶o[*jPdrт5O2XEa!}`^h]sA-oaL9N_tϦIC Yɉ=3 7IE>rMxNbD6g8c*^\lǷk"ȱe)4alS$i9B忮IׄA{`jYb1QC6 9UFG7k.3Qtt=1 $?sԗ.t=pK!md4rh.]v[B<ȗ@vc/ @nT,4Ҟ)\.J$Y84.wKyvKIJ6SJ?&{ SaI*N~gc.J*)bi䁵m"[=ඕl˖j2Pfꡝ.8TԚy+tRӻ'\̨4T}l[phDGڎ8}3E wADi1`;,k" }:"7Gbt ƥ$ׇeSYm΀ 0qɺ86lndN@`FlCK󼐬LVRqS.T!ԙrb}M[5gM>xGUOJ|t^PN2W{4Moӟ띂{XW T_8b Pr,ګt,ICFWR=JoKJsRjmz'W3A)UKpF?Ql:2V׃O2*0 FA;Dn-|}(u`Xz9I.n&~`CXpҦjf ~6 W`/<ȉ#XBدǑG Ψ3 z2N|8/tdZG=|@TJ"ufe}<yfӦ&+[w<lwÖB˫4>ax ,Xf zN74lCod{BZܷN#q~2b%ublv7M}f'm,ˠ8 eH?TNXvluU\WNQ=J`S"PCz"GC8/喏UP;2)Н?H[˩D,%f jN.bJKR$WEMw߭>Q9)5"oҪQ'³5ï5 ?7J@!??^dXQrZM@aN[z&-HaߚF"κ(2P.UcZ* pWhB hE/ ΦOFDK%"~qDI,#}Dz? dBc_ͻ&/EF#yfpj7ũl=Y)%5:1y s!!xb\ſL^ȭd{+Eª3X8%*Υ@)UI (͉S~ꀁ>"x)x̧ey";K4Q\#ѯ.94yKVcʹ\y/|3 yuyTg+0!j'HNL<||Nz. @gW 3lʼoiN9ȃwdnDZR D1mj\p8fWH:;hUVfju}/7 E$3HVf@ Yn> ѷd,/+rdj?O`0ʣ+eSD\kxNz2k۱o]J۫u$hr{<[.hA@:&,s̷:`F|n1O(DyDz6դɃ>>z=ɤ k*;]h܌"ʂ#&aa6?: ΋xU&I ,~h.<Ja)1j23fܟ,TG5¦BA|4Ī/%$F0{?jdG^DQ-F g3 lG[;v&ftM ϐA:_T'!ABuS0`Bs`ל- '$j睥=wֻ H6M$[Fk H6؇[tZ1ܺU:U w3ϥ_Ӯ1\YPآ-oN9|x/d)MN3a [I،PHŮRDذDO 1:؟ N2SL!۫2{kأ30IlgvXkHBXL]v M9n!f Wh5'Rdo}cBc`wPgJ-aY򀐚B-\%%΂0i&vbaUhEK-|ە]ˡ[A>KwȂ;YӻTKQȗ-oo5we7#(;`\rHܑD4U:"r_ԇJ]AG 3[Zy<~4N}o ߄+59N)ӆ.`%%N{e*e0i9\ $ˀ8R2s! QW˥J&1H W ~8=;^7.(ŋʼs՟:]P5K?_>6I ?$,[Z(>/1\}(OX%ԯ%^؆۳H5RfMэVh _>TM͖񷶦SP#u@hH|?jN~~$Is"KJS'0/4h8e#M}yeMq( "v\6J7 t)0yc}ͮ:pqx)u!T#5KiWF.;7BVj*ndZسJ+9&=tPF&ql EJlV ĶTqa2C` W҈ 5@8 6IKȢ./q nAxI>cM@]fϾ@b:~Y]HݙGu@̀)[_-Akvq[PC-oGؐV$G\ K:7IHd$6K )d;|Zq+KZywW%0:|EBw} jHf2IJ/o>k5r;"c:clW7-5{ǞF&ʈ!e6^K'Ta#'uZm/=2xK˝4k+iu)$_z捭[/p{ ~@8@Ee>Y6 jQ&%!VR9(_ oɌ 2(r>}Cym97z0 X]fX~I+fj3}ePs+u+:S:ȧFѼBJ ɒCU0mv*&'?cM]%~"(n 瀿i*҆lNՒtH evބ䉨MQrS,SUd˓e/WsQLLA73m_ymcZM,]AP [@ޢ{Ty^ez,A.p+_nH̓ġwݫ v:Arی)يEcNҵ D6'E"C}:e26R-NO.P$uyʐ%3yv-,]!Q|}Uenڒ%z,OeMfQzj^_lo |XGP#dϘH 0Ƨ E39gjwPöIݖ' oG{%I]`6ZBmd*["Uc@̜z~aYyRؽ{[l1[hgm,1|mHaSQīP~$3/wսAO)GsxgP ?ҩu=y\vx'uy7֛`ejDIrRAV>#Re#OĪpgx jAnv"(ԊlƧΓV%G 7t5'5m{N /WͿT$p t-`E lO+TrPyac=ZqfT~HJ"ڮʽ6$,V R?axPG8wx̜zc oSܳvobխC} ȦΗudOee`ڝ/fLׂk!L$L$X?~% <xx v=,BEN|yx(R/8f슔|̱| џ.[B¶Y7)Ä>HX%j מƄ`^Fk* T~(`:ρTBurP '#KV&gYb#'Qr a~VCN';tlZ<3՝A:=#8V8o1 ~xZFjBQ6ffDzҙ7h]WKJ jǣma!O#H^DѨTh嗟 +gδ ?IV6X-qɭ[LM2xH賝 PlH}r c$x ߀(55>.K0ϭ=)۱4iheKeuU3A7@kzF68eN #c>+'D ռ܍Ff͟UÕx:) xV͒N~C̆ 2`ړj^s|FI|Rgpv51z K,iaCj?R-@۔ !_ ADRfɈ={]%F0`;VS|ΛMb *&k?`< qN.PX'E-I2HĬ$O,UG%;4U3h 8IdrEf"Kpd1Q"PGUOr LP$ 3uPy!󹰸!EI9MMӤw r+ Ł\Ke1أʔ>{_X|DOwл2B ~̋Cr3CldC%\cR "^ 4n~+OFk:b$#xZ6_Y9zrT8#tzw'0Pw7aF[Ԙj1ga 0HPȊ܀b(_,U"K&C:(mMd64!o3?O|ۯ/긿st5OL (L M ϗVuTBPET4 !jHF)ɱ CܰҥseT3 >7Q1&^g~-Fr9I.ZFѦm[fa79h>YE dP(x|9FwCbv *è%^i 9q=g̠{]܁H LX?f@KJBM\閡n`E*Qk-Zqq}dvm$0焬R͊tOb$ 5n;C0/RiKHn֜fp3廫X/c1)n&ΪD) ^[.ÑC5JシX5,9+:IU}hJɔ6w{~rGEpT_"G #1b~P؀|#U2˯Nm}ۦY*/݋xEx6l-ʎy" C[S})jRWWW.z8.MGdܜ&2VqeF}:2#X*G7VQ'=^p-ޝ_q+Ⱦfp@x^B'~\I d7(%'3nwA&s]P +}~_q`Q,fzOu!AH9Tɭ\|L(n,mHy@O>ƲIG d%DWsBo2T'=NRG{|ƼȔM[g UIzĉnmͰ|/7<F@tE[~RT 3z W60#.n^os"|Y}=6MLŠTtuG!w6 cR1$>Å׬GSQ6S3g'+! R#v51g`$CrN$~?>J5^<7Aɗ"3d5[moM x&#uA_JmlFwE.uh6e 9E^gxK^=uCw=?cKyע(i@nLЌZ4l` F \8Ajibu59x$@a"klG8pZ\'D'*_"jBJԍ4x66"b3EqCI26$`%y3 JF;Z*jo1$u#P.'Eu(d{ҳMYCbbL۪x׾YGxGr%B!4W`DH0Ij, ,[DnBED~MYZr5Ưd ؐ~R?*œSbRz~RV]Д^RO iVZ>6?zLc>/it+/arc5 yW2qw0A iޝvto7m+B %>A.rk[sRt+]տ{*L$qǶ #ZL]DuwQ&x'60Df5C*8@b9PA0 r+,)cSpj-mCN8J+ )lAw=<#7`fS{> 9D4{(iN<]Hfr7 8фҼ ,y`A:1H'zS/6꺲u9jWh-1֜SN":z& g,E;Jc}+3/j^6ٞt"j[8eFf‏'Yoj[Zt`Aa,+k/1`̚&=[),/h|겔C@J^_t v#&󫃖F OJI$Lj ؑ›vU6Zui0c 'zӠhIF5}W L<(3}ǧkk KS ]K π{m3ƨ;]lU건=G̃D=08=W|XzCK(>xnNeK̒)tT.fhf5xXQ=cZ~ Tq,6)EѴH+̞qBV3eXʗʾw,nQcg/1nPJ}Rd\ɌwʦP[v<,VԥƂI`KsPPx4M (@ˆ@Cm, yV}:USk$&SGwP4ԐKrV*ȶU`eSZ13O^V_|GyFSZâ^2W>^÷\y~&p+PުMa]B$/%i.< 52Xq7ʜwؗHjucVWfJ JHA!.ux‹ݜLr |EGBY5(“ٓ#ܼc~AVo=|6G2+w2RqJbF+{UdF&Z/H:MQ2'lQ3:Y3K!|,cqeKKePʟS˅0~#t'Ů55 -wX09Sldrn~gIc.-BWjüB~188le <F{Og,9Jr6:/oʄ+5av^"R@m6r9E*X~3BZ82qlJtGqhq> `?Аj IGY @l' pzsfw%sb'L./Iᣗ}=7 ~/d3N %f3eƾLZc_P?ط[g:=8엿]$z=Ÿۭ8. j}OWtMAټ?u 30?@^7[H$&O)˜ 8XQ(u.12*o+Ǹ;Kb8/Q#@ ^IqI-ű?oV]~ZRkh^ҵ^`ܡ$ h2(y$ ]YIM4e}haqhcIXJc\ ]<6}" G?<B-y֭k aT0n^s~qpuv9`nFcK֢eKlo}j+Ҥ|>~H@u%QW+-" I[gJ;?/qх|M 6/}WE;\{;zwx_g]tաɯ,'P'\щ[{Qh(8&~4tr 'Z{y.0!䎍׌葽w< S.bj}-:G%<yu 3IeǵRS$+ &,u쾍i2=^~Ώ9} yN2k8ڨ4a]I@=V=):n";KRt!GHŬ`SΧf }gj}%o~ٛ\aH!bu=ԣ)pB\ 'z0/R7hl!5T̘:k-wa`11"wSAcrN5JBh^I6\bK 1%2R7Wi} #f"Q@84O6sj=˙-@Jd:'V#Fc{|pC ]^bv|Q};;#~sxCT}I)pw4CDVV~ HdO]U7D{q.sy9ɾ3wk .G]򻶦@*eX7z&,K_HJ[ВA66UX04#u(:MbxM&]J_VdQ_HD.a0֝2ݝrqHb `861̐{`1u@DV9'UcIth C Py)s(rr[-Udմee9o̙#ۥgt bxc!;,M\'ۙ%͹2{ٕ[d'Q„ΞF<~ %4xa]RPRV]w7UHz$vWI^ݠ꽺qԀ(\Uq. (>y,1n7DXR<]oi 0Ǻo8Md=Lir_>_Af IDbC:g9~ѭ.j>v EPr>ڃ*T$y ۩iL# Pc&̮"^Ng zYW! vGD}tnU+7po8">еQm]㣡<{ԗw@JX*.$v橵5W7-Ǒ# u*#l_ k#P֌2bb!A&YerQћ 8`9ht<]-m0Z,.͕ŬhT!.K9)$OI  &, 3BɈȡ$DhC|2͑{S>j)h8SkΛ;L&:B8_'~lbW .vzՄ>ܪ3SDy6Q$uJOZ0,|m]+ajUOjMsŔ/?eBjNjD~;`܉#[d6A+W<@&YpFqx4԰&Bu< x%n޺($Kخ_(<2dFmo P'>Xj[D[cR{0W$e8)5VXU0L<7aLvK4mL@FFja2 \s r IS6I39.^LA$M6kd_T5!)tG++.M4mFjXϑv{ AOSB/͗@ENlo1u5*`lQ7K2.Ӷ".Ȝ#){u=.EͲ@ɂMog1| 磨iV|5+ԬSNp|EB^o &=km@ISA~f8s9̣{iGn̨s;3#5kZ{A~L]\qv&[!ke15n!bB 5|sat/1(9lJ'>0٫Y1`!j5!R+V;J|`߰q5员q]1U,m,?2qlGZO~qEgڻnKtHec!Y81˩w^B)DZ4܎C>g,bTZ!bhY6^c/L4Ԍ  I<6x/EOY5KrM_3Wxe0VS– KY3zP/yf"4 O0 ZQ5=`&R-BqjN\>sp+dCR9>ĪO7d!wƓ$'zfi"@1.bMC`;+minGE;Jўg|/2Yʍ*p_=){\5"L<Ɋ|SFqd϶L2EVJߢsנF~]--i;ޜ8L|ߟ+֭9H( ĽN[j;Zؔ4J!XEy7V,h%gEJ|͖REG阩.`KO/ZV1.ZTn-*՟$9enݸR7U,t,jkXjo"Sr?@*/`}V`ьTr{/|\oSBH/c$b|Շ-r딛$xpOZORpUkEMtMJ-s^B}dfP"_l26FI9Ck2;~/d=lVf59IO|;%n}C2\޺'U%:w@ &IޒaoPgEe[!WW2,dv{fjpmnO>kq]IՌF8f/N /Z?ra+#|Ot} ^r\I}hcb<Ǯ~5߃ۙ?5BV*"G3z5ғsd3ޅt*.;Q͟:̰ZM庣 cBB~Z#,DHӅ2Lʍ ZO,t]m,F#VL=31:^\$tz[0* c.{=7 2lMT !\>c;q7iy[f=lwzU! tNKj fH;d&|?d^t aF{ʢp#<XeHt{f؈x6sF/j<[BP)rEB@87:eTz\40H<QX1B*)iFF~߷Bk˂ 8ơ`ȹ#z-t^L'"I`|Y/O<9L͇H z}#ly\ =CP02 B(oNgaMb\QΠLwKz٤^adT\-`c^RYsA'Q۹ )s>R3I?u?$d\ `祷@{}s9\dX>f MN~-Mn.K~7/VE}LX P/KX[p%c? amWpy]uQ?ސwH\p\!$SkzhE'EI)2>-Dڕ1ԣ%S;غU97k䗚g f3 #^ՙqq \.ys./nvdO\\H4qDRJ=[Ks۸rJ,c;0ZR뀒%u/`YNNSt5Q0m(6.RO%RQ\rnچ{_Г&p %Tb-P bcxH(ԯְN?aF0l)`ݖ2͍CrК3]#k?˥JiyVe&Q@qu5hsn(XۓE+J0$fFcXB()G&*<@E"S'fiӷ q.~zҋtwKCT~:"Sga;%>U}ϖJ)-X :8!e}l? /F5x)F/Y<>n΅ۧ^}ۇWSA~ :(VĤ@iS3쇡ߖ.݈I{&B֌T z[gsԑyt_.=n_7|!uCi:ӮD5;zj H@o S"Ꮍx/\wLف|)4loH'TM%|?]R;u+H@}(@Fg>;[7Ҍʅ"@QBRy;PWH 0MYV{uFTSGiB&? D]/z>/'ES߆YlZz'jO#:|h'_?XZEBvoK:^@ V7q^h21**#a)xC[{5/Mp̣6Bg7/tyThmmM;oZq#h|zϞV x j*g>w2\ɊjYH[DF ,h LZT%F_{*/ s},EV`ͩ7}V0@S' &1/Fj/@u *Iwd'€Yjm&J…1PfP#mX*pfxN׀uB&'dL]^F:JCW>c̉X4,Zl0'$0ޏf22l 3[J=o@`>۹U3ˏoyKտN:6'"X\Nᝌ2oɣ[iGPc;I3Cx˘z%~9ŠhnQǠAjBZ[>U)2B9DBIDXy ][m]5l˻ ]5牖k#Ru{* bTi:t?XSQp#&eߡ5]I-}+16NV+7"Wp7Ov vBCܲ8ոη>/e|~%kW5qҠ%~%Z>fC6C2x,_Yy ԝb|,i —.Luࢠ׺bJf#TvVt#(Zz..vv!5Ju\2[lyWVK< ,՞Diڻu42I\"겏f`cȣ.~kGfhZ?b$X2n{;q K.O<\j&Y3OFO>z.$P☚6"z]_ =#'ǬE4Bmdӕ+KT MQ}a" 瓈I]\2b A h?Tg}]vv~8vx5=~g]5PkG_^+ce<MX~Չ-W8Җ,Bdz 3o ȼR;s ч!k|S@ |RA^h;Lym4NoX[^ߐDXAX-F2+e!N+"ɳKXMvAũ¸qpt9?:$?8#Bи|lLCWOC,zjZmUJh36 "JtC֔'[(0GOM= sD}dqi(%Lđv]E|UjVIxF[V!V3VrG ߧsg335lnRHȵRlkGqgv]?]zy oFQr i=D0uh(ֿV,mIdx="t1hJinl A.5 (ɕAt&J;VQE1܂ ˎNٖfė+xs%ܵ`|*%ˏ/,j(@v;z  ]Kjb]qrЧiz'_P+O,iM~m=0;*?!#-Kv wa֌8A؎ոiM>OOm𗥔+ҥpugڃ VÁVo6V`%jIW-؃J^ U^uIʙpS%WP:Tʙt 7l!/2P~hICT7ħȒTx\& ;n_Yl+筜1O ex\h1)6[׮#`1lZsShd-HUM&[IN2w.vDgLȲӰtzCrJ6xu[9}"|/|x(Nk 0XT]FJ}C{ڏBN7 2QRg34R,YQcD'1TjTx4Rrnq,otK칷o@&NNLjb" ;=bL]=%%4/k&ؒtfJgvb1izf[1VECFg*/5щrz!PMָV`>4B_?f,7ūz5OgλHF_tR$$o2 eF*e]={Zڟ?hc|^r0]/nvUgLNϣgG ˓'Csrۈ^h|$eB^U/:Teĩѕ]=OUk{ɩ4g!5` C&d\9!m!o<8"FXvS^YE5|Ye dBHZl=+H ֹp5eEWOVĜ cY!"S?lb|q)jY2JA㚯g$jqW;p"`Fv)mk mP:̏kVw+Z?'3NڄTpFWYVBP"$Y_Jߋ9"0:)u0ea[S ?8h0FSа!Ixy8)ר0:9 :1JҞG\ mN\AcKCs6Xߋ8*b#QCQCny#?Sif1N[9/?a v.Z JjkV?K$(".,+vRLQ31ʖgB|)so9 !<^J4qbKMƃ5t)uFG`(ǷiMN$=/V+Xޢ 6L6CZ/yi<*Ä7\ǩ>Iq=hOpyܿ"}j |"4dH?]86oV̐uh*1+ K*(3X0Zio0-.5% T0l g7Ǟc5(Hަ2}ox8r\كŪïO"Y6;(n$~\4Ae`v˵]$!V-[ ˾.w ^] ŌL31|~pq 1|'طn'N"͈]C@K$k rTfg|TwV'q\\%D1p]KB`؇ݧ&0/9Nʦc)V1U51- *742/RYo'N~0W+H`y ZR?Mb!l,σ4\\Wd[X}+c W4\:*. nSJW&eYA~ ѵ bgz`+7W1"&yPK۔̳mhP sSvk %oGu.v3kbڕRZ~ӭo3^L:;sS6)Ѯ2N;;OXB3 Av H_ `gAU'iY&{7dCR++T S@+%+:\SR"Y+1j"{xv&B9l<~|&O9dUҵfO!F_gtGK.Ћ<$ML j[2[_ηbP>.\:]FoGVDA|(g>W@:0wnv_99d\UϭQ"B{y,vgH,Uk*]4jд[rO,z4zusfU&!ΛrXM"ofpG6Mnѧ=`!J%%&5F #te tOܼ^wU얅v":Gl;xZAAXx1pN[F75\53[_7[ Sd%Fw;!Bը]G^͑.aQH|fx-)-V I GC$#[sF;o?-}n$Bnbc骨ue b`b {ϾPqj[dՑTiJx%THݩ"5NmpIÁE%{E)G;t'섌V)MVk /79n=WD̈ V/Yį%$cB@_=ټA߯[t1Q᧋'moз9U؊8mP*:ĀPPCxa^4#XG&ӚoȳƼ8Piɿ .10Gx#DO;_$Dp4u"\ݫ8uď6ZwUiƵOLX ?{ݞi0Æ! E =XUVoɋ\7yF ;=C?YV#$tϸi)D6_7HK;KE3+Lgd?񬰇#:j24n!#3k΅q}_rbJC%q *:ʨ5B_LNj55L~^=mw=<3[jH;5E9su%λ.APʵ.C!H7gMRxj:L}<4AGi,6`u!.yu_6aRXO=ao5`P;CCeVOG5;Lb$ICHVO>+\^b@٨g!:89@4 kuY1SQЅ:=~hd<:!ɂQBTbS4cHS˳m/qԨ 7qȳEaRQ|@޵,.fٽ#Qg%']>=v훏e}SߤU+$W|<3(8|Qa:eUnȒ!{&KoM, ,9͋~k0u"&1oU#r:1FiSPy+}5[G3)^r+DnZxuoAe.و/-P/)W/- \Yt1ށN`%%x9JcN<+V_[p}3hEbXrZ<)3ǝP?5|z8 J`lh( i(2b#[)^4TCsxH*>}% ᬣa-Jbm5no*Cgna|!=7J13_iB/72I!_9t$FC}E4u݈`Ie>H8cGgL%m'XSOKc56n]hs/1qG&Q_!4%>>FiPj C@={[MkwMt %F"_R=V_mDojWT@Jd_1#´ޱiO"ـ|w~+)GsNrVf` %Ue%6ڹ;|!n FVm/xУt5쵽݋E$ҥ˝aT4?'..F[GP7[_, N>}&Ra8=0b]~k1u"A"6MU!\wW=i-@+I Lr7`Mj3s(z>ig:$5im& PɛYgp]C})Ip㉀% WHxJENEcΏu^m_~ rCAx wsk Mhl|Z Cj}>r:)"IPUb `ax0 M7ţEClɉg:HKx8'Xx|ogJQ{79h[Qi .v]J,E? /i/LjFNDeww4[ S * Gc$e^&G|.BKy^s~H)xyNû ^ByFZ#K-y.Ɯc63:{VjDj[Ps:(~? II-9Ͼ#/>OGb H [DSa2_=sJOb?o+[ + CD*9@AQ&bl2/7G0| D 4F6Gȁ˺nW+ѥ'i?+Z 5o`qaX, U+ {%%LuWha'%v<4^ =T_&!&9>]K\|&]BƤ,kf!d.}Bk-q‹fS-- /Ug@R9eH9-7~=]}38̈$cDu}4.lh޺U!;f/~6D2iBD9@!/e~u:-9Ҫ>D̦~rە3,q::nc@AQy[(B6#*Z!w#_5zsq抨:f=,p~Iw =}WQ̽DO)ܴ45R"y'7TrC(LG2!ԙnh}`F#F1n# :۴ kn=I]\-{D7Hpu w rU?>Zp|ɻ: q{|)H#B*G/! ,,Lx֐_KlҪgP(_Ԧf_@rc)-ˀ;xO*j6/â?qbh T54ڊFc^戕gs 1GُMNVf|ȥ 9N|x5D Y0FApԸ"yPVmtbpP @8߬۹Gv`(̙y0 c,KěGu HdLQr绥f74P>9S.:3G<&\I;f<.K~iS5OA+ZǴ wc(l .MTeĉ2d8^G> 8z"YTâ+;,t ^daKb(.s&icE?̤ ۏ0XpI4Wd|mGax5lЁqT$Ns?= ޲KYȦA5—oQ^7|@M$SoG ph~-ݭzu\ʭ*3SsX`^di~I+ί_OA rO vRs+?M.w=WvFKx0Fd22k*)P-Iu O֦ l?_'U[)7{a ΄V7dCcHۉ3 "|gn{W\(=o9z&g7՛6- i78A>||`0ww5Y4?S6V 979j82^]lTsq2 T@䕁 "]ΩWSM8 Ymĥ$ZfIGSFUהޠE]c_aY$KP-.ESQ)ʰ>H 4ڭ?@TݰOi53_!kkU /^$@*͉K֞J-an,~D*mQU"Y+ZVp j*pL7x )n,b4txnTDNvA[/#IjiX Z'TԔar 4Z:ز JL@\ OUǼI{-c޲d1*ApͰѻ̰U+S. O$imf뀿?՘ݙ^֒/*̵(pEu ^r恬7wū0 Z1mRcV]#!ֿQTōbԾ`<*ן_u9* \wI,;KK wGۆǻI{ Ϊ^nB5)z#rF:ng[F)Ewh'&fӿt:nv0Hjo30"T:getGhlQzԯ%r1ɽi`+8xO-a|P!bs :-']&cI|oœЧ Ψȉ˰ :sQ of'zA)k{![ylOW+g7<6h 6BWӑN/6eO׿gKQ/ ${)鎅zMg[m1q63x Di9M 2(V6pC2:GҶF sQiKIix^fL7彿Q[U;%Wfa1 Š3N䦼gBR Es!7~\!_2B\DG;r6csLhS *RJU^)9M]r3-P=[wrk $kx֙g1VRsdF@V"4Iu⸬8Hേ5%+b9nɣL;vD2x: ;j*  aP67prԦvA>лqA6%yDp?V|6qٕ,N$dc xRޛ$5Zԩ`u 3i6,@'72Y|sI'YQd~F&xXJQEdj㈑oE'1UW/(~Ħ5yϧgiv8gzwNAN٩ZC FqjB+``O0d9`EjSg@_.g*b[4I1{y Mҁr]2FwyVp~T\ g¼v&և@EB]C{AtTN?f=g=+vo6~Qzt95sIw_҂n{FLqxB~OS |JLՒP3'+"xŐY绨]^lǒd @)~Zzz.mr9(yD:;Yc-Q2ѱ41iw5G,#2V玞mEѽ`Mpm/o Dj4 LvGd~S7yL3mUYw35p {JW(=F 8|_X{SRAA0 etz6jP 60zx=."<7)V9sG*6ƴΧ 2fLt}|͓rUl)V}8 j K^(1gM6 ?K<$Pn̮` .WceIm| B2m#= ,6Z~fЮ8!!c{OxS9^*sv05Uo߇Ez/X1FtըMٱ6wQM3G7b$)zīgb }}Lx>"1YЭ:|ًph,HYFOXcY!_$N:ֺ:Ƭ eKK:4Q KgGQq[6y6MXT}KboeL~74w  euF"li @߼9|DK" s30C$2R!Btu/O R~z'=Ҕ\a(btdM'4_ t^9VE "䮦 ,w~lXyWӐ7կ,O);E \9sDd@\)? [ά]l  9a2Y[c+ DԹJ62jhm|z ڷ]}a~nؠzJ*Ȝ-|KgDk 99XְBZF6@gxL0SF8[BRD&rQ<#\PܶIE[Yإabt%愭Sn 5]'fnjwYQ挴\+"WFl͡ϨD:|_Wbc䣁r/|f1ʹQ{Gn-NLU!/]gऎ)pţk F)gNuT0x‚53BF]ݤg* |gtjEGz|w9ȥ Ֆg7Dwwq{K?8į'yǻ<[ srŠ% j+4[{5q#/J#aV _>ހ(w tEz_[[Uq@%:G DPi@p?Bb &w>)uyWGk 㖃"kXM eL.#ؗ `+NVv28Y/!]LM'!)Y,$D>: Z-|IbZ z6 ?`e)civ)Xc`\]k`Fi A=?AU?=W6.ٻ K,KA[^*yA1Yx'+Pp {K*'_+WFdFNr"wj->f`oU߻㰯έ 7jr(c+Y}'K 5s0N_ř=)Jv5M:po O~cWvp$F'H! d4Qw )^%(%=^?pQUhB?pY)mRP9>*"WS\h,9"$~ 'F @=)O@/)̗Y32J p(<35 T(8(MG"/ E@r_O9FCg `=&ygF+06xu޽/#v疊gAV|66+&ղ>k$KQJVfQש]RܧDs;b gYNTKǜM?M\]J>?j|e U 9kD{$wʯω>Sy l ۝bD@qf}| ZT;E 9S:5hDύFwS0)q]29,Ծ5z#D ";tyQ w/hd8Ezߊj+s M_depgc=~;7b|zz)vл c΅Kw{1G7R}AHccwd``LhQ) tZ?.w-w+V_kt}7K%㗮BX>ttfڡ֊⃙ XS<~@yYbuX#^*̤K?tg]^Q ɼ Y)@> ޑXY^R^rq湔fDTF~UX5=-MN" f7Jemqގx됤hxFs61F [F>fQ2{c[' H1n9$'O5 "Kz2̋ۼA'NECTywرb?P-y]8Vr/6'YS]pΉNql#U~DËj/n&M$d(ZlbXtPbL'Zm4iA`eB8Ř*3 Z$(iW<.@)fgBV:* B78{ [\P=WM~yc`E'׮`ɬViTcLP±^^}iB;rjof[>CAnnVkg~xlM; OámRL},~{Z'QOVyT_;3Y_H߅/n'NIVmN-%7LKwvoJbmٔ;xsEZ|$7]2MZ>8CF =Zߖ292>LɭJy(`6Hl$sKyꂎ^+O3C8N.QcAoLH1vu?.5vdxq<ĂyajWYӟiB~ JjJ_V>@2*n6W]cGuYRCJS_ J-P&%M>ޥD)֤H&&9˫9za{SpI0!4>QJ8<[(4grw(V'-`b0b@D%X*x@~<9{Q=}P|rl陗4y!t苳Jft381 ^)3h7 Nzɮ|"=B4;]G޹#*d<"?2pOvd/* mk[z.H*o$%U-σD-YW WKXjJ(;]hŊ}ClH\8߇ - .UwU";z*GBmveBQ1G\ GWo-#?ZH4]1wfS/]rTTֈ{!YS1(2rM~^P pzV%~bHj#yp[uޒ|E[Or.,TDًGID]Wǥ.DۿtZ]kvD  5Ģ`+l*Y,W$oW2*WZ!3iNaHg8Y2[uFɐCίD`}]tl?k&RVPV& '|)+Рd|+Ȩx3xQ <`$~~=ٞ;=O;;hA䆠Hn z[- >-j5wI{Q:d$E%M\z"; h%Ҋyij%Bmnqom@UTb :=\d|띎!j{eGfA=?"T - ](e,N0i4s@( )PH9*s>35.#;zzG6b_h|lyQnTf$G%d!E47O8aԆnY)FMCDYߕh֦.cgOUrgke*,?p xTGOlӕVbEGA1fmڃy= wUm'٨9$X+ mT)z] `9%ٽdNShS(#HNgي[3j:r~-N#C$;\%=\O33rFL[rӮ%j/Rm*QCr7uWmʀ$" GGkzoڊYzO_HjR ,23Bj=~/lɸE7 ngi-NWGԃv`!hL< &)Md7:>cUj/(I#J(Xl,g"{ki>e#U`wՁDNYAj,yF~DWːVV glZ6\itYS=_M;p8H u.J(y 4I`ayx\e]ؐVMs_ @_L1`wLG xSM lG|%it-S4; [[a~YX^NL/cޥÝܢ(R}͢!`#i*&-5\,{:ْI 9+S{317YRA;\'VrqiMC!iX̭4y,oD/5m \p12BC'wġI`DwUa>ޞ)0ua 1ظv H@XThE\P~El(ĽĕK8F?TlLp_-B ci[OjR?ϟy2xU6ǥ)J^?NT:z~ɲy{z"(df9uC6m:S8O铡~P0=i*#,v ,?Etj51 fPҖlyi#D0l)Wy6 ~Og ·hw1-|F9\f% ׉K=*mm-I&H\Tl}O1joNn=gÔ]ْ< $Ucxܒ%x $m_ ug*jM . 9oLkTu0EY%cWo^a^NW)x .*krI u*jM$sq!'zr)pS [3IhZGmj A\ѵ$eQݾ Z>f2Sb71%*j!ÇǶ T]͕a[?vX<4 {N5gxW<9 ,vxZ@ XROO=uՀȤ̠p}o_FU4B5d>闇7x"b>ӥ!5uOww c{R"}?F 2Ucfz ʂ6CM3hY,,M2zZD} plD-˦m;dKC`KEHF`GnO&˟EK/ ,DYj R熯.E+c|q8 k^~JڻKZÃeZ~R ^ٸeitAگn.ɩ<=Rʧ%ŇG4ʜ0A=2Cp+3: DXBޞf~QGt ld ER7h(-^g?P>#JeblC@Cv  jQh4l!ԀlɅWG!za!fa&UAV/w%YN2l5͞DBh4R{nHd'9 z#}@oքyc`1{j']WJ]!łB.4ucz% / ~vX,@@:=3a<x(OZg,M~r3Sm`/!v]~Pϲi>1ڰ_萸9auM=T00 Г;s/hX-py?pA֛I)?-,2︇B}ԩܛۅ/sct,%A>g鋹-_&EĜaNbkX=omo+fy.juϸ) =ڕCZdEqQ~$*PPԮ:(HAc|F\3W;@5l3g 7*=* nwz)^>ҽj)}6&!Y{v-1R :c=" (ơ[p@]ޗ|xjK̋+DG\eX]FcSGt՝ٞKWzJQGJ]-JC7(dkL8أ`l6ź&]OQ)lbʠlHJ8LvmYgYpofHփ)Z[Gᔍl2|驮d*6|-%Z^}Ã.M ,u, G޸jэ]r|h@Ba"DVH!H^yf RyjCjxWwl9fTDl cB0]]f{d6BzBb_˫lu=Y5[fd` "Q; >UC+OdG< B]OzRrZ! (\$+~l#C~A ۮR "m,Q"$2 ]NToe!Nzb_hԝ(4 $eh7qMN,AZ`.GhJ/N&Ϧ-+ea: t׽3eE+krr&Q~ؠVZ?bdž?`T;[s$qxgE4eLnG98໛b2TB #zNVX`~'f[+ bWEE r|am^; T{ @깇qQ0&j$[ @Yf5.?n"/2Ɠڂ3RQ&V}]nw._%nWN\%CKo\ +u'd rS: `;d [TrdшBmq@!? lR'XhcjTi(>NF_%ĦSf$N N]cqQ 6`\ܦxkt=(v&X[+% .Thûd ?bY4_Pw֭҄880?kJEwɰ*V  #)\}>gD8\!~v Ҏ81J[;ǭX6A=b#tRw{P < M9D~1  A.7vKN Y<=V<4e0ڵ/{+Ԁn6r|(4IնrCߢ$/q9B5LMRB* ; k{(Kh3m5)(5&30͍ \3}^n5&-?,H+: .Z(gxLPۚ oj/e<7DRs'X+ 1BQyJO;ZL`Wc([>IDmk=DD}G19edqtԓcmh$qSA1ޞjwBbPPf:dظ*6tZ 59Z [şa3I[= YIj!<p rIO®3-IF`u/_%; l"uI&JE݁^MB՛6&0XLW@ ϨvIc,5xKRj7YΣBw95o,(ՕYAkh. $j(jRn`% kJ`pU: D8P'Kq,*IϾwI)vT9Mf u偋M|."\[ Ի-0S3Pj෾@`L95Y4[N[Dk Y2RKm,Jy@  E.R FQ\a69m^NƾGvdP&@5c(+XĆ]m"XJֳ5sNUr欘557g$)mu8%8nWR,>pڱEY;4^88f.6О*&i68B8j&gXSMd -c HxjӲiv+=D-nÏW\K-:COOj%]ңHeLIziW5ZMq[R6{^? al%=++tD`J`)18lu g;j6yq/n# hqJJ|mnԮ;cމ~;RȮ{B(5t|r7 OYtl1pDHTb<p4$<Hq d6![+|Tg5_ͽc.*LObJU0D<1@ugA ]ծ\cl.W+Oxz#1K@Y ܖJXLy tDAuuq '}FY N#䦺~}_ :TxZYD_1ÍsP,T]Co%A KZ&;6,됫9!mZh{=>."yRY<8ĒtT0G6«ͬ+4jhy'$ =˿v p%y'{:ChVFyd6{>b`&^]y1g FyuG$q@;Ua#o2 9@ 5䲗ikCdz;s;0(9RrH' !1ѧ WSj&MS{iڙOlW5f$0 L:cl, hL%ײПho6 [umbo2fZyP1hX\{~l2>J |C32m1cl5Dqem-[m}p@&u,*"G,9 M)^ ;+1־`-Ie蝃e TmM-^yqeY ̽S%&Du'I1]PϱE,F. p_3;&ude dqbԘiPd#Wh YFc%4^HҞR=A)R+`YǓOO n_|2$z41$pҞ|;5(P9* ,s-q Nk1A$~sbA [ТcCЩc>ot\%Id `v9ZngPu߶hRASAMnau3@*9 >nf0-2D| `RzjPNqWZr49E:~6 M`A'Q6o,%VPT"g րZfd (yKLGHnJ}\D>|'{I;_5^";3'\\CL74`wչvXa!ZjC^7Koc{ @0Fq^@^\sR z9ACQj*f6/0K͆0nJH}K %"Ҿw/[:#2;Hhyb.,!%`r㖣yaIg!J3TN]M! #nyas!+Atbb'Pb^ordpr/%h8r١ni+"fAV<1< E[?:p0IL"9*\.h5xupWVe+wRt[=C{5NEؼ7Z:NκL4_z͛!u2C>90ڴwXY2i,Y==,+]xb-@PG>HϡĐLӝNA.Gs=1EVQ<9>+}إJ~s444Qp3u~Jԥӥ=& -Hz]!FW>giRI1.lȲ:Y9&&:Ua.0ؖkՊक़Ik >r9:¬=<׳y)cRfc NeOXd]Ϙld.5ZpVJ$6/&DRm~]k%Tم(`Zٖ- _$<8f,׍̃ʼnݍ9 \y 0XopQ0+ _ ",8u2|`ё^z=\*Gv[la1;$k]J} n 0V#vzf ly_l SDUStL!$l~1e?Y'C%wdTzwZl;uV |쩃;C7Tkx3XW=k P'P.`]X-#`RR H}os [%"4l**`!s7U%_ŏj 6 nrg=:ӨOw.S@ PϿMيaĀ0ɔ!'!oMW&$З_ IjSPeI!7ctu O6#4Ii9,@IơY*W`8mڡ0m2t96)37J" 'f;Uk&FޭۗcOWa/xWC #cBTo"?' yF3[+Ab).P}9Ϥj[H_Xww0 Q7πm~\h4݁D횝Y?&F_`Bz!ډNz@.ʺTJ%KD̶u'g?(3 q\ZJ|APs*1w?gPGlKʼW,-v 'v εw-:Z2Wn Isx74>j# uD.xO@R&:Kby9+wd&b̓<dFm'kӈP{\ vcvIWkZ9S1KfANC ߩ}vĄUKr 0ٟ1OwfSȕ0CCh/~meć2ԋXqq~Mq*fVwd XJ8 |5,B'ȸi!.-W=̢jq14&eCVo<"VGl_`@ѕ"Q?X!IJ-[dz5dI{: Wq؆'  ՗<~S9 +fKj$YQQv.YW\– SFN6SKz%Pzu`H!ێ8jp>=P "W/ (O 4t1^/dGŔpKgb"a\mϙ~9nz#:SqE?#xic7uF򛉙3J1G|@.N Hx:xњbkc ~W _J&L jn|U;-l3-MAp x'Ҁ-PWOWv|n,_{fq^HJ_*>f}(DD(j ZJ|I_'rCABکմH y =5/ A_"?bzHFȃWAhsT%~E+Pb׹}gG%\A– \%CLK0ı̌V/ `N9퐿$2Й@ɲm7UӢ~5-tէ[sgno8,:_Upi:XpmZ]@W RMFU9 U_{ʼnj|QEʊp' @Æ.Ã0uV~UӲAJ>ʼ SNo5XKqn4&:֛ @Q8ԟYKI[N+ 9%`uմS:"W.'w ="pA]t0B|v՚`%C){TtI~IPyDcv L@ݞMy? '>=V+<w0 6& )&0 +T!xp4 CS#еlR,$qb|"6ONbT9^u;}k]h[Ԯr* ]WVJۯ%]ƿnR]ۣO^{|"ҬHTX!AMӨKrݟv.Hbo Ár^]gؼ;5Xf{jEMo=^SfI®G2za%y/00솇@|j$=ZA33ej)cŚChFHʨ4OVP< 7S Xf2K"Һ]5- yTu=XcߨAj,Q0?:w/0{W}/y4, "n~<rgZ}֓cݼ4L!F͊|wK"DQ;0YZ __|%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-15c840d48c9a/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4,z # ,PurePurePIDE/markup7zXZִF! /]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OfB}QPމU+t,i6qW^Ye>}nk螳B#Mu9ٜPq :(}vu}tRX-F7egq :/@';i;alZG74 Lh' l B@"o-ڲe^\v ZoU"*~ b&sAVDL"SkJj`vnU7$dNG1CUgҬoK*WX P`Ґn|]:ϧj%pxV܆e'5?}=jÒ:X,+$)>dSfA60XvzDN=M~~r*% |Į(u7qtX-.r<Ŗ-8^-.R v6և/Rr4h7٥f#?4\Jil/JXcsl692KA2pT'`Zr9C+@ؿO^<t}tPQ.T.C}gHp&QЖt!)~ci!2_h0qe9gK{ݎabż6*g0VF\]rjq1Qt8t] |cB| n/uxi~_9s1,C=WiO?eϧ}#T%9>±@hV=gğ|"L+ύ/Z'bXQreΟǕP?MzOe) ?Gg dLHH^ddP6viB.tdup뎳@R2u;1\MMcoaϑ! &0–t/2Ykv7Rn)?SH1Ih2uGr)!EM'rlp!)/y 5Qt69Qlw]^ШZAkhs`" ~Hb#"co]m1 NN:'!qI;uxGq57J͊.yf:i5U״B)p=m\N9v]a80yjg)^߂z n04Ż ]:5a/{S+UzSl7WqD6pNxB%iYNֳd nvWDl@]+QU\ ~[&+mdPRp3*3}.@[jЈ *,-HRumGldJN2C,eKѳ>;)\}hW kRmܠI C! y !َѸ=}H䕤)?k۬`,6 I!?ZSgM#<_?X]WU녾L@%TXsH]^m{X.s(F+$ C>QuP& S|mOľdb|L6 pu},v)/^ڔ4_W^ɍ/jM囓@c2DVLppg[[mdXVL"Ds2Ⱏ):fEᰂ?%d_-QTEyPMZXdr0ˆ`R 9YX衈}̥R$nL sA9@l's֝tb8q`n7>[#ŬOlr8i /b%p䈵f72) HW"}& G$.oћ6+Ud:J|";j*>Is)}%# lPureML_BootstrapPIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&r   Fk?GG"f:?}8>x*µPXqF ֔uª攸$@_hO įG5^y~}ɃlwC/F%7YuIQⰒ}Ƹg?l!p =],m^~ :IArPO[l3$u+ƫxI}-c:DFMr]_H+οQQv5smqvlBo{.|#GҁUrq2,q_n< HӒPȵ[y͕h81X.bIĊKqLcpMLoHYb;|$jݹ^n@2XfuJxS}k Og/GD O?}\D`D61פ?? H_&6["C4~X3vÄd+l_ F@i}B$6=cX?s@QK- nZ5j{&zB_eĽa_W@bJ r/RqIðAcKODM` [0iq{[>4T-Y'Q t:P"H+YnMjڦU.|ϖ`/Z02 `$a~c4sA*BSWc?7^F o~0.^bic;di(E'N0<Zy95eTB߂+%!/rhM)A~V:'*#YL#C.`?]_1?&hɭB_dq,P$%Hz=\OO55j;DW7˷+5-c^Fb8j^Ն>DyYf0{gaj? +E{:ɋqSx4 |eTo&HW>N||Ԕo(Zm-m|q@na:WZ \n6Fjle H}i°91_`-l2EMcnJ4_9RS[%.:a6]KNƥcG[MÌwA15FK4~UD ӏ(Ha \ A2VXoddC̅\|仰{uu(3Ld~zgFuGe )!l$j)222嫤3/c;Qx.QG㪆z ;% Ä+)9Aڙ2mw| ҹo-Sk~JR.+v5İO ڀϋ?bsV6T65z@[*b hM='[ ո^kYThejeP]#Hτ__iMx?=_̭8pZӽ O5Veɏ=}cDx8â|_A_ʾIq!WVCL4++|F5|W&3 쁄D/}2 9+yOsa FQ9Ma,Vj|' BN@"ZPOrnq%b%n+zO&87 u$ܚt>ۗ}oCa}0X2>2n3gːm.1X|^5ޔ!N;;N;A.LUN^ LSi2̱`gYZrD-E.>){'T;&Uƌ\{+%\K6Hɾ? ο HcRDqc[ܨ5q=9ѰuF޴E4kj/JBu'e:=htʈ1mN b6ZñƣGSx6`,Ŧd^Z,^, hNc=*q$e,c!6gJ]R*VE/H /V)iz5]3M!s7&I|:eߩTr.,\=bϕ=n^o]Acl`PSlA7-e~etz?UrNQ8V{,sA;IP8bB2b^2جY},ؐđ e= ߹doЃ.NH '*1D U+H.Σz@0`ZzHXH;JMJQoU`lk~xbj8GrOc -ݜc=jb8|$,9ڠ@IGNSףJ@ylиUZ R&A@קn吘\aCg;u+ ִ~/*[7z# 5z/3Q٠hkݩnȲ|myE zN qbJQKP83c}0oPv=.Doސ'[0gblM$NVT*paWkt=&ﴮ.fU äaG>N xc~v$YV GC F@fquvg2@x-cw Ł@UdnE7 zTy~0ݞ^+q΁osZ=Eb\EIzp*=npwWbm7ГߍY-wX9&_U3RLWJ0ehg1.>6؞hxk3j`m]*Bf6޶0:KAqVmw}OHZ2e.fhm A rB{Sƅ(m9"p2_T/ITHjjB8R6|;peЯD:b;zF_UVNHT'wN*wcXP>6*Z~(}^ Dhsck, B*o3 w?^Uv᷋ix2i69qy{#]+|ˈ~|h٥I~Ku$NISУd HlDyqHQܴw,W=dꁤIx~Wڿ\pR+CKK_ÄIrnx َ~>e#C$W̪<#Z7>><I/[]^X_ûֈzO^¸9_>Ni'xk[rՏ}cY'=tNa! Jeդ w[H[Ytyil ȉ*irR؈vtPֺyn7$.OMvFJ!v]#+M}բB[sl7;ExVz*w6TlnFVBOq2^z( ad[ d^1T !@PB~9+PCmvt϶|n ʩ2u Nt~}Mis-cj=$m/n_nxXV:^]>)N@[B^]J~2{Q|/S"Bҗz4\i'dzs&}JΔ42$S4P"Tr0MjG6ߕmV _9؟"F>N~j\вpܼs[a?]qB`N[S7N!ۚ2z?">m5VEI.fAU RY!˻7`Rfi/)`oIrBc+#&(+)uxPAVH6O^\t (n`(֧X.N&)[HT/'Zbq Af\XI_֬hy؟G5p @_}B@s҇.H}hD؋#Y 0PvpفZ*]~KClhgr,̳"R҉^e߀ ٗ$u)y-Ρؔ_ $➸SmT3">^R[Y;1/: eOY:<5{\24m]v#ٚ݅bt_ Oq]I- J'W< Ih5Z>l)|X(qU5ߩ:+ 7W=qd٪ %W(Iޜ6%H@O/ ]BҐRA}CM ? k|S%rZt_?>79.-]̄ؿǭoEؚ+;b0 ,ZIrt fƿn˒ؠ4wvbtd_ mJ\inK3׋oP*8ݩל)5Of /b()D6 ,F1 լݏ.X_5T5~5|i4Q9AhHeFs~25؄bWjwgdcM@AR65c#V^:aLՑwZCC2k*3= Ig @ۡe Os8q]*+)keM]hcHaƎWs#!:0ٳF(sx@ K]f<:41%łHK6^q"F%8, !e#$}  l~cUcCcSbV Bfz#29Y/Ne[gq0DM>Қ :g IWKK7nL&xܩ?^%OYC]:ߘ:Gi-;YAw?X!km44`j؏ =AXކBf2H%|4).gYZ  '' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zJ N&!꽸̂a5Nk#y1:-.H X L~g1`)X6W:12wĵXi+^ ȱgYZl'# PurePure.SessionsPIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3-zڍbVX;i{SL,wtD,2\b6ÆݦĪGbzL .a!vh(Oƿ'.fDJ t`SKlhITWws_tVVSF7lp!0[gnO{AǞծMzm.Z^?A/Qn=dG8YnbFBYtHTڌɇނ~KE&Ls0%]QUCew ?6yƟp_)`P| OHO^gmv6,:geVC_bڥ40$lfmiUY{ UDJMZ;b"(90.Pn6d2,[v?=SuDH֭Zuhs3*{tEZ{ɉ}RȚʚw$#KT ==;wi^hu_<7J&Aj`dmF6qDOߝI"J)}%&fӯ\,E_(w*&LMLjOTVCR>&л 2A9 u<P8-[s5$+~_\ :10d9^DoU|=WjCA^.~+{UUKpDegK8Zv %E1\lyP#$U-̣1P(~3g2 ZKVP*.4#N&大 ֶ,u.6}S'n<2V7wͼ_!k+ђyZ֔.lRU Ԣ7PB76=ۚ-fs0c BoZEðz0!AjQE},]Tߚ+stDǟXI*a|#aYgYZ