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  $ $Ypl\d ] ]Pure:threads=1elapsed=1.415cpu=1.473gc=0.0007zXZִF! o]ŗXiɟHVҭٽDnjZj\*RF)reDS>{FGɔP3}\-m +qfwPo:{QI#ۻR<[gYZ7zXZִF! e]ŗXiɟ˚Ћ. k$wqQk?׳!QʼnubҙK:JTE:̀y@VqAb*;u#E^xUCFacTF'rH%}gYZ7zXZִF! ]ŗXi%Ӌto,˖+5ɤ>C)=龚Rs1qMnIc$@$]Ū BUa@k⣇C͖o6z*)~ŋDڣD,uDXwr(<H1gQaѹt@YdGeAϒ}K3u.o)'L@l/y,7vFo#/ko[ dV0x¤}MՐj3*V cU^)7r8GdE..e֏P@ 1ݪXOrzsn)UEZr> mjRվÝZ+恚0}[vX*(u1X(THݧ$z)/ G>&\ل^v:̵y X!.q&`  â䈷LL3QP7t!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/44686g%PurePureproofs/44682f%PurePureproofs/44678e%PurePureproofs/44674d%PurePureproofs/44670c%PurePureproofs/44666b%PurePureproofs/44662a%PurePureproofs/44658`%PurePureproofs/44654_%PurePureproofs/44650^%PurePureproofs/44646]%PurePureproofs/44642\%PurePureproofs/44638[%PurePureproofs/44634Z%PurePureproofs/44630Y%PurePureproofs/44626X%PurePureproofs/44622W%PurePureproofs/44618V%PurePureproofs/44614U%PurePureproofs/44610T%PurePureproofs/44606S'PurePuretheory/axiomsR'PurePuretheory/constsQ%PurePuretheory/typesP)PurePuretheory/parentsO%PurePureproofs/44422N%PurePureproofs/44388M%PurePureproofs/44384L%PurePureproofs/44382K%PurePureproofs/44378J%PurePureproofs/44374I%PurePureproofs/44366H%PurePureproofs/44348G%PurePureproofs/44344F%PurePureproofs/44282E%PurePureproofs/44278D%PurePureproofs/44276C%PurePureproofs/44272B%PurePureproofs/44268A%PurePureproofs/44260@%PurePureproofs/44256?%PurePureproofs/44250>%PurePureproofs/44238=%PurePureproofs/44234<%PurePureproofs/44228;%PurePureproofs/44224:%PurePureproofs/442189%PurePureproofs/441628%PurePureproofs/441587%PurePureproofs/441566%PurePureproofs/441525%PurePureproofs/441484%PurePureproofs/441383%PurePureproofs/441162%PurePureproofs/441121%PurePureproofs/441040%PurePureproofs/44020/%PurePureproofs/44016.%PurePureproofs/44014-%PurePureproofs/43960,%PurePureproofs/43956+%PurePureproofs/43954*%PurePureproofs/43862)%PurePureproofs/43858(%PurePureproofs/43824'%PurePureproofs/43820&%PurePureproofs/43818%%PurePureproofs/43816$%PurePureproofs/43768#%PurePureproofs/43764"%PurePureproofs/43730!%PurePureproofs/43726 %PurePureproofs/43724%PurePureproofs/43722%PurePureproofs/43720!PurePureproofs/790!PurePureproofs/788!PurePureproofs/786!PurePureproofs/776!PurePureproofs/774!PurePureproofs/772!PurePureproofs/762!PurePureproofs/760!PurePureproofs/758!PurePureproofs/714!PurePureproofs/712!PurePureproofs/710!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/686 !PurePureproofs/684 !PurePureproofs/682 !PurePureproofs/664 !PurePureproofs/662 !PurePureproofs/660!PurePureproofs/650!PurePureproofs/648!PurePureproofs/646!PurePureproofs/480!PurePureproofs/462!PurePureproofs/444! PurePureproofs/426   9W  b OKF9R! |PurePureproofs/7147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJI_efX~`xWQlHG~.)gYZR! |PurePureproofs/7127zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ~! TPurePureproofs/7107zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?km(^Pv3sW,mƿnp<-8'ReꗑzogYZ.! 4PurePureproofs/7007zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =޲%BtUo:;gYZ.! 4PurePureproofs/6987zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ! \PurePureproofs/6967zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE jc"IY}ZA=DZgYZ& ! $PurePureproofs/6867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 *2Xr$O8ucE#fgzӱgYZ& ! $PurePureproofs/6847zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ ! \PurePureproofs/6827zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hm]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4807zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4627zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4447zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4267zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|\q%% TPurePureproofs/438187zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ0a'! 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/441387zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/441167zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhSΕ2 qBv'#ñީdtbq$gYZ1% PurePureproofs/441127zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/441047zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$A9 sdhR  j.󷘵Ÿޯ^NF'i;/*:B01) } m坱gYZH*% dPurePureproofs/439547zXZִ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_}SE GMɮ.wo?foB3NgYZx&% DPurePureproofs/438207zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I&N3>ݭz>TDŽWgYZ  '   jc92 B% PurePureproofs/442727zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ]L`ZNX6"yTxVwOӢ`ō HagYZA% \PurePureproofs/442687zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPͧc˦zAu2^A ٪gYZ(@% $PurePureproofs/442607zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%ʮ;ᵋ' ϑIXJhwY \gYZ?% \PurePureproofs/442567zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטEOx/K^0*#4 agYZ$>% PurePureproofs/442507zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/442387zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK}/Uuux"W5yJ7 V a߲H,DgYZ<% TPurePureproofs/442347zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*w+v[BO7z:踧=gYZ$;% PurePureproofs/442287zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/442247zXZִ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|P% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6ߖ&O$ԧ8 V+@hOL2 xgYZLK% lPurePureproofs/443827zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&זWiq6a^|j~'C_`5R HPe}vj8$Y:PV,AÚgYZJ% |PurePureproofs/443787zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛcjSH{ݽALf9$BixS g0 gYZ\I% PurePureproofs/443747zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z(v+tМ#f*;zor ?igYZlF% ,PurePureproofs/443447zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/442827zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoi?i]u(3m@Jq*ijĶgYZlD% ,PurePureproofs/442787zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^rƢ}5(*<Yi BgYZDC% \PurePureproofs/442767zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zT8 rhfK]hd%Lm.ZQHq$)Hh}]P )3gYZ  8 E8aatb% ƶ1bXⶕs_}Q,.Ui_spu!V]gYZH`% dPurePureproofs/446587zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞In0wtpM:fF QdVlWgYZ4_% ~HDE!V1SAgYZ@]% TPurePureproofs/446467zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@\% TPurePureproofs/446427zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZT[% |PurePureproofs/446387zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Z% 4PurePureproofs/446347zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(Y% $PurePureproofs/446307zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,X% ,PurePureproofs/446267zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,W% ,PurePureproofs/446227zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhV% $PurePureproofs/446187zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPU% tPurePureproofs/446147zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTT% |PurePureproofs/446107zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,S% ,PurePureproofs/446067zXZִ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   , M[b`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/gYZoh# 4PurePuretheory/thms7zXZִF! u]a0{rg+5\CJHa=O݅vB]O -yeȉǃ mop5,73c7 H#\ KKzT\3Ý>~W ~G%|l z%S:Exo`.G;ʈq]ra.~7Nc!}l..s*o1/WF 㧥:1Sx9SA@y2wt_ZB9#g~硒𚡌ps`5 ʺL8vԧbCPɁZMtU۹D8pf8|&Wy ?q5DTC,/, N%pOlǕn=^8mW]k,^SV"dA4򣒁xAAԸJb" SNԊP1?k O>[!z,ۮ.kZW'Ge|[=՜ )FL>2&+!E RZH|wz YbJ&d;"3=DSL5< =a+B3ypͼ4ϱkJ x>o[ڭ*W ]C(|φ5ثZF! k:?eYm Cօ}C6SVvj̹OMԫ .~SEN|= u Jpsaz 'Qja}% ܶt݄cK.5<9 PN' ק,{?pQ=G]zFLnvb4O‡}jCHx\ާjsv65Dшgʂ3KkD!]'"llܯ #sD|it-o \B'[ztކĒ-tcoY_Nwj˚1Nר9?Y*ZۦSN=NMcWNKv%z=#a[7b]ƿ7p#; jg(r+[>u(5=]DiDN?8 (I FԎFJtxu6[H) 6~ ^Q~ۻQ՗"kb"fgG7jidku7cS,j@BP˼f)iAt}TS㶚H$cOxn$u\``2/+%q/~ ,ϥKA/\]lW" m;O{U:O7/y^-`[:͏}̤7(%9na.Hh4*cV\L߱Z,4[H->t8,rD ]'r jy^V挣S%#]sF'mƸ|N$AUd}C[80o/E.ھ,CS!X%XHy>v0{_yW$+9ҊN6IAlߍ Ӯ*+|zm"HHeΦ]gT\ ЫT'$&l}TO4,=r*gYZ\g% PurePureproofs/446867zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoi@Ds#o[ z+jĶgYZ|e% LPurePureproofs/446787zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g(*IQI5ӓB9pXyt-,gYZtd% r =n_((>3w6/RD#9_S Ϩ(zOs"BP6E[Dd, J)_[j+iDF OC(`s%~/UWCgf 7T06 *r 72QcA (3R6g: i4|NOFj6=иgYZ*m9 PurePuretheory/other/attribute7zXZִF! B]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%@͉-)MG%I5?;T:L:61yIt|RO)R&b{CT Mj.Vq~fLWc&-}Vr47q\9 k..HVghVNe\NCixK 09p Lŝ=;G}:oEse,m@gH؁((cN'<و|L,l~^=(Qhp$FWk=fE\ "]Vd9sm ;}6gYZyl/ (!2p398ۑzzKTVckl4SK[Ԗ i@L"K TIEǻ`a7~E+'4H-lA)؊qo 2+bC::$kԕl$~dCɩEjUWzSb$tr1N Fޢئs,~R:#Փcd^IgYZ[ 4[ ̈́ݽէ#{\(FppsupiKP4]÷̥%B㻌0ؐ#S${JX0@(@vk}i,4ͧ1A(7 I"%!yy -@lCc[gn$Y@ɛ@q}8w 𚃳'q.qfy},,;ϋ9z<JgH:? DOX#r].eI.[kZW}ԕ1K@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"oy^+5gw,׀;|LVUլˤܧ2< P e%ACm}Y6=\V~wP2~.]~8+uj$ 0o~#),RDIt*{ӥya$ġSDiʸGFhX.W%\czKА;ivde#e PqE)fs='7{51~LzF7zń\JT`hq y_e=׷{ + 8cTN;Ls[W"M8'ǜ'fnLb{m{No?MgJILkAp(o1?LS_%6DE(PN6WgbMuȹ4_!<&1Ђ0[?R N.~"dҵ0kIXh1=$V?4Qʢ9uljef)iQ0\WhpMc,/ -!53!yFkd &8 Xך- pr5 3S6gx2]R ,*b}/UpU3j ͦ6%P0khG0iׇ\%4`@0s>,sBVk+Q#ZR7ȃi{fRCNڻ:zF 'Oaq! y6)HuQG=M |ex,g N z,[ fʻ;E7~K */i&0 آ\rgIkK(r1mEfC Wj7f+xssZCR877h6NnF ΅(vڀ i\m|Ynv֚Jþ2E -datsOQ)~&N ' 8YLfK'?Vyl&X=-9eS39MUd3`RFJ2 ozg1@ii8g]s=QD|aDɸ_ƨTp/Ew{8 wMBIi˫"9Po B\{>3dnJt m'@;6$) W8œq1avl jW>>}jP٠6 0Nb_~6 ˔Uo !q܄9nfBOioӋbWߣYR@$jCqS?R*9ܴSĢEvTMSY~%lfl"jYa0jSl;!^@Jt$ᗇ(x_Ӷϴ:&iّ8Lzbs}?ڎl x9;PB#6 `ROp{gc-Fr"*N  ./#JMK%S??[T1Rbҧ.qZE\ 1K-w[7D t=慱kJ21hu *"+61Ԃ lȶ >:*o*k[Q:n'?u1o{k"p:?q2W%ά^4*ӃZB#F8ՉaQYvLK:T8єAjX̛L-!pSUk#|a\[+8'4T@9$(^cl2\6=I.CM.Ct,5lV&Uq}F^g5Yy'0HLwv-;\tCng>>UΙ^?+O>"!X!@m)k61`˺ YQ/> xhhlwݳU,٣OrwcoEo6Ť튍SaiWyGGT|5Y9^2rm&8i|&"$#*' ڟfˤJ :B{h$zV=8g͝O?Rg;=ѻ˪yU(,1g0ck\!c'5It?MV:Zꬒ*zDK;+\Kt5'ԵnVǔ/4*9Prd vcz`g؍x=mp350X(E ͫS4|Mz :IT 'rqBe w:E) _ 0j,!ۿ2a&m1w Φ(&+M9м3T.֞$.m2)ЊO )z]{?<%֌ !'pTJLZYj]{9q#7DuӬ$/ _ψWBjem30 rɃϙ?`z'aAC|%'N@]Q`6K3|~t?)SSd-guS:ّD(cdZ} daOe="{`ŘS)!{iИgi:HSXeb Fs3qy+L+INGҁZu߂ dBppFMaf7|՝՛ϣĕ "+Ndr銐j|ϴ4n{s&v$;/#z ťߥb`Pna!.ͯeS'aӲł“dbf gЁ|Jxm֦2jyڻ%okj̋^Pyǭ[U2[ҟaGYux-1k]A]<+Ͱ@Ӱ< ce,շ!hfRUXvR9S! O,C/gZ9I5v^/OQPoU/NorL,YV"ڋ?HPlhuQl5*3=ww׆D_D*^, E.hpzdpJ']PC"slSidyLIb_s$QXί4+6j䧎)܃a&Bdc,ܾr­of%5Xې`]N$`rAeؚ)j0wk&j{@K(@Y61yYf }ǝ+KC(x=Y'ڻ"**̣`l9ϤE]ն7QxxFDK7*Ԯ1飖|oڔȌYZ[`Is=M~n5,jwpź E?jO}Dz&jig%!وS*uk}QPH"-TM=T.DpԱ+mʽ4JϯؘDd25!5#'U3vw~1`u1_=<݅ebo쓲Cve>YeN#[#\b|X{P)8P[wǜڂe[`céVOua)E(O?3}eM }\#=Z ej;+h$~I:p A &[ ꔊ%%oQ9p-%q7B*u ?Ϯ!y6-[CLi:g硊5)rhu2eF/gHk]g]@otAU#y*1RJi޹CJ $cD%Őq"BōMĂ:ƬH)C7]EWư>Q}HzSot?^3!A\DZqw=7AՄ KТl~d6Er'/a%S"ˉ'}gk4ak Z\hdu>#j b oRG-1}ߤq 2s>X^\H~JpέN~jMoomxRܶ= .J w5}r53~A>(Y<ʞkבNl>\;9va>|ᆱ]qOH"wGp+|3V|`]؉E֬+ Vj Dqf:Nua,0P]=~3 2иiRVwr/'$+ 7<:-NYoW#@wҰr ITr)f`PrcRJ\ k}\31קp'RdVd%dFuɀNd6['qXADBHMc :AvvpQC?G4L{fsj :^>$DpCal:Wb wwvU\X:"<#ҝZG&&)*Zͅs -62fDrzטU+~ϻfghѶ}Lp{=} Y{åӠ x*`˼-˘w\= `QjU,_H՗gdZ^E)!N_zsž~ؕQnAu+LHio{@q[TfP^osjfbH}7>WS>Q|uB)? Z3> jKgi&ӌU%4-)>iSR}i{PbX׳V3>1mB ?%[T׆Y 3>qƀ>\sƹ>\Y( ԓ>aOĐi+Cn3Qkxu]]WX#q˓^R. 8ŜG%CrX**Ư4kaڮxjko$L|f+lr}G<D8Hk5xcIffvhD) Y}%~2 #窍p ; ՜3+V +oF7Хk\ sڜ:Tqrq ]g&b!p13O]R1q? ,ۑr^bD].g%5ʻF0 hڐwy,l|.{rG|UoH0ތZI36 ǐ  BZ zyOaZNWjPev>ʕ%OT²:vNC{{- 첷F1rWqeJu3`Z+bMGg{s#DteYCFQ*(R3%:IXaӟܝzv~0;OhE?wנUE3OͯGQ8B([~jZ5`4N Q,+le_Nm|ݮ߅ڠy!&,:%"G.0w"e \Ul#&}5A _%qF Pq 43*v(di35A !*w/^=/ (Мr!%[u X19P֙@o&`=TJIjo@Jt/1ʍ \!&t}z>壍<,جsYJUE%yI*ѹu{ݛm (' C>FEYS*7ol" Ff=U f> 5"ۖ&aCn. uϱiݎ{N bAϯT񣰱PG-R~b؂ZMkJLJ8s?_Q4bz,޷C?C=/Y|.vT;`u^<&5؛'Km*v.FL91Jj)3I[@0OU?,`t2l̠Q_ Eĕ5re2eg^N-Py .I [Fc]rŦ` SXCP|ma!Hx;;`a_  o.ЫWCƊˌjmbb*ۅhiov #8Iׄidrwe޴^/)f5W3s#=з0섪'CS^@e"wEX.UQjFa!I!c9"z=ZogT!?:.C" y4}>v9!$FQ9nb^p4=Zc7?}j."P׹a4)|<މ2ST>˄O; ] B/dKe! )DӎWwrF?~/.j1.$?14 /U1K~vJgv&qrkw U(:pj)ECQʐ`()O Ok6ilv+_GZٽ-Sqi Bͨy/d_C[5_253+LTxs8K NšnOR9/ok\<]=r3CkgyyB![}&bHE$ҡx )cI t:j/ |}W Hwj%K -p;Q7@cmj{~뵎ƪE!)a}4HJM2zJQ4%J_ vR¸&2h9q@bj:(9 ٓ1z4%Ye*L7 d-r>E,5 į+7n5a@;e+jsQ{~Tĉ?G^~t:һ&op=y$԰blH^PɃRPb6/wId&34'P6_m"T!AF'{+jnED muL6gUʅ/xϱm*ud!+L JjUb&1_(r C&Z wH6En@"d!,=D(_9^An0{nP8<ҷ=+6ޟ0L7on⨏2J=TƓމ#X~qń~]'e|uݪ_P4=] 17 ;Rfna)/0T΋ k~$]YPL’Z{Ng72բE0:MW%EpOIt*M)Dmux%ڿ~/ސT`(y3.?U>tx`f_.&(xђqrUVże {ՋAWb".S7&,/l(2*|7t%2-LEю $ tl4u:vNQ;c{4/s@v'N5ob (9 "@T:GZy=^q 2.娘zlO Fr e`ysz5~TRw.ihgɫՏx< OyGE6P6{{?XSIͲ #pd噤!û9>ZO5*8y,oAE~u%˸;Ȏ)iB8e^8$1JV$::Ȅ\БJ}A N̹3?8[-v3Ę&(oDo},wE/9uh&9JY׊etˏO~Z$*TWm:QNh9] |xNB_%?έ,,(c92)yuZxHF}Go'c6jh:Hݶg кjiTX=r~P|x eXC Q2>>"syub=p4 įf<|k >tٕA>ܞH*%"|'#SiRX%*%!y8(!i5<$`C}6M'&O>7ݮi&_cSr2>d!+n>\E)˘"yth(|TN`Bqn-7aXciH9:_--4A( J$Q7Ji}XI]e[K9IAvơ}$_=¼-,@SLZj. x"Xn5 >څ5UԵLNwq{Sԡv|/r<dY58›?-Yq?uuE,p_+[{PF$TNj@͡J3+ԑH!5c~c#ںQ)J%Mss>yx,ۂ;nNe6p8䇣3niԷokv){BkͰDH fo[#n0Gy;xc^\"^J%9AAVLibg㇇!* FqWP[ujM @hN^:|-2,J)h]=tqDcYGz{Z!Aa9(,r:Ps/amNh_{ Z](r_MKN9-JYU-gyÐzA=\nsQ? f oy[LG' N6SJ>,dʾG8 . v">Y\S0XZDl|qy)5(Svf JFI\tmHpfdGvHa `?N '1Rp[g=Xl,lh hF[q V'!{Ƶ^82NE?!{t}sK"vMq1xm#q17a9:Nh2 ad&%H:}fRE ]'}0YS 3!G)h3$R3j@Y\ DTbE(di8PܵS!$Zqk*Ga-s0RF]1T"14 Wm0LW.yw>)WL(GW3F@NE|N;?Wlwf@ʏ*N/|MqSgkus+Z/5)a>aYQ$/)K/ 5x's0F."k%/:g{t'X!A=Oؖ&p!~d1Dn|LHsMfuɪ>hzYm(htxeqf4E'T*ĘXML꥙|!gkc 髀 R"xۋY2Sn.vᄢS HZ\y.㑔*B umnD!K㏽_~- Tϸ6^D㿐AiF<$ oz4ZG4i`3Gu)>4_Z6:˳aOӌZ&⭵Y."0ս7̸އ  ʁ9y2;ZFqTEc䷶|fv8~eR1 7fԑ.A0"C7bØE{^=F6s̜f䇸@/\KL!PYMl7|X,ӨGO3Na/mj4w$}+ϒÄFȐHOm_ 7(MͨYuz2jN1Uzq߹3IqېYU5s' ˧MR'WW-lE.9鹴MC{N9 ˴LS *fz!<ݟ1_ym~ 29rA 3OH=7eיk%'И~^W8='զxDR9*! }F`nb\ޚ݋@ߕ(˿”L_uszg=5$}_尼WK2{|[ 1(ow˴,ΙIl5Uhm K+y)JEs[ ׍m2[Mm%a &OM3fH=Xkw-$9:{Ɯָ'~_[ mCtDw{јDD&;nڬ(Sgjy"z_g> X-p &]M nsdx/1a"ϐy_gxOK1֧Z^o q&H^R DhwǨ&JtBE|A*Pt fFa( ibd*g'Վ՘qb%0a4ی $m? 6ikTgAw({_#TK~N.,9kLGÖQy@ڍ4~Q->:6$ha;8~PB[SȲo*cʓX5:؈Ռw WmKSA OS~px% meP,b/QXԓQe7R~- s =SAW= Q3bG{=((On׀̻L[TffBAElŸRn. I|nY΋c:qy3 BScG؁U.2M\ѿCr%:Ex ȗ΢w$GR3^ 4DyLJOBj͠9{g/y%T!>y~*|ʇ"hmAKM9;>qz=z*PH; Z?# V]!g׽WXckV5<]٭NPS3S. Ҹ^«*:B )NYQa8XH[o86vn҄#iM_X_[/B(.#taU1#7fI_x0kEα'7_36?*_.mXH[N`y;|eh}<78b8$%nؠ lh # 镗#rwJ+GsWJtL9u&"IKNx H麺`g%J*U}kdx9,(Gw 96EwKuN-]AlO5",=OzY$y1eCMHݬUJP !XkJMHAfEi!ymTDѾ9`'[bŲv=2?8lVX!}Nl2U;el743FbEu!VT+\h `X3ntizt9ntfZg.X$dvR.@Ӆ=ߩVslkO<&ӽ+u98 Կ&rk+퐕_ 0 T ]5t_~@)QmM eRO=M3}6sjg ׻Zj=%PR$@I,niDBJnH#gr2*sǦoMݚgBXt}aоY4(TjgP8@sM[EQ9 Ɍou%^jʤǝ(CBoeԂ-2/ ƐZRs4C=4{A@ (yl^%ڻ> % Gw"z _i[k2X^Ml.B'xFEAdHqSuC5*XZeP^:lTÓx+/&,L+\$7rBu 7*)b,Tt8싻"΂Gnҳd|y]ԪWLGDӸF )ӽ2mn\@/%ɻŐf,32eRz$&unH˽`GyQ^55LTrFt>YZ?5SQuQb ]zA!JrmښImYʌ_73\'_pvUc/k'/s,cܣJeZ|`.iZ ʅlp'^- -u(XO;ǜM#8:,ڡG=` I&oJdMGQH~V 5a# p~gXP5vri.@7ȱؐ)Zz:3@̯'ZU"͈HKЈ.{gM7JbN4׹憣znWWm`tw$VvZP}>T3{؟>f{^N; YE\:2EZPEF?)h@!LQ8W3b|Dx%xD=c^(zjƊf)&zo @a*) : k^ȾB{!-cJ?_X6fb l֡0]ȷ5_OTLA@b4nDţNu3Xgw@'.W5ʹҺWk 슗x\RύqZM#TWd??ӕ ,2u0` AqUX]q>*i!H  "ڈc8S獇|hˋIZS\p?tK#1#S1tvEn_k/"4 w:RL[1ra?ʲH$VRR͈!.Პ$͵'rdu#!3)l H[,Ime9ZQTɲ 0jV1TX-OL#<;R @ (opJxtϢm"-K%$׿t^{CݶZ\ƵƽUS)g$1_J.+gxÉ=3L' ]+s/vC=Ôq-M:]6um|]['9SeνT5. iهNr75&b(WD'Ro ѠbZvqz'ZL-5GBPdޭn{28Zo'EcWlAn&Ph;I'뾭y{ϺQ Uo6ńvk_2I\C !}K,ȊEƅEXPMC%E7UF;2-FL:&HjZ}>"R / +n|m|C,t*VI0& YӅ Вx/ .<¦#1H( `@ZTbMa]:6Nag6ѐ܎ʘ_jBacqiK%"GlC%䩉~ G?Q\v5AW69ZTU L_!Ǟ5ӥҜ1 ,M|='@Wo? uYGEާɕcD$WdM[/ƁI (>C<([@Y I 4B}.A w'mV3 ]ko:PIM ~'Uc8#}.mJyh!`),t Z3)k}agfqQށ'Igv[2Bk4*pܜ^A󥀰8Fs\0ܳ[aq&PNPAqEƍ=)DhY_ ƭ Y55RNE淰`sh* u&O?'AMF5Yڛ}1(+at˭(w~ h[#stG4V!xP g==!{ȘTosTTC0k/P|"Ga?y&@!7T@RCU'"Rn^iHԷm(fj0-~tärbAbm2OzMɃR#I c>5^A0O ۖʟcc:T[.|+8Qbb&>]j zD\)ŌF`Zݩ<~ކf`~!H9'-;ʠ&KdyBmIdlb2+mP ?&__8aP. 86) {bM QOAWq+[Vj~s1@twG 8zV܍O1v 9%N&ZhN 2ߏ*w*>'nIC!&RN ܈Б+wMFa8]GwU`ą]*53vdDThF#To5;(b`J!9 m[3^t9($mA6F'YPʠ'<(s.+ *9x &9^Z%{^h5+}Oe7~A5HאQ*0ʎa\Zꆠ ~Bԛ=]Sy;`+jGF |cj$F}r+x`uWZBUςJkq+޲+j0 v8&r}`]UK‡˗o0iNw[m aat@ ٍq]"mx,jł*,"!sNuT``:2*'0+\m%N5?s#=LqiXBW֪Yu q.:F`vO0l Rr[ lF`H.Fpk~iKMHV6.auzPۧQ'EvZ3?ؤ # S~4VkS/tiV&v?v0N ,kl}k}5X1Yu(z̈́` !8>:\ahS+ `{>s D!-h+G;NC@J)Lrkɤ=$ia>tb# RTܙ8P.ɢT4VPаf؟E/Po(c!%,+ejچk:7Gq‘1JGeQOS*~&Xgi &j _&FVufc5S㳳jSTL%I<9{3VƐ6z}}7Fk|yba>'ϔ5-ivl%꥿P ~ ^IvQwDy5YpeUn@0 ''\߸q)aߦtB=^JςչSa ^]pR42.1"LLSmu~Y$}Ågt yE8ܒK9Y1hM!oDiĻ0;Ѡc#].H2`Akaw*Uuס-)'1)e"7Rkd| Ü%BlonPiY)"]1XX̮G } E[EV֣(zM'  ߖ @U`> 2Μ= B\:$l%12DfJ5t)yhΣ7]mq_@XL_4?}n/d ;)Nv\G‰=/t}qX 6rƇd"ǝdui[IJM5Hy=%]8]_8vX,l1Jޟf>pjr|Ee95|滲, V*I mҍp553iꀄfpא-'##r^yX~WPVu5OЛVFhW>{|(5cPUDE&YFaS]L  Vz0zm ;y֊NN "S#sᬭBpJ]5Z5fWg{Ab]Ss5Q T-$P:4 hBE 0( ŞPru_\%R`'s OӶg Kno[wy1 v((5OuB Ҥ`+Yݷ $T)\;yg二-^I$sz(".rFZY^F9CeWRCn%u N9g('IꦲU-7C\^BJ'A|(HJT9!s@q/a/q5XpĦ)yDc8B>->& LSK.!hQCSb =祏M5So~m*3D7 ԅqi uşB6Q8y) 8BspWGj~po'$ҿR-U9^>w )9 rMy NLɰ5cqQ{TV[]2a7Y4x99gG?7>cX3GPhc4S1|IP[}+f7ozw-Nմ\V3f<(A5`(gŐ2gs%oxȕL?-Si2Tv,1νg lZmP,K]6ٿjbhB!c[ή!(6s;_P;!zӛ(f"f^ X,\2SAЋ7fdr{%A&9,TIfX`qc?ĩ'.ZrrVKНM5z*һX#g ^wnʃUzW#gӅWgdw'_[' &jK ]qIB 0.eaD|߇J0 Eϧ1Iinz_#D.,,AQ87 GmBQDriKK)Npr`i+¸GPkµUu'X!8żN!>q<Df²|iޕ]a^?x 2luͼGs0 !D7q=^ ې&{Q܃5>`*5#q Ͷjե.VJQsw'bkǂdN5\`߳DLfҦLUi@K>&K#7룣q\_VS/a 7©M[gQj)ϝe˰;@Ku c6'0  1Ji Y9w_bbMpH%P2Ut5#W79Apd{U\G7U{} ommU /.$Зy偭n ӄ{CfyBfr"nAS Ŧ(ߴ|>IOvØZ  n\PT&/fF@Z>ḋw =W!1;+~Iy}4D֒#U x}syRxc7% R&YH|8R 0HhB);ףxY&)>6B: FW+V rxdp ky)Cdקױ:jVJ!*G ,/F91Bx6*'LMlgEKk/#tk¯C+GѤFCXدv5aR{>4l]qwUg,#ýT'ۉ۩g) *-)O N/ED@Rt7$pdsrǃ C5xi&s#9F4D$ .ˋ;5e}!#6}Gnϐ;h/0g3KݍVq"oo,acݫZ襄0d0iXL B5D8} =Kg 8ʚjw= =#gWas&kt5a <8aA| 8U8RW@`:ڼ+ƀCj.) mX;us!#\e67tBQ)lI<2( p™o-ͱ<g&FO5o;*Pwp6 H?× Ƚj.9t{ɛ7(:υF!086b1[x[3śK=T֐)6FFqE0]ˣ$(c YȾ2> _Z~`j4p Gs3K.H۱ȼ`Avjf͇,SeqWԴB:sM -1 .C4RN `* A ?X1,9}΃(,0VGxp;Ep=֞O* $YTeC`xTXh0M"݆ 21.~i RՅXqUQ T#.6y%q_}< JW>&"H xhla@*X osU+s}Qjv+xA%s1e `g଴ga/j,5<Q9U.Ψb5}4 8_ݟb%3c"}HFu.v,c=>uԀG4* c٬6̱wF81Eϟ. "C 7i  E[35!l"Y+z;"gy"aذKOo4Ҁؤyf%& )svK.#=!b5xׅ\+PcGٖ~5ƨv{<lr_XhC2؋U[`a?xQ= ym巉#h`6f |b1]=B/eYJ,ekeyDRMZOkl46pyyk#W#T>x]'Ew`+?P!<0"q* VUxCl`a3ŚTp_"lvcBBXV"[y[8x\CϝՀu)؋Ⱜ/2[;ʉg!VA#=X̅zV zS}CϬ lWۻk\3 2,9h}]l狈9:uÍ7l(1ˡ%4蛀6HѾ'l/zK^.m,,N@CڑVL"F- n)LJRuIs}Ы%vrꮼ)f%E2ٝ>$fg yDOhz,DEziky cC~_mf!~8￧Zd?`ih*-~fߣyZjjQ{݇5' @](Bn84)KĂ֟␹_ꋏ)Xo%4gچֆ冾lx͖le6fv`ӖK>,cJ'r xė@N_ٶL"yY8X~rҞy}GR]QNS n .|ې b H W nqe(hE O `1!  2=|c6@.@3&LrW+BoOFm(Jn"^=S:1+[$rJ 2$i.Wy&PbAOg:6Vh2<[ҘHHC#Ît?ѥm`ⴱ{B^úXYŖ6xFǠr*XaVLgd+*RO' 1 >l7HxFn4JQmkM(U!M16&kf@N 3 o܅엃R˼TqvFBTB^hXYbOn5@$g$/iTA 3zh!rn|Uyk>щh2٭?R4㟫 lVuęjݞ6lx-WAιbg 3S(z`/Ǻ^$t&]|i|uRmܑZ;问Imz XQ:^x:EW YJ^3ij\PB/bǢO`z 3x`Z`[7](zۦjCŬ> ߭+zOKZa <ztk]P`ՠT0:( z-RIJ?b8vi\}kȌ|& lN|šZtl+ýp0M25RUXjYu~L@# E^2B f`#VΗ ɮ ]? mG!k|uzqI R`dsoEUꔪ/sɝMC_5IR̪<R xjVemLxjCܴY јU,=dDteEӫaPS@!g5He[M !3 1ږCPiL ]r&p(ĥT:?ڟpo>d}͵R%wd 78G|1lyWgjhR:qH`:K4YЮSӂkljߏ r*f^V,й+`~cKodWYL<1'\1"g|0|[xXTjdᘗ)KE *!ڃs%ABO?ގY x3>+0-SJWu)_ T5o>bh>޳]N25/S_5˔Qj`ϓ赀F)y>2cpW|߭)ex~#dT,2R?[캠P>}9&' '~sSfwHAXt/~:v]lL8)"ciZH_l.0RH&Vj`ccW5v3ڥN$z}i_'Z,HID~k&-m2>eCyQMug@=z)_l+ euzE-W*c(ݫĥA9]E["yJ c4oBr۪u#olTp$ WOv3Gִ^Μ䁐K`ì*My %xm03YL뷀С罥#ws/sC:2˾0YњjOMJkI(6:OQ\z\kf@8B!r6HOq*rã=VZI+#=z57O)S;r`/F.z>f1to_q6ʿhUMGz'3Yu"ٲjUw$sATmd꺐)ArǡfFz5 e';(O⮍*/-op ]|!+XKfNTO$E „=|@ʜ́r}:˖v }F-\_ʼBes\ *tJR˺kn;8]]@B`w` 9P_ຸ"MGn(clYS`/jpft=f7 {>/IJΙJ*0 \}A0!m<9!K~-IaҴs(I$w[ZG3xzX]}#Et4EyGNV~{{u6$7,1^Qp1w{~7hKeG"%C26o0L^I}+j"ת=P^]kt6p#K@CZ~WA3:O^@ꄦ;ADsQ \P;%+g7+oDN$$]svGh48,&2P)VioO5Ưf^< D[zN-m`EJdG#'P{֥/!ydr)p1Cր܌,myg\Dr-OᏫ7S?NDvuxIBa +Dm+9yLRwUKbi%kIn1tHŸQrXI@,tھкsN8MGLB7!V@eg+җ&HvɃh`XgTU~)c%* ae+@VZP,ԎKcEBj,Xf 0:V*zb:V;D?If9Tl <$R\)IznX ifs(?TݎV*`3WG&W6kr3{<(HO XX#zn]MYZgM ʂĤD^ZQ8(M;6z*O-\*'hpMg ߣ`U_0a 77_X-.5oEo'i_5|-d|R[nhGQsѿObU/"1~Wš[nA.f~W}#fUy0 )t}룳1q0{kL:-T߅ Spdm? +01֪!+ 5׺{z>h+<ҁ5L-˫b8Non#$ tճɇ꣡rQ]/]T+ۯP {6/ i3Ic_E}iT :yJR`;y)VL +MK0Y?. Q&-{SMdJg:]KD(1W1IG,̉s9M Uy ߯qqYP7mebGR t#o6淊Me\AjAWv:|@A SuVTN>xS7>KS wXOk L71p{wf, m'ZoQSN2b)f.DZMRp7''ʙDLي +]yHݝǦ٢Fb(pГ 88`Ӵ-3Kq:C =lj@fnW]%zX?',3ds3+2k0LӃ'6U0fNdx~CF*~^GpH!}9o bU.hG;rQᮕ:y=$o{9ϟxǥ?Bon"Z0C<]^>dr~kl)zxW- LZ&5]]8HUdHtd!Iyمڬ(^4hCp {#erɪM8xV_c?2@BպFYy7#2^Sv67MFBRψh]qhgnL—O aAh).swWhOw+2ĨПVʛ+/1P^?Av5,4%QxZ[* 8Y//n͈HzF&ٷO=C{H4ϥN{svGޭD^ RNT#%wAx*P#ǝ&yQYKS=h?t.ގRF-j UvJޒC=3+i#߫]¼^qIr܌h@鍌|f%਒T_&~W3)G\#Ț,bs)jY++MKmA2qQ.cI-/$ ݡ1]x~ZSCQHQͺ=8.r$XIW !@cg_O,)?z( KTXiM䢅vH~(xKzNbzEmg!NdɨVR^eazldlD6Namo>EQc*ɹ.Mv]B9Rvd6?16}ۙϑD;k?싕i}ᰜ.7+a+_ $4PMIrz`3S0-[8'Ơ`D al)j@gY'CYiwWw@^7S$Fن||7p]ib E̽z^tco*m= LV!8T [J{=0ףTp+IVpUJ8"SÑq `XlTG:PUMS;iZwJ x{:m3ԋ%zhuvl$uO~IբF|z>X0 atf\obfzsH >Gҁ&O HxIcFk9 ޭ/ Ƈu]#z6ϳϡoc+Dk==M,zQѓ+!T_2}7r__)f(x$S>WuWO";VGnFp6RC֣MӃGw3jbO%h#rCl!_,cv6Cv(dP"ѕ~0$΋lӜ B}YZXbOorrP m+Э՟| R•ʗ:f S@#}l+^4flw*,,]jgEBga dɣ Xb*.`~[xoD%B쭹{(_@_z{t2U?oܶ+ =أ (ywrze&]g4mWՖ1]=JXICZсm8Zh9e"Qz!ULi<Ï5p}2MhqU/jeJY :$x% 9*;I[3$nŶǷ>%E*M"æxL dKYjKUNTFB$[FtGnuI({gdB83lJýb>|EǸKi%45_R(`kpv6g}v!G1[=4ݍ* 5){jbʁ)Y%L=&jHoxy}>V)Gvu-Mk l)l` ).H&L3AvuX]+mxB67-K+$U2$$q+3{+;r24v"9CI}GU&J҈  ]|:%"ze×ӋQ|H0JWN@=K)& 2hrleRTe6(>=ACwQҟ=[N'.{bT4/f(y=;e)Ԕ`Xvü\ ͂4'ҟ O3J}+B =]+ veBE<<ѕHX0H_'@kOFe^#b9%*V8pka }N&ywSZ27\W(tG\o&[\{s@~wY*qK7frf nk|ui@/&G񐕍4CÙ mը'Plj<[Lb fbB@=?k"MJ+`A9?E`{ Ƌ&=tGX$ !v"9Ubd)- Aɱ:y/] ] xvV~?;ƥv0i}Q7/ɺRm#5%E) YP x?3|Ul&(UjҕCn]vjn܊m!e@̙ETq9hB{ntxFfu8!9kpz7:舕H0Hhҏ+ ~? *XrD==`?ћ:NaէQұ*\.|vf)[ -ȵ:"kAs[?50Ʋ@ӃL¯ZB"0xwKA_9D, ${P*=wğv}T>$Xx t~yF̔(%#e .TZlqDi)_7|qT]s0h@G]+v?U[2,Za~ ;tri ckeһd ''1ybY.p='x5nl14@bz!'HgD?2sW:%'[c`ށ>(h<ܺ[)C.[U7G90qiuGS_SfQ_ )G]d>SL?EH#g76yxD2A-04%2?k }jaͣvIǠn...o Fm+0hYN2S٨'=ɰdǓb@R2Dwk\Gm ƈKO=_^AVcjƟ#6vC-0sȚm˸]UXü9o!nls`j-4y,D5oqO|?x1<3جI(GP#r.s`b._6?ϐW~KOmi}+ċ16>=Yo:VA$/KImpDZ y3%`Rvd: W֩JMZQ8Nr?!e v+d7v7Ve@:]ڣcĤn~h7goy&ߊ> tП`KRvk0TKO\x+VB܏ʷF`0ɔ *>l`I&_{ ,xaXג2 `[Ybw_E]mW{ik&ŭdj3d\_V,sխY@OԦ[6c > :$Ӕ_=_uǺcAvHIiK=&_>~ʑ%B"G~#X) ZC EV=~ 8j&9 q^o0apjT6Vej R u怡'e(5?)>hLkM1 ;@T{hG Pf %sІ`k)ɛ dS{Y\,ۄ&kG#;s'yw&7U:_[`ɡqjHP$zΤ &_4W+Mt `@|{f7\XGKyZ)ڮwyc/I@ f7w32BfHh0j\}kҶQ8).͚~_M %,f<x-oú-{GBPJ32炦Bp`g$Ǹ16Dfl QeWhwF0pɄVI@Wo[{74P{;+@OӚw^Ŝ}:apBHЏ ?Z$:rT!lb80沛߳[ɦN~Ä]~8lG[_engF?d _7IJqg>A{,bfo#SZ Du|8XY#] m1P`p:>|2q|t9-"-EfMte.nVYB5.VЉo(?J|#Y<\ Ht.n:\ =Mo\,j".& ʤV#dBA39e䍮vzXɯȀý`vӽjka y߀תV[`((c.d`g/z2$An_ “ٛ7jYt#w"ۊ 5V-Y_T[FH'h4]B$Y0<7M,sC'WD%_ 7-}nEd]G}oᇢ[&l"Q9:e;/޺ӯx | !Qoo'35Lռ$BM4l]dBpҀ3DUݙ‡)Z9\9uZ2È]/p(6QϚ-TsxxV;eGi&uN2H!eMu+x&|0G&r-'K9KTm<>G*t4ޯɀB;z +.zoLWe_R7nW_Oin?O+U.ya\ QbpEO饽b,Qkhh۾ZUX04LyӴ@=oG{k$X6\M]si #^pF{5VRq/^ A􄐞^QO[N mXv/hr #V!t{Gd 8FLd&F#O=kpgư(ڱ=>g`-!Q~쟗/iY^4 ]IHF va-s #76gIkwKy[lƑ`_e_Je]݋ ";WsfgC_rlw~y8JsR>+SSj'S+g i8JD9&d0Zӭ>!u%F}zH Ì9=AAumoɹFR&:5!F%I7cZ,~ B, 6zG0X~ F4!%[x(̍jF ]L6,L_ V n$ޥr-~"`KBvIzk/V5j%"A#?:P+5\gSt8ʩ.2`n#2G"G3 ̵)1ƩCn>$#hA+ &UX}}ٿP%~*r3FL_wp':6 !Ԉ ćݾ0kb%has6l&iBȏ~`S>cn\Bvḿ060yN7l8 H{cV#'L(^ [P)X޵t 1"Qp]|-0Ζ)miڎVV:ZY:Th&i @׀1;KKamScSyjBhe`gw-[S_[qo-۩AT*ѮQ{L~GN!0Xf>0SG J_lTrRv.Eu%-&&LZf /PsFCȃQZްn],TcL&Tl?ԜJLȧyM5E68 њ`ưae*d䉓ͱhl젃BPhaĖϴ)AkZͧSn:hMS 2pTTK/aI3[ሷ,Z:X鵘aQyh\Ob|31Vic9|BE:xv}#{r*n @=uvNz(֨u~ KY[t WQA} x?l5ϐ0Xl~~V۽6I kO.5*h@}(dK^#X*&CUA-%Ŋ}a&8{#z!f:&c51 i><0:Wz:E"D/Y#UEhϽR7]{l?-\=|7 =r߸Rm<3M{K9497 {<9lI9J5单@=|9L9CG(O+X--^8%ObgN,!KLa `|<׎p%kt uZۤށ :ȵa;~K(59\%?]E{hv֖47EX)8oZMM^)/Aj+QQ[LSB|?܉{9 nr˚eCj)]`8=7SZVu |p>1 Lâeу<5/G&GhY*guwt9WA79?fKBaYF nѸx񊚥X+梊TLo{h\8nASw[SZVZyOwzpmJ&TvJ-+)3<.!(6eJ,w߳jʼGS*L:9 >G9օ7*Clj+`X$rWw jee'!wI/?7ΎW:~=M4V: +͑uR|cHW П?l%Ŭ('"6a0)6X/W]L!Z*jG"&Z1lUe/JK:P3PbxKdw%2EvHr,` q$"\R/Y&~ǒp  mkcrU+ QClV=J4|`|<LƬ PХ\Wtq._ӉqaL z=,s"Yw܁şn|Y֛d kWnF %eEƝzL%kv ugv5[.ynr9iQXӟ؇fBB`lsZ˪̠cY?Ad1B ^=<>uGq=^.%PmE/T`߾4r3iDaWKAny'IvWmU6뉋MǙ-]Y~JmUoq \77{Zx? FMF:Iz1B]cX L}Z]pdJmY ͩVRJX?~T`8o,T-ZtHsHBlQ)`rQS&KSX&5~w!WNu9胡[˅`txIz 2ΚLCʲO+J⬥)!›4arXY}'sRtY`\?8+fu(Bdy<6|pWb`ĝY`}k20ai6-agdeW"wV:8\U>6 ͠u7s$ eu?nb");}Uܣ26jSjAO ;B=>F̙\BEF9<lԽ;농mebI)k҅ux 떻i6.ъߋOaYi$-E`NxI7gEF;oG^tďC}FɂWW-+}\bc35U!8 sn:FD8eyXIaX+o _i79^ƿUQ uUڒ:B^@nONt_/{9JGE !H`!iO-;mTx댣UdHT#l;*'?2XjEvF;2{hKW;s;1/nLRZre^[X"r7(jhMXGh2TV*a;s' n;o8ҿGlE?!KcNg=r؅S۝/ U_~}Zsl RbXZ/dv۲[G5]XZȭ},794C*j~+QX6VE%]@Rh)MwZ 1XK('r>3^f8H;Б` o~U8TOr9JT,Cf6?Q,QNw( R> dbuU/|##Wc9R.4ȻwKdpzax`pOh\Q@LFI2˯QVCPQ8Y0f%[pvٖV2ui?>eq7aů4nQ;qiP;{cݱ5"a c 7!h" 2 IyUϦyf'%ዮwȠiq=քf:VqwEh8N*CXEX(º T7UQPrLpwZ'侘%v޺nmȋUUuQ|FdQi9P-QHUKu+&1fFcZKkNd_IAxɩ7 .t)r i_a2⣶؟[1K }pT6~*0?i3u"g4nvJķDQ¯J)8e%〥+`E NO^6LJ?>ƸFL`(jA | W¸wR ɍGt!Q1F 5mVS|3'>!!xfO\^̶@:wM՗UG烍W 4NB <16%{&/SZED@sk|MøX#hf q%#PZsnڣ2@::V4ʢ<;=oI4A ɐQ]h^hK8$~ =INUw!k?*ݝ/R Nz)$(/, L =ԊZhqGp$\v==f06>Th<$K511Ɏİ5 q7v*IXň&6Yfw;D0J$~Q3l w8hޓ=$.[K9v4Y-zi uTJU* R9aRw/@eIt4"G".kkKi`ﵮao,zL6`};eZ;g-SOٶأ/D o9՘l?S&IfJ]_&j^JWET$5}ROq"ija/[HrEd[Wŝ;a-b K{"?sHO};u6a~c-2:_PPzJ'GJ)h Ϧ <=q֝;y*Ϊ:kq<6G/8MۃVRY|-5^j-⻓lqT6y)Trupӡ0T);c! {`P ~йI10T]SћY DXavV؉K: Yos1GC,V+XCׁm{C (ȝŚFFc3- |鮷!ż)0/Eh]nuTg{[Rdg>sPGowˎ۵b ld7薴 vޮjI<rGsAx# m32pFYbi~T^'QFµRyLk $>Sڟ}iuSm*2a㦼 z}q:U+&a`h؁. pbˬh޹y #UKɻJU_A71[0<82Ps[EA~7X;ξᗟK^D%5xr{e֔,`āp06)}>@h^N.fq΢y?yvZ|C͛=Ifx-R&唹OpVRӥ*T/[Q}4~! K:L.R<|kc-i/4.11kTcP @_Ț+d C%e0GK?+`)r5wm^C(#(>+N$L*9qwDzIQKeH+F(),"Jo&Qu`#lRnO2|kB@- ("q͗E?VQU 쨂߻KUKH&D^ =s]iŬ|Xv$dzvؙKǕ/X1Aۀ5\ᜰHp$͢  X.FNWhwCYz]À[-_A TtIqeDѥ:N0Oȶoz3\\H!!=B, o}M~[E~-Wkr/so-|k=?/Y+XGۏ7{h n#-8XAnDyx(If4JI‚ln-L}Q@[YƎO,[7^1"BN@pzO^rlu[8/]- c,{>hTIEu3a!ty9U'Kc/adF")0;Lbk:usOY⋂5JSڦL5R5 ᥙ~ X5gu;# RnwQ]j׎rGG,HwJ7 2uDI^G);La_M6q@3ߋ3ǂ έj'Y춥!) ~eE Nx}bfKd/kћK/`ZRU&&ΞDBIEمQk7GaTҕ2 \\&cUFqGG$o\ Ec踻8(Hы|i:D_S׵yL  GW=]z Zvc#P_gNme3i֢YkgeW.?Ʀ-`3QdJ1_ EZV%+E gzd)ViVKG GL@T=c}Ho;9:yεmEe&<( =њvl Xn8I/1j%# 'rFf'ɸ8|gBHPAyYǡs[_}fɕ0żO7Kv/xjj`׽pV VGH\^GvpOO-^72G#{T(&@h.=vOX>ɔȥIziptJF~g?a7M6CЦnPŅ95WîQL]G0+r|U<<&H'{0𬸱9/"0Q0]GW-yc_ڥ Ū7`AUHQ )4uoˍx:l> 6%0Y_ĆW;CkƖ+ F-/ֈz44$XJ@VYjQD3֢>IjVr.}[TH?;Cst4ú؋)I,lXTø=sqz-oɞIiÇ\- C8ҚڱӴ@AQu˄F3Jg$%+=/ ךHǀ_k;b̝نޘ";,.,04 Db-Nُh ͱ7؏ i;>78˞3%WI0h1,|wY"rwb#[Yʢwi[L$h>~~n;v20γץ T7)/^"dZ|aJDp D#%.Ew֮K£_Nuf9c@qatFhMK'[t>lXܠ|E$<0*,T+jrSJ{-rͯݪܩq 1p ͱG:͈X#X&]d0tNM6miz<Ў-H:@41<)(6SEZ ~nc@#x1"~7E h`Pѐ4 /ne#oqLl* ʀY5m8BcEjQZq67Aס($ sURSyLJF\D7KD)%ړz]ys?$eF _ƂUMC.XQi`Ir$h Xh#60G?RϜ Ljw: 3 ToR XKLzJk/ʳt{";[ % ~XSPH$Q08k *:6]h&>z1N]($Q{XattaNc~qXUe,'yYKYWzpyb2 -Γ7Ϣ-HRP[6"K(>orTY߼zܽ-L0xOInEŀi|$RВl;0YZ {0{|%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-15c840d48c9a/x86_64_32-linux/poly({%-PureML_BootstrapPIDE/document_id4z # tPurePurePIDE/markup7zXZִF! /]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O#x$ ^ A>Rjх?CRc#"\E־ nrMvpyOaEƃS5ZwUc1Con{湢JΖVmP62Y30voKo$[ zDk:0?T4 BGM8D|-}bP!Lˏq)F=֌br FREUza%͑v͆|\LaVQV-5}<}=̌,vZ. RTpVP7)kݹ|_ ,!d,`nN|)2iS>Sk66b :׌H\=:}5%PM͐Y6MC-_YE&DY Af SzNiEڨ6!1z$q{o2>қgvmid(=gE~U Į%$σ6=N#A||/G]Sr.jr}yqNE&Z xJɍoYşsFqB31]xg;׼4U\^buWxJz,Ek:$87*86ÒN3InhGsU;BpKճafKURJT QX~ۣ%5 ; a*l ?:Rߚ|8d{<'kdG5J[\d͇ʋʩ}GC0E9,EuM_q*DjQJcUUKh?3w+^"wTH!L1 2F4ZlXbM,#z_udb:1[G#bо̔\տ Ρ7?li'.2tne^ c6en]ha8WzNk,% I'|Y,ЮFA~AX.6 ٲyHWn$_+R%Q# /wB?)/fGByfC#%yp,pQ}'4{Y 9_\6DbY LW$W4j>]< ^ 00%6y*c8#U?{9jC/@7%L>cߔ״dw 5F6ΧhS,H2 NN:'!LM:,jJkSR| '+Ѿ?=CW\:aX"e&?RP tHW~VO=^->p- pe%_^X78Lqxhp+Wzta9*±'KG _IcNUL'ZYX1=K7҈¾EbmXEXO!2Ӓ?,daHWͰBp nyU΅y?@ M2,=G15[~z.teL­|Hn-To [`aKrU4û~kpun*fջ?T,c/cBB+vj]QH`Zj. ֲ*͓}1?ae!1!M(ama?p>!# Q(>?[)HweA@@~vMn0rP=ȿ-qzzmB) IFp-Yg.ۓ·rY…R";4Ƌxߔ~]W.&r7; 7.2,epbfiZibhorwV` 50|)Y \:z3p)}%# lPureML_BootstrapPIDE/markup7zXZִF! L]ˠ)jk2p O6LP=͵gl5fn ۇsPl9i3^| ~I͡G @h1ID4/JyvTU{&ۗ?OOӉn;%oB.<&a4IirZӏ&r   Fk?GG"f:?}8>x*µPXqFCʒuU}@.0ujյ#XפYamAlYYALC8pm D/ o;ѹ{E{m, EG-Q3|Aϔ7p+Vͷ [vog#ܢ{[Y E^L0Ohj6Zd]W bDF ;bDD" o?br>R!zKmY6:/{^QڐXel=qCb}LKO@JiHeWd؉[K<M`!8IG߂Tn#5Z-Vlqilfgյ1 ݒ9GI70W[%Xxشg]4R5;ո{QrfߦAFfWʁESf OA#^B!X[SIqAu6YS5H"d@kOn7mk(()+[7 7Ricyu"O_,j8NHu !2i=PN _#GAK`nKOu1:oSrsu=DQ12{UWT~>kߣyVZW.uH2 Y N}3̊rvBۭJv=HMio(V) T&9ij`h~JVʙ;@D.%jLEҬ򧰂Ie#KQC+nUmGFd'ACO俿YPo 砰j.5SeZP9Q "v3|cH.׊9JPWI#d>t>;9'q>n;j|F{5Qd-B"KvKZ"=i:>WR)K2# 7z\ۜ-0)`ZL2tuSLzs]Qĵ׮C&bؒݹ+$Cb1,[Go&ӕ(t>vRX]KJpV#Kϖ'mwVN䈏Lk/pJcm}&o=O{-b:Ȍ1v+a4.\eԵqPm'\bc;?HSQSXKa4~'Gl}kY=w縷c_ZچO'P߿o3sgCfNќʬH;XjWt6; eM+t9qsT\;W)c)W]ŋ n8._Gr y0⺑{a} q/V "^)rTB&:)IdYgYZ_ox0x4dX>gT2o7.1fJăeZ+uIU1ʬol~xFDVƐi21MSSW(7u{e)i :vՉ$;><]fݕSQFټtfpq. Pvs+Q?c>VI$m?+jv99b$߇+kVD{S !v}}s*@{&[j!9j6g+V;bDh*Ό` ~o#QI$K:"¹\-TcHkÜ:CQ fHhOEPNh5xYg!9mH/1:t ߔ {3|?s41yW9>o'fNM|c "b[b.%mŷ[JmA+%=~Xmg~1A>-lFw@1Ƨ ZwIMG_yt ]*QRdűFtѩALT{B0S+ q萘mWZWu>|q( ׂTq,}̠)(2nu/ ִOQo/v{<'d;:Tnr"ߪg\[=[GU!kJV1ZVAȢȥIr]V# =P =a4WyDQW X VyD,;>}Ʋ=-)X Rp;k>;]0X2CV͇6ޭ:ѓ@PHbdKb_j"|V3jhc֦ ˑaE%HvґIp͕[M|߷"h%vBڶě8cb"?4HўAlMoX-s~pF%|b)6}Ц,aj#$ LT%+Xi[a SkE%hpVq]O $ޥ ,&@>XDI9,xBV*C< u(&D$,iyB_ɤ#g/Z=[kp'6i7E*-jF! lZPdN?ܓ* QBOvu]l5asy #s:vI5xz0?P'thPDOz]ͳHǍO1))%]]䩖٣Ś&N'40(D] oO².g<)Vb.y݅ /++^-Z]m5qZMsiAHY1V8Z%CD/3̍TZpv( f+w{zZ/= rJVwh[m'&>z6T_%P7"X;f˛gI&w &w :)FGwio}SFJ2gW!ΰp'_NX/sbn7-P.y*4Rll!xCZ$Jp_>T-v@2:KV:-ݷBI9aSz]O5 QLȤ,8Ƣ5 YY#씃q:lHds 9ϨǞt"UmvQz*,NHd QϡZE8,~2lSOs+Nc ICHCO#8 l{K~fpuX c_tq{Kpa?q$]y!l59i޹e4O{*D[#v$IMoń2E@B?uH7Ebƍb:#&Uwh%[ S기7E iCW(#h!hN }ࣽGVvhRhݟjwn 4^t0ښ'>6w1ݵ|R?ogI2_iRckry ?ݍ)Ψbwԣ1/QuDU{ ']2 'p0ʩKlN~+*U? k$3q T~K=Z~oӺ5BbWCk YsѶaY3Bw$ltQ_Klxƽ3,`sbc`_f3SsV % (T2-tà[ګuJr(+j~ 'eq%=!#M(븂𬧒W0eQNi+xpI߾ Ir_F,'oz|~֌DR"SDokTwKCyPXSؗBcbnCϬ,C͹9%3P~:قPN֚Bn;GZU3xj"Wq:'I|=lއ)E[N#OB;U૙s7O}ٸrP%;li2EڒV0 ZV8xy:gw T?jdHbe>YOTOiHyI'R @VXٟFqس+nMVѣsNʇNԬIyQΒu01>=M [3S q:|Y)h&ou'E#ng%:s;7p[\ `ᵏ_M7ʶ1DJZ)5wZDk a1P)T`>1U%%jSwfN͐!gu #vTlcW[n:V3dI ]OXv‚qN> gZ11 JH/exJsQfs'lCpɎ j'4=]=\0;c0Y]{ @$;15Df;G~Kk/u6VեшhEz:>&q;YLfaAOdS/*P7v6:TM7V17zqp]h1nQH [`O\.$hˁPy*> 7|O.k$YI^HH0CEV_0&en2s'CoD0@\"P5OhP-'_xꞤM CW=0k_%a?Q_@ 8k=[~|Mrwxp?QY@ܬ^||^[̳ao2I(:_]DaUgBps>תRryȦ:T OkiKCO܏{PY4'>=)\ecKT O"S+9*zį!Ic֖g.>HBO]K=cE"D6o?yiiIRśT a|=3ۭڑ }n||#ͅ2^ $;7lۣj$E)Իpxf9frվզrNlz&%ƈ&#^p{S!)d"r$Dߧ|$G]r2D ,n