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 zzwG D< / Bounded_Deducibility_Security:threads=2elapsed=6.359cpu=10.476gc=0.380factor=1.657zXZִF! 3!]ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWfJ5"f/5$Y% *1FIA+r_a[|tpxqމΜp(%0 ]}Iͬ(kfv++IZ)Jkϩ m.DqDCϓ~(ZKMSiGH^+5`,([ħ 7r:OӱFTl^+A҈SnBv 3ĵ~ɪ+]w s?=,j殮JJT?V 6R,ow*rQ k9%0ۀ~^&Bȿ$Kە4t,b0NqS]^gTg<ԉX TP+Q*9?Ҷ Sv\]]g{# |Fsa)a 6kdcBRg>Ń' :%%(q0lXWG>Q} i&^kM)*7#/^3ȱ`9B3{ T ~Cc5]zHZ"RjF1Wz=w +ɐip3<v%}-ө5"]iϨk{pIu/u'*Hsu2ayuq{ FPP4ӌ1v3J mH(CN^Sk5fpGұgYZ7zXZִF! ']ŗXi%>6;f_]CIMnq~XW51?,0h h'riJRX/w7A aH5^Y oMG'T"9Sϩ hz 58-uZދ[!eѾUCH- Tֳݬ,÷#9+%ǒ)lX>xT(.]<('a%N-ߊFޤ /v^8Yg{tAcvuMdDu!duB-2eQ=?G+l#ݨ|x++.X s*(::r: L/8VޮUY]}ЃhKSOlޑnKc>; t=G$[aJB]?pA삼jƨ6T+~ߪVj O:s[gYZ65b09f1bf99494bf497397a3e2a7797044903042 78b14b408e5fb27b66db672df35dd2c5128ced86 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f79878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457