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  pG ,D / Bounded_Deducibility_Security:threads=2elapsed=6.493cpu=10.736gc=0.496factor=1.657zXZִF! M]ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWf`UvK(~h8"9=I^cHG&;!Z<*@)<~| b I94󂔌1s.ڗJ|`оCLG}!OK#`1Q=E2-0gdz f<P,> i [݄C:c]J¶;|DZ=Խhk6D ɋ^Bs f.~(:odgYZ7zXZִF! ']ŗXi%6˻h`jX@$WH=HRU&$εCk%T :aӸ(8_+)53ڵD'D] >NޒRs\e?Wr쩭p;ߚOP+]=7jXfXSNEkLE{kr\\&P_B /sP[*VcԵY{^I*BjM Oc[dlҥ?\'{\YPB ڈ֑M3br;hPPe#/x6,4NXmݧ123 iM;V4bD zYH&륧<|dWg3ԛ>%FG'X|$j<XC|&3>JEDTc#[5 2 tjz2¼)JfjK(N=&G*kNw 9:?` jv;aLBva1_0_ YߍhTKb1EiSڣ,GR iIEIF}Y:ꮶsʦ]P\85v[G MWWʧRȟ2_nyV}-^%ܠskj:dLsF8%18_LyD][E˿́$70wl;z}qíS fiT ֠ēpޕ^ ^h1`OiY;gYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f79554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772  G Bounded_Deducibility_Security