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  ? ?> <4< ]/]ZF-Induct:threads=6elapsed=2.873cpu=10.348gc=0.352factor=3.607zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NS%f!ƦDu75QЌFqlj25=z$P>tDZvi]BM * pg Ł6=BbocA znČhJnsZ(h#W*p(|J݀mi|gYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەzvrد75I:4k7FSfjiy#T :ff$g}n$yUvrPcI'Y#3Vo$*>֚НgZg^ #Љp6W,jD|90~=CaqKnC&fIUmVvkq[ 1 3ga>TTW7<4*&9N3JI(C=9G:gYZ7zXZִF! }]ŗXi%9%wv08CJ?N/Gε#[; YE:Z%~lƇY|pʤaK4p/BWhȢ'S =J<^Gmd lnVmU"]"܇|4Rh~}gnj`(L~U!mP82muJYzXUmMM&{{^]N:Ie}q\|f)a=)v "[-нcvJz͎G[>@^?sE:h9*o$`Œ 9s*$Eh PB2U<C!| [ L 1 m 4gYZ037e7e8150f3db6564323feea2cce43dfb704f0c0e3f5d7770b79d46052d8a53d0fb4bd743cd8681 45a331bc8337633e2e0991a67fa04a438ac187b9eb81aa4e522be9742aba9bb94451b219c356e1f4   ZF-Induct