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 8EpT, ] ]Pure:threads=1elapsed=1.477cpu=1.528gc=0.0007zXZִF! y]ŗXiɟHVҭٽD)=Zܩgm;G*(w]">R'T-@OtA{T7piD Ê#Z] 2 av-vhagYZ7zXZִF! d]ŗXiɟ˚Ћ. k$wqͷuI HPA*:Gyu.3a9\f< 憘Js*@CRB7h:{# 9ur㶱gYZ7zXZִF! j]ŗXi%jL<-f EW]Djٚ/TzC:jRUU5ța-^e D7V,d`_iwqurB8@JO ñ͘ݙ푆Zf*QXEKE#xn.6'ݘ<< M}}c#6S! 4† @ f \чYk,rIk5?Ss5"+%˻`];\K|w+CO 3XΠA"&,6ޞ{_s- K|Tq =T4z* >[E נ˶RWپWB3 7ﲽcBTlm'[;o PRXj{.b=-:*&Y|_mmO"4/$VK3,) `_!Jҧyt)j.Gx۳6Xjk8yBU$5k!7!.պ1LK_iU,o&P-?ڱۅ{qYiXH6PAO3ȡ9EGQgn@ Fɴ*og9-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/43496f%PurePureproofs/43492e%PurePureproofs/43488d%PurePureproofs/43484c%PurePureproofs/43480b%PurePureproofs/43476a%PurePureproofs/43472`%PurePureproofs/43468_%PurePureproofs/43464^%PurePureproofs/43460]%PurePureproofs/43456\%PurePureproofs/43452[%PurePureproofs/43448Z%PurePureproofs/43444Y%PurePureproofs/43440X%PurePureproofs/43436W%PurePureproofs/43432V%PurePureproofs/43428U%PurePureproofs/43424T%PurePureproofs/43420S%PurePureproofs/43416R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43232N%PurePureproofs/43198M%PurePureproofs/43194L%PurePureproofs/43192K%PurePureproofs/43188J%PurePureproofs/43184I%PurePureproofs/43176H%PurePureproofs/43158G%PurePureproofs/43154F%PurePureproofs/43092E%PurePureproofs/43088D%PurePureproofs/43086C%PurePureproofs/43082B%PurePureproofs/43078A%PurePureproofs/43070@%PurePureproofs/43066?%PurePureproofs/43060>%PurePureproofs/43048=%PurePureproofs/43044<%PurePureproofs/43038;%PurePureproofs/43034:%PurePureproofs/430289%PurePureproofs/429728%PurePureproofs/429687%PurePureproofs/429666%PurePureproofs/429625%PurePureproofs/429584%PurePureproofs/429543%PurePureproofs/429382%PurePureproofs/429341%PurePureproofs/429260%PurePureproofs/42842/%PurePureproofs/42838.%PurePureproofs/42836-%PurePureproofs/42786,%PurePureproofs/42782+%PurePureproofs/42780*%PurePureproofs/42726)%PurePureproofs/42722(%PurePureproofs/42688'%PurePureproofs/42684&%PurePureproofs/42682%%PurePureproofs/42680$%PurePureproofs/42632#%PurePureproofs/42628"%PurePureproofs/42594!%PurePureproofs/42590 %PurePureproofs/42588%PurePureproofs/42586%PurePureproofs/42584!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|%% LPurePureproofs/426827zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ/ń#bz>|(sJD@sA5+<IlfgYZH$% dPurePureproofs/426807zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/426327zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U6:"/8 Yyل"Z<lWgYZh"% $PurePureproofs/426287zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wӹDXiBm=Nun>դèQ0gYZ4!% &aZ[]_{Q7UId[2GgYZ % PurePureproofs/425867zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/425847zXZִ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 N"   mN3% PurePureproofs/429547zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/429387zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhQauEP0`g@C!n?Vќ:3agYZ1% PurePureproofs/429347zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/429267zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Aũ$VjtJ }4`m)@ SgYZ8-% DPurePureproofs/428367zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1]IpA0V eyo@HgYZ+% |PurePureproofs/427827zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{w> j.󷘵Ÿޯ^NF'bQP34Q"z'P2 VgYZH*% dPurePureproofs/427807zXZִ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_xLUZtpB7Ԁ]`<7w3]gYZx&% DPurePureproofs/426847zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I%bKRŊ;GqBYj[ gYZ  +   ng92 B% PurePureproofs/430827zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰ<=:PMǥ!1|kiR:lS4l 0gYZA% \PurePureproofs/430787zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP pƓ"O :Dj}B ٪gYZ(@% $PurePureproofs/430707zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%Ūxҏ1hwY \gYZ?% dPurePureproofs/430667zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט4Nao ɝ$c I*gYZ$>% PurePureproofs/430607zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ$=% PurePureproofs/430487zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odK|G'^wgS`0s2C-m6ydXm,,DgYZ<% TPurePureproofs/430447zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#emp)ב/0I݊w y*AmKbb+0Q hlC>iw=gYZ$;% PurePureproofs/430387zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% \PurePureproofs/430347zXZִ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(@ybLQ _7%l xgYZLK% lPurePureproofs/431927zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&e$5oȷW@9uۉ\6t%C vyAax2*UlÚgYZJ% |PurePureproofs/431887zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛS6t%"Yv-TmD g0 gYZ\I% PurePureproofs/431847zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z>2h#i$9zW|o k(v ?igYZlF% ,PurePureproofs/431547zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/430927zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoQ${pe[ݡn%Sⓜ jĶgYZlD% ,PurePureproofs/430887zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^-Mjji}ѥ  BgYZDC% \PurePureproofs/430867zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*z"5i,t!Q2zSweGf=.+z!q9{gŸv%a)3gYZ  8 E8aata% ƶ1bXⶕs_xLUNНo/aF&mZ^O-(]gYZH_% dPurePureproofs/434687zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝U6˰mH mSL>HjlWgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/434567zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/434527zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/434487zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/434447zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/434407zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/434367zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/434327zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/434287zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/434247zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/434207zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/434167zXZִ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 }  ( IO}i) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZwg# DPurePuretheory/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ےhgI9"j@%Hw8{T ǁTŻ`f 2]y(C열I3YxyX ~q1mv-LU#MfB>PJNbhao0?Ch'@Q:yhK >9:WLG)A+r1n !#L+OIųD[;N9AWۗ5 P悈̨hI;%cJ.sRòa7>*$[#fVaZ >.ГbHq c1ZPo~@aGJRRv#acj= -̪'wDΈMpj.;f IH?f|;&ش9jnm "w’@ +p_;vOǓ$+:Qbq7+GH(l):y\S)*wQvUq<⣈v1gnC>A؅mC WE 02L;"#ն-o3[%)ݮSϷrE6[,|!z%B[PKH;W|)S#,rg9 -ε\?o$/HZJUU6f $?RqӋY{NH,ҭ}z7,0w&̺][k\4ZWka٫f(y pp10`4R$i}򷚴DgQZ4Az5e4ꚿ0w\խSu  iq RxW߅JiRQ۞7? 3ABeF}Ў턼2+ [=.7>r |[Q&IVXA)%^_AkJQ (~ e;m$DѬP*;P8rUoQ2"$blYrĀ3 7󇸳jĶgYZ|d% LPurePureproofs/434887zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fϰ>+șobgBˑd ,gYZtc% B@HgYZ&y@!&`4 d%y5]==74&ꏪضrj4ri]: KJ)d>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-:# RG(Uem t5miW+W?GT'bUתV=uR/,Vָa#~mQڰ5/G|u sŵaD4JŚ~)mA0yιv'(bL`M7a/ UkШy%8SKWE<]BgYZ<%|+ $ޙR?=Ljʑ`$״*#3n>b5.'ߏċP} h9r7.o j %:Bڀ<vΤUQuy{xLqˏǛ|Kv ftvY2C5BL+2jEnwrPδ/W `:P[ebpB?MfJqNuo,g$hf~tB¸d DGo8V3>.ehNqj@0Ýp)+< Ttf.zt ]q3a63]!|Ʒ_+:W..V?&DqlTڴU/jX v`zӏZ(|*# pc:Νdc#@js_+#q-g ?6\K++1QQ9}$IRO-|=zwNξ+oqr58YN=q}WVI=2ɝ-Q A撴ق8kICIL%0jYIH?~ I TQ=CL2߫ɥM$˸7qkkbٳfRSYw"ƁXfW5q>3MѸT'&m/ V0:T}=;X/  L # Ds8'wYtfbqsK =_L/wO7\Q6`pt?Hu@H4ŹC܇xGϵCPMV ?`p+#_u{1*-ucAMpu叩Y9,5쌻U?oAd|)dʾZ?zHx% dRvMHMM2$ I:o3F*)~grԻ6 a`6ǐƿV7X^K3Q1A ݑt(u`4;M$(;@eH`FWOXu]F`8ΫwH~k}!$n >nd Z@ 73GQ5{% + l 9 f;^\C&+2{nBz$-ץj +/@*zHiP*[\7O[VzyQ "V vqowIY@<ΔwPڱ%ahAٕqd:T#R&@BtA ;C Ljӿ[ BD하 O'38S'x8ٷIthFRM~_Ӝw?>gƶzܷvpu2[8ptQƹE nz#ɳGӌu45K++8އ~c˗@㟑ma%1!J`VݑLl҆`gro"OD ƍƺQdN9u>FVm˨o0fIOwϢvRL(xNrˌFYJB5gVL+~e+dmdK9/!}T,AB _: BﶣH uU뤁&S{Oؙ*?usFs0L n87j{U-guk `n4cګ+ ]JgYndkizx&?8cjG~=ópK~d,,FqbUgF+eH*ک螢ר`Yw_3''ͪ/̞G[9Fa(Ie|hS8\wߘa"-g@3:Ҫkeq1 gidXoL/]VsMTCHf!.R@S3 z!8gzU&m߼k-i@z4rI+\Yd>TAxGdkM}'׍t3C}F$Znl\~gƂ.{7;6\.Ȓ-.%u.cۢ"o~h3sx2W_f/34B 8M TU4&;-%[[ad6 356Ϯ\is[4vugaRc: IyE \K+*9u`rN`W^sQk})^~d >@k^sPӁgy[ 'z.*Uv{:n\}>MN00ο@=X4rjOff$4[7Yd~-Wr|<5\:^YjI>K)<,2u]i9w鰰K(W ?HE jBӷv? tKsdv7蓵ChB`o-%QH8C-t3$6tUpFAMɟ<.F`^KvMa@^؆G~vL3VIӦ,Qo{엥tb\qNR1$0KaB_Fhω #TV7;f mk,IO)Qn )I\kD0kwrNM<2rQͰ=kLаW2PR&ℭ{_sT)!dۅ>&IѴZv;؟3(fqP佢\'szBL5E{,{~m*%?d:H}l ہޭhNJK@N \D0k 2wgJKoJ{ @}ΫB6RN>}fXG &_4ծV4ű ~!yPZG_zFeI6DКB1#6k+qo*ma劋% OlUO2$ϭ x{T Rp4yr y c`fIZ`@Yx49%X}=V@؎6dmuo -%!/2pV1S % r"#5\5IP2ӼǞ%'@6jl`rZ\VpDžpy0äeG.)sa+玬)gI,?{`hڸ &["}A&oQQ9N Q 0 B[6%ř9cdrT'`#tfX%s;(%Ջ|X.=U;cvHa('uGY\Y[bgxJL&e8cGoϱYKp{T{bb:Z@Xc,BkX 尢0WqFr /?|O [Q4 n5޶m}6* ^?N} #˪բ軝м@SaHQ.Ԛ(95^M)7f&whRѫ<(61ܔ:R󄍰 PhԹ6{3j} w=+̳L_j%}b4g Xt#wYIE4 MU\"E j5цswt68 MLZLB{-f=U,gѧV3djh{Pb>%r0}Z1 \"4w)oY^e&Vx:~'}]!o5>PK{rv"" kGڄuXӯGd.& qN<  ({.2E6HS+s۩jtqg=xQP xi >'v=,EENy?6IFXf:̐A$55~;p+ΎE64X`Pژa=%lΙX+kʚ&T\ e##eK?0f*c:t4qކA"CC%E 7ڮ:H< ҇h% .Zn6L{[CD"Oet!mqmI|q{)$g"(t$w}/ ȌgC8;C6&3:'-igrE0,m݉)ָfW3X.d\ͻʏ0H(h_F;T'ZS%{gS>\@,@}_?Pt(pܻ.zDdT(SiR&/{jrc^P-6. `ulura&Us!lUOåwo u)#W22{˱sf躢LZ0@nqKInɪNÿ+ a¹䓟 KUo%ËW ˚zr;A.Twl9@ P K[0_@ D-^(:)Yϙ-28wꅋၽ2.G#xɷ & #FɋHC9#O K!o4Hb=;ڍ%$ߜ(VVuFM A+!ACv_rٶ3Q!FZ, C6C0ܿsg6iyTol " A}I,QOLhtTi }+ƾoˀ wwqB45 4YiDIωزa)|=ؿO*LpkvL!3&nRKSaωvJRK.g7\#1whd/ױ=ڭA_tɦK 1~2!A3 |oRoe'AC]LwxT!%ǧCju;m[~fq׶HCkv6/yANȣpaqpmk=|&A/~bz :<\覒Gr`%Y飁>ZM88؞n젻biEa| [(LS:֟Uy޹tkIWuW6n/,-$2˗3};Z5/嫳^Å%vZ%>6V&<ĺ} =`yVq:Υ4qM82kKqÐ8^# YL[lmaw'E>aɫ6H@;#u:xj/$Cj@ x>mgMjtZjϚ~vX:v0\gnFIGDZMDbkשݕ('(B:t[U7U$Vh£t;A Bv C+,8,mȓsmn5+D4:id\wfp! #ڳsCQ207IMR.Xf Wa Lq_]Up&\6rC@B І]x +awmXoiUXil>kJ o)Ks7+ݠɜ^"3_7̌w͉/U G1ʺUЋ`fSkܿLZܑ<Hz7ן\2v3 Wc ;N|We#kׅ4IO?LQVq_ rk W\Eݢl4 b N0}c&!p0XIQ;u`%+`tUƴ80K=D&=$Gp- `n0\Dx&ៀUĻ0=C?Ƞv 0.Pj(Xa9"[bH;sЇQ͐"(kb~κB o\l>pkXڒ `ٍ^>  &nĐ@Ub.'ZgH%ޣ̂M ?|!g5_\ [cxw dؘ6,os κ}b}Ѵœ%ŷſPg3J75rR5˴(+_F24@)b~TAu%WJC}غxfs|,>@.hy}UV+mi49(V_IK6q\y5Zc͡?_ţrXLhI'V m-q P̰S 1塉 9RKuZgO;{ZtUuy5yig~r'A8$(%=͙loE xf6Q!BПݮ7pT7+=@օ4y#{?0;-Bvvf~nk'Q -,89`YQRi dk? do,'x^I*Ȅʅy= !U97L'|},g\S-N8_:HwwyoNi7?UhWND鍫_9mVjmQ8 F%%gFo+xr8J}komow+|y$/_t>lJ2- Ͷ4cמBkD<uV+6z-A/Oy]i#ʹO8WhY.=KCīV2 /p(YNw*ۃF_a${(YS˂1i˜m6KHCjCkˠ85U\Q}3NTa,ٍw[+hOݯ%K(V\zN^!x<&Ŗkt J`l)?"sPLo0Q\;|enQ?5q(]㯽߼5Dq>DBS/W L116 )x&D=ѐuhQ& 9/r % ]ٱ^GߢV13F.o|oQ5Nj< tyP6a``2(Z6GHVLR`+BUbN)CnN^6~/y\j, !v|]lC"}?IVj:R8B}dmIj@1yˬ%=ԻQۼDƟs:@(l=4&,Ĭy=u{j!&WѧSwFiBΘ$,A6;Ҋe$en ۅ.} ȲN1x懲F@7#ܪd-8?1څ:+H ]O\0:aB7tqgkO (_ȊpQd¬ &@J*6./vݡF_vk 9?Ard~p; ΢8nANjAc.oٜR2ew(҆^[\`f'͂#;\6S]ߊo Ξ4z1rR# u_AT3Uwpa0I8ʦKp*#DsL^vRM䅩wtGApϼGM;ĘI -~otI'}3~guM_՝S-4hd ^9q'#1M}j==s53EiqϾt"*ʭE$ ciĢ`N .3 *2eNLf/gYKdn0#0,|}_5C#6{uo[Z ٭9<%>|zލe*o$3QQ1O`3ҷ;|1Ɇ4-C3E'vFAEF FDe* aAay4e}T2oҚw _YIGz twߣK.#t ߥnEO^E bnst i[R4Nu1ghm~ĺXSNp ( zKA.Ozvmjp+Kltl77JhHūБr nXM2'wmZGoem~ZJ#i9JZdDo\Äd6cFP&zOMfe.Vx-;@)ʤ=AG4Z*U،\0:a荩^<ʨ8&d>;A}Pn*NL;ب"WIh6RB,taa*0vFB$ T8vWLNȑem9}.9Fxʽ.$~d_L/CzBa6/ fB5FFFcpѧM2'ddkJ9@v+w_jOMzs`ђ ǼaeQ6Pް.-ECA3|.* -H9*o֣)@NKw5SIJ=z"T\Ǹ1mCid^5LaB91,*Ad'2%/s" wļ|U@ybT]XdbwKt~9RKBksk}b<He2Xotݭ_7! E]s23c}dMZҧutgu[ ЫLh)ӇJqK!߬0Ejkx[z|ۺTaf.,aC|mSJ;>bDWы|2%ւ{к$Albtɜ4@q$=&kxMp1 qL%>|Y+xX^.|2 S3 5גr=ӎSwk ěw`-ܓ+ 2ThAjeK9p2 2=i;j]ZH/ ^$qǏ}zSV&}J<1&}*L뻺{.jm$x]Œ݊HzK$xOIKmVp&-A ﵆0Yþ;#iO4aJ*R1ϕ%!T[w6X[lԹWRʵ1[iE50'Q$,<9Ē &:R͓!D?,_I6q" *ހv$5[y^_v$e4"56|UT[6䏍Z8NM |:IĒel7>Q N!ݚ7[*סXO`0]2ɹǹYyPxσBOJ,i(sڭ5#Wu-hdTj>svY ->_SG,v^vh m PK,~Ĉ:g`/s=A e) / ]^S4)kkcoDݽ(r!E̿$VAyxJ oOP-ʃ{4 &ċEB\v4_Q=}cy|8Rh VNCj rv3`N Pb;h(՟S[4ˀn  mX)ucJ;xׯ2iyŒ#CO</Pή|zLd%+ |s!txP)^T=iHrGP $Gsqg?z?ELߤXS@H7eºpHm@ iԓ/ez[ZTꙨ`Ύ7z$/6&d" fD :Di( 5BsrigPӸq!^ʋb&8 2/P8$aOG칬R9aۿiyz&)JsXDơÙO{@ll* g)e&lx?8߳zosd)jۏDz[PrY# /3~Np?BLLʝdx06&h(}0M֛PL>$-a}n|Gʺ+ۥc1nwZ5!2_L6u5_w@~=D1kq{5qɷI WhY/ >VoS -`ăUcPLy2pfIS`dT TTh\oB|EOFvT8dk嬿՜Đ1Kz N¤kWo,bW-ĵ Bߌ@VcbdLHk'ʫ<#&#.XxJ="L3^Lw sj54uhtTQ( Ecq2W=|pTbK"dg|'[ Baa맣kRfqN%ޝӞnOIrGub=Wp .Epa \2y/Yf%!# )luzX"RU(zYУnuVpga7':GsqN\mn [s*㒸qgHz^:Ω+` aCm&z[,dÍh qW lvA&TJJRE ~>VB'?N5&(ś|xyML$tp׵W%p)Nݞ.7.!?*&PS(\)v1z9EpDh:^`c8P P@m?VbG>/W\gCa4jT-EcUFc\%OFNpC]&|2rO.RN)LNvȸw+)m/eO߯S-`*dD+&ʵP/_0|Lmj@ (z5i p dO_MTvYoM]wU+m+ 4#wOmN`}%nF߿,_Eܐ(cPWlo O2m4zeSVOLqab tt#kc|z[.>5ʑe%Ha}5!@]&L+&LȿAvoZ$-pgm>}ID59 ٵq(TuK[S3ZrQ㸱f@3 Z>4/ŋ}Y,1] N\CiZv_S;]؍[79a獋> 4_Yf|y7Kޥ!ϲPF7ĉؙwxBzwܔCB9 z# 2w">(O\\N.8B'I3cdiy; Xp{qslw޷_-1vNZ<)oc`,j:y;7[|>XSyO#' (yTui+刦|ݲsKj%РK(δqaKMBt/ .UO bPSyMԮ ZOx*~U/3I' `i Wx8; ^ڔ6X";eXy}i̘”x0b?Y(F쮨߳ќi^䃎>􏶀WZ?lB0 cM^׼dL9շxg"H6GR|he<طn߱o2n|*èxvXGo8KV;614檧]0+/0YAZvt#+Q])4G"!tFt;ܑ(] 0Jj,;`Bf\xWq-[IU bkj<.rcT~ovTd+FXTu=R}wz=\ă UاMyRHצE@]r&.5 ҀF_vn(mIg?hDh?Bi$  "IIʡFt/qB1 Y&nEWz7Z\rX#\}J PH%R}M"yDF/60Su!&*"7!ΰ fzu4z"tCVugu]Mnl1FgpAҙ-jDu6ݾ%hИ`$W ,Z@U: @!K?+vj+M՛'ig$P8L kըqӯ>q=S( ?Ӆ⛂?nŋ b]`{Rh_4,8PoRpU涓GHzYHf1ms&_[XPvG;{g$Ƃ\NՑ?9Bw1TKSn8#eXɽئ8T?!"4e."@-:Ƞ@.8+TlƀE~i-e+ cad?^S 9ơdǝhj5CQuCx0ۨdz(a*QO"b^}H4`KE7(PX#ucc;9twV@,֭"AzyS~?#I ]5n`.ׯ?ܧKU93lv2|&XW(M6j^#lM=#ROԢD c3Ӗ1:!\hQӓBJmN⓹Lt\ {2M+kUqh\P!T{ÆpKhfSUMӫy1QZ}+SXc#(@!vh3 \;[cn)j|W"0,OkPJPk^mQ""ˎ6SΕg)"\eLd˙fy&,ea:U LJ1D~aIJDW}Q>Frë&64?c j9nJ[D ވsQ(BgL/:ۻhalb2}hUk VE" jg,ՎZd:Ma&p'5oƢw?`UTU(o-AT,EwƲi^V]C \ m&$"+POy{tLTma-@ 5)ARM3Qo5e4K [6F#B˴LjjLReQ+G94gAq] f{-i9;%\,/afl#*|*8^$r:R0AC@~B0pT6_X5}qoYÉSwi|~6Bqz ̔M -jr*pN@d ^yesAæI @|gK)WR p9tuKYv&B;dz6Kꅸ6&pٽ)5='aFcg\Y~gaEFEcd*iX_Mw}FFy8Nf0?EQ:kZ{l*GG)IDU)>:/I"ٿ~TjO+Y4>_35$X rL51YkHM. J猆vkJtp>21#/X-8L''l .qLAr$X-MJ69LTo.+BEPz2i _|5ӄGۇ#qG!Cӓ%/!T,;]`nֲ6WP,KPvO&k Y'^CŠzYWw6d` i%,#B6UXfoG|Zߑ-|42>2kF .%H1*[O~?pŌFA{JT0~>g@ۘζF&izn&AП8\*&Ӭ d)=2 0ꚒbWb윘ӿtW~ڲp>\d>"oji:_NU 1ͳiѰ=jĭFujw-gYئêpd{[xVaJW}duq$z_Ns3J|ii  3vévA/\ C:~)Vɡ^{y=[w Y׽걻tx%z}HO?, M< ǰsW$CZfNTz Q5Ӑj]ؑH3bJ#~=MUU4yt=F.+3QCE"q|$B>fcа5&RRBK\<|Nݡ! 4p_+ֵ7Q@'?r^O  Į zL[uMVQh2E܉Eۤ; HϋW:%&ұV9xHB$ӟEѷ)nS.9]Y>-ՓJO>Wvڤ%⿉4*ត|6гOG3L3&tH` ݳv_f?vﱘ%>R3CRsnDxڢ3h*-*E1gQlYygn8C~[`íx\){z {:+i10ѿjJeEL#ז7;5i9ܱ8F]lb#Bd~Ǩk !˾21oo6D8T>2pX4eKhK]P)H6VO鴦A H֏'Eڑx%sDL;l5v[w4j֋#.1r_v!{/•mV7"@T^>hbfwtMmuF=^,%MˎŒxu! UlZ.s6"W$S'mBn HU)@ cUUF- 2CQy"2[¥_Q4 *U mP}<_:GyV ݶB{,ب*.I`Z,crbAյ|9Fei' r,j\ƚJ:O65_?Nv𧃀f5ܑ7 Mi`+@w6a%jfCfk (Qo55JƩPF\p{ L[f -J/iE*1KѦ8 ;kB~ٻf†`%'{? 2Y]hy|.;~~$c!m_E[Z iCDg HX jqTz~Kn4kL)J'$T~W .RNMW3}bk;iVdZpvS`5d0 7t=\*ǃғȇ 7i|4H4uk ]j Kfn*v9;;N}:2L35`QA;:|t~-F5aƠ(WE&q#RF-,_C>OkRv<-R]#RQ |$їFH[+fF40`hO 3ӽ* X2:vߊ^4b6Luq `W}{k=(v+U*p=cz/bdvəM;4ҵ3C3i$> b-w`Xq0 OcHbq+5n"w$U^ZilҵF%A[,4a'vb60|6ี4c/K-I"FA!` Ӧ\sJ&:Ft^f/رJFB}73삑5<6СޢT8)|%Vt|z@ MW?U}7xӾCFv囵+ポc]`@1~Ҭ*63^Ss'.nJ՜)7dGY} flhh !:4Qk@+UR7#WQZ& 6vڹbfryA[„b5AA(7Obyo%*J9xT ?CfXQy|CTʬCv`P Q2$A0+B"EP)=Mu G#mN JQӥt♕iu ^x3pͦ#L\ }ZxjX /ͺ7B;N  Q)\ Dq*SY.u OVCNo^Dc( &% >t$ۛQ$ zmz42X2X޳!JxJ"Åua.M/Hi.jǥS?OBxDZi[ (yvF@["H^:_atZ70धI P_ZϊDQs~qrk)$ iV,#?")]|[P6ɋFŸi"D)p} :}I e\tU/>ĄBs 2Bp֩E?yl5w-paBlw[P5ƛ$/u4L+{`ؐfE4'2aR4j y@ W6?wg|gtmSZxSPRSuRz"| Hwlom3:y_*,hH(4< MMExwY ъg;Q}!NV'%Jyʃ/P[\4:Bݮ}ި ]Mwвk9>J]t"! $ %26>'QB&"w73`*;ut}_]rJZBc[59z]ZOi+nt\[KM/wR7]'-[Nڳ@m)0UUcHe>ĴT> _3Y<p7dC0bE imS籌W\zҖ끸ϼ^!>h Ã@4~ ¹MaS]ѕZnx[p0ȯߒN!Ϭ&%eI_֊0L?CLAeGoT?LE~shaỌ#Z`we|(ǽ#Ц½ 6,ZِO~rk)Agrq=-H\Kge$hԕ g=q1ڂO]#M3 ~kDp}4 fgGW<90q_5^b .sj1)a@+6*r~g5̒ " } 8"tfzFyYz+@w!Q l0$( tVtKوի̝dmf0QΟ9C2l-xN%[b>^dz7Vu jhWs`GI=r>bDr7-SqU|9ȣW? aIrԞWяY ~ ޜY.#q?D*!,&C2 AwI>6< iw(22:be? kamJ?VDeE`L~SsTWRjB-FD]DyLAeMX. 2Œ0U }$dIh5Im1Hu܉>}'kRyx z|m[ 7epPbӮ*=!ߡ6ˌj]J)Gڭ/ Zy7rJG~&~<2XBJv B\_GlO8$#&+]w]@֕3Hn`.4rF]ʉ:}egۅ,!w~G?8zyYQaYLHsАѕi+5ɟgzp)#2T*JwCsh -,LA"|r\, ÷i4,wk3Yc:Y'91-p[^ YHK \ ۽GF=`{;rH9Jz2IJ*F*po7Q9Y{"n@V b`lGLF 6QrKU!h ){f{1L$Ҙ"P' #^&! >>E.to;Y  d?zh&y+_kCӘ$OM-} lC`g1TliN@cA+@w*4PLtEdl"P(*^&-@\_fL>3=#.+7={LF !iwM@3]'~۝)iJ~" TL]ᡤKYjk};TsԪY~ ~ڝZ Z7\}O/;ncwium% I8P)c|<.=K\I{}i i3۠x!fC(:RX&|~yНK~MqHWy\9Ao$XiTD=2/@դLKx \Љ"/زZFHJV\e.I}gYEX^Y5zrT_m [1Ӓ3!s#aPЎ_Dj0P봲k)*w*T=~敫qήR+T~g q('$Qc_fe,[ERd =moU_ C17YV?slR!lfo'Mg 9UWT2쁺3;B ІDZoajw-Ձ9z2@NqV(2ړq.P+"Nх/ޙZ@cU*N墎qJj]J80uH1˭t/ٌhxH1wM>mf{ ngvH2痮)72ݴ(^ {5RtT")T<(?hь2Op/!?* BVz nc!9^cy܀Y׉,;>̑(A:&Z&' #]e @(CvQ tp-TYGsj6>H*l{&2֎΋ zݠCU.뺐ɉ=/փ=U4s߂k6K Ǣ +jNBQ1ͱĺ%fvD0LdϗYm 2$C!\~5q eg"ͼ=HɠL⚋> nH;T5T]5G]AzA>(mgSGׄ5*řa4!Ф-=j^b">S0E uᖭV$-p 񸱰h 4X:uti@/k_nrd[|S`f~]%TIJbꠂ.1K|Rfz=@Ls "&ֿs&Լb(3nLۇUL8[׭*fZE4r 9ׯT(|rdcBVL^[FUS,DVeR$Ek{QGꙬYPV8G0~ D+о9]Cĺ rG\~*乂),lDGjF8UMB&łT`RԤ|2$P0f߮OrX;DQX}TovRb/m A&r?69b'9b?2,e6Q>|3%zU٣ q1Hو~`aad=Hc+PvaqLaCQӝ+T&7f(aѝHSj&; ;n/ D?a`,5i1%Θ>3ӱPyqְc^aD|bKw{Uز>䰖 k۰=|.5$O!sGSɆdrHkI{T^͎|)72+EU'3*VC^SOd~AjL;ƒUY0-OaMM!g,OAiw/bpF>M:!ewY P~H{4kC/{/:V\!b_e !{%5?-φhF"j&/!D[6IvjX=bwmyYBecaZᠮpDOuҴϏ :`ldk;)B 0aI#csqXa&\}uEnq!wUQNMiC,-‹5QSkx_Q[A\#{LLc 0q=tA")W34vfRGG>s{L;fQkz-v@uk~?yU>g0˜W>MAȤ+\0؁,wͨN-1Z)nɠ@ |U #cvAҟqui2?yD >S:%} 䱆xU \Tl(rv5vQ,1?'̿Z;iSRXg`߀|L2u TD0yܣaPEƻ+."272_&EZ$_iN@n|S3؋O/KGt\Tw.-%Mz):U{o0BuMV&c0g 9H,_A1rQ0*I^ATseKI4U@;>nPcSi4 "qCJa7u:١܅u;1Ǧn8N͌!^_:adL5; c񝜣g%mCۏ rR#8/gp dG !WLEq3NB(9Q Sj5ntk/~{kLP .͕ժ-,{ Ye(>RIltwS~>3 gKE/+)~'U،ּhPoEU [k\siu[՝}YG8R c_lam}OfӲy2"{ݐRsBD`|cvT[n@s*h *k3ջv;Mj? [K!.6K7\,Eӌ;3<݆7Ƒ_VU`й0MdSZ2 !lݶŸT'' D}Eնa'?JXf̗ZߓERBUr HS3Pzվ5r)0j[rVQ;/_R;2.;Gk:N8JYQCD[PsDC@۽7![V7jQ^e2kk1:s=hgOέo!Y-94L^axl*>7dVS/já̎W1`6Ul)L$$7Ir^lKv:Ns5sLzpp$w)@lȕj0##Ud &X?&T7ץ螸N İ<T2 9.31 @?Ӯم! .7mS6[΋07Ž_ãɁKfl (,sBC>8%k@+bl^J,SOybX)c{s$I?نWqڮ'(`$=)$wϕȻ-n7IN+xW\~ &e NZ_>A9Z D(<&TC==hT̄yǀMOzy[9͗DGfb =aw&G68;:TwKx'i6#!Eq(ʒٽn> m&s7XO;2 Q``<I:2ppSrl#3|9yb6dW5ol~|]<ъp< FQߌ RX|&4mm-Y}C!?7Y@!,nwG 3Q\'7Q"x &tF?_#{MZ0y_KӼ (OHBx.߱\;j-PYɺce wLLs`8HwwD&x24L1vln5DqW|ӢbSA7]ue󵀄]s۸n4왟HO)~9GzGSM6*'^v@DrϠ_sA)nj'Gxߦ}|כ#i=\]4%n~R{f^ׄ-OJCǀنSb;y{Z'P6 }КA6e R`}h% oMNfX4shƲiPS6/KyaEa Xa UowTU<4^4&SA}\u4FHHӧ}s=ww\n:c+ЮfD:AZ,U Sη~H=?p#fɚHJyŮ0?}&Bz[995*Gjcqhh|:mtz$2= #2uq>XWe!L$վ!.]'C_쒡S5):Tkc*<|ehwiHxﭵVdR|dXz4uI+q\ caiMpg(@[Ͽ'vZP觲,s>8n>]WqeڧL0 jV2>ƴ-^=w˗.N?1'z'/]![b(+T~1x{ٕ-5$T-8b% XрfW!f#\gHQq2ҢސȽ]dA F3`b%5$Kc?pzR`P?'ǝ;4mWb0{CB`XƩ)bǗ X^tW;{^q2+aj.>,PԬ19@Y-"e,2Rn_!=Q'R62-_'&6F`jHʩ.ޓ`mܣ'/hҔ`r6RB6~%_}Sj,K5lgWmlqX(y tN@d7-=P7+v3Zn'b 9$jk:d $Γml <}WP\J\ ;; Yf$:1$ix]a w:rң^1Gk>%n[7*LM4Gdwr~me&t2ev˶ަNd&2.5=s5gze {p\%i8Q%ڟN^t(fK1#SѴ%;;+6)uRWX: ``\- U~t⼸wj9JYHKXCzkG3.\hԼ1a%탍/,Wmqfq9;4w E.􂬘ʍ+L^¿⍩^-9"6_CD!ϸ@#H?24m,*uV볫)Eqd;{㫺q-"]xxu҇B`xNJ|^*0~U I$mXtC. 0%O;Ͼס*lYFգ~fW4P}-dRz^„sLX.YxOz]%{7mMN9-@lG+C^1NRhZ'a tn .Dܥ !/U^O闧›tkU/ۨS+̧c)_bܴqy7 }i*{}Yd-(dhn &F7eý"% a+\=(5EnN'"୼€<-]GJ\J(㘟[ā._|q8#CC:1\VcbF>ϝ̮C_I"`'2&Ě4},AC`ٟsEemlC`k!{q/G|6_Yf6o|GzX=̯prq#m` ]k7W*P6G3 }zE Ri3`SL"4z:LMP4 Fh]Jɝ~5x9;Z~G=9wQΝq >?ߋmӟ؀VP9e&4Q=<#Y߬l/3LME#AȦMԠlv'rQlªeE; ۉF_\lLkPP _4I!^caletiağb&Y|->VhƎSeyH,=S'6r' 7U{wi08ixWrcY2}VNylN0Dž0d`Ă\%60d;\ 224|:c: K@Cvm J)7yQAat« 쭅_Gq?G# 9ܟšB{,d9}Uuu)J)ޔ  tZ\;{ 7jlpї )i4;1FQў^&^YήUU ?`¡w.UsU(r_դ ZqI&E*={ g1=m la`ڹ]Ed|0 Hc&PJ*KVPS~Ĉ?_JYj"=ʔ5 Kuң_ 5!nJ\ynQۿ  &o!=rٍRggGV/}R En5ğ>Fj]5(|N@aM ӞY`>MGʻM%9YkA,?hzi"#muO41pp:!NA/N.xc" 7Q &y %ʂZ0\]*Mc+"SZ]&BE*4ҋRQ^; h`^k|(\:=& Ow;rizE$%طBjA2żp((i.em9 6(lFXhjm'=+ } hvtb4{AĹFnGc3mbQ͞ۺ'Jt$u7y:EMd 4<2* ZMkfƣl2h{SڢH : <;$k[d DFBnZ<iye @CgME)r'a+:oA&^3%;~Q}7MŒ~^PcJ?(,pW4cJxDٌE-fvR,l9$ųR\VtQX:^ԛ0"X@xFZUϹ:;0fAUVز[J^\Yٕ_rvG%gȋcD-7->K%Bh8&]֊-W{iƯjkV)2JՍ T\f/s%)DY<gݜNp>#﯄f[;WcJw}Yz+6" z{xxpr46$c*Bx]jtV6r gFkG+WNldt.$~- &G,ɞ,={: `|^8IGMT;{F'9: n䃛h4 Z3W6&vLv9{AZ0]\N͵2$_D%}!6oh~ԃB~ ~3b-o%Nઅ-w_Pm 쵙vE-v늒g_l&kDlt9 HI~[.Qm2DȔBLjՕa29VXp7|N74 MۯQm%^TO~ևj%G26Uⱨ*%'sI5—5VފA?EȼY'>Qkпk2swє*kJu j)O_ Z`d|t' Ly "ͱ=BmscvPaSkR6i{Du/\>Άx;ҏB/ RZ,?=<KVGZ8ՖWX#GG/8X@/\6lc>s/ds AZbm""yboSE|ƀ`f]E *D(>XLgdc297*8 =CV8>mX2vXX|Hrps'<}?8 ?щ ֟@خ/)Xo7z]rk o7"s (mZPQAi,֎\|w ,՝[yw=2:+HDMoΊ t|7<T5h3`$jBIAM@>Im-9}% Cd}mJJYN̻+{m2n:#}.>+6eAX&dˡng M FAZJDFԧUyFb;@ InuU$#@]f~C WP*x7xr;#"n wN(V?t91)ZčK`sX z?MVMRGw[VMg%]v.{Md.* }s%]Գ6yT,mQ-=5cV^ bd![h F-K`r6G1@d`SC S8BuX:߮WvS5ʋy0m7dRWon\M}l&ujoy+U5<K%͖0;UE'B+{M`e(k?ټU}Ɓقn3NBm BӔۭhh98Bm)]58J\uč꺮Jăz0DvyBA.BJ'(=452Ye%'nsk/J04* !{A]=(h&oj.DG T*M $ϲ]TzqlY~?a|=p܅/4,+Щ܉Fi[q"HL> ]kyCUpE6EFݟb*'>GFBW ;꿶w Ὠ)K \UVl bo8]HKI 9! Jܘ>_3¶J֭/*vUOkŊWDYZ9Ѽ"rEʮː{KJe]NWѼ=2]ěop 'A @ Z_3-Oǥ0Q ȝ{ an#Pyl ]vXzV>?{ }\2?붃\W'4rV1GFj 2K03sWjH+̊ `BBjmGs+@,U1q} p r 2u:ۨ!'9o9ag8 +2[NP՞ߧAӰ-hA  #>xΡ*͊FW Y;FYJ&}_3 )1 N}@\)J3c8&Z\ l_L8o/|Q π @n&7͏.1j,Ek!-iE P|aŚRR&,Zɰ)a݇VQ-BpӇ30\Йܕ!LOx J˻88k =9ؔ#w$ ۖ*m3{2 t0HW>MPc̸-l4npwQTo>Q Z)7h}f+ a#N^+ kzǕܮzj.\CTLBbs$)Se:x7 ΕXr,vBKVxs!]TZy5-t CմV_OԳ};Ux4Q wKӑ+_sB7OcӸV3J[mtEI[M")A1Qw3E8- albPcrM\3g9Xi Aaw}YFv_oUUiDdzl2ſTVyݟ0JpL2w"΍AC#7nP0$я.u;p}P&fE Mm O#/H .n&>&^Iψf UsQ4s;" 'on/.U 0XyFDl ^]`g @03EuOɈ.Meٶ}tHM8zoz'ҎqyxThK?/]sNlAl%|PNf@pnۢsȥd$\j+xኔ" 8iOջ_04քSfG7;ɖ_W"큜c Ȯ? pP}!'#̵!(TX4ijܬ'WSi+qap}x!ߧ{ }Q9#kI0Sq[Q>Xԝc'a=IzLZ%5Gxr:rX"o;Y{7Hf#_7֊4atz!a={$maw`ʅ,a#`W6-T4"R.sp#{+qEuyKGn'!qk#yX1+(]H'ٯڤL}G`GV}450s"}6B pp]!5q-L*`1VoT@g0}E Ew`& IlƕiT zfHj~4Dz/ 3"紲;qE';?zϟ`[:l(&r.af!/UEkh/D[vr epҖؓR؛m1Qr׮e0mabeDĠb~{Go)j₌&Ҟ覺.կXKiOaS~ye % oeZŎ5;"9U9@,^Ժ~d5 9NlLZ{k˟jY^iUf?Z7Z$NbQrSoH!O(ݍׯc^9,`>aw=2f\fˡ #$kzC'%qlF͒$.á{{x_i (qKсCc͸T`0D8rWm(U5eKĖ*4 Ib2dά Xpls0` wr Ŷ̫9]XLDcgRg0̅.Qљ0qe(H$G5#$xo4WcZ $uIenI]؜y&r7]J $9o؋6kgW;ʷW^⸂0eɣ3=wQ[AI!$ٵ==73/ -rg5Ր{Ks_s,-ו?ѥïCpz%坉$+(24w9ͱi >eyF#b+ߴ'ٮ`k [$Vɔ۶2;=6GW6œToOD#/ڛgi)FETs?8XɄdqľ- Ҩ[X*%5r<˗Ho!6g,_&6:Jj(AsUzMՁ<"` 4gpvRs8_ )`0D"j]?{6N"Rw%xc5$F DA~ #nץ`#b ♪|oH,t&՛z XFjQ!w]-M-G@ D߆@ ʲwj ߲+[J-Jy3Z)BV3  l`??sBat;-,DG-vfgGM.;=Y 7 lKs)$~G Gߚ[=&bk?:Gs s帲:y#JaHJA%GJ?'"v J B"E+M^H6esb5` (W}6Ul/d2k1D+5;l ̺{C;DF^s= LL{8?_ؿEIࠇhWbjֿ{ނ4H2ćâN'=dŇKn5A㗞,^BmbgT= OG?_jc]w#i/%*rIE~1fW/%Yr^k5b%HP~!vV{Jm1Are^X e>-Voנܴ掑1V2M KsIm"y"VLq 5{%%l>##ёZr'0z>?N!qtΨȞyY@];h SX*OoSX'"@MٔP  iUI. M1rctͧ"b@#8 7㬴KE6g߸ 1zb(_ʼj8FhV28ޕ耙U{_^fNSLd1> TR{?Y Pp'±|tij=UYGƶA"5"Q !8Rϵ _jWT'Z [?'iፇ }bI&e١Bs2\9ojGn[ Wgg{a-B+Yn8|?l.GV.&ON4l1Oɳ t.aBwE}aKos0-V{d 暀mYo_GW O5bfXPV8^ HJJӄ'f0"AKbGFM(B .5uh,zgӲm|NWW=i{S n9mR7U#Fd~6֤G|O·."oxQ~ #ɱ=d.]7'L{8N*U?~ëQLt(s$F\]Aϛr4SM3pYlb'H;ͨw^$nN39A:7{ɍzSZ;EPFsg펅~ā1|{ÃeQ<,K-`X;!s-T~~3;-]W 4NI轡9(I(_N"vPj@4 XO+'ǖeCMA{ŽW/ܼu(#䙯jZjUˣs-Jl)Ά52_VXPG%Cl0ح\kOyɨeCc%Q AI2BX1 NgI:`vIh)߉ 碇Vj:iV?q E[N#?yuFu!,17v\7T }5B< -g?Vl`͘eԃRBA]C*:2t&%|`$*T͇ 2GՅ\ic$=+^+Mu>f4e.H~<>گʷ7k,U5Qо˺ CG=huR'u d ^Lqz ?@rjz1 P_)Z)wz?Η*TrB3BqA_Tm᛾;2$&wbS#cƸs+PDT{1ntZ͓J8`s!hb{NZXvF^vzgDS^V,0"ť~yʄTsWL7 "V75Yy^.((q~GԗZ~!%ӭ4wF#J[oҮvAF4rRnfiWsXB+$nFC"mpZY& xՂ}]B𨲂j}W߶x闘~F!U `\h"֞˕/p`&Yws[!_g diJd)MyHvl.[50VZ% 5?"V̿}▖/& -5#=K䖂?a H^e ʼn{}q> 2ta•#I}"ľr?I(t 1泄mQ{|ՓT 5KYvٲ~u,Zd36#9(ڬ<,VQX;JX\521}Q@Vu̖M(.SafMx/" k+&6"JO;;ɅL'@o uމA*{$~j͹ۋGmC:RLܜZt(-3kpMJ {A D[/Էw+ڮ;xhXl@:3[pld`<8ڋp[:WaVfX f@C^"Fj$kn|x& (B{A*f%;r\Y.&n%6Jzl]zk!^X&nI7ίMP@C7[H'>#l˿yKm P{[>V@gdhH",73) zZ9L'tը2Yԡ 6$d.6}&Tb7sHd@Ha'P9_Ϋw .ʓ ԎRI.ҝnJ"$lMW#a%T$^/cӾ*<v#Ýedv2C~y+_bZrO,C#KJ#GuqӃ6:r]FDRIL(d"WYb"mE}OXm6s"#lcSC/5S惬_"ͅ?vjOY2Mמ;6~lKv,1ˣ9,R8Y^KൄO(&XDJG#R;LShzn"@#bS$Kz5|s˒]XuiO=_SA^y.ӱb]N_匘AH;-7cۥWNVZ@tB驧,. :P0Z`!B:4sq@+Fu;r*q;zytF!57 x7Ƭb5"hhE, piFut^j0.yVOD>^ MD7˖C6f)ڲ)p h3tBNW*oB*-Ra^!l "Rk""♰?E?cnl͆zHId}Pl?K?_06aԺK6NR0+:g )nAiZ=F:̸ueK 0韬yyTTo(`\n!7 0[D 5Yoq#E5u!uڒmKUO)pz4o0;=W .$#QSKն/^ '^A[0wiP<"L:R}]Nweg)HB G[[,!uC%y KP'yuo?d߯ h7sD̊]2r4toJylbz+Rgt *^jzAL]?IŔk50Xe;_P" "i`ᛲ>Ffu2K'vqVӉ 0,/!di.rx|9c,emOcžCKq9Lk@Z>i;q {BFzM^w85N{\ qc] +g]*?&vdɝ6:ɹk0B|=܁etsHJ}~^֤(#Rhjk\ɠ/{ nT񎥔'mhnĀ"& |& I})7 #@'!^_p /%hT0l5㋈Pǝ֜ݸNK~oVj+sh|(9aB;(_ (%)^MO\aG)5Ҿea:7ib7 I7zx]MG#&'BoVn?iز/K=3ɰ+]by%_,,Cb]}O>-[UNd9m.ār2 ?d%VGt?}ʷUt: bܫf}vђ!)8LJ+!k[ϯzwW:F yO&("A:@LwZ֣hrAyS|pxzdhNOS[∧wU))T[d?,VL& 7=MXTWasA8_ȊƝ?מ88GDǍϒ_IWZq1{_FŸ(֞;@7_:cA`乯헛tZ\f,׃#TbtX5 "@!ͤ"7'(ZnfʊxO'M},ze,l5[T?=Ϟ^j!ԊGr<2W+|,%|ocӜӼ!)H|fC=U+;`yoO9!h85Hy*i:GvIkէ}:@3YNXmZbhB4{6SR<"'z&HمBuyqBl;gMTH#$na 8¿?]7ΧR9Iɱ;6:],;VRH&]Z#EYZ*$q^ +AY684v 5԰$V*agvIRЍ~l(ݣP^fu'{x=9)"ͧDM`$؛"12񐝳&*ćG1I3j*&;oP/GmV-LL6'fp-,W(sHt.­Ӱn0z&Agⴓ ܨg"bk z6D/o? nN ͓d;{V#DXd Si!בw !:$zup|i11HD}zČ/WːϚ@̈EV?Hp#*J=aPb3^pE4oP;w }>`dIR..3BP"^r*iD9jiNR&}l"抃?#udǸ}vzPJ|(WS/X|1HX jE9b(B |-]FG²/KJ&Y{ZUl^e; yH%ՁQg14rD:c/oKS*ѳ`Zlۢ/;~e5,/D۟vxЄi9?ȝ'laap `$L#p,Ą̢~wfRv?97rmb- o);  m( nJ-+^ %pe&:"^I +*ۆc!."<>iL/`a)PV_ZW4u?mצ39fmүaF21ޮg0!dw󤚯kmM (=o,bkI3tWq.*X}˔Spoqi /T)T(tBm,]Ax0_j.ߵ!Y`.-=ǐp!MS p'Hx7'M"(}Y;F$Vߞ婵"~8wqi&x!`B, 8Cu!W} 2T[4-DER 1.F/ujx:6/XMĝiA   ) \%Q]tA@ 3~.AkuBAAYe쮥'@n6wXLE0}+,dp^nm%Y%@־UPL-s#`|,\r:h:~Z)!wDp"}bE[2/6hxH`wO@tdʣ#'_X$ -vi7vJF,%*Q?(H؂i6u/o]@ c=ΪUR BL A.5kuzN7=FI.wUʘ6_6ApH?s]4)q0#_q. TrP̞!:Q6k*؜bov$7e:u#IJrz!؟dfߛ-a9c^M'SOs9BvylbM9υ_, j똍qi 備[uE :#PB ezDίN7{.E%l֩;/&:^#t*e,O+)u?عpH1}.I˒]b>ՠXW)Ჺxb8zwNN+:7n.l\Az.JTc*dHXqDwmb?J&xY(먴 DטZWW,{pNCVhQן]D4uQR;"9e }Z+2v) a oʞMNIQ(yg*Roi :hQ"U`v~xDTL|qAqd)Zq,`)ڨT fOoqwՊi`rf~x.YbkD;~N~ yp-.\סZ H8T'$pW @eyw6sG)e{goj:E/Z) 놬ϘC l-CV?৛Q|͘.G(D0<*s ɰ8.TL*#X%}悝_(eRY-R$/S"s}n蔪km b\~X#7B@oLOBCݝ3I"N!yud '}Kg5OHO1Sv]G]bi8PIcJ"0)Rw4tP:IQnN?S*J;0YZ 4 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_id4 q # lPurePurePIDE/markup7zXZִF! ]ˠ)jk2p O6LP=͵gl5fn C ɹEe8y~afٴ!?gvjۈ&6X ʇGMK -I̾#O]h:͍783{ {KL'V0FG? c/|gEo+c|{$]K&0*TRSAda-h6=8:W 5 'mq^5$ u >xd˾ ,>MA#?QGyɞoz;vై6N38"*K6D;383JUO>$oGVei/l΂b@ja1]tF,U2&RA׮O[ Wey4Ms8vz#w(96tLO>P5)Z )Iqm7Dp',~Ku%c4tK_&e?n5Dj2`L44Wj60UPz ˾7g*J*e'IfE;菠1C}ژCmvXQ0Z}:uE> sMl7vIE\T_ .:w'!"8vز&\Ar:PC[|}V*pjKm0;̺ݞ *Z :~T7Cl4 `h`kCG17B~d8af3F/lq="h1pn=V(ֲlo7#>i5g_SJs + ?=cؗ4/[\Or& Rllg9dbF+1ZR;z!b^Ӊ7-1k+l/`oDDϼF*r KeE3wb1T0&̸7$Ȼ4-t9hhrIdr 2DRl*nhbkq2|%)AJUZ2^U?`%Ċ;KUۥNuVNϷCt^'x˕D}~ TÒ<;Gcs|JٖqEl,~Ml_; vj[j{CUFQ"ߍL\T+^J (N@g4)!hN@.fŮ↛03KCoNcx'u\Šrp:$J&]ܟ:n"eR$/Ao@h\Gtb/5$v?avևt#N4*__ ~/@_c K{Bg殜wD8 me%1?,XzD #S7+l@?VTHT)!7Ca_5FZNfTt9Ho7D<7 '>$vG˒:⩄Ѓ5NyÍni'T%ic ҼIz:p9Ǧu)]K(XD!tyIϞՅu|It4EŃ r%# y|=mb'Q"$"`[O֋?c`pRwobא)*\怡K:GtMjI` =6(;8ಠ*C}iL6/?ƟvT=rQSr_Wq0}dXVO eӳ)P FZh4s&1% :-L$BY 7j% h-| Kl0rÆ&2#j07龣Q4j)B  H{T ~o |Xg⠸ 1Y/AyB`c82g&~՜A0ê!b( lT0|Wv,3zޒ!Niuuo[g޼`1/op- ?Y:(Rʕ*LY쿺uD75GiiMw@엿V} ~ÕH"*ArGYS;=ub?Dn'B]@3va5M OcFr&)yG%$lS"TJik9*R긵rwxտөy^eP4;- QH1i .'At >;-z=cv/chFrN|$u7&0jk۬(׼l]6Lva3놊$|60 &MRXBEh[;I,G|;^4JIz^#ŝ}]2{̛9:kj\z-V|{~3eu+[1ٯ#6AR@kue_S0[VgLDQU:|h^As ==SD?Q_`O!klev#V+"ujT9g -Ch';hHCub6lɵRiA3*>(}ڤIp4Q9l`B.ydOYB T W*<r+hzJzBOZ"iRv#s6Za,Xdt `>{ǃ^bbgI!y%V:n7w[&# -Rܔ}Tщ^h$k=!IX-=kHmrc,$Nja藾d1B,,[$'Ẑ*YPI|: h\9qh1E0@UhIJ$QPp.XJ*87~ncy1pzaWiХG!KonMgi=͐zZ12'/Ծ(6`ŴB/qGSdk(,QI9Hn!t!?\%_`uMhx4jBk1P-h"B[NϮ -ܲs:|AW߮"VOϜGW|= )Z[A޿gP;=|L`nH,W UPd˯AO-n쟯L4 AzXa;tLK!=Ad4Nӣ5to-Ae.l0EWĝ7rz=ymqȷp HrF1H5,~N%a;=Z 9E{F .7-tS)NgUZ@5#aw.מG.鶜}t#72(nQfj!mmF;mu7I  MMG" <{9?uH /c:cg*tgsRTPK<$쓷OETǡ{VwMr%$ߵkxa}]#Z D;!8bpeU:Ů"6jc& +h煡{Ct$9_hJ9/xYAcie; $j5)է&HH&oY}w jJNZoA\Yw'<&E).ܐgYZ  y'' DPurePure.SessionsPIDE/messages7zXZִF! ]·Iq n[:|&[zI ]kH8 JO HۨĆ@~%%)>ΕrqRVUD} 8ֹnpyb?zTy̮D*[~++WV3X>}?URp& }> ȱgYZHx'# TPurePure.SessionsPIDE/markup7zXZִF! P]ˠ)jk2p O6LP=͵gl5fn iz10u «qjo'Pa;\=A.z a-Hv <<wؖ{:3$Z՛{'_"ᾐ/XUCEȂ#aĸLJ,u"I0(`2aY]WO ַkV )q69Y)&Hn/3bIx7{h0X Pyo\OC@Q,(rM6^tq~ܶ0 ^SȰ霤c8e0E|Sަm/@`TR͌U? r!ޓQm%M`^ТlHGH<'u1/7 "n?-[/0:φ;T4 bdЛSGuT%k#Nv8=b dRWUI/$1 Xr|[FH}j%p(&ֵcAN42oYPi,rFA\Y%0bWauLJ?&i_[ !c\H