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  !L4 ]] Spec_Check:threads=2elapsed=1.794cpu=2.992gc=0.012factor=1.677zXZִF! ]ŗXf1-%˓:[L #cI"O nyE .cow?ȵ [ֆ ۷\W=U:Zh5M@eI7ԣ(d )Z13$!DK#UAM)gWey5JKgYZ7zXZִF! Q]ŗXiɟ?NX)K/Wx2~(JOĢx`oM*#G7emLEdgYZ7zXZִF! ]ŗXi%9(PπV?N4ɤ:^xc\au1xcW op侂{{zyX#I6N`cv(i~{#vLO"Ӆ p1E1e4Oq[rWd[榳]Ỏh-6/2 G5˚671I؉dp@W*P`~z>dr?D@CEh$.SWbq'Y$6zx! +>do%QKPilMxw, =a yq`P`x0VePµnԔ|dXv9#F:ECX>: Vu}~