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   y# L t ]]HOL-Nominal:threads=6elapsed=6.339cpu=13.952gc=0.768factor=2.207zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|ˮ1i PYPmF }J|Q2af| 'XY;"; {^L:tsoO:09j;uQ^qkrn]"ol@&k!CELJzl`-ɲBjyp'='] K37ϲF ұgYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ m/["SA+LnAvF6g8`I'{J}YZ7zXZִF! &]ŗXi%EWmOat [8T!lcsCDM(-ɉv9FaK2Az) HbDE`w<5/4YZ7́)s̙ _/T?e.>=$B%u4^~pTo%tX5B(t+d! ]ȯ2sUCCO}H\CY.M݌K3*>g PRrijQ#s a r^w361_ővYIJ9 .xOi3+>%vkv٠x#앶PCrrMyZ$Dku`qCSe(c4t6E2Vœ\Dt30)}CtA5䡂S>ta-&!()UZwITZgK)Ict5 ,>gfKSA9͜FMt]?6-G;K B ZRRp bt!%!'a:WC G2)|e7:ВH\m3?#Ig"b|>$ g0XJԷG o[#,/񃢒Vf$g:inQ26ICf~nw2;X}M'J z)cvD+HM[@꫋߮$ެ I_/S \tl,/XQJAc>B