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-TPTP:threads=2elapsed=6.485cpu=7.604gc=0.212factor=1.177zXZִF! f]ŗXf1-q恈5Vs1{3 k8gx'3 ˍ(`lTr`5{BDZD\])Kү<ә,?{)c{~ [NE\Eg/4[aٮ/'OӚ1)Δ8=Wd-\qpLV* n-좪ʡI,8+{ 5}] u.prh1?)k@ z'el~!mwj2gYZ7zXZִF! f]ŗXiɟ1{nH4ʼn8@ؓ&lsɄ=xb~x,CtEY?;ăr˂ }'4n0 ?/g1RçJa+Q)eAO،;TF0=RT3O5TLʱ-#bNE^2m_Ļly 릋xkwF;_'i'f(fQρU-a[K OabtI(d_Dm6Կj~[Zr՚q4GIg}2"?&.t4};1LQ7im ͼ WEf21]MҩR8e 3%ÇR\[PO^2I8Jf+|Mѭ@UƆx!OSZޅ?lK^1tgJ=WtW %͎Q,Xc|CVÎ%9; rG^*>onvT~[lU<|-}$e59&F'it{5khaT@ft GZK{ 8Jjn@wAx~ULQ>ocAEY2wQ:%;GqFlamd?d!:RY$E9 ;eZ<