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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
|+
t$T ]/
Strong_Security:threads=4elapsed=7.958cpu=28.356gc=1.040factor=3.567zXZ ִF ! 4t] ŗXf[&R
h V c?D:G=Cng Eg] xlf4Nؓ-@4v]q ;&e>Bݟ;. @pRdɬ㊓FSmxoqQ-OH긌7~mG>EG{jd; vޣZ5"`~Z ݲMÒ"DҺ-
v} OKc Gҗ#U PI{@iIh8H[Ck2WȺb Si5Y 02-fpw@?)y sq$F_Ĩ=0[0,y,2XgHj9KhڜKh"pi!JM.&r ZV@òc" gauw .ks@" ƴayqȩ$R,l1Ԣ ) $ z ;g YZ7zXZ ִF ! ] ŗXiɟWڱIY\u-Iv* #p<ad~HEϸ}%awSz>^pnwPIl+86])ؖ*yC+w Bo M{x'&(0E yYsH+1`ES@h'K>m(oڽըZ!J[P
K SʒisHq
rUTJ'&] pw"| 6?g YZ7zXZ ִF ! @] ŗXi%Bo:j. d c
Rw>HyU"pyʿx+ O6/8%hz<`n&
"?m<2im.ν
+apWQI%VFH 3#jH^xTX,KCbcDg3ϧgI'^@%jl.%)j !ݯXY2DW> iX]$*){\vz,Z ^(+<(|M92nf۽pK=)~z^IlgTHYQ*a<~Pn2PKعxX GJV?x J˧ Uq8vҗ(O eK`ŀ- V
t3 }.+`坋TcC[S杜st[ń1 qN.8zCCepkSGkV*͝¹:~]jh֛PtћfآmAkˢ a]O_5kzx4zB(˟rbh~ңbp/dmaE4of` (;OKZMXoXR2?uNJݏO-+@ jM=a\_F%EZe{4./6}*qV<e^S5?0N(Zl7YQ
`+ O Sq'_DvgRY 2 Ab}ըJ$KEc7D'mt"
ҭ>3 '^9W)uJj٢:w:yk[}V~ E 5+}L hfbqJ m ȔZ?0-~ ZׂYLHImo
˳#(r[.p\&UĞ9~ZQ Y{=c6md
Q\tA^(BlȄI|ߍ~f {4V[meh,naӚĊ PXើ:'D.>%-c
o'6H5 K>Qr t.C-g YZef566e3aa53b1eb045c205ddccd3ea95adf1cf7bddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
+ Strong_Security