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 66G $ ] Trie:threads=2elapsed=20.784cpu=22.936gc=1.304factor=1.107zXZִF! {]ŗXf1-/6vR[ltǧT3(O7?MVWURR kkEZFP] lů\@V^0Prfhv, K գʧipw{M*>gl[e.OAU $"`bEeȱgYZ7zXZִF! |L]ŗXiɟl٢ :}*]sJ) E77?kkk* ̫SA%h}Y}YZ7zXZִF! nO ]ŗXi%;уu1n{vFHJʬ)dHs#&tDEEdPp J}&pt"o秿d{NMmzQANo dW P𻻂6 gnY]J7n0~Ax' i5 G4BP)0:Inͪ۶I~ТUAvZ:e2Fk,5]aa&@$D8FD*uJ8k&F@=]loEJq]Y'0KzgDoV[>Bi^Dw Dj[8kl&g %<:R ,ZMn`6[ɬ͚pT/TOK%sN߶MAOKig2%DLfqZ8 k(l$'{Vsѽ4@|m~O>w/ξap}{an>̇L*aoc)e8˦Ep&L{/Z!#t$hcb RC>H!Nv A -1sdIn)P}ʕSVza@ Vq]!XχTZ8SIA;?Ir svDZgYZ227e390fe1c820fd8889af6a903c753dfa7c3f0579d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069  Trie