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| ] Integration:threads=2elapsed=11.363cpu=21.420gc=0.792factor=1.897zXZִF!  ]ŗXf1-/6vRZEgYZ7zXZִF! ]ŗXiɟTʦya͸2w)g4 xIn7q^|<q-P7獂oLRiͺ帟-&4g-\ZZyܫbX,Z3.{%8ΛBW].,ܛܡFwz gYZ7zXZִF! H7]ŗXi%W~^Mg ',ϋuщ%Vی |q6|Z('jг`h1]7] /d:xl=5DFӇpxG#&;y7vj? Hrv}+IAҮBVI.fzzC)D_$[9]EHYI_BY X]a^,[b˝I}Z_}̢-[` /p;ЄZ8> tQ'34Hc^\nXA/5=B˗ EM}L_W.@}mf  ʡbB{P=Z驤~kbI!xwz.;8OEcQ}tc?] @}W" I kLId*^/3Dh:CՖ-+c'<~ԭ"Mc,L"ؒ/.5j݋pSOkZIOLٓyw 2 Î-*]:Jti@f-#8۵7ش2[kBȢ~e_!~0nrZ4Ω)S> J4]I3yX1C[gCgRk]:ԱIeP,h:uawZ@g+ Hd9PvF5,/ڮ|tbe