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 G tD ] Kuratowski_Closure_Complement:threads=4elapsed=22.325cpu=63.564gc=1.524factor=2.857zXZִF! ]ŗXf[&ET{!Xn(VWC-}#1}0kAJ$Tqfp.c*W qc{;oSB;l7ˈ[d6ffƲ,t^@Rx_xM7AB7sAӶ9V`^Jd;U]'>}琨=sr%!?_?„_c/\إc|H!%7YlHқR&0OR߆a3)"CU.qcp1nMAU5RuI2 \ס̏!o+:h?aK tX/bgYZ7zXZִF! u^]ŗXiɟM;7aތ0y+,71I-G@mݘiV [/_]ʛP6N1;hv>%}9*zv^0L}YZ7zXZִF! !]ŗXi%L SRW& }q/޷ɮ45ے?['rD4ô۸#X xj~z3nx,Kݽ\Ug3¢)=3ܫϙ=hA,wrvcF &kJlQ:@5f9[&˓]kg;~w%bi1wrN[88J7 w֛HefnP+ r\ޥ[Iʇ*>.Hz R)U| "^'䞧KoLV3*.ͻC <HigqMlaBjSzDM+6C-  ܓ-o)Þ83Lzme7w"-(l6]rJV ug"aBGkX.W`+%KhwXlIe^g&'䊮żO)Z{a:{܍* Kn@MvVk縢!@Fo]'$?=dMmohH{镪0qM'O~gc ^깫ޜǡ\Kg0ZC4 3-aHulEm~̤0+!_)m&ZmTaHWLY cc2]I_~dF+ƁULy%X5;?G)2gPQD:=RHnanԠR>dPߌ)lOүKd'R{z Ps{։1܅庪ʹBE?|(q[Iku'kJNѹ-+H7v|E*Le{{Yc6k hXg\s5=6tMzlE; "X^Nz3: x#KcpHlcP"eWjEq29N/CۻSYTPx8vGfu'[g@ȥ gO.[Pd_-m&`OyQIZ2ms; oNTk2Q'Md 㗝<|i'V_lo9l}I" j:h[cS(aSec˶"u&@K:rY(LK B{T*m((l躑^{@+VBجȒSFs$aK١%|s\2+9IJX.5~UC[%(W-`e9Z:ԄzNux ~aMT?㐡ߓ so5=,x *-ees? A Nj$-@*=1x拾nfj﫞0+`.)H5ś/Ƨa2<Nl[؇yF XUGd?҃<;mn4{9OAf9xeSn<לe:nOZObUV/ZrGuп=Ű}auwcȣ6Rv۹:B6> ``<Ts' oOP;2MwTQMuIVN:z`K"v) W^~v 4s7pYD>i9X=[n)!-=g>`dܠ1='ɝlnϋ<7&Y)if k9>|Pk21ϥB<<'+j k+!1H&G2TyM*S!ד aFs(ϑ8No 'TlgYZ1628696b1398ba94a5dd1dd405846b669219ba29d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70  G Kuratowski_Closure_Complement