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  g g T4T ]/]ZF-Induct:threads=6elapsed=3.368cpu=11.660gc=0.348factor=3.467zXZִF! ]ŗXf1-W_X'g+غB?Z`Oyy s50)WKP[ .,ɸ)h>(ZGi|An-/S5EpSaC4-'NGn}oÄy T \(4 z/Od#IAQ_*ŻH!3̈́8pIA<ڬJ TR:+agYZ7zXZִF! ]ŗXiɟ9\'BFd2KIەz 7@d2w*ql|^0.+VK@ Ŷ.n!1v^Mz[Ñ-}yrBY ipB@ tpu׍1ÏZW;BHv1>e_^A:/4˴!KzLK [2: #KDL;vjc)(3QLU,9].xϸVkcQ0ҟ69'yκLW>a5iX3Aeg[Vk _o"ig &DFׇ״JC.{@P1D$QF#ǧbm,xQq9l!*3" .|FRuZPd_CNUm뺞:F'C-`^vrPv>xmV5 s7ҞqUn뙜|"ޒXL9gr}dvMEQl;nu#iD6__'_ə^ \ w^ڝ\8clbOw}1(Li?w"tB[=늗9|-jg Fr]CQ:'O`Fz='gK*qRpH3,f{gYZbff74ac55cc871c6aea0a69c9fec1e0ab3cac868b54c917c7739586c95567d8d649d231ede1628ac f3b9ee700885e527a1b2f68b552abb5b8727dd2d11dc36fc1a8681ba6ef3776a9745a35cda6b6f54   ZF-Induct