SQLite format 3@ g g.0:  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   jlTt ] ]Pure:threads=1elapsed=1.000cpu=1.004gc=0.000factor=1.007zXZִF! n]ŗXf1-ƕɸfn쉟8"7>̧iOnǵR'hҊCkP2}ghsy;doF*)R5&ebzX`gYZ7zXZִF! a]ŗXiɟ˚Ћ. k$w|eϣ> (zIbo9%9z6ٺJqFsB9}G`ޚwoTOkw>>$ 6}HbgYZ7zXZִF! l]ŗXi%G̉IoKԍ%vF]32V|R?;5p$k.t?qZSWJlUz/O-E=-8[)KZ8Y6x>%.;1 Ƨ%ѥ] \UQx xIos:fʼne ogYox"=_^ z(A!adHf+]mD?">;䴼@,0bޫA?2J~%g#!;XB X$]8BL٭ (IXgghmm+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/43988b%PurePureproofs/43982a%PurePureproofs/43976`%PurePureproofs/43970_%PurePureproofs/43964^%PurePureproofs/43958]%PurePureproofs/43952\%PurePureproofs/43946[%PurePureproofs/43940Z%PurePureproofs/43934Y%PurePureproofs/43928X%PurePureproofs/43922W%PurePureproofs/43916V%PurePureproofs/43910U%PurePureproofs/43904T%PurePureproofs/43898S%PurePureproofs/43892R%PurePureproofs/43886Q%PurePureproofs/43880P%PurePureproofs/43874O'PurePuretheory/axiomsN'PurePuretheory/constsM%PurePuretheory/typesL%PurePureproofs/43544K%PurePureproofs/43512J%PurePureproofs/43508I%PurePureproofs/43506H%PurePureproofs/43502G%PurePureproofs/43498F%PurePureproofs/43490E%PurePureproofs/43474D%PurePureproofs/43470C%PurePureproofs/43414B%PurePureproofs/43410A%PurePureproofs/43408@%PurePureproofs/43404?%PurePureproofs/43400>%PurePureproofs/43392=%PurePureproofs/43388<%PurePureproofs/43382;%PurePureproofs/43372:%PurePureproofs/433689%PurePureproofs/433628%PurePureproofs/433587%PurePureproofs/433526%PurePureproofs/433025%PurePureproofs/432984%PurePureproofs/432963%PurePureproofs/432922%PurePureproofs/432881%PurePureproofs/432840%PurePureproofs/43270/%PurePureproofs/43266.%PurePureproofs/43258-%PurePureproofs/43180,%PurePureproofs/43176+%PurePureproofs/43174*%PurePureproofs/43122)%PurePureproofs/43118(%PurePureproofs/43086'%PurePureproofs/43082&%PurePureproofs/43080%%PurePureproofs/43078$%PurePureproofs/43032#%PurePureproofs/43028"%PurePureproofs/42996!%PurePureproofs/42992 %PurePureproofs/42990%PurePureproofs/42988%PurePureproofs/42986!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 \ +|Xm%% TPurePureproofs/430807zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03v?\^P/,k2nP@ؗ~ ׶OrpB-+gYZH$% dPurePureproofs/430787zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/430327zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞E<;zAm1@ 0qdcklWgYZh"% $PurePureproofs/430287zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w]lH6_Cސ\L";a!0gYZ4!% ! 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 B"   6Bh3% $PurePureproofs/432967zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQz*\)Zfp@yf'#si͍zʳCFv Nx)2~ۿ -嚈] n$) aQᗟ)+|\ X9aDAlߕbp`?) D0V;TgYZH2% dPurePureproofs/432927zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ [5 6IL#^Kyn1YصӠ"mTj^:LI=:|BbSr7fαgYZ1% PurePureproofs/432887zXZִ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/432847zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#/\F}XɨjSWڭPq4bQR <(KT gYZH/% dPurePureproofs/432707zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTVcⓉ-h2?u&/dqN reʔ=1<'FC戹eKz 2.%S_9/A=igYZ.% PurePureproofs/432667zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL9z(op}DOȵH) g{r|*bD ޣUgYZ-% PurePureproofs/432587zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒӷNzӓx Tނ؛7Dzb+Y3 PT gYZ,% \PurePureproofs/431807zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%DM$l+[@'`JnW@cI{@HgYZ+% tPurePureproofs/431767zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{vY՟cF޷z &'LU`Ho7nW m坱gYZH*% dPurePureproofs/431747zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\jOAzU3?eci זܐ Eb:^o\O@j<̅s}t1H<Z؉IG`VXWbǛ˃;>D]:,Xǵ'b#3/`EQKQ2H ]wT3FXsŽ#ƠEhEm[J gYZt)% ƶ1bXⶕs_|} B?]eOЭpch\]gYZx&% DPurePureproofs/430827zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxKHOp{M 5,UVܸ M._<3:#{ &UgYZ  C < g pC% 4PurePureproofs/434707zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP*<"]Dzka Gᛕ1 !.z|$T 嚘5 gYZXB% PurePureproofs/434147zXZִF! y]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo5x}"bi7@܊32Ķ"gYZlA% ,PurePureproofs/434107zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z&UN E=pS}7eTQ6탡4Q-,M|{_X BgYZD@% \PurePureproofs/434087zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H eJ3V-^y L!luGjB W\J$Љ~# $}jgU($+)m\_VnN ad/ J:,]Vo71 )3gYZ ?% PurePureproofs/434047zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVMvpbciʔ*byyGӲLL]QUm<%x DzyJR;%i*3-(HR 0gYZ>% \PurePureproofs/434007zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xNZ%` _##o-u.\gY w?jwK ٪gYZ(=% $PurePureproofs/433927zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%-nvfH/JhwY \gYZ<% dPurePureproofs/433887zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~O2 tX߮?Te^DRзVU)z=OwY2[. I*gYZ$;% PurePureproofs/433827zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(:% $PurePureproofs/433727zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0etsB*,j.~/>3@^'f}{ :q&!ߦq;zɾ(h,@-䂗H} p]]/;\VWAgYZ$8% PurePureproofs/433627zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ7% \PurePureproofs/433587zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDtޮ/$++a*ʂOį3$ee_{N 5Y9Ѷ)nCf`;+:ȱgYZ$6% PurePureproofs/433527zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|5% LPurePureproofs/433027zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g}ɘ.An%B.T',gYZ4% |PurePureproofs/432987zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܚX|`ު)+yw`SO*o[w:o%*ι .2gYZ  /  HE%vTP% |PurePureproofs/438807zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl/kYbN%3f``\ Gu1eRgYZ,O% ,PurePureproofs/438747zXZִ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{FWgYZQM' tPurePuretheory/consts7zXZִF! ]a0{rg+5\YvCunR[EkK]|-GBSM{Rl !DMmR$x$pع/?ܢY/:"9 ,}"h6d%UF'}!;s9z0$.h1-/.8Lvй,ao$!3`MFNhZ6։ =`i=]jD ?=c(1pD6R`xOy%^ ±gYZ\F% PurePureproofs/434987zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p0-)=<&}:a m&YpP.gYZ`E% PurePureproofs/434907zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘈2nCc;PtVР&UR-޾gH["ؓ%RFfgYZ D% lPurePureproofs/434747zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#b UI#I$֢mE&&faܭѲrOq9F~7]'̸?GMFA<~9ie_W.[gLF10zZ$)@V ̢~n ?igYZ N-B 9 )f -N\b% PurePureproofs/439887zXZִF! ~]ŗԠQP@K!h㻅c}}?'xiqn/Ea=e?XwT8$& xТXI3uGT^c gYZXa% PurePureproofs/439827zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUoέd;L5 = @2jĶgYZ|`% LPurePureproofs/439767zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g'y -(xh ἺnF,gYZ_% TPurePureproofs/439707zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%DM$|#f܄DHw$#&qF gYZt^% ƶ1bXⶕs_|-I>/^gtprB;.]gYZH\% dPurePureproofs/439527zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˞Ek=,~%s^2.W Q FlWgYZ4[% Ewo]OKrn"gYZ@Z% TPurePureproofs/439407zXZִF! c]ŗԠQP@K!hmapTF`+S&QeӛجV`Z7 :PB`HC"Dvb%2SAgYZ@Y% TPurePureproofs/439347zXZִF! jb]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй)B >{#2nr < 2.%C=Z.c~)pgYZ@X% TPurePureproofs/439287zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2km;x<ïIT;~х,}䁱gYZTW% |PurePureproofs/439227zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU#[ʩ 1@.)gYZ0V% 4PurePureproofs/439167zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ:3ZCKs=c,o:;gYZ(U% $PurePureproofs/439107zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7}TSkGl CԅIgzӱgYZ,T% ,PurePureproofs/439047zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2f'~;v^GҔk]SgYZ,S% ,PurePureproofs/438987zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd (VߞFu߄EK$k]SgYZhR% $PurePureproofs/438927zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8j4Xֳrـ<& ݪX.$gYZPQ% tPurePureproofs/438867zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚]LmnㅵTA.vn7]6gYZ X*wXe) PurePuretheory/parents0d- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZSc# |PurePuretheory/thms7zXZִF! jx]a0{rg+5\CJHa=O݅vBI._Lv[ǵ ",g{h<g^|,@(*yך:c:UMUl&2D88x-݇nAO. PG:Lr<(v0^ 3nSijf. gv{G9 و@Fӳ9PONlcQxs=kB +3|Ik+ګJχh9L$OntIۂ=-{RgkEX?8c~RoFavʻ(}< v |H`hЗ:&*E*K3h8BVsFG[,e]W&^ 3N5S~C[_8Yyn7v@0K"QʵDMa ¢v0[A''K~huxR+GNj^5 3 ;?C Vx{H ®&|FZe%QV 4n|^J+pihMBZ=ϴY*E ݡ nTVv24GA]5ƱUSwWr6-Sn3~J&(T@8Eϴy3Mw ې|WcW/׏_8SKv:̭7B65:BfȒt綴_%AE "f/E 6֒sľ;rcѕҺ+Ɲ_G?upPCI: hEtwid;H8/ :ԭ Oӯ56ؒHrf1Q3䵖p Ҳo!K~}4$3c@,9/pƔd{Z)Ñ[ZɤT1;eHlQ\8ł{"z7SyILOh8+E~3xӡ\a4?hu>iS#WfV W] L5 xr,|]~iK^5CϞNX>K=KPQ7b) Ԣ JA^2^bj`kS I o4qµF8ޞ56ާC|n[-`QH3J㜡ӶZ1Uq׺91:1 7g:ſS L P_[2-[XzKB4B덝0j2싞SȤ!+{-THN2sÐ\[t@Zy q8<'pOB6}Í[?rMZ3{S0f`ݝ.@RsnX<hń6WF88*a$Fp,wtҔT:%n#h gmB,֨>H"]A&Cƫ+g' PQ\pD9gYZ