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   vI\,< ]/ Compiling-Exceptions-Correctly:threads=2elapsed=3.725cpu=5.688gc=0.228factor=1.537zXZִF! #]ŗXf1-/6vRZyߪf ֫_PVJ4®y ]҆[8GT|Ԓl4.Y96UTA<`4.W`PNَ4r~/;ԛӄ=~{e6I_'}Ôs.Op2dgYZ7zXZִF! ]S]ŗXiɟfOcLb0vY,U/( 7l oJ(3S]ߖ2j? HKhCo^0N}YZ7zXZִF! V]ŗXi%924uMfKUӀ$+q✥@25̌ei]*Q]q{Rnͯ`JWG%X`"F~Λi{Wsߗ\Cr ߙ&dXFnhH8ZBh:|Xt wB/ec6{n4&:eЯa e~)~NK!< 6tJŶL./?Pm2ہtPj}s[ '4frU7z8AF{2I\Y|T8yLxgMaN6sV -q.yFNPfDҢ&1 U;@M8;n|ܿh}C`Gl>3vOjssXsR[^93O8K[<ҶLUx z6Ѝ d W.1l'FVYTӣ5 B_+ytxmpO. S\caZ߫-j;?hOp _c#@JBF]g^KcIx[DBH|LxW!$5kAbcgYZ148817e3e9debef50d7aa45c175fb8cf3e5f4db9fa7050467ef8f63fd56cd5cc004bca4176bf5785 29f89a8c8c3de749e3d8f52dbed7d75c52623d3a !I Compiling-Exceptions-Correctly