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-l ]% Surprise_Paradox:threads=4elapsed=2.096cpu=3.404gc=0.000factor=1.627zXZִF! ]ŗXf[&S Lr+ORAOSKTµK;^4+Z[bzR6X`J&|aN6㕚gTkh5Bl;e1`*>x;hbnʐŋn5Jn5t{IoLOC_^;&x4z+q=EgYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X {{BlE=surg4@lF+xdxա cqcVy^}YZ7zXZִF! ]ŗXi%Bt2cX M8€GAվ !Ϳ/MlI gۚug`@T؇K0uJw7/@bL$1J,a}6d 4>J<?P&W36-%W0fEFEڠ8m!GI^i-P fkDȯ9QJ;>*2ȑ|sx={8zҍޮ}HKA,/r%)GYQDʃnWD:y鼎eI1k_oNʀĻZnkGMbr}TTGU4´jchڷ+MwJb!PD\Z/t "3&!TY5B1|s*Zo e}"ڧ(Q>LC_cIBOަn`*?;LC68_΄k4W?Ƶzx7@t<l,^̒2J KoW5\0uWeO Y?ڂ #RZu=B;"ߓgYZ38965e79b142b887d895e07f7bddbc027453b903ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 2379426be7a8c61e771f9e01a38b6b2acacdabc6 1179ac6e01961bcae22709136ec28f4bdccf8524 9875a5a3cf21e37c7406b7b193ff4feebc754b7b - Surprise_Paradox