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 l4 / Bounded_Deducibility_Security:threads=2elapsed=6.271cpu=10.388gc=0.392factor=1.667zXZִF! .]ŗXf1-/6vRZkee9!|xKQLFG 4t5B")f: 죣Urfo/ z)"'].\aBKSBgD]m)RPYhqrS{KqTW~y}9Mx:V[ ug #+zC! MJjI%+f-[LLnPsJ ̸ ѳT|*/[U Dܭ3+O.YV\ c;ޭU%)n&EZ+B7 d{^絇Hh@; ^gYZ7zXZִF! ']ŗXi%6{B6pT OZ۶͆|OR'»y /LK I~UnEXQ":}iAdv}Ji_jEJkPRQ KBSwc\TR|"έ ]juѡ-xSh>Rw \P\yEFɮtzvhc8Vut-F~#Z<{k9*%(j>e+Y@[ׯT>g*?S/}&5ߞv (O? )|"oA^)j @#oU9dzWcMڦlEBQ@(F 7q^|_g/9pv/c*;c4Rť.ITkDRgXJ~%6mt>=]d{DvTCC)şWIeL[!5\#b>~jtQ#}հ&J6]Mg^s)3gkBNN=4s,(N>6*,\`t+E_d#NewJ&uA4 O! gtij 2 -ügFzb|i(|@XjCMZwzx5Я^]ۘ\Ii 0 lِenEѕR]7%͆'9er.(:!LΣcz$WovO}4ڱgYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f79f0df918d4045ad6c60b23213b65e87e41842eac3 e02038ad1e9503a02a8e11b7cb457877cc454f98  G Bounded_Deducibility_Security