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  t t  Ll ] HOL-TPTP:threads=2elapsed=7.740cpu=9.076gc=0.396factor=1.177zXZִF! ]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZ+ٖ,iKku뺁>pKN w#Giڶ}BڥJ7|ϲ4sfbk"h(P#Sk/8F LmU˞N]59(O߼GxE̕S̻ja>4݈qb_d"ΠgYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ=.7TJ؇hUG-g4Né.)x+PJΉ~TZRowSgڤ2~^/Р} {%߻Qm u\% qp[俱773I?2Э K-D7b rl"3#/g 0fk2\Wd gYZ7zXZִF! %S]ŗXi%96Ua9~ҔDuAqH3:G 쓱o \-p4NǕ^y$ )96 B۵]FK>>g-@X[][Dd+NpVH0sqWcD &i՞`I:LB PYbdJ/T'+L.ˡZ("rFW]_G5ɽԼ<njhSnwnchỾ[SBzk<&#`%Inx,a/N>.\䟒5J+/m4_+EPn2[e.z;"fɋ08n'q2 'OooVY=?ה6+ؕ4L);Şט~##̧m.J0'gYZ7b4c3f0c7ec890fb2bd61dfe99a0a85b3748b05ae42b3e1f6b1378d353a536b3bfeb7e98c73ee3bc 976e5be91d6c7e38fb802dbd687a708c831185d2 a63742c749fa990fbc72e4972a8e6e8298291f00   HOL-TPTP