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  H H5?L4L ]/ Lifting_Definition_Option:threads=2elapsed=2.458cpu=2.864gc=0.000factor=1.177zXZִF! ]ŗXf1-/6vRZdPR6 L_עKNpP\61&d~*'6%)`Lwdg> Wi!# Y)А{ -}BH` d|]UxH9*/ `~럊޷}uRm#v`sTw .gYZ7zXZִF! pV]ŗXiɟ @\Œó2Q~YڤNi8K8pt2D;c}Ӫi2%}?Q4ucA[X"`ѷM7rq}YZ7zXZִF! /]ŗXi%;:nj j9I(pd\[/ AL@E } Ќ~XE8 Zlܷrw ǹ4 5(pOg߅ۆ|)֭e 5#p:",Cd-;M87m2j=gYZb83e3e2afef6caf2e46da41f243fc0cfbc67432319483222939fc489952fa9ff470a43a5bdddd767 6fb5181067c76ae090b98814e5ff8a3a2ed813cf ? Lifting_Definition_Option