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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
_ _ / tTl ]%
Pratt_Certificate:threads=2elapsed=21.044cpu=40.884gc=0.792factor=1.947zXZ ִF ! 4] ŗXf1-/6vR[3 4# d{T>9zmR,u
QJɘ0@1ehD4+*Vrʔ(* aﶋnNJ a W 69B{L5#BBaFm oиPXreY\ b(_ɼW85DJ4~j-csAr}q2oMqܲشz/F@frt}: pf9BjL MvUlIhd.Wڷ䐈'fWz 5c! i9Xҥ R",g YZ7zXZ ִF ! a] ŗXiɟIPDOB`7"^ɤaApA"ܗQal
3<l]nԐ g
J*#Pha ʒ&1ɋ5 } Wg YZ7zXZ ִF ! s] ŗXi%;4 bwY ǰ@q4cAF{)"1A]ԟ璑9x7OMX|
ćِJ̖EwH#kŻh@^|, MwiWօXJ,m^+AsܫXBIKuJ~-`2`̈́NZ|ab@)a/c&3
[IbzX
ؤ AiI5D< ?ȕ024A"bepΑLH$%Nl2#pxIN&)q*E<}gL@E".g+vb˻Ӭ}V.r_hl7D%M 8g;]2CblKSrqVY 1xy$0:1 ->ˆ5iEwAVguwk,ǥ{BћwgЄ8|BRC#V'r,UPԽ גDfdJ.c1,wQH@3
0i
MIZ:A +εc `nmbaQM7b+s!ڵZ6z'D4I
jcJy $7?BjK=ş:g o
#e,nwunۚ+U4#ELS3 H,B9
v%]G9q{zHD&rmog=3oFB,rINQnߕ_{lwEA*!L%Cܤ!yn8b4Iv=A |23ا."tǯ]8-&7LO :xxlbUkC[%&R: T؝U;T3l`9Zر .юN!B%,ki#P8:|=(8 zyP_NGcwGglgوb)bt&KfIT)IeVX|fZ!