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  4 4I# l t ]]HOL-Nominal:threads=2elapsed=6.456cpu=11.616gc=0.688factor=1.807zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ .WFjiϡ&C{J`=;~H/TM lK/eSyINܖO͙ @ RѰL c7Q֗%rh#}ߋ䆯!9Z|ړ yɪrj3!w<μ ff3gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ̕44$ Ba] A0XŸO".>`I'{J}YZ7zXZִF! Q]ŗXi%;c/rJSfݕŚ" [ؓ xh&]+x2jϕ⣘niMU`/D_2; ~CԮ[ J t׬ s!K \tX&;<56eL!̸Dk̩WM%Sy*|Wl0FM/tv\˭<%B׷z/,.;5H%bVکX|!=츣Bug!XQ2ϭ2_ dW^6TDfӠ$1 DR(`Q*Z5ʇΉtfw^jYN1WHR/1Rh۬$x=}oI)_Qqc4]R`\:_Ս?OABv28zO\X__;H4>}ƨvPyV\9z9X&EGZ]/ic5w8phMwB<I{gYZbeb7406903538084f431db6c88bad5304cecbb8c62b89b746f265b39aa07d30f95ec0c87cdd2cef6 d3cc984386241752ac96026e8a8c4cf361978f48 d41a318480675fa1dae8a13d9d0f6af627e5eb02726ca73ac9173d447a7b7db15cbb576feb42d164 # HOL-Nominal