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  k kG dd4 ]/ Bounded_Deducibility_Security:threads=2elapsed=6.373cpu=10.296gc=0.416factor=1.627zXZִF! *]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aBKSBgq)MA6'ϩO σ_]qO_$Ԗ3[evGLZ#MP7g $yvj$x7fQ rAq0&ΛD)is:yz>e@>3v`֗o?€_a&R#1{'{vgYZ7zXZִF! ,]ŗXi%9*]s:[' H@@,_WP? wZS/ҬfC)aÄ d6~ cShJs*I6\?M4i2/|Ÿ[hu5RoA:*yr)h9߱a&2S^aTtʔ8*AB9X P@¶u1Lڭauk,BwP˃IzTٜ U;~MOa<-l-9d=A!;V"6&-;nc]L3 OoҲLV;"+93sBXhRDT߹- z-33+>] {҅R:qOzMAqs\K2!N^TI!گ.Ffվ~5XDzC|2`PoE4d"Tڢ@oثÚ rV_z\Vqw£џyUƙ0ll)\}ڸ:KGٝĜYԅgYZ7140268ebeafd1edfaad0bffd527a284e2332eae325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569  G Bounded_Deducibility_Security