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  , ,QDT ]]]FOL:threads=2elapsed=3.400cpu=3.764gc=0.168factor=1.117zXZִF! ]ŗXf1-) enȈA"XxBT/'`ax<`PTzWX$l0_i(1,@`$AUQ jf%,T*n!2Ѐʱl-'S@54YdڱgYZ7zXZִF! pL]ŗXiɟ 1FE`u$ta epOḳqil_ABgmJ}cqFEeHhq.}YZ7zXZִF! "b]ŗXi%;c;?L%By`0F4k, KX_V3Ll[!׌>Ɇ2r5@2ex0mN6\{zkֿի=0(onjp Ȧ4:k1QVPE"f7Et> WX Q': N!kᇦ"`lkWv2+wYp!۳%=keYk-4txx7喝w?OqE UxcdxAVBRSβ<&ֻŞ_Y%?#/m(cU 3lUǯ7)udzLf Fn )1]Dy舝d3A/sVo,ź-},&oyvA6P G`ޮpr{E3"27sUwXMQ_v&u4q@Ӛh Kt&17Þ朶ͭC,` R0SGLQ}zS>rh$X ,A& WxzFqkh~E:*[<[;E@쬣gYZ5d439f2c397b30cc0ac4cb57429aa6b6d94c87d162b89b746f265b39aa07d30f95ec0c87cdd2cef6636bcdbd1db61da255a0a2756c0e5d0d0f3df598  FOL