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  x xplTD ] ]Pure:threads=1elapsed=1.275cpu=1.316gc=0.0007zXZִF! n]ŗXiɟHVҭٽD4_b27fJ› 8 >jj>0I+Wb:YJ}1&9XcYNpڧ` #4nS1X`gYZ7zXZִF! b]ŗXiɟ˚Ћ. k$wqJ];b NݜS8N=f؃^ykPvRa$Otdܼ(^~~I~:gYZ7zXZִF! []ŗXi%hC!~i*ǂJ?y|w a"kFa%[k t;kW'4:Y[өrRA x=)لe+C&P4pzF8%0@reK8H=tUR{N.Gx}͹סS񙲘]s+A d٢u%\7MJ6Sl=e.fBϪ?ddy0,;d2zb&X%bO&WnoHrϧЩrD~r̔ɰVæf%`XBOQP7t!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/43424f%PurePureproofs/43420e%PurePureproofs/43416d%PurePureproofs/43412c%PurePureproofs/43408b%PurePureproofs/43404a%PurePureproofs/43400`%PurePureproofs/43396_%PurePureproofs/43392^%PurePureproofs/43388]%PurePureproofs/43384\%PurePureproofs/43380[%PurePureproofs/43376Z%PurePureproofs/43372Y%PurePureproofs/43368X%PurePureproofs/43364W%PurePureproofs/43360V%PurePureproofs/43356U%PurePureproofs/43352T%PurePureproofs/43348S%PurePureproofs/43344R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43160N%PurePureproofs/43126M%PurePureproofs/43122L%PurePureproofs/43120K%PurePureproofs/43116J%PurePureproofs/43112I%PurePureproofs/43104H%PurePureproofs/43086G%PurePureproofs/43082F%PurePureproofs/43020E%PurePureproofs/43016D%PurePureproofs/43014C%PurePureproofs/43010B%PurePureproofs/43006A%PurePureproofs/42998@%PurePureproofs/42994?%PurePureproofs/42988>%PurePureproofs/42976=%PurePureproofs/42972<%PurePureproofs/42966;%PurePureproofs/42962:%PurePureproofs/429569%PurePureproofs/429008%PurePureproofs/428967%PurePureproofs/428946%PurePureproofs/428905%PurePureproofs/428864%PurePureproofs/428823%PurePureproofs/428662%PurePureproofs/428621%PurePureproofs/428540%PurePureproofs/42770/%PurePureproofs/42766.%PurePureproofs/42764-%PurePureproofs/42714,%PurePureproofs/42710+%PurePureproofs/42708*%PurePureproofs/42654)%PurePureproofs/42650(%PurePureproofs/42616'%PurePureproofs/42612&%PurePureproofs/42610%%PurePureproofs/42608$%PurePureproofs/42560#%PurePureproofs/42556"%PurePureproofs/42522!%PurePureproofs/42518 %PurePureproofs/42516%PurePureproofs/42514%PurePureproofs/42512!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/426107zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/9.}9MzɅ!W0jt `:Wf_쿹gYZH$% dPurePureproofs/426087zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/425607zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝Tʦ'I*H>lWgYZh"% $PurePureproofs/425567zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wӸLW7iB.Į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/428827zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/428667zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQn̠ I]Ѥ_x¤B/d0c7LjX$gYZ1% PurePureproofs/428627zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/428547zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% R8ɱgYZ.% tPurePureproofs/427667zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU@1J#5`h$AŨ#U%RhHMCq tjgYZ8-% DPurePureproofs/427647zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'bћqHv0 VgYZH*% dPurePureproofs/427087zXZִ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)% #_0ޖ<~gYZ`'% PurePureproofs/426167zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_xLBQ/I~f2aD QU]gYZx&% DPurePureproofs/426127zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%ba'}<@g|P!hYfCgYZ  '   ng5*$B% PurePureproofs/430107zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ 8Q70.[w/ ߇5Sխk9{,  gYZA% dPurePureproofs/430067zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPҸ c`v7KѺC@| I*gYZ(@% $PurePureproofs/429987zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%ՆC~PI5{:8(hwY \gYZ?% dPurePureproofs/429947zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pטț& _0] j;8gYZ$>% PurePureproofs/429887zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/429767zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK{"trL)Xz Z vWQyZ%qױgYZ<% TPurePureproofs/429727zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*s3O(7lN85uDt2(Sd/&^+QYS[ 댫%3t|dHXQ鼔㏊ TgYZL5% lPurePureproofs/428907zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lD6}T|]xOB骅řw%_rH V lgYZ4% PurePureproofs/428867zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzJB衏Tz7;'ϝ=v5A5/% gYZ   /HIIP' dPurePuretheory/consts7zXZִF! "]a0{rg+5\YvCunR[E4.`S4]NwaUDaΣ;K-Ѫ _ʠMA0-P"a9w3>6L`C ewaڣA{2N41]jTϚBHB/xʻ'.eFy u5bԗ٩4Nb?yXt&::#lWy*>ޠB Um`v:Q?R=BiS',BHNXH#۵a'J06,>*3"(ZenU͡ޘ'I,,5 \ ѯ36Z^] >yGI0kύ#Pge^!GN+Ebo "sȶP@~fྶ?uM%tuL=ҡbAD? $U@ Q݊BnJ2gYZ|O% LPurePuretheory/types7zXZִF! ]a0{rj8<{{u_5@cU}̗IzMwpǐTlA*ɷs6XNMb;w~iyxD״]r6h#X-y|cs7=^NRrEQKʾf v-%M6(x5|0 0 xgYZLK% lPurePureproofs/431207zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&Ŷeyo^b)s5]` T0{#:Pr{m#[YiN\?+_fIgYZJ% |PurePureproofs/431167zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛEch@WQ&\L9CDPфPV“zf ±gYZ\I% PurePureproofs/431127zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z&`!r[^᪨*~㗰7 ?igYZlF% ,PurePureproofs/430827zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/430207zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoL#oqst=*OɒjĶgYZlD% ,PurePureproofs/430167zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^4)8nDk; _k)gYZDC% \PurePureproofs/430147zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zzZƗ9 (Rl"Jōr#^ v:Y.e#8 u9.kʕgYZ  8 E8aata% ƶ1bXⶕs_xLB\kvTe[h*toɃOs:]gYZH_% dPurePureproofs/433967zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝TiAɚZY+un~HDE!V1SAgYZ@\% TPurePureproofs/433847zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/433807zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/433767zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/433727zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/433687zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/433647zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/433607zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/433567zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/433527zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/433487zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/433447zXZִ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/gYZog# 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ԫ .~SENerKےhgI/Uzdg&c-Dj{:%Ј:s 6s+sQdu[0ɹjm_>}0x7aN-f;h8->dJ'7\ &-  _X$K4E1 &о#36J9SX9ZhcZrXBU*.FM/iQ rn@Xx!cDͲWSƭϲPhd#b8h? j"H8jÂJ.^H%èB a"I7y٤$%ѿMڒQqf甄{-C}9% +e86vXKa91PX>qN^ol􄚾\|f1Ll)~Y?RZi <ݵBؾz=%Q{F{, l4MKʎ{nuى 2"K:˂r7C$DmV~o6eR Wg<"99LnU~"Im׵u%9Ҹ'W }In8dT@B]j<*j!xݭ0Y@*L/qՕzXK!ArV?߶.#Ye%uI9 o+(EވNC%$icW1(-/V[zZ>%#+#39߈\鬺/,Q#\m]&IM>Vz56Tf&{GV0 ]zY/S&|չx=&@"8@R{ Id4 Â%q쓜.h1/FpRgezo [oס$p w?+_(J{ȇڧ/5?dr(K*h!-j`e%ҷ(ֻHOevAH'zw+0;EEt|x4=􍰕ʫ948K/dd M\uV 8=uG9PGдycL at)|ض;x&~&l2ᒉ]ATϲ_ *853#&xxRggYZ\f% PurePureproofs/434247zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoMi)U2V0.jpG-9jĶgYZxd% DPurePureproofs/434167zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fis&F&&j*LCXD\ұ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*^ ybca,J"@hhYH1],Xh\JdU-3tqC\t{6Ccbh1L@*-%32Ҟ& :ʓus=~\tqF)b@fh߹vˆּtAgtLP:R}={s2Rcz Fx{J'4@.Gq%4zi+z@!TňA44etK!mohʍZPߩ1Nq8?F/'EN}!nd =/]"vǀE9ML1w%*[imdZ_0D NJ1f/ ?JrCE^m% rtYX9@h>nHl/lvU sMT!T舝2gM Zu׍6}C) ph/]R5W=@y˖(|k'8RcxNnK+Zbljo}'"$e hA,:3B+a!S9YgA]CiƠYx́fxFP2})`ns&0CgE˝Q'-.8EtRר{"u&X%oBƙP/uA#'o)iak RsnQ"MȮٮ7!)aQZH9\V2S>o,N@TIÏ1] i+2սc5ֲ\fs!Wym+iQOdvüLIΦ thXHi=~ ^tܣr2Mя9o| {US`4R  $6IIJz3$(zM;hҞ*-ꆉCc*(B߉lX5;$jO, o;\Jkm)JLn-:_NQH)4(aM|ӡU jʴod`LbFCiCKH4ySyVgAz#R0RU1`_Tڷ&)X*v4ۨ4BKAΣၿyVRk8:VT~RUhqeuS6}suQ_A mAh?4 @PwCmE_6sgYZ@⡲̀uXlRq umsAvqb(ӀԱ(4C0㝝1%gnYeύ|ư&q1&NʙQ! 4_揊Ί*kv^l9Vo"7DZoY<"/Ҁ⻚O3c-RPrC0% ^5߲W|@<{ ęh(?՘벑ꋍ݈DŽ[wk;Q\gM8 rV1):UG kKY8Kj:͉I*ynogMPm%dBZVdE~$zpl~)0rKsr]2F~vP_3Z>pV/Yƃc{1mFRHk3m Mrt5{ޏ"]nI.&=;,thc'[={ƦY%=/B귞FWʘ,%r?2;c09gAٞα)nj>;,* v75BƟUHeq^KծW Z-)kf՟=3xRe8 ٭$eKZFBi 7B?Od j;C0ZRJ˩Aʊ[' .GͿhǜ/I)7>ޘ4'P& #(C-|]*PF8^vؖ[M4E$n#؀ Xr%S&a~ʗXNv%:|aO"{ژDgH2ߴXw4l~-Kb:X+E԰`*1et*xy B0m<.S~TX$]z0w!_\Z ^:&Sg\(gc@d-IpenIke߃M„VI`v~u|!Lߤ7<K6}sdk(禊x%s?-xe@6iԇ[3uh'Tdoy0g2zMVfVY As_0:qJ|ێi^y/] N@)ifL32܍SZ,Y{elv7D6 Hvt;v2ᔖB|%ۑS9_N'd9v}65 @ͮ${WR{VE `%[16]u vơMn>|9*]G1T'fE|kjb'48 F&@zp=nuj OWWuQVI5]bSd05L|rk66 嫢mm1[ |;DgYg:B$6rn0uy*=T΅d2u0&LPrD)\ vqJS(U5.ǪBǒ^;LCL+hHF OCu'.HNOAkJs&<J1NύM.=-8"ՙRh?Nqz.O+~@vMiwaH5^c~qf g59m&o&ei١ )r|Kɻ6rk?:$%9H!4A]ϚCl$"oR/!a`8Er~ о٢_zGKpxA/&X UO ZujҒNu>}S͘󡥮˵}{@z*%ˡ]3xNvsY ]g\mv8c5m o1GJt¼6A PێEvTpDUwuAee: X|zLhJO&zL}3*JB#Ѵ S`{XMZ\ޑ+ sgwStX;s2Yzkz0L?ȟܪ\|Jz\/QNg f00XU4a=Zc:QCX:N?q!-x-o.' J0-Cm~=l:i M,'  M`5ha5coZ(ْ#/B6f7@m4h^p5?kxrLLK wGL{sD7wVqe~QK6,j]H)R P#05vgL4F Ϊ|)֡7WM@3^kIa[\me'XТfQܨkarPɋ8#1Ӣ]#đy$>Gд^]q2Rw2[CY!nXHyJ pڿ.t~1|M͊HIly29T. |G\DS̻~#U_udfo{z}>)3ħNx {NiaO3?ߣfHPPwl{f{Ь %KCb,hg`8ɰ}*]?f C'1_'˭/۠Cl'J oa 2e#܁tGxdVN7gQ$0.+@$%$sn]MU[ǵogM--0_*P汵~VSw@tYfjtwrlގ �.THw"[GF|bTVh7YS'_B;iVqS>0v[x Qqu=ЬMd~*?)PC G1iO+U#< f#zv. #v'tY`Ill8b&1|! O`ձHy[#a8Zuqf59umr\Kx8 s𹚗xJG +J^9 %<$X4!)2@5qX:WXe7r+ ~ƞT{ rR!RVu.bq5-N*a0C;fbbm#Jf5ߊiќFЮOSG^E {|IXDnURluc[W͝9^͸-?\#SuI0 <\p {!^*9WݎXRNvM:L-~XrfįxsЖXE CӃ9^kc ?JYa5iEdzLsXu _=E(2ۤS.w͛Փ$1-\ V<(|7|{d>W&{:_mu"!/r8?e 2޾Uu}Ų 袿2ϜaAk38 be (7˜-9xhTd.B2.]#:>A~iܶ^RQφEdGtjne_3xv;9Z3I.ĔgjCS |O|C%l*AVfw1Wqٺ3{01 M.mΫ& w?A>DQd%bX4PkyҀ@1 h( ~z9x۠X^Z3w%N} Jn,]ylr jLqFI 1A:,G04rAH$+sk;; 7a"֨:OfDAFau}v<nhO){ba ,hq34EG7z$v 8.;|^6Iʔ*K Yu%=Ia ĶPSmcѝbZG-n^Mu*,]DYp6S/ 5`68裕5\YoɮB_~}mpD9Vz*!K< SY7GLTt_ьv;۱K'+| T Oms²B:J@L.-3C4vޕ2_OMf=/ ,,QEJV6ެ#ya nC-D~IX,_RP# mCfʷ?J γJ;6_FI;P_XYC pOlE ݬ`kaF`9t,z&z] KH!̶ +s*mJv@跢ЍWсv38~}~-Zi! Yؑ62~(,^T*\}lNЁ aVDi`t8^  j8UyNO(M S=ū #}(m%"g]"_.):RR!M_z95DhJz_ooqSPN,ʎ#0r Ez-A+:σ#fxkM~Q Yu&VRZe~l[kY>V7}z:@$SOcwkJ9S%7W9exN6aA!i C Md.kT5Nt "l$M -sg#mu@J:KZϛ̕a.FM]5!jBVD^ m27OGwzIҥ~"MeiX{ǡ Y&`IBӔtFoj2UVNKs6&g)p: |.b+8i"O E~ird9qH|q"% -y}uC`EqxBV~Lg)NeA|b}} _Z4J&pſ$>$4h8*FSA:FfJ/>SHR]fۧWT,-QNL'#'2yMYC+G45Ė[3SmpV_'pr4XbM" C50##{r7*nIvD0|l/) X&Vu>D{4O*Wm&OA<<V]udh}]fd:dIH 1D)-){pҢ㑂!Xv?38q( 8E΍D 'eKWx=@s.)3an(#a<V6rߝwp.kzJ]ldu?bl@ x۫G Qe"v!*KAKHг@!3̪0mpSwOR9MS43+7aj`o&eyevNX;mհ,Cc!+.Nf!(iucYyfr+8 M#eMK6|~E=/xvͽ?򹜫iJTCHͥH~n")?J5^ݩ`EzXYvA1 ڈ3pniDԐ4WcӰhtN;-*f\Sxf=G[(?ҙD`5/ CT􂘕|OzLxSiROݟ(D^ bO2K18+;o#|JSXe2_ᔟ_ g>$ԑ)dʛC.? ǖtBlLfMuo.C:3σ-Ta)ĭl8e FT|N;S4=;,p׾B;d˨󢆀"՚.ϛ y.?}梶4Ǯx}GDZ0!4IP]UHOGۓ۔(M#RnzNuoDŽG;E@ʜ)СBY,@_Vr`LW'"Y*e'촏j,sP]d1s[а$%]\35oO7d'^}Պ{WNրpZJyLЂ?z@V{+tc"%B  K=,! -74C_$.[aְOgw]ۏy?$u% ,C l0'H Vf3798*JnmkM(oa-=],"=ޖNFoJzh4|-Tm s.5܏k,|cpRNs~Y9QQtaﭽO$@ؿ≾;TiIz~,=y<}E(dqUWΠ3)v if^YqOm8u[=N N?(\, k3%7:؜3ӽ\9фZvc΍flm}^ڹ'TRo0\{49vgA=o݂9BrykzX)nݯ=+NDڷP ]7d )51#X^33+J=hnMu6ܷ+UYk~ tR}*CXEHMϯ y*SF L-l דX+Y1(NB]l^ͯfVl ;s$X Ua*. +dpt>;8Ɏ!Y$~1: hp%jey֒ M;x=cNx{~Ǩr֊##m_V YWM f y'nrKj6tnid㐗j< 3/$G'O¥6TexW#rnǁ@v% V wz5H^?+zŲk?_NS4xz=_`ɾ( NK<dsu crg914]r#bDl.1Dݡ [jrޕ@"RP "N0-I? - hr *?x|(s\TS|á2$&9$@*4ȦKQ["*YUo']'a2 N+@WR=ðL̘5o;_:5XM ˜BAi;\fzK"ll5שX^~vRmWa/umG%qERʎun,8Xc(-Bq *T!2P낧\ԈzW$ "% c;UnϠ`]W B("׬<0F^x5yǘi WP C#2(7 FZͻP z H6d뭺e5.2.SPhx@T-طHT|+ҼzC~!^]w"C 0wP*EylbYx.R;g?n3-y9M}܏^6sC,Zo?$Wa5K /8m{[u)̆"Ŭ$ѐDED\Xn~QCI+ɵ4{U[fٔdj1 Ucpȑ\ezQ{lYO%׬øek^xф5Js1f@W;U:Ua^442m9пn 3O|dKPcؗ2VhWȼŌ;/6Rـ=*8TXRd$rqV-;^".LݠCb tIEBc+QR('= q][*t*n ֵ >6riM,j0".M)Sڀ&yŴuĭf:CV^=t6K82+a9 @nS4;F5*!EZ߯ ape aEj(,dhJ u\sY5|ɛV淞"&c7Q%٩*W':cKHs,aRf#[P E@-֒+I 0mnT/щ}9ԊRM)N&pjw -QOS F#/ھSbY'G#ri#x)IXK+c'8jދr_yufk"mge>$UH)Wu3@*Jk>< Pz+*D#L1ΉX @jc/zk\ïkRoaVXwyŷk,zW- >%#ݍ jGL #4aޜE4v₤>N{Aa!5pavRsMStuۇywXT]xk*'J'YEBL-ݶɔ$;*Qޅ|@\*"oe.rrn[JVmkUV7a[>LJgI]FN! !T O1*AtE[0W9bĻьbΆA{ŸLaI$fYF}L1G2%A$hɢ67~O:{ײQ4"qz$To jED-Yyb"nͤ 6l j0B6nD%~ P~yɚ%|fu]t2vԂx6d{]mC30IMJ)(F[1KE=9 JB"vjAQժ?ҙ0ͩGGݿkfc@NUN%ԉN`6o£`C#Gʒ(ZDXB.P}`Ao`Rj 5 T_7jN|zjU!G[\ړq c{49ú]e&xk5$h[:;K8P%Dx#>08$0Հ. Bw4֟t`g)_>0gڒeѬ,#LGd!0@@k_y[w)钋kRiCTnW;hfO L>`Z*دW'wAg\oh?72vzWϹMVuHh1)x!7U=AswvNz |l#Cag@M6FC,I3 ŶLaf@7DMRa:*F鳚G }<6I,Bmу; &IM?L{baɯ.s|^prQ`:y7a[ ;_|ʓ CNnQ5?kDRv d*D*[ H[P) ٚH5prY i+\EC0IJKxQ†x)MӰCLuU!t x;ㄜy;XwJۇ<*a/8dğ׿ý!ˁCjU =XԪ o{V5Jbp*(q1@ōhSw)P;He5)|޿#"K?Gx3W`oRj9,f+7m6i̙0(?Axt<`$_OkxDI H4'F" *ikLwrܡ m=/.d˙$"h Sےlk _*=X5A:lwmE8qCZ>D+ \%$LD"m(?LwLs;NG v Sˎ-k!m\+3+$USg1r}l\"ZkT'힝}wm3/zP$,s'UrG'Bg&wϮN@8QP-\Î譁^葉T"#,o6|h\'JhTxwM귾;\5(šJK!΍|k| PDI KK $+B8,/c z9QtJ{pg8ʪa²V 9_n=޳KsO0HEѺEBchĿj I LY鳈Ŝ·pm2t;L!8%uU&ٽ>i5т]H$HRjZf 1} WvGT2^!^(2uUa xo[f.WPnŖB=-mjNy*iIL$jjz+lTy\NB%@\FCQf=ĜW,AeLnQݽ[JχzT;(T?pܛeΫ$Wsu-0f !A9D4'r~TD] tB1ʴ ^&{ɲSu-65s$FpI"on(^`\)7_="tZ i軉5dӰLl+vט#]~#'3ێ9Jmm 2q)W6$ia( J %~޲%TGH!4tgʐ$I[Y쾲!̇-Pc<_b, m߁T>R}Wi=-ܫ~v fO`dUم8S̭݁y8wL:XOVo@C(6BIq7?HVҗnY9]_}>S|e8;.$\QD,C(L7&8X'О}4D*E[ _TBt.˻LaU*kw;mAͤgݨybCWCR)P 56*Me 3Y x0GtVUA%nV-ZOI*u_kԞ\~[Μ(c{lp#^Y QwL4xtUoyZEDh BF5Eˢہy] g37[ NHηoK캺bMrZO/E mB %,q+=-ˀTmӺ]O7skPBWUZX&FmpCslWlJwcSG$AYLJ4*k8L7t  PEE)@G׊xa0xCCj%3j"lbŭ84DkZlBʭf᳈ 6Ǡ)h:+5&`t)'gR;Z9ϒˮ =b M=u9rd1{ybw.#۽+Ғ\c{ًŠAxly& ԗdץ4ZW. À((9 7DB'Αl Xờ+R.>~RA00X~5AӪQ'0`}Bo#yؗQqbJo,s¯Aja:<P|DN\'4uO3UXa)vp4}NET+:pDJ}乨wǚ%R55J$aRv?L[ݮ=[7jՙQXxj+lXS %4zj`_[h*o󜇴ޥLM#?\X=ﱌ{XBпS6Iq);YH):!7\ke!|N>abI-iʁ@$<]+TTO1$Oe//3Z  gL YEX_ ѕe`PК rZ9Nƿ~5g=ߞOO~ H/ jdHx7N:3xg ǣr#;>jФqc2zWW$'QxO"Hm MtVU uےENLS٤ѿ'2/]]܂s`[ `:/$P,Ĥd[Nen_ ]3M"V`$f8X=Y}`);JƢ"'7Zr82Wf=I kc}F]\Qok4{bcǧ*Ւ&0G+ x@%&Q0yDνA M SڍU*ޮ^y.'s/p8f| =G{E?'Ya#@Lr@{v0ҙ JS\VcdrhWk}n#suhۥS /{=Am@'oZ4Qt9!Uaٵcuu zصX{lAkߺqkq(nS n-:g:|. Y'D.?tȾW~ $?̌%N::У|͢-EՂ-v r SILmEӑasӮ]ɴ?| &n5Ō$M8`̎E8&«f[e0\tT7gPsW8hbTamhhC#pĴq 66d=/Ey3]cc?Ya nj!Yv}.Pw#4@|íx@~~pI^gEôRNȞGi, cg_88t)ԶvmKtO ё-`s/ɜ73d !4Fi%m˰=gu:WnY]u8)m}wxb_[ɘ:B{QBLnZ ~FX #t,S.VGR 0ʾROFëw_ 6wZXaU~P=e#&i P0)+Q&ىRIm [2"@! B#F}iSfPs bq,VgGEͼ$t瞽Y%M_ .S8w'z΋8o쫘Y~|vQ7?Kzm|ol7-4k%"4nHi>Kv Tv{f2#7?$:GM Ϩ`# lKq̶' N!Q zsws]\ӳU,:}NZt`D QKBoBuMMzΫD½vK,?Ţpk%nhR}ۺeпH+X'Q)=ի0 Yʻ'l <IJsO=*ێџXvJMoe~r+w^ R'(?ѬV"'_ptP署eMOEPD'c[ܯa{@wA&z<@Wvgȥc ^)P{G4^ Y22A)H"gjyh#8|3[PxE[lkTgctWG5V}FK$saE;a͜q2d D-ߝff3 ]E]]I)8L4 v6ϟQ\a[7h' E&$Ƭ0gZ.0 Ǘ8kDL!XI療HPfΣlUoVe7/y ߣxVw`OI,CBRQ")\oYܼ<|P msqTBvN ;T/y0d;k䊜$0a8^x"FeDEcKpΊS%)XDKE ^/ 'R݇)wNvq6#V U_i,Ṡa"ONU b+ihYv @:qnnZdIqٔ˴6_N;oS|#BLߓlaKBTh f.t٢q{X+"Waa{/a ](az>! 2j4N>d`D3"4nuUOKL+cvw.1S$nu8JPۘ#JL$}llb!ҳ"{rGȹ9y@-mFooIl !4kN3;5![輟P?J"UȆbiieX0S־1aPNou<@1gޭ@(G |,is7任&W g0ݎ$89SDhDx@mw '?mS$pX NvR7|(xk%w\VRs m TlY=0A'JU e+(j`hA|ۋ{Ը܀/Ћ+,FO,{."|Xz\MجM\J{ $!aOS'Wk0cQ kO 3&~R,jznths :qK+rg`YM/HcMZb!v13'!+[J-&;)m8(iyAVb5ެH`0uP1ݖJX~_'aOmW}Q^$Q>FChA(*iճ2ˈZa0h{ cnC dec) !U*g6M&΀B{GɎ~{}F)P續NDŪKxN8: l|ғ~{uu@Tv"dNO-T@$#.ȗ54;@h&znSnBQ?K- ^V%sFfb Q18Q?7OmԅlcLtP2 :%E#\캪%=y$aC~tO6hqXS`mg@~n,I0J|\j.%PB]$u~o0A}62eh78Zh73bE &xRt;Z@I)jjN %Ei %m':ePT32wf1LhWM<%J<"/>qb#joEW46*J25 eC T_t!W"nAѶ\9~|YyN"|:7HP\ ir~"XqJ 7 hQl,qE1OK5`O#B2<(G%}- q3.qe%`4A纇30ՓktQV ƗAF98m*#鿜 ϺΰMQ(M9]<Kb p9^ w)\T z3Aċu lV@+aיR^Rn'^.'z Wfǡb~K)Cc}lpw2UJs!wRm~(fe*yg` +P)`7T-ڴk&']$;CQL,?~el! //8N3O~,YGIbC XҢRQ(dN?)`^T{z[@N.I8c~_0ˑm f|TlJ8́747-ѾKoq^,a@lq~ -n֥ǢMkd[X !}ݰQ QSZl;Q0]ǡ~8 lPc,,q6рGc }!ڴ$t|rt͆]'nˡ'YRBկ.e YSHc5hK&H362R$OxZ$+9[Vʝ}HB;R a{g]$'ۀP'Z'GAJiȝݟ!;?1fPCv+Ǫsl:@a-'䍃Qy1>1/=|;܍2 x?XTH3<+8-$,@XRW9]m!M^\{ |CA7Qn)CmCHbvӞ 4g䷱%)۰'hmJ9ӽ`gp]$IHb}9GUTY#f w^BJ*xŋywmȞ#% k&Se,O]R`U$g},?-Zx-JAnfXHy9O?8I/bԷ- _HpH˗n^1ĕO R675\`[LmxC=&JD#0$SW2jbs] G:c-3ݻ-3'@詰ͯ$w<(VsvĿƶRK8+bHN\3ఱQK8rצ\?U{_*>DhCOM'YA_+&7o;Ldha|'JZjv;82<pihQ8HS;e5.[b dlčۿ3LpM.BG:}x|rdeb &ل~;UOK9ѤՄMp,fe,[0,/.?i(%G6U|)>&]ZG2RB37Y3 ʲBnP{]бn b,ͩ1G9("* 1Y@1oihYQJhZ.2D1(7hL-f}T|1dJd%7uAHHCp{ph#0GJnR0&. 7[5n{^X4Wf-xDy=A!5f ^($NjF1˩#W(Q߬=_B\K뉲}7|b<'8tŋt90}7\B%DWM,,cʠC#\B #G1ф`!%@)TgeZ$mdv'y'>∶ˮ;}L8bē:!+ٜ823:yR \JMswcrOt?c uj)7Z9{METDJk5d(|i,g *[Vtb)?&kغ#k*t;B@_9g D"a,MFҾ"rP6C5M@AVQ1l͢yˎ}w SPkKr14CqMLxiI%V-vn+s Ri/-N5im4ߧAow tWcf=_U۵< .?Kݷ4OWBB"ƥh%굅69"6tEft/<&ѽ22|n;z8ޟHЏ YxuP9K CY]9CX4Gqj8;}cLh51gt JDΆ<9i f>٥H1Y;7=4m}wuB.U>,ZkC,UYÎI89@Xf'$H݉![ xqZ`e.<)'/,>0ġFpF!=E}ન Ԫ_UMr`:S vSqz;G bdAoH 5`aI|zshnՐ²=!PzWǤ}x`9fQJNuNtrnLH+T>uV6?TJ6zkQ)ueӝѶ^zn͐|mr<7kӞjApkCMfm-\Yd,)mR£X'|CӣLhrno\z-̎.Un#d;Qb >%J-0DO`l&Eͥuwx۫hB^cL{i}y7UtE9Vq+G*~x7=8#u<_\O^DcǝX3@ԒӠ Be:!dqh33]iTtbu"f2^yVGˎ\bvzcQUC}О8iDK*(3EOQ(C:| ϴ{o{2a4YoM 4>wx4S *,+Yd0)15=$>[Qky␴5)#G,!MͲYs™wن.wzn8ŏ*yԟ!&< =iDluП@mB.=:wB 20|pqV?qg"˫!= i¿2!V&ByPd5d].3Jn #;9P׻k{IgD;X3_ ~`qLJNa$dmDZ  yQ$5W[uX (\ZukͽgYI!>l)Aը ;j^2me@:N4;&N;q` gp3􌠍EOFF:y껰EEi0m0[$=)d 8(nغ'e:O RO Z=/;3f2?='冯.1X b^7ت]*UA)@-o"+%pX'ϴF<КXsO|}P<3}5ì1yA.:I ѡ&F{zjMB8LEDpܵP$k0ZOMj3i`L#y$9S#89p ױZ.!RQ2 Esxĉk3F_%ƂC ]\hx>xM*Jhr|bC1*:\w9{_G(6yyg3UeUg8?+Q- vY!>%VnaکQŷ%:~(4gs7ґe= YgEq$pB`DO͙z-yI=qƠDa4Q?3kiWY}~X ̲V 0aGreyGJw20*lYl]8Vb٥"\A_/O²S]8Ż2Ji&K̕=SG#[ӟ`%2v) Ӡ fP_XX*N'2 ˳X F+&a`1Zɞ)< S$9<،`No}DeƕLe7 kR8]N)ug=6^B)E'RQPP /oiئIٞGLߞ^"ެkCpV[̬'ɨ A!Iw^2Ja$rBꚥSxW8sȁKƈ֩$עVcv#:rT[3< 2O$=[* lEN_\%89-65)HXp.czMP=/ S^E7֮A@Fu6^}C {'p 9Ul1 +TZ~/"Eq Ln0DgPfؿ.N=Ozk7* +%V\}(A1/>9կNW'&$fKQ{cAp}msih5B b?Xy%eؐ_QbLayʵszvT>Hptl+clTofpm2OQpr!b̅W/ROYe=Gs?%_%g_gyF|x^S"goXkT+\U+o.rX%1oU ,-s Ypf)^)_Sq7yip.xpԦM:E̿O{ RPcQwz3a=ߣ$;ڐrMgoھ0&`y3%`'s3:'κKg4d"8b1TϫM#kxe#yk&s <{B]_Q}:Qb[OS c0<+,֐"Q-k!tL9=y49{+kI(mZɹ B>ICJ%pHHLrwdI{(:}zZ%9*8Sħ$Dcr%2lꞐlS*x0Z*-Іdž3I@$ȔyƁP'?!Z[ ٵ R}4gy6U{=n%E84DM?y}clUZB7Ԁ, hœїI;"P-/ ~ȋr*%iHttOV /||MMMaoɷ *cEJ.U;(>NrP[|!wq(Pdw+bM㘌EjO (#꧹OUF p&.LHRtY3r28Uil;ZR=ZH2)GT8<]8;1 ̢ sV#<,N%WlV0ǣ2ANkF}t~cR+YM?HJ6?`TH<˘oB CCȱ \c,tZo^ހ<UlCLz0=oIkNM^~YFc$9,,R53Rr"z}9Ҿ#`,k&ltuJef=:Hݰ/y-AY(>+/A%Z/fKcySZWe,jJMTNb,Cxpg22sy" ^yC5 (~jTy'Sxfjl5^ڠI/K^LUiC;5N >C+ O_ϲܸ9—;tl,0Kh~AK1fkbvo590${bݑВJ&8zgUã "wCdDWXaSy.ҫkUe&#qDg+") B0?Zϖѝ U*"Y~O.ұ/WR0ιTn%)Zй0EG5 8a]p'cJYw/5-Lj0U@:GBfD=sMnlJhʀtWbJm`B.kv8w*+/ ND|CN,t~!ۈ-V/ѐ8VR+yǹ$bYp혱):hqx @"gSv= Ç; t뉳3O7hY~Wn@Ǐڄr;!w6œ #y+P] t wѨ?d[/(l8>}G͈4 Ivڮ?œfh5w `N+I'[hJH|.!sl $"HΩ5Yɵ茜o<61(%c=oSҟ)C-^g<-<|;9ðb6Dz)[ȤnG@ctҳ Kp+hF;_77w2sA nCڻU<}epQ{>);k] 䛨fqVdC>ܾݑ!(OBߧqĮCo|wm2AW<5tt.ө?5S?CԂ0l!޲gz9_'緸I5jV!=u$g˺@*DV#flYaY+rسmRnkL%*6SW?!SY1;S:X\E5o^;6rqkg[8.(t}f:7;|XLRԔN_zLV)x|~f'e:m k*tc _P GcuU4#,oېB H uO95ZOxQ @v;d;tǭqO ~cD8b= A!J_?ἋJ)rf#U_ .@j. މ-}0" fkI7~;l ʲ֯4BsnDHP7d/houE.L;BGa}iCbbd6UFixBMo%m!W} ~  `=D;dLisc7Õd[+?^:1ٵm@|=҂if+#kv([cv*wFyd9O-gU*ULHJN-ZG}sTk[1 Pڧ6=Qtvگ1rQYjtȧ <-q1k/M#Ec=3^Sxfȡ=-|Pƒ|ԃ#̜)UipF:b(Shl9hr-gڿ > w_gE<\KgHih?ْ(;6EQ8djhnݒϼH:ݒmX[gK[IRCey=@=^v#ڹQvK9M` 74PI?{<#[jZp'R.F*{*2oMl)d֣^ߏ} Iߴx`jսB Y]Gw'_6JdJi>dlPџ{g&r:'Y#T3GYPwS[|{̊oC,. ,oN3 `QA8Ԣ;!#cR𯯶E7øH3{#B g%=!My?~d:t?so> :1+q7=g4dX܌К՞2gFf⵨(y-2Ry+{| hu.R] ϹG&rr`e0Z,;ިwy+% :Kv&[夰+] />ۣ?A8Xg&LQDF gQhc*,IZ61(c:Y}ɂr4p.c/q+ "|oJ)"rM44FBo SVmH-~,'渌z IFpl^YQgW0x$J$R!QoEXw~q6ރcsdS9֠-ͦF!gYTvޔbN*[tG+x(UPJ4nh8fqupbyصD3 . aT)9D_؆᪽n qXSm%\ sp*1Ae O*#26Kx<W]}^(Dv4nYN{x6hߺcސx+ HԳf }5$3f;M|DAu 5LƸ0k]v&vs‹LB:x#]E$)6[@o-\uB30Hܻ'U낓ȵ*EU""&P1 *SCcO(S?Ml^بK?vs$iQJlBxnh׹ i1$ރ_(yY8 i&N!U_n%BAFg;y:&{H.דm_3cZ²ȳ<,97L5[Q? P"NbR9/SG\'v[eg9;sC/_ _ƵKQ,95߫hGO|:w1Qh5! 'ׂ8LmE4k6 *&nhnYHRfﰃEE'6ϙUݨ"Sc^_^e)Al.m̴\̡`-~%TCڡHhY"m0E40moZT{AG )le_,{8_5W-mΨ!9 }Hͫ]o`w`&Uc%jHTv0Ē!6gstFNoÇQ3v/C1LVYϿ5 6~|z+^f=8>1%q0jlD SK// >,4X{&̬1yU| Ri w= 5:P:@"Q+#~'ՙ|1VWM:'+X.eSkfߩU"rG_i+Xx lEi< |g9fmвLZ!)QSՖ)R&6Ū_^>{<~K{AV{X8xu ƻ8\~B+snmι{s{%Az|8ӭ#+I﨟MUA7J^`!K'2iܯ }e9|sѷgNp)$PWx?jQbiD6/XFtݩhPQĭN?+{~؅'$VjGBO'Y98kOTIFʳppNXF%Viɣf6lg*9r88dz®~u]wc(Ya##yNgA`CiHȾ q!`nZz*dݞrф܋^J"HSWU^ܑ"k@#!&}7+h^0GC:Յ8#-#55d:Γ\d5X_i~3bǃ;5p4FVҨ דb){m'L_Z?WΧD2 6bgWD \mn; 8c*ˍpIqw|rFd֨3(@:v?4@g_ɀtZy $"=F*h 5oc . F [p3 w_|!!W b7IJl0QBItNXԙM#4vOh.H-~5qi#laƔ4gyէ#X ċ5Cͱ,QC܎|''/AAv!@noP,$3u@1bRuaOgE#5Y! <7[srҕ¹)H`pkO&)FamergUñWZ>0M_RW1t`GHI_W"p+54boKa0Qg &;Cpk{' &dI;u֙W>*&Pk#͐lǼj_Ğ*&l _:QN'ǀ^G4A}Z1x>8v1Ӯ1Erڏ\pl+Pf;=4Z4/qUF`i*?Z'ׇc#4etr59_Sʰsf;J&^~^U˪R{x,T:)Ms|ج۫|<~}y.9ȻܶiB -t& [֖q. ?Ec|qrEiL&?3PxXsv?ӍZD࡫@knmF$\<2"X Vu?iڌBmb[) lҀ) זVBi,\BQxo}K-XH1cu҂L`!)&tgR`VUJY;DG|>I*T2t!M WLW2 Y _1дLd.12li^D/?;ytȝYR 㬒*I*N3":罌UZL ~F V'נ)' #ۃ(J7D}epa $c ^`(+M{3 C~?]=m: wY+[UPc⑮x#B'B*X6#<;YDQE@ZY:VH]̸ fADYwܴxXnU x,!{F˚2He%NysRvEBL-9Sw #֛uFm&]}C-Xۏz Doz9%WCoXF5UM%0=UߙB팎Njρs5âZdU.`0Te)Ek;| ŻZӘ9楞C3?6Z8@,Xg*ǿyyl׫Un"6}4Hss:MҸ%ϡ&?$$o5tn˱Ь5#D_&wCmuNjY ߂41`cߚ1@0mۀX4* UeYL_:Cgf7W:;Kr TM2ˊ.:T*O>VS*"4=nE\a>w}1-Xeq+@jqeY,D,S$Б ‡xPSnTkB qvP!kdr2 !@ |ItP!DfN&39rr˙ AG Lh9e 7L\fV[S1f-Y?eOOk1qf2I)FV`vXxcU e\OU˲lٻuؽ0|9ƱV4|'x~L"z/!g5'x ` 疀J6H]Hp0~(d#R2{^0D{E̳]l_\].-Qr:,ȴܯ*uhkbg[Umb5q _2`aVZ"d; P69lh ' qӁo{x$ qIwCA$lCxf\Uv}gF_/EB6Rw0r` Oo)@QOP595aar#ܒd2jlj2\9vXiO ORۯ"qtW;>jʠ6ZySFº+oZ"?Ee6w9I*;*Ыand1]P~dN4{Ffg7qgUE{8]] ;ҔP=+O_ VVmV܉Ux \LO h5э*;&{nߟ #-Gg[>flR5٦P5Kn45wb@p}S>ֲg9`#Ċ <AѮfA "3QA@ 4T鋙5mwH<~zD=a󿋆7%`h0CR.XN"Q(dn͸:Um, 4 ; -+8GG¯0HH_J.hzGd%@%})??-B ÆTZ2R[:@,J Rʠ6L͙Vs~0r,?GC"췉y._&=b:N%#Ŗ!wxd/tiRfXD-ۺL ՘rfB^C""`TKŋ^<&Q-G,h<|djخ0*U ZKnaF=EkH[Ls::6rZ򢁻x6n}"1pw7$WI Qn#_'(-䀲 BoJj]<]t|Qobd-y&Tiv d\eTmj\q$Y)q8Vԇ<(+J-8cRmUh*SK@A-}bf8w7/F*]X-~{P2L*0 2,Ykj A):dP 76}\7`-(6A9&z؇WG4kߋ:a-$zdvhc=cWO5 "QL~sDB 3" x^_ꑃg,\I0;~"틱gɒ ќǵVOB'ч$ރ1(Jq62 W2 QDbd}^㋿HpF>WX]Hn|U)# @o=*[|`Cʢl0q-6~%(iI,")ܖۂsŊ}Y 皀'!HkO%}Auђ٫c5waeh$<ʍ=ѦuRZ5@) ta*a)K{!y0]y6β"nJm߰H6k`CP:dlf!͞jQ :uՎxʟ #W D9bha&h)#9;_G},.rW[/"/cG~BP.?LںGNX/@nH[37<*5I֑[Q(7Wkhvqyh~`"dx"y_dq!*xh>_Eũ;X[CbL d-kë4[Җ,ȿL|Ͽ: !k Rf{.nF,z3:uϭHnU*ܤ4|bNDu*][hJ%s/R_1T5 hDod "˱W%07l%^)8 @>aO'o}711Aఈ=H[LJ' #l(l z֔~K:|_[[/clY㿫`U!1$pŮ.`0}SXA0`(K䃭f"RGN.KcоO) %BR@ߪ&@@bO OaN[{Q'8iBI5)F5wyX'=}^5#aOO"ag0a=L\Sw<>_(r2?&^vB71Zm'RNժT]d)ꊢ! uw/Y$XFH#\u]nT\5UVtIz"N zyb u;?FɹalJOfLumKf-/\?5ͣŒqBr8Gtt:w5gN*+m#2RE,~l?,Lx1@nNB)fbpM0ҮՕ)}8id, |;Y~Na!>e=KG9J]=Lt#&yu)'hS\\)Άe.;%@`(3+x3pN6bɳNLn,5H$s XGKHsT_J5J%TER+W+{nT妃^7y:v-̴ Fm`ū~C7q{ˆ4_qg@#,R-ҿz}G:AIDr(h5%#\珼Cz`*Nv:G lD&PtOڦ{.nI1Hq8݁o!Mbt4搚 bI`&-l ;]&ng<^wgnmVXPaTdy5p蠳bCqpY:E~Ԕ&hDԘInq<j4H@\.Xo8m&0۹χfZ ?d~sS4md-qti5zc'NMO*rlH鵴jUyitc>\UO3e.F&C(pz&N;} I򺑈 LL$rr!OQ:}/w!t4al.$?P} ^[:!BO,W5K] R_)Lȝ@n ~`-JO =a))\\;4K S-cP,go: HɈռ dC  /_"[%D\*M+|TCO-M0!sj,F aJ29U$iq]`TS}7"KpN,_x dDѼsZm6Xzg|њ-8ʀC#| ;Wya#^B%>Y Br^D^<5VR÷ I!A`7#zjk7 r?2XLC")";Uh|Ȫ! -{tz`oq>b꼊?uz?f֤D1ׄ[f%UoF,LO\N]B 9(_[>DB<R/I=kmW(+L4dJՑ'ЖR Sn㻋4ktJgݚ] 69^kUcVX~79wǀp Uϲ$f ެU乼#߶e0Ls钴,X |4|D$eUM;L6ѵK+9tb@g1p,N3&-%Cpiuʉ\ SY$Ϊ\)hgV7iYzl7$M;N4)*CrG.ZRQsK5{VڞNF;J@7Q/EG?rqzь'} YcwiXh#Slorb-B: }9@l|Jf\&TɆlg=5L&DK_bP ;GEAɀFIqDd.ޤjA'7.W?ghd{YеT1e^W{̫15|6BvAٵmϝ=HƏUw.^ߙ#E dnOuzг=RmLJ `}'#CZ [w] Py`dSKD@7$+mŔE E d{jVg40߰΄ȷBs17hn[oYvw]֖NB,q@%'%6izƲ/J(j{ x DזM/=)W@PRYs%/6UA zr#m3 %!b_mj}ImYqKM4ҟ3ˤڟd7@b CrRP!)>$%`8rf&P59u[O}qA_x_(zn5Zd+ywj\ab܌mʅVkӛ_S]Z#u= 8_U90cE*kcX&C?l&׺c8@ :nznbS.Rc.4̾fĿGh1?+p&zD,3 rєqtfT{IvѠF3/y}*Pߎ,h-CˉtwOiroCX:_f@"J1J.+gȜs$Eܾ-')냶|-SK͈$C)s 7F5IkT:(Ϝúڄz7t9W-`8pS(ӧ-Xj+ÞїBY ^Hz'qu'4vj@ >ălܪ,e$9Gʹ].no3z<#Aj /dW!Dwٗ!˩g1 3\ʍٜi)a5kg;g[4njj&oz+P>ƸȀǿiIEUHrrIF=sҽ,le J?K Z}ڽCI5KR+7Onf^v^av=Y2e摇pr<ﯞ ׄݝ2IՊۺGmqƒR2㺉؊%t<._)\bŭΕ;G@*XOp>N)ۙ67Bc̪vdvۓmQ.V06'KW0I?K|Oi.$]h4&O_EXR,,՗KqDh>&Ɯ[ݥaP<̐P}l0˄,F 2IЃtgS5ɁJI~WQ6uJG"^elwBK(Tp̃,:#}M7b9ubywc@xI'2u[GCEs1XzՐχZER 13Pl~cx &^;TG[S>ǖKլ#!(3Vf̪͞xkDmeyY4Jط]azby$,Cl7VB rm6W[;UlJ"şg~6Cꅴ0$nlz-U"6]YȠ.)~g*e&z`t,^Ϙ:G}<偽L&ߊbXqae5D< +3]g9;QGG--/fKŋ ؓy/] zlN"R{V_߱E,rPA` hx*`Qp۞ݓn[WsDꫭ1n}ba6=8&Qf4Af$ZOn)8߄@7Rl3P%n @fΎaVĤRu*Vyi&K,̔deoNIJ]ٙ}H ÝkI}$<7eK2X\FBWóD.A/$,8C85=g?o\cZٶĊK V̏"cGs;d0Zu>. ,@ܙaU&sBe}TK#A8nsyF5*XyixZ]?n}~@!|/}V0Y8>pX/'$T"ʑ.p߯[9||JR$bҗ٥M^R~x态ɻ=31G?O%*v\6Vk嵃/M8D،v}9'Mh8yaX\g~EC.[bn8r U ]ZNT_d>&`  j7eT<'Qb,T^<=OS}eY$NGab<ȶB{9`:dpRW{ )lOOːnssdR6)9F=ZDlku"6{+Kl!Ž.O^6ISd~LG%?Ѐ:DnĶن3/{*Iq e/F]җtLIZEӰ3 BYl=6X. /wCʈ>`Mm)FX&Y[~Ad6[ڢF<[yg ރ pn[rPGPF5Wj|Ab`SshŸ㗳Fчp!3.㪬^}d,9G#w- y`$)t`Uҝhr++4knnӯ^9'nl>N5i'w2ϰ'j.0-<#2XWlPJ6Pq[XXg5(= p7UAGT^ɵkBn0ԚƍCBXpѤH7U@Ɯ 8c, .(00x̍г(ry7bCmgCfXGy--x߷ylvqkYG_/=zQ➩\zaֽLuW M]tc_uJ\|U?3KSPu za!Gv=3y#AcdY /֜ Zi5Ul]a6%S[jZ?#x0`E:}kIGðN>v#ͺ.s1ځ u\Q3'*aIN #O8oehF>Fy#- HMX ܋ $ɊgsC @e5IE8 DՑ9[ i# [q]1 -)$9/@Ǎud-XÈX*AwHtmaM`\WH+P'XCmktA|%2Em}Vih'JSt~j3B$1Yޠ6xqYi DۗQ!Q1TNX+9{c!t`vÒ7HFU07j":Cr7WӚ %a̸dlŖ sXfFC%')ͨPEr= ¦C"'T薒6^TՔVptЅfGcTͧ Xk FKo-\cS?Nav6z]'Ceg2.1"&N+ЅCg?FVaV4=OZ9'凄б[yJ#luـĦ\pncIl:7:8tTOn7^>Cv䭼wH8Mۦfdsk q<Ƒw1}Z:!]aEYy]PőHI=R?:vŠ풳ȍL{"5thi pJح ݧUD?=NKƁ?Ԟ R$gRF潲QDO6VY/wXmJrmi>iC3_U$Tl<~A_AϰTq:^.u`!5J9Jt| \j2#jh]$V'gqxqqU3F%aQN p^I-5kUGHW0}z #L?}aCg)R ]+y4Bbq,X%SjlHy?<ϢDCG cS50KҷN@DžDJLhdMW怲-!sG\g-w/"ӷ?Bjl+1gIq_?5ky )t2^PP9;In%jK@8i. n@Au6eUBEj#d.1(6j ff|j:;q1V~ i:_Al8[ /M抍]ׯּFp/ATu C`譄'G;ԧ$|?.-S.uăj nY7ThpvyԀf܎kxp,'[ [u Q* -t`7|c J _T'k]]:?^_n|/q$aF6(MSۻlg;WF A+1MÆ#iAUaθS.ne9UkA9u'$d\ 2>%gEyk/9O61'-lܞ69mȠ[ߢ 'p=gW;'?NTNwjw* aƎ=AgC- TFxh{t!I'>%5b ٩.,Y]52@ r{ r6 xA8#ݠZבc@~ Xv)tWz W C%1M$ESDv=F~?DTF˺ d$D%iX;]4T"T廐}J򥄟nc1j"ߖqϓO*uw㎂SCÐ*kX*?p 7`1V6HJY"D6 tGe %j]1t3CԯЮWy(c+ֻ쪍;؎5lپs{!S[s6/mjQ[ꆟ O0̬o`8D$T>'RhK8\t>N8ix"z[ht2Y9֝!)8OlM)*WҘg[v![EHvDg{uR&`#[J >m Z')3\6@ayc*0h.|(0P5&sxRb vk7T(߲Rк1-TrN_/sL݀0B+0$Dv藐5T/ trBu3etAgY eR.u#{CiE 84䶫\#nbWltM=2;-٨`svcGt۵H_Q#}m]_LhTɨx$wӀj9_2zW8iIC[Nr/:|y 9!ꄶQ-/3Ɇ fZ=7 ͟8Ɩ񓦶k86:Z5.~@EgUִ/ %pxΆBE@ W~DDU}u e_层&Cl32~y'1W *b51GpETEf޷Y؉}YTg"D6: 35 .a~0qT?2m1OUMD&c=96Mb2Km#v$k34cA)qـ\i]։aCK->M4`XYcaA9/"Rx%V Č)E_aŏ .7Zm AMtTԥrJ ?kv_|lW¡辥D2rB%Smq: B̘Ʋ_[TOhFD ; ܀ s34v˔s7*u@-DzVͱ{3l&0=AЌƨUV9 L gN",oEFGxX l~s@ "O({|bid`zl`̨4Q=Y:Cd]t$S["(-x; 5\Zz ͜?M'%Kފ2l?]d\ioG ^UMԆlcA][K]!G^lf$kY&Z|T6\tW# 3S ډ83 DKE\̔2*"# cu@)}E'$Uih?p*Q5O}e @[ B_qq1=*Җlu%ȼ@SMƶ %E>iC|;W.%D}IWR˙gy>Ii26i!+*'l]yI(3{+ɩl>XTN> ;^L0AIO%D`ҵmMcradeU+-ٖREj}/ z5 ?;5;I,Doh- ";,\|$xwdTqaik?uߚ ̔)ĉk6F9>Fj]hJ S@3HW CRJx $XؗkxL"c{2a {h 408IW&K3u7$ѹ L8,Xkq9Zz8Uoz;!mnz{ܨ*#]!&?y}ii8qNPΧ]Kv;>)Aa=~$ çTg_i,`ݴ-F\ [*r144٤;Fg" $3Ԍf0)x= O afvܳ(alZXﳘ OzPY} -\ XYI7KP|4R/Ȣ4slDP"Z%2`_9d-:(;,`Y*mwFR剖MX_L 籫"hm {1J/͵82]xE(--ײqB0۱cu\ 1 \z$w?S^%-~Ae^C c=yi.%"p UAղ}+|wi@\etO]{ӫٝQ:ׂ]ml ][V BF·-EYݿgIy(E"XUB?9d{_Gl,U#jGF qV0kuцBY n˓1f1i|=?#/G & 1]LzŜ f&E ʼ'!ѐ-~֐ѕXq,.m΋e,#p gK_6L8GdL8#o^ {f%EqxuWRZaJSgY9uSK'1^jw:CM) ՖL`T~',7(2~Yo9yO{t=m:L~W%$$u sM Ex|\N " EΤAr>J8LL8/n_*+. =n SF`E=P}c\⊄WBȤ@ESefԑV-P-:  ZdDBJ^a2ϲ5Ծyr2*1802A #,M7-XOXE7d}QA(1VjczҼ*B?  ^[l]4ؔw.8A9bC +P2rE7ACGkpfQOHqRJQs SMuDEI流W7BH;kj _H`r}Yvr:X|p+cm;Y9>JH#.ג8#:Xź#5..I]*Pj̳x3 :)s_1OOz|sAQ?; J[:~jH) j2z7*2@Q-r  j4B+etsZV7ͭa-iNMZ7jaeʜ#Bπ(8x@!S~rf$0%YwZ>oyN՛+Ÿ6c@ x) "F1C*嶧޴2.y.yn@SC4$sO4tYsF_h4̨_G&.?X@PLhM!oa,"0vXuYfnH\.#z;-67l W!)AelZ&drZ37Q`v~!a}(wO%7|wMSӪ^%/3`j3iSQk_?ϴTe">6|^\6,ȓfkqx u&:cab!ƪLs'p/-uWe.p{atDV gW.y2%\[pOu *bΤj#XKzfkvMEEnD۶:^JP!9¶OB~ )JeQLoC_Q\f$2J`H,UGtKrzHWM;/b(KoaXY;A4tRG^+:2&Qu3` Sܝ1:ٱR+hY8w 4;˥'A팈u`8xxm1R{Ș"+eVg=JXxFM7UX\ e{UNÆ.Y~.ڊTc2MpiLoȴbgU NNsm~YU%$7Z_c8pT_,<<CzǖGǘ-dLx5[6'wśnt2`WG.W\NvRs {&cLf7 īspRc@n:J.VӫE-`eD{S \uaˮw)_xW/Nd+ ۷Pfیb,g"޿ti W\&lF*JG# ͛m+9^M3lp-iK$1u%I*#n>/tN-LZݳ/F&m, x Q4Vu]&4lL)AU:$uSB @bj2M rۓ񁶍X.ցoU7zwr7,]$& r El2Y +r $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_id4Xq # PurePurePIDE/markup7zXZִF! b]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OPDV,/*lJaULݸhk3qyex1hj^#TtbPaݟ~گd%CdQ)LQ90y d{K#*J#HR9V4 {?Xpc4yu\^40:Pad^/g` M ml_IfҒִ>HBjьOm&A _=ҊF{R 25WcI)  ^h!O(bF'"9.ˆ7+3%C> .>þ&Yd*tҙ0]PeX!(S+hvȁS5V5\(\ښ{ETO $ dM`>LtY5|vOkIڡ6 0c5=r*uq"]}D ]&Ζ:yS{Jі >ngXfCt%i\嬫 N^&0D"~xmc3]"kߔ S,oU HFXF'v,Qոu=?g.}W뱄4LDpL)Vy8@du50NP\Nk%~zQW© ݯO{|'Fr\k4"/ʟJvtT9wC|(#uI諾IcƭWyN3]}@*DxjVoRK7*.rqߪj޴+h39dӺyx,MhCs? T`c.V(UJ.dV Q,R *:w'!$Lr!Ik 93wnR!^%# ..;UWz,CźQh 7Qj6e[J1pa=>i@ymB24YIڭ8{ ~ec wna,ۤ]NKK-hǁcFfۊ ~J*!_8e7똷Ndٌ47A$rgoEƲ=:nAO ĩR ,m͜Fqy޽(uJ8`mwqO5Y_a'a9S:pCp&6""VI/x%>Aƈ:GnL=2dП˘T_'nYbKjl9cX_s2ap[w2NbU4+`R$ 靚A| y;sqleHW4#>M bqƣ^m['2X%%V>cwEzA W@_Owno$Pg;QFArN.PicIŀntu)s4߯s ?K 1.%c2UDOn;4E=.fTcYVvߢiN0U#RGkbvy{k_hzy PjuG0 <=bx? s,٩v͠@ʃ66]bQyB<&܁Rqq~x 7wv$~ #DăҖybE& #c\ w<)%6ϯ>Wp3! R-2t3D=Ѽg}SFd )%gZ3)f,+ Zmբ y'0rAV. 0[QèVC,#&GA=l/jFEs_ygmU_>j*\Ok 4{pS<W ?Cs&1Ja,А̙:skoBM/ETOGܙlq#_vOےg*hYif{ޝ}mM}^x2; aqX ɇsq_#`a(;ďgC{ҔyXtNx.=r=LS2P7oXtpHç%Hb@3{sH>)mb}6)dw''p ƒ#.tqn{ ◧ul;MZ~?=;ԩ0GQ$ Z]);F4\J D15?*Tk,} i:y&grb&GΝ0]~Q?aMG=F> }G;S2j@5M濕ԷW殜=Rq9| M N.j6l2֝UE$0;n},x.<6[= f6߶>b6FݢVNR%n,Mӻ@"2TF6)R1xE,KSp\KV$rwσ(l=DxHnmPtH暶c?X[i{<8LJ'poKLJq;"H٩o }0E5>RegE}kNPHqo:tԴލFi7Xc3hM/ˎ [")^AޕԽsvXگ~Ѱ$ڵZ}shʿe}$Gwd mS|f 偲%Jup:6~qRH ,f "Ռ靁Zy% >57~5fT %a5fp%|xXCMbzG›`JZyWkaFPtTw9UxN3a &/"M-;(Rskޯ~8:: EBr'.P񼈢 jDXYE/L0UfnSԳHY ú(RL؟!D VXazO=|;42Z|YX]C%N%;MwPָXGx*j]CZF m.{uxT߀1[{zFb6!kc}-*iy[(9Plܽ%T]V+.ZMg޽䀼3*-5>_ HD3DWI*ޤ% D 0!Q*h`3af^`wPD8QZ:/"V;2SXmdGɤnc phJݽ|؀;GCUxGMn;pW0A_m9O9bKa P=i6Y$Sɰ&Aγ ^J`y4 OrѦT[)N[I|٪t [TGOO uR@}3t)eQ8 \N-B`wx9`;{ڧWjƐtwɝ+"<:B {=}B<^ܗ3gȆC%| C'#WL:5Ay_D>a/ rChͩ~- ;OĦc\cZ#脮x@8 vSBeȢ+Zou*X.^󷤹Oc3_[ ^ۭcK+b1h&j'$wcڿ \'&,8Q][e),\jR9JYirb59qRpjc\'J“&z} |hmko`p6'גOGf6,-p.+2uXarK<&iU1Djw F7Z=x 0ǎ_IfD Xc^cMCl޻k* `P2@(VCwQ!6)BQk|pնQO:WXNb &a.^a6E_,,xs <>^0V͓tMs%XRac*p\]QޤnLe=sh n8NOZ{B\{ps5rF`?Fճ؊tC Hp-S7JH584D/۾K+Zl($~m_rM omL?.`~A[-{W B#sTΟQiذ3vWBu_x8.ׂ#Kt~0ۤ~UI|eΛ"9{5hFk1,h3phm@P'7@& MK/:en%'),pn:FݏN陧5\:ois΃~.6eґ_j,SiͲni[E*jQ$ 7 :%ĘeM K~'iN~L&dd-EɇGT&H\!Έ kxs2~ Xe/\@4V5DCE[/܍{zYg_ ]&~|~-&7& &||ԈQ@M,LYZ w|""ұ\i x yuxy-ڛS|ALR͊, P@ugʼn՗6k>F*g8J˥Wpd"cC,*QDɟȡp%x$Z ߥ'qq7}I„~J/33̀A| hgIq;]u~5%'&';p9M@"@FzDsFBd`PO&u]rxzknX=0w;J$K 9tfn%ފlZo}\p1*42!/69GEfSuȹ|nu&rix0q&yLlxDy w4븟&+` '/fN".v|CqKP*Xz5@֗҆Қ6눈*tщ< 99aԇx/(L Q r EW=TiR^=m).ܐgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zIUlM݅ۀPJ *g8(':!cYX4'g?N@ٿKrZOj'zPxpiyG6jFW)N^Důzb%dA> ȱgYZHx'# TPurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂl*KSg>ډsr8*1P}6kF\j 10گ-߷ :$)V^ <2vepL5IYlk,0vh4lZ8r\Q{} :Y;n4;G=~`t-c[Hif˃^oP&vޘ ^I^)P!N#\󷓘m}R[u*r ,7j݃u5#_qn{}LD 4O&  mJoB񓳕h{FP (q28]Gu6zRf􅞗s Ê]z6KǨ  bYEkU LC Vڒ\r \?POt3זP8ԫ7hrkb+4TLύgW*Sf ʒA#؉(nOç_JG-dŲ F{Jf>d9mO6\ާntۺ <ܯbd=4^ć.'Bc1LzG39R)[A`̠Jʋbׇ88R(-Ny%!-{?Ŏ*2.zx}L{緺F9$Ьz"dpu+qPz]JL; Oh|hq (#xPv jCTy\^qZ6OVI9UFl5@ E0BVݪ'b=P+ݼYrA[ʈXE` ׍iE T б.)R$Ǥ<.Zv)CFwPA"s0gYZ