SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 ##Z $t % Trie:threads=2elapsed=22.230cpu=24.576gc=1.128factor=1.117zXZִF! ]ŗXf1-/6vR[ltǧT3(*{>-~Ζ[h Dn7ͻ,tصj0,pfɾ[8/p &`$lbl{\N4`^Q-N Y"7(8o'm,X,H=J2^I< }M>2]ImCJ^dnoݵDJgYZ7zXZִF! nL]ŗXi%6y45% Ψz%ۖ U(3b(fB\蜨`!eg_Bmf:XRc4Xs֬sNpC0ˤ\ n2 tz&`n5dX<4+<6ض&cT5!R7-+}{^Cl3l{ 5ʩHav4,jq{VZL?im,q`me%sbﲗ̑NUa5 @3E0u rgYZ2a1cacfbfc3873f8c72195bc9d967d52c2901f54 3b5243a5a993cf02a40cdb507d37f2f7f70303e1 5274e26cbdcdc5e26b1451b8c884a7696451249d bb248e78745608e8bfa64c29f326852971dc57cf e6aa67045fb0ae0372e3ac731b90b4144bb0b9a0554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a  Trie