SQLite format 3@ .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 YY$G LD< ] Kuratowski_Closure_Complement:threads=4elapsed=20.812cpu=61.600gc=1.516factor=2.967zXZִF! ]ŗXf[&ET{!Xn(VWC-j4-f^+ fVr 1ʸZ{: @(׿ .4><Pث$~̶{*D5ޜhSb Fa"LCM(◧s#͠ P[E{#dͯEg@d^\pcB{T2W/c1ޠ^V<*GIPy4F'y4ke g*8-aFuw^8πFj;y>3f3`6-`൸%qu\ICuYcT2Ċ0\ky3(F_SudqMQX1v3 jه{ 5 ~O%?fDJM_qv,ؘgYZ7zXZִF! u^]ŗXiɟM;7aތ0y+,71I-G@mݘiV [/_^:ckFOmqeL)@:^Zzv^0L}YZ7zXZִF! ]ŗXi%GV"xGJ G n!(:~%ԈJS½ZhqQu .Q-v)+@(l#AqR+>-v%|{ֿvƤ%1j0JJ) -E c`hɭMIt^' l!.4oh1YElO$bcdW㐄ٖo# :/[hM\bH+LJ+ϓߺqؚ: 4!4h L>UH攔lk:G+$zQ _YRfXKᳵ`s SIcY,cud '7iIc~Y#f N S~D[Udԇ%Ϗ~?)ܷ͹A0Ԥot T1JfT7Y־WkieVAZTeRTm4Rcͯ|$@[@sƛ.ʍm6L0gz/Z"+0F9 2tk~#嫪Eã$ .ѐmCW(ŝ*-ɱgYZ5a53a3e3b133eeebd1f859e5bd98d2137ac079274b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11  G Kuratowski_Closure_Complement