SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ZZG 4 / Bounded_Deducibility_Security:threads=2elapsed=5.974cpu=10.888gc=0.456factor=1.827zXZִF! 5]ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWf`y(%ll97*͂&cFl@FA V&orÇUWB%{gEIGro%h~1`1(8vSBfMyu>3 _!CwBWjpLJkcpSFRPyiטwrIR;5  G Bounded_Deducibility_Security\5x!fpdi*9F<LyuʯPAnv\#8?D0> l0Yij 14ajG h#CT{~yBzAg]U7>uI;&@tMnE{ߐvEww-0jC;W'kkwWb-̫bʱ\"tN-X܉\TE }=gƍqN'WI:f|V9m,uAz 烢H'yRϳzCjhJ$Vg*J #\-h,vemix2XJj xQڙ!-pW7Zɼ}Ki(Y@Tcj 7vɫITO!<)~/y=6iHg~{^DcYPgAu .:Nvp HV\wPN"Il3T[+pP hRG*ޜ\˥sb_cGa78/+@nV]3*4g3sBPo!޿:䚒gwml{-N)"yP8gN-rۯAp#}&@e^&5 W-ϝ=-@x 99h|{S kƂsgYZ7zXZִF! %g]ŗXi%DQ݄Q"1|D{sV֣gB1#[=c$j6dM^hǕ{{]<ŕ]3!+s]e &E̓>NA5G[O0\qFUL B!Q= kxMMdfvвg>F\^x0n#TJ>QG/NVpaBV,I[ Q萌C–D}A6bSfzk8|z`bKpIP"C`g Do} }o˭6tKr-AC$ٶfhbnXDŭb|5Y.1==#$0@Cmkh@sn8 `\Rj6Rc{.?}]9g[cV?2]G㨪~dzgJo]v!.pr/yϻT߃1ٳm#+)yHyBʂ b<@pa6X`` -+YFfgkiSԺ[@7Mo8x{'=6-XJ7gYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f797df075489bbe200b6262e37edcd5270d19378d2e 9bfbf87d82e3125a825023e51521c6c0733cbb56