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  i i$D ]] System:threads=2elapsed=0.428cpu=0.664gc=0.000factor=1.557zXZִF! R::file=~~/src/Doc/System/Base.thyoffset=54name=ML_fileelapsed=0.148)J9kS T}YZ7zXZִF! ]ŗXiɟ`=H{ V£$R#إΔ4]7PoX%˃{RW*P0UR5l:`zrr8sc_Vڽ.(kbR0H,g >TWlU3gYZ7zXZִF! H]ŗXi%;im ĹJe|τv3z:[J{lB~S\IS)^̈f R\CW3@BfMPM5wJO v iac(Qr=)jF?v5؈SF7۬3FvF;*SR8Gp6ECmM=UdֻGqPbTl+Dt6Vc,qZeh-ne?:&KPiAN p5U~X̘@y@=(]BY M CgYZ99228a409f999a6811ef11c1c346dceb972cb374b6a06941c7f4d32a9ff0b780ae34fa263f209f1f   System