SQLite format 3@ .;  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\ ]/]HOL-Nominal:threads=6elapsed=7.166cpu=21.696gc=0.8567zXZִF! h]ŗXiɟ  Q p`Q +T泎1S=;#P2 - [ .h#23"219G'IծTʵ4 8*;pPQOw {ebCܶde\c+1AuXluj0y,2^ks:h2Hq)sQo}iOC6YQ%6M;HaI ʊ@j> ƍOrkOz(\ndv/xһ $ ʶD2I Lzփo nw-淦pZ`XR=G &N ߂#F UiEj tgYZ7zXZִF! ]ŗXiɟ1˦r.Hil c`1X144Pt+$OL`4jϬ IrL;潗4mkbi1 pOeGWϫ@C2-ˢ|ŚgYZ7zXZִF! S=]ŗXi%L(l@'m%i`7&|$U ]PEqoș4}w[ ݰ UAyO[ܾ TtHʲvUX',ZiȮ;C2B@i'̳7c2_^s,N]Hܩ\D޽i6Dy9xJ `@PSw:j0BՋISn,& )hR!i֠䟡R5Kݬ%ҲOk %bW L>q\5]iN-dwW!`krPkϯVW'+{"dB*gϱ|z0RiH{ՃGr,4 HcC- VJQe'ƑD$Y +K)L\'.̯{B%b<{l|56*[~/u>{g\@:AbǾl3 |jKي%w=n<ĝ%nڂ`Xq҈`aR=M`GzR+d*}#)WNzjx`Je6A۞eߑ>Ow&#ֈi+ѫ(?~pueXw4oBsQ~^m WɄJ*?Ovf͒ d,emSq7h%o{WzNFdӸu?=W]Fge޼R Mz OKԤ㍎,_wɢQ>us@9(iտi}]dIH(