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 PP- d$ ]/]HOL-Word:threads=6elapsed=9.880cpu=51.464gc=2.276factor=5.217zXZִF! ,]ŗXf1-q恈eO/O4Eh?>R[GޮSb|^FޭLO1C!PcS(a)+Lw0?J׈iB~Q) y}HԔCLk'&fh"ɂ.vukxB0E2vrc fiu #3}+K}Bgɺ HǾ;S6˔s:S.]pmlbLD"]勻%fe97@ qW п%Q6P ^Z5[t;-cِw,~)P/ Xos@Ӳ6h͛ߔ5_mJ(,TصWR^1a=)MыT a_prj)76hFZXV̯/U*CcDi5cs=8/TCG'"*1#Z5DžE\(~ӗWH܁aHjsxҀ (^`< ~ >;p8% =9`&.W=aھ@)h@/i<- Dxdi=]Ƿl/Z ט8DhoCf*PD Y?kda\̀N㶞3_'Ƴ:l jߋDmig+VqT$b A:S[M:Kڲl,NjF5Λd;"ɼt%DzVNn4s3?e?]3Ǐqr[>XM0+>@L~ pAݱgYZa6f6a297eaa845859d553ae99bb2c5d8a02eadd5c8b758c55bf2cb56ac81c62d74f7a65f594ebbff 4e355dbf04f38016bfcddf244a1ff37122307044846539ba050f4e14249c485f94f7e27a6b5f76cf   HOL-Word