SQLite format 3 @ .
B B h77otableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
A#
t\ ]]HOL-Nominal:threads=6elapsed=8.076cpu=15.504gc=0.660factor=1.927zXZ ִF ! , ] ŗXf1-q恈ބ[q47 ({ڏg_$+oot|˯d8Zq~kfmdF8}rR7sjKRdJ@'%&Bs."qI&:ݦ'@*֖G
L-X5/;8SS -$tnPL``-c@hOjF%[PI jz(
-g YZ7zXZ ִF ! H D] ŗXiɟ1ʹv)̝gb_ Pl! WM\C۴Ω` lD 5 `I'{J} YZ7zXZ ִF ! ''] ŗXi%96>}";ҌYs&9cP^Wb.twTyfϞ+"]k'b~lTp4q?nWs>dht}#ewZbmo:p?XzCy&9P䩹tRy'`}(-kaDLDޠCpOS'i6Vy1MB'AdCuRw|n;%*UqPHX(2opȵz+3C)
A4)1UzhY9"X9F,4[U&uUG>yY