SQLite format 3@ .;  B --?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  \ \!plT| ] ]Pure:threads=1elapsed=1.266cpu=1.292gc=0.0007zXZִF! n]ŗXiɟHVҭٽD/Bhg"۫1w)eRp ojt[ÎMZ@2DQlmI锁C5]rkŅs; w$;X`gYZ7zXZִF! a]ŗXiɟ˚Ћ. k$w|f,!b *Jxv^[tkMM-6O3bc{ 5sM p?ƹ5F6(b}HbgYZ7zXZִF! u]ŗXi%Bw:ӳs9SPᗎj9+ {ᣙ%/n;%,;Xr{S"'xS[Җ<`PuO?ѳy^u "e"(u?#|53)\oIwcƎ˱-pԄh\]9fޝj.<Ӭfx0E͵qenOkȎ!Aj/yo.:2AHj碼Dῑ?ܹ' o0]*`dm%Mc Nxe' Sd~ÜXw5nt/?aL-Li >?q%S?S1‰Q(/HJ*nDWQMo{- un9kZ+*~C4V92+ŰٞR '>eVPjBs4}jl֩GܕWq៴O40HqD1 _ R&eY=p]Ah B~>P$`x[[[_#f\DBN_ݖy[h,5&S"$Yr<]ڤEx%WKL+XYv=њrpQ'rgYZ1e40a94b870564bd7ae50081ec045b9b9550a79696398ab8ee2f74c06c97a344c3a66be619380746  PureKF9R! |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귫j i a P B3% l *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[#'%PurePure.Sessionsdocument.texl"%%PureML_Bootstrapdocument.texk%PurePuredocument.texj)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/45974f%PurePureproofs/45970e%PurePureproofs/45966d%PurePureproofs/45962c%PurePureproofs/45958b%PurePureproofs/45954a%PurePureproofs/45950`%PurePureproofs/45946_%PurePureproofs/45942^%PurePureproofs/45938]%PurePureproofs/45934\%PurePureproofs/45930[%PurePureproofs/45926Z%PurePureproofs/45922Y%PurePureproofs/45918X%PurePureproofs/45914W%PurePureproofs/45910V%PurePureproofs/45906U%PurePureproofs/45902T%PurePureproofs/45898S%PurePureproofs/45894R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/45710N%PurePureproofs/45676M%PurePureproofs/45672L%PurePureproofs/45670K%PurePureproofs/45666J%PurePureproofs/45662I%PurePureproofs/45654H%PurePureproofs/45636G%PurePureproofs/45632F%PurePureproofs/45570E%PurePureproofs/45566D%PurePureproofs/45564C%PurePureproofs/45560B%PurePureproofs/45556A%PurePureproofs/45548@%PurePureproofs/45544?%PurePureproofs/45538>%PurePureproofs/45526=%PurePureproofs/45522<%PurePureproofs/45516;%PurePureproofs/45512:%PurePureproofs/455069%PurePureproofs/454508%PurePureproofs/454467%PurePureproofs/454446%PurePureproofs/454405%PurePureproofs/454364%PurePureproofs/454323%PurePureproofs/454162%PurePureproofs/454121%PurePureproofs/454040%PurePureproofs/45320/%PurePureproofs/45316.%PurePureproofs/45314-%PurePureproofs/45264,%PurePureproofs/45260+%PurePureproofs/45258*%PurePureproofs/45204)%PurePureproofs/45200(%PurePureproofs/45166'%PurePureproofs/45162&%PurePureproofs/45160%%PurePureproofs/45158$%PurePureproofs/45110#%PurePureproofs/45106"%PurePureproofs/45072!%PurePureproofs/45068 %PurePureproofs/45066%PurePureproofs/45064%PurePureproofs/45062!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/451607zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03yڣJ1=M5z]y?5/*)*.쿹gYZH$% dPurePureproofs/451587zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/451107zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1ˠ͐ciU!i/P* ρ< $nNѱgYZh"% $PurePureproofs/451067zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{x-prѕ6IUM8釩I1ՐRܡҜ30gYZ4!% I"LM|gYZ % PurePureproofs/450647zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/450627zXZִ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/454327zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#1KGa'?_AufL]?p LxםM gYZH2% dPurePureproofs/454167zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTߪ: -ԭA't#^%CMܾ|D G7zMhT% ek=Ŵcpt^?ElLc 1$gYZ1% PurePureproofs/454127zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL;m 8"p/4,,?2}U|7{70 gYZ0% PurePureproofs/454047zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒ؈B[Dpɡu9g՗F1&ABh/ gYZt/% h$Ar{ڢ1i4u ND(gYZ8-% DPurePureproofs/453147zXZִF! .Y]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU*~3Nkdz6r0ERXYR1g 3ѽ1V1 j.󷘵Ÿޯ^NF'wa#o^<\ntCD, VgYZH*% dPurePureproofs/452587zXZִ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)% u 3E4W 7J0/J,FK{:D<~gYZ`'% PurePureproofs/451667zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_5a:I"lC)|b6q]gYZx&% DPurePureproofs/451627zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL9e= <Nb0I*5ЩQxW=W6EԷdxgYZ   '   ng5. B% PurePureproofs/455607zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVM͐gM;1>R#z>wqfǢ&zFJٰȍon2ɎPƓ&TTuU)3 <ƻV&~ ձgYZA% \PurePureproofs/455567zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xͮg3ߞU$Atk(O0NP!]Ko(hşbZSYNXG agYZ(@% $PurePureproofs/455487zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%>w{0)ogGhwY \gYZ?% dPurePureproofs/455447zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~#GX5u>Dn pט;1`"F{>TN MnmPU@ j;8gYZ$>% PurePureproofs/455387zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/455267zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0et{]S!U;4]^ uxd|ȋ}v1odKC8%T_P$tzk;[Ɇ#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-%M6T?k+e*kSp| xgYZLK% lPurePureproofs/456707zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xo;M[eFh4Bp'j*^2Ȅē00&>+hW /h@$Rq"qtRVmP7uxΏxԿ礏_TqbX r#谱%l&aʯ?ɕ5@\gFy K1ئ3wHK!b;WC^d+b)W{y6m>gYZJ% |PurePureproofs/456667zXZִF! `]ŗԠQP@K!h㻅c}}?'y,DOc^f$!Ņh)cهTjjT}LIԲ.ށ$t~@8 tYA\L ޝi~~L.: 4{)'coNԛ(G;]ԷȿaDZYMYz{,Hn7 ±gYZ\I% PurePureproofs/456627zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p3=*8篁GLUF#yĬ7.ce/5scKE=׵z:r@q#ØdXY`=>#6( + ?igYZlF% ,PurePureproofs/456327zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP$uBUO&q|gMv'xD?f մ$Np>NmgYZXE% PurePureproofs/455707zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUokGI1P_'N2jĶgYZlD% ,PurePureproofs/455667zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'qh5W|ɰKL4 ^&CaƖF+2]ΕVȡ gYZDC% \PurePureproofs/455647zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H NdOwUO{+Dm)h>4PRoAK_" 2+"*zžOc'7Ja k9tj;Yl_ŹBy6\4)3gYZ  8 E8aata% ƶ1bXⶕs_A:ZbΆX! NPW{X]gYZD_% \PurePureproofs/459467zXZִF! }h]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1ˠO";N-}ФTbgYZ4^% ~HDE!V1SAgYZ@\% TPurePureproofs/459347zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#29O5v(PtKD%EV~)pgYZ@[% TPurePureproofs/459307zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k~/0pZ9"Fl% pv}䁱gYZTZ% |PurePureproofs/459267zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUJ&0r3:ՏSN,nl.)gYZ0Y% 4PurePureproofs/459227zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =[=ПVWro:;gYZ(X% $PurePureproofs/459187zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 }Uzx*6igzӱgYZ,W% ,PurePureproofs/459147zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fD }XEM#saԒk]SgYZ,V% ,PurePureproofs/459107zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd U,>E 8"zԫˊ"k]SgYZhU% $PurePureproofs/459067zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8ly걼"`v#\Ʈ$gYZPT% tPurePureproofs/459027zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚ 'w40asڤ47]6gYZTS% |PurePureproofs/458987zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl0аi߉.Q8RgYZ,R% ,PurePureproofs/458947zXZִ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ԫ .~SEN+;]])zInfҪSck,$%^3fW,hA 9mEc1t|ST̤7!?k_ m{7!XtLZ@WZG2TdmӄC9lZ4ɻGT|1,7^ @InN"&`X~h>`b'Yc Ȉ-3"F1OCQoۼdv ٦)mC+I.8)r3P%8RA<&MBO^n%Ce;hlZ*aP-L+Hje3~@APP,x ֺR'bڴ1FD5oI[DTx\FkPӒ+O&ףΑP5%4. 1?Z [+,2ל)|Z IV#?_6P^WבAʔ2W5ɤhܳb-+mTȅ/eۗ-~ť\7gIAEd5pg8^y ¿΅Y^3U'ӭ]ZfPN) ]dRo|Ey=` R..#L1 E6^t IyGi'AՙCCUmScMt ɎKiM5zv*Kʢm†tYoG!a5igd2[|}ᾲYA;[oVϯ4(!&4|Ȝ0?ţhۢ.ʀ2!T[dدnit{L$X\gGW:w} !?2a>2 }M'cfq|@Ε~ɓҹxB(Ñ\EGMSiZĀWХĻZlJKt\ WKEe?=w9kո ̣F-lH s/Moj_RdUuwksV;ۓ"Gi'.L ޥv[dƵuV46~i.dR1e$}ϸ5wvA'peƒ-mt E`Z¿kjK[@ :c.-*߱ ^M> gDS:uٜOiT$ \;z V^+wZ߉kSi9>w">L^u, W<k_`9kέʎp6HGv>5ĐǠb@=gYZ\f% PurePureproofs/459747zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUoPxiKԴN`zɲjĶgYZxd% DPurePureproofs/459667zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gN0 pA2,H`~(;/jo4O\ұgYZtc% Ե|^uMCf2rӃ avwEn )4.FLBkМ2g=h$1C,gTn+58Ǟx~ 5Jz/7b?=NG:H '~2ЙfU}d/*j=ŗm=35iMr詖8F2уaf$~^}j 87 ~XljuL^䥟/͹U Vv=Ǣ&|&y'XXC| SF ^"H/pR?M+YM˽@wøF3VNBMY( m QOND`U`"WkՄћ0` 931k@b1YϥX&IZȩ#v*QР!]"$HwV<^ =Wt`~UC^S.:mPӪP/4hZL$P:!ca@!D]byǫ *ىiyL0ލ2MHbZJa ҅HQ=B 0sYj971/7'@+? cCAkà6]; ]?c4c|=K^ZC(oَp1 Cpetw0\mtv!/&T5nV>tjLR]<=dˍ *4Й4bxpi/ F ːMQwZlE֝I53A鳮{xbEs`]v )v1VMٺ $V8.z'Z8t'!g mM%jޱ;e@-W;'ƛ<੅mA_hMD&BX#ws'x D~ KOLy%(~a!>I)sF$W!4V\cueYo} ?FA?[rL+3ZY]¬UenMs!wˆ~~jO"!tv'@X,rv ~=+Vk_+aQۖ :0cxb3_hc3rbokRZt[%0A4<^ٌAC6q5?ùdGe<((}=]Oțcq,u|…At6~xkifQWXP0ST8ܪ.@O5ŅI-r,rbOVٲq(3 AҺtLP@LNaQir^Hb28k/4$eĨM:EXdGL05i| 5 KJyW mm*tq~kX"63 cU [za$AQ"3J uFfā8a7åCˠzCx%&$O?W}WJ^e|e8N# &PsIg1eC^ BK{L_NGS45YqGO~U̠6j#wΑzyM* srܽ6 Txbp H{VDPEenÇ1!*]X H?"u!~Tm'k&=8I_^A>R]M@,_7)i! {\1!liKÈYodl񢊥̷B&;~!}DxG ȔrNt /eCC*oU)GT$r) a Ǻ3@.)5hUĚX7v 1FZ4GHBDća@_܀nܐZU?Ȗc cNΰ⦠pN"8%!Ϡ[~ 4>7&4<ׄ qd<J{.w6ob3MοYW|Ĭ8сO/٨D5$A 4DqqR:U\oQ;J 3ne[(#yԯՍ7Ix4ʎl;o 1A02' n@w&Ruz #~cؚEiC>d pUpRYE̅Y0[2' ZKh}H;cV6& CWP6[h[.$Qo0v)>|j7p2覡n@䇤&OZw Q(.G' ~L+:܍}t1#G(^3M\GaI.n}W84$BI[E8À, ȭs02eI՘ TYZ%ђۻ҈&w\ W/q9@q Ô(^>v c1HUeG Rѩ$F,F5r_)],`z&,ךo{4jYU2':DPPQS XxEtR)LK3 !G7'Ì}Z[%>g|>;jVo>8yڭv[x~}@FWLm.Ngr'@xvafv3z1끾k؁]AJTJXx/1)&ao seS|㑲%ZM'<)QLiaC̩7DZ#\ȿHfض<-DU1J?,W͢ˀ2.AB5)֠aE^sDk챣tMLc'5~6 9VO=Ft9 w)Hɘ5xǡP@H6B(u{ Eekaޓr\0աۡKCcL&L#7GxTYD|<{O6X ^+<==$zC|9gV _.cm>UQ F6AE΂FnF[^Z X|~h']rƗhak0S^6 ߙz,YlmKLO,y{^yQ Xbgεa$ԯڋyaѬI` GHCrg^?MjD6-|Oÿe1}s4UNCe$㈁fl}|RyseP,5V/bRߘFON0rAIQKJ1)F_넜}r ::XNEDŴ8fCԧg$_M3 0eIvxz}?̤ٮҹzW/Jy(kv({wJ$>ΊWdԵ~F( pՔ.BnHFFiX*,SJ4ҳZ Ml\XYDЧt}fQ͡l /0}ף8p?ô >*!T饑^w®.:#^@45sYqW[{ckK3ER"4ұ_fhp68ϥ7CNa /_MGO8Ay." CsUrc&+%<(TM P=ܪ| -H|8rÛTxdvL&!XX'bw`(< LL,rq;i*ia )ſ[EqSȭU 6l#~B<4}}-0Lۇ1fL rذ/@a]!, [9[NL©ůmZM 2KRLi+ 3.T8Z0x,i"yU,ZEc%)nYKX:|?PC+4^gwE$EK/sϾIS'-#lla҂0_Q56<1/{"~=# %s|2Cif١AG׌R\i7[1XF(r3%Y\ld7И;T㪦85Op탌WͬI6)j} tSPo8RZ%5CS/D%ſr_2uf;7D$ިDVFmȏŒ2trß3v*4xZ)! "U;z@jn51u{%^Tp?7_>]W@I (;,Ԅ_5\k ZN!" >Xԏfi#[d, G8M!~O1eRDu,玒b%\ 7%m |:2!F xNW;3ȀAd9;^Mxg\ɟ\t)Ië́I  ϯ0`v<`risOTija;)BF~fKb#T= Ȯ}? M 7>yѩ[j?fLdKЍ4a`ccњwjC@HbφntC!hgÉ>O BU&M55y"Dzn;xCȔm)"`&[ٽj{#ܣn@bKYliJ%#2P-٤e }uʏ*? m|C'oSzHBdLl+P1uWcN fX0j\dq$+I.WBĞrxo:Ý3"Ur0oiE[gx妑v9RHpmg"@HȔ ?5}Ek8qqw-1K'd~skFX! 2ݕ+bf.g.*jL];X0RJ7 r茵)iJ^5>1U2:n-Hk7VýLy*I\67Oc3W3?.k3(L׭+*(Dg-ٮ;O"n /X[N䜄kđMtZ"){i!^=P 3qam^^b+){e:3 :5~-xa^$t|рYD>~~RNFH0WXZ@ j|0iƖJjF*p_PbU8)},FZ'%'*Xfx@gȭ6 HEŽlMl#lD&ģjt31XLNV~Nxtq뺥B.ؙb:]=UbTz`ӿRn,´Eh}njٜur`-wٰ }}̤L/sduB颊,h (ĐZ$m ,#tKZ⩔>5 | c}]_GVCT-2&945p!سJ1g) rG6='gv\˘j{Mñ >XHGYHKQ)H1W Rop\䘅v&(бa /|xVid L 9HiX fԝ"*k"vW_ <BUW0Fe-7WgTGf~zG6NȷOZB޶a3P˖Ug>O=7PWßK`\~:c3,|r< c̅l:an xvm?0glrwQ] yaܝ΄lFB(J8؜ Rj;d瘔!П*Ykb9$NY.KvSisnln)6 Q6"MZXM$s&cY $G LumVUx%8Z,$ϩrf{&yDž=\ZѨiJBXv$DL4ೌ}9wJQ꣛SPpBلG FХ_KL.gmvu 쒼q(_ r 3oVºŭ#.vBIэbS0  t(ZquZR쒷+8‚Mdb65[ q X]r 2lGd9?) /12k8TpEAgN:xQM<) S {qT<7v(LNEׁu1ʵ$@Ĉ,#`=35l&ewh}/A- XXh5֘u]bn(t5{Mkq,9%]lJxf7682p>f,@^37Ny!Sc%D$t_Y\HϨGi%] '۰YrFˊm9 P@Z]v&ωl,xG)`mo P~w䧛5I|[bMQ4+ŷXx;M)Ҿ/x߅(iv֨IP5lmpOFbtLp{x:eC d6/P&I*"IC/ Y3:'!WW'-p؟8] TU]\N dqôMnucg =#$5龩SJ?{bkB$V"O-VhiW840KgUU%1Tf~;_ Yb]C=wSwV.*OsS&X=ؤ2uc~S8 R}QF1])nqL2a$s1WXIM2eG\g(\Ŋ3<2@As4+Dt-Gk #ҿϹ\lU دD2,4:>^0n{X2G sM*+IsiX#ɣY}ʵԜH7&IQo"Fe!QwZY.Z"05:t, K6{J\qq7K&A7!%n Da6^Zp#&(G!;aXZk㶭5K0r|EH\мQ(GbGqq7foX@/I/VKI:5AucNrGƿvTNaؖl$߻ .ƴ+&3e I$>yWzn*8׷W5-m%eStԜH_UQʸZy*f8W#_ܬG geWe_MmKfJ= <f\ѐdMps~0ywm-ވGt [CΛĬl۽Xב")ċMc2m1a 1,5mq ϮƂ 8RؐAXoYSHYpAȟ.-DhBP1] {zpѬgYZ xxuj % 5d<%''[Skݤөxg0I$lu^ި!qQ7Lv_sYP; چnc>aiw$[2(y2JWMG~gbE H-$/YMI{U!Y?5s`i~>a>t9~at#Q,h (8c.=l~&B²!Aoz!U53ep"6GRbnt. JR6K.Ħ{:,l$ wS/R% qp2Ûuʩ*- J'W|oܞ ܝ߹T욤wvr B0е|V, u[;pP"D[Xe(:%A0]X"jchM 򑁈t_wY*trf 3CpW}a"gW=A68qF]L[DҖ4q^r|*#f:t"VdPUeܸ#]UΏG#{kB~¯ޗGM- F-}M,6ge[_ t.K"[:Tjs7 PCʬ$ c$'u^>hVAW{,a˕4KHϱ{L܀ǂP:k}Tk@CqBQ(#J1J!by& oU?֔/yZ|ImHK%L{ c0j%S鱕MATG}=im@lQvj }?̭,`= pZE ^ID&s8ϫT>Xgr鿂ٽ To~n6PMavez޳f?H[z"0NpLXO}[OPb[?M)Ქ‡?99m{էXmb"xR"BPf%dFW~z%mbͽGl*N7!zH$>v] 2izRN7q,~R؏lǭ^L|2u%W5 0k7{7-nGE_)XpC's-e8)t8rM Ԩ*X-l0tceɝ/ S%;vs:Ԑʈ,HCS*\xSœw!f W<էcHjľV:WYd`,q{a=ۆJ ؁mL@ц_8)Mӌ//s_q;2wzg.7UȰYlnl8**ޡCrG90U5j^s9oIݥᢔD҄$HUd]vj `'*rmiJLNܭ J<;ȟ]{Ŀr&m*Mofxiu!RZyMʪE cwpNQsׄ~5eӭQ`o{H hqIG 5~ vY͌DV&Z$+Y^N*)yi,h A2ELCom`J[eM&*vTc>'Otix.Ӂ֞hmNNDӱ2#ҕxpTNjNiôF)͇ݐo]s@e/%lȟچ7*6nnM yMA"X[zWvm,5V#oa&'zkyn'p 4fLkS DZw<U&<\`VY`x:UMبJ$\rGo6ڻ ;qݘ&?$Y4\cX&'p q7d?#QQ?kܚ#q,/oWd"L`ZߋP%6?W|VPcFU섞Q #rxy*c|н.<~|l[.f*6l x媫I0X.I:t7j g" #J }b'^  jx q 9bs/+.[6-t4($#Zyk4KD7eJB=#%.11]^Xu*ܣ֍Id|VTo%yڶXwwV$u|nvEC(%"W_!f;^ TB'kwmt3:}^WEsbҝ@{55B7RRYQytJg&nKUE\<:{I{&˜ѹZ(<To^hEҞr~68[~ܔD3s6r<./]<@SF`JXn[=ϻ{λ{uL)OݸYϮyNPWKOBב*<(צ7 &Su Q\~xH¤ai*/%֕_6yN̥_EZ*V)L~^C% ]yaԂ@I΅n {Zk<)AVgY|he.e+($ׁ!gYZ