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 ^ 4| ]]]ZF:threads=6elapsed=12.566cpu=44.924gc=3.052factor=3.577zXZִF! w]ŗXf1-) enȈA$jB80l,v8-qFN}H2研M`orl`b=4iCOKC_Rw8'3dW}m|Z} cߐ;KwQ`t@~Bġ#Q^LT~Z9_qfjF2xo%s,FL./u [JWε/ͬz39I(:PkxRJݶHH`, +)DF. xf[TX ح/.ܲW$Qu=1M`2[+pnFWN: Y 8"-wIi^Tl>)q_&K{<ƫRS8}J{5ɩZSW(cˮ͞tJoX6{k#:Qp]%!4':k:ABs"%VNg}b&YN+˜-߱gYZ7zXZִF! Io=mq˺IS3Йp(4sn~zmu*$_LiɊ#)55%1q@*"AJ1 j~aF\z䧥MoW᫒k^^oh֪~ /5|鑙.nm9drLbVN޸3 鼊lsq ̛<ƹgI1}k 1Y<[FSH#!9"Wɼȁ+sX<}RWt)?J<^'fȑEX&q/v?:EmT$4,d L@7?M -h=D[2b N8&su^Ճ`K*sWmqтi &qJ:, `G7˂'Dm5Ȳ,yӃUn3s>,V- kx Ejg֛Jx-Nנ(7`l [&Mf?PZ3`rh {&h騙M܋٤KMf^ *׹bFāPPd4 Hڌ./}(N \\4nzVNB=b]uAq j±>pB3F7jh6:I0AUrBFlhCg0K#%N0@ + P`DDS?a`{)2xIC1l+ԣ/Z\\ `yS˼/ 1Bxp glR6c[V Kc#W|AsUAA^8Q0޴ uw5y,ǜ Tab+n,(zUYA5#yh]$((Df%"%E0Tv5T#zX#Q*oPbFkӮ垶? xTh&бgYZb77790f5f77dca78f0c6370232b4a876481c0ac4357b42ac3beabedec26b51d2656ba583cf1eab4be2d2baeac2cae0f204cdfdec15d2bd63aebbae07  ZF