SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "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  m m# ,T ]% VectorSpace:threads=4elapsed=28.690cpu=85.000gc=3.488factor=2.967zXZִF! 4 ]ŗXf[&9ޗepz,>SvK9Ofh f:zƾy ]Y`:_< |{wyE$؋O0:bO29i+=0ĒM3 6ɼ'C𒶙jF9w(bA)^Nm||a &s֫R[x֫}&ުG0|Q T*stx0-/f2X֝B[D'r@($U:3d^- thLHmͶI޸%nE.f*-hj3+.BݎVx(]KFn{RAo?{Gf0۾C8ad 0-] $H?pӮ*F?% U<6'F4IJ>c՝0YiT$I IhXǡh2-iXc͍#Wr 2&`2(C /GnwSUld!wR퐖:VB=_ ܱF;>> ͐v'â{|"!;*`*q~eݬ}Na} (WRa-6dC.FK{y('`]! sNlx\t$%patj/eK:!xSN]K'@0kB! 9=lF; +t,*58+`m`3q3g^@?J. B4e#571ɺnTVyB`Z LiwBiV'՟ őPبk͎=9p%Q;QU&Qy X1[ i8gYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({]T5sVY? DD20b iWX13Q*F#L&^O8,*|u:KKUJ^ m]_s$2kn7y=-2U őaV|6 -C/op]X5|~wűgYZ7zXZִF! ಛ ]ŗXi%Bt.:a9 i> d,?b-H:R47fB5yd` W. sn;0dk ῂY&g =6bK[MHWdT1zd7ʶM2/ﻦf kE<!Q~׷ !=P2&7.FܜѶCZ[Ɗ+&ڥpM!>:Vy/P Ѷ. 9sbU7`;jQdd&9bF{>ϵѱY8T D@LAm +&2/c`u2d_b%_1B_*Ofj$)ۆ{`ϚAUtq0oWۚTb }vb: #Q~8S{SXkiSYbopp&Vfs|Y`M~ HwwTFkA'iӪ ~Y& D$|G'R<'Vѷik8B*#Ԫ62ϻ\ΦsmHbУrw$ 6^Ď\g̪8[ו->g"r%=,zؒ7l`;',s!C?I8y2 $AvjaIȊ~jæ׫j&⡰/mYZ ռXxzcX?מ*Lc[-h/Vס#/72468f8P_?P 6Qxs<*/+FHigc_ ZvirLvł>E{NjJeQK[nd6TI-lpԪ)qdT@.l5ڨrTY\ {1[D'&<pCeZISӴ8'fHF >e #_70A:$Cz aJ`.aDzoo;1~┘ j5M,ɕj*3AE<[4v:؋-}o;dH ὉQ<1cbH ]13m9ण##"P{AG/O`V0EHQ[aAjN5idb%(ac?i"ÙՍ$/>0.y&r"yҕ*mAPo^"/L;$z` +7ɨ0iC+t-xn%&i80,5c(%nI$˜K|"8u~Z;i4)^ M,'+Ӆ^Zbg9!:̯Ҿߝ ^/PB?B.Vf:rJkɳȚl{0uXu"Zu@l蒳\>H. YAp6:)q>Bv3KnẺNQf'\y̿>jAPNį(Fs2,ae`#V4u*` SNa_ވqclw{2]mEo YJq?e8oƗftt\9/׸KhjqܸiAmp:s{Ufˬwi;LnnN5ppPЩqlQ+ɪ';k8H-+YNraJI(.ر&7ZC@gYZ65efa82c63c9d1febaede0ce17ba6d15925c822eddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 5b482eb4bf65e70d402e8ef0ecc74186f98d1c5b db31ab3431f20b0b68e3f71d90043a7b94f93397