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  8 8Ep|T4 ] ]Pure:threads=1elapsed=1.431cpu=1.476gc=0.0007zXZִF! x]ŗXiɟHVҭٽD)=Zܩgm;G*(w]S|_G,HB ټչ Mp[udڰ318=l%V3'ͲGgYZ7zXZִF! c]ŗXiɟ˚Ћ. k$wqW+=F=Q6KWD+ufLF,U@(q}O CTgYZ7zXZִF! t]ŗXi%T_!+Zx-e!*_cV`i$jB#S] 17ӂjwi6_̴neÛpx4_zɽK.'=|D~5Uڱȥ풢uX\<.݊w8ǔ,8=KV\cR kN?!`*c;c7|?5h(x^^w o?*a7x)ժM3` Q0p=/ Cl 2uкCqpdba{H$ŠIYΩ5pKq. ѭ=dZHBBC{e5?=͊0=]l5XN |%Z!/c~O((N7E4b^2 }Z;(?t r?'ń ETu]`n K<ȕEA~@/_c%A`K 5 ?xXQ5,>a浪_BNK轀8pRjs7mȗrcumUEݪKjDkI(MUPfV}B)GRxH@LAW ےzSe##o- K*9O ./n9VRZ,"rLgYZa83d6799dceec4abe1f0415b6c7307343eb794e8d710d56c677e2fcd6d81515c51e8dac82cf68a7e  Pure &F9R! |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,$w#spoi a P B 3 % yjO4 *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[dB$''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,'7PurePure.Sessionsdocument/Sessions.texl/%?PureML_Bootstrapdocument/ML_Bootstrap.texk/PurePuredocument/Pure.texj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/43542f%PurePureproofs/43538e%PurePureproofs/43534d%PurePureproofs/43530c%PurePureproofs/43526b%PurePureproofs/43522a%PurePureproofs/43518`%PurePureproofs/43514_%PurePureproofs/43510^%PurePureproofs/43506]%PurePureproofs/43502\%PurePureproofs/43498[%PurePureproofs/43494Z%PurePureproofs/43490Y%PurePureproofs/43486X%PurePureproofs/43482W%PurePureproofs/43478V%PurePureproofs/43474U%PurePureproofs/43470T%PurePureproofs/43466S%PurePureproofs/43462R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43278N%PurePureproofs/43244M%PurePureproofs/43240L%PurePureproofs/43238K%PurePureproofs/43234J%PurePureproofs/43230I%PurePureproofs/43222H%PurePureproofs/43204G%PurePureproofs/43200F%PurePureproofs/43138E%PurePureproofs/43134D%PurePureproofs/43132C%PurePureproofs/43128B%PurePureproofs/43124A%PurePureproofs/43116@%PurePureproofs/43112?%PurePureproofs/43106>%PurePureproofs/43094=%PurePureproofs/43090<%PurePureproofs/43084;%PurePureproofs/43080:%PurePureproofs/430749%PurePureproofs/430188%PurePureproofs/430147%PurePureproofs/430126%PurePureproofs/430085%PurePureproofs/430044%PurePureproofs/430003%PurePureproofs/429842%PurePureproofs/429801%PurePureproofs/429720%PurePureproofs/42888/%PurePureproofs/42884.%PurePureproofs/42882-%PurePureproofs/42832,%PurePureproofs/42828+%PurePureproofs/42826*%PurePureproofs/42772)%PurePureproofs/42768(%PurePureproofs/42734'%PurePureproofs/42730&%PurePureproofs/42728%%PurePureproofs/42726$%PurePureproofs/42678#%PurePureproofs/42674"%PurePureproofs/42640!%PurePureproofs/42636 %PurePureproofs/42634%PurePureproofs/42632%PurePureproofs/42630!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/427287zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/ F! 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/430007zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/429847zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQ_"Kw痌ƥޔey>%uKJ -3agYZ1% PurePureproofs/429807zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/429727zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aũ)Ay)# ;QvC5o  SgYZ8-% DPurePureproofs/428827zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1*0qgFN[r]bgt6 gYZ+% |PurePureproofs/428287zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'bשm9 j8 fB VgYZH*% dPurePureproofs/428267zXZִ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)% cvץK-|Y22(TQ<~gYZ`'% PurePureproofs/427347zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_xOg-H%9A:O3NgYZx&% DPurePureproofs/427307zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%c ɉfa]= gYZ  '   jc1* B% PurePureproofs/431287zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰB[V Wo0Dbk^ 3Nϑ HagYZA% \PurePureproofs/431247zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP)0ˁVbԧuv1l agYZ(@% $PurePureproofs/431167zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%"et5cm8R2ChwY \gYZ?% dPurePureproofs/431127zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטk0M 嫩)B M j;8gYZ$>% PurePureproofs/431067zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/430947zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|G-%]͆jF:L%=n7{GTݑqױgYZ<% TPurePureproofs/430907zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*OnUr6J,A=gYZ$;% PurePureproofs/430847zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/430807zXZִ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-%M6;B;h*hHP$@q Cݢ xgYZLK% lPurePureproofs/432387zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&xXH ^ ! jc'6æTX}eS c<ӄAk&r+dlN@5m>gYZJ% |PurePureproofs/432347zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛ\M|Hn8<氆@ɓk&7jd g0 gYZ\I% PurePureproofs/432307zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵zUf}it6(y YgYZlF% ,PurePureproofs/432007zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/431387zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo8}rjLc0+g#m1dWjĶgYZlD% ,PurePureproofs/431347zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^O;;$-: BgYZDC% \PurePureproofs/431327zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z"stxhGFZɺFHRH3q-FeQbWme)3gYZ  8 E8aata% ƶ1bXⶕs_xOs\*"l Q,2~]gYZH_% dPurePureproofs/435147zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U8|zSQ~@lWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/435027zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/434987zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/434947zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/434907zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/434867zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/434827zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/434787zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/434747zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/434707zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/434667zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/434627zXZִ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   ( I[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ԫ .~SENerKےhh18,a$V8"uOtt|yp)7o6mSC>NF(R[3J+vFvF=GkXGDP'B6w!`~3Ү\zE4*g(EMH lCƲ"D i}76@bXzZWhPFlXY\10pAh!yٕ?SlZC̈N* l4(#xF8sG+m\Fwٗ Ҝ!ׇUn{PiCGS]]GȄdYRJa  mM=mj^mmY͊n|A}Rn MhaC=I'9cɑ`^9 |:k0Ogd% nZI;aH2ojأYq:7e ֿ9{63l3ۧЅE"`z:4YAع@/~@q{nrg)2,!H’`O+D$6bUӇt.s`"[ (,.kğy?-X!W iUI/ :L;& GJ?Ƚ~A1(&*<pD;-9*<]F/ReÕ>&D_ UwJEw}fz1fS_D"7iT(q˗pwq}7*׳{Ig@[m&rM ESAnp5&L'.%PCVt۟*3gbwN\Z(Jf(dPLހ5x! c.T4E,IDq{S嗖:oinі/h-ܿB1?;e Аo.Јpѿ#Ivqť% 9`~uĄx:3A蒀&\I1ODQE8qo>oV._A"Z@JKGc ZՄipwUbC(D&N3;Ms̎f6O9ֻCvF*8SԸ#*v+#WWNTƵ{Nj:LmB͞G@ѿ.8#x I|>!bǐ'<ƧIxl 3xűڕ;G{airz U#LkLe~NK.  m`At43@nYYyK)~X4EB&m\q? r]堵Xy[ \4 MquEL+&ne .gYZ\f% PurePureproofs/435427zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo8(ꊿIQ40@ec,jĶgYZ|d% LPurePureproofs/435347zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gF@쇍%%l4w %t,gYZtc% x|6:mb ר&wdZbF.ItģAG`I! XFŒ1gj!1IfUs$uwq~ey1.B%U٪J%Gf'yM4]>~J,W#hHY0UҁlQ |H5: ұ =RЖO (+]ZUdO SHj">v1.92;o>Ű41;f諟P6(O`Q=u:X[U( 8B;BƐ`OYerA7{,e&mR)kjR,I*AȤAU{80\!18xM%?FflnI׼j.4ڬ9RܿCn&sDW[ G5!_^;EPD 9vMG[)y; MZ(և$\˴'6kLD/[g9Tp4;TiS Zw1x!~_!AըK$YM(q'۱("V 3lز>NW,يQ[`&E4 vM"4RSϗڑ>@ạ c0AEmVCS,rȼ*Vh{g:X5檴Xw8kuu.i}E^10]~qM3V!A[7/KY_41wըmlw#Io/?* ,9yζF.HcՔ<dhDaDY& B"X~k/jQ_ UvGP[ѽ^4=BRLBf:@ SC%_ܳy Ywaש+!0>GOl. `z 6 Oitg 5\LPc:QeG0E|9Z9mݙ|Wx"0YfX] v2ݵ*Zc} x &⪂C7{zI ܤ7<聗LygwӺl55c娗el"8 i~Pt81[\w O1^)3c)û r<ʤf336YHy:eEZg6TDтQ=Gi2dN1o8$6'y[wƎ+HYocC:Y{#oL^2֬dGvo_G m%հ˲c ,2r*.J?|]5DģSpANuB C! `@d:9.)*_Uciӯ쪜0]7`DEM\ϙII+omXbqPOZ*#T*ly$>z5bֲ rk!DyT;*|Bb#;/a8J'OHfj,ՅԺo+p.ΑaXwT:6ObDOԇ]NU|c1o-y]:Y+N=&qXۉcčK[619ÖMO>QI6^B-h,? I%A V?4אpޠs͔q<џKJڤwkJ¢NǏJw_Kc2;gB!! қS0c+b"y ^ň6 6b촥# tHL*KȣL~J`"PgTWuk#QXYB,g^MO#Y*] OS1W2ѳH8gKT^Wvؓ4J-93Q}6t9Z0Fvz90+R\/p5E`́ORX@iBj%_zwb{ݯ|UAnPMÂC͇@j%9آ9"iL:N7FPׅϘ5tmf™؎͇ 'TE apAPUBd7r=-=G=vC-Dn1)Ǵht'mS&7JA"]lHZ;g/%1Ayk 0UP3h>$rd=a%DPצ);ȁOMw\F/6 jQ}#|Z3f&\~`#'(d_2%5'M.7Խ֐?a{chM3=(upг>3HpXrVuӭt: ]4&U'}ЧIOMmkp莁ŋW>A y!KWKH#L.XWzM BgAƢ|5b = =ӫD _ZYFJ'4IdGwơpMZ-I^ĔKO~m^Ϭ?hh5`!4 wmiP;:ʃMk["D {ql) }ꌏ.+{ } ~nM9:*'Az1T!4+ 3 rz`A-70[oz0kƏBAvhHqzhd?(0fQEiW4ȑy: D X_J9WuK!ϲ%$oΥM ²d/}Sj}i^1_uWjxI(f堃̈EA8Fhꐌx[=k&cd}(%BYHCs-`2!y.bH=V3 l$[,nvWGQQ=[I9c:)fA H*YM530`3]LDiO4 ̇vecQNT/cg:,"%~hqV_=U,FA a` rv_ z%Cbz_O jYRH]ԡ{bs@$eڗR dHG`^j qUW󾑐zdzJonud$4 fh36/̧Cq u.: %b~`it\0RN5 S4ŹN.a4oth!m-:zd~/f-d϶[+cmbGe]74cWpQˀ )GHwQEgT!}mGg~ZkC0$ n5)(V Vmm& ~ [) ?Z30![\k~uh|PVog$[XԶy0qxKu0k~TQi`m |s;W~?,-%'Aovp\JrI-q+-FɊ<7B^feW nz6zPP9E^<΀zJuW+ q #X@.[- 3i%IW"Q%GÂ~KD %~v~pAvvG%`@+aYKL4AHjdWhF}~+԰ʡzWGϞ,MJ'$mq ur̄o/vVHܤZ`$ DТ(0 i݋Q)ycN˧̿|5RJ1m!dnJ ?Y~&CȈ'cG x=P?{1q 3 baO$$ʉtJ%s'n"<<(>RJ̤*[0&s'ryOe3t_>'3*㈆hPGNiu<͜YSŗE*\8{KHa];AZrgviu_nmSzvXOkR7MYz$[r!QhIn U+ K7cKN6AL-_*qʇ&UU-fY*ŋ6?ۤ$Uӑ_;H>jVøE2K'{L> 'jF R[qrpכGD{/_rg#LN]'hdr/WV i)\~{NC*TL<0U-F2wjvÄmʤ γHދ .mP 7-k[%dj๝ l 0Քu7ihTaWto3wo9!\K!iNO2},c}LL6}9R.,tJe\ ^Ӗ q5ʃVfro2n^}S7e3A۔ͺ#Vha=@ʌ z'TX k0bժ1Wf!@&gveY%I/hu iUd]U?$i47 _vE4 jQoUcJR85 X(f&NGwa;.dIHE3҈̓]sln6_6y:$9B-[vqa3`Sڱ|id X"^u yS0r*g6N=IVtn&gb ITT%BsqlϹa4f!sϊ쯕iW65zj,!E$F[Ihf|gܘ]6Tl;x *rUI}8Q+s~aGd8݃@D]"UZ R!i⤝O?u[k亂NAVUJbÕFp3cJX]XSdw|9(@zyqT>*S0Ip;\B 0 إ@ ;sï ѲEi=TTJ|9Wh1LH$y@GH3Fl^|jmTjH=8]Ma]mzȻ~卂;WHF3ǡlfG`{DAs̜MY餘(ZxYo20CtBX`d8S])AP-Kf̖|l+bv<s)#/D•6LJ>]M`S,=Q#}Z$>Ҝ篷^2HY-Ad{k۪pq7ΓoC &9x?%:5*bGV!" Dׯ HGp&j1 $rKۥ *" VtB7bRyqxfHQ"ASQ{%bwe|H?=j 4QƍusEwp Ԝs4ҔnR$Vww5hD!" khtlƀ&5̲s CԓSF:H F g].$fؘ焬 MRQ}kZ [B=ۑ3 +Ѓ|`Q䱈2Bi5|<ݐ$$;W㰆DD<3lqh'b% 1M6%d[)H."c_^V =D-YP)$7z`/O]>.~Ogr#cU}Z 9hCfciyۋx6gPɁ?'#{asQV1\4a+"hAb9qYbCj@.u'fyNTGcׄRj!;PHB ՐG&2ENml6Jle |^6P@_zTo-j>7'\רGKigɔ>eB;W䐡2*y ΦgL`yy3_Rx7svsWW3ll>me>)^skTm'%]ɨco /.\pQ ΛxW(j/ Kz9C$D/xbDOA4v[AI2qTE0VD_4)O Z:сA4uNGȖp_4.7j.8ZusbGa.:?MC/ 0[ۙO=suO2R}&2i k:яO3RFkx/xchPC\ ^w[|H?21hk31ͮ2Tﯵ2eO%Z7ѵ5P 4nGu~8c\+^˹Lw:;G8n' Rxn /aʙ%oGX D4/`^hɎ(QRlQ_} SQӅ;9Y$/Zc:Do x+zI$qqg)O/!F^W_WY`~̓c/'O?;=i9rJ%;0bFS$lea/fy epҵP2F#ŹE'v@-hΏCXB?mQAT8}ʨPfx~k@57<ʷBqǒXt!퉰j&5bpإ!C*;NcG CL"hHV2 r#LZOjsN\r'qs% W*3-oCʒAc'ݏ8qiV$Pg+Y}˒?\%I?ks97NZD/`qi7'xY"Z#@ ]^*tKѾ >I'Έ yЗ,'UOhL=N[>Q#Whd!՚s=) ׷jWU*U VQɆ%ԗ5BO~]N% RoM}78\~mt;Gz_ z#r\\RrfҸ|k&8!@=F$-ѭ"Pgb/l(t4mS1e?lOȭ.0Hug[`G]<*CJad+H ؗ ,oy\zhPGΗ2_Nf Fc ؗ ʻbX#E-o4DAF>U-aUp7R-Ho2VG q%Ԕ˹k͉9P3? tE|&qvr >=hiNx_{vJQ`^;ψgl.ۄg3 dhᰆD!vt҆fs  !&riQ6C)6DNNN>^ǟ5 ljܹx VH ,@::,Ӗ*nC# y 7EJW W35m:\:mrN5*k,!xL'X8uVl.𕐲SM`KB4Ķ|=ER҈XhFfE#SݎYZR:~JO YD FA!dnp㋆FxmT`z+]җ~3|z˿l㐘P.?  fuK` A,K( >{87IC(F/?{U#'vYЀp̰v✛C?Ʀ ($5 B0k>0$yqrq7fҿˇP0.Oڴ儱 LvNFBHa7OZ Yrjk9e{J;Ńۿ_Z}hhX\UE%FfMLLMXT(`,e|n*DtwCPVnl'87c:4n3?*|(Y=yf8뒵.u'okкd-2z/ `ypovΞ\YLc!b€{ֽ֤E9`# GOk3ANe Cܩ}y6!{:WS~&Oqi*Jvݥo%2-4x&@S er:H}X @=v2T#yEJO7 f{Ͳqj2\݌݃Rұ2{Fr+NTwM[ǾgƩ+ ]1gJԒȵ<%E= K&mMWy6R]M^I͞;դ-]9ur^I{̮JmWÊv^G|A/YSAKPԁRABy UL/~k)JD~ Ӎ`| TN;*|~ભM4W)Z^b䐮|6Dvi+^G|PP*3s;SKh07{5:[5@8`MM]ls5%fʥ4sI}rBkYf¶4nzvED-UѶ,Q"}񍉻9%W?@NmN47yECKaXn}Wc5J.7+eبdc}MX#f8B&|ir U]Tmy2Uivʳ&?Π\5Itw{t ix9[ a¬Z"n=Uȷյ+=pԙb\h,,_%fO`(tH9Myu*"\"hmΫ&-Fy) F ػ!WIÙrĮZPZԓ44u'+1w N~ fl #Ca";- KVL5$08 5FDdZ9dH[YT1X83RKʠ#Qxоc@KYQ^$: F9yUo^=d$y5uH<M$X<)Dhd9Auіw4GR<ஐI E3FτŤ,xq^Rv I;j"և%)_Z<vNqXC4hu2;=e51ØC69.ijS?wByd~ჲ.q _gŖGf(W]:蹴gɜ60;>ESlh| tb8h6OJT4I桫vAK=釵[ឯg JyebJDF".[ Zگp`9&W>F[] jv;Jh>׮ (I>&6,w?M |ڶ -'ez01eϯiwEx7cܽU'͏N/'oܻaڢTZ RAZ>}w(㰅y87!ް7qݸ+`7\V>b>rWR˂Oifj7xqZ!zC_7DiƯG1O.v#ENkzZ  .Й-<\OO\[OwNg\vOqvQu- R! 03mL_RkĒn;IQI88APÖ͇E-/c]/TIV_A#х"v0zf@ 6Bƨ)ϬX췓5M_y3qRnr؝Y/šݤ<9NA7|WIuHVgX d]#4¸\2IEtѹ( HD KeK ~j~?c0Ҿj j~+yMaPLrytpR|ggtI< Ԣ5aGL QZbVn%;@ CHqY&#Et/S|"\4,4)>3oZpTPN/ \~(IxDޯB6hw]2M^.iK BTә*`ff/i%FW?$xv>;%<^vz#uG0Ҝz̢vbõ8lB4cX>MȰè:p_u\_iZ K|~km+Ԣ -Jfܰ4T 9ߖCX!mK:#`?o<'붧Jxx(O(x})F뷊$lN`WݛjûKD*OvSqǼ(-V^ׁ!MeC7u] kPd.)H~!p u@V p' uA$ޅ种c؅V6>rR #pC@+\9gHTPgH_s[[~=jO墻,+_K ˛>au ? [L3 _O.7jRVzU#C$Vi__9X./>Gލv!,@@~ur1+˷$$tX.6[%Dy%օ!VXN=gVxX;,:Q#'Su604O[#FqϷ T"Lz@FLv)ެ6,c/Ã6"O%r~]L7 ը/#nHJ~ "o<8z!'E3f.3d. g\rz&ǚ/ q\cR>mΪh``Mi!-*{&mI8kI2X3\'mNӒq [VF(vqOPDƒ<gYZ  B}[o% \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_id2Bl'7 4PurePure.Sessionsdocument/Sessions.tex7zXZִF! aS]A-MՋhvG"uIBm5ȢED:F' Roo-" gNo1.vzXp>p 4fLkS DZw<U&<\`VY`x:UMبJ$\rGo6sҒن#/~F9^O#΅C:w$,U-1NlSO֩ 6ao͢;A.пЗK 13,QW&rϴVc2KIoZC}%gYZk%? \PureML_Bootstrapdocument/ML_Bootstrap.tex7zXZִF!  %]A-MՋhvG"uIBm55zaLAG*),d{B+E#=Ā cWUxOQg6u6W\ٍs"lo?>_Hǽ(84H (!YfM #;uL1~[O?yh a\țƃ/,a>~QqҦk=f!$Җ "S^tȧ{,b /}R]{mhuqXn *Sßp=UZߥaBOq<5y|ihwqP77ˊ[yW;2Ns]:xD`rj~*בeihlRTqX aޘNHƤTb؍=91RG1"H0k>ݒ %i]4Wٺ)*ʲ3uEe>m[yE*UoKܽ p+V\ְ7άu1vԌ3F96o)!}91[7Wq)j%eMIH?LMʢvkQDPޞg C}x+ۏUA W҈j9q^T+b戂 l,_A!X״6R#ߩTX?b3|~;tcP0-Rr*Ip8cXJiY?v[]7 0 ]̋:YTMADlʞ9(텛Z3d+ͻgBGi0UJE៞ep tg)ҁ}N|&$'A 1)Ci\՜k;Ef@,1 5$#'6Jh`f.WqgYZ j / \PurePuredocument/Pure.tex7zXZִF! 䶱A]A-MՋhvG"uIBm5N9Vm6rTpѢ&hEVC*>5d<%''[Skݤөxg0I$lu^ި!qQ7Lv_sYP;l <_[g/z>xm0ė!PRA sTY'Pn?-f-eq6,ԹSEQM*=6EsEA:(' K#Gq]JO + ܆6 `YǏ빛2-%o4QIyj3`S_%pxy_ṰxCpU;kee+KH&{LԨ& k/id .d@j >tPT V=`j~$).طmݿT8cwVs2[djor%M0{S`矉nEŎOGe>MTd :ݥr lJ+#pGH )Y0\tz^з)x<ҜVN"!~$ E@QE. ֡Zj}69$fvBy?E Z=@!/ofP7XSXоw1.eBORΜW(:& 3j9-XOI43.xSYΔ8tYK}$lx˾a\ ;PI=I1#b,OΆw38Nu~YZ Fqz`4;O)[¬b57 aAB !jx.A)8Q /4*G}3 <-Z8E7:n2AT!\7#@wM0'=֒O((5b`}.NFC\bN#a S<0%FR3Ip]ؽny-<"XSf{hZHq{dSM4` $ lni_d$p]k?lEg3 \~!QNUo%ù=w(yQ,0ctyTdI\ЁxfȤ5YZ xmBVH>Q%r1،,pzC6eS8PXxUR ,"9 NV@%n90eNLwN.0),9%g2՝UI9^1~ ңhV67.7X >}0p p2 =?YUEq pQZpXZ\ObSю e.aT}/N9rnn'6WC+uy$Oehǘ:Lk F(8ݨd',"2#d!u9^9֚{'x;yj[R 2VV'uIVrY1䃎<':1*ܶ SR&>:4nk 9| ?Mضm'GXWˌRV7@2Tb8Iu4#Ox1ϸd1o`-.N%!('LAȴp}ΙYLVKt|Θ'[)QDV4s+iWRt;n9/0tt%|1' hş)?XefybpB9"p[G#RUf TD6&W9fT 蚻!ڈR>ZE1LcWgD+qȔFTQ !j~pzdգ~w6yNA=6QѷW>SS"-FBfAK_)Z.{5)Ky6ڳR;m\Q^D% iXy\W7z_C++z%~\jϕ^}:O^ca~jo8/eΗxa  T+Rr{>d |{xG5 NeE=4'0h!ddO>C   gߘ-D1aձgYZttO8纊ߺ ]C5LB!p>ٿz3樫 Jd!/]o/Wy  !}k\E&N }Vԟ>Z&;R|BfIf?ʈ&=EY扼tu6!`nhL3`#Ǟ^ܢQEΐ'.9Bۛ }9(Dm 3?2ɷw otR &qI|WB(5aذtv n,'Be rKV7f@i,M~#@3UU4Yl;-`b.#tsc=;nW̞Nʍ"#5o9Z%ҷYhu,b!'FQߴZ˦Wp dũXwY DA}-zō8YGRF]QfT*&Pj7`TpIsj-qPFR :XK?w 3{-U'wwK'>(s:H\Vd%#PoWJTڪv1)uF1A^7@f  ֞o\efvfA+K!6ˉty[tCm+Lu~f6bwݷ3)0A]eMIpXE-P煙BU.cB;YK LP6u0*#Q4Áއ.S!̒kHj0PʮkW̪(aĈLB.LJG4|"kǘ(d>Xu%)ާ4;H%r$l ' ܤQ$N6$ajvhWΔQQ`Mm*! 2Udɱf?,J~[,([=u=4NB2g̢œ8yCY_6{&ǥ&BМ+A)$ 4ʦc=zKײoL#OX$WcUG@P9D㛱{eTw"q7(Pw_ e쮊K$6M³4țݯg@kI=f~GQʸ`FX'h-asA23-xt>'o'A@PżIX]N)=n-`ʯQdoMc qBؿvFQ 0b: _ &D ]ع{2Ͽ_:WxN59]T sTgTK5f_kn#w*k~ՍʖR2Vl+d\_8b؏?C,2a_% Vj_{+RMm_]qñ W_64+ѳҀZ f%13b$4tȧ }n0>sK/RI뤡԰:ulQ.#‘.Shi#LJu/"eqK<&-'5(] !$7gR%\5pFcPa+kczݯnt 슀|f7>A(AnF볱Ge 7dUJ?"dKtwhyDy|LHk}=຿$_$X&+:@&-zu2N!-LAW+,S$O>0 xf:myJF6f2*źLLVePbj%KKs F~Ж4|arUݻ$ߧxN1n?%5}}:õ h)|]֏o)g^@޷SPvs5-> WCGh/iF u]s$U-/̎*Fߩ_?ܘ"jmZR忟mӹKtj"ꆴr'`WM3:f׀s1"V3*ޝtDcdjo| d6yg&M+ұ/DrnB›[c /&R仃3%$Oc_#JEy7'ZIYtw_ 7)nmnmF@ڪ]6B}nrt/[H`ـi#>pn~vlͳ:##29wwr5k9"|>Mo&E|{[h:2[o~$&Ӽ@ SNCEE44;hBȡ7ݍgb 8&c(n9X11ŷ%>[} X_,& cfOrSaY^Xҹ,6W1!ɝ4ԁg!HXvO B$ J}@a*WA]Ž|p|=q ^Ll&~pW:]j[c_j'~ gf.Pq/;!%`i*s>tOw A*Ȗ/9oGMhhm"ɕ$#R|_u@yrl헙14=' .,AyOgd a߄Dfa#R.5ڣ+O8[Dսe`9M#? h < QpQת}s΀7~rUr:X(8mp%;(KHsJMQ;r__fc/%u(w+O0O].o( S؄  >؍\$]q +]CW wϴJ/4Ӏ<x v^42@ 'C)}axV˪&X];1EA:4ǪƃݩS{xu&,=wfۜ\(&v;S&J RDm"RihGC,,5|I=Pr.5"s Cm{b-%ʗLhצBXw )A%v? o gk[BM^TD4]Wni-1LGfLdSUA|?_ܯ}[9T F}zٺ9Ogې-iNÑؐ^.¨w SE iZ vQIR,ԿbmEH4"3vub!yJ"2Zyʞ+PH/-;66G]D̙оɋ+=yB2P>v r9̘*J*/sCN^D:VW[s]$UZyC?Lpn ҫ EvNoD(R7+|j ȱ IÌ1;Ϝo؍- =[7ЄΊ'feCDJD3%5ȔiuI*&04Cx+l$Jkܙ-6(\_RmnHN'|ڜ55h:#:8$ X5hk$zO;}׈Ci:Rʈͫ&mP̦BI"~{[1+z wS>iÛ `㺑tv:)ӝ8Cv@I&q]C U(@`b8jBv1"S `!֎:j.<.Ot@Y:0]P i9Ov5f.ƏJ,q4K%?X$M?璕:l`K՞ I$ۗ#|KmS#<[*E>1 2Qu Qr@ws 9bE~_5WS8mYFv;3pd{I|;T@u$9y) gm ؒ 5GZ;S{m2P!j00`|YS6| }#SBm0gt dE4Yl~\\N>jO@k4dۖtZ&rVh CHל@%=F]0'43փycH,K{R':+R  0>Jpp^1.igY=Ľ\O-BU+xOv973Cfu#՜!e9\c,'Yt,mn.OjKh1"ckF1μt2B&7ryÛ8+BW"Teqc2vfK!)cG9w F[;EGSs2tkv;D `#Bc)2[P1@je(/hs7mN#h$wR%W,/\nf Z“ ę@};t#H)c&},fhrƶaV~?o}D]x @%9z%2Մ"[y+^/U>ihDn/'5q|9>85$Ҳuo OYy`FPEZ_B>Q'f>o='>@0:kt,Rt aUwYb#IJFTAҮې,`w/?\|z3ѝ~=|[fI6sZCBr)KV\\ٗ7 }8L?X&$:MNQڭ+ͻveP)?/DXa}\Vل, y \=1_ +A3~HkLUS<ӣUNg& YwlK,fɢBtJXWHI3}k8CoIs1n )WqՄf Ar4Vc }g1ȡ?TSZ- Nd7;BɯzYoA*:4< ~RHs?㔏@~ȭV5ZhKD%ʔ&QiZLyaE}b-r)t_y!f*J@ / T^+JM//?5K(9^h/o޿1ƀ _"p*pj^ !:RYӖyy>1 svAM}O,(EYwC'S|;8aHO~`g3jRhp2;7 EVjwc`=I-,Js!~uI19䀘b{M)$8Iߵ#r9D;3D  go[C{7rv/;*WE: *_͇VD;T \*y7k "uWWi&?1-&받Xua vU,MeX^45Ce=c]7u-$RN#];QA۞ܥ<<5C'ts@Hsn2 C#x@0H57/hՀԥk|9Y/O8aEE={x<zzҰXbۤ $S6EIpQj\bE2sޙȁ/j^vf[3u'ߦUD^QѶmrmm[rM "ΌF % 6WgБZ M !4`;#w]z~@h^3Ǻ&.5z[픁lei^:YWWln߱VƳ^@6}uKs^{_ێJ" Njۃ~JG!-9 J.Vju%ftIX!NP !e y#HR¯!}~ uAH#oԳ NkPI/JԌ b+mw7oMe9@֣ay;3iGGX.Wl3Wۧ3a9_KuO:{!i/TQ ogXFA|>F tvzЈq8 6ݞzc=upHѣ'5{("% Ic -!B"R 5DJSWѼNܓ5p ,#$*27_rښ#b1(c5W!xƏ7FmtzBl5/Ф_b3u9JD&ade#7j.oSJE(`_9y+(}u*eY D1_:6i <ꐔ8&υbf|J$7rHF )5#`ȏ )w7xFfeuMJ1&@u1oJI6U١ zɵ?R}@]c%5f|lx97U%zd+Arbeg*lȓѮ#Gi!4N5%Y-G]9.#bswх=6"5xCw(v/HՉCВW97Dȳ.9mt,Ϩ<2K!u܌\Q/6+(h1܌1^ )jV}}`/*SH2do' Tvrà`֞v@+ RO[fAr?}>.?^O9oA͋!k.V{ Kn>۲D6ma\#3'BtϬۏNwj{ς|T=-lڶeiZTCyEʜX>apvSj1JGDMhaP$/È ˳yOhn_M;AۧvAQU%L+O̅Od!v iʒfUk|ƊD 7jX]1qAa"&ݎFde jf彀O?=[QL䍵 Km{'D罇"[XbdKm^su;WRf7}oՈ7˯+?PRPnN=YKu醯Z|%)-KPLY'.| n?c:DDnePo.=49QY8 .5u/8u\v=FEHud'7Η-'h5t2Z.0ۘ;1$sy۫߿!Z<"c-q.G)r|H&p,cOUkl)AO1?x&.K$־ZPYb+e>Ofv; ȳ{奪 ZX<i"?oN+ZY'=9!{q T3a.b3yw.tѯXi /O?k/s8'\A6l $?cnDh[unO}x,ոϓT)PHE B{??Ba$WB5R0C :p]7)b<* D@goŰu|[#<ve[*-*.hPvP7o+Lxgnjz`~4ηy/ T%OQΏeң4cnҾq&?F5s:^1)c$YvLV"ˡWێ YVpRv jR1A{V'3_wPq|gk ,#Hss?ǐj]AٝS C~(+7K(ćz:<>eSnq+oۢ7|Mĸ3#,KZ4+Q[D9=W|"[+uR Zt,T%4Ftΰݼm`MYŦ^|? e*=R 8pMxp.,@78_h@+d ?/b1ai#*SQE8#2FnF1pudmDy|[I΋ Ժcj[FLDXD_|Cqc&[@RқFy(=[Yh`#i*᭸ H$^ZXWF $63FhR7 (O1g?_nȆ%$K'U˛0!vbY虃5G!XC\4^VQPLQo<0cѯ~u1vM35 \&uSV3ŌfpP_~} oRU,cΰ jn~nv8çIО4amz"#Th`q*Hkp+q?q4 y~ӳ yX&2:aY!ğQz&=0\c :$ KY}zs2fC #Zo sGXBG^Ql<_}mF|-c1P=p1E:"Kg쉻bdTyqh(B7-ą3I>BsbDpCr@Ứ'~tqƠDZd-1YFR-'}YuM@Q sG0)D WRpsnj)Tme92#P^Lw͹Kce @*0ǧƓ3ߌc?&E0)[`.::zԜ (K‚`ۉ/j-3 {z6YU2Avk:oNG]S'juuhS `x|1 pvR~R\@Mnb ܜ0y*Iiɔu4&7ʮ< ä1/ N? nwIuH3_aYd) ggJjP"P>Q72aݥ ͫ7ѡf"*2bX[?}%F~,ZTN50Cwv1coR:KDpjXcC^ ١BmcU=y|u:FSOnWj~9:|i)|TV*Jk-E iM0@\lv/4z)vEI߭a5v![r~}tHhA\VFיV  ҢgL`zqAJ%Pl*N7G^>NiE0/e*TwPx ]=N J4PrQcᘴ%vB_~}j _&ҒsFI:lV~/J]ZZW7Z;N@"VQK8ooy5C+ #) Ё$ʝ1sa/)]C}LC:8溗&W\RqldQ^ TJ(\u X`pŨ5(7%YFv],b|*pCٖժyZTRhLDd]8rrgf>߂Ca,O$b\5Щc BYvEطZ;xVZnN{%qA`)#!ҠUAc6!tb\|<` f93#tr]ALk&*\#zp5k.~d]9e?|;0;1Fg̀ 9DYe# DꥯO ,f9R`>rXԠظ]˘9l:Xbck K60+oT=^(4~d. h$1wlzq;xbt[:yA5AT j߼X쮲X"پkM[~OU>yI $ JcЁle|媉j-kwJl!y1 ⤋"-&xKjfIّ_ w9T7^uܕLM-/=?n#+& i졘_6:u5h+E4)j&n{J 2&20d2LIkLV9+mrk'Fq6X'Y j2dE@hz00}חCSC6Vmd:L̃LCZTc-*1iFL+:^ zr n R !lM hHp-ɸ`Htp sv01.6*+wE Z}X-J'9u!ƲBi۴ 6 {Kz/f 8bhVOBi;4߽)Hz| $՛y}g :t[AE3o昹9ިRr%"ƢYey6O@?E- CUe|hFѩ CFH=UQ0}#NeG\Qp᣺xFQ,suɮUc/ @E+c>V߱΂IZVG|y`ۛEId(k,؛ c5,{F)A4a xT@6m#<1MZI6J09FLJgwCUǎLwm؁Pmc? qlb5,\]c"V}˻ `xb]0zwVȨ7;M3~ҋR:}t6٩ӱvՅO,T)Jh=ƽJHt|.VF?GlCH)ːSn^SN{DA,?*$=ԍuRd"66x0A Sq-W&Ups Lbk~}SpotV˹Aejlz">|(4MZ߲vLp9hM-%==KC5l/ثl:8ʸ j6{zɯ]S9Ms7wxr @QS$4h &5(W˃avK lȒFW_dMLC_Sz|.-w*pl9IBP ^Uֻy3@zE* Tm=4|a})i \5usE^Da~+=Qm]5Q]]ϽAj t;+bOd8-VGX}vBIm(xjy;hLL zBD=zbHJE[#YBV@ G($gd*vaxie#'4|l4˼ P{<; ɞDG^\os\P/M7 ^? LaxA>LsyR(hEb6_A}!~8P(gcW, b{Q<ލr4HvBєgsw1DPB@#C8=-֢b*d^$Ĥ%{PWI(pЬ9TjĬn !Ie"Etnm\l,O@~YG˙8!b¡qاVzA?.l ďE~ʊ(NRvXA|=RCzLcqRvND8j^seJaRgr&Pۆk5ץq\$،”+#lݠǙt'[>vy52snʞޠJ!B}l'7}%j隬8-ÜmILJ=6Ox.1&+R~%hߺi׏ eҫߎё?L|I879s{1 6N&B~GBV"?NRF"Oؑ~mG*K"XXK\˧\0/N GO鹟(-xa[JIs"2vb גv/`0[䲤c̃iւסAghOZN(>sl{}șH$LU^GNCKLz>iNz`8{壦^fژ~]Z\:IyAo/8j/V u X*f+ rևT)I8 "9Î@y ኱v#\p+MxMKCn.:4likkx/l˭ov"A2*W"1Wv l̡E;PNM?B9oL#E[+D1*f[ bؙP i= 4k"tn X#&9 GK~H qkm-cq yzL @fFT Xb'vh"`!K4P> . .BՄ`ͮ{l%͉2{Ρ6IjNQ-g_>FG OA2p0ORϱ9-T}^U\] M..)Z]- n  '"Ov-Cqo,o:Aoeh xO"?i(ط^L!Bߝ̸$ ! dm _[گМi }-{Pu KqToPE?p޴id.G[iFÍ, U" 1hcyp-Z{45=#IYܧ@Od|dBK%A!@X>؆ |(k ~1A D6X3h/03Jԣ\ڴr_'ltQ}Ngb&6AnR8b`l.8 Oa. Hl͗y/b]@[9i Ue *4E*]JF0[ՌE?X_lBWF Oۉm&%eua(I;-AJ^zt\ @ezR\Dl;FgevgբS^>vxς}x։%s~;Yc~W = OH=ՖbѦN=w)nJIR y4Oh13K1F-&:ZGc )>%Έ Gu6jNq-R ngH;3QvhsāG"?c1F!"q̯F=q{. ZS#fqVs.š,k*E+~xC޺hBT̳1$FK)ZSck.ph+SԉbǨyá7ZcT~sBJs!9Y;PۮܰI#ON6q)^يp% s Dw-QGB94Apq`qSHA]F {wd'{ Dh?LLN¹&K&1fRn\ H 4u 'aWLk($ܗ ^P:oxkaDjbFV\%2U;HvK!] cq-7 :v;sQ6w\,9fn9'?3&MmnUw-hlx52T?P`ڱ޵ȇL+ xs=tRs.SҹdP uB bX@.[K~w9pFOAYVd)XPQFMJ:5^ld;H uƘp p_qԂ;5]|RqwPT5.b?$#Q\_ 6jЇIbi.0 5]uJsKDdO#{vhۻIDh!S%>Ff!ǫwv7UϙXyo.L綷L/NYǖyQx.Xm381yFc) paC e]ȘE< Ve*ScI'J,E_ _zn Pڸ `꫊=ֶ!.~*,~x$Vp| CZ"(1_%Pk|d s IεNTwc`Bß.Ե%K_GEtOZ9&\+,  w{UdGAzz'.W\DCQqm-F~7>BR wB;*.aʑBs?_U&E*# 9Ge|a[zٰ 2)N}!(A7;z,Djf fYE?l>mc79tVӐ$[sNQk n# ~]GisNb뒟* $>~y`zCT4ⵣKuJ0wpwp)8+'BժH3Î0hxI`BbToi&Ar vF᫫yȡnhfPp]Tia /^?/̼'c4$5d_ 8eO߁ >;E.ùwRhQA}K ʰ&D!6hHMf@ozV{?J{ ? cm:h1[/cCP$E`$Oz/'dƭZ*?W|!# bA]f~o$M_qʄQ Ԯh 6lꅫk%ver7:Nr' ^vcJsIAc:r# 'Ȇ*:ňql@G(&RvY} c]dcsJo+~Z|Q}$[X"DLr ^E%b2$ƴ__,i=qk6(aZ3|“ K!j jb_>+c{$2F]zghNJ᝔@>j7x1K_qG1xIlΦXv,X&aFiOp8*]ߩqLuSUيL#-ɃKUOLAzLJuwbxoq"]riXv8LNWE8*1&5B+*"ȹ撈2(N/RSR_~*eQF3?8|$62P>|mQFXPɚy,v\brjΏ'%VDVH}{UΞ鑥#TRvn9I*CάQ a KfP~Ā{'ު^QDmޅ OHO+y _ID"ݨˈ)(13h~V#_5 ^nTEv3C} wwVg#o=j!<-ۈeEY7~&X^Q}cZB Ĕdۏl^,G$Av[9醒w. Gr=8Cct2gBŧe%Q* V19J\\$,#2ULophwB\J9:+na$ hD#hCz&ܰ_V۲c` ܎8$(H:n I,z%>"ʀN>xz jA.޹5 f?yv=/g*#6Gn!E^.D, Ӈݾ+McglЮ)샙,5͘&鋶IT|{Ő %X>:;2v𼋅W2ؙD{Wl\^%>fJ:טW7ۃ&4IeZ^c?yWԸ>*-ђp s΂ .)Z/xD(2"H^1ꚾԼ{m?DHlu+s˦#5.u$wZB2= 2n#yC-~r&sEh>LdX}4q09c&{ LO,q_i ,Lؖt@֍4^A/Q@Ǡ0R̉LNKSs83ˇ"|?C:^F$S?jH1W\oF&D(";yDa@6ҋ+vo:`ѼOv玪 0;BiB[Ix/9 4lq9/;!:lFQYJR;^@aɑ!藎o(fҖڞ0tXܧ~i2t$[fϞcNKp1 Zܩ){Y0"ն%(*<_Ӯ&܈@)&;݀At+bËE zu_0cffDV5Z/v87__2=I_"214bitt6y0G;G-et5\ a xSD{Sk8%*”ǷQq)g¿j"LЬ=5  %|>-qgi(_8„ϣĞʅRWN:]ع\ԴpTvtaqu+YM>t2M+Bɓ^j%w ۧvX^qdS#Šͮˀ2ΎOU8NWq0 g"0̋y) Wm9F+uTDbX(5 % iQWۑ -}'?V1z[bG"wW@|krI$~n)Q7(1: ә/@ZŇ;Mz}Y ^.`!{Z-1Xomn ~>4L1Ap*mT2h֡Nhj+$]c$*t5DR%H]&l_f%rDŢ㖷wxg`3qE\E){)0s _**ԡ$ἲN>>[H 5Sv{D< "H/MSBGHiSr:D-Pn|ZMOwP 5oV-;)cFPQab`@C&`HIciLM^~<|ϴVö~G]# LBD, ?=WZWǐ ʕTp Tqhț`zT33-y798==-Q5[g ;qHJIoe2P#),V'{FݩPEɶeGjǿY{ٹTVw ;N^.4AiNhWUK 9[a|zf Y >ڐ&Zʀ\ %SH&QƟ>ZkE=w".%Awn\j G6zw߾? \2px[|Sɒ]z^V kT3|\ɬ ݵEImgS5{ChBx#7J7=n/  DxJ1 +RWe 2L؞{y9M? F-fI4F nGX7gբ0yzΦt}3\:M HN[ZȆ`j8}09Rh1P$՟!0c&Y]d-8`a+n܃$C"%[kƘo[qޑ%ֲV }Q\ʭ0m݌{"V{$1\4r,uH )@t^/#wpI2c2;6i\"ZMe>H4*;fj9s>'V%#n")Lh\6;M*j$i^ĤT<$!l*>(ʹaN‰*HBkѨ FFCJ7>vr:!f/nm`}x\[skn`!=5:H2&\Ch-zTwݤ/rUU1a$m3'[;6P+ ƿ`*jϫ_@Kn%W-3{7JDCXD>8hj]YŰ!-EB%&HHF7c(q bxC{j0/gHh7᜜ kyo>euO /ZaM2$sg[S Q0!HPߥr7-Z9}RW6l55b2z#9p9$ޥFgesdY\D˭ñ#G$%t$I3Q=QTӻ,/6OJI44&EDžy^%ve,0zb_0弽pXr %MpY{*!tt)TVheb^fB3 TewAm\CƄdvHMgS$3= 1x|E{CffQL4JA*-Ȩp =0kc{͇~sA}7a6 dJ&yŬ+g~V&B-Ҿ^G꨺AŶ o`Z7\@DP4Uj=\e=H۪eYi/"G0f@ 栜Uao@f4vחxѭVsThyT ,{=^܁[ oU#4&`%x QUZpM$.za}CDZENbݪ$<_l)ZQ]?n(Uej;𲥽ɍIby[ /s$'A3 1 *Ƀ:- W``Xj{(#&cYzu܈F;Ldv7;nYOոi `p/|IJm28/DVP͔mjᾘv(tt͒:-/ cBowꉨRɿ .uay֓vh[1ꕚ# < KЊ n/ULԂ#DQl=!$O39nBb VfȘZF" >pJ}SMxx*lw'%aH4Vج['/[ B7م9-wIG'mMAB[\Ài0̺͹@2 Vef}WB[IMxm'2~HOWhg@z:EM ,ecؐeFw@M}t?qcZ#M:ᵘ2.> >XÖfdW&ϋI_+2DYLƠ^r5`@t8He~`d iż"eWC*7ф}?}=]I +7FEz**)K hdO첒g͏ 5l=b)/ PcH ڻ>! :Tz<]ĝY@EZqڎ mb C8875vaKRJO'߇3Lʥ.W&|%b3U{kA##My8]qԦp$V~fO f@!4-΁. biѧ~g+.Цt )_( ~QTIwɅؠ'c _vwk͉USIM)8bG5V/jġVf$_Wu=fB'O L"=mճSJ7q{VR޼ na(x{LKYP9NSQǨ`N$289x76+B[#ufދzQGiV 2MZ@ANfr1Gz~멪ŕީI 6VV?ى+?-KP)rBVԕmQ1ۇѻQ~%0@u;{ <ֹţ2a^*?U[WeOw%_nd@P e#Ҙ}y9XkU?tHaja>ϣt" ON G"K}9;vb?q[Jȃy]_W!8R0J!h]?ͦI7퐼L}KXw8 mt"]PjW.i{ӜIAcSkx?j%(?_/ e: R^EB^mR=` ,Vq)i8.mb%7"e[%ź*5CEm4bXP 3SR1zQUV㡦>e0`LMAMF;nuЯ8؉qRO[9ܴ$wSf&@P8*gfq4Цhmr׹dZd;7) {gcO75WqņʠDy{@#X̯Cױ]1()]GN;o( \U ~DW%yhE:<eie/h+O^$ ))jYty^-:SKs^@װ-" (u^6ۘ",kNֹAX Rƨzwž =Ehid(V^2K}Adpq+S?1%4>AZauf]ڃpV䆃R 6g6$ L7o*%4H@M+E>s/԰NfB3&N0xgaaur( JbЪn#ouE#ڗhF|IfP)_:)7VTYO%jy1" U(o^ PKK i#2XM~4bXz1 K O(@|v9Y UL$+$hg9(&5 e2MU/YFc?;"Ykv1˂ձ m܌QN37Zѯq"<wg ?Gp6u\Z}NmNB=fel}pV,LӇ'b(k ϝ<6fu#;!o5Ο]LOC\f˞v/8&bBpW( F)poaG2/MaI!ZYSC#[2ouq d@<ԍnt|Yԃ$PY^o[|O( <u$* CžJ> a( g=?8q+N\ х.ܨg{;}p.QL}&͎fWy'o =D?cO QVv!n^d-Ljͩ33}vI3eZv#uZN^h":)1oi<0Aί{N:]NZq4fvtYT3mӸ(=/XӃ|};tD_H QC;!$Sl-m)?DnG!74YozSZ-!MO %2A6^VL'g1w<% 9 dXhKnj(n=$&߷ۦ &$7Y,CXa J͐"d=؂ 8:ԝu_rO!Zt2i`)|YN;O)6ă'V9O}.߁/ZK2e:b ,`t!vцt*gt<7Sk#ɛqtŞMwuըEZ! $:rF[H{jQ|2d[[Emiq @;ng"?790qMކ*6;NN1-D}J 2l`Qՠ B,&CNn1R<zL]l|u}nW[S:׋ҖvLUJ1wh¸qXr B-P'Xc"$e^,2:2GmIhW-]K p_ErH'sЮB |?)Gw}fthͤ_5.@fX:JÅu~#$ $lK xV»эpF^l{"ڝ>vz\A gԿ3yRAQFj'\ g6a[$  |O!yJ>bj O0hNfr$VXx#R28{-\yiʹAv)uS7w+/l%s>4l1pڕ5,CB{\%"r z\d/uyK@ȖԷR{ES63LRE*Bmja#ZLfgks ʙ_U) IBS@l=IE ~03ba #E|LPZ UXGzDD1}%©Hݿ=B0•~I]:6SJw,\a|bwT(g#_΋+!TC42%Og66@ztGP_*YaLB_A^ώvAQs;my5]9B.2M}݄-OA]BTn eWоϧ0ۡrq6@Q > =].bXaur5 VqR6bsc.alsvĈDT7?_BD\7LiPu9mHh`u2&6Ol39?݌P7DPc0yI昶($3q˿j}*f5_[@bUm(sS AH}08E'w銮vhg WI5-=s>ٱ=ȊpwQ /H/B)ԧJ]V2مʖ\jv܌hⱠ|H!܉2Y^Kv }{+]ϽE],KdU8VSi/ $ [x=pfEC< ܅H^zG_foŀz=jtE,K _f:~iv| ܉x[)P(-V~M|}X/rᬪ)IAzCk =nJ*q]0|vI4*pF1F"{3Ё|USyY `CG:4,)k uv!2[/tYRKbj|6tbV+K,Em:;bہ < fo;huBQ{}. :>yZNگًAWQ门C81R3CX@YZ=_TNwK *;EMi.Ij1N޿+ƊgV4_ &0TwNCV<ʼn)1Aۛe7~'+"HI =^t D]!5ozfL/:0y~渮A@@e *E ޵*"QT O~G/J% g/iãs.YX]<+)Q5'.)fY.z{GQ",ڔ gHBwT$3h؞.BIo6C1iS_-e 0lJah( jYp./*`cLrnWQ!kiZ P!"FU:ѱ Ŗp4)utcO1K-yDДi݈.p vZ@@Y5_D De玼n<'Y(ڧnpqݬ"\x s1I(;s!t9֎ZիN_1~'۴IAnUˢ"{{Sp^S1zΤJAbv>lU Ni%MJメ#."\46Eg=Hx:IOUħ)IJB`I\6Z0>jRܷQkiUՒDמUz6drPIdQUg4%Nwq2 8g+?h =[VZ5y/Tӑ顩!1d5f9DfQ?(m !haik0 8+linDh@Qo+|rs FQV'Kn 3*l\ē760iR5eG]|`:C}?a-"$ҋ>: Fdx\ W}^˔̏L(;F$'>qڈrRk48 GkKmNaA_5:o}j ى&>PqE8lX%їn c6Dݐ3ʎ{>۶PcMwCĒY'\槂bjh/cӛͶ8 J?yͯ"\RJ']˚LZ7i_2Bh][T> 1r`P)r#MCNRJfŕ ('6~5 K4႕3OԄ#;9$kBFFwz]3 k3N9 Ɲ`7!g ,ۯ}N`)Vk{Th}D s>lgޛb2 ) L|(,K\rv.)U=Iw04X4]! W6\@)@J|OTUbvK& dRubK z5&f Cra+\oz:@LLy@J&#ِ̧#w$z | ldIE9 ( ݫcƭzȱLtKbӛR}* o&cUw4mg\/^l@؉۝ʀ40o|R0f &"3sw>]YĬ{7l}J|mQ} B%cb"i^ w=w3$@OB0<|Is \Wd2j} h:5_( [?#,G!vvFdy)лd`S.cpcyŇ\$Wv.Dۓwѳ(yjz֫Ư1 2k>jŧx}wW˼* Qbcyfww5,Pb_d 8׫|'@'p$)Nd63zX0Z=pME۴ N|0{r0EC$dtW/,!$aUL1Y;RXOA9*9@_ZRZ\v%()ZXD7Ѻb[8pUALhLVE+dbNxsMؙkyg?@+.΃2EW/4# .W5cb IA%GrB@Ғ?.gZ&4vjٮ_(/}Aj,|sE#|][TcBG85RSͷW>zer?UL6۝Z N`74l`);r"^MV0(%tc»$|oZǒʹ6HWV>@tt/D{F [(/`+vgdp` XvT{/{$O~EGIb\D֓Rge`Y 襺=< sFxҦZkg [)wCjV'Fo?_Y2x^Rvz i {=@I0WsfŪX=Z_SKϖ/Y{8Lhڟ6其HN>!6X{E1yˍ>kHKi[".Iebn0sk,۠ӊY^{΋$:qLwR`njuX睬/uI۽(8B[a F T}U3WPêU5=15] ^%yЕ$=ܩZc2_$hhi^SbYNR1th,0֌5">poc2cKپރ#`#Wef{[kl-8]֊irVQg>b-UL)<Ѵdty(KPSTPZzQ:S+ܝ|@D@ Z?(X~"dܔ_R]3^+g|UkG1= MZ gFݜ f2l\1wz^]U;A77ͶꏋϘt*z=wn!B{EKzNs7!`$ S*GhĽGX~6 y(*I 8 l`E9}HrV\Xe9l_x4g^VEK86,[SszmE`(K*} Ke羀k7R4 {]b3ͼ 1AaZo-AQɛk|֛!0St(m;sO-xzl%Q&EH4yxRӰe m[|սHwio9Wc.T*k )iؽw8&eWy4j1τHMU+4Svo2%2>h}zXkNBe篫85d[$w%<ܚc|p327ĵt\sz⸰9*cʇ~\rRsR dW>VBz.g>]K>qX& l`|rZ>ݛ"-8׎ wFu}gƷ1cQW\pP˰^[yoݘ5CH+SZG$H%E`kj-,VLF"!)Q#l"0I^ "_Ur%n!pKBʗ:4j*o {dnE8 <1jȕ ex=4`GR峂7<h*4.{Z .Gꉿְ2zM^uJM{db7E45TѪѺU +~;~}=_jX’ɇ;}M}[w)yh[4g/3!f[#A5KkOk*}猪;A04.|tH +ݳR ZwTyMf Bb'4UlAi~*z#AzǫWATn[,;f{P WZ,$B>K*/v22V\(j+ŪġH &,2'ABH3~92OkѦhjs=;P'@"s 'nYgdoǮ7r2A!>c·ȃطB "mƒ0gDk|oJՖG@͸u-xtI|t+J2Lh~-2$ 'u :p@xYS^a1;Tz_y5SncGA Uƀ[u~N0D%.Owϯtw=)t7֔M}(ⷐR{mYHݑԁ.zv[6ql]Z mށs|./y?4p?~ 2|+Y*`p4?~V8AAh'p4ymYOqWL!A2d;O{IpԳ).79:ϑ7^/ $+d,<~>Jh/Ӏ=@BԐvl<6ktB}gIc2D[,zzwBaõM,҆v72}IءAOjWD=/Bouo"3i!;CeT+bQj7HVl ^ÒꚻcxF]וFI:gH\u{nט镸PUZ[(;De #<%v|OQH}kX5y5lzӄzd:)G ; b+3KM? ]^<~wH}ЅV(Ͽ?ozz`E,F!tRתz20@K|@$> A ccmv*3bJ0[}$(thS\tij]|Z:s34t{|"Ss)W4C g 0j$K :UfGeI)ἓ:[.#ϩy)wKUWGS&_Kw TF1Y5{M1/WZa($&|肩7x-7%n'.dd[M!i߂񶧊i 3~ԵWզTɥ骳Tore"60C2'1ċ)MR7M- hnV~&@ Y=~+15[.9b[3Q ӎGmώV4`7u/' ѻt;.3޹0Py=?"z\1!-TŝlfLY v's[d a;TJ@T.rN- Vbv;tS(%?|vDVKJ8}r?{W5qzg+Y4`[<-y ,~6rĽiSAb4oo';(Bg%oqx@E%Z0< HT}Oۓഛxp@TcM xxZG75n\DX3j%X͌bڷRgC>&/B%L e| (;@E80^ ]šhG z7v1DxnfJPKU>dRA?= (ᓎ s|] PvśXG0kdQAnzF󾊃&AbEbGgx̺ekkbm9;nKx/7fc9ģz(r o$@jYq_};-|TA ~w;Eb~o_/E=ѓ8 6DUĔ<'~JsB  掙JէzΙ?"gOOǚæB'j猡30:4 ‚0t&*f0 暤uTߨ c@zr0j|t^'ws7K]g.͂r^02ns)Ŗ).z`3SIeE&Ֆʳ ɆX98?EWwDnL`f9sJiv}MBtdNH_|Ją3'uF1ܴD=cKj5*ti=s >y\` tx{mϜbqpvg x(#-8UNBYҾa^;;O?ůDү>Gtgc^x{|]?f~gmW}"֝u"c711yR߰74#?G=?F+m*$I.\kwTcig@q3L33t5ч)ns"1N`')Bn#<\=:2%9ӵ'"jo½W0e'&yjik']TRr7TdkARORJbEFkի::qubpEٽ dLyη*Hő(BmpZ?kVFZ }m,R;IHwpXlg]jEmGzLS:p#{|yN6UW?Զ#:N[TcS $FSpاu_23揑!nsM0sξ2lngQ3Ql9._1S$ҋJ"ݒ7F?g[ Y A6~|gF4$b?02質 U&$C<6ⳕЎifۃ4r#nHn;EV+>aΠ k*)|6 ;k(*p\n-r6/=CA\o퀵4% a.TLSSmZk^e~HOޢɢEc a;EM,MKb=/&=5/شEU@B}ޤ.L W ; 8RvG9,QX;n];v3< i0mK"DdDVE Evs 49"6j۱>>ܣD(vo1I#X}/Uӹ5T9,=W~  P}*5g剥q g/v _ ?Qvsg`о?hȈD7!x^ΓmQwպ VgW+Eʼdz8}ʼW#כ1Q ~~5)=u#yp I*ª&(EnmTb Kݫ'o4Cum~G߀[6L\S%LL6FAuC Y9rW2;4^n mOb8cy!å7|^?Fn&͡r_[(eZ^+EWLW,SW@H_•Lt`YJ$`CQ82V{I){#w+[Yn,"ƙ(]j3zT?A iɜ}jL&K#<;FG9WpBi#.P QXInpq>wJȫa7 l]V'F{̩4 |SmNPN{{F!Il{]#4lmYQB :LRl}K nBDu<*;ּ桲KAN$KڎU7{kz̻\F2~95+K.a١|}Eo8MNQK ') lrSBHFu!W!]ۈIZ}NE Sp9 %dSJC׾$Ky^ēp'L5CҵW`JL'/MF_ٌ}@OM~ ҁ|vg><`*.E^{u<^ÝlOb%t 84NZzɕ;(rN w)? B7Q=f*}teXwoFpbv+]DTmO"q3v}) 2v. "X-gmR+dy>◂yXSNۉ;aE|^_(\RD~dRS NK80?.*i[Z+B_V N z3+9+$&m1'^k5/_Vtu[F .<Dȗ<})IDH]k5M$Q!zS*9Ji8fY=":h*pQd /-\Ca˯v'\'AcvμP's#hIv}ȿ.wJ+xc !Y0~Q'0WM $S$;Knցk靤*AdS/><@iwѺl<ƢP\rҢ E5'Ll`di"ueբOsh]דC#Seլ/^6=*2!. _sx? E,U`jF׻F"tQ@a:{K " iCMhL˒إqX]8񂴳FppY(FnBg[$O&W[O?tg꩷[k gɲNܕޢR=bSIi}L TJc+Pzn_ @ެ8M-$3T@n0[ VsPI2*YpF9~2hLhC*?'6 in@ 7+.~\T8ŤiNu]×PYS]9jXP "!8\`.Iq²+JQ%'KyQp7FQ68>6iWw85C6 %@|6ݐ90I /4\: rv!{$\쿼0}jެaBj2UwCWEJH2; 3羃e!q*JRLy> $nCֈ1`Z+$ >}ܧ[{1œɗT9/ cBk5Ly:BsMnW&N5"_"#$jv7՗B /MIzQ02WnP,h/[ 1!oH. 饟/rќ'A\RҟPnÊs">Hyj7dܱ﯃,Ң M!NUjjro!f1]7b'Gue-47ND!>:\gA,lMC0^i8{)z"~Md=GTWo]<`'qS$q6mpL"tsyƍ~Hrf47|SmQA0y~`.E$EoF}Xk6r( ֪vsecz$gab 㰯c/GA)κ'30/N4b?AԠqs*w 1:kn0y :$I\@% C=jrY"T~yN5Wӿ^\5?5Bz^t׽4;[Hbg_龬l;\y$&mvO8[z%s5w\b ̫U/3è* wyNiT^f@D 2dRh,?hC-٫jsxp2USϾ֥Yʖ&Q Aq\pgakϟ(2'@ 滮e0ͫ C7c+r|cKNϦ;j*yK7jUdg:EoY>µѫ~̨]}p:GB%mU& U@$&P",'p۾̓[#v`Jx*!˼`^~2+ɫ6l (V){Bɾ)2qzo?(zfgfEQ\ҏ[o#Hr2,hk`ojki+E]'}5Ew(9Eեҷ$5F#~\'l:Үsm+ڻkb_[5vt lmT Xz/ph$H>hWpmIB|kbD&A+<|ugܪa9Q~ ~'&zw?q~` +K- ſC? :8 >/2B@y[L0yHf;G6dH !\9 `a"a2vT> |/`1%ͨVl8:A2 A5޼؍$\/6=遽|H9X&ŭZ]7~׊8G_4"-/N͕۫.-0kh׳ ? #Q#!}0ȡ#O#]tba *+HIWQ(hr,5vْjԴk@ڄQQ>;qɝ8_Q(Vb8ݲ`dx7K}ڻ"멅L JGRFG2l(8U:ċ4,K% H%EQ8Oa'xb/h>ch{_p/Ft)<50rjaTz\.۶lcdDF+ L'Q:zQ<*'f:վ7{2dp`chd3>/R1$t!MQMrdލW1]x:O`yd9EggG X,y޺#:mK>6Mou7.- 6;!C(myVQ[<+u!ԩrTtt~ >ԫ,BL^[qk^/-cf$~E\Ο6E?a|;y?>Jb3bnP4Kq J~Cm_P4i3I<nw5e^xeH]<قdVw5GU}"v<+E8&Tnog٬71.ؠb,q klb᪔ٗ*R o֋32*F+ա>g'Uuͱ`=M)$g] qjq^3 @'[z\HuDxjnF JeOtJt+(5H|¤`T^:bqp;ϳ/4~`n O?7=Q!λy-&]2h` fuH.zzA3q(Du躋f@z2vA)nFd,M#e:S^_^0`g Y.YS>r  1-lansTal\O5(c.uWL(,GTCB%Va灿 f?0v]zuGDҗmA#A"R76G4 S%/ਵe8=B:?d<-iSpƣ:];|# R65Tt^Oݬmcl,Nw}E.. MHm+Wm5홅E*iTrзo8z˧[+gјli&-+Sg$Cys2m{&I 'wفrCK\Qj gwk|7}WSqrx| Ma(<!TplNID05 7\Hغh$^V%9Sjx]v+=4$(٨~`j\Jt>>|>p*$}y(M؎VL8c~m~" Klޖ}GQx[KM#'X$4򜕤'`*+[b Ex0HFy&q9J y14M- bdM:Ke>BM4ϵM&+V#54|bf 1`j-SE;XOoJ?|>W 4 sr2s EauWUO[4p8B{;"J'| +DzܓTZuL 6I9boρ6b8ٞ( ȑ"^f/],͔z_+dDݞ/= -U[5=-qneX:?qFpZh07o{Ƥ1B-CWWaȑX.PR݄ /V=11"]SС2;H2E\6ߛ);^ *QBUz% ɩdCO"hO6>rl%`][)WL s#6` 0kR VWԚYi =crek;,>ajuޗ׌ℵSy%5:R5]K_~(֓!!Z}]G Hv\ i"nUr"ao2-  Zm[p}M:ZxPo{+e~,-M#{iB,J| Q /T(? o=sj椿ZR s^޿QDD'";PC]|O۶m˜oOzMM B ޛ)q,hbQlK&&m1z+ "kY2:Ċh) rkYNk3z=& {UZ.-eIj*ӕft)=B`U~n"yݧ$@7A@؁@炶ru:r#o7HJ=NuD+jGɍ<܋HZRU.oU˹AQ2N}D)D_Pp.`IheXsʗ~+ dڸ&zJ6f(=33"+o?Rt\2]Ԅ\I`xR]ct&>aIDI!bSzB2\ "O"]O8VEꜤeU9472z@EW䱾RzJ-n%29=eI4:>{ 1ar_/bCBre9)|U",i ub yA[ݾk|$pu? ]-O7$ZS ^iꍂ')ݥ}f7*X}@@T>K+ Tv/[Kv6PG0rGݸξBZ! -N?zS!?;tq'_ 0BpmrZXI:CQd,#`l.\B[gW ڽC [C,NJJ+g*[/OKGz{W!<CvsQ8 ?Mt 6^EzO N˼T^AM6ɫXƢzJLИ`&⪌vP(J95:-9R2'a ic`&s5fʜv6S`s*Z2%+0RY aA&KhڼN de,ӊ̴5#OH0"5hkyls/{4XNoxG>:hK/iWn(OqVq/aE5lN 3]bA7a$i nӯx:{/`=ߙ^-Щ?IiCf)?xRmm= ߗS^{VS՝}QA}̨UޒZ "P{tRO## ͫpslwwD+IR%=nqx~hu?6ז*<`Jнpڦэl%y;Kok7 T 6?菢Y!Td w~9jz.2DP}ei#vj(6A1<ߩ8w1a8z~ Nv2)L~qŅQs ܮ;إEZ/!!gQ1r |_iAy@r{xpM6*Z_aw ;oԮI5.Lӿ= W6-,ʌ+9&D,+bf̆ y'o $dL %U8-"Ϥ=Sp-L>l<mc;?,Mh2p,7=Ðyb}!&kjUoɉD.%⢉| |GDί};{mSZp|\fIWLYaBzx DC䱍]ajJowG_l B4/hx1n蓇~-.+9OQ66*'$y$r!i - :av} =#¼5_xCU4pPg5;dĭs7#VG?a[}_]ҒW r0dEiSwo#y ZG,k! I]Eo;E~P\)BB>؇~5I3sǶiv.H~Q&C \YXi*.\7 I+Vz:BRI IMsMO[x6d]c0SĆ'OZκ( #8G[6zgWX<$:8앶~&(䟘Xʚdg\ Nw7>޲:yfv[+X#mo^P[rk xP@TeoZmn9%}sQ'n:$W7K oԈwW'-`ˡY]@m-$K@F$OuAT=;{ѢEKzqla|!}gq ,8=}ֿnpq\wEqN `ӇJQ 4͊ w{Q؂YV9v\JtAo1U;n,hYs_ 13h%h˚PsNcEȆFEZtq,EAMttN>!N ;Ox؜ 9Cx<~0-lƵɜb4 d'7 TOժ쐀eFHy|3$iN# N?(:}Yzy_3r71qfI ЌN.5^lbQLM7rd pE5޸DQ{ ~?ajf^i5[Y*0?nh6N@.V<Uv/^"5ӊy鉞+@$M+o 7;mls"V}Z]zIPecI cmF (=W"RwcQ/J&$',+pMu&fl55bc >H6J]B[C匰@ͪhf1O K(.2[Rv\\Qy/)@1d]h> С &Yi:p4Rmр# )@% Cp2 _i!i2[fN*Q3@UR蝖z>/uyPh~ 9.M0@Q| eamM)Z6o;$6P-}b)M!u",l={ÈYD[hKzTDRoB{ u :zdc?0∝ _F)Hm+v4F&^L6?p",C zmiz!{UDiPu&vxO UMg#{+1imVwg!-),ǥ 廧SM>g͒Qƶ\wn^}PA~Hl}\B3ipb.W >v.n>!*y5igOy\ `߁qrε}Brww˥7`tW[Lb`kұ ȑ{u8X V:>HB25DU3j.,+^n%;Z# _xS!JUp2ұx> @l8Hy}2bPfy8;t{U~|?."$nЯuȚ V:~Q5tޏlT٨ɲ,aCqƹ4.oDú "@w*«[wE)B%iphX1=MI? jbhF;0YZ P&s%!XPureML_BootstrapPIDE/files~~/src/Pure/ML_Bootstrap.thy $ISABELLE_HOME_USER/contrib/polyml-test-f86ae3dc1686/x86_64_32-linux/poly(r%-PureML_BootstrapPIDE/document_id4pq # 4PurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O$*!/ÔoT:RdA8pC4ߘ^p.(qm6 x)lX.Y?0K([:jXawڄ?K#+@SKKlS-3xU(sY/ɢZVO-q#-P SK1 t|gN1T6yT rQw"} jgA 9<|?}zt+ kE;*MoSq Cni; t '{x Bnʎ}OW˖b=XD; Y78)'N9I811E%3oAjy'}Ž86PxODocfE\b[+?nlT=Xwò8Ki>jE Ăb2AmKҧQLHy(/:Eޒ&貍Lٟ\@uw3 2.1lN(@ĺsHy>ޞX"'˗"Y~Jm[T[4u}>Ӿ vfPa L9rSD ^VrU^mK. Ƽp#{Q5jS\e=bS՜ڵԽ HEeLrD_ :]V^~j/-sy#WQ7_!Hk][rvֿ󕝋R (ѓO~>ˑ5"`1eA|u-TО㳆Zgk8itL. m:0>0o"b6NV(hK'ҳu7rbؾX(D,O X`0-t)!;80ly00޵3;! =,=Jx9 :YiG8Qٸh \'Ѓ愺@҉FW&kf4E5Jm0|Cijwۇ%Rk=a5HQ؎SF:wQ!dĽ1`>%Z州kŸ贼ܗ઄REDY੣`1 liuNe.:`Q1QrPU̻;;yCNK^/_M%7R="QgxҸ {nv/W&]!(҇\$8}Pgߓمt* ϊټG3 _KY^@?][텻Fdgv=e4Q‬Aڿt?-쟥`TB)4Ypɳ+2ꩥ%5 vfzE:mvoi$'u}O NdX S^[ƫkd " +uk(@ XK7#]% AAG cvdR^yc؜=xX/(s[۠hiMzWbŖfbAMѥx$|){#h󍨆$T{Գ! ,[迃j*Z8,IƯ!`㕫ݛa- PdcgP GExwXi%s?a ،>EY ":w'!Z1BnʫRsZ5}I5)iOS5?@ìvAkXV |ÕAms` igdMOd~_h UVKޥ|q =h^rWskxCP2DahX´$VBDWNޮ̕~C[ =NICnsE$!7lo9OӔR̺:NCJBNp _-8W;@2EtiId:/| 7鑠 YZ%e{,(d<#Ӻkmw"A7gik40ZKp4HBn4SfI¥,0iv4pJ!YCT|S K[k29MD;?jM>UZ,v/9Vm?Ϗ tJ1qo*ӽO>#m!&к.⺄Uv YTQQ ~#~|tr$5OoѸ\ĊSU oɟ wNI_S\ #Z뛤X|vl&OT9b42`۪>} BS\OZ8Nx\+{ 6I&6lfhܜ]y]o~ QپkngAo!R9K7:ԃIJ#H@IR hĺt=ckWD!˝nBΝ>*b, feT#$=qxU18u m=Z19Ώ-\zw|8 R5wJS6TeYJ3ⱩlC AnW~?-9zLpFr7]l\ӌ•i >Fyƿ%j.Fϖ$,Y x.r[]:~,j 鄼N%/ m tpv+땤6nG3gWxѫ={:fM | ^ [}Ϸ. ;$=?5azr~m"X#ӯ e ,N;>&X$Yz&PCڥJP5W)"S>fp%k}wE"kr ʧզMʰzj2̲׫@H8bFx`9`GQ]X:ghANXJcE-ݪSoewmp2)Ƣ$FQ,u2-[DoXۍc92 F s.+]]~^t7}$Fު!^3N楒HH4tgTlգ-QB`SLHLpA Ɗſyo3mcq|Q|w!-mB-W~WR%&:p,O%Q#DnVVR8+ e[hcW{g+גqX鼟9dvgLϘ,j9 ,X!i0bPAgkMӆSl8H0GA%.TZ5PzDi;^W1 Ԙa# vW݀5L](.~y{*WlA iL E+H DGt'?Ͼg sLN4W}QmckcO`K̲fW {&Cב,BjLk,`AH]c2(t{O#EE 1! #%[{;Bs?@sZ sR?>bIkoAtx>z K{(fzEL'jBx6S [H@-qHI X!j_jnù+brVBpD"IJ mmK¸$$K pAXHso>ede.dHR0[tv1t°(&ZZݳWlNy,vLQSKgIb< ¶  ڟ˴}׿t}e|f:+긻b͝TcQWуxw l7GMA(^y, a\QdܯOK}`eMh aE˯o<- zb2)mUA)U]wQ,ה.)+ag#lA15ez>6!0s̱&ub5}Ǽ\6UT|Ŏؙ- b&_=}"lUtȄV234g>,]o%f#k((5;7`WM1P؊9zmsa4@LUIM6jjhʕx&ʵDsfatES pUWUչiD.(C]'}fНd崱<GQLM]̼>Ry6>S.!`]zE|=O- `h3$3X<+i!Y[4nLL-4d&"XYUG.4c}Žk|jijtBzT 63A7&;@VѾf P>ӴKkҢ|ڻ@S b' Q.,?fiIཀ)ʲ~H=%$>)qISm0R BI%٭yH,5YPC>J'lv)vU߶}.(nlHD1켅$E@a%oA9ROIpUyi s K_Px+zh+Yw0٢&" عMKg\tl\ĉTٮ.h3D &3^Q (!g"ŵz쮿o1;9`gN.㵟Xs\> 1h(M@aN|kʀzMaE~HU-Zq'ݔoABwHB0vN)gANK! !\y &!Ts7"fZe⒀TO "ޡ(igT<*ۨ`r(CJ!L> >?XF^1m%1=d 7t]/.Ir׬ӏTzRژ)BZ3<ӽA3=z!$xbI.ڰ׽?hyгpuDj@Ծݡ4f/ĵ ZҩwH>"nUD_tUUVvn\g>MM? OtXZE<aX!@0pj}Mdϊ8\bmq_DoM<*v.4;,vC n"Ez}, rq/y¨J!'7Mn_>EhǩrG!}h'̥b8Mve! r+̱^ Fߣ7]Aҕqn#i+^E1!iQVW\UJ3,wi F,m"^jk¼*]$C)Zʈ%Z2b~6j:~(Y !ڽ_(/9jQ Dʀ);cba9'I B.,v@ = D#01%ů I≖Mf7BUmLTJKf?E*Bv0 |ި"H5#w<~thp\0,43Dh;ryb<#%_|4lr0;uV~R0>1?`\!UrYʰw#ZXw$|y3bU-|׷8MCpܛ|WX믍ܽσr=UDWR,$_/xrT+Z),mk_3=AO1Qi? ވ[sc?I5l? 2ڔ݊%Mm4NȰNXp:],یEewr؛ԯEŪPEZO,FHi9Yd3=x/1-@qXeܤ` ng{s ^PI$شDže/а;Z+,O*Yx s Á0!`1n忓r k_)U֯qHK:p5ιN&/i8#>98D;E*Ȁc`{"kti>(p! 8`2 b&|x[uvtErER~ v038(㫱ٜ t2,7B bw5w3TئOE#m†G++%WUpbXFPmHDK@0lŃ&ͷb֐F!N/gi]sq=S=F jըYGhԞCm6<ΓZ<^e  8Q{4+~̳"=NiC~-YNl).ܐgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI ,֦!&B߆pg/bZExI;TVӶ+-99tWL3f\x% 19.?c|\<>DS @p=֨C'zj*1~F> ȱgYZHx'# TPurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂcÏKSg>*2B48,/kauZl4"~>'%T2y4q&J)sJ%!L6ĵC xl}щx. PJ/66bmRW+ yHSQGޱE@HфzQ ܒ;;+Rzh% 1r8Q#v o|q+>s4K*~FF+)7ZT1u>)~2 !N DU< ߴSrsdVSsRps;PqtC-T^ ImL)Ḑe5 3,&M#x 8_0R8=IjL -R WVdQJa/ƵIm1A6=|KP1dy]/ݶNҁ|2Z"5|xȢir|Б$|սvމx+bMKO;Ej8̀=":buoe޲S N[T-AE"=[x}=[60Չ*Aa펕VH4iL!A[%_0#CTi r"s0gYZ