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  upTt ] ]Pure:threads=1elapsed=1.019cpu=1.040gc=0.0007zXZִF! ]ŗXiɟH)0%o+nv!$ll;w#4 ,.4.el7դ_sUh׵D Faz9Qyڻ^"He>`m1?eM$ĝoOA)ݶ'RY w_6'W[|n9c'|AP2hRRvz Rр^>-$Ύ-V>g&AS}XBP0!b+]MgYZ7zXZִF! b]ŗXiɟ˚Ћ. k$w|eWUNdGNʕ ! 3敹T(qjRqǁ i܀gvmabAK٪ X}KLtܠePNg(~:gYZ7zXZִF! j]ŗXi%L#QG,J3LsVm u2EF#VzӮT|!j\lf>ƹ:(!_0oVhTIf.ڳnHm^l8(Al+T-\cJ<_g#tَ`W& %l'%N%laG,ZjBP@8sGQJК1:)SL+J1}>UXI_Q>\̽2nG:snʫl"Ghq' 5qyX(􈱓C?ͥP^Jֻ@3+ZaTӏ@ňBT=rw= RBnnt"|e(ďVe ֑@^QdLM^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 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/43562f%PurePureproofs/43558e%PurePureproofs/43554d%PurePureproofs/43550c%PurePureproofs/43546b%PurePureproofs/43542a%PurePureproofs/43538`%PurePureproofs/43534_%PurePureproofs/43530^%PurePureproofs/43526]%PurePureproofs/43522\%PurePureproofs/43518[%PurePureproofs/43514Z%PurePureproofs/43510Y%PurePureproofs/43506X%PurePureproofs/43502W%PurePureproofs/43498V%PurePureproofs/43494U%PurePureproofs/43490T%PurePureproofs/43486S%PurePureproofs/43482R'PurePuretheory/axiomsQ'PurePuretheory/constsP%PurePuretheory/typesO%PurePureproofs/43300N%PurePureproofs/43268M%PurePureproofs/43264L%PurePureproofs/43262K%PurePureproofs/43258J%PurePureproofs/43254I%PurePureproofs/43246H%PurePureproofs/43228G%PurePureproofs/43224F%PurePureproofs/43164E%PurePureproofs/43160D%PurePureproofs/43158C%PurePureproofs/43154B%PurePureproofs/43150A%PurePureproofs/43142@%PurePureproofs/43138?%PurePureproofs/43132>%PurePureproofs/43120=%PurePureproofs/43116<%PurePureproofs/43110;%PurePureproofs/43106:%PurePureproofs/431009%PurePureproofs/430468%PurePureproofs/430427%PurePureproofs/430406%PurePureproofs/430365%PurePureproofs/430324%PurePureproofs/430283%PurePureproofs/430122%PurePureproofs/430081%PurePureproofs/430000%PurePureproofs/42918/%PurePureproofs/42914.%PurePureproofs/42912-%PurePureproofs/42864,%PurePureproofs/42860+%PurePureproofs/42858*%PurePureproofs/42806)%PurePureproofs/42802(%PurePureproofs/42770'%PurePureproofs/42766&%PurePureproofs/42764%%PurePureproofs/42762$%PurePureproofs/42716#%PurePureproofs/42712"%PurePureproofs/42680!%PurePureproofs/42676 %PurePureproofs/42674%PurePureproofs/42672%PurePureproofs/42670!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/427647zXZִF! Z]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕ ܊o\gۥNO03v?\^P/,t.*K1WMq̤TY쿹gYZH$% dPurePureproofs/427627zXZִF! }j]ŗkd 諂| Ͼ:b=h2 %Tш7K[Aީ0q"[ߩQ\w54la|B p.EDf(;alWgYZH#% dPurePureproofs/427167zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝UGi3i|96#B'_}7'lWgYZh"% $PurePureproofs/427127zXZִF! ]ŗԠQlP@K!Z7]\c &09Fpb="ىHo[G|]k-7sq`{w 5aw\e;_)՟RF0gYZ4!% ! 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 R"   qR3% PurePureproofs/430287zXZִF! F]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLGծ(cawspe+:!#/\F}XɨjSWڭPq4bQR <(KT gYZH2% dPurePureproofs/430127zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@{$߃{5Wj4[ۅm\^\V·n@|GyڷK/6 )ĞIa-b߷XġdTVcⓉ-h2?u&/dqN reʔ=1<'FC戹N'\'C~eA3CxEe3agYZ1% PurePureproofs/430087zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujsLM&#T EL9z(op}DOȵH) g{r|*bD ޣUgYZ0% PurePureproofs/430007zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWoˮd3s?>wW43DfpDujc,wGVeXGlrÒӷNzӓx Tނ؛7Dzb+Y3 PT gYZt/% P[ZzR&5 5n[o؄G9?}-0y i ϒ$~K$&%-ʟ K-0u 0Sa¼d7#.h)$|0z=KgYZ,% TPurePureproofs/428647zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%DMma$vIdSu&I\n.-&Q#P gYZ+% |PurePureproofs/428607zXZִF! ]ŗkd Zԛr-C`B0vֲޣz^rd@\j8i%'B< Ξ5S(* E|$&8 }̙%N2{vY՟cF޷z &'w&i?2S?} VgYZH*% dPurePureproofs/428587zXZִ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_xOIwn yyO~|8E]gYZx&% DPurePureproofs/427667zXZִF! 2]ŗkd 諂| Ͼ:b=h2 %Tш^ک}3CNt:Y0p8_ 'O>ƶ1bXⶕs4kณrDxKHOp{M 5+ً.W@m!t>|!~}fCgYZ   '   jg5. B% PurePureproofs/431547zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPpڠ C{qsFVMvpbciʔ*byyGӲLL]:W^Bkp D []X?l¶5eT HagYZA% \PurePureproofs/431507zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rPнLHD7M`xNZ%` _##o-u,ҽԤ-CX ^-2# ٪gYZ(@% $PurePureproofs/431427zXZִF! L]ŗԠQP@KI,%Q7B1(PRx3%g|Qz9;7$>hwY \gYZ?% dPurePureproofs/431387zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#is9ʂ~ۖYl?@9 rP#k$[q^Vr66~O2 tX߮?Te^DRзV0>/U fA' I*gYZ$>% PurePureproofs/431327zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ(=% $PurePureproofs/431207zXZִF! ]ŗԠQP@K!h㻅c}}?'y, ꟳ6^L\ pYRzо=jhF$7-X E0etsB*,j.~/>3@^'f}{ :q&!ߦq;zɾ(<.wN,u}J9lI `UK,A^'QgYZ<% TPurePureproofs/431167zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`AǨ`Sj &.t#O ?] 6/=>h,@-l#򁜸svv'Jcpuzx.oa2gYZ$;% PurePureproofs/431107zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ:% TPurePureproofs/431067zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#4Gyknc\l ~V`>3O(7lN85uDtޮ/$++a*ʂOį3$ee_{N ˤI͇EmhHJE=gYZ$9% PurePureproofs/431007zXZִF! E]ŗԠQP@KI,%Q7B1(PRx3{MU) Z%sY ^xajgYZ|8% LPurePureproofs/430467zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"gn<OKV Pf+^'-,gYZ7% |PurePureproofs/430427zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|0D4ܚX|`ު)+yw`SO* y"/o%05C@ .2gYZh6% $PurePureproofs/430407zXZִF! S ]ŗkd 諂{ Ͼ:b=h2 %Tш^?(QoYw朚5-.=N9|4ҩ΋&ZhŁy+293Zj{ξ\%Q\e:JQz*\)Zfp@yf'#si͍zʳCFv Nx)2~ۿ -嚈] G)LW [Ԉ签 5 r ! QTTwTgYZL5% lPurePureproofs/430367zXZִF! ]ŗkd 諂{ Ͼ:b=h2 %Tш^0'Y9Sa3^pqWs4J3dtv4`pYp$#3/*܅amjTLG6br1 ,6khe. RƤ [5 6IL#^Kyn1YصӠ"^ocƝ9Wl쥗@rqe c2kD 8Xea"V|.ž{+c"V g0 gYZ\I% PurePureproofs/432547zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘉&{.6 W3p0-)=<&}:a m&YpP.gYZ`H% PurePureproofs/432467zXZִF! o]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6DoйeL㘈2nCc;PtVР&UR-޾gH["ؓ%RFfgYZ G% lPurePureproofs/432287zXZִF! ]ŗԠQP@K!h㻅c}}?'y,֐J#b UI#I$֢mE&&faܭѲrOq9F~7]'̸?GMFA<~9ie_W.[gLF1?unUV^N/&3XP( ?igYZpF% 4PurePureproofs/432247zXZִF! ]ŗԠQP@K!hmapTF`+S&QeӛجqkD!$Ac텡.ړ-9OP%&" [ZP*<"]Dzka Gᛕ1 !.z|$T 嚘5 gYZXE% PurePureproofs/431647zXZִF! z]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8rUo;Fތ^"2콆0og'}jĶgYZlD% ,PurePureproofs/431607zXZִF! ]ŗԠQP@K!h㻅c}}?'xiqn/Parq Vā>;m$DѬP*;P8߉Z&UN E=pS}7eTPBbc8d_~, BgYZDC% \PurePureproofs/431587zXZִF! ]ŗԠQP@K!h㻅c}*Q' YS]Xk=J G hb'DʈaNPD9ފ.H eJ3V-^y L!luGjB W\J$Љ~# $d.6ӓVC|/aǭxg* Xcq0LiMa6,&d6)3gYZ  4 A4]]ta% ƶ1bXⶕs_xO2UZ ~Wlu(3NgYZH_% dPurePureproofs/435347zXZִF! }j]ŗԠQlP@K!Z7]\c &09Fpb="ىj\1˝UH|%S)8-CTÏlWgYZ4^% {#2nr < 2.%C=Z.c~)pgYZ@[% TPurePureproofs/435187zXZִF! ja]ŗԠQP@K!hmapTF`,Ř؆(iHEWd6Doй#f2km;x<ïIT;~х,}䁱gYZTZ% |PurePureproofs/435147zXZִF! x]ŗkd 諂{ Ͼ:g"ļz!$/8 0nf׉wMi5B7~J {g{zbMjFnU#[ʩ 1@.)gYZ0Y% 4PurePureproofs/435107zXZִF! S]ŗkd 諁jmQdl;wdf0akE\ScmkU? =ޱ:3ZCKs=c,o:;gYZ(X% $PurePureproofs/435067zXZִF! K]ŗkd 諂# VtRzFb1Qs DǓr6xl Oy7}TSkGl CԅIgzӱgYZ,W% ,PurePureproofs/435027zXZִF! O]ŗԠQP@KI,%Q7B1(R?ۋt?/:i@!j2f'~;v^GҔk]SgYZ,V% ,PurePureproofs/434987zXZִF! O]ŗԠQP@KI,%Q7B1(PRm$Cآd (VߞFu߄EK$k]SgYZhU% $PurePureproofs/434947zXZִF! ]ŗԠQP@K!hmapTFKҌ,lL!Q(kb䯅?aǟD+>^ytbX;Ҧ^:WlM8RG~6V8j4Xֳrـ<& ݪX.$gYZPT% tPurePureproofs/434907zXZִF! q]ŗkd 諁jmL %@b:e~rpI)4xz"ǩ< z wST;]Z}C,*˚]LmnㅵTA.vn7]6gYZTS% |PurePureproofs/434867zXZִF! w]ŗkd 諂# VtRzYôk2'f/|nu?1ܿyH6Y7Όox%aZOٞsO!Yl/kYbN%3f``\ Gu1eRgYZ,R% ,PurePureproofs/434827zXZִF! P]ŗԠQP@KI,%Q7B1;L?x,0~eap?$YW;ZXrHilR2gYZIQ' 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{FWgYZ u  ( IGui) PurePuretheory/parents0h- ,PurePuretheory/constdefs7zXZִF! O]ŗ9誻-h 5g^:ض =vo4|V|ZmB''PϾk |l.:j+kx3/gYZg# TPurePuretheory/thms7zXZִF! u]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*K3h8BVs4mgdU0X. AI*RR?J*!-8 XL^ p,}ΏĂ@11y&xq:^JV`0_o ¶N[ޙ?q#r245" ~` SF#Q1­ʉ!+I@[l @/$Ǡf{( 0(|Q^]?a,4'QlD\Aޞ%/ŝ]"| +#r63hm Z\'× sYsDG/ܞ@̍84\ެ]]>{gtI?Z wU=i村N-w? WԚ\qlIpRzG_̵r׀8U_S[dcI5ײW&ٜES{;ҳ*-4C5E;"^Y;sG_0YHmO+zٽ̰7qEcUozqstWT\v_498KJ5zz;N:b4o$&_b]R84Yw*|c"Yl_,Nqd$"DuYlHVZno|׌S w:B^)dmwx1!2oJQWLr!Klwk71`|EQ>oK|z0XE'bە.CP|Qo?. &F$G42QGމGiM!D:`qI?biP*aCQ]EԓDm59_Or.-(Z;m$DѬP*;P8rUo:M$AWu@ߐjĶgYZ|d% LPurePureproofs/435547zXZִF! \]ŗkd 諂{ Ͼ:b=h2 %Tш^?(Qo[h@z48o7FK*OUs3+X̧d'ZwiʑTjt%0%G|l7u"g&ʃ*O-51X @eb,gYZtc%