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 ''V  ]]]ZF:threads=6elapsed=13.528cpu=42.988gc=2.484factor=3.187zXZִF! ]ŗXf1-) enȈA"XxBT/'`a^&jLq9卑`dQ!B.XYUy4?T`أU[?h \cQ(E<@뗡KbVJ|3dGǮF-hmpA#:o0>vS9=e (H?%F~Q67-;jj(WtBvp UqQS^@U/`*Us07[%گRRf]ɇc3]R{ b o ( Dm_ڧVb V>;xFoeo7Zʺ8ܞT&cMMLs"/㝵^Txcک2\d Rb%HsqOD#|Ts:!l)?u}5{;+UhN{naH`/^>f[Hl!s`ہ!vcʗZkgYZ7zXZִF! E]ŗXiɟ 1FE`u$5ɹ٣=0bQ4*' ;{?yWGivJ UX+H&/cDFoکK= `۽i=&;l^?0v ʔ@ꠌn;6ouTnDN? U%D^eo,:ڦ(v.)Ll19S vװN@$U/7\dl b1f(]8&S,i;e660Xv@Ϻi*qv K)W)_2h jIaC.~~hArgf_G߽K VaIQy=\he1[|`:& ݓcEE::0Lc5uKW۔4yٝ2Uld,ŦggyK8AnN}u!.A~ng=5޵筇Z*#NJw3+K%'DP۩]BXӠ-V YY?T kcFgYZ147044d7ded7c13c94e321cf60eda74e898dd8b46c234964d2ce00acad8abea2736235d9c47e105794e4aaf52d8f084731078afd00af9d892643ffee  ZF