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 }  ] IOA:threads=6elapsed=8.607cpu=33.696gc=1.340factor=3.917zXZִF! e]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K/k>̫N6utVB-A~樵ٌ `FV|>vegA-d"C]e4\TҺ/njmS[=g'ݶŀo1{:Ƿz j!y"m-p\La=j=$O嵾$j6cV H)YkJ.8ݒBwu`K~hӏC9B(L)fRgYZ7zXZִF! `]ŗXiɟdN'LvH۹4=+d0x3^K5 W9fȢa0ڟ$T[ƙ q ]2(.#N4r&D6AO+6[8!Em"TuI-{ad5p6QHQ;u~͂sQuφ 9n?> !|f̜osZ'S䟣'XĂCDZ)!:op)oKwdaCܥw%*4| L vսAG=~5ê ۭy(mMxeG1viQZ=bA|1w+k`r8LwdBuW@Ib YFgYZ7zXZִF! *b]ŗXi%90.{`ҷgiK_8_H [uhJayoLL:=(3-0ZE502W62NGtxiBZjqgQ%2-2^w]EBQJîRFrk1'#t> 8\$ֽ&k+x)X`}Bt91&)R_amwSq'? /[m xUōu߸ +g顀>߃f1 R˟~0\h75{i.ðt *څ<~X2h9Q9hQq$>77茙uZ_:VѨ:h}LK嫱]&?xQ cf_yP:e,5dlÒP!A(!nvtnT!.yQyتGbΩ;V2I &Wrl!Mc{&8=d84O_6+YfMqqRO+kKyZ"PiSk+w"שCI'9ĊG(b\"Z3-~+ABK9]j7./fu9HVp"#d+R(bavCs)JR. q?KC lʲYtJYğ -BgKWC`yֆG)ԙrn/|;,e!rPdU"1E5xZK7Pr}X FW/x5p1X=ZSӵXm1F/Wܝޜ$TV{ʹo +E*%ٙo@&*S< $GTEmgYZ746c0f3b435fac6054ff149c627ae7e4cff9739362858bf7fdf2d16c6c85785e129356049e07047a 91f84b8d0d5f1c5d3cbd22557f0db5f1ab6f6a8c 9124e4d115a5f0ca27ae08db6e5e44e9d39d76e7  IOA