SQLite format 3 @ -
l l B77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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
!$D%
Splay_Tree:threads=2elapsed=37.666cpu=52.084gc=0.820factor=1.387zXZ ִF ! ] ŗXf1-/6vR[]SsףּmH$>O'1N12|xp%YI~/ ·"O@kX!"f_G^ g֠W`g|m
Ojwj+p?
! Splay_Tree ڲ_-J*h#arE"e'Bla238)8>gG枬KQf3aE6
u#ap=_pņБm6>-}P!w$
rQAxoM\GC8m> P 铁~ɸ&b`jr!$BDhHK(N5~6v9
14-'ķΠ<({_^8^j.ZdKt)
&AfuW[Lkr'n`#&4i/(|dJ