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 ZZ# d| ] Isar_Ref:threads=2elapsed=11.230cpu=17.616gc=1.160factor=1.577zXZִF! k]ŗXf1-8>l޷VO +҄RXۼfxAayAZo%{&ip}8!5(<w'+mn RhO*'5kb:䒚:Nə|aW";tؘ[BsjTDc-͡aղx EV}-&I6GξKZixFlk"A~(cU˖H"vxfΖ%-(49S_SkpVPh6Q@kPx};6?5l'7jLD62K`nS5Ptd+gYZ7zXZִF! 97]ŗXiɟ]O5-|01 Wg9Ъ,~_DPOzךK;dortCu/w03݁_Hblrn։KXay'PlQui~SE"k%*eљxD\7e BbWx/jfw>r1_v4KWPϏMd7ԥ!!}jKX {xB<POv<" ]EhVd9.žR-ВDj.ԓhHUp 0 ♂pvR&> (.t!>* ã cdշ~/ZHhy-vN3y 0^6DOJ\bufDK::GAH4JgX^O&RLojihW`Iּ:D!MXgܜyy?nS2g_1k˔mĴ,9!4 p`Nyb_h!AxGd Uj,fБ'bq>7 CsFu}̛g1;H:)_oL-¢LyP (h 9ֵn')F[; |/oWqؙqUO8:eg6gYZ10440eb9f541c8c6cefbdb394318199fabd50dc798dd477b080148668828b0f67c6e8a1d9708b3f3 2dc2b5acf411764d9a49dd03e6f20aef615ae67d acd1b5a40151b067766d2c39214b0e7386d62cea   Isar_Ref