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  l lpl\T ] ]Pure:threads=1elapsed=1.289cpu=1.340gc=0.0007zXZִF! n]ŗXiɟHVҭٽD,tAƧCE)yiTIU1,(NdW`LlF_3evBl;M9Bވv7q2 Kv oX`gYZ7zXZִF! e]ŗXiɟ˚Ћ. k$wq[MSoNpQt@\@\AV@\'EdPsWRijyǭJ6eX׽}gYZ7zXZִF! b]ŗXi%{ @qi ѼMI;ӪAݎRPsCASl6kGDB.2$D*迠'?wyBc0™;7{ C=;JCנ {RSXYV/=\vt$UlYj[vI$ )\1#h7)rn`0~ga`*Qt?N6;o8 XQ0v0|.;%IREY4d)2׈2iݟԥCld1-7('?q2mQvee\!0R XL^Ezn݃G򝒞! 3U2ǯt&(K=bC"Iw)}̥ v-?ǽrza;W0M&hv݃#F׻ޙNJ 䌆dRQ+IcIasJwICw%jJT{3?!JQ#|5../sDCЄ|*@\R^;Ӑás_vR '-ñgYZ7d6ccf1b50d4277aa094de3aa7076eb84b8b171848ef87dd09ab8fc29a0988e0025104c249fa2e36  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/43500f%PurePureproofs/43496e%PurePureproofs/43492d%PurePureproofs/43488c%PurePureproofs/43484b%PurePureproofs/43480a%PurePureproofs/43476`%PurePureproofs/43472_%PurePureproofs/43468^%PurePureproofs/43464]%PurePureproofs/43460\%PurePureproofs/43456[%PurePureproofs/43452Z%PurePureproofs/43448Y%PurePureproofs/43444X%PurePureproofs/43440W%PurePureproofs/43436V%PurePureproofs/43432U%PurePureproofs/43428T%PurePureproofs/43424S%PurePureproofs/43420R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43236N%PurePureproofs/43202M%PurePureproofs/43198L%PurePureproofs/43196K%PurePureproofs/43192J%PurePureproofs/43188I%PurePureproofs/43180H%PurePureproofs/43162G%PurePureproofs/43158F%PurePureproofs/43096E%PurePureproofs/43092D%PurePureproofs/43090C%PurePureproofs/43086B%PurePureproofs/43082A%PurePureproofs/43074@%PurePureproofs/43070?%PurePureproofs/43064>%PurePureproofs/43052=%PurePureproofs/43048<%PurePureproofs/43042;%PurePureproofs/43038:%PurePureproofs/430329%PurePureproofs/429768%PurePureproofs/429727%PurePureproofs/429706%PurePureproofs/429665%PurePureproofs/429624%PurePureproofs/429583%PurePureproofs/429422%PurePureproofs/429381%PurePureproofs/429300%PurePureproofs/42846/%PurePureproofs/42842.%PurePureproofs/42840-%PurePureproofs/42790,%PurePureproofs/42786+%PurePureproofs/42784*%PurePureproofs/42730)%PurePureproofs/42726(%PurePureproofs/42692'%PurePureproofs/42688&%PurePureproofs/42686%%PurePureproofs/42684$%PurePureproofs/42636#%PurePureproofs/42632"%PurePureproofs/42598!%PurePureproofs/42594 %PurePureproofs/42592%PurePureproofs/42590%PurePureproofs/42588!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/426867zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/ŃX㻳dm]['`!;k&쿹gYZH$% dPurePureproofs/426847zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/426367zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U6˰mH mSL>HjlWgYZh"% $PurePureproofs/426327zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wӹDf95lͶ\%ucYfee0gYZ4!% mǚtu1YײXCXz YwngYZ % PurePureproofs/425907zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/425887zXZִF! N]ŗԠQlP@K!7; [ $F(q#sY2۽O*Oj0zYgYZ>! 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/429587zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/429427zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQTkźNdK|ؓg(6a)Q$gYZ1% PurePureproofs/429387zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/429307zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aũ%}oف QLm/w'Vi" SgYZ8-% DPurePureproofs/428407zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1B@HgYZ+% tPurePureproofs/427867zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'bҀnz5Y q-/ m坱gYZH*% dPurePureproofs/427847zXZִ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_xLUNНo/aF&mZ^O-(]gYZx&% DPurePureproofs/426887zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%bKɃ1'2 [Jk SlTgYZ   '   jg5. B% PurePureproofs/430867zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ7eKx ~n XrN^ETguEi wƔR5 HagYZA% \PurePureproofs/430827zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NPψ0(@<C-Uͩ agYZ(@% $PurePureproofs/430747zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%;W> pHK7hwY \gYZ?% dPurePureproofs/430707zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט4g]/L)” JY j;8gYZ$>% PurePureproofs/430647zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/430527zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|G&jw[GbDa($y1qFOC }iqױgYZ<% TPurePureproofs/430487zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*R f =gYZ$;% PurePureproofs/430427zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/430387zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDt2(Sd/&^++șobgBˑd ,gYZ7% |PurePureproofs/429727zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܬ#?`' WU.}<J-|[)Xߧ:X)qL .2gYZh6% $PurePureproofs/429707zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQuƻ1?"4 Co S=}fJWd"{}&Y\VU^pݗuW&l<^XG 5f%S;v tH#tJ/D3_?4serB -_gYZL5% lPurePureproofs/429667zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ ʋAY{ޑ#vdQ\޴^`lD?(bl Ί ,%\/ꋗEqdm}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(Lʋ $k?Lwc xgYZLK% lPurePureproofs/431967zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&g%E 8KW}EGPM2v6 \z?:Po@:^ÚgYZJ% |PurePureproofs/431927zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛS=Q(2U..5cڷX^# ±gYZ\I% PurePureproofs/431887zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z>3?*{ C[Zy͡T=6L ?igYZlF% ,PurePureproofs/431587zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/430967zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoQ2"$blYrĀ3 7󇸳jĶgYZlD% ,PurePureproofs/430927zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^bţA4PRoAK_" 2+"*z"B~K9DvW 7o9G1VC-Luڔ8mkplrx^Tƴ{<)3gYZ  8 E8aata% %~_g_aK#`^gYZ``% PurePureproofs/434767zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_xLW$wtpB7Ԁ]`x \͒]gYZH_% dPurePureproofs/434727zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U79ذ/lok]ZqV 5rC/ lWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/434607zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/434567zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/434527zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/434487zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/434447zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/434407zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/434367zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/434327zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/434287zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/434247zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/434207zXZִ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   , MWi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZsg# ~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ԫ .~SENoJ<dWvmc%;HF2'cs~rJL+ɠ>ocQ\ޑCG}ZӖ*:w^uNY ?ՔJ'띌g%=90X B!.<+O݀>)/>٣.~)飞D'L\S@R_WR2Cvg?Qgnt^5@;?WC;zbc3߆c'cyYӳ$.18:Ksm[fF;o39%]o,?:tk (cfC1s,ah6)^#z;bw$ѓ:zGd篧9+.d_V7yZJlJgYSKlrK%U+2RGL U!yBdӑtwΔ2 ן)=T@5ebiAcu}rN$,61bs4ü헗0#X!5$9_-:sn´Zf!4q>'&K A~ʟGF 46@_N Y µg<OI|$<&xHQ} 0ݤ)= wZ`uLЎG!Θ#>\sTof`\bi6u B !"&F?á9d&4 6mRge>=Dcp8?|o%sY)ֹ/%4#1 /-BҬYX/ǣrj1R}6G1 vG957WQ}t$qDJ Xb`nscQT L44Jfy=Q/Rf[,M]G rD#U6r;@辟!]N=̺|ѝ>x勹bgߩ*ц_a{D%uf'ǰוgzR&R `F6Z(cv:/:]rGBCرgYZ\f% PurePureproofs/435007zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoQM DW"Js&,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ӯL卬؅=LW=QcDIGL@ H6L-B.:gqL~@"H>rCDa!i)N븴8WJ'R /'ׯ5@ɱ:tAPQ3m;*QdrG$ߊ,Kr68FCH̅qa5Y*2"49Ý a.r Rok`6 ÀXKWX?Q!$~x}S"%zx !S$.&53)3 [W$&m)xPe]!0gN~|(^F#, 2k( wm98 _K\^|*P{sU{ft&U.ۦ0F 4d/FOGju}ppؼK hэ4فW2 qf+Sl7zp*8?븛%NaUKq\ O%[lo .ZCG5_.xX^ؑDEĉL)8}~\УNBDEOYHNؽ6V2 zR##oiZw (}8ף([*$'Sy%xYSOӥx4 !.I! >^7I$>G4Ȃ ~;jG?ѴGAfO:IF/%eˍ6e^J%Ÿ@!c8hmZ VI M vj9Rl/qc=5/+>pDeEpUT&QuN8f^0aqm H1 B#9JUds/&Q}(v IQCl/Md*I'^jᷫw0jqʍ JB {[$ʫnǩ M^a(Ϗ [~Q/%H΁.T+n$rf0 YGT|ޏGffA{ <'B"Ig!:-uM*Ӝy8wWRʶȷfcJ$$VހEMO~*#6'Z~stRAdRn,g4ůYVQ>!il0&y?LEx5.mY}#p=f1)ϙJ|",^]"}5Du6R1m\cHPl:[D~h*l4L)-YmfHvO(n;E+T' -pJYdF*ɈN]s}{ BxGR2>Xvq({)~Jk@W-JvoTQ8Ó,59{+쌹YڼUUqlD;c>+h)@ =>NS&pq v0؎2"g e*$=$ ڑ`F!KR=9)G+zR*L:MxD@B \սȐf`Bx%:lz&6%U,nyl>ǘ:Wb-cDE4|{-)7Zc@e!>ٙ?ezzͨ+>uRN%9>x8*hnT!"ad"3<:=N :5W_-_f`빝"|+W{]^0)a!$ s7`in&Ɋ㍯*'RPyj߿S|0Y!*N;8У6YrHWt1ŀ h*&c[JٙBrR؛[ڰ191hDt8Eo< 325伇 aed{yM$|p/@s@Suک0^ǔviH/{I"{̍f˱/}wd0muö6N擭6(';GUc9"fLcO._PhdzGA4so{s/ԽI+q@%a*]Pȋ fbBRqk!c0v6äJz gsFܩ]V`@ff85oJұ^F)5(tJS;( fYm'`P߷0_I'In{ˑ^ϯY#S*^cmhǢOʇ*%C?;bxGZfL.7_M}5,V&n0LB C9t /pR˞BG xQIz>ܕ9Js]7ۤM vTɬ1y/Uͅ =;ݰ(MwސFS'jΝ?ݙgʈ"o[FһHn1|nh g*4y;dzgk%T7X]gO}H=[-ouqBTs "ͶŝjE&-0t2?̕CٳX.z82Ix:8ڢXiڎbS‚ ?7jC [^yP6QJϱ5^f)m8FzU[SC 7ڔNz_: XOI-&]Yu"=RR3.  8ڿ$hK32i"n.Ex@|GԘ?yJO`+ۀ̪?6NCYn(vܝyL7-喀":I%OdA:dug6]IW&SaUt) 1 E Dx9;IoY50 CoLp-Lٺe,P<7Z ] E0"׬qO5++nK jEqgx_CpGELkMCFQk3rCWeKԍ/~9'[ntuvozʈvA~|G(>"D8-.8D@]Oi\<7KLoP2n{Z$Tt=t2$y<4n!7`7+^܂\sYM•A(妽ߵ >^~9_5(mn)fםF[ة{e-NIo[O0%cҼIo˥p`o7Oak[Qa!ǯ` Sle>e Тmn!ɠKO:%"4p-d_3`;gsm jWFp?SQޑ.%CP"p%ɱ [` S^6ۖf/Bk3z|YE=(( &UR9::!{04x.WbCr4M)<&ƿ**#L&{~3Ump4X3QId\(y߁Kp#~V 7=}f:-^)y O!%MdNz?҃&='+A%*z;|V<3qb R?-<^h#P`ZH)LsF鿌YP"9=8ߝDS-qz`řLf]*Q|df!3Wd|%[Gfs,EWniN\{f͎kܿ,PǤrm{`sHA$],;$y5!xtq M GYgNk*_H 5BO_N|V]ȅxi4D@?)HE4 ϟfe~#.Nϴ1Kj0VRL$%52_q:xqXkF,i>{pjvYy \مŮ ][쐳[opZm! RuvhkR~sh/p<e-u zHVvf"-ems.Nue=v[QVcRx>wISH 簊 ;!=}e#,I* V[3X}{8<&JFSʍ_}sD/1pgiE2T(i%N4mrM wfIe-ړ(ٴcʞEH1K=4>VC`8f1prߵ[a XLE$l,xIr X:Z3-P/B0U=7q[&(z&mVFIVcE8~Iar[RJ~Ӛ24z]~b.-Z|E'#5owc1L΃|fIWG: 4(^ jQ8sU,qdeNV;R"l5[ᄲkO0T,C 6E_zi"eUμFԖ'p邐 AL0qX`\Ӯ6mYUaX{*碲޸, nг͓쳼@?=zer@NZa!/ %JnYg3^%4X-m;kv)k. M׷ ɇ%Y-u!mbhző;䀆ZS Vo!Yeڔ#en{ gY# K C]E/ie5|_nQ`Jw:΢$AMicv_8k㍚OvQ5ϟ43TnN RZwעy L10^YnD.MvlxaOd!==OeWo5b#MǓBﴞ}C×je vwD?v!Vb0!9~- ~Y׺?ICpܨ¨ sU ~}]=`cppJ># Liz`w\PvJTTSO57?P1=d>Zd%Up&*K7Y:zrk:!m3#VZlo#9op(GǼۻ6Qmt>_S^ܪV,FsJug̃sK|dd#o O܆ه#c z>};/HÉbIm=p Bh-F8pD&Rvn}A!pXPʵk!Z/m)"ʠ`t(/b[ԳV.l#&7JGyY%0>&a=j7&AgL"nGC'Tl@eUmJXE"@TQ_߂Ui[||u}҈ Ut z mi1lrc-RLMh0ͪ0 d-fcG T=Gb gfKUI ϐNoXԹQ-1&LqD,4й~uMZj%f+.?Hm_w!v=ʮd`v*+CN)/OH6-d%aBȻqmQ9b[ !J&Otb`@^Gݮ*v{xıaFnBw!AFL>R}W`B|,B^ތ)a *I%-.*;k޴v{ dYiɰ*ޭT`ڀ4%:k##3;m26L*PrgR*^_1v/EPo:{H eiߩ^Ƌ\iDbTv%M8;;`5+Gl=_}\jPbM7+zֈZӂC)Y*r 2RYlqwUUz^uݏNێQ=UAV.W!m%Au7Nc ޯE4Ӎ~w piJF P4H:Aro2@ЇT}fe P|&O(P8MBČ LL!pTF+ v² @qp[("긩Q[Ym>)zvެpdD\%` @`/@smI ƌ$ 1 xB^v#3}˔3}Hµ( (^G#|x/df~;tpSYa-U<"'qޱž[Q_. aUH0 w)SQW1Yٵ7d64S 9-u,.+OIaѡJ%RLv|_]7 iNR"L:)"1n:޴l}]X4ۨ;y,Fmጅ5mnTaCDE&jӝ@z}I^+w}n-1wy\bg2Fꦱ:Ou24$XNU{5%H|.@Փdoc%&ayc FEc%!WL+"QDք޲)a:lOn_q9UC#,\hN5;]فW]z[mct1Ǜ5_U Ǽ5t(k-Ȕ'o  Qv24dM/$S ʢ)1<85>_]fFsGlIc}z #f ^Zbɰ桚AX5g55J>{1:+OqS5WPӏc2P Pzdi\#U2dgc3rLm<'KQO{Ña6}=m-;c9 $\4.cjqzAe>tFYS-L<, k䷝mkyO9\У[4НдHtf 1*ln0)`3=-iϣ% @j'ΐ T3 m癢vҥihwR5k <&%I](3ΓfGQ, 0ஹ+dwNڧ~׎n( uЖ, wU#y/ գfQ M +%XK ?ѩ'Ire>$-7HS܀b~'93UQia`_dr2peǁJ93HQpUKb(mpMʄB0 q!.zUJŇ7Xp'oI>} qmVLjz4A#>4-20kѓ3}A:(1n9@Mw"+k E'#̿01M+"E.n=ȍRya\2栯Eٳ=¥?9~*[A7 r$A$ ,WO0{nPA]2ˑVzp܅e-V-g@UW3ZLDadѡD3&u@ZF46,`:Mnܟ,pcnĠ"²@sz sruR?CS>xiJP!i!.3Z+pKi]2-{&!O ST䞋rIbrf`8>vK\hmw')BS?oRN[?} fA%+s=AchV%Ar "h2Y'Dn93ʃV ol L(>j0rsLHOOwloHF`k^C#Efh]BSP5`ՙIx8_^"٥nRFCO˰*L)]c#:]jEI7 cmK:"I;Y:N k93LFS7h5gxd}?]v8l߰2jТDQ,KGSԂe{*7k eʤe@Űio{'Xk%AniʐAvRp/-JjW$<89*sɿPJaT]nR1&"!l V$x5Z+O]:"ƀs:z^Ѥǜk4 ^{vk3vwg+7K!>n?2d,vfKt+Y#ܾqk,R}ب`-4yx][dYt `Х iNJ\U~=y[f FlјVA%Ee@;@'oG=\>י!G XE~PaA_+\Nüe  4(KKb!"IzR*7ke"9iVɆK a(0j]`ueJ4z-XѿiڌՈ4?!TlBG #WQcex*m;Fi%^ÖFU ,(Rvm!A 1lBDOlzxcdR"!5 `I{M#efnmS+b*5e7ދ &~y= (7/!$:^hˎ=`c5'Z&M{Zgn6G" 3fo7Kk;{=KU[7dlvvox;Mzپ6uW\&pRy{4Q!+Rʞu(D {WL Iq<9E}~4,mxeK'5]?aZ*gɿ Y IFYLM/KT͢ 0Uj0hpwUpF{]G NQrt ?SߕS+KB>svl)n>s"(R]4V 6"?[酡þ[inRI(ZtSJÁn0[3P { Gdig- 9 uߏX4E's fFw+,73 /S'!P]'+GϸV-[POȝRo' Eo>ӎHܞo(H* )@3_LR`%AQ?EDKjkϬ[jm- ޡȺiܠ V^C3ID0K5D(%]OO$bHx@Ȣ1ʅj'4=ZY|[4l 1IS% >1E*sDk!0 ?'O'AmVNztdThc@cUU2fQw'Fz+KR &ýo+޴ hhm0j. PȬۍHh|(r-ضDx*xlȂ4S/ޝFu [RC>_^7X>8c1uv4p A\$r-No3{xglZ?.Oe1O_m>GE)r8}MLp6czNB)*Gی%L$lre.Y݁5I-shIGW a(󗖴&2,6)7iCÈgW{G~_Qɜ74~AFAQ.]"kqJj}tW:aSmo͂{G}˭ʡ(6ѪM@>o#睅}PK?o碵ר+uFmmǴ8_k"얠BykC~񡜾1zvo+j&xTzDb>Nz:O9*nD9姛с7]ȸB2@|8";$&;.ɹ) 1 H,mEl;?)!JbYEꔌF9a:]K^S,7?Hhoh@.~աc/ռ7/DHuH vQW0K>=V2r=e/6ZRAhg&v̚x[ϓ7͖orBaƭRI^R*fZ8xgYZ  Zso% \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.WqgYZrj / ,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-:# RG(Uem t5miW+W?GT'bUתV=uR/,Vָa#~mQڰ5/G|u sŵaD4JŚ~)mA0yιv'(bL`M7a/ UkШy( 1,EՈ1gYZ[xY^ّF]))GHi E13jT-L^O?3jgUBw Q[NA|$Lp}%N`! 7Yvy;Pt?ѧd nH rϲj!4ϭn}KxX_ME]֯8sPCb*2p˟sw-d(-tZAR Cc(ߺ^դsl2Ol;O/;q]^dZr:Dihm-e.0ۗh2-`۠q*Qv5:ٛŦ';v,zBm}I%%y<\ih{+&Ce=vGJ^<b-2l^Hη3::{3>+Զ"bÛOjm0Ry{cXaNN '["dF%*jC9-Gh.92i~;Mjv(ƘXIsOPU!\ -l .nt)۞l9CrNVVG:~ _ lv9[:eIp50Jy My#?R逄?~2":Wrb h*CQ@ (ꁠiIcmnZGkP컋DDt^;DSQ}Ea 8PN{=:vSoS#D աYp5/}r?:hUS]\# /Vâe(( U#gNSV|N8ŒX .+m>8TG.ja~&{.W^06^D\z9s8ܦ] 5QY zUH(P f>?fc{2#jWrB-y- @Mv7/F{R"Ie|3]-EN4nFReu8\0m-> _ׄ@V+MW͌: a@Bv!kp/h*^|t] 崁]H]j~;Vix V3ИWEHnM5 _; )ֺP%sĖw.sn\t˽rPZ(w"*~ DM6)C᥽v >cZ Y캺PÆFg<<ұ$_ܜ[X3:*eSuŸ$h%F D.<] ~c'ݤ!4g*73QԵ*֯t7Yk=R.u/dI #mwYrD$.BtPGxAgJAC&Vp6z)$}]'l5d8s>?xN;U usq5I;G?)H A7 1)JqoeiAFkBNЉgq #9F0 a9֚l, Tۼewn')sj'LJA%KIu_Urt M $CXNӮ}dS Jw?#*M*W^&sa%EmrSo$}ϯz\/|X ӁޅZu*C  aGQ2Gv%FVbxD|Ց8saZ<>t)2ϒu;&Ln5VΡ4J:ԃ:ёX'<טC2uwSsl rW`W=l]+[3bNG~/vЄN U69~) 8^؜v«2':d&p<)<>GʤB= I`Ia7_7 r~ [a΀Ϛ9`ǝ \"oHZɖ&#6R8 w_,ZwPΈXŰ* 7I*o{R(> %8!@8`rxYYtD1YJ(}.Ҡ,wGQ1~' Rp? Zao> xQ;iy U( Gp'wc$V& .a˳I?Eng.r#C͌Mkߔ@SK=6P%+Xh;*t]Ji͋s~gq#ucG~S霚!JL!Nz5|=[4L5H?̑Ha ,EC12[m@g )S9 H;A X1#~elbVze@Xh\PP`/q-m"-JZJ!MOCBpj#k2:s-7+;׋ $}jS+/#:iq/3|m  TĒCGAڃsz2yy;n܁]G (EW/rTVLz8I `?KwkB""צ:zY35kxźit6Ҝ_'$Ie4"WL~Xl;zT{p^EIN#ZT$B^?-T{f=Usc}:.LRGX?2o4@bvuZu  ZD^,dChߧ}CwwYVZKjƓZ)L0GUBG%\lLEskv3K? 9&q?t~~剼dftA4%3گJNJ3:BZi6 ;R'&20έ迯:'}vgsU?\ .yE% m1z,*U kː9No2 -C-58qU™ܜ(N7CfnaMOH*wb EZDUi ( w /_?/pn:rs yJKk'7y(&;~ȧۆR~{f^yQ35zzJXPJڈF1CXSd8xH )iTn  2; Ȳ#yY u iHk}˟bJќ:4쥻\Rf--Z'V ﶯ-B) {cIs2#+>zhz;O%V˛û=r󱆞TB:= 89vgGj8'ϲW992 (ֱ<.z6@Dj_-eϼK=t(m2JAq u(#"xgJ^8HkPiXH7'IFgc$BG?z\F[B g4"q` uv~hV pj0H?v%ER)(r"eQ#CnkCZJPL9a)2₭yOAeX2CĨB( :;w Íe)RRZS}aQK3݅noߜ@(w}@"ȮPJ-{zGvn]KJDD:-GCg5ֵxv^k&ZZ%fDJ&lfCoOLV=y Dc r<\Nc፾PgƳCyTEYAŁ}%T<&GCo6[=ET!J%S3K_VYw2۸ˡ%uG =.[B`ѭvn5ȦmOqdIUZ(}B\X >H`FE^3!?S pP{rmKo69j끌#M*؏)֦^W:X9t8J}ȯ[aw)n@ ™q.KK#eh/^y);Q';Z{/Q;Ey:SnQ'V{kWMSg,i[Дq].՘U+Ըb"U5A+DEB^B[;u܀B@'Gy!4D)]&&n b\2lalDC?RS䘧Q?Y_vː"شrzzP\!m"D)Z33Ph}-h~H A|n#ь Ѝ]fJٚڳvД7ˢi\~BێP4]׏Z=_=gpfB=Q9B?JY%S&O,%CXOm!Py챕޵z> W&/ -:N #?lGg*>:Sd,ך4EBf4 .y3,ԭiV[=1xBE{̳=e gX\d;Zo',µ🞽sAu4J}[6 MZL!ĂV'Wv9Bp,Z:låg 9/u-4w.ߘ6(\:e"SI|j.ؓţ'Ȯ(tuX|T;Gzs*W:ޜsX=k8Ѿ[u2-'Vl"q_@)''a9A9dY$Vʧ )- |/B|Dk#C-e gvKZ,z'I}ydTE^}0xݳ!ⲹ㘗 U)oDA<6N} ,,;DheD.V#ȅd!϶To\bXS8maXEם|E<8ve#Wl w.an.G,k i5hto>VK1VN\m9\BޤؑlX'w|'%(yqT6MuWʺvך+BkT%$VIY*_s@w OYf o2@vAIeP;wc%׉՘4\eĘD ']-1?ҡ֟BH\'Z%!?f%_2Sٽw靮Pl7~˚$a2q9x,[D]۔Co$ 롹l/X־,W3I,f=1 i*N[Fu9$ȩ{K2+'$PT {5] ]_F'b1!68 N?_(GZ/$^_`o~h\v[O4Q"o2B !\%͡D_c>BV#_&鄆_xr.'!A%򱝍 }O \mzGPup6J'WLfX?3d挆X'HJ=$sf Cˊ~C&X]Rl*p8 JFx>MSg3./>fHJ_1rFԉ,,1㐧v岊Zsoy3 "pׇx-|HLnӣBGIECUc9\k6cvvP<`6Z g/ [\~Du?eYoP lNt\fOok$ z0i8 mǪ4_}D8yBiN"uV>;a%Q[zWu&|'#㖹N8eėQïLOPE{b)O#PэI@guX==fdj(`j\t%vj2JorT>D5͓h=KמAFU%F2 EӠ84Gw)~/d(R3-N=arH;mkLS H9L} :y=AӌaLv$%UF%QtT#.R@g->G-<c4UwƧ=;ݶM{*pMnz 8DMt/;w6XƽKvpx=w8<>)a7kz EUh-"M+jND⟁$'gjq%%BY>Ep"ؚ)4'{b=mԈ4Ba S` Vt$o>t.eGՈ>}26F3ª@/. Z3pl~˥=LrJU&XSasԖn ʘr6qadvfPvER-"_ 9[|$ %p'6C}I9(|O7{҃lV?eJ♳?XnM[6y?$U:%uXF×Z*@dw>4etɥ% }m_#E` 54,{4g6ߢ IeY^I|T^`Y_5t7ACkFrs%E/$01pB Y@'s%$%0\Gs?$zp@;ɼP-^8T  b,eH>\yk)/r)tgU zOR 欜;!lI20P@P[wO؇W xo["rB'4ZF]̛n!`)UO#\Hלv[PFIatpHAw<~~ ჿ 6wFxizdyPu[HZ7A$InhH2nYnc·p_TIH/SuI +ϕIoB殃ث/&\Ecꩲ8>RU%6_S-Zk;; TfS =>a('':HrLQ0$\Ll;)7yd~M.ԯG8q6dZǸv eׯͩ,=wN/Qs`QtQy"6SaU&bٴA4wURSD.*BpC[̜͝ "F8$/ 姨zׇ+.+zڭ3D)( ؝Y&ӈ)MaQa!d8`)g Pn$ֹU "DbN+I>w| F0h'v$ Ð:OHqzB&6/0F3Ձ~tTYW6CWWnSqcW^ÜiUf! %Fi;+0?W6Q!LT|tPm{+0ޏK14 I 9Cmݫm)8 c4 ʨ7*t@9&I[)xXB&/z< 3NJd2ZɱΨ޸Gv%W@HLԂ`)b*sN`BUtn7fi 7E;,ɲ[3l([a!1s~Q%F/*J/vw|yoSSqC 4KsEJ۩@z$ 6Al1=z(f,]UPR:TkmjFrY} 8[#~-1K{s#x-2n t鴖dY~=k#!-mG Rpp$&}a>Fo P8S As+7ZU[A+᝘kwH73,+dzLa㞱_8IFJ#S]FBEQ X,A8s[W5QIiߠwClM_%h&c(4vUYb6Ubm6UIx}i۶Ut!Ṷy0(Zpv~TtH3L;*˿˒eCZnќМfnbӬUZxbaݘ +]#ʾ+pBjhhN1${e1'6N®SpxBeO#'jh=] ."+K@?FO~E.vLoM:q@ؕK5ҡ{_o2S''rRX+BC-N7^BL1*3E% b= ZhupBa1Cor)V˃{ٸ!>&mTk'ʥ xQ-;KlYӸpzDeZ xgZ{B`.3'fh[ FC!Κ08Ti6QAO|xF;%5=P4;m*nؽPxc}x@$cVNŞuAHNsF#udaηPjz"[Qq%N7Rߊ U2']W;$K%&e^d4;SWfxjpZemcA$K=]1+e[s&.M$\7nW)Lhȫ`TWt^&b]k2%W&셁Yꥉ4rde~]gBl:_[4Ff q[j]8g,z_flxqA l(D=`OtLgv`}ÕLGUϽOuze။J/ mOe qɁE*j?"O6mYjYԮ*'q38=sFdC!*r#wDVQ9gQ1d|xrXMC,ux~IL͏ԥBxζQ#QvgWmyⓑf&?4"aBc}i鱬}`A y{] n0VM֜``b2އ ~%AMU>A !Պ:F°:krςSn~A&=aڤ rXGp\XP%p&$BMXW!Ivkr4q -XײsUggQάK5, yWrס+4b%M8 au7&R^β׼Pq+h;3m]Bn> MEݗddA<>HAuùm7muA F e$} q2n2V˅t|I-}^8L&j9/#MUЩB>ɼmYԦrnHIyH-cJfJh/>gѫLnYK>_iW"⺿dv9d|J%,d_8!f;X1¯'(ٙZl](Cj$2)7\̦e٪DPQA>^!VTO9p,bP)Jl%c: tHL*2 U*H0''`2o7ZSf'MaTPSH V5Bh6Ưb:e?W Tj(y sݓ)iO|6GD|OBHS m,0c4Ws؞EbGBf7SQ,*'gTp yv=iEY@j J`!4!sT=w 8SX 6pzZqՙmi;R'- ⲹiY>FW,x.2)F;vOK-RU I aAgeKR8> KڬR^'҆&Ai NuavL1;V5#He 8c?+po~dz%+JlXچc1"R:#UZԌ̎K%ʯ)duz br|X* epe(/IE2~dۈZ?<*AE#uxe\( VH=ѯh~2& zw_Ip ݔ-c*|zEZB3)ܮ2 µ6KikGa`Nݠ:xQZ^w\۝S$pgOƌNH| eQW9ޗru+Ȋ׷W$aZC,MtYFm@(հV]޲J 5zZ@]c>؅wd/Y=xMY@4e*+a/t6(j]05_h$lX)jS.L؇Pf|ZB8y=8g"-8r>KTq>t܍<0}EMt 4$r ,5 48P$*=>rG}dW 5H 9O`ڻVt'ıiJ1uiz{dUex|@C%6ߗg:S@E*et/]dzF5х7j;_^r:(qUTXY!">yKÑ`2G+$ɟWHVZgHSIxY1(FQ2}7c+TArt'"j+c/+=hACiz<Ê*Yh``"p8<\nҏDLR{Akx k8XpWYv9H׵BE5BuZCZa`Z|qLd =ASkDdx`31[)-+NxfHޘv N|wW>@UZkal]L - Βknd)nkbZd$HlLi)i]Sz*^mhV+|pG˵ Eb8fI?O3 07n'2\o|hk%8 w;5+ݴkӽ!}nqH@yq t#EtK}]|kSғG P>q;֚~Z0E>W.w⮳9caExT2QAhQy+rh85r31GW9pēpͩ=ʾp7 &= B2]ʭȟL`l}X-+$˨Uv2:6fvGd:su ݞl5?DV Q{u؍~~Hݏ/N4}wezC7"uP}ђ|S^)=9h!Bk]7{QbuES;"oXN4v/ĻQXU)sKήn7;TqG.mlvI4'8EGXxp Pl7㴺k$)0A7&"igU'A⽽E;>MC2TC_z~#Ă)G>72؏ݝp'"ޤ<1[ x 42!G"z+cM&"G16/kܟ2]ꓻPE cK4%o/1GQ]HvN<9iPRd>ÄmlBf8R{PڌE!9ptUܧ\hr?Ks,͡f0WA()Mg~T{|Qz6MM^XsGe%>0s#US[H~ otW9jȅvZ$am}b_)#rRŗ0=cunla#O|!:eD1Bf/gEqLȜ1FE5yU</7:O^C6E`8w0BmH],+JhEMnǶ4QeİII(O2W*hppb62NG5"=MHak-qM+&FoD2nOZB7C*X zw+2/ <;'f~c)=22 ^?vΤ/j[Z  Y," c|o h {Ve>w~`[`*DY 8h<豨UA`6y%s{qؿ֕ôL>r4Lg;c+ Mhqe K)$/q s) T삎_U톰-*olؗ`g p!ϝŏ@&\lEIA:^QƪfT+_٠j kVˡ@HُeeERqݮ٥Hɫ#;3k8t 5X9ˈᯃRMSl7jROFl׶k= 7E}vl̥(e;a;!Y} ]& (*6k`lA#3]m2(.):״0PP5]Hꗳ f?'i Wy(cHgڪWBH)C<%Ø9RlVbE@iuYi+pp?~n5*O s63{b)0d600[s W=zF|"hx̳EUL Z<̜%pWi]DIx h=\<~[}W׃ЋUZ5Y?NR!<+;y{6 g @].ʙSA%~)#E'NH9NIJIy Ͽ铣Un20{(\Y/$eT, B3!Ī= L—/V%34n$"AJ$ev[/nad"nyIoKRJ0|i? )-O'5nZ*}"Fٚ RCbQsr!+ yEtA`[UȤԶ"\RmIT‘3$fJb?i+tLjC1܈~)Xu$6ƍ5U+'-:yr0 c~$Y K0l5Н cl | pAk6*(HG9|~yg:=Z^)0豼j+@{kduÂmcHeO2AaZlWRe𶂝*15@, ,m ˥(DNB#5y4>l3pp=ʂ!E#bB$іvWJNPZ*3}}( uS]P:cwqC_SO;b@ٟR|WGUq9r’Pȉ$ցdD:m>K`c:  f ;) p)?5@OP!^Fd kKJ`Tҷaf__8SA|F}PEСD9}D"g`*fn"]F+(.l鄎7|1bBUB0{u13x90l]}#环roJg?|[=?/R^lK4j䝗\p6R=U+7'~@.x tTHG"bNzx5\덱lP*,ޛ 4M"`d}0C{@mFuB6π1JjoxhimMp,}kx@Ic'Tt7?DR8W Ghg 9fNYj1Ł p{0roiKއA2ClE|H;obZH X)?e66 ܙvZ^xKX-E rLGއ1iZ35zn`'68KLFƩXƎk7 2.c9ufby-u݆S`6ׯL/rʞ;P3%6wDcVVKPbm2`*;3&#*휡f#0Q%L$ :'+`a QŻ,*__SK>Stй-Yp+Uwg(ȋևosoH.͙5s]ҞI.4q0LBaerX>+Slm3;مQ{phnӔ7Ӷnw}1IR?7Qj"\:xKAOV0M2= *$sQ[=%FИNTal II(L0z*.hg*M8?z Ր!y3ZNh#c8ގ`OcW%Jŷ<<0JYtS3Jg{T貞L&FuNocԟ/JNL5ٖޒ`^sv6s8 @ny08f޺x_M c˔9[E @`ModgQ#|вHFp&2Tv48[Qoy_.SʱE}, oal[DTE! B }Qtq\g}' 3yl |cn]A 6p |/+O|4vE\P]Z8Nj%媏U8oN}>F9lwZo2mn? âG7N'!9&Cŀ{ PGĵx)ZZaͣ!78[L B s*B=%n̹5.Lzx\IC%3L(ܸ^_j)BBf0|4F35ѩ9jKk!ݤ#'j7ZTN'L69{}̌s9AreL0>Œ34y~1e#{gɩ7Ɍc]Y7Ytbxi "L{j,.Ş~4';w<9;A QX^/VHπDQiLfEPd'w|kj[¨ 'Gm?Pusm[I姴YC ?"!3Wf|hI9lf͜PEvW[\5?aHrpVv:w<T+NY6Nw\ 2xnj uw!4%) sx RLޕo WXv9XJ޺m| s}CQ4/}T]glEĬIdePy GVp,-{]+;=FyMnqR-ұ待Jr (oMpT능@cȻm(:i%`C2-"s91.,tv ֢ylZ֜ ҂5`֋#ˉ0u̞SVO~BYb Y(_ul=0KNs'%ᇭaS]F>Xi`0U pSW%C򁉮)8N@ԑ"56!K>~WٹQOfڰ'hFQ-#u)7I* D K14)C?- |)CT#1 xǮ̝?v  /UU6zio2aw'4MN\_Je>OJrՄa>[WN*W& ;bD.bNzaW Z\&& v@h-kRGU9}ßJ 4!XviKQ}$* Su&%mv,W3RtX< cl1!)˵ X3E`LO"(I\Aۿ>r!"k־g~PRhE7{n+ΝL豪0c, ZrFx \"(건)75K& @"o,ppawы?K`7OD)RDKk]GSue䤏{>ЭXߙ3OG$ďJm'( [Ļ?|bkuF|O4&Ğ4Zo=%&_ ,qPw=4:cE&?o_z}d3uTt3N dC @ TӍ2e/зsUٖcu-0)ǕN-ۄ81'Eg5>8_yOƛ~n3&n |vC?fW5kk+dOA^L &Lh 9Kz):F&Hf6ԯ&9^N+Y~űဂ6JǟS +UC6LQg71Wtܳ-{{ KypF:-o,Gz߭MWg8s/A2dJ )х4{,#{o!|I1:p c;|&iDdJt_!Bl-,<ijcr1ݨ)NkT^QGPU"@9ݲLn3? m,Yvo>m1\Tzt@Ŗ1bj1-AS^YriL<9EzW!4-hg 'o\"R2i7,y@ÚjE%Sr@ N'') dv0 ewژ\aƇFCzdchҶ2Kf7e7h^[2 LbUo;r^'=s)V82&VZj{&V+HIR3Rt|B)^Ycajr1~COh48OOy\OKKڑEh=1.pIF _4۟|EBʞ~.פ%T٫c^ Os(lP|K!0[s/.DEgS|>F("`{"qҗn;u> 5g$fL:ػ$ʧ44) 뢟tQBJ)ͷmP}'}VBif)vQXh]oXlb`%D;45vQ N{`XFE&U=w"$g -Q]Q3Z>:2mEބŶۣx-m0 ba=MvҒ ف]U4 i hqZ}9CU҄Ь3{&dPy"2~rO%v(N JZ)ezwǿb<,5>abw0砎guCXl\}Izב+̎m~m:y1@uy& P _JρP4e$2ZUb-q3r+9)|)3 ~:i sxT7o%)řt lF~P`z{C>(B{|rn}@J'FFЫ ,#6OcYa2xF0r24>5Ǯ,bfHL%d"/3a*xT_T#)OS\[qصa͵4d֔%$ 92kM g6G\,T)5~)}-}It8:̀oG;k[""aTRQ^n) w,r%>%EO ֔6ԣ$y;oG0*vSaR`@a[gH=cBA,NkRcج9Ν5e(JuE)ykQղ00F.ϼ,o!0Yp6ݰHsV 0FQcb G'vW4s RE$; Y ѪKax o*Bum9l|**WcekSB.Sz]_:1Y|Z ,3TA_ې;ȃW@HJ9WԠ]KDC问o金ωJ=7tlit1HȵfËQ)Ψ k;^zkdk  _uP;Rg_#`j47~BЪܳ";ociw iUq }-D%izc_k|Z(;(r,oiE;pԴog{TO3hlHJlt`V&5s"!/f2?q O} W7뮛Lj?O|TZļ&qWϳXgE `3 7HۜPIc^A#|뼧:v)Uj 4)Ĵ1͙7x9U,oj*k0KU~c7 Z}f.7ܡO~!A˖rzY7 'a/#^l,p$>ܓ WL}M 6j| sBnxqүTj{i*\1Y_X_6h@s5r &po,%U+6E43 1PH]|\w^W$feo؟p=Vn?>7ߖT c5b\?)PF@b_f%U0cL*04rdm氬t$X9ͳ(ϥ4zsM.&rrIo`BR{vbƱpI1L%}L폻7K #P>D6%O^ed&w^[֕l X֞E!t>ܗeshagt&D&0ª Mo=>`-ź聊9a2-F~Z9B<1bvV9L"rKG#.ҥZ `y J4ڸ :T|mm*>fmDqML0vWu1mM#{ln@5 ʖT9 !=t +5ܵc2 +ǐorR|NOգ3S>PZl,/( K}VRi)YY9ܝXxGƔ ~yoHCswoX,T e]Azq aGg 4̊ N݇(MZn;G`шTn!(QjmH-lt!s -Rɚ*Z92" ]W.xu|em 쟸-gdT̳>G$FZ&q1ȃkgC k×SIwa cRH_&#FdU8mz^NinQ4\?(3SwaBHzY~Ks5aU? NcaN%PPj19z lrio^RG}brG=Y֝No ]3`O3\Y?YGmmdIPZnd0qZn'֊x tO[`RoV8qLT zЛ=-4L[N.&8 m8d|j|m?~uSS1u)'|A>>f> gPԫ\8ݘŝYd Xװ5Pl;=L|H:8t?`al YC8vg[Z }% N>D<9~bl*DLS<;3G=C&^>ÞmyBEiK1ǎ O+"}ﴯ< uct-EDFIY-p/չ-nX,eg; v"+2,-}Z)οo:rLc/t]+ǰ}=^6&VeNV0,Klu#Qʇml LyܶM5üK*cRer~C) '/ w \9uT]\w_ٖJ5b8.=`SQTub"; O`40BsŐl;c%#ʹ &=gvs5GaWq LKG_LZf=9i>m3-|]`U]ei͈l _iv){΅ `ӢS`|h-ͅU@&i# ٵh2ơ9af@Аu(a8t(UN qEK#< zi|%l俛2?3;j ")5VxJERF1fG3s?Y~YbxCҳ SAZ&YpjYB#JڀHg8 bb)qZR/fXR g!۹Gq ᑪ>\9Mᕂ`8/cS`" !ֹ/N`+?3OI8^u?>Jc :ט3'`@=('HKфJjZeEv>; s@L=g9nD% ?hꠉnz=4(#' 3ӱ,Rz؉$kL|K_FJ>Mp5N4JFSĵuy8䵭3w34/(09XJ>EJ\ xe9ޟ.Jo/̻; Te|V h+]:./7.@(J?xQLt^Rp% E'b}POr#f`*ZK?{ X*͟qK4x;z1&%FNX\UXesĂ\mRK&Y{M/<cI{ Lgtk #tcۗm (N7  Q*C+E>La`6닁x6 H W9^Jnm\4k /:Y!<}Sp}"{ۥ! ɗ"<P>=T([~'߼1g t ;PT+?)@METOBeO"R;eCY\?$UB5RQČ.b,GHO^ɪgS/-W`Xkvn`PԔù2=If+$L 1da1)!61#Jĺ}ZK!bFoGu Ƿc ۮ}te\]`7s߾uJJ\@$KH$-/{Gmڌ|6Ð+W0rwsd|K8|TΓ3&f,iuZBԏ1}hSKz쟚57ZŁiY՗uݜąٍs0YBfU)mz;{qn٤Xb KK1Vq iӒ>80oI$SOƥv]*l14tn^Z p8@3VLnYĖ;tnr*d~bЃ~u23Dёq!Tv ~8y`SKӱ1I/Tʚ1?t$:"% ,&̔g)$tW1ũߠNҷd3z&( /F7u4#;OxTntw0y&vP-`xB!SBTVX#I >#u*~ܽ^i%V5L8qDnR6i:vM-Uy K2NPue6ڏ: o"C|}Ц;MX >5Iwpv~e0/p.&\ #T6!TЯkPdOMM8.3J SßW[m|0g.'ԉr"Ν 3Yc: JYaY}d|6͟V+ U"8ަfh R I*Úfܮ@2/C/ݦq ~~T.'81-a'e2ԡKaR{-7 =qI$)-c?djԌ_wmLMq>&a'3xJ#Wh@kJBP?ɡ$h>b٤s@H[kןf}6Guaےm\(Nؾ,oi\PWxfp1(<ԓ`Z@ ,~5V=s| ^#n@<7tJ>ql ]/=NԮο8ƻ VU%Z>2,;p49rFgf <饉$z$3 $lR#M:h)[1NFzg j]+|˄SOP&93pY4' u`(g!sQ"haZh)|TdID/\KèTUTYn^`J  jT22>`qcXy~6dh` GMWu {iTU tpK`f+']{Z LFknm,Bad> 5v;g +ZWՎ:P>p֬O;- 3ucTF?"/ls)E'LG8q6u0_R/Ӭ},&'g\"Z3<.9vQdf[dQS(,@*C5=E'=b! e,YpVl$I*ĔׇjPD3V8QnyaG\7*xa@eikÅa)3MDw%o} kH0S‡vY^ @{ d0}Wj,M#Pdˣ0ܖ]A-VL;m-S5G7 Cp%Ј6e)Ϋe0{y)q& ݒEYunGaz 2.c#O_^yCaLnbF ,H=ZA%tGYQrGaƾzTv?uMRy9tAGo@6XMw(FyPVu2r6g”:_Eն\=pX{bC|Va6Ӎ_l;Uǟ1¤_mсCUbLbcɔi{^"t0ub=Cg:y>zRQ8͕xloTBF"XFzl53$x8O6W V<8ɪ&,?nk4\ױ;.1ݑzRSxƳÖW=,GBMDA4/ ?u H6Ǚ^]5k$ o!2Gѽ5fjHMZ*.uF6.Fv'{QVCtUuMc @Έ'EPǖISv%o64vLNb2ī%]k5 10^}Gճlu"@EƟ[|niP.R@{{Ad]!5!=J~,Dr>QwU&LőO}|4:@6/804@[ sSIGR"kfV9Lci15\O *ZnQP[eԧG3b5iU~F]BNd ~Lӧ4.(z2X] luۨG?r/d5NMI.V﮳y xewGcj"}^mHUoAy-,LGl˙R tJ925RSV 41,><%DcXF{q~-$"4zS_wd^B0U4. _sO?Cф%(;I݉rvPx(-{J[N0偪tO /..:cެ xA{ŌyGSڰd1\xKgr#kyYNܛ/^XA<>`P=B#&Iw 4)Gk8l?(x ^O `({e'2*t `eN& HVʡ 02z#+rf n9tDl mߧ aR~a⭒ YѹF{ и I.6~bS6=L~-qܴK2RYI̝ʫhw=<53׿x}I!1$8kGst:П"NZq+1|c3J}b83r<8=*5AbI+&+e={(p3*1=~f3I|E%vn̘&8K$EmR3NEQPfU5[J M~+ph1FL|nˇ=m.c?up8+[PczOn[ wY_ɞ *4*7ƓRAѾ]PU~B#6IЋwjv#Y%XZN XzKde$oj1yE*3E@ݜcϖypB_D8y GSpRIchZ& ŞOk V@*2#bӭ"ٹ(U]9hlK[*U$6ʽhCpll*@jFC8*VAg$ʱue [bvߔ,IƾW# |wk:"?MqEjAw;/Gw=*<B%v*79lsT-X#vo"0?@k/ * `G&IKۚsXSb slcbDtoJ€j*!. r293qgX.s@gX%Гg!ܡ{Zz+Jemk$e8]p0LvTdM'G{Wt-sPltuWTd.@|s]j=y>| Dhɭhrh.9{ Op9$| +mZ(~O$FΩΉQ%|"SmrlBIJzʼP11{u|3# 0r0GfeŖ67eATt<&Nص&2y1StqN4CwCT]|!Eʍ{n, Fr$j_v8IM7 t[{P1i\v4.yD'dfdnET[ )Jr{CqY|`z6m!|[gɒzAa7l5VSID6"P@Hy owO HE*Rڮ-jVgQ4'FBPxO*52wKIs+d08PQzcS!RrcJqSBd-F~̜XA P~T}~#1*!{M>b6w}MS~Ob@uCrvam_9Ysdι]%Z-B \2H8>@F e$$ p'@%eQW%j_QiA.ʏrϽ kx0G>ao1.oT\Q6<6z$?Zwjqrmgw3d6;B\iBtd'32{ ԫ?i mjJZezQ[)` Kxn& bIX9m&0.u4@FF-vN֤Ϡr\[KzKVUOT]'׉DŎ<Bf[ EeQtxEj陉S,-Fvħ d~IFԞa&M *(ų7+rLAȰ^`0W x#_Ǿ2}mzOssw7dU?.d:4 0Aa `\F(RZ63 Vgd0隺ȶ`撤+\<ϵK'﬈&XAÏmb~xzL(>C{+|+~f<쾣&-au/Kcw <|bD& $M?Ju\3:ɻ B¨͢EO'm(CAHO-/Gc/nĆ,}]%2lw^ѐ7@591,F Re%$K݋O-#&LWwNpw,oXG, ƽ{壅gyYi_TǛ}x 1HO ;>grfnq.StoWN(D%+B.y"*5Doh5EggS"%< ,3(t2:F8t > 6=Ƶ 74`7vo1!{Ց}f\@9UL`Ә9ԙ+Ց_-u`rb ұ-)\*'2j%QZLKH:=L70*$Ļƞ3ǚ~:RIV]`|%}bNWOM@K#Z]uq Yމ1%?٠%l#_[ @htƦS'Clw-1[R8.D_<]GrL-w'̃b(=_t~c IQgHcBo0?cUKejT `oq, <9XO4p UTnY!~(N9_GzUi7̼5P'TeIW: 1R^@w;S>*g,L _  Rۆ${O:.-tjL*.mD bY抢&5u$E=folqѢ|vZif3ժhhn7-J.YXvFٳ'l!bHzކj fy=ds[ԔΝY @,u:Y񽕟"9 gy18U3-x $떑x>|Jk­:٥0, c5; F;"+{9 b˻Pg ܇HJ+Sis3抠4wǧL*_`(TarJ QB̪GgW.%TvÑǼ,R)v- $.̚j,q׽<y.SGIx?y1׹Lųcd&sVfќ%w - 7d *>3 hW"-n0.ІdCD}Bh\iRW}nؽa(3fF&q"4J9P\>38xa)m*rܷQU42˥*sg5.̣gBš䵟>R j^Ü޽R4b8HRact \Whɟ: n1;wv!lQ»w ZCjUlN7YꝊI=EczVox׍)u X3AuHѹIhMx -"T9 d.4Qpb0=Vi|8_G^sQgnf%2k"1ȆG uM9D `:H \SCթˠ :7`^YY.7\@14ʸ̶zcN71l~iWCߜǘ(ҫS s ndaf7Xd;L(oI!iW X`n2x~Lz0ƈOėTql]rǸH!%4'ZK8<|"9vyyG{4%\Lۺ0#To r &V‡ R *^P$i|;6P?@K/Ey2.0Wm꤂Qڻ)|<% OXO+f*j)7R4Y7#[ubY2a)/1P;}ÒwZ`$;Vvqr87!N9 d}Y*pc؂0\[ Su"f:W)ƱN Ӣ<B,fP=˫E_'6BIl`E <_\t|ʢ)t1M3K 䰖 ˫phQglO+d =tao*NbYuEC7[%v߆=sF5iʌK+z< _ 4M0Eo3&Iz. _4C@'U}W}cF6-{})whbP}5r)d>O?9VQQ:DF+^?e,)e('S)cb/iV !f²H&" VjJ֭kIAa3P$ $T<-":l'KmVwBvqM6 pwM3sטɂ{}wZb򢮔%R߳ڦ?';}e"/szU4)4~,Fx8.C<=1;L7Yk&${Yj N-E2har]QLS{է TshZa&t'$01-9_RcL"Sc@|M; !JT}[ h65QX<2 Koq[&}N @p&*T`e[h½Hy}%ΪOnbx m g>w>]fqU ԠJb]I~@isI bn} qJ\JfMiŧϫ5+TeES$YKՁ ECEC>,+xE8")I']#. .x`&kj)5+ ^ƊfZw'rj9:^2we@7L@a㓲ᱥAc% }B@^H9(bp"e VL] ۨu&UVU Nجm l )k5Cװ{jC&7-5X3vBWjUxTA^.6+ޗ*k2R&0fOsNkNy)ŀUƦvsZˮz&mAd=g8o|T}$c1q!ud`,!ͽa烙cхa}":om"''("2m(_4%V jDTcx%@K51oacJ_ψBH7?f\p'|X6.HK$9?8%cPD1ʓE_9$}mcjmzRvA18ʺG`߾AIz/;+:"nx~E@2xNe(*sI2-@W_@g{bRķf*dU;Hߤv.ҜPOD]pKݠ p\̗UB {  v-޲'kl8MboScDZ#% fl65J{BB0v ׅRko KW Q <JXwn\do"ۦqНԙ.r\xg]skpLCL`؉#0[Rv6%ԉsa.Ǟ/pv$a= kh9Y ;VU^a5~~$A5.9=\^@ $ 5iӽ=Q&kFXB@Β'6F;s-zݵ@ gC.xs ;rta&zu3&nד vEDcwCFřqom ˁz-݄GEWhE9sj -+^fᴙ(*LIteOZ|^wZ6brtXKmS<<#p{9uelDmG2߮o~Gu4+jRCkW_Z& <@` AV> ?q3x>zhJׇX޴CLsE)Ne| ę-5q[Kj<9wN9u5)GsǀqIm;!5Ty&S ^3Ae5P~ ttU,j~7%A&j/9P^&5ǫt鬳L )@^"f(9CGtBt c/w6w-CIe,7DwovYt3d/[|Ҭ!Gihn`w* &Je)py/}ef-'zjbţ6Ss\Xu$Y=L9?b&W ..9@V#^cV6%{i[$皅>XlMT7[Ek{޺+^ z,v7jrLh-o!uQZČbg*fUӈ 2X9.7w0}7I4YjG#lvY?\+$2 r%v]>]ыo2wE`,㣞kE(nXr5^*ͣư(-34MMGnf kZsx] ﴊ`]y{0Aql Sx:BR8ˎ\E]qNQKV 8̀M;oZ]oڑw=]ҕ1 >u_T7iC?: Swo?p@:HEs،kER-3q=@hEEd$T׵=TW2}v"9ꂌDt!E_0kˢb e3|KʙCwٯiW Ū`,e!; (r}z'϶:{ޫYtR^uF`3E,'/F8r"jK|Vn2r$e?  ysN͹ 'CJŢ.1#8+ȝ@Z8*?XnPtlIeKp)g<'ۭme觞@ wiXNI*"I |A)(N?F4 'lj^ڦ;|LNpVtDphWJ=GSc:^:@5xg j d,@g{Jiۥ ۘRJ`X賈J^ln"PxJj)wQMSD, P(oD@pK-̫SNNubjh, 'sIRfC) N Vbs2VTˬAQi+5iF]Aۗ,e<_h=3l]ˬ]b=nz*isaۀ9ݎd@5xe+é\Ev"J_3yG8'l1ډNCWck̗T;μ nBP`|7* )z92y?+љq~`]]hec*r R0cÌiE?{`=G B'PPsϰqZ`0SF/)e/3/uo_H<%v'EZF}fַzDzsK-/H@ZbYLVp;/ɳ˱'6)|(#%jo1% [*oq- gfYA"d4&۟@ی;їdd (=snFς?!7m_zؿG?WR"[;;#[O宍}Og8Sh?~4=oteDY?ou" ;_C[ZZX>˶Y+-Nem-nɠv،Bn T !H^B_gmNZfX>D}).#5P%;c%0{wM^BEC=ɵ\& "#mJ3q]W캋=9Vw%qjqx +qcG.T{|^eu:UJle .OVJ#'h#o" OC{v9Iؿ̅a[m?ܓ14FBE;Sk(e֨o0"!4e5% F藗6Áp^rD1D)]ݸȍ5'8zѿpGJC؍K=K儦 $1j%eɭ]1&D%%ӻsߙ[E(iM:38`f9TUqIwsޚոlj̙!l/mY?땐DPZdZ+z`ܪ]eɾ3>ySWq,&053'3T(hգ^7gQ!,Q4PkRKr:ol TۖgSG]3!5\ɡ0J%UCࢹ(PǷ "vNLbo =gp甋GR, ul`RVMUiaUJ B.;ԍ~WY&8i+C/$$#|ȱtT:qՔw]/3QTrp밚ٌOpg31 4_]/ixKq:Ȓգ p \p!ǒyu>JR`#{o(ի 2]lznӌB4B%#w\@c+C1,Z(F>a(1 X;g=ef`ڦp}~ -M+?  YdSow~SQb!dJ\}Oa2&>`Y!rG;6PhP4nB? {uɇUҗమFyw{L^K=i+K`+P3.OGðXONCW(y"2qJʒG 56@ݭ],~# (.E倭ϥWjMӞz=. G2Vd_PU %V,5ڔvL@+t焁J&z-Jgغ4ǡB\̃IdscT-/JsfxZ!PzKKRXwˆ׎-C 74",8±~V{H/jlRH[CZ$2?zu;uLFMeT{;{]If YW_R߁Qa~Q_" :sw{ovz\o65C?ҭ]Au `Ӛ"31deIlPA%YlC(cL:^0ǀZQ+^PM>fHr /\RA-O+((mR #^,RJaY&dys]+kcԯ:TFZ@dU\FBP1K ׏qTYDnzA6Pxe(M /T܊(sص`ˬ~WT[۹+F]?<=,A5OA2 m@6` zDe`gt,V r*]9:P'T^ˎiFY鉩ETšrC1ԉ̠l9x R&`s5Fc-Q/n"j-*:.N^BJ2Ϣ^?CQ4m!QdIMS1ijl9^BiM0A%C:ނmAC? % mTdek01Ә eէc̬ژQ@ JW`ng X`4YBCY)ŻS~j8b[v4N'# Ơ{  1e/۪Vw7BMc u؟ĩXQ&Letko 8U}l脾x-HlX2"ĩjN!dpkAE $H ِ/7]n P!"Nf5Zl@1ish?vt̚'/(wȠUG뽳WtBS!/+c-&{w( ܤDtׂ 1.>}g`@џ ( @NxR^e A8vief>~Y%ʃ GsjƐ8*x3\i0-3 T}񧂈Vydhޤٳ(atNT+n`>!yd1떽"IE8,(˚S<{J2}0RDfuN%8 :A%҅Nyt3mb6@{8\R?3 |:Y$ŧ,%IUE͑mZVrh#_7D_pp ~6ohD. ~6S<9 v\ T^OV{s+9"6)RT½gG0oꨥ#ʼn@'@bzGP7b 8 Nm8_"`ZN Qmd_ٕo^}q\aOp"Uv,3m[p>T>fKxzd>zpB= \֚&D-786a>AiTIS|JVrѢ[$ K/a[#n $/>ãhtUܸtuC$~Fr'G"Urd4:<{|Yt'_2,Rά]$B;\'鎷SSU O,_&RMZU2i ;xJ7 0 y>uY/ڞ7 ɎJHzSBSlY H._MP~+e2hYAAQna 4MDU\4x5m`k]T0&*}QlDˏPˋ]ؠj+™QqBtFo|AhsS7f CM32 vtGuZ,)e\>_ Xek7' #$Saa1 N&b U~5cm3#;nbI9њh7pTX7q hX3{J~PkE8A|6ٸ΍po/)Tmە%jUO.&ÅÖ jYrzvَ1n vpvQIX'ooN>jo"U55"q^58;}~*M,Bby_@x.fp[5KlT{yDV'g#\.DfCy~/Ü˒xqAsF)Q[IK|+ⵙoHIBX42DnE>eijr*cACe[Dhn4p|W령(0בƞ΂U~ق*joo qZ {)hosLZٓoi N"4rj{s;ЫY Փ{d4L`o,*F֝#<"YEz(wNϢM|>2ƶ 2J r#5U[xѩoQZq3+O7kop^&C_d{skdlƲ3ɒԪ(qRz=Npo)?G-Q{4/uF^_M*ZEm՞x4:qRr#. d.EvY*hG(.e$/#'gTA*#:fU)(=N^èV! )!> F `랂6FLxnf36-Cm"k^#9PҢRmUc#;2HVAII<j;ã c ^؆guA~>8PShX@qL>Dix4lp8lO"@^G=/VOqeX^7jŨD7W| vAlլeCf@Us̑B8|1,@J\uArP7vsyHgobw`X3QL3흋1RݫLp8z[9*e#jr],21D|r@<$ r=pa6UsQ@JfM{8{faHh;ػ$/p+nVN <⾄&D] W,\w@&o3¾CX-KQ,5t}הj/Hc)'/Ìdx dW̭y&CD4 V'%D1B0Ңd7% #,kݠϴڿih7rmk:Q"k-T]T(1FCIӔ9/1W%SڀhXQ], 8ԡ~yR {07݁ҩkk9BO,IqM+@+Sdf| sdXfѯAwyT f?Vs(H-1tyjQ~QuK, yɋeAbH2k6ten%z.l=(LN{@/MLb'eT֛Pt%s٪T|ifN m?WE\k||r؅9oڐـ@ORi)\OtHKɪǫ|@^['G\㈸r>G%KIg9-SyŜ髭x?sw.60JZ7n/kԭgiX=SEYtHK acpTU,}KHg5b1|F-Qw{6?̤>H2Ivr EWEHe=%UTߛ 9 5F"FWFk"83Bd1C6ԝ/CƥRz#ی:!S)75i1EyR\_b;#sDeQ\KT/y =J!5}a!Xr4XI-D\SL}_x[#?![HuUj-XXq=Ȋ&f~id8({G.25&ӢvLV] εh3/T7UX 6heҌԲqD}ꤲH ̜+sb!S8&ڜw@h='9ӈCans,R2z(9: (?!?r_9&CIޓJ^[G[&1zF}Ӵdޏ-B}uJtT3SGON6zTq 7~>!ފinH<ˈ:xJSŕHlSa4vRQ10E Sq)^G;J h;2&WuAGP Ƕ'99p8K)҄N2"ŠkopU|7IIW,_3R2)po1LV;0YZ ''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_id4dq # PurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#OdK۠ŘD~HqƲ[+۳]$Pm>]ac;`@vT~PK]=?2?>>5vG{l׾m;[@^A'xD2&r)~|jY۔:D#YO1XZN~쀃(z v/L97L86])ԺB^pB@ٛ=LdePr&| ITV W3ZJ1QcYTdK3qyOw5\ 1N҈|- 6=NZpMŪn}&q.srM2ذ9G/zqIbEͨ'mG5ֹ:uMSwjNt$0dwp?=Juܜw_Uȩ[7D>n2qفQ ^pR(]BjMHfVIl =mXS=(Qw~)[bF%AiVj菰^ ?ڑ\ 9᧾ϝxGFV ݚԽzhtS>:ZLr+3Jb Gɲ{Š1: 39 Fx ݔۄ6V}i\hOl!64fB'U"K;~L~EzyQ%RIij##Ba+:>O[!l-*2q#NI9 !H23칺Lv]UF;oeWE{vThi6AGn PL ]5Cžß1 knX}DTݔ5UdeKe?p`z|]pE3m[S#/U&DSөlbq,X؇I.NSlɢ!Kg( j,M :paoc J4"Uk(Y?7lˈ_a@g4FU9tz,˲܅+讵0zjU/bOd?J4Œh |c4Г1a Jn.k/U(fkߧ ZqKtL R$ _ jb'0ǧU&+IOhVT$SOJ06H4[-,[L{ꉣ~8lp&WޡRBOyӱG+ (sH|k68:` 4 g %i$I6{Iwe F=f B*aK&0Q3<={5 N٘pX A*ݟOj *B/*ˉFF6jy<ɖbvyLfT;V͐X=!͑w}LJKq9|4.tUd&`poW€%QEv潆I4b씺P&O&9׷PRUX [);rÚ˕B<:H"Xz|fq.~;R "ju(c#wsk55p{s2[OXd+,3YaH VQim\1u]n?)0z BqB٦9j\RDMC2,Bľ#``jNd>Յص*J(EVjJYG^ϪKp@9DJuD}Qv2j'2,(q][uҨ\L- ٴR ޴aoϭ\hc@ ͩ~cMn]0VTe!i-Pmh텦'LftбoiH"AP˒{*͢@RɊ+δԝNˬgz sT`?fl/eh ZN6'÷`TW-̷ź2/^;;3  ]Qik]i`F8pR'9畗E K; 騬ŒkۧzF Ă4Lsvg\8,"+wlSQh¤bh2ѣ"97l+i4|~_'ABCSG{4F <4KegSdM3nmQp$Sq)+o䥿,mIgt_B$vj=* sI/4L4 ?hu- Z2; `TRˈRjp/G=@)/r1 Hc} ݍ Sf=R$q3?(=~AW3X:n nM>[\ d& tљg8ma MZ CV T?G7=RR[rdo˗Οe2]Ğvy! N N?O0ǩ,-&0;$;V{"oxm"mcs<̌Xcp[ev,%]C:Mi3snM8?_\nbh l}qK^tb <]6Xf[Nߴ:a@9BkIEu0so/@3U2N.(L:g cxg(]6K"*Isr8pr߳@EP4ߗzU˻8%}Mi}~P:`G~DcǓm"9;wc ۠,ɟ5<2C5$z6[u0Mmqn\Mm"W]>UG>&ɪq>E6ll%R\X̖٥Q4?.@d i1/{;7|2{گz*t%۠z(ZiaxAa5$ :.o-T}ύfuFcr3 'n-TlH_)L8yTn\%pi)j0l.lǗ6nXA>'{5z&d_欂ٯ GL&ZCܶ@KTn>Dt'I9\8R [VQoD˩b*u3D~&87Z Ώx=tr*n.zl:+H4 *i񧽦{^Grd{b7 IT+96<5V_MyM(ixuig:ߧt9ѣ.н4p]q)]E9F۝H('#)Շk!w6L!rodg9m#)&Y"\}YFuyV\5[bq80cJxuuԫPT)d^|gˊKP^P!* r`z45MsߛҬpHi>/ћ''2U}f!0VHkswC"Zwܔ325dʟduղk dVd^/z6H:v#'uu/ lf1I*.gJ?O,Xm>Ƒ!٭Lw׾o'sQ/isnЋ'mmEJ m}#x(ƚP<zKŵuOZqܗɄ|4gYZ=^GYcm`ڵ LO EˈZ67K d˽{]qKÖi]9LwZ{a-Dl~2u(F6Ft[ )";\/l?2Ɠ8Y]3+ፒ;_6LM5 Y+ùfE 6+ r AW`r/׏BL_KPuQ>Scٔ;C50Z:(2L"v]石Q~h7=uVd5N ^Lwa.j}_mw i.9]McʜԮ Zb F3]ĩPhK).~9I9pL A8Ԍ&ޑ3E d*B^ZwFoYv(EZGOI!>L/ 8syL 9 &:ʫ! ^d`B`ܺC l7Wkm ύF?˯AUVտ8p|P=GNlEiOÒ'ˢ2@Ȱ RX~$'Qoz]+!!~K];Flm2OW/@dH c8'P,>pHL<*U ʵ8߹!_nO;/KQΞvfoc0.J|+|?8/a.c2@#IgNeAg_ތl r^[bă;~煶Ӏ 1܈Xq6HEm};f<,;%MAXJڠD|X ށpukVAg[9НVm9ڈ]yvsuPVVE׶:oɍUqwv\-F˒_6]mɏqžS  E<9<&)ּr6F)9~~ǘV4FkBeQPd4eێ!, 清JXlQG@4WQ=HL^.2-[?&kbKH8\}k(Q5NɷPe xV۝2}*شK)(2K]0[mI@~rl?qm*?=BVg^}.ƂbʗP[M?P8A q|o '`WdžP!Cxv{ZqKQV;G$@QW"6oWM8\ѭOH |eAא"G` *2ϫPȵg,KZ`7ho߰|"3w=ïthV;`"*\>+zi%Yԅ3~(I @$q{/aMYRT`j f2+*1`Ajw K=萑go -}ahB8}L5K -qAn^B1ؼ):]Xi\7@?WHds;={"R2-2Ҹ^b/ĀqJ̬  qI3gfΟ.h:S.J_eɛEAM3\ a7}??P>W/b!W' 4Σ7^mQSj );g?(vp.NGE% tU  vcC(;Msǫ1Sw+yVaARaOꪮ,EpP3Foޡ~( B4LV[Ky6h2z]A5D= [ pK?Ip?#^s 6s3nR 5%>#M }b'" Hr>.u\`sQkl)OXJ~;y,z编0TɿY [uM\Dcރ&ڒf T]jv"W(ڙ7E+1se-uzT^\X@+ 0ri:ܵ)ȍowI7zqЦ"}P$dH6Ŷ)j1 ͅ8UBAŕr%E-Ko?|9EP>Mgd8zmtxCud@r aݜGFpwwP{VdeOQ~ֺ+\*ʼn%RGfZw1jWg@)H_/NZH OƓ~1[k< f9I2_waJEj%.C=q3,[aMHkIv+'j|[3㪆Shx,@r%#9J8?"|jo$jXERN6PӌٱjpmG/F ^a6O9 SKc`d#/3lζU &RF8~wr<B]d`10<Ś7-ߧb$Z oV3c(v'w!U(7z`U( =jK+Oʫڴ_MR'd/Y8mҲY q; 5#dNϑ28\2G9;ubsx{g,*͊;#I.z͉絊:^|@J7m;G!~TxϘKc땰x>jtUweHέV3?1 :u*`3hg6|irD,cN2W>},z++jlGM%I4ppԸ֏SlP'9t0SuvK&Gff!JiN8B AٛFLWܚHCu\`/NµcFK&2 azr-:oAAnF/'r_ڣH '"gA8VgR†Wa0=Sߔ7 ;x!w(1;WWD6=E>uI4&̇+1kMBQ܅袍6 $@f6w)6Wg;9ᥪa[)]YiVI-! ns!}No`'9|WW ًxxG=D35ɕG9&W@F 7wܱ΂ɋ7k@K?ON4 tKvaJE˃KE&g Ul6[~0 J\s LkOD/A[Z5^$D鍓f;"tdBr%UzGÎ򆓠l3} ~8ii>ӂRL?c >=oLY?M p_';#]I8b#uBDy^ؗG`Sk![fłPPԓThS &<:䫕8 g{ :)HgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI qL׻JuOW jB԰gT?Z|d§ә_{ |,: F|u/;m |@Ǎ,$x^HY4~~p[@Ry-UD> ȱgYZLx'# \PurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ##Rޣ_6cFsdIb\='J_!# j_ި/v &)HXs76A$+`-r*pRZ#gנz*>b&Me_׉%*g̬0cTRs غ]CZ C"2)[3hnWs%vt(fRS - 8"lR8>Ӏ+ًIL4Ȩ KR6a-OdiEb} A 5ֺV34]I~E.7'[dļ-"L0U h H eܻ,s&G EAfN4Qi$b8Y[yJaJwȯnؕl[{h =DDVa;N:vWǜ&8idD