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  ! !\G < / Bounded_Deducibility_Security:threads=2elapsed=6.434cpu=10.528gc=0.404factor=1.647zXZִF! =]ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWfbgkY+՜m܅_GLe)VOe}(hLRBRKgpG4~i7G w G?u%S2%CQF "yIgYZ7zXZִF! ']ŗXi%}b;BgjgPikq!<@nH_=8~mƸx螜},mGKQCO2!Fpn4vYk);uDMvE4^F\s34S(u2oHЪ y i&-G3W.c2c!n?2wH4qˑQ6;KQ&Ny@ "bh%̱#F {6lsnҠA_Vu±^z?Y6܉a)-޾N0dɸdfH973JJ zTUHr`]V-97[n"苒 : *h;%K'_r&qQ4.ּѰ-ѯ s554'a!*fAotF =*ت}~HSq6l|Y+$wQMٍq^LcHVT;%"èdc/$ڄ%O֬wgYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f790ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f  G Bounded_Deducibility_Security