SQLite format 3 @ .
B
p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
A A <GD ]
Kuratowski_Closure_Complement:threads=2elapsed=28.056cpu=48.400gc=1.620factor=1.737zXZ ִF ! H] ŗXf1-/6vRZ'PGzl}+})p^/KN%-D{@c6pٹ`8U]*mefO@hL"L($qqѤ$~P rH(%˹Ә'?eBP¹bB1,*@^D#!JڹHKy #Ko'zzoJvoX7l0;1vVwrzքFv|fY%,qnGӗmD=c-kzw Sc w`ZQ-)ׁDRpVȾب#Qi)4[:߷x5[ NfD+ڽ.N-&z2FyMB jx) , 23g YZ7zXZ ִF ! u ^] ŗXiɟM;7aތ0y+,71I-G@mݘiV [/_^),eβo%Ikŀ'J +Y`'n zv^0L} YZ7zXZ ִF ! ] ŗXi%;iF8H2}f'Y1
yQ)T2R29QJz嶨D+[v+xʊ v|F´*_(j]P@ckQMOLĺd&*/nRi.f aLtQY3óSwh@
97_g~3Sگy,"2/]71)ےPgb&}hy+mo9%i1s|`$k} ]?b11:E}E1+lT21YAkaE^@zufZ^ɿ[**kZ?5W(#qgA@r?xa#'qɇ^MuK;iͯ]:d1
V$}mEŷ'2?R ~[9EA-N >ZrRjwS7MKGDBGv㑷Yָ_DlEGM4IC䷸2xevS3knaAS,)IЅ-ƪLa'u>N@9suz,?63W{Z/hEzL>r&qq'}qyV`>^rmhʨ)CvQInݖb8FgyT ]Y^8Ibs9K>)ݭkGx^6+4]*6-9_{L+ӵQK,HƸJ+
wĻ[_
o< \kԋ@|r+I8Y^[J&}=ڦ˕̭6έLlacخ>kv.v6ӦUyF>3HN,7M!yb+}
ZBe
0Rx+x?7HJ>lgm5w.MgxbsNRHqiS't_yCFl}tAÿC;I_uiZ(3d?ew/X)ٍ#̢./j\)sC|7bkF)$OK<+k"힞]a+)nz
'(:+ 9qwzdte,|!q'^Ub]Uo `f]02K;g;xn0!s^M.UFr=Fp8Ex'1R@ge!(f֣Axyqw_\v>MNy¨5sM{@!
[VGNS$M`<վiby%&"XnruMo;Ca x)9n^?v cvr04HmݬH_Zkqd hxY"ćIPÓq
Y1i}qޢ8Ea?NѫQ$43.꺨xPJ ICb
k76RVcbATX]crv{+x4x:[Ѹ5iF|M* or#։j 8uIGaV!Wܒh \K~8oR+Ah\_ۥ+%$ awlOѬAYSM7 |uA ^ɱg YZ2107cdba621cfdda0f29942d628fcdabff2affcd0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
950ea4632527669f7c4dae144a0d8bd338d2ab61
9b556baa9e425939df197849678648098d6a3252
G Kuratowski_Closure_Complement
r G
% Kuratowski_Closure_ComplementKuratowski_Closure_Complement.KuratowskiClosureComplementTheoremdocument.tex7zXZ ִF ! lc>@] A-MՋhvG"uIBm5_dBJ+]ϳ^lX O.6FC6oτ~*vA]>B3?F:qI>(LP0ZSsL1i.j.p