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 iiG , / Bounded_Deducibility_Security:threads=2elapsed=5.898cpu=10.588gc=0.428factor=1.807zXZִF! 4]ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWf޵"f/5·GV4RȈ8S7|s4)`Nk\ ZJaK@2%a,m+g*JπJ +"F{Zt"T\#W>a,}W{2EǢ.tk#0R+L{I"h~gYZ7zXZִF! %j]ŗXi%s;.$V@2Vܕgν^YLf-z;9h݉pYK"%QZd|7g);t~E69S35"Z.3"rQ|/WLD hH[C+:7#b_'Lvt5 7 ̅eȴk.7%daW01 X'$1\g I ƾ(!{-*ʯ 3j̴ܳ_醇!.z[k']Moq;J'eTҨ]ZU]jj *иV_6 ӪzW]plBQbaܯ?k'?(ص7cw[5bj)>YcyM4ͩt]4Lsr5GSv{ (.^9+,'t3_|_Hɖ)xӋy 8MEA$ (0KERS]܁B$P5)y/cbZ2nc~%cr8YԂC( dnՋv9<^R]wpC^ ^9;iMkFI*)D',F J`)I#2-FR_Ϻ 3(:a^(@y_/H"ۖ`~je0F}Jڷb ]@w4#$7^OcOI5 =K0{Y4t2j.tZ mJ@_㔠GTW0!h8NjaXJ>^gYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f799711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9  G Bounded_Deducibility_Security