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 i dt4 ] IOA:threads=6elapsed=7.293cpu=31.944gc=1.392factor=4.387zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K _G~o,,z4l=.&)?n֔[(`KwI E`yerΆSRDΩrfaK;+CMFm?*p6(7dXFu2gYS^Jd!x)G,Gl~!EX yy$\qCZŇ^|I /Ip6Fu:mzt[DO6T}2+]NIaE2#3+k 700nZ5 J!aS?KraQWwz7o`-wJ"/$S4qe$Cg=}i׾6Z1 pǭjF;FAv/JAEJ,GXE+I GgYZ7zXZִF! )R]ŗXi%E\̑XܔE-$Y1-gb=%>Bd_6L+J<8ʰ:[!g <%{CJ61TU=s0#.UfOpqx0&Uq$q~DPԥz%Naly^`/ILZXHB 'x_}]v(j۩ /8fu|q$~cr/1U&Td @pe6z:siVִ:k9R;Vp)^70@65)`)*cKJ2a;b0L=B`S`s?1 AXFd'sâ)ԉ - lzJ52 *R9eMj4 H9X{5ޛ&{G@=Mrº?fq޻+ xW-adbk$ݹ94'uFl)%"v"P{zȹ-dYv3r/5͒枽GE; jF%Ҥnk3-??Iwgɜ 車JegOweE9XUcno {Fͣt򍟽ޫ/}gKS"v/Gwk%a-Ɔmxr3H 2 GҧZ$#d37ipM'yY4?|qU; mJX