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   z5 D, ] Lower_Semicontinuous:threads=2elapsed=6.890cpu=11.764gc=0.244factor=1.717zXZִF! ]ŗXf1-/6vRZ;tZ6B%UbmVҼP&D-,@xVWti,_&E\Nvh)0`&nJ))pM-.3n/'G)w8p }wCE6v3gYZ7zXZִF! ]K]ŗXiɟ$imC?Rvqb(CŸ(@L9^Eqpg^4}YZ7zXZִF! 3P]ŗXi%92K(B?ψaiDܟed|ڞeuRX$;K6WG`#;m8 `Zq}E׆Kk e3d.W#@c8C5)`$.i/qs8 {+ +״ )Zhn!£ՋtŰTބsܾ:;j5F{!>K-V{63ԙv,\a,5Ggb33V8DwX!"xFp%i2`6I}I=tIc(uJA=;]SuR*莐Lqo<[Ckm=mТD4; ׂ4*)a,tu -06a\؟+Ih;ũ="hf-޶!ͤag[準YtU|:Ð-n1n2R^u<4vMUd&a&0xo %B"sI.ҩi%[q I͕ nR3!ͤD~Jwy'W/8"} &-»bO},ƻC4M; ZZrqΉ۾iv[Ej'ےS80U3źFGFt̼N]{vF$ԮøS‹w j@5oH*\"RN/ZY*y@,# >8p@JA;rDci&IF)56##!*@6ݴ0uZftĂ /BgkiϱgYZ35e3b2e60b80596a2d71cd390bd6cae499e195b7bc695fdee8824a798a8d382701fae26c53fc4747 5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77 dd3b26eb68cac29493bf399898266d7430458d30 5 Lower_Semicontinuous