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 9 L,, ]/]HOL-Word:threads=6elapsed=9.414cpu=42.084gc=1.780factor=4.477zXZִF! ^]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y ZFovDqv )tʧ%|k]X&ƅ^mcJ.bR.ȯWnȯ8YezBe^GV#7|Sá$ = =e n_H^\j=h%҉" "πD)Q+ ڮ*^,<)x5~O7V].kš}I1f 'R#oUȑpn&0(XC@6 *yrgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.A(*2y=wuC/zp8sd%~^r"r,+$`fD>(MIS}zsb"< w- XZ jk.L]\HZxP[JR.cBu8>E.$myUj*&H٥H_q+NE8}BA2YF ˯:LW wT^DW3C"- ʒ8/l/IHCfc\.%bU﶐ H@?#*i_T*WI2&')=ne Rۿg[f2{, 44~R &ό7 - ku{ջ4:ȩ HgYZ7zXZִF! ,]ŗXi%;,4C7˾q$VlRcH~e5I`,d.߱$[Y-<SEmCEo1wawj%6>A XGMU?} ("{ɝ|;aR)ûBD }7?x݌ƞ c[7X)ΙOKmd{IS+R]bUr6ʷX{y-R}qfimZkW(ahB:YQ}uE]ʝFfo &V&\vR Z#6?re?/ !9<ԩJ !\aB>&Ϋ[^|JIb_ $-8(t.du7x4o%!"G읁!pn]PoL$r[`|Z][_>?+1^IX DvYt*LgYZe87c4f7224343dc5004f3927d79a1274e8e075d232e67617b84c9c11cb8188110a1a4623e5435f37 4cfe04fff283b1f341f7b2f228821a9a87ea40ea9094e0a5f6bc6a544d871ab6c026e6da83819849   HOL-Word