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  DT ]/ ZF-IMP:threads=2elapsed=1.056cpu=1.232gc=0.000factor=1.177zXZִF! []ŗXf1-W^E=J8,kGBxZ~>$b>IwYY_+p^G[lX`d]wWgYZ7zXZִF! a]ŗXiɟ9)Sy6\Y.*2UӀ#@ĵL36=fh>d ;\crҭi9>ז'ߴpA]0T(}ܰgYZ7zXZִF! ]ŗXi%9(R ĉ :Co;acߣ&~] _"tvչ xJ1 ߊ3w[mA&Y߁)uS}x5 6cL,\0?*}#`# bEX"$P΀za V72@Z"@Tl\LSZ/h2٢BHtaXQ|cW2ѩoO43ZD;^΢5GmJXDL85ѷY\ډF4 HŬ7435Er