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 u L< ] IOA:threads=6elapsed=7.260cpu=29.244gc=1.256factor=4.037zXZִF! -]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KQ+|ȻKTW%sRm\BM+@Ht5'34»kiƃ_Ҍ:IYBۮj4Z|.%C7l-'aҀ hسP#c=D6闑FBCEfVn~ ,q Xc}Zyý::-zj,[as'Ǚ<Ǯ 'db6&66 mvwWpey-[RC#\}i>|mk}9QhgYZ7zXZִF! `]ŗXiɟdN'LvH۹4%Q~zD{viMσ>٫b6sa1][|§BV$_ڶu^nM;$E>~֣~e'R#_,\XBBoHk%& oǠr4IFcD?ǻ` 0_DSӭJ[7[4NXp`<`8؛aC H Ya$d郄Q/~<, }':ݥ L%#ݳ# _RTj3!jίyGۀ[\Z}fb\h>H1>KM./~GO3CzS(N 1p Ap^Rhrm\Y ݪ ra"^Mgyʳ2 RxxK| c~Dhl|Dk7'+k4$=@HU}Nz<@BDJ͝PII6/eNKsKdQGq *zFCU{sTt U=q25/y0ݗ6&[@-be{ `;]\ BٜBN#Iԕlq>!.Qia>&'UNp^AN?۸? \F.gYZ2371c37aaea22008874d970b26143cc3ac963705fa37635535c1a91559f94a7dc9acf81e08caa63c 108107ba6152a8567743bcd769d1dd970013adfa 199aa39ebafa1191e1ea511048bc62894dbee8c4  IOA