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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info q <$4 ]/]HOL-Word:threads=6elapsed=9.794cpu=48.816gc=2.364factor=4.987zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y ZFovDqv->d{a[;W,n|mFW9$l :d[bV;7TSTwph{qxKQU%#R2Ç/6e`ԯnBIQ D.&^ sOZ,$+74BPҵ1ޒtpA];9I=~$s\MR~Tc5ɚ8mk!jS)t)$&I FeS9x|v[\B r68iLWątՙW!>C氤E xX-VoRѬF "Ih-;8cF1}pJ9,C&w]@}n5V2W 1I>]% t촶5ZWpRSBKu`CiT5ѷ0h0%ұgYZ7zXZִF! ?]ŗXiɟ1}?қѱfدyQ2$2|B.AZ(Q QLHM e.b g]ZfH ?2vpq)"zYênaR1AYƳJxZ֚,5n jl,=&E\pR)7u_!b=CǩAmz\DE#I{)ff-ԄIB-QA,]`N`> ?? 4+ -h7*~*__B5PqƵ6ǖ 蒑SNOġ3KB] W EgYZ7zXZִF! 0 ]ŗXi%@j ('>!D)՞$ٽЎA}qH:v #muS]:^Q|lWR{lt@ʴ9O: I;ђ}G u&-穅-1#ЭIE"W}jGsH"drXBg0]B\/)w+e,%hAєRnpemXzfo?K6^-Q[t/2)Mh_1em^(wTɅY8/D,,Y*~X^I!Q=] c߸'8/\]bV2:a>t4LC5*ƥrD ¤8C&$qf~$=.-9CγRů ^R JLJ_Yu>h cY7ymк9yj0Cx񼰫4eߨ7zpgif$ x,]:RDBaHWl ȷvGqh;SgQFpq—rpbgo>W9iDpӉROi }͠I3|f=Dªd|mǝELF N{LA>UQ(w]a˒L\cgUǛ:O&;pN~.mO$TǮTDYP(ǩfɮ!A5d H+L|՞o|WvfmG`2R=y(,8oBZ ZRM& )Vކc0QIo=a?Jܞ3tZ ׅiU ܒ1I|}ނ>+j=s7^.gY U ygjj/9'mȠS!SSc}#q Bd 9ܲuAx>򌯣 ).~[9d>J߃#_kԗ!6xxo)ZW<~۔O^MRYB[xv&.zڨe{>18)b䈩I6/ʥ%<1 !:w3UT?m~`7gYZ9349620de1b000e3e204b323e721021df366240d6450dc2aa913771fa0159410165f3f6e6149c480 a7ce1774be22ca0ed19dbea2c9b9e6e66619b0b533804995049ade748f632b86e01fbef78a53004a   HOL-Word