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  tT ] HOL-Unix:threads=2elapsed=5.729cpu=9.484gc=0.544factor=1.667zXZִF! ]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kD;$i#4j:W(@UOwz-MURդ7R5}@#~3`2PW_C/t{LLI \N`JBkÙÍSc>](YaI" |o:l.:tRB5bDz݀n фgYZ7zXZִF! d]ŗXiɟ1Ivx*`(rHQ ɅeXa?I\ӣ2R4.FE~pX  p[J# "Դh%MgYZ7zXZִF! * ]ŗXi%;c.A$%p%*pa,|I 3_?$BsДU^!ͫKy2s\&J%LV .!,4ke 3$RoTs#81@3`[VJ\QCMI$JC+҇H$ Hq)9N('EM̫ղ7U68+fX1-#'so ,XXx)<Q+~;{Xd aƷI~.o~pI xO?D|G'gl Bu<(D\itFk f9+W~As&8͉d >0G.BlkL+ʥɕE5E.14X^'ۡ6B@C}Bz}e70f|A*D\rS/"dZ"n-p:*^}|UZhg_.T2b)1R$$%fG?j[fޛlt =OH?a=CVYa 85wT43ԄjVQD!LҴo|]S2u_ s"!(]D&0AU$~+O4m{~II`$;%tc)M#:O8