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  # \ ]]HOL-Nominal:threads=6elapsed=6.212cpu=13.008gc=0.616factor=2.097zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ4NE^7qw{m@lg-fU wٺo| 6oL|Ԏ`MpbJFeHdJU'/I:?4/5JY^-樃 ~zRo ˞oU( ۺGh 0'9|Afl U)*} WkgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´B]{ۨ|ʍق-Jf@f!PY`I'{J}YZ7zXZִF! ]ŗXi%9$r͛*m+r >L::䮖Pѓa D}JOu|̅\ ~HKZ߿RO$ur%@]5zU['mch(OۉNmޔ;G2! Y N}}z1Ze։%RԴ~wx,4(J5 #-_dՄ?m&1Y1o+E!7 #kFHk m)(>O׽7Hv\5ܦHY5X{ {i(ǭk D7d32 NgUp5b"I\d˾BX}B1z6}#:+E yg73&O4Í@)9ZVƒ 8KN,|1.%W KN vR*fŽڅ} / Sa/l %;կUùfGzk&%Bd-pϮ&cҀv"yF7N9Cˮv$z]3SNJhYWsCqC& foI$hܤ B+9lSFrJ6+m_Z=@{PO⊎OwoߑoS(gZUӾN4pUlU:;_+͕_`Ec+#>Ɓć0 Fv%ԐK_|]BRpKZ*66rZmVHr'A IvgYZ71e7b8519e04e32b190783aa82515b8e9653e3eb0d46e8014914da4e1c47dfabe60e74a66f8c0804 3c595614c5a7dd95ed6bb1c41dbdcbae6cc56fd2 5b91efea01484ea6c028831d5a7791381a052341a4940593e0e362a9794cecbecebd8ff5ea8ca55e # HOL-Nominal