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 c? "a. -;9ڝ?Si|)V98h^ym:a$HQb^2g/y`CVm~wgYZ7zXZִF! T]ŗXi%6SwPmZ\*wB/c$M+&\Nrf<~\w^Ks:e >۲̬[^.!VAS4# -F< @<@jZhbTVi.;M%0J0q,eЄi:]肵v ^DQGp^+_a`[$Bv #9/iZ~$6F LдaStZR*Lx':jIt풌oHdJD2lٴ *u(ig%a BPpzo}@ au-z{A)I:~S@Mr(s̷M7x z\6Ѧk@=ib^_hHh,D|6'p$5[!|dyƷTZ螷K,U e; rjQ}3n{j)-StVCz5\wh* ] gYZ3de8e02bdbd44740ab08e00353e88dd0660fb5e1e70ee0fd938a0febc474d8a614487240593c9abf 62b865a30afb162effeec3b132b2275d92775ddc ? Inductive_Confidentiality