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 SS*' ,LT ]/ HOL-Cardinals:threads=6elapsed=7.600cpu=42.992gc=1.708factor=5.667zXZִF! e]ŗXf1-q恈<-¡$johkX2I)']8PIxi3M2&}`?rLZ9aGӆj3[uo"'=;pF":8{ Cb(8ڍ`f4I}a4cqR2CК씊.#6{% %`݈ܾCͽ/i5~Q}ѡQ(]sס 褡e^яv pҡփOy(r:"P]SïE}K# qZKܼ//P+xt=G=Q=mGʤBuɪK:O'Uqk^yRrEMbVכkF:ј/7uAv3zj]:<%y'8tؓ6ǟY\*a:<3قrKQC5%*<.bs/WWf8 o=TXn #ފ DGC5N8FfMٌ^˨E?ޒ)ԫNb06xOʿWV8]"=﬚- wEa_>L?]{) B}(.ϩgYZ7zXZִF! ;]ŗXiɟ1?ߟt;9BP2CZz眭5 zL*QȘ[u&3C^ː#1k,Nl45,B(B5zzC[K%M^$̰5 r?{g]b4۹pq0h%.kD&Wvv{ sHGsTQ7*X=}0@om73j5]HN&Cņ.'3<c ЂLL8q4s[gYZ7zXZִF! ,b]ŗXi%Gc3w{z5Uʫ.ʷ:gA~D^d_T.?|z1>ФOú?󔄁 6<t_V:/W=0c\Mƣ`! ?r-~2dmwձύ(g)8Lk5~ 'Q0bl2'c I"T@-=S @ó0nJ^I Y}Ok3-"žY7iF\9zex"9޹bA.0-&7\-C&v [ ea#$5smjg# r?ņ:DgVt-L؊AUBWE(8)Xs%E&?F+OƝܩ5-F )#*&dd}{ވX׏-ǩ41}19ɴW9wI^|KmEh=n|G~?PC~RZ'u_,$r}^hg1hznQ^NT0T5i21oHb8̝sQIhDaA HjMc86MLtcb]:~> <d o?|<]xA