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  , ,Q# l  ]]HOL-Nominal:threads=6elapsed=6.210cpu=12.964gc=0.652factor=2.097zXZִF! &]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ եPTTl@YTMz}]=@43u%lf7ՄD73=c-q^枢)['Uc(-'v.]f{tbBvQ:N:u@@I ,BסˉRiq^"PE p']~Jqt] i۱gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´qأxxكz`x^:AS`I'{J}YZ7zXZִF! q]ŗXi%;3\ְ*Ϗ4t`Z!}ukw}RP!M!KO AŬA7X6N;kڿ]_ vˮݽYjz<;岇\'fR% g Pע] o]]diN:c'kPu߶&qF+߂pYV +cSw\Dׁ)ܕ9GO~;N8X\Қ8&~ x me@nᚌ+I|bN Mw|Qxoc A %F}m Ҡ84J`Xג)};K2B6f5XU}*lHgSHR(Xj䕡z&9;wˤZbћCTYҝPMf $fE'?JZhWSY%\ϏZ\GˎbN^p^ľȳ8=DM\%uEvPoű2V