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  h hp$L4 ] ]Pure:threads=1elapsed=1.104cpu=1.128gc=0.0007zXZִF! .K]ŗXiɟH)0%o+J6I(OD :Yx.kAtS'a*x,z[z9RpXK~頦TYQ{򒍱5E^!dN9.-7 ~ -YgOě-!ļ3JFLuh-w4ك9nTnK"LZgV HTz Byr˷Ȥur\Tb(N']߈Ƣ<7J˨`Ax2WqrEp4*txH6rjS&=+ ;YèׁH<*!#!DʙϪˀ8+nJoyCdi'-ޓKZl]qa"6O7Y8\xbOX|+!/̀5:kC=&PMhsz}m 1l_OHA3rȨ^Q.p'zsS%~tlb"oI=&FVd`ux.&=x!t"H:c|DQG֮E4:JPu`Lj-JD1a἟;N".mA r_4{v;xuهYxSBb`I;mt1{0sm -O%P9}rtk]b!07vgYZ7zXZִF! `]ŗXiɟ˚Ћ. k$w|f bUhlp1gcfy8ޜߚlL}}[5t""w%;Rik(b2Mblz4h|.L4/|>ұgYZ7zXZִF! ]ŗXi%L&ó~:)C{/|:#lo5]|5Vtx@3 Tmwk XbP߶ ^&ZP]B8]!3ܰsT9nku-$,:z,%x~ |Y)!A P_'%""2+S3%8RF>M𭢣H i'-5no-)ɥ KqZ=DQ;&>)M5 |&Bj;tw?ƪ'w27si2Z&cQIhBئӉjaAoAJ"hQ S"cALi% sMӱgYZ10d00b7ea8837d7c2f69b5c8832df6e7a56baf399aadd396dde0a279b6a4eb62f8f2ff37640b410b  Pure  OKF9R! |PurePureproofs/7107zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUEfMãfzd|(R.)gYZR! |PurePureproofs/7087zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUE0m#P_.)gYZ~! TPurePureproofs/7067zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?քKp^ySs_dtgYZ.! 4PurePureproofs/6967zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱƫ Bۛ#o:;gYZ.! 4PurePureproofs/6947zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱdF)IɩZ 8ylo:;gYZ! \PurePureproofs/6927zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE dDT5DDZgYZ& ! $PurePureproofs/6827zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9!MpQQ7uQZa{gzӱgYZ& ! $PurePureproofs/6807zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy8 3g z#NOOMŏ .gzӱgYZ ! \PurePureproofs/6787zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hźScu~uO k]SgYZ6! DPurePureproofs/6567zXZִF! \]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@rţ΀/."-rEqߏAig1}2| N[x\w/gYZ*! ,PurePureproofs/6467zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd IRdp^هԽ\9|k k]SgYZ*! ,PurePureproofs/6447zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd IGO 7xVbL?k]SgYZJ! lPurePureproofs/6427zXZִF! >m]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4767zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4587zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4407zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4227zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV a P B3% i *  m R 7   z _ D )  l Q 6  y ^ C ( kP5v[@% hM2ukR9 qX?& w ^ E<[)PurePuretheory/parentsi-PurePuretheory/constdefsh#PurePuretheory/thmsg%PurePureproofs/46056f%PurePureproofs/46052e%PurePureproofs/46048d%PurePureproofs/46044c%PurePureproofs/46040b%PurePureproofs/46036a%PurePureproofs/46032`%PurePureproofs/46028_%PurePureproofs/46024^%PurePureproofs/46020]%PurePureproofs/46016\%PurePureproofs/46012[%PurePureproofs/46008Z%PurePureproofs/46004Y%PurePureproofs/46000X%PurePureproofs/45996W%PurePureproofs/45992V%PurePureproofs/45988U%PurePureproofs/45984T%PurePureproofs/45980S%PurePureproofs/45976R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/45792N%PurePureproofs/45758M%PurePureproofs/45754L%PurePureproofs/45752K%PurePureproofs/45748J%PurePureproofs/45744I%PurePureproofs/45736H%PurePureproofs/45718G%PurePureproofs/45714F%PurePureproofs/45652E%PurePureproofs/45648D%PurePureproofs/45646C%PurePureproofs/45642B%PurePureproofs/45638A%PurePureproofs/45630@%PurePureproofs/45626?%PurePureproofs/45620>%PurePureproofs/45608=%PurePureproofs/45604<%PurePureproofs/45598;%PurePureproofs/45594:%PurePureproofs/455889%PurePureproofs/455328%PurePureproofs/455287%PurePureproofs/455266%PurePureproofs/455225%PurePureproofs/455184%PurePureproofs/455143%PurePureproofs/454982%PurePureproofs/454941%PurePureproofs/454860%PurePureproofs/45402/%PurePureproofs/45398.%PurePureproofs/45396-%PurePureproofs/45346,%PurePureproofs/45342+%PurePureproofs/45340*%PurePureproofs/45286)%PurePureproofs/45282(%PurePureproofs/45248'%PurePureproofs/45244&%PurePureproofs/45242%%PurePureproofs/45240$%PurePureproofs/45192#%PurePureproofs/45188"%PurePureproofs/45154!%PurePureproofs/45150 %PurePureproofs/45148%PurePureproofs/45146%PurePureproofs/45144!PurePureproofs/786!PurePureproofs/784!PurePureproofs/782!PurePureproofs/772!PurePureproofs/770!PurePureproofs/768!PurePureproofs/758!PurePureproofs/756!PurePureproofs/754!PurePureproofs/710!PurePureproofs/708!PurePureproofs/706!PurePureproofs/696!PurePureproofs/694!PurePureproofs/692!PurePureproofs/682 !PurePureproofs/680 !PurePureproofs/678 !PurePureproofs/660 !PurePureproofs/658 !PurePureproofs/656!PurePureproofs/646!PurePureproofs/644!PurePureproofs/642!PurePureproofs/476!PurePureproofs/458!PurePureproofs/440! PurePureproofs/422 9W  b OKF9R! |PurePureproofs/7107zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUEfMãfzd|(R.)gYZR! |PurePureproofs/7087zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnUE0m#P_.)gYZ~! TPurePureproofs/7067zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?քKp^ySs_dtgYZ.! 4PurePureproofs/6967zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱƫ Bۛ#o:;gYZ.! 4PurePureproofs/6947zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱdF)IɩZ 8ylo:;gYZ! \PurePureproofs/6927zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE dDT5DDZgYZ& ! $PurePureproofs/6827zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9!MpQQ7uQZa{gzӱgYZ& ! $PurePureproofs/6807zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy8 3g z#NOOMŏ .gzӱgYZ ! \PurePureproofs/6787zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF hźScu~uO k]SgYZ6! DPurePureproofs/6567zXZִF! \]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@rţ΀/."-rEqߏAig1}2| N[x\w/gYZ*! ,PurePureproofs/6467zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd IRdp^هԽ\9|k k]SgYZ*! ,PurePureproofs/6447zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd IGO 7xVbL?k]SgYZJ! lPurePureproofs/6427zXZִF! >m]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4767zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4587zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4407zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4227zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|\q%% TPurePureproofs/452427zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03gGH5r-3@z]al|ӏq(l|>B-+gYZH$% dPurePureproofs/452407zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/451927zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1ˠNrN=Qi64TcnfBlWgYZh"% $PurePureproofs/451887zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{x-TI<2$#o Yd\i=P0gYZ4!% u5§@3mgYZh% $PurePureproofs/451487zXZִF! 9]ŗԠQlP@K!7; [|EuoP u@Z %{ޭ% &eF̗D0 R}DQh>Q'X ~}*@t[fyw={ em2GgYZ % PurePureproofs/451467zXZִF! D]ŗԠQlP@KI,%Q7B1(P׬{Y*h4UZaa90QM !`8_gYZ,% ,PurePureproofs/451447zXZִF! N]ŗԠQlP@K!7; [ $F(q#sY2۽O*Oj0zYgYZ>! TPurePureproofs/7867zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H|ܠKh-)ӌ}]YSAgYZ>! TPurePureproofs/7847zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`HrX2mK'`*v}SAgYZ*! ,PurePureproofs/7827zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7727zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2 sbl81r~)pgYZ>! TPurePureproofs/7707zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2тJTe_$]|~)pgYZ! tPurePureproofs/7687zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7587zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{@C7mtu͸۾5^v=}䁱gYZ>! TPurePureproofs/7567zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{< I8O<ENl!}䁱gYZ! tPurePureproofs/7547zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ R"   qR3% PurePureproofs/455147zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#0wmO=…;P=V-IK- gYZH2% dPurePureproofs/454987zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdT邒t-(Gm'ˈGXRrY#P/M8H):y3^UfM~f%]}B ϗ;VP$gYZ1% PurePureproofs/454947zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL!$3I:Hγ5UTYw渚P~zp gYZ0% PurePureproofs/454867zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒB^\3fkm0)Alu Y%z(g0@w< gYZt/% )8ɱgYZ.% tPurePureproofs/453987zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^I9XmlRwqY.^C9%+jFyɸk|?OlU@1J#5`H#"_1iq]ACxx_]=MT)DГƈBBy2K6FRM~ gYZt)% ƶ1bXⶕs_ѝfOhW] LJtܮ3NgYZx&% DPurePureproofs/452447zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxL: ŗ4M48dCV'MaF͚I2gYZ  # fc1& B% PurePureproofs/456427zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVMb A4еzXC~$bKX8M,,*==c HagYZA% dPurePureproofs/456387zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`x͕QHJ=@m`_zlơ~0| ǧYOPrH`?[s5' I*gYZ(@% $PurePureproofs/456307zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3% jG{ͺ[8^K% PurePureproofs/456207zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/456087zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0ety=E"?Ůdv\! Ujb@4J.OsIb9ez YIa=3O(7lN85uDt{o)SU ABXqD Rf>e'U{ku^-`H _$IgYZ$9% PurePureproofs/455887zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|8% LPurePureproofs/455327zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gD-d_KWjHs3=,GK,gYZ7% |PurePureproofs/455287zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܭD_в_S?"8Ifc(}}i. .2gYZl6% ,PurePureproofs/455267zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQ~.yĘyl(m_`ȗmS"7 }+6!Gz4ߖ(Y(oc0x*0Aڃe^y=W5-e.+nC4dyv g'R/g8gYZL5% lPurePureproofs/455227zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ R.r; FC>ً!WQ̀k@ r' i]P_> U2?81OugYZ4% PurePureproofs/455187zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzY-6Oϙ 򌛍ۡ%f >%U_ gYZ  '@AEP' \PurePuretheory/consts7zXZִF! "]a0{rg+5\YvCunR[E.ёU7MȬ˦ܳpެy>Z6&bL(֊1έ 3g􍽩9Fw _,%$ĩOn7Wٻ Ji8>Nn*į/(UU1]D/ZH(#q[᡼'$p ^3\\,p"F.- wF8?c7:Y[gYZ,N% ,PurePureproofs/457927zXZִF!  N]ŗԠQduFSB[I9nS kHc0#r@68 Y'XUjFޱgYZ`H% PurePureproofs/457367zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘈2nCc;P}`rћT,H=;}\$ H;<RFfgYZ G% lPurePureproofs/457187zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#b UI#I$֢mE&&faܭѲrOq9F~7]'̸?GMFAM&D503)f kuz1|(!H% n)aK' x5 ?igYZpF% 4PurePureproofs/457147zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZPv^o7hmJےslCjs M{5i:dgYZXE% PurePureproofs/456527zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo87sn?߫f 9v=jĶgYZlD% ,PurePureproofs/456487zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z'm(]nMѡ£tJ`cn]B_E u&HU} BgYZDC% \PurePureproofs/456467zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H +R  [pcp[[z|AYq <ߣIIvνME\s^_M0VxD)=FCnɂ[6nsR3<3,V4!,>^?֙=)3gYZ  8 E8aata% ƶ1bXⶕs_ѝrsK]»DĸA]gYZH_% dPurePureproofs/460287zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1ˠN ]kO;|O 6?-lWgYZ4^% {#2-pWGW BaЫ Rn~)pgYZ@[% TPurePureproofs/460127zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2k{D]֙#9 3%aP h}䁱gYZTZ% |PurePureproofs/460087zXZִF! v]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU g hL6PwRpQgYZ0Y% 4PurePureproofs/460047zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ¹K\Ȭexzo:;gYZ(X% $PurePureproofs/460007zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy9 >QP7t!A OgzӱgYZ,W% ,PurePureproofs/459967zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2fw}q<[†ɐ+NSk]SgYZ,V% ,PurePureproofs/459927zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd I^{!I'gk]SgYZhU% $PurePureproofs/459887zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8k*؆:xZwLV@*V:$gYZPT% tPurePureproofs/459847zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚_w@h9vp7]6gYZTS% |PurePureproofs/459807zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl/wd:5``s!2릪RgYZ,R% ,PurePureproofs/459767zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eap˾lm堶,GzSΊlR2gYZEQ' \PurePuretheory/axioms7zXZִF! g]a0{rg+5\CJHa=O݅vBI.^G-EFv3%3k!Lk KcSd%&3ךgYZ y  ( IKyi) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZ{g# LPurePuretheory/thms7zXZִF! u]a0{rg+5\CJHa=O݅vBfI`*CS^]w~*ݲ筥s<@z>>qp㤾iH^U@ pzXRc_`|,?Ջ1j-H vU]eE F¹|F5Ek%i9/uwfY B [D ɷu@[LM'Q'ZP[s7 d*+jXҸnL]`Z}3qLMeNLc$h7IAG+Y+=|I".y|ꢴP=eN$>uKkv&"=>L*6XՑ{Dlgt w5ft>`Gy0 ^p Pu}5 0n)~Z]-.p H;>Aӻjtޙ~"-U :Cg]D[6&i8CaS:"Uwn+T甖%1W.E͍yF{Y] Csv+ uu=@q޻I莛"j̑lS2mC(KtDP5?5 Zjjlģ7&~6glA|^el$uE8{0&"tZ ը RpQ;0̮hX`!kjaQ˘ I 3r-C]އ!2~݊qI;  9:e~nyi3~ (2+{wV2@&X jCsxT>%\PXgI1 fS HP~p̞ GDɳ0l_mW@[ޓH!ic\<KUE~.H{[^E jP@Lr{W |G`Oz%; ]r6S^3:6HPYx;Pݬc+fLO4>7@=>0o+I]m[3ܕ2>Dvp,__jrf"NK gvAҐCvGP>]}rE#$4Ѝ'm#D ؋݌ԭOh֘ԼNLlTJkŒc =-9hhgϮ4ESr#ǟG9PZ^.EbGyqEY*1,4]뗘[6&%I^@lZ7U2Fӫ J2oTs6{V>aaf ͂^ಓc,U A9:"~1#z0 U};w:_'Ӆ3Hfdi9d$5m學ihC*6e:4/;sޘZe6$uҎ9nM)FʉQ%ߛ{`=h!`{"gYZ\f% PurePureproofs/460567zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUodM zQ/u]bjĶgYZ|d% LPurePureproofs/460487zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gD- ^>\I_O,gYZtc%