SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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   j!l \ ]/ List-Index:threads=2elapsed=2.878cpu=5.364gc=0.140factor=1.867zXZִF! A]ŗXf1-/6vRZڕ/0*]=D2-:r/•UXf6SO-K%yׅv$YiohɘƘ 6f=M#s/)gW&7Mosy9yUhտVI=SC b1 zD wfҊ%I]gYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۵YUTӦEp{ _Bm_J>\}YZ7zXZִF! g]ŗXi%;3rTq$tީ| ֦NNT+wl!> E6n9(/X&%7Hd\\M}B%Gfy0MPz?x곒8?ih/D.?, z7"w^1o@%,ratDL"a`p/ޓ|]xP9+K~`wR0a`M$)mE8{_&D.9oQ7)3Ql:Iq!o,# Qb[i$(iȗ7.x/OGS@\I!Jn q{2ˈDܘJU˯k2ұ .xZRI(PD>W|} H57&^4u9QF],> h3ϊFn~/m2?#'sqVũ~Wp-Ƕ[`)ڂYHpn*={ҀF)fJ‹%|F7E5OSAKAВLHP(+p㽛ȃp7'lEp<;`Y?uS!щI26 L9] gYZad1ab42e172ac755c442b346a843f3edf7b4c7f3665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee  ! List-Index