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  . .O- ]% Surprise_Paradox:threads=4elapsed=2.018cpu=3.268gc=0.000factor=1.627zXZִF! *]ŗXf[&S Lr+ORAOSKTµK;^4+Z[bzR6X`2_<ݣn8JL z,qؒ4+[*>NaCn P|UHA)xHrw,:H }*lq&RDNb-.YC+)N-!EV8M(gYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X {-Ds BlT sx7yScVy^}YZ7zXZִF! ]ŗXi%B۾2XJm @ QP#-b2-iZ`+ *eBE9Q:# 1_?qFh]:%tJ9*]=b8~ѸbNཀЖq7SET}Lt^.Xmyۢ{eyZ<sG*<V+"n PnՁz4)DP!,zqqY/l-ZݨyL;f@"a0ګx;E,gYZd0c0d226e13c199822913b4d38510a78cf43d4cb76b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 46b2a9780ba5902f7ecd4ff6263cdf90a09c3eb6 db316d7857c5f0b99414cc7b8a6e4becec5f780f df27d6f97956a795956d70820f31381fce89b188 - Surprise_Paradox