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 X1 $D4 ]/ Concurrent_Ref_Alg:threads=2elapsed=10.274cpu=17.876gc=0.404factor=1.747zXZִF! ]ŗXf1-/6vRZy-`;TS h|`f$ 1U׬DRk[K񇬃~w؇ d7EY8v{E$)Qq?9쩫bvm܋=I!}Eۅ]XWͬ M%Ni+lu[C ->\‡a 4^ Qʼnt2J;1K3U;NL&~e:I8$zo߀Y w⚃>ngYZ7zXZִF! ]ŗXiɟ1˦r pt#M&")ohEdu B9Uf%sjjY#L(ݎx4R]MыhݭW&۬_EN] n$=G.QgYZ7zXZִF! :]ŗXi%9(O^Uoo;SjxNހ|?/@? Ɉ+0*THZ(+*1>x0w(I %..[/8-K2Ox!=ӏjihMOۘZY y = g;5J#{jG^;۩>g}`lJy(-47Mm ց@t\K%CYod4bk?;Ƭj/ -}30`쾞KXF)^*#poa3xȌ jIw4{gO \NpXAV#EvwIʰ\vWeY}E0&¦S-x8;.19;< }3wz:aVjqoYy?kO7ڤywREF6T|0TaəGૈE_ O=(R2O5 Ho! lGwE?ۜ; .^.MB/zx"3Ԗq tH  [$*Xb\&F)߿+W Csao^6Ym߁j4+{qD7,4K)RK$*QKyleN\Vl|*mJ-n[0I©bD'Z"ѼN<@2`me s'R@3C993*jnV&.rƂEk*X}/M/ca>䃐jYakmv#R %R ruAu1gYZd09f797c9795be4996780f1fccfeac749d0a00b53bce9911b38b26864d8838a93be3aef5c2b77cf0 d2df9ff441ab15caa535de40de1e228d1854fe2e 1 Concurrent_Ref_Alg