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 t ]]HOL-Nominal:threads=6elapsed=7.112cpu=14.628gc=0.724factor=2.067zXZִF! ,]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯65*_`8-4:n_n q5VG̊; #!X=eFۓpe-W@olԛX{uv5+uTXFs䒟0SeɁT!QqT>s-z!Y x8q7`OrP_p4w⟙1,VN2FURHw_Zb'e̳ױVm>ݮ f^r::wUby\2{;ԲFl6wAi_߼&CaÆ d ˒WQ͖^agt$jFL$簿%[} % ZbaVCVMe{MGo=W\M@p%eb<ACֵQF͒FJ.7يw]8z&[WIބtY oɾ؋zY 5$Z|Rv%FM͢8kh{1p)Tv{+Ho.~T^O5XP3U1Yz"oDz4d%/(_r A3}} |uf ua-JT%%[EˁϙP?`!.n}e&;{tIߪff Sܤ8S g/O[le|xozSHSz it2DQӬ5a1ʘ8M$g@v1tZ>^;AQh\ةwI2+#g7hud[Ob#WDs845ۇI+FWXgYZ526801a1b47e14b16454fffa5d6b8fafc176accbb7e847e721809281cd40042e7df94b0de64e4297 d40f74ab6c572f5a7c6fb839c79aeb7813dcf391 96e7d01d2e8635fd01b39dbd704355426dd3dff75bf5754f9e73ec03b0e7146518ee96668b945767 # HOL-Nominal