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 ^7Dl ] HOL-Datatype_Examples:threads=6elapsed=82.930cpu=302.376gc=28.352factor=3.657zXZ ִF ! P] ŗXf1-q恈&!&ʁG_f @lEZ Gwa krju\ KQw:c)
0Nk|5xm<;EA,V`ï`]#+|f3AHwY;JTk%*t\j9A7 8j'KOԓU5"d\G!co b1d% ا U^bEAu'|[;`ݻq# _nݧq.&j*GN#&U&xȐ\ǽT|>$υe5%Y)MڸQY yơU&8d"0φ\EOU5dD8$O#t߄Njm&<]:=6ѲG`#|Oڍ=V./oP*[67