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  D#, ] HOL-TLA-Inc:threads=2elapsed=2.043cpu=3.540gc=0.128factor=1.737zXZִF! ]ŗXf1-q恈&h⎾kH=Ӥ–lP&ޜN,&/G.0|M>|0{Ssixm5#uWfuh֕z; #,;fes`_*5|ǣgYZ7zXZִF! C::name=HOL-TLA-Inc.Incelapsed=0.671cpu=1.008gc=0.0006Vz\D"9G}YZ7zXZִF! ]ŗXi%;[F$%Mˡ&AQ FʐSK;\1Nܽ!.DI}$W$`Σsw?$' 1)ɯ(JO nuh7ZvMNx;;~ 'АURBRfrldCW)b.ؐT薪e*_w^}&}}t'6#Z CqI :?qN- 1H µS>? O:-fkj: d7oFlvy_IVzQ54Po`Y$|.gp6ً(6_+􉱖!S eI/{B).B2=lygYZf5d0b767985b695a5d93137c94a7889e9278d7bfc86fcfee5fb1be7b675a927b4429e1cb8c8b28bd fa2cd31f5d91c0bfa05ce92acece22b03cb05e51 a06dc579d5b10ebd89fe4c7e6699149f5fe52717 # HOL-TLA-Inc