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  r)|D ]/ ClockSynchInst:threads=4elapsed=2.125cpu=7.804gc=0.112factor=3.677zXZִF! ]ŗXf[&!8svBCBZvRu#Ȯ EPhCdxo{J,NiTn=~ CL+e6\ $.ކX(c!idF-JJB{* W}Zj$mYz:@DB}![ 1}ҚY3 ~gYZ7zXZִF! Y]ŗXiɟlQ#ۈrKn6úw;?׆S%ZL g Enzrz?.LB -aqh} `7\cu\!PgYZ7zXZִF! j]ŗXi%Gg.}/>b^(rE 6v 5r#dž*芐dE %ڳSev;/,Uo0Rl?ceفVzA^'V T5 mVn-!J4")m^^<,78!g_8$])C'ow%,F~-f6PZ3#Sb~O7Ut )_'EÁɖ(V>-ؓ]<5io/1l\af.{| |5X]L8DQy+M1t LFDf^3la*21kOhH'[=~T"#Z1SgZfwVdVb=ǃtyQKK}]H\%CQ M3ʥ K? HTTnl@(BǍd6BrQ6JbV& yҒ|VQߔ[QB'/0Rj-,Luj CG]*K2k7uZ{XƓ܉mMD|{*P3K.@z\'󌀋Pۗ+>A+.ʱTI Ϲ! ,9em *<ogYZ3728cd8e8e89ead43dab2e704948510dda393d581795f3a7abed9fc1d9546e3552e224994a90ba84 4907e731bc16daddc205b6b11f8b89eb33f47f6b ) ClockSynchInst