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  ` `#  l ]]HOL-Nominal:threads=6elapsed=6.117cpu=13.068gc=0.540factor=2.147zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮeYR~g ]rJhˋx֝2 іmq A "n-o;"L $.SLmAޯ@qd kP'ti̸t:By^j`ڸ ={{袆gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´65QҹIMMÚ0: È;`I'{J}YZ7zXZִF! o]ŗXi%94j0 "}7WR>09ThgD%[ w4i=z{L 42 U7 *w&)"y&ύHSm>"F+X7mD Qe㍶ "8UL`Lek%w=F@;m ddG7ca'+GպfRXJ7ZQ)"d[qp["[„k=칆e*/zWqɬkH{̦)74P+ .:\|mǢ}\`g2߱5e,呄;LJ05w/"FCucW8H8?~ ̫6fuzb"~G˾靟JJlTDE=RVY3A9?;2 ^vAܔ2g:$ẽϲAWy( Y}!QcY)P)"Ume| ȥy Of ે-fRhtxugݘ7cݢ9įbpNsioNx:U!bdN[[`Ѻ} OǀP:dBRgxB6PR '{f@B$!)mU+;$b%LSӥIV勚wyLNq}%3@-rC".<۱gYZd7dfd7774b0df5a7020029f52c270c7f179331a54cb12afd9789625a4c2e40cdf1e2d0b3aadc16e0 7cbe2b787552e2377b1e9e19550fddec8825838d d6adb3dfc99a1f93d012ccd59267e82ebda47fb665ada774f2262f43305b519f943d9a23189db825 # HOL-Nominal