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 TG $DD ] Kuratowski_Closure_Complement:threads=4elapsed=23.058cpu=65.408gc=1.728factor=2.847zXZִF!  ]ŗXf[&ET{!Xn(VWC-Ap.O1qbwl`k;u#v+v/c9a;*uw*HeXQJ-AЫ֚pKp8¨U}$<2)ֵ -19r+gOVT0ZdjA<ʶgCZV>0(}EL%M=mĽKtohhNE;l@L˘?ه^hkwB 7"ĝOKAf Gl\ "s<hTz=a@/th%au.d #;P_1khtk4BCcgNHH<$B΁<&-d$>Dej"XkEE(&YihjH{7*oZ݃cfLfk4H=^RV5(.-+z0e4%QskUtel,=`q?pUGqkD7,:V,Kz Xk@dxwWu뫵$GyHՊTE1pyyF_=6N5{9m-FV֎d<0;/= 0GFY^=rCELt5.a]55V`N8BfEmCݐMSd@`mޞ NS]ZhmY+jmhhVEo9A lD)iм טi6O"c޷RKRA,dؿF! 3IUt Y?_+}';̐rvNXuYD1Jz +Ҕ[ Dy9SSo=—aVCVl=R&b -eO<>'& 'CaȔ ;ԕQK*λYڞxd"_prp#WpH{p@9c'8~vK X<̜\%Bg]y(h<>]|<tG xZviE&N:/%k61F56c0?iHp>;-p6m \>AԮKAWG\@IUa7|:-yƑM(H⑇k4<g@_0ٛf8;Bg+F3ǝ'oDTY]TTWijt9tBcM 4&1ՕZ&&*'W iY%5 4%d{ Ok1oP 6!cń8mH6GFO4KgYZ60705c98f77e8d3d55ba84d5522dbb25b0054e6ed3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 3452b5903839b521e8a25186df281ed84043d834  G Kuratowski_Closure_Complement