SQLite format 3@ . BBh77otableisabelle_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 %%XG LD$ ] Kuratowski_Closure_Complement:threads=2elapsed=27.396cpu=46.276gc=0.892factor=1.697zXZִF! S]ŗXf1-/6vRZ'PGzl}+})p^/KN%-D %eխxeupg:lhj= +*9[X"/u$L&c -S=| Ezt$^Y-t,<+ 1(l@ 薌db.cL! ?m+ʴP\QO ʜf0wqE^Dž]= <-}5x2L}GZ`e~4}Q!0='&"&Tli4d2[e> W鞹!"3;Mku|A((CSeZZ2 ]>#Bkos\k_XQ I3OB8BS-VI)Aҁ&zg֡q`>p*O!z/tSKYMԑd`{Ym0Og+ 0f'jωY1IMU_8e..,K#"!3.ΐh|,mT:BOQ"E/ܿ€tBUX Ǖ~{*Cq-ؿ@^]pOVY9eʲXADb0b {K+S)O-,j//Ό%qDINUPҥ igy"BgEި)IEzj $tO7N{i D8T?Iq6D()P ǎ$9h2@>xraȘfUrZ/nz٪Hؼ&g'ŷ~eN{v$62xL-bŠ@Ìβס 箯WG:;nZ(&rgU 8}tG 1]?_FZdUjyވPK+ ]^uL6 1/}$}8JMmdEA] ˣI@r6m|TJ_|/pgߌNMJckzOQia71Q]Ntx՜Lޟvܤͳ>'R|ɦLRk1] gYZ4c1e58412e483e9e411e00f32a58877499b489cc620eadff725bc3b05da1385b39718d4bda69cb83 d38c17f13a61f3f3f61d0943e214e1b4c397de15 223999b3718fa9c4a49cbc7261f4cb6ae6361149  G Kuratowski_Closure_Complement