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 D t ]% Topology:threads=4elapsed=3.954cpu=13.592gc=0.308factor=3.447zXZִF! D]ŗXf[&}H/29#rLhZ1l89&,H'3Zj-ǝ[".510C;䉛j0zCz F*K1FMg{8YҤ~1:CFNF ρW0/@ tK^-NUu_T}ZCT*+J|B`o`3T%DoqhgTޚסKygYZ7zXZִF! ,]]ŗXi%B۾2!9E!b0N  1wat1ꢆUoYNmҹSGv *lܲKTӡBDʡjۻfhxaYp h:o+}B(: c.ZGԙ".as)݆^ze $w>Aj q:@ M V.4:B SSPn,uХ7f i wV}^}`@ÔYkApq8JP"\܅RZJ8O8 ',-;>ޚ*"F0OY ؏d'$o|T"_7Gۢ,QAg/z4<^XiȌ8;-δrDTRv LʦFDe\{ˠ]zHI2F<bȇ& PGB6r 8s#(w٪%u4i{u%L)f+ 9]1ٍ3H>싶Ћү髫Ă{n\ jDj`-Z޻G] )&=C=;ّ|ǙƊd0„# xoA5Ȋ:B FM?$;W@9gFuM3nQ ]p4dv0Ɩ0K~%mk?kC c{R9ǃ`OzVM+"۳n]9 .xLt] ލ!ryk~ip h;,XBRsh&eF^W@'\7!RXô#"Sީ}>= Az>PXCЁEgYZc4ee99b95fe56d137c5dd7321674cb76aa367c7d76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 ea3329f2ae13658f173a00fb334e72a850730143 cd382d8e64a63c3c089286832499ca6e9dc1b20d   Topology