SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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  5 5HG d< / Bounded_Deducibility_Security:threads=2elapsed=6.483cpu=10.732gc=0.416factor=1.667zXZִF! )]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aEN_SaoOB&U]gHRAYվa^)%Md g ZŠu?~Gmb~!>4dI3W02L5js1j@\-Jv͞(94ibdyJɐiTYd3 ;E/_mE9Inl kƙ6;7]Z2\C9`jU'茍[u8_R6cgYZ7zXZִF! ']ŗXi%6`BŮ&TZlTJlx |8B[͔(qжqw=8AB1XO(=8Pr[0Z:W]槮#{h̸DŽPOY6{}UkNluTу-'zbBL;N !iGmxr"`Q=]qi HWໞ !+trQgFmOnqK,Lo8<-BZ.| YG3I&9رŒ^javST"Nā3xp& xDLY|]!.Vxk`b#)fr%_}PoPh&vw'I6R}-FcR3|80γDGZallDP篣.vS9.d㝢W(`[^C<"Vmu~; / "P&C9QŬX8Q JI<(/g plgmH!W(%6zxѢ^CX$ŴIXuk9<43Ӽwm[g~Ӑ8+Nd3uL)_" OUS(F+8F7m_:D%-\gBBURMкͪ# s8TrQCFCF~9kVBϦOsgYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f79e4688efe0911f3c4685119d2413b25847e9bdff2 e62d7733884c28c7fb0a292b7be70c4f22bfd1a3  G Bounded_Deducibility_Security