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  * *S-t ]% Surprise_Paradox:threads=4elapsed=2.228cpu=4.024gc=0.000factor=1.817zXZִF! *]ŗXf[&S Lr+ORAOSKTµK;^4+Z[bzR6X`3-eqAQZ$*^d/P-cz6$:]q .7}o_\3_3qI?,ԌlTD@"35h#R#3`gYZ7zXZִF! UH]ŗXiɟ. oۍ9W>a!^{X { LY+Ȼ9n`F9|B5|ndVI}YZ7zXZִF! ]ŗXi%B  U$ kvxEaG-l+W? \zмe-rXz*)dj6d9cF[ᗁz8#f)/Qiu[apCb/n +F6)\Lyn)g+H]u}ˏ(|!b7`>qg49p7 vF6k7O(>A[X rt"`0C-c3 > V-pGOX3{ 1^t|dA#ҔD$qxS'B? fK ^TVk98}9/|Ȅ%6 AВio~E'yDx_>| :ͼ~%:'%VyV[?wLxq'I!Z`I'W$+&Z~訮osXja{m!\W Du}6Eq @X[x6 _"GuR#J# Tuk\kvQH .GգCɰm#TEWW\ҘR[ $vwB% {4p`ȷTPA[ :/n P< a.f^cKnBg4qyIь87x;9&gYZ3905933053a45efd7d8e85fc6c60bf13912ad3ccc3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c b0cdfe8055bc9a88700ca51a2e847ca1849ffb6a c71fb23a24dd3784610d59ed2141adead9122bd5 - Surprise_Paradox