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  TD ]/ GenClock:threads=2elapsed=3.481cpu=6.084gc=0.076factor=1.757zXZִF! m]ŗXf1-/6vRZwE}%X:!:7^xcDhiCʛ\7Xu.1? @ }8v0q.wN}3?m8@4r]J8 _8V$E-J{ vI%c6:>UljdRHTLjgYZ7zXZִF! E>]ŗXiɟX/LO18#jS:tp1}x`FrTL(ZFPm}YZ7zXZִF! ]ŗXi%6SwN91 " Todg>+x*a.!C4|l٩14n⃗%^a@FBJTaV(dzv%qSA,)DvkS]=V oZ6z@S]\W7ChkU̼ I {)~Lg-QK VgnWCdd=-+0f 1ʛ2T"E/.U dY?> 8īVjy\Exj <|hr]Q(woI#TV |^м\1,^W>\(D|(Cm^H߽~LlʕkNwܣ|`rhH{B*~J])ovm9jX^]s$ÀCzCw2$tyP\;5puL;\7,dG9l c\T_/EZ ҡSФ͎)++%1'@}hT~*7#~qHQF;I2mb GKu=T'dw"㵰IMz o8c+RIQ$`XܼxY(g^y,qktuTExFnCd޹7a&gYZ8f2f89ad899b68add79a43018b67767360857b7de70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc   GenClock