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 ~ $T ]]]ZF:threads=6elapsed=14.762cpu=43.576gc=2.324factor=2.957zXZִF! ]ŗXf1-) enȈA XR„@*YtZ۾y356qB.G尪ݐQ~[6K8Bx@?1=:I\ǘ~^%@WzWV> k#V4/br]-CœNAFU GbQ"+ /Q9Nד•Vm7''VvD++)x:<0/oYoE[ w` e_QgYZ7zXZִF! J]ŗXiɟ 1FE`u괣e7sa\_Hcs˒Dڡn)܂ $&QΑ_4(i二ʽğtVn{戠)ww+&q[1Lb̐a>)}lslCT9bI~32w =ɐm``9WJ@ ~+S8 ϸYe=fΣ[[~N7$}6Ţ]&f|7ouuwn|t%*֢`5 91I~;q JdqAЈ4dNF]2iOd͛'lp&hmmfe:AY}xY2,]` b{Q vYά8Ň- &D3N~<!`F0;߂Wlُ!XtE,`!X[893Q /4A`əTZEEenP? uB] 5. 䅎'FU ӣB;²YPZ cirֱgYZ7zXZִF! F!]ŗXi%;cit$ tƗ(r+?Y ,JkےfjTξػNiʼIj>ImFݕ3ӎ4x~XJlR'>57s V&X'6LtQ*8Y@40}fAe~Ƚ'VS.w60q߰*D6, m8$G-2j XӆԡXnRP%)O7K$5y\6Yo-ou*lfanI(۬젉SkD,j) 6wՉBSPA jEF`)Gjꅈje(5b{Hwj'YEڮc׽kbB=CtfDUC(IyqPN/9KM`ө #xTkoAFЅ\WZ*M#0Jz1֦5=SAZ RlwPc56XCj>vh{M-x[W^ ZƵ1莌_dP#yvt#O6BJ ]Rp[DV3fc a)`&RX/vzY׀gsÎ ¾˰<ugDU X,=GP w 63kH xqÎCo֥FX({8w0hc]:D5Ja:" jhY"$ȒB&ªyL"(GQcmY#lHa.5-*&R܌ec~۟Mbsw -4UCǪtY0-c9ag1z4kBjYL5X?w#zO 2oX[oxGp ޠ*"!8_ZzfA0C?Vޓm}CV @=wDe(rxmHtp9hST>qXgn^p|Y}ܬz@{*] TxVi "CG6_ .k|FSl!Nn^Sm㰷SPDK$`UVLB]?_a}Z%]sdJY=,Q=$ FU'ӛ֏,4l&Gojy1#yP*sd|fϏW+$[ @f.֨B2uGaw[hYn?9ZZ-Jhr7cVZ {0tgYZf4ab3e7a0733562e0f0d66a94f6a9c6cf77abd27c5cea5b34ac37b6e0c76fe924dd8af1ace07cbbb7e88020fa9bfbf442e282e5f000af0d3ea90b178  ZF