SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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 eD ] Datatypes:threads=8elapsed=40.496cpu=73.288gc=10.892factor=1.817zXZִF! ]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$hf+#H;7r\$CCįȮnIxj=0vW"Wmǐ%gPRQ=X@qm9^4)p<1E/X RAww3ٞ, y- #4f_-ųځ<4..9܃~Z -gW+ ?pFkg] {T2NlX?kԻku̍jU; >!xFڝC8xթfi0̣M֕so[%,~3N*ϳ ܺ5Iˆ0RbgyszƅlCECڌkVr(޲ϱp16RכwPT@-y&)NMkҞMv:JՠtyLInULã g*|%I䎬x'VZ 9O/0?-ҶagYZ7zXZִF! \]ŗXiɟ&zLogX?mQVũӌuxW.gYZ7zXZִF! U ]ŗXi%>t{ULg܀n ~*9~ e\€6 0VE, ⦹3:%k,>^Oװ1AaA` & Qf=ܕw~tJg@&N%vOj*ܯ4)ߧZ$4_pqxikEdwc+p(X 2r#BtW)M  i}QrMj\0 ’Fd1S!`1^˞Z8o\ji}Ĥi,V0/y?'Uc8U>}WP :<3$zq…gY8":(x#`8i͊Lf 0gogipZM}ۜ!,hhv˕"SKw Rv#:[o=okCI i^ٲ sD9ơI4Zx}QpFcZ0kVKf"pt0bi+a =:(eP"Xн":tZɑB8l*wi$X^ ;y"IexȎ/G$F=#X UX?^QeNKKNheW @s?SÕN%>8 ˯|&ޒ WY o<N}J. K(c=C/D-}0# HĒx#Br rվk2L-x_Ǝbib b"ϾV$4ڞ 8ѵh_ts˅O95t*`A&#EǕ >&?yثTLiΟ/Z|$%\/g{-GG<4Z @RRWh;BKH98|}iBOSAZR_^F  hגTm*Wh!3!eܨpCAۇHs]0;c{D>1t!c߅"Xؽå?tM$ =_{b5 ǫ@u;B@ī|v4uqRFʹnkhFF.o_MR9`]*e*Y?4.c9i-$V . p-;/K?BlJM7Dm'bq =+3%zbܽvNX;=4t6פ6,|"Ȁ`C Sc@֨> lu܁~ 'OZ~hV{2U!*7\ƉިK j,CalP.Hi3Um%^8/tLfuvZԖՓ?чNR44-j!{PhB 5! kKè@[6 XJq#2 XF!E _0C̢@wr}YO*g70QwNZ.Aړ:M! ؃儉սXq,* rLӇ˼^}i0k QO֔ot4NW#d|ǷuWՒz۲ZG(1})΃U~}*SC}g ;Vi Ww@PiTn 6f*HʡkD4CmbKe YŤޘQB!PF嗮8c3>5b.8pyS 9 T0fd=yN=䲢|j<{[l5-򏙻D zM#Cu }v5s_WƼx##pxQ ;fFتnݣ+[FaoRg{Cc)u {B|ƖY,qlzH8luI{[O=(!J *]