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 A1 \, ] HOL-Imperative_HOL:threads=6elapsed=42.421cpu=59.916gc=1.696factor=1.417zXZִF! ,h]ŗXf1-q恈1$1|-~yߣGuS'טΪP)"Gh"0"ϑviz&޴mr8 37 =g8NSHϮzLXW",X38seEK>񟩍ٶ8YZQ18*SkxƳ vx4g?Xh̾a~>“FhF} yj jCP*%Iи.ԀEq RlP2WK{~0&q_Icܼ'8ʌls… h&@emz0&ZVM '}~1aALo4Š.RPA>([%[)+,LA> ul;v8,mqb{ 4r;K`3sk6`z^X`WX$>"mk¦u(d䵫Mvi镱1Jr`q[^Ъgl"`!Aza7P~Ogpr15S:0It8g;UA1LG]Kg#̈́',8~Tو?^72lP̄fOOĨ?.E.\n&];͆ۻv}:g` J 手ڵEƓ/*[S_ޡw{\ %0pn 1 &`FZ[z)9J{g̦LbjVWz* WI\i{h~>eQ,.p Cqݞiؤ ӜdKiKvT1tQuauLF`{T͛