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 ]/ HOL-Proofs-ex:threads=2elapsed=1.226cpu=1.952gc=0.000factor=1.597zXZִF! |]ŗXf1-q恈ܗ`(IP-̺|"~:.LZcM|"IcSVW{.i_b3{ qn`8jOX8qusS @?'UgYZ7zXZִF! :]ŗXiɟ1GBS񔷀*eHnrޢeb9 FS+k=ڰ%uQaɤ*=w=w{Hn&17)_4I~>1}Y)DgYZ7zXZִF! o]ŗXi%;idATtEa h&.9(E73$t be7 j#r_`=I)CkR.Z$l x̹aT^e/]0=:1Mvk07~vĞEuf"1=yxJ=?K_B.7sKmV~_Uҕfamt:!b4_Jͦdt+L)LJwA4DncOs%ŤN ŹF}#7_V`YP{&h(ZSYֺ3i,HǡHuypRziA/65w@=d{ڡ9~ʐ@qm >gYZd256d0a4714769f56c65906a1e03d00cf3377812b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 6a02f0b6bc160f1d96bcaeef49a943a78581702d ' HOL-Proofs-ex