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 a \  ] IOA:threads=6elapsed=9.191cpu=37.300gc=1.548factor=4.067zXZִF! ag]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K-CWu?ӄN!>lYZ|_oǯ@;>peZS= J V3*4'|K{#j9NvLEN1IӥJqMZ(ȐM*!w!©Oxf׹@* '08H~r,}4 ͑[gUhFF *M`VZ Sβ!dG7$P4.%zmnĢ=ER D=WN~`HKs"0yN_DA._Q2`ji81lT~#ZrcPLJQIDR!Mw )1ϾPw?Ck4ׅ{R'.(ʘx8s }pY[Uw/u@ pz$TZбgYZ7zXZִF! `~]ŗXiɟdN'LvH۹*?vYk{VbxX7n C-sN_&J&2T澌ن!܆ym*՗KFKvklĖ+ ׍( (6 ھQo)Q[t7AGA&,Ky'?Y%' 5 \cM_3Cᦞt\X1ZIXypx9F"<,.8Fr 2[t~3ܽ'u?&k&(٭SA  P&h\P/TtNM / 8\[gYZ7zXZִF! ,]ŗXi%6g^ztH9CVƣAJ!+Y>6oV }5jvɵ$'vjH#74ަJ}P[h/4=#iNyzKIꇃMXBMmeG:^S% tOב :WMd+&yyCcFLKݳ} 3]#~Q[|-;|{FpD{_+PfH2GFYԸի (^e7y^l^X,oB|K7[q"VwŒkCRc<ҤzA^YP*F>@‘FfpG5B>R4P!a6d7sC~AztHӂC<֎,;x[ͤh:Xn۷ܲ(Hn}&H뫟/zpEk=q4bW%-lc`c1]= fb,84[c ֑'8ÌVs 4Vd !.׍ѧ>!쭮R?yn_Ԥ>^xڦHEYñgYZ82fb1e64807c03b8659471764ac41d952a3467b7e2fef00599d8b719ae96960a40fed04fe4f0ef33 115924f575558f617ba2ed10dc40ce0bc3b10ac7 b6f69c20d986c5b6aa47d1d4e3c8dad6f439ff6c  IOA