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  ` `pl\l ] ]Pure:threads=1elapsed=1.275cpu=1.344gc=0.0007zXZִF! n]ŗXiɟHVҭٽD8뿰tAƧCE)yiTIU1'upqY"iTw JR'Q AA 9CŸDX`gYZ7zXZִF! e]ŗXiɟ˚Ћ. k$wqi,0I TJI FlTj%w~{pDz{/=2&gSfaJG)4 ,}gYZ7zXZִF! n]ŗXi%>oEA±Lk.ѷ3=Ҏ4Ҍf*l%z-E$e{vCMYK~8/Ĕ.dKA{OgEs( ɤzzTrS$=) ,4ޭ[U]b#t3>HkWo=?62Hd%nH,k*)8O #u^SzG[jዯo )EӾ ;d 7;3Gk̋ɒ ~׶}-qπ ;-R*D:Yw*4T%d8̄txhA\ۂ>CڳA=ea,LkJNV `hjaJ>"Avf&lgzK1$1h3\ J[5bw}!=\yZm5NTSm9H_a9 9$A+Y: jPxAT dy`'椐v<NQ`nx7 ғm[| s~엂#`r7S3X/Z$ŷXH'V2gYZa93b1374767328df7e540b6dec696ff886eac9f7cc1b50b527d94b950d2d160697342c63f522975a  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?'w&spoji a P B 3 % y/dI *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[yW4$''PurePure.SessionsPIDE/messagesy"'#PurePure.SessionsPIDE/markupx!'!PurePure.SessionsPIDE/filesw''-PurePure.SessionsPIDE/document_idv#%'PureML_BootstrapPIDE/messagesu!%#PureML_BootstrapPIDE/markupt %!PureML_BootstrapPIDE/filess&%-PureML_BootstrapPIDE/document_idr#PurePurePIDE/markupq%PurePurePIDE/markup2p%PurePurePIDE/markup1o!PurePurePIDE/filesn-PurePurePIDE/document_idm%')PurePure.Sessionsdocument/latexl$%)PureML_Bootstrapdocument/latexk)PurePuredocument/latexj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/43834f%PurePureproofs/43830e%PurePureproofs/43826d%PurePureproofs/43822c%PurePureproofs/43818b%PurePureproofs/43814a%PurePureproofs/43810`%PurePureproofs/43806_%PurePureproofs/43802^%PurePureproofs/43798]%PurePureproofs/43794\%PurePureproofs/43790[%PurePureproofs/43786Z%PurePureproofs/43782Y%PurePureproofs/43778X%PurePureproofs/43774W%PurePureproofs/43770V%PurePureproofs/43766U%PurePureproofs/43762T%PurePureproofs/43758S%PurePureproofs/43754R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43570N%PurePureproofs/43536M%PurePureproofs/43532L%PurePureproofs/43530K%PurePureproofs/43526J%PurePureproofs/43522I%PurePureproofs/43514H%PurePureproofs/43496G%PurePureproofs/43492F%PurePureproofs/43430E%PurePureproofs/43426D%PurePureproofs/43424C%PurePureproofs/43420B%PurePureproofs/43416A%PurePureproofs/43408@%PurePureproofs/43404?%PurePureproofs/43398>%PurePureproofs/43386=%PurePureproofs/43382<%PurePureproofs/43376;%PurePureproofs/43372:%PurePureproofs/433669%PurePureproofs/433108%PurePureproofs/433067%PurePureproofs/433046%PurePureproofs/433005%PurePureproofs/432964%PurePureproofs/432923%PurePureproofs/432762%PurePureproofs/432721%PurePureproofs/432640%PurePureproofs/43180/%PurePureproofs/43176.%PurePureproofs/43174-%PurePureproofs/43124,%PurePureproofs/43120+%PurePureproofs/43118*%PurePureproofs/43064)%PurePureproofs/43060(%PurePureproofs/43026'%PurePureproofs/43022&%PurePureproofs/43020%%PurePureproofs/43018$%PurePureproofs/42970#%PurePureproofs/42966"%PurePureproofs/42932!%PurePureproofs/42928 %PurePureproofs/42926%PurePureproofs/42924%PurePureproofs/42922!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/430207zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0]Iוx@ꑣ|)쿹gYZH$% dPurePureproofs/430187zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/429707zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝V8՞VFuT4lWgYZh"% $PurePureproofs/429667zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wRC:`kAHHA/馚hCHo^0gYZ4!% ! 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/432927zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/432767zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhR{rqV[d}DEOȌ)Af/r|ɗ/^$gYZ1% PurePureproofs/432727zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/432647zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A͆u{y5(HҩrTr, ND(gYZ8-% DPurePureproofs/431747zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'i wwa K d&, ~ VgYZH*% dPurePureproofs/431187zXZִ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_|ydNN:9ҏA!64z]gYZx&% DPurePureproofs/430227zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&؋$nXu)o ieJgYZ  #   jc1& B% PurePureproofs/434207zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰe-vf"oo|y-ϚdiOqF+J HagYZA% dPurePureproofs/434167zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPx+nnʮ<d) I*gYZ(@% $PurePureproofs/434087zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%-?qI,ӂ e*?;hwY \gYZ?% dPurePureproofs/434047zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטe-5ti_ ܷp(: j;8gYZ$>% PurePureproofs/433987zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/433867zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|J>^:&#@!r=Cb,K>1hqױgYZ<% TPurePureproofs/433827zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*$)%MS m*,M-jgYZ$;% PurePureproofs/433767zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/433727zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^+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|O% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-r@ 'R3njCc gYZpL% 4PurePureproofs/435327zXZִF! e]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGO ѭ@(O;Np*p2>%M6yzK7 o`wQ xgYZLK% lPurePureproofs/435307zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&ҽxaqy3`05|'>>vc ,5hsA sƁ1/ψfIgYZJ% |PurePureproofs/435267zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛo_@ $%Gܥ4HIzeI ±gYZ\I% PurePureproofs/435227zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z1)zLJ5E1(! ?igYZlF% ,PurePureproofs/434927zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/434307zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoMc:El;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^"("ŏ@_"תo  _k)gYZDC% \PurePureproofs/434247zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zA<ʮim]у$X&qvx%- osVH- r`WF):sgYZ  8 E8aata% ƶ1bXⶕs_|醎|v%jjj,%Q]gYZH_% dPurePureproofs/438067zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝VInl0* Ta@W!i09NѱgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/437947zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/437907zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/437867zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/437827zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/437787zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/437747zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/437707zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/437667zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/437627zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/437587zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/437547zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eapӊiZnySge¦o9lR2gYZEQ' \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   , M_i) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZkg# ,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ԫ .~SEN\vCX"%{m )Wd=vAdUm0>`$_/ y""󒁑,IV$D%McS!(fPRMg{pg5Ԥ3*n5˖ Cᔜ8 E_=$tNLJ(<óaQMǐȪ&} ֻt{ :+k_?pOm4T@+c>O"N -%#[_^E]ݰxWNx r,/۫׍*g!fVU7jI Qmf@|-n7Z-xoT,@b--)N@Vɝȍ0Mbt)ϫ̓c: I<|w~8+5Tډ}>_"W}ZfeHonaL]x3+`,:Kl9m1769RRܳLT -J_4w_* ] 4Asb &!x@Zwo q67_ztD[5{#s5&4eZ.4 GYQ7+_uZp_ǦҢIW7jfkAfUV"4"3]g}'~-5g`j9X'AQs%} KG%>.YHQd6ʲ x,^8Knw!֥XQeaZ+ F?/Rیvkr1k:rz=\sVw,, P- H٫l*v{ðX _;V<段\ɈsW#!L?;m$DѬP*;P8rUoS,U/29`DZJ)jĶgYZxd% DPurePureproofs/438267zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g4dB?ˀf,Q"T>,T(9.\#gYZtc% 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 mmsj ) 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?$䰱 w O~wo% \PurePurePIDE/markup17zXZִF! ,] tlHXw<2!vpU<޺v[xX{8@ߒ ;aYeTtpag, 2X[:'h4.:{DmCgュ O.Osg⦔_P[ko| rdɠk\EIk ygձgYZWn!PurePurePIDE/files~~/src/Pure/Pure.thy ~~/src/Pure/ROOT0.ML ~~/src/Pure/ROOT.ML m-PurePurePIDE/document_id2Sl') 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.k%) 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'k#k+ё6 (툍q)0;nyL}exW & #Um8ZӜhU~RiOg|s%[KA/WsϺg2Ȣ6V~0"W= $cݗo{Ȋ'yU]-+,ڪg𹌣 Jy^UfQ_hଥ,QSSm#0ů,)r[OZa BOAn8H2fb 2 +Qt ""yd 0IuN _⭉H ٿ7qL4c+X[E֨iSc%_^(KBnS ՜~į xmfkc0`إ3!C#:e$+!/8h幏gm4k7q7&6 mmN?)'T{htI/د,'I5S4_Q¨(b,"dDEuG`n<5Jﯣ_/UPm>#H!?8n[L*Qɘf?VK<. uTdVRwRQë *NwƸ]naPۊ}uDzmMd9Om,Kх zx1 ZcZg]@N>FLŸuN~ !3K Z[ .oVi:xwlM 17]" spvCWsS3(HEE-@}IͰϕiK<A.u | f!^&ÚC'ؑJDSp.ύrgeґnR jՎQQZ;lM&&dH[vi >ZP=Q?HB[K")*z^)(Ed( -eg@u R; ncaA6#3@'P+ш't h&{%Co#G Wވp8j KXxnS«s8RSI~ׄra;MS(>c"XdLIS=zn X蚄 f3@ǭh'S%1"~bP?>&C=ꄏcU'mg5G^$!ϾھIs~_Q%[&^Q~3s7\2Jg%!m@@"FA/٧8i=Y;5 n8%tx_LRjtdHgRz2<[Ha(DfxT=IZkU-I|gRE:%gYZk^WNSJƼv@{bjE&ĸX}(\KA߶)g5|Am+;fP yztm$3+n)Q(:fγPQ:4[YZ$WF$,3:FK7PR_ܞbC |K'l#:@7Y r ˚&ӫ4_9qJ\2L/duOWzb>50G>%zO29؛0ti35A+k:??83΂m,]-[#Q6xnu rƒНCtie =8$ܖ"k>x{0Q@F*W7/1'NZ+ \,bG2 L`֔E@i[ΔJmB?[+;I]a׶ 謿Y$H{(Td_r!ATA=JTH? gȆ&zCNܹ>P(HZKCaPޚ+cAR+ gc8qaPkuF.d$<+HtM%cڎ8D&뺂?7b^ohdTP;('ـkLp_ٮF4Յ 5H$SpI5#XfFyb&fl>eG3,b=*yލ?u⨥{3E hs&L)WYfVcgn!PL)Y LS&:&ELEtl#HuSyx5ؿsʒHj#Ջ+gGBwiЙۋ5RխF0fuQIl\0wE`ڜ!y>\ìwk&U/FUܧf1upReIͼ1P1=F&d ז;7L, /I#mVmD7jw8} Xm5Ϥ--;&~ fZ[Nt5?v:&}U^ACǭ,. E^|ب4 3B63Z|jA`OgD~.W&׌ۧK%{rmw-G*S,g,=sEf1xȌ Zzuլs1^24\&JArD!f# -/xjgif]1 fN)5TTR>[I~ &B-^aFsC]ǂ's bO.Q_ p{gV\-jDNX\y|܀$CG8a8t4ƙao8UÓ {Sx,V^_Z5ģUg_n{3Ga,+p/]kHIVz9 Gr\ 06_:2errtq_ wkۼ0xp@dh%J6)eyy@ J'U(r0:B[qEtȇ}Z_]h7r 3a*?'MRY7&V⬒~w]W,Pgm!84XR>jyb ?xsy,30)=W3X?T9r3+*TG E@ ܘO?MqdeTy~TY*A}n"VWGahY[6H/?WO2#_' sC"cWFNϚ5݌V.)ȹ7L]O)'x 19oA1Di+B^SgHd*c0 j@<%};rr_9փq4v vyo^8jI(j!34-J"X'-\x߯Ǵo4&+Qrf`ϯ6Ĵ]u{"+AGA[764$zx樊v0yE]IP8Vj+3#eG" tX|M$qż w!OPC?0ΰ'yU9ދvpN^{sZ4U@UQoX@$NA\lOw-!ފDZ@Ei&7|"4"PYœnx띪m i寷 ZZ  R!1s+u#hϳWwZv 4\>6[;#?dIFv(fGzMȳ?.PΧo*͓ܐ.ۜ3D惼n 8s gu{!.N&KK = o}jQ'r,*sf]ZZʍNBmPF̛IaR83AT:wߤMDO` o2-M7uQu6p:EJ htaMJJT/jJ(VԳ2Wc,~ ij;#.@p5 ݷX PLb Ae;9V0onOŀ`~,U+)13XTր|DR` K ᦵ9l/6ڝ ȻPUQ!fx}`bUDYwjKܾl ;|9[JL&= =T]٩̣x&5_g'ݏN'87eaqM#ST7'Ur-͢U`]Z;OG4-Ԛm^#,ЅT<e"q M.R&"6'ax68}ԧ2SPc"53EQs7k3=>sp*kTcaWkϙ}8 @=ຽk7X59М?S&DZ[v|E!6ӽ$CpQIu:{зA.<(C4ԭ(4b+`jgyShCY@-.g*~/c&K6/TG0ْ҇Gwj#p:K ZS jR\NETLb]F 0ۧ\!GVcD["|Fώ؛~$G"d:֎lܒwFXGGArv6K$;&q(WAn9n8gHl#&ggQ%nkp-HhKBOoj"P4hnվ\ևj/S>  r<ljtQVB蘤M .'j^tֻ-#gX?ǨHצm>mA(r=xFBE+4;PzSäH5l,\BeZAQz։г P]MVۦ~G!๭ztÙ*}d$Vg3.X)k99=lr 6;,)x4>-;~E9N?g XFPxdTgWr?9c6Ϡ*_] -Θ#0Zj*JMb^QUb.O 0\]L2˒UR3dRuH/tU> \/lnu>5{,d(F 9;SmH)$}q͊,V#>PK jOf*{|d1U$84x8K8|)tiIډF̡*@69~\ !"M1jqs'K7OU&ԡLZVw&lBH$~9D ǎfIWws_ v[W򐭊k!x#Jysw ۬w;M_bA˦Odned*$;d{)Ԙ$VQ^'iQs2T[W;VȆW'Da7I|t\\p*A rܟQ6Ϩw>ζ=>܌ڎf˞EZf I䷌M ‹Pڗ/Emg;gj]k'ro3CmWF3O˕q"^𐌤3kNC p9S}6j+4&P$EX"PR&]x+$xG}_#>Z*včE Uk׍+̩!>biy$ԅf̹ P /p޿UU6@<$C}3I]x)mcN5danZ4MvdFgI)0 ۿw*+ŬaMgMp2+ S  @-Zv2M?kzTlH-I6ig+E!,0|RMT!(2ؕ,i if*Q. $~ cjuG8E4Yl? rE iƄ*깸Ij] 8`ɀtwZζN}EUdЈxy- F SE|)Ȕ+}Bi%m|E l컥T,-L2Z7# '![_+.x"%L=TID:HT.q @ %5:ybOɆhlJ߰e]QCpT;8I'<0*_S7]ʻl]}[t:ej8 87%.~b>N)8q N5oWtF*UN;Y N೛lDuJ;i5YF8aFA>$6\9_8d-%e}`GS ע}i#Ƃ(-E(Ži1(uѷ]]IIC\.'} !n0j dGBRd:f|P34gEOC}_`J)%Rp_0f2>WؔyoO%w]0^aTelF$l],}I.(giD㉨`iHjX~E4}Ga#\EypַUчnj *>tGB|wj+>$&uJ?lw@LfTyz\ QѵplUi'm5A37{:EJhKW޲"ki'B Q _cUrʀA+\8%6di^فM彍 TᶏT$i{{ᢜ>%HCįTig^Ԗ>.||hh`-%j3e^2@ *qFs~Z|pg8y$#l_!UJS`|H *ah%d,oEVrDd{ܾ#_{n83F@ݨS=l"a7R :+uzx6YNM-}$=fF 3xL#[Cbu螩'Tv]62e*ҮMxZQ=GիYnRDQjrI_6&>uehb|F8YKdf]'qحvmA5.G8)>uƕ\ <:>[}ٍHײ@+Xl|٢?ˆ#^vSY2x,-73^B~WF'uN-c$l)_r.D󯓉ʱ!uuc4~J?]/kuV#d|V[LQH*?HzHxBb.A V"V[I"e5 X֥,Jr9kPf#6m57T{E`8y!xN|_dɮdG#$yBbu䮾[RzokB=DO*eLQ2A#];FH,jKVyUC+s!n)]PAz}Un{Ć foPsnlPݶfulc! O`xⷭ3l0ZlU@[nR97H-|nE?!B]#@%n;@1MCtDX^0 0)Gt=5#OǹhHQزPUk% i \Dڭ_xܠ~Ib1~;,KB6bTh/cyh?1\H;lJúF_D+ Ȩߪ,|zfA-9t"of:9 P8҅ $Q{Y?pi*u)I'DX9h@N:;5~GU;a*ڿg)='dG_(0-puvpf\A)0&r f{|޶VJd'fK*΂F+tO2KNj˓ ~` *>vtagTebxim* zJhFZ&iZ)l{yk|A-F%y.}@X@~}Waj/#-_ISn>ڋnAdLR. {ēQۇ/oK̳uR Z#,bDzRz5?y%gkbǀ讧Y`sQmmr4 53cB#౒SIOUy VeCx,ynFlk^Z6ÞNc9ԋ=Tl!{=q@@ Òi%]?鱞0JKػ·c1^j>( ׿ p"Cj鰿@܎O NZ`Gb#OLI^o|K{?P>7 <|[\sQ >a g~"GߴL5eWAVyYC7+E3n ؠm݉/GUJI1RN7-}"3~Zd(~imPO#9׋ia%f6agDIj]ĂSqSts.1Cjlp7ɋ@Hnc~K3x_z4.af4__#*NR\o} [Rٵ< oɭѝ9 iPOSϽJuN~)"Jm&+(U{{/]s:(ڎL ޯ2D!2NG,?R+tNI()$vڸ1 s]Ջ;Y@$TH jYhX*fҵE P+?*,cN˫PYy &Z$d>3mP1܁yRqأÝS:fR݈v>ʞBìr u<)[mţH/#xt18u:Q5>־yc/LAx`E4gv5"{ c ])LHGzcmT.ԦkL  CT`.3pK@W>bMbu|-uV[8 l؀:Ĩ('騆g%:01 sT g7Mq`(n9Ĥp(N-ghxn*[3]އ`qMPF例}PM:x'gS(FtǝGW m)jmp "k'^oYZZT Plab.{5A$Ft)5%̪ⅫmW3u l p0C-0ynyuI [2g6o{ݰ+HEJ 2nDV_%vKܠpEBھr=sR:73ѣEZ[q2فj0d7? 0:QR؊<,Ҫ)Agpef¤4IyZ^!5Y;ьv_F1p8)l)|1o ʍ<*s`yq$cl5i7Il (f πbGm\->Y}Ǝppf P,dsp _.yj(=[S,6q@< &BXg ׏/G8 7< 9ATA9BvG~\.? Ȗ t geq=N0  Xl `qЭj/Mt1O@^tVr'qgIZ܊m[7s`dyjhD1Icy[ul[<ϗXS?@SԧXR'o&ny/$VZ%صy~k]P4?!>8+D k;2جm "p0 ({p;/(6{<LL$yYb!In )nEjscH`8] h`WH½yV6HI{5dq&$| ͓JM>(om7 rɃ(@dWC$W_Kx6+W}x)s(1mRR"4vM` q7l&eOB*UFgĝU2E'!f[toyD;4 'wc$jHoK.{b@C @e6164o ^wȗRl1`J am>i#U#|31AipÅlR5B_w;rt6 D{2M+|6]4`B:Fș(_BJn(_]Ȱ#N}9Sn菊ρIPџs+}Y\j G*-h<ZiSU} pVչ}q0zl\f;9X}QxpH/5闿KYv%P1:(C=:@VкI/{ GL_& UmܪY&75k& 1ޫ3wqJR!s§UޟZ',Ye4 HV&e4'?ivÝSkŮG ]Oe@!մs,Ĕ34 YM' vww;OZrU$Nrkuज़39Axc YDU5߲QCй7z|&ö ¾D^`;S't9[7N8 MR,vBhPFu-pBGbN^9bT)xH*47)*yP w0ׅr.24A鋕n<Id:c?K՞AftV)hTWa͡<a9v1c8nDٚDJ3ij~L D nw"u$dhsfU Yg; *vTa#asIyHy~^ڐ@(L֓0Аݮ63)c6ط6ܙZ|}{.%Mi;w_a?#Q/u@3b 3\ˤXw--Wgq2꾫C(&m;!i4Vg ݲ1tՍv RRhQMJY[g5Pduq8X52*Mv$/O)׺gbZxJ6d2k6] oPfJrwSp/wwJ+b]);([n?[ˎii:% E#9;IQې.wxҎ6I_CǦy ¼Ec/X }4b% _`i|$X*Mf9; x2`{=k_Ν9Ŵ]-[ԷVv)oؐ5'bMO7<#x"">eR ,WmZ^.|M Z"0nĿSI^N9b"<`goT4֯\W WpOI黫w:5_Რsx3Aq;?HފS88 )ıX#ay?s0b ΞnvFAhrn25xuҷw^1H dfzF)1rj ā$zNF8M۠v`{(jC_/՚‘J[Leno;_B㙡sϲqU߉hߘUƑ p6/T4 uS*@\Ӛp掇M \@FG; P{gwޓaw(=Kq;4N\A2W#YnU | isn2XG: b &&a(3-aߖO nsG R䋘pW*;RKìթ0DŽN/Djx4H^)sD>1~]sk Ul䌌}928ܔԮ4 YnOJM*Vc+'l.f2h+P00U/DX̍]BkHe&y. %:wnyܦ »ۡ*% 7CXhWZ75s-JdkSW |jKAp 8h% $t - R|c4a8zm"X:dms,5_ ǢP_d.[ep#m&OSXɕ lZ˥޼׻/. Zמݶ.⍲E[7+]i;@h' b1hˢ],?=DwDž}F2_uPVȠb՝jWA92߶Yl{ &yebq8?s _>o|U=XXsOBN1ͺ( G|olT H$MP0=H ?X_%NJD;6{[3'3m?aj%DdDtMԙXߝQ ՞x3r\,r&xvUյ%+&ؼFqq 7td܆9 Bݚz)!52Ԯ$ QHi-e%"l:H wr*\M7\ ]=q*"QG'uM{z:&Ɂķ$봝\r=%՝y,٘t9(,ZB̩6Dl)yt3HI`NAֱQ@rXݼh5x`Sk18d[7Io99?IBkg(`! m ޖG oJ+֧= Tx͟޸HZ*F :IkBTR3?Td7XNmAy&;s|6)(ǜD18e`f' S*A ZCM9C9 62oX2xd,>-ȯh/JU-bLyMm ӓBȀ`EVwUyf4ɸ[<8@ 9tr~ʔc\Uƈ 9* uZ$b@GIa?PZxɶRWcct:6495F{0=>0Q,y =V#k{…/"5Z~I/MZN1J^C e7SR?|t~G2uSxz8/Lk:#2(7i;]ay"1^vjnP5UMa=moKst.ASיہmm*x9M^\b`|IznW=#>,+B̐ڍIdJ=q&+&Ʒ'q:س,|g6jŲ$lnKbz%c !!pM04Y=U**Q"|-cQ?"0]!ǢvGi7^ ZlZf.7Hl&%z3_Vճ icH&Al{+lsgI |Nݷ`S+ -NJRgR4=*ߑ(JA uZ =PAMˡE=0_7emG4zek @9_ev{TgEstBjX~阚1iStnJZ+drvm['p7F1QlU5%Kl]`JG.UH Dzh*wgD)r4´o΃ T4nWz캿ĕ!o .1`bX GʍReϓRb7vUuXobϢ.ƵA7q_,f?5ɀ:Zf\q #X @ ywj|a#(4A`touH-bQ|9oLJ[ᢃ </Nӭd2/&r*k܍[.qYhĊ'3EfP[i^'6:I# ZQ֮SIbq] 1ESY[.^ƫQh@'5N5qRP qŸ*\ww7ӴA~hS-]40pc[/nm0t: gP+? )]|x []~\*[ &` KX?xQYq-Ŷgul\9rZ)_7H oLBk 7JKjn( mLhQ13u]W כn[SE2 FhTbxZ-:K%9sB@-%ٕrն綺mofuDس/& {w}XID{YhvtRќˮ7Ob"fqY9?F=EOUC>HF! NNz4#q꧿.?`VDY ͢зxgx&0ܗ yVFNyr=$94'ً xHIK(29v$zi(dp{p V`J-߱P$o/P"؆UU㚓`wJuD E,4C:!D0-Mժ)OWAqH92?yɔ ciZw͵,xhH;O^zbTWЏ2q,:;FSs4*bTT0lx/ ~9wmf{Ɏb["_5< A^e넶SJu-''w_X>[д߯ݵޯ#ȶ^ҨZҴ2ZȲ_Bwi;bZ!>,fYUĮ˓ z"&Q__J0Z9kymXt8zIn$[ڏ.Mc?żfF@[rx15]XrHc"ްB%fAuyqoZۜ+ዞ|)ِaKoTxCIf/FWHwh*uT˒R7r#XGz(A$Ê> X_S$^X1?8,?j*"$%T|)ENc k^Br&.(K$ !#M\Jn&] ,tyV6`C=deQcC d"%Kq)Qn%YJYrMcKוViEWۑʦ)*?V({arYq.8Ϳt}n:53ODg_ 3vҌ]p|Z p7t)4kVLunX X k f21y1Frg*u9V ㋚TaV> Tpgە3X|5͕8] /igeS6!3!` M~cIqBZS{AP''kd)gQ,=Ug! 5tZ +kJ#N;I|LYc^" u`QKUD'PV^\LD*98aHI=͝D$j7 K 7"שUxv5O\*(RrU6nKaFm.Br|3=>g0H|bxbEj!XjL,s1_Ze*}ijC: FOX` rᚿ Y}7LRDK1xGenW(nDSF#&8d}f!s9Wn*GiKY!+ `Z0!&bw6 f <_Rߍm*O:=xE"I96bz~ǭvƭ~~_lH?Yis 5?tS>Hȍ޵҆xDC D N#J ZQ}XLdp_=Q+ϰrKaq9/i$]#;njoԲ)ҨL0?2CUzx`_'i_ݐ-cCqi(^4OQGφB晥ug+lWl|1 J; V r'+){󰃝HTN7sV);% kBIsd ^ZʋVLAT ޓ e_A ?s?^͍q= }@)0Q V]am-rN/ShM/ {Х˴Rsp .z7Sd" m5֯SMΗwq;Hyob6tlPWDI=L%:̑QLDŽOL'ӝh "1Doف3OK>;JMrq23K1wJ:I2 J(9eĀլˏ4رU`ňjFHg_W4*thdaCَo$h{R.NEq˰DCퟓ0l-ūc5,P C'US˃K"tooξF坂KnipNnI!bľf?=MudsKH; d;*D}| ٰQ$͖Q8[sQ@vH9J5bNuZ} !ob2[]U9;g(o^yNFz^DHB0#\6 $+p]9[N2jzj֭_LGWrpgBzxv#)d+Ģ)dd̛>l`!]`@S1!MT"2t"d iJ`2i+ TXϼKREX1?f8 $Xs=̼ ƥOvCߠ,r=︇ [E+)ۉF#\9'Î)uq~7$kX<6oTDg2CKT(b~P[,boDFoPM! zұC ҕ+{4HtC]R6]wSMD>*9/wVBJfHD}jpC4m.]jW.+?]^"}|x5 &`NyKH*M45D&F(C{'`sr0g}gsvɁ~o- >"iR^a+D=+a.m"j" A}wi~%%F5"0o-3Y!RZo %qF= )L҂hXN&hR^CsB21.0t֝=4f^@(X)$L@fkVlf7 GDpg0D@º4+rh'q`-w?<HNp\ǪESv3i\Ia>oMM? ]mI\{0=V%/6. Rq:nT"!u;@pmcKuzim~-6}Imsc<8/9KSE!|`B3}-?e"ns`Y:8oMic@Ajz<:aTqhWFX"&L1k^ϙiHLaC XJbE0ַgOg?{&ץw\3w/4wΩ۰SoG[i_/k_zoi)Ɋ5ǎDpQb >^a8$9jX16)*-m_Pg5&Xڪwt]fP>P7Td)܏%C)eF7 &v/<#22 y+yJԬFJF;fWZyC1•oz{+L,ﲾG ,ݥJ.x{77 ]R6d$ēJVP{ JL#?/[HMpV=@6(A=vaL Z7I]1tSʵ|ijqy̡| IQ ^Ӛv͈&iAXlXo)IQ,|ss\^@XWZDB\%VzH@I Ҕ'n\Xs_*f{րDf6_;پDm@5˳r,OsCl-؞u:a9Aql*7`Ht*ƥ$ 9ic\ium5 u`,U8Ib1]"[g7-J0inlt˓7b.amq,D78`am`˴KYȔm)WɮOdˏ gtx,B.uB+nIL g{xChqDG1H8l#\Eנ|97fyAxGl[.5Sҍ3%Lmر`OM1Zg[G`Uzl]HQՍӓ.(ަK9 :2y<]LzG nFʟ"3cx))DA)]cG#Qh{9~C{TwJQvl#o<+f!Gr]36|GEޞ'rWcKM2ϜUt^QLeDW.sO O.)VaK,34H/8 Ɂ'e@JiD%ҙѿ.12"< g*lb<~k T]mpNemg^;^Ł_<&AoM [s6LAyVmA%Uycp ?b w [q?PAstgӾw/ɿ7||*X_{H:jSdk?.=Л(Z5=ԗز/4& x?0.F53Bջг[{MGX+wʄS]& dsN'eX a[M3;.h%VOyYbAWgKL7?Sazf1O'D[-Gbcqoѡϒ쵨εc8GKMoq6Ѹ 8)97 +75${0JN9SoHg=5ukJS 4Ue|#:]4P8s/K ASJ0MzCT q貤9쐡Lsfضr(ܣ N?^PLR1aGp]zBi*6p])q[dRu~Y·+QAsAJnI̴%BFYAA7/ccH|CtfsYWYեohnWJڽCB %%ِo79[EF5;qD pOk<+~.NJ2 \qeqb`MqGS[5!w0 c@c'l^,K,Udi ?6}>g#"J6oqਲ਼Ѐ/ιE,a&IK Bi(/O^71<ljIhŦiF FEViJCY9 HxBM`9jorLמ`9 ȷ=hQ$)m"8{^:h`܁>vs?@SMAd&y1:512CG,R%PhKب_8UϚoʊX )C-9I%D)'yw aTg BVQ%[<)j;^0 -#u%(λ9}+WoorkAR- $|BgF,S U9+їIo{#ZMRyb"Csn388RӁH'۳a]I[d*,:uM=^YGʵrqKB;1.%ffK}OVꀜg/(0]K4,GDziXNj: 4bEr`Pݞ CRTF_3cA=[1z8)*EdZbgvO.nڪ#FS)ir)Y/yf(VSDFA{7OЎ1ͪu,>K c)iL/NugߴDPD\"j}S"m%hhyN|J7w@;hD:+MKWa{WEaޙ|%U;_s9Br zSIgN܆ySYx枻*-H}M {erzsɰW~~,tN.  򭾗SjxgŰ2li\dcy _$eu+ bHilҼ=ӷT~2.7DSFt"W&+ێ /XC05h ҉[,xԡdr e 'ƣ{udݵ"b)vښe8룙 suӝ<_nϱQ\ B' 0tRUhOⴽ$wrڝz#^yuaH7& i4~PRޒ !|#_1늩0KF8)az) }τ`NGh,ɭ2A eOtÜ+$g3d, `v莵݇'PSjK;Pf8Aa( lBZU)M(d>_ml|TDW-~}ދ˙>mp0Gr Z$jY!2 tTWbRg޿k`\wDIOy~՟7%w >%-h)-t5@*^$YЁ~USެԣM#]VjNTXJE(.)vPu,״uq/G̝cbP9y@q,#_7|b )sL@ox  9$*];;HMAكU sDs\[ jn\BȺs[WJ%-#D.9C͐w$kFXr=.E9rhPo'(ԻW~4$Qgdu$#f"Ѯ(Y?wM- /:]$<܄j9u,4~Δq܀nG _U)ѦMY/DNd)!dhnЈOCHhOks-`P vOn411T֎2Z*ɑr+h&Ƥ+؛^wXX O(@#NOy]cXIң' {ToxJ >s%I~=:}ÍNmbҽ2!iEncI>"Q\igrg=h/^="n,tN{*xWounjp2uOyO~nIBLMshr8-Ij s[;w1#,=9_kK_څU~ M"ԝfѠwZA3{xBBza <\'ZnӓY |!M-,4p NY1> |Oͽ>~,C\ ߇#s0<7?Qmo媼JqΠv Ktx6)-V$v_q-V/n@ 7K.v_Lw&s u1L| xcEvMb ;r͵ :LEcsEͷL:9!Wm;ٸRx'IlQiOfm;Ŕ<1tyY^YlKyh/\|qN:ɔVJxI"C٩t=G&0 {w7EpɱH]9};۾.YwnQ]2Șvh*5[;]P @z]QJۥjUD>!M j?i=HKnl*"sZzR<7dleg\ێ5Des|Hy/*k(?*ޚPf0wio|X(z[(=coK[W$yvu֮[m9{/X#Lis3+v]A.׉Śa%*5 oB)!2zg[GO[;78ANyߣtEjs#ˑS2& ! 5]U p$ۖ4:q"Ɠm,X %b'sA$}9a':2䜏rN8J~uDmelTs3MAxvkP޻ZEڧk-)&+dJ זPͥZq%'7 0|M<(g;L9늧BNۮM=Vx=T7L3vIJ4\io{{4,BžDhӏv2]s5IH!g1UL|(EN#Lp{3ȅx.z<žǁ[1? 7t='2 '*U0*4 UUu)J4XPs>&Q[z Ӵ%<-CB4K=mF5F_w`DtgZ=hsGФC4ۦt8s%OpDm4hOÂP\ί`㇮So"*hdE~YV.Q g~4$Ufa'xէ*ChQBfb3Rvhob wmi HOageZtRi&h9jmPd9/ji4VMyryBK6=hh&=c@ 'FQQrs `bxeHekn${q:pyVv( .'Ԋe\Io ڬnZlF<Qz =`8[-Vb?Z=؜{-تaс&D=wI9c kϢeQʦn[7=wR\=OF{A]Ag"NYԝ7 I?+ķP}XڵQTcEڰ^Ee"S e2DE+P5p lH "@ .H(Uw2B<|=sϋͫSivS%B"Jq'c>E' D+H Yd\Asb]?\E r+y| 63byUj6n6'{-8;kᐧjn%޽} Q)u"/`+W;qFBjjWJ4x_nʷ8%Q; $zsX y¾BlU}VChwy CI}o_Rus"'&@ yoV4TfYS]F!>%5 Sp͂vuHܱ0U&X5) Em=DIi%^I73Bq셫e@*'մft_)@KMVjͳԥh:E *#x f4Q2C#:+w'@u<0S(ohKrYI|_ 4VmkL_ehz!o~j> ^,xenRX:_!"?hU,]k[hyɌ 25[>^T@gmDwڅ @RekyזdƬ_k )Ť*1\ڲگ\Zg~-'Z;ym̏l Lo2 Ճ]C7e Ug$'Xo[4:?33/|Uh$BbNfp-+xeYv&TDIrTIA?oya>d;[%2W+]M[ǘ^./̺B{O'CYs;M^q r9˪NRftVk^,Hdm?w䟚$*<n6dmBѼPənnV~ԻWJse?v.(3=vz bx"뉴DK6&SpJmqFI vK9g .|Ȧtrҵ fD~3ѱԴKߖ Ro.d,'N%72 E- |Xd+kTgvev 8pѤS&9jV\֖*-o! eDXN['ն^fp}hK`%a?#q.s;$GkcBG%3i Xc^wiZosM63uwB\5,opO[.;9QEW׫/\#-8p2p*5Jae=3vb.}F<P,Μ6xOQG6st<@JZW?/ DYJ\M|LIZ}p]$3 u!b =&ZWUpA$&UaY.ƣN %upU^9)eůjjyLI],̌ΌEXΞdmQ^t`5Mل$95x3"z e36 !qVUW'iQy_tr[R"jI $~. p0-Oly?qnx.lۛleMQYl\>%P="fwNjaU#Dy\nImR y)5{g1+⭲x-\M,@n;qnQP8agw<6j@ǵ*ťkhəB;^,"?1qȱo[Ĩ"Wry?FR#V]{jf.nv=oSS¾):--ܥkZqZwL) _H_ Q{+o,qW IOJ3l6:3Q =1Q }DA&?;ay[ %QSZVNa> Z|az<?8,,XN-ĕ y`K)æGE$_\"+ 8<{ .~ KV۴0+~Uib˔j-&rQ$lހd-!۰Y6?x~bˋFBGKZva{Wp PÛ6qFt);S#.SyV8VP TT6i f3ONcKgEvP^lJC2wk L柢$6 ExLTr([82 Bn|%~€G>~\ކ??[ٹWJVcg4g6p]M^zV䡊 `;[$TVħܤ# E>QMuCKϪ:RU5;O{._k&81^O$,2xITk%Rgå >gw"a6YQ5|f R3!RPC?9F;7;p1!0mGgK;$l |ujҜ}{*ԁo jB``Q~E76ؼT&/&o/ +ږRm$\ygo@""\ h;l_6mӸ@0H+9eYavezWr/qB68B&]4` m5vG?۫EK;|c^6l]Rw뎢^͘3س"1÷uY-k I^heƙ-g15LtuV3-`>لPνFyU eRz* Ghُ^‘-o7θvт{bqSJr(gqîΕO_'j EKL:/`9 n+sSzd"þ{us[b/G,Y,x\kGe0S`)$"hg+}t/Op;r2e]0 WJF>+ƍqTf33tGFy»7W֙զCSpzqɏ:m57xqqJE#bÞz)ʥUp%d+ jwlqʍdy3y:EOh2FGBi2xvdcQ۬&5v# tgŸA*Or֬i|ޱgZZ$'ߝfdǾ8c,>h|xҵGmw=q3*+r ٧_-񏑄*y1 46}?IsR6~@qx]xvff#i6Q=) љ)oc$yYZ82ćBNJ\8K_S,3ywDyO; @e>{TL@3\x=\MTa-(UE ."rstj(qћ^v1qYh2 _$+-]&1_`U2U;_v~g[G֞4?4*ޤ[3 wNk6bgS@ݑ.=Y Kd2);xUsZPR,*C͝%ep %|ޙ.x\y`Yl cB.@10ML](&H>YGZ0R1̥ b+VR!?Wlr;mgI VN715>xcnWf P89E 4SKDdnU$ |j|F3bl]ڷ5̎祴ƐTmZ.]9D8 0ݑc" F@7eK gK"}FvLY!lxjM=kҭc0I*?_"p ]xB` Ν8aaK՟-=WTW [<\3'{YȻ:9?"[ y:̢ Hlҵ $pkހNVg'M8F@z=Z8HJ@dZzo{RWBRCջ*1_="x2Dþ}D4I-<îd8[l'8V)Fc2cH!ȶJEx'dijUH/ A)=6a7` syI3,O.{P1t]~*Oj= W,~c@[/LDWֿ:y.Mei,?cLnf6L vr; D8]✓w򦮅گ6rg 8Ժ|&_r> <uog78ϕ$ro$bX$^6Iv|dA]@v|7]hGˀGMcveJK?F4 n9 $5tP?J}LVzQ)F" a~- &_Vfs w!kb>!#5LϾ/9:XVB)WgRCeADhD{HdkLcUZTNْNJM;nH ="bei@P9'.xX'3u2^P!=J*x/⾻_jkTEͺ̺3dnZ/g+l JH rw?_(d >ئ+m=&hDH(4tO%L);uc1;]^lo5c^Tך۾ /Įxi_'''tOeiY {W]Z Mڦs6S7ܭ5'4",-'ks nʽ-ejY͙l\nN;GdaWPJ ,v$ %F|ԝ+tVZ"Sl;7=:9`鄀 0㍉mu:jGINQi]?a6r yǡ7`c=F_Ky&:+wf{ttFw(1HSzNָTjP%wYB؈i֭ ,-]+=kU*1W߆@e~jhÖL@7-u,6Q=EwsE\'h |J$'=Ö"#A%sakr6i G>n2@$ Y諄̈I},"!;dR rgQv/CQ3ljTMt{FJӥB8O,yG6DBUEY_N &?RNV+ޭJDR`j  loleL\\=ݍWP:uTȡfk^^ O\ iAԘ((hF4Yc:Nb5IHeCfԊ|i{bjo%.%"z!taDž pP d݉§T6cJ2Y^6x.s+̉N1zHmF ?HLǷC30!)$a%SK7}ۄ#ĘPTNy̌>lX]e`ξ1 .ds_t@[nӜg燆WwүזD1M.8Qr?dLI usSWԵ~i[q6ȏU9<,X8ԃv!15Z`=s4Gf+8Id4/^Y^Sm/J'ˡ)?Et[T9~%&m]6Twx"\{Et9+&oAŊfyd|a1cW}'(Qg pIԛ&W`%VЊo˨f٣4tjtde7bA A)(+vq=StP^U0TI,E/wv4aûfM[KߘZ/ԝ{ҠAL&"A)GR/Ƕޕv*&3yEhȠ|;)0F]D\G39l0ck(/< fjszfԋIQ4ki޻z83c޹JX2fsMrXxVX[(L OIϦް4;yE\w:]8hښꣶ;eLzdkR5fQWEKw8a(~jN"˱c4 8"` ~eǚ,ڵ*M?}kX9%;w)&_=M^E:ܡ:׍$%s&LL=ن[tg(oS-TWF#ݚ0oV;ż;q1y07S :\4՘<2ox$ddۥgyt*(Ko otLԜ 9])][e"[Kl-m]JR"-*-:v!'MDNfDaEMUx 0cM,N;1D$y̽%W#ĹHz<ZGtQc]m[[JF"c/܊&=j23^ }gaDoDױ@mU錛(>~t6 ր&Pt)`NN!k7l~j_ D~:Z24Cv&>e:]!(kmY=sT%#@Y67P^("UIhyaܔk\SosАc۩Րq? }Wn< 8bE%rpP h %sQKmJ4 謉6ȟ=JmiV{OW dVD'/3x*ER6#d{9B!7 ULAaVCŵ &N8c0 Rc'*E᭬D'd _-mTԧwrMחZǯ v&6UGb{|{hۂ(3x%vlJpJiNH"gPD#A/ ٨t-|5mHX.; u {zyN=QBePV[_q`mi zy}b1Dmd O vo'.j8(55,d/ y`5,P6:QX#Pl4ܖ&&Vʋův%B> Kn#+-[r D&cL⤂tSM=IfqnA>-/_dbWa 5-Sm.o}$5n~'$aφ,m= &&jhZ瞽Q'5ڀ:wZV{ <>bp2Yg7Mj%o-9?aRcMZ*?sT`uihuLY!ٜӏý}a'F6í b2*#(x].xr }&52fYn]ƍ?η2HdF@65(_p`3d4M-\T.|oXO>I *hCO@>nx+_ł'Í-xx%;q kδ۷|,SeOJmSU X/ E"^c`RW%dl*+v{h3{Y'RRN/1Wɣ-~:L9ǶO}q7 ("~Y( Xyof|Y%1rC)<;Ȅ*˔{BE; szvVGοL)uȁ[6.x%{[lL!YNXaWjf)/5u U(e zxrt ЀVy4v|<\=$ֺeH BT\8R߹nyT/+۱V5n42~]8cB@1L۹u"-D `h蹣lʧǁQ Mq rf-p\s`.xtg+N{GGq5E)-S- L|Ypd=0DX"ɘ3T#9.EOlײZ| ev`02淚&,ǟD6?ڀkVG,9wy;o"v5@➻kXV;ٵ{d'u锶,[ <ˣ gs3Ŕ9Z0Տ]8?41W44CPޭk`oUCiT$ImHLO!(7)EY٫ 8OA5Fj ,kU{\=^`TG`*Ղ#Ա[hKrr#KM7kdžLS/z\|Hn|7%U[42 C4],HRP؂hт0DIPW^ bbz⚠ UQhҍ|M;sJ?ޭ?)t 4gOW ,/p8m`WXVg^w&K@BWbl!=OW-ig 3Ӡ8NjE!<7~J^yޣ Anۮ@mNf$KnX#~MB+/EDby6Eܾ3͇R'qEt}?uCKip2P'(26N!78G)tcR!嶹cKu\?Oa.:'(+5G}iAD.SoBcv>Wppu["jLgKK?tyaND=>UXm.Gg݊rAQ6UUƼ_iw |7%)ۛ}"CYQqsإtL ()Y2Kr4u)yۯԴ2B+}}*x?ʟmtTf ֘ iYir > zk cKLKȓ _U )  9oD`z,6nFu/=UdJy=V&ʰzA//foEi_p%t7vqOJ} @ >?qx)?4E>-rWZ :4~6Sc;O.$p̀ärVF!>7Z?]wJB|U\Ije:{#6 JZy\9~aA% e [&dfA*(,?>]Db׈c}9 /<\qӠW;ZS/ʯ`-!o1WѽCEũ،S,pEǘNU|jr~9=uL 4o`׽L,ѩ0>%̋q}hN>:qRG)"l(;.N!Ƨf6ˡD!t2y dpmMnEhlB(ܱ$G<Ϭ߷TIΙ|<ac1oe&N(%#թs' %څ0gDDJaMxH,qc8{A[#+F&]!~ǵ>@#((WPJ JmŨ0E#K)` (qJlqlK@nN#3s~eVbn t˂1U uS) k.߷aUHi t.020D$_Ai%lS@j|7P ȪқN}#6!)\PmmaIY8"-ͦ:{}y^k"i$ʡ}:9Y=kU\=N~y-cq4w"/Q)iBsMdBE[HHDg$zVe><+SDCF{@sok4.1 Xf `Oն>B\Au1$pBx|URF̃Grw&d^On-ʆaewvcG4KwklaXzd7j'5M+0c=U=+~5~&n# ,.[l`S\I*?΂ƀ]tUؙ7z[֭l!t 2DT5tѧ1>Mv\u bt;:i|X\pf3 MJ%}h Iװt$@61rf@Iʎ#,<̛G$ l-11 t~Ztmjxz6?5-.& &WF1.XtCEz{XXW7B\xB^F<Ĕ?:#2޽2u) j#$$}uJ #3\< x˄F ͒>8Š4NDu&x[k4B-b_Zf> މ/>\pu k4ҷ=:lU@8=_= ]cd@4i(.u|@C~ 3P&WH}*ا!PaPKć ]Yt2X8냮if[N]DO ,SZʂW1.FmsFgΰT^޹7:H) qK@`.61w 0#ix/"wZ M/[?;`_˲v]׮/ߣ=BǙiɋbuL&cC8@׽!;pZ'x8\/Ҭۑ\ VvFZoTmD =6x VF^Og[7-|?2K7LRX-ʬh.cV@OsH&WA<.ҵ.+U=(]}#7/3Cϛr{AcQ.hƖ,F;NulgU͎`A[,Wb|YA*WUn[,=qGIG%TB1e2b}(VuqncRo|fK*Āӵ"P@1gQGz=60"3t[0/W2\ Y}dF>}'bw-"Q}Fq8LFe-FZ4)p) v>`ӀҥY@;oX.6pcS,R&"`C2P s73=l-$JW_!\)P2\#p#=}<*U5\jvN󚩻\zärܫCD2MJ@?",&Z_ǒIq%==Fky⾑!0߮~: J4irq%en'pcn6ѳ-w%"#XiEv 0BcԢP8R\tH'͚*K&1cS[MnOf,~ j%mUݜҕ 5 CŦ異jeRtR f/3d,m2HUR||u$Azrl'a,"=Ž0LAr$@,[dJ5M&X'K#H;Y֤+/SG ~%,H$:sB|7K% ȬVCռ]g`բ T絿*]IS)> >sHgl Dm‰ -HLaRw&[-㺣7Q'yӝ]J d4y9H5s8'nW{2dS Yܠ?e?K$ M_6eb01tKœg*H|Փ$}6- ދs {bcy.qKA }Ϻtl3 VS7 }-_<-TUkErF IU.Y1^ vm*) ^@FdQqBCL؄ن++( rDfƽ*o_]3uX A0xaF9!.)'t73h,* [G\n7[۪EaBNEnj&HB#K't {W1U#7BOx'`x~i8+'=+XCcnݷѭ)!K&tOQ0P/Ԡ Z DY6 jf a{:<)42Lm ]n6<cUSDhǻ ˴`BhǴ>s *zwܠ诰ð_Rj&ߺd(9CDΟ`a8J=Cqpg"/._ڬ{mKwhȷSbh h#tɃPمq W~+B-8(ѻm s90[;6`{ Ry7Cؐ6#Y$a ^] nK(}GS}cg`NT>l!]7zPYUgt [. <{'3@ 1`+ur# gzK""Ʉ/@X>b$5oф=Jz %ɈqܑtRBOxƦlWoIuHCJqg!,hA ޙ&ua;EfYc8fOzi؝uQ$Wo Fq}{+fN0Ց9Us"[N?h̔%A6˟^` $^FFH cq b5z0O1[oߏLBq7[󿶧->Tψ蜔$iɄuJ@E[(b,xml4Y  a-\Fˊ<T?{t҉c;@p?4792Z]oGU9̪NҔh3h?oD#}Î"`_517=-(kG16;.ØL "'I׎L}Gբ1Mj]3zOTzp wݴ #$zkd=k/@Yi\C56hQgUD<`]BdpEC(yqG>N1GYCGH]jjB)Z_w$(vQ_N$w?ͻ-*0'J(护~JFE2n싎(C:%!ܘHv97܋EMa\Ǘ!߀l&WBϱrb  x_ңF h)lB1fMoE]%n^\vD-E[HL~{$5YXUJ%GbvꙅUe5\aZh鼇ĩ &-O%|~Ŝ5Yv nl3=O7 XҫqSfqbeOd%H:IlތN8gDiuu9̘#-TG@'Jбɽ~|+VgnOi $U8tHV3o[)>䭶JQ3_^j9ϡf%~v'b2ihǓZl@+ȍ易S'VⷹáDCcf8s!-M*,TMC x< w}idbW>1!Ϊ JO~Ëm'(MW[(QKz0TYW|{OkrDJ?ZU^\4/H񹬃g7_-'Ib.43IRiV#,QCQ} {Oհ;?I-W6kO94XƁQ)t_kO;_-T 9p㠮9<NtSVϸ0aHP cܨ ;XrtSB9 6U6&6` CB&ߞ3Hɽ;%uTE< (I>Sy1ex?X<}-¸$2M׌]jqQc`{kّr߽sm|ڨCӨcLĿ&+. uTA NB / <ؕix)9M/MłÇP~T i_XE(1?;XUXU Gb鷊Šwv$a$JcS;ُcDBk"ddpQ2U$J:~TmOehM8txY%ѐA*D4Ӏ̫-c[iOLZ˾ɧϒ l(s=3ҹyka>ѫ/ˠV-\Oy&)x/ހ3.R/V1++m/A$r=Z5guo+>{UC7pcoE?DXYG ( (ZW J-VcgOJ2v1wU`/Zg ZX'?llKU}@nʑa*ٛUp#_ n pC'H ϼQ3  /{3dtiOZʧ?'"Lw7_-$0(.etG#P!_]v\;K;PP+[/utq8]G -REF-dz/JҿOJUHL踾g9)_enJea>,ci1ίhmeSj#-&{.T j׆a3bewoŤ>4+;0YZ <<|s%!@PureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-5.8.2/x86_64_32-linux/poly(r%-PureML_BootstrapPIDE/document_id4\q # PurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#Ob[j#bH-;cc0xN!č"q=[(VsGQ;RUg}EL|H@'ﻲeW(wt778{81L@xjz'C*S[VuEU3 5s)̕zduI&>-|2%JL,"QOHo-lL2lX7ܸ `bqAS"Q9aSU::*<$. IR'tT9 >^:/|b+{Fړ]`SC 'ʫbߎJB@/7Ffwr$BEGUo>MCBM'n7P. r,Q+gsx*#l TzjI̩2zhrN8תg[&G˺p!ˉt ]Ұ)1WۦQt,(GU%Vv(tŞ oDK*eļM-KX|< H3D)1A"'(޴N1P[JQ&F`"xv-G0_́FJ<}gzkWY/cGJUJͧ_GGf НAh qY'GWy@=pH^|:l{991[Z?$\@ze,5ǪCTDWJ{VxukҴR!!x[U޲ڱ-QH6zz77yIB h2SwCiexNyp\k% >Gf=1E&tu/Z/ΐgi >NbȄvhASK٨ Z+FPT PٚZS~::G4A DwORN*-7 A~%J|^Ч@G2wB7.ҟ ћ$nvF.'֪\9ˠOmAc {3DQ/a4:!fvrK Ӄ14Y!4ޚ7p(B бlӓ.7E-zEnpٛ̉DEؽXwD"z](Jh۽b@x [d{(/\g{|w ޡ{ѥn}#Uv#xo,8ĥXzq^ h$1 5 k >h& LjгxFc\w&9q~LGқ uno,1+gG]UH@ ~ѬFos  :w'!˯c_~y Eh^+@U.\g': m5'f%4ܳ18+^ :\5בJ\H X_KG;H<ȠS3kߡIU#~|̷1 $U3;EZeD]H?.ӫ}GqkVUܰV_|FK-2,OTJwsqpQizywQE 1kGKJa֣D/5DJU>˅BQ$v4O$O.gS^2 q rMSc˂o[şM Fhb1 >@Or?J]ۉ>}V1?  VHٞ/vwʙkj+jg+ 1;%l4=*0#x{`IضS?k8beR2;n OoDr?v \1 Ǯmz>TFai*M(K AbzճZI2M'Qbm2 Au`aW8e,O >D3(c*O3/Yo2I~OR4hЖ# #Wr.bvSi?҈^e駁WKEl6_rQ{̧4L6)$QT\_\? q)HYGWa>MbOz8tb ب%ur"R'AM 4X%M 8wSQ'm(,jeE~3J]_;&᲌4hmP<O.NCvgQhyE҇_  Vn׊b&•@ӃB,_l8XH{&%t.1PӖ,Kr|HڐGI$:Q4|fLbG&EDB3t٪x$h)pSډiĖw3+)Oz2ћ(st%# ,PureML_BootstrapPIDE/markup7zXZִF! K]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&'X K ˃ r5ǔz:b‚/wsZzx[2ج| 5Q*xB-mWzGK3kC%ēexL.,]=&r׵̼Jzn Ugah@-#łT{^1^dBiAgcX7₸W=ῷed 0#SӂI3w?X'ON5@ʀO nf*- +M V4aB_?Z"qiJRy뻪A'RB挼Gd- #΍˙gDg2;@|[, 8Z'X Mj (2ROԉST}0&|}31mP(sF:ߍl=2P12 {Lmz͐6w'oEA͏]r݆GDKQ EƠV2EdjM4sK/857B۰rwh8i w(h'ۤJs{9")f'! JI7(ˇ'UElȤ<ӹPZ) mzo\&T2KlBhDqevI[Y 2P~5!d Ԍ "|9/㥹8 {$R0&k,,uʅ#|w,iO+.2pb_c~yFm5lAYlJٛl>+}=%nE+O{z!i q?ϮEH^Yj,Yٿ ֵ6v'{j_Dwr<S{mR~0(S^/y@ATD 27Ua*Jx7"{i noY>sh%dXޕg]A91z8)r4P~7CW?o| ?/Z lՓKX$'i*jnU-[hAݗԿgYZpUȖ̜\(nw 녣(prRˮ[춼++#yfWjfg[ d4q^Dycb~.]iշ(EunS2> !@ ^ɛ^RmAW$9vqX*ɏVa!6|f )]1D<};'p~KdI"Kfq p u3Q3CοS|`I똪0FS:lQUr `LŮY! y+儰KꆑPp(Q97LtBy| gXY@.|q-k34M5uد&a0r8n$Zj`ff8S.Ռ;f9^7z9GWd^ŜJ }FD^[4zRHߴj ڇFaWrsWhӧ01P9B8$-MiفeԷgaXRݞ&H3O( D t$c*>xi6gQoOȠ&LR'*\uBzQc}&C5; ,VxS xos!؊^{~Vq۪چWh_h19~Ϭ޳+wcEߐjl0]`0Ay7 +"mM66\Da&rJ\IJ"`Cc-q q\R혴ym"3챵ΝgÍcu6qP/|إǽfTrJ{kMy @t22^AoŶ&eo`xv7@qBdjB8a9*h@!aVI1xT' U_?'"0=׭vߜCε r&r[T{ݘ$AbgccU]g Kmb-EXqt \٭EMjgϏϞDEir0S/T\ojl@n`gGUp=K5BYaQj(7pE}d.QVϔ -4/Pn e^Vw\IISIjeWn 3:v %-L/@ƽ;ΛCI4S0~a=ߎBKi uGbuhŎLcgѝ~NyxLm|,UY|*׸Cyz \t0ꢌ'|M|هJg~ ƶRA tc> 1Ý?^Op8<**ጆ>XnsJq۩MfD-ڞ[(>U pGy$Sg?~Dnf9m_KȤ*^' 96֖;W!)Ɵ> {a_ː#Bpfk1ĂEcڼj@Qtu2{4QӆI[}N.!<M?<Ѓ& #akTHډFT0tMcqPrYXU/(FM>7l. 5c^7m{0;,54CתNe+k#.t*6gjӷ{~Br61$chi۪%#5qwdOs/XPϻh Q)ME0ˀD1yEv]̲}bi f9p ^v:I}7SR=YQ?Pt'j'fMe͹CcA$-lwumR2l6`)Iþ!vD$׸<`9iz0 #I؄ D@HhH\S~_WlXGJ%>W%T+ק ߠg ~[þ߆xuS}kJ~Iusvlߨts6͟r4<+WC%Sf%T.5@7Ce}2<ǡioa+=Hk??y;(~C^,Ӣc3ȥ98;\ڛf&MGHMZ4~?MY6bo2$xAHk`tڽֽ >$KZޤgȈ63;UxVvG6w&ƪLv'{0BX/5a)i[gYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zImj:H4Y)Rpgn&VqՒ>|1H,{e6Rk`0sK+e/ќq bn]E/(*L 1̂^Vz׻^S&> ȱgYZHx'# TPurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂMΉ҆u4ld,¹-uy L{a DXİ/s[aR' +}P** d b@8Yzz<ܒ%cQzo̤[[`pZ.Tt<3 滰']fjC !xy=d( 9]ltdY+'\k G3Y%3:GAOW)lgFmu{C(94_1C73߮8-b~ʷYs`]!Tyh? VdVfl!qzJXY <,T${CG3gXtEwb@@Gh0?*[pZ rW/VT–^T\"JIy?9UlFi dyS%y7 Ogz-=_ k^wINsgȣVI@~6C{_Su5Byjy#ӬK.uhk˿FN?inב^iaX '=;"Dr@tV1o8Qmvc 4] Exf"bOb_ zdՖ*VJ-TJŋ[I z(xt@s28AČTShLϯzM,DV2?XvOOE.H>Fp jT߀[,ӡc`5a)BqAqYd/yǷGGN