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  r!| \ ]/ List-Index:threads=2elapsed=2.680cpu=4.956gc=0.084factor=1.857zXZִF! ]ŗXf1-/6vRZڕ/0*]=D2-:r/•UXf6SQ] N ;\10y!8U G8 n!3VR .xrP*BKoIxQ6~\EHf#,!|u:8O2gYZ7zXZִF! IC]ŗXiɟFTp>>cP$qXLE۵Y9g­]y.߀#] TCJE_J>\}YZ7zXZִF! Of]ŗXi%;ŸyVN1` Pƣ}2AhIuW< wpWɢִ ce tƿl^ T(i1|ן$FZ('r0ZOE˻.-K$d Vb L L|3JHߎOY発C5̋f(6+5/2ŝ89M7zYw([k#FZ-duҤ-iA=Uzi͠f;~82xTixF\(̇Gw^]=1I C4$,pK?#Z\@,#H[EV*cBP AE^o "=@wqG Z;p#a`Zyhga[xKb`_rͮU0 /+m VbP“ُP wY\0ms8{G<KSgYZ8c6d38851afe12c1cf5d0218fe9150ba1629d4b979d8e835726df87c7b301a8f091eddccadfabbca 384240766f364b0530b95cc787b490d4a226797f  ! List-Index