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  T T)  ]] Cube:threads=2elapsed=0.314cpu=0.324gc=0.000factor=1.037zXZִF! ~J]ŗXiɟ↝ejZ]_T/gyVA1% A}iy >d|Flf}YZ7zXZִF! >]ŗXi%;[{3gAlT^K[l\JU!xNMrgƮia}]blf:j^鸤h^C{oݔ(\[BŘ'̛Y5vPCirv̕ PPgKdf&  rԄqE 'HՈ+[xqRWGfv=M c:Mj4-~0T89TfLZk~MШW"PctJS_6d: SP"!zc!`|Hr:;:S;jn %ڡuxj TgYZ72e5499949e02b725fdbacda0435b0f609f9423187932c6edaedf27de51c877ca7033311a89eb072  Cube