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  t<< ]S IOA-NTP:threads=4elapsed=6.382cpu=15.132gc=0.304factor=2.377zXZִF! s]ŗXf1-qN50^ Wy<#HIA%a?dO jI(t#TA_;|\,kA ~++iq2[j}!Gr] za܈%NQC;C,Fd佪a\Gnj@LS>_}SU{o'Yqc 0 `A:of :<;fX(~Kg"O7K4LS@ XiWCn)4j.ÊYUHóCEVj[6)S=ScqXVYp}=-%ҋP裚{cR8`lgYZ7zXZִF! ]ŗXiɟdN@mP$UFr1,I3buz#D`@]ө^ϊ+txS&x#\2ҥޖ2~.v%;ր֌'LJ2:\bQb70Edh$v<Q"]cfu~ht>w-6(30{^Dί{ϜW^_Q'h1uDgYZ7zXZִF! &]ŗXi%L 0?]6g\iW?۟}.+5,2F.``,wDmw14-%f;Kʓ>Y4Kܦ@Iʻґ wMrR=t-R[[3jzN (̙F^m|XvݳZMV>:y3G«nDʒZD=C@!ـѤY0`\^`N'7dL!-N 4Æ _n>A3~$c\ He}$Hwsһت'vϸ<[l0lA):&ԃ((?E烘Ml:Y\|ZcD4}"ztXֺGgm?(J$TisrT간 #d\T5| (ة<[LK:E,+71^3z N8UOFik/_i@0Qwv#Z@4FndF!h4/6}ǝ}e%APDI#ʙ\[dڧ20)Mj '3 퉢zD"חK(DQ[ړٍM+Rcl炩Z[pGP98fS5ۜˮ/b86H-ʴ!³1(kN[`l&7 X/ڣ Q$6s*6Iz#0MmHhB%&bAߊJI4j27H +%K-fqa !蹀#ҳ?v%d 5|C/LNl;8t\\9rs^ \X1]V±w Mܙ. a