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  l kHy7 `/[WQao,*ro[@?d?b8=,1q9LDCCg԰IϟKk b> Zc&8 %٩g0{肅|zb憥^uJ/@M:NqM 68+# b$B,,7QF#r.T$o$@RGiw٢c= m>?_𓰼ݼr :;52ǺƥK[r, s8G2 .c4L S8M#9*:RQ%jF'~q2;ph.˺ģl&# d`)1MUj`FVZOTpx{ona)s`#d,2n?qlVX=<,MHFŚh)VY 湣RI O ڶy.d؛$g(ހ'k Qt?OAx_(د v20ΝmK}goF~ћiagL-DnK0G\g5SN4=UqpzLuʵxa2qg) .ԝ -Mh x@oyz{!T`$ty̡ []%u趎%#4?j0^Jf[/ hW*w/3tUXd@sfQO>r2ш;K]iԤVCB}{/tNykQ^YӶXEWyW]4x~θ}fB~hk̔!/lPUv彦7,QZ"yz\). $y]F&05@9k"x5)TBfk{xlŰigYZ4ba68a209fcdab0db42e86ed3bb42db62cadf48a6f2ea6ab0b5842682397ebbb65f675c6588578c2 915c18da4627e5cbbd551a676cee91f990f935cd  ZF-ex