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 XG 4 / Bounded_Deducibility_Security:threads=2elapsed=6.161cpu=10.744gc=0.376factor=1.747zXZִF! 2]ŗXf1-/6vRZkee9!|xKQLFG WK2hzО\iWlX Vຖ˰fWf޵"f/5ʶA`S&FW μp {T^siŴGT\ox .8|n#`Ο)Q D_{d}Ji-W4 aBeѶ_Km]6Syk2dɶ*N银u,*hJ:uJ *t\KHEM.ꊖ6wB=jM/NG(Τ^?Nd/6=k1C%*M  gH1QDGXP:R&V>{ZQ"콖93Mݰ&r/0 gqQuO|HnAGXs)'{|j]GWg'Vn 4y8 ȹ$?r ޱ?C`/g 7g<+5jǭIPATiߠ#kby1w)zpNM6a$\ݭivFKmENJ#XY(K}6\#H? 6yvd^O@ &ywxҎ`h' —.H~uM-h $! ڵMO$ 95׳okd'.= veMkdf94#T ZםX޻5tL4nB{@dۥnCm\a{媟Mld5􎍊XLK:lya#IEsSG>_aj\2DdP5_Y}!3"FlV{T#e6tT̟'edwgYZ7zXZִF! %h]ŗXi%!W;Ԃ0{!FGk'qAz& yzOø,9ԅTOCE4.pΧG_G&HGbHu̦HIY=APg^|YY42l 7QQI"LJR(SбXsWCyPg__7< [>C%TpVXm)S?6{DЇ!7/7;ib*Fj+ |0֦F]NW$KI( @ۘ]Ԣw tq]`5b(uWYf0]d6?|e10,/r)kҌc:н$`&f5?|?-nrnJ7䋧 [neT޴)g3-G6:f=X9,yuA6i\s'ZA}5ߩ33U[]>*[ƍxZ7@W!"vvmO\!cU0 $&>xcr0ې; ٙrd<-T3MYT.F4AS z߇&.b+iI3zZN)]4R15 C C\ 0}Z+tjqH 1 8c7}ȕAkz^m[OG|mE[P# >$R&p蛏Dm-׆"JgYZ1376496d85e2590a0550a1eb23b7f113459afc83 65b09f1bf99494bf497397a3e2a7797044903042 7d74d2dba55f7ee3f2fa00631a30d95026d60047 8b094ae5dbe82fbb05ab94e66ddc09a16a2d962f 8cc8ce5980ad6db76c8cd717f74f3569565fc59f cff258547d6a6ba9d6199a6414c0991c1bf1a7cb dad9fe722c0d4a3b9bb1c1239c6c4ac4cfc6936e f12186e8516b78ce6048748647b8cd8788651f79fd26823aea4412c74308567751ae895bf997201a c51b383787a599e178e4e8b340122b3ecdee1700  G Bounded_Deducibility_Security