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   nlT| ] ]Pure:threads=1elapsed=1.068cpu=1.072gc=0.000factor=1.007zXZִF! m]ŗXf1-ƕɸfn쉟8"7+b[SDsmmu_;GnWW*,1/OJ_QgYZ7zXZִF! a]ŗXiɟ˚Ћ. k$w|f 1^j7A rbx-Wo*\f^XRWNli{ Ugf4 |&O}HbgYZ7zXZִF! l]ŗXi%GS& 1{JCVλ &_AgjHB*x?pfxC9XgkSϖ͟\[dIR" 'O,sb "JDE{>U4 [>!lqJ3_fzqG9QkVQ#x3[iL?yV n]m_yMԇ/7VQbOl A>VYp&%Kh}jDYLZp`~tSLli4 {_[7jn΢q޷f%Go*G+ýVF-zس] »,3[G.E:Hbwx'+GoJi%}G*#H@Rt!Rv U\O$X7P4z{QIz27ӤV])0gYZedec8416ff04af0c1d47bf29532ecaf73517afddd165351d8fb2a7c2bd424b8b72ad6e8843eb6fe6  Pure  OKF9R! |PurePureproofs/6567zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU7J7l>m+3S.)gYZR! |PurePureproofs/6547zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU 0U,EDJ`ll$`9A.)gYZ~! TPurePureproofs/6527zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?D Ԑxϛ"s^NX6Tq7dc gYZ.! 4PurePureproofs/6447zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ:L`^igYuR˸o:;gYZ.! 4PurePureproofs/6427zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱIXL8K|j: =%o:;gYZ! \PurePureproofs/6407zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE .R1`hKBT e9EYDZgYZ& ! $PurePureproofs/6327zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7x(BR|s ~ X4e^gzӱgYZ& ! $PurePureproofs/6307zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7Zդ8~zphS!gzӱgYZ ! \PurePureproofs/6287zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF h #Z0LgtJ=k]SgYZ* ! ,PurePureproofs/6127zXZִF! N]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2f}sL ;T 3e`T1jqgYZ6! DPurePureproofs/6107zXZִF! \]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@rţ΀/."-rEqߏAig1}2| N[x\w/gYZ*! ,PurePureproofs/6027zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd +^j e/v}"ј!ъk]SgYZ*! ,PurePureproofs/6007zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd v]o.ԓ݄Wk]SgYZJ! lPurePureproofs/5987zXZִF! >m]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4667zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4507zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4347zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4187zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV b P C3% e *  m R 7   z _ D )  l Q 6  y ^ C ( kPv[@% hM2kR9 qX?& w ^ E5)PurePuretheory/parentse-PurePuretheory/constdefsd#PurePuretheory/thmsc%PurePureproofs/42998b%PurePureproofs/42992a%PurePureproofs/42986`%PurePureproofs/42980_%PurePureproofs/42974^%PurePureproofs/42968]%PurePureproofs/42962\%PurePureproofs/42956[%PurePureproofs/42950Z%PurePureproofs/42944Y%PurePureproofs/42938X%PurePureproofs/42932W%PurePureproofs/42926V%PurePureproofs/42920U%PurePureproofs/42914T%PurePureproofs/42908S%PurePureproofs/42902R%PurePureproofs/42896Q%PurePureproofs/42890P%PurePureproofs/42884O'PurePuretheory/axiomsN'PurePuretheory/constsM%PurePuretheory/typesL%PurePureproofs/42554K%PurePureproofs/42522J%PurePureproofs/42518I%PurePureproofs/42516H%PurePureproofs/42512G%PurePureproofs/42508F%PurePureproofs/42500E%PurePureproofs/42484D%PurePureproofs/42480C%PurePureproofs/42424B%PurePureproofs/42420A%PurePureproofs/42418@%PurePureproofs/42414?%PurePureproofs/42410>%PurePureproofs/42402=%PurePureproofs/42398<%PurePureproofs/42392;%PurePureproofs/42382:%PurePureproofs/423789%PurePureproofs/423728%PurePureproofs/423687%PurePureproofs/423626%PurePureproofs/423125%PurePureproofs/423084%PurePureproofs/423063%PurePureproofs/423022%PurePureproofs/422981%PurePureproofs/422940%PurePureproofs/42280/%PurePureproofs/42276.%PurePureproofs/42268-%PurePureproofs/42190,%PurePureproofs/42186+%PurePureproofs/42184*%PurePureproofs/42132)%PurePureproofs/42128(%PurePureproofs/42096'%PurePureproofs/42092&%PurePureproofs/42090%%PurePureproofs/42088$%PurePureproofs/42042#%PurePureproofs/42038"%PurePureproofs/42006!%PurePureproofs/42002 %PurePureproofs/42000%PurePureproofs/41998%PurePureproofs/41996!PurePureproofs/724!PurePureproofs/722!PurePureproofs/720!PurePureproofs/712!PurePureproofs/710!PurePureproofs/708!PurePureproofs/700!PurePureproofs/698!PurePureproofs/696!PurePureproofs/656!PurePureproofs/654!PurePureproofs/652!PurePureproofs/644!PurePureproofs/642!PurePureproofs/640!PurePureproofs/632 !PurePureproofs/630 !PurePureproofs/628 !PurePureproofs/614 !PurePureproofs/612 !PurePureproofs/610!PurePureproofs/602!PurePureproofs/600!PurePureproofs/598!PurePureproofs/466!PurePureproofs/450!PurePureproofs/434! PurePureproofs/418 9W  b OKF9R! |PurePureproofs/6567zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU7J7l>m+3S.)gYZR! |PurePureproofs/6547zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU 0U,EDJ`ll$`9A.)gYZ~! TPurePureproofs/6527zXZִF! c]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFoY&P!^&QsGX:T&?D Ԑxϛ"s^NX6Tq7dc gYZ.! 4PurePureproofs/6447zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ:L`^igYuR˸o:;gYZ.! 4PurePureproofs/6427zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱIXL8K|j: =%o:;gYZ! \PurePureproofs/6407zXZִF! ]ŗkd 諁jmQdl;wdf0akE\ScmkU?exXPUaN*JBKa 5*(VDg2eȭ/H. ` WE .R1`hKBT e9EYDZgYZ& ! $PurePureproofs/6327zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7x(BR|s ~ X4e^gzӱgYZ& ! $PurePureproofs/6307zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7Zդ8~zphS!gzӱgYZ ! \PurePureproofs/6287zXZִF! ]ŗkd 諂# VtRzFb1Qs DǓr6xl WUˠZ]c.<D<"OD,~R3UdF h #Z0LgtJ=k]SgYZ* ! ,PurePureproofs/6127zXZִF! N]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2f}sL ;T 3e`T1jqgYZ6! DPurePureproofs/6107zXZִF! \]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@rţ΀/."-rEqߏAig1}2| N[x\w/gYZ*! ,PurePureproofs/6027zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd +^j e/v}"ј!ъk]SgYZ*! ,PurePureproofs/6007zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd v]o.ԓ݄Wk]SgYZJ! lPurePureproofs/5987zXZִF! >m]ŗԠQP@KI,%Q7B1(PRm$C(8b1]4UXtC`uqKMƣ@W^zK'mNgYZ^! PurePureproofs/4667zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6,gA@!=f6.G@u*ȏ3kgYZF! dPurePureproofs/4507zXZִF! k]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*D<t.`005`5ݱgYZN! tPurePureproofs/4347zXZִF! r]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!YmXO1}=?ogYZ&! $PurePureproofs/4187zXZִF! K]ŗԠQP@KI,%Q7B1;L?x,0~eI$b귫NV 3gt~ gYZ . m \ +|\q%% TPurePureproofs/420907zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03v?\^P/,Jgnf?.}R}B-+gYZH$% dPurePureproofs/420887zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/420427zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝Qw;3= Zس(0qn{$lWgYZh"% $PurePureproofs/420387zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{wTzUE|S3ڑ' j }AOSچn0gYZ4!% ! TPurePureproofs/7247zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H8Ԗkst :AlSAgYZ>! TPurePureproofs/7227zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`H딐mzXS ˝} SAgYZ*! ,PurePureproofs/7207zXZִF!  ]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB3t̏"wA 6hwAo[UIX憲"{M. :wgYA KuFE}gYZ>! TPurePureproofs/7127zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#5sO:twQt}䁱gYZ>! TPurePureproofs/7107zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2j 5ZHBX*wQ~)pgYZ! tPurePureproofs/7087zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B==|!m4мD ;['0 5Bm!䕺LճRG_d*1˳y1rHC~g⼜BֆȤϗkföugYZ>! TPurePureproofs/7007zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kuiCQ̍n<N326}䁱gYZ>! TPurePureproofs/6987zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2kq Y\yKTFDAdc}䁱gYZ! tPurePureproofs/6967zXZִF! v]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй!/QiEF>.+^ A%o䞩gYZ >"   6>l3% ,PurePureproofs/423067zXZִF! S]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQz*\)Zfp@yf'#si͍zʳCFv Nx)2~ۿ -嚈] -3H~Šc)&,JY'vJk3Z(k$ER!j/:R97y/%w gYZH2% dPurePureproofs/423027zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ [5 6IL#^Kyn1YصӠ"$9ح(d7[[-@!k2y . 7@7fαgYZ1% PurePureproofs/422987zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծq͂,,TH,Q.TЗzδ$j?&OEU-7.0TP/2ls~p۔ Q)gYZ0% PurePureproofs/422947zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#/\F}XɨjSWڭPq4bQR <(KT gYZH/% dPurePureproofs/422807zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTVcⓉ-h2?u&/dqN reʔ=1<'FC戹~ .)BX.y!S#ƾr{Pr$dԤGA=igYZ.% PurePureproofs/422767zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL9z(op}DOȵH) g{r|*bD ޣUgYZ-% PurePureproofs/422687zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒӷNzӓx Tނ؛7Dzb+Y3 PT gYZ,% \PurePureproofs/421907zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%DM>D{Kc٘H'㊽D]:,Xǵ'b#3/`EQKQ2H ]wT3FXsŽ#ƠEhEm[J gYZt)% ƶ1bXⶕs_x6GvI~^gDՌH]gYZx&% DPurePureproofs/420927zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxKHOp{M 5+xD:._<3:#{%XI+wgYZ  C < g pC% 4PurePureproofs/424807zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP*<"]Dzka Gᛕ1 !.z|$T 嚘5 gYZXB% PurePureproofs/424247zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo _,U/29`Em?̸MjĶgYZlA% ,PurePureproofs/424207zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z&UN E=pS}7eT)wb(SbBh~Tx BgYZD@% \PurePureproofs/424187zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H eJ3V-^y L!luGjB W\J$Љ~# #lJLvL16:0.iPDcU෦꿓ܩ w3HHet7gYZ ?% PurePureproofs/424147zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVMvpbciʔ*byyGӲLLRhÝf⪅)M#(PJUS+#MZ 0gYZ>% \PurePureproofs/424107zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xNZ%` _##o-u8!e%A͛r֓` |y7gYZ(=% $PurePureproofs/424027zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%6qMX+HAXhwY \gYZ<% dPurePureproofs/423987zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~O2 tX߮?Te^DRзVd2yK6XdI I*gYZ$;% PurePureproofs/423927zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(:% $PurePureproofs/423827zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0etsB*,j.~/>3@^'f}{ :q&!ߦq;zɾ(<>ʄKګ&VZ<҃KT3Rt='QgYZ9% TPurePureproofs/423787zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#O ?] 6/=>h,@-Gl~D!-o&%s`agYZ$8% PurePureproofs/423727zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ7% \PurePureproofs/423687zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDtޮ/$++a*ʂOį3$ee_{N\:`!{;\\N:ȱgYZ$6% PurePureproofs/423627zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|5% LPurePureproofs/423127zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fnبBDB%J}{\{v ;,gYZ4% |PurePureproofs/423087zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܚX|`ު)+yw`SO*n,5_U[ / .2gYZ  /  HE-~TP% |PurePureproofs/428907zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl/kYbN%3f``\ Gu1eRgYZ,O% ,PurePureproofs/428847zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eap?$YW;ZXrHilR2gYZIN' dPurePuretheory/axioms7zXZִF! j]a0{rg+5\CJHa=O݅vBH_}8_]F% `]J =_0]Nv1O[SçX5z;@q^J9ԠV>? s;|ImXt`1BSGƸ?st?wHu7PX)W$mI̢66HT_fͧǾb9P@SjuummpZ@M8Gu}?*@t7/jX-3`5RRlƧdtll !{fB}I>*\)ZV 4 OgzIܫU5 2.tB^wyB1LHC,Z*N8ٹ4䍬E5h~~?)HjYZ[()bm[/H\q/GBvq8 :Vlߔ첲P^+^ampt}IYUy3RHG׸-3{FWgYZIM' dPurePuretheory/consts7zXZִF! $]a0{rg+5\YvCunR[EkK]|-GBSM{Rl !DMmR$x#}; G:mA+eVF'ˌ蓆di:DRnF7 Tí7&Sj{^~PM&^nyy+Ѽ~3{;ϥlN3fRw]M'Hlbǃ.^hf 6ol#RaЭs[=EDwjʣd#S1PZQ)iW ft _-z„jrǵa6IAI7ȱqJ/ggmTb]ӈK`<}hD#Fw؎2̄Sl2T=? ±gYZ\F% PurePureproofs/425087zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p0-)=<&}:a m&YpP.gYZ`E% PurePureproofs/425007zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘈2nCc;PtVР&UR-޾gH["ؓ%RFfgYZ D% lPurePureproofs/424847zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#b UI#I$֢mE&&faܭѲrOq9F~7]'̸?GMFA<~9ie_W.[gLF1˗p~ IJu9U2'QbH#wWi&D ?igYZ N-B 9 )f -N\b% PurePureproofs/429987zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT;m$DѬP*;P8rUo/^zm3y{VNWhL Ķ"gYZ|`% LPurePureproofs/429867zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"fn>er-(xh Q4S%,gYZ_% TPurePureproofs/429807zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%DM>jӁ|#f܄DHw$#|m gYZt^% hg}-*Sk<,`gYZ`]% PurePureproofs/429687zXZִF! ]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs_x6Q-I>/^gt*^˪-֭]gYZH\% dPurePureproofs/429627zXZִF! }i]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝Qx/lZ#t]z`dqWNѱgYZ4[% {#2nr < 2.%C=Z.c~)pgYZ@X% TPurePureproofs/429387zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2km;x<ïIT;~х,}䁱gYZTW% |PurePureproofs/429327zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU#[ʩ 1@.)gYZ0V% 4PurePureproofs/429267zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ:3ZCKs=c,o:;gYZ(U% $PurePureproofs/429207zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7}TSkGl CԅIgzӱgYZ,T% ,PurePureproofs/429147zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2f'~;v^GҔk]SgYZ,S% ,PurePureproofs/429087zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd (VߞFu߄EK$k]SgYZhR% $PurePureproofs/429027zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8j4Xֳrـ<& ݪX.$gYZPQ% tPurePureproofs/428967zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚]LmnㅵTA.vn7]6gYZ `2`e) PurePuretheory/parents0d- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZKc# lPurePuretheory/thms7zXZִF! gp]a0{rg+5\CJHa=O݅vBI._-"R&`A 'IfTZAc0f'WkhEjBi.Yp9 *%-$E/d0{`P! ʞ#ݫNX@78^m.1IB͜Ռ*G#n9A ))LEK2Ѱ<4kDs_1[Pwhe`ߖJz 4dFL?k ]w>)|00甴Et"TP%9[) 'd$n$-Pl&W:߫N<<̞ 7A2ɉۊE=`0oQ &aʞN .3 *UU0s,В&#VW3r"[No)ON䳔\`W~|5}< -7;* ZZѳ!*ڿE`ׯ{`Rhw7N鍧Z9ڊU#w"^jKEi$=e7 Blγzy7 ~% <@z7K rtq}0sm0b<C+}\Qn4FWprI+#;mF1G}2}df*EٗB5I5 MؿJUbU}hMO <,j]JLrjP頑VM%R4}ZW& t-Վ[ ZzSFfN.F^Z4^Tq  Kc&NrcT/81qz>4s6!f8s a`y5͇7%Ji?Gu RL !0LAZ~Xsl.g?RuqAW)b\=wAK=KK n'v8}N@Kpu HhbCwbKݦڇW:3LUqŚ`Zi(4f+7kut5ۘ]LGD))op{ Ox$J2g`x|E([@=c۱;? YY"Fޚ5M )t?t@lw+Tyzi.!pR¨8sm)~watu:2 aiFIȬ6BiPdcaqO2;KnjD#YDZhDl/TGŝGlݔ4˲K1TovL{!v4dLՐzї*luƺVl3hg $oO};֩hS*DҺA}'X땑dLU͂':J*n@V.ք1]CȐM}FKݟ(Ze׆HiM