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  Kl, ]/ FOLP-ex:threads=2elapsed=3.947cpu=6.380gc=0.120factor=1.627zXZִF! T]ŗXf1-)(7D.qk,nC qS#ի*4-bu^1q1j A9t1L^טK :0Geǜ/V Lf8S2WyKӗ 1 !?D̎mOLz@0{+)l"m򙓱gYZ7zXZִF! ]ŗXiɟHR,~OG_ln !F6C+E&ml`u/yqdVt7F|d~٬'৹ #aݧI%PGJa9"JNpTp:|&$ mچci?B[jo}`r5A(",b> _gYZ7zXZִF! 9]ŗXi%9(PπTW}6Vk+l{b'AQh{F{c#7(`@i`>.I};׆'"jh^B}I‹K ܗ|avE 4/1"RAbAFq<~Mk;v`Ơ+m=f,]~!p,~" -8V Y?o ,_- %vW1)!+=gYZ5b3a4f413b9c780586d41f5bbe866ce01013dcbc6f2ea6ab0b5842682397ebbb65f675c6588578c2 9b91b30c33ed569479ad9d505a2398ec9c634d7b   FOLP-ex