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, ]/ ZF-Constructible:threads=2elapsed=15.976cpu=30.488gc=5.388factor=1.917zXZִF! ]ŗXf1-W5"~ H:Fi{3g] U_ 1T44}ό^6FIjZ@uhuh\!_HY&|F5}}a" )3DŽr;3gAKr.;.bo GRnRe9q ŃhmtCˇ.SDШ"3|!i\ăNAIB[IJ4 0D[gYZ7zXZִF! \P]ŗXi%;bQCҼ41ϰȪwן~8CKOP8rSՂx<L&1 };R`&:SHG6gZVzpC>1 CrW[Ʀz"tf 4^oٍ,aYf"D9NBS%cͳ<ZK`ې!jgX,\˕ ۟xQŻmLm:G$,@/|Rjf|18&pyٸE ' F\z:vpvDÔ[JM ZIvmRE|}0 8"x EnI\d5I& jPcaUSP?c Y {ykV=R܀d͘t0~X"N=jQ#B9L#30p [nL]k!zIѝ:yi3%гvkbY,<_Ǟev/j* agx\FnYir g.JpaBaѫ 5IG)TVMTnČ}wϕ7jc7V턜~ٖ%qVQ9#T94 VUHڵ'G ^Gk Q;e=1;xEVQ gYZf6bf57ea39f12199bb3c039a635e8d719096a4b5b1e9d096eff3e2d2097c331d061d199548b5d3ea 97b8515203e9c8aee7aa408bf9329d38aefb2740 - ZF-Constructible