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
_ _ #<44 ]/
PseudoHoops:threads=2elapsed=96.168cpu=126.972gc=5.756factor=1.327zXZ ִF ! ZX] ŗXf1-/6vR[3£ˎP$ x}s w Z
*ڑzIwG2Kf
O[o=%oB]Ԙ?=?E`#SV勌a'fqT4zWjyo[n({ eLNJqBF8W'Up&*Bm
g\2=kr"U,vUƾû+9;bF~eXDFw*9t[~X4Zl7s̼lW@/({*
g2DiK#NtFN
.kBFJ#>\hkf HAuUG4YK4#<
FgZ|Z|3"nt;fxW"ٝNw{gC'{TU.ݖڐ챍}_B$)ۂh
Hta}+*9Ȋ XSL-6=P白\$Ҋzd7{_ALW?]o]*1_Z}PT3?C=ȡl`,n"v^Pg6aLL.Yۑ8FC\n@EX>ܷ[1?߽yŧ-)Q$M3}\9h"D}T*G
d9%̕B5ypX {z5l1sx dմ$mgmF@[+WC8/*qg縦ߜ/kF!RT-RD%3"Cd~[lB -=b>j
ּsKޙb8'5MKwN,">>s~.kS{Zp݊34o1AՀ@* '℩54a?BPN S* X<'IKzQ_;E9 A/Iq(ng 0V
-LRBFZ4
E\:T@Ӕ%cs8Aʿ!BtYK˫tC3/d'! ?u+