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  i ]] LCF:threads=2elapsed=3.228cpu=3.684gc=0.144factor=1.147zXZִF!  ]ŗXf1-)9\l ݺn= bŚ&3(/.G_TwTeiңLw`Rĝf{;&۸*3ەӂؤn]0jAb3яg gYZ7zXZִF! ]ŗXiɟ 1FE`空(qDxw Y9i⛼;%'?sLW췫D H#Tu7ViTH5Dmg7(;adM+Jh#YϜV4SO!҈Ϝ&#{1!#B.T?rV.Kyh}Y7l *iT'Fp,Nv:4P<([ZZoYcLߑL)-/GV-$@L9lVwjbgZ 7IV;m ]G|)sv 2Aj6$+7Sj!1]txQIna4~1cya5!h2vt!1􋩼6i0 dSP$Gc*P. `.lEVYDԍ:kYZrqK┈[苲~8"01Ɏq`$égYZ787b110bb53b0c215f55dee01934c70a2128c20d047361513188e7c72a6ffd9fc0d5d82009c64e0e  LCF