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  > >?-|l ]% Surprise_Paradox:threads=4elapsed=2.024cpu=3.320gc=0.000factor=1.647zXZִF! *]ŗXf[&S Lr+ORAOSKTµK;^4+Z[bzR6X`5]Fu} ~QM(!Oy湲\ BYYw :VU?i~`ho$;Yǎih`g(Q/϶z joS]h>5gYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X {fƂ`t[w2B8#b,cVy^}YZ7zXZִF! ]ŗXi%B,k̭fDp % _A Om2da1,wsc"PZm\)>O#&lqGƷ Nii1oiC*./Tw:M8!Զ 5vrW?ϖ&q3C>f H`(P<0"vY0;``n8&@ \`a7 aqSO-!}Bߏ[&3QJ˿?r"@+f/M`gkF*AQ- l .ma(85b>L954A<e)D)ۊYKD(g{ل. & WvK,/ӖA8,HGQ tcCDEh H|ⓜkPY(ԡG$ k\r6SIw!@L4Ȥl(q$?pmLa c]89b&@q컛Ri.Z"ETr^CT sV$`̂)>QC fPs }ciumlYc8~$5M^6*D%v>cC#9fFMV`.7RDdsf%zp<ɅM(]G$E.lZQ[J@(Bw;\QgYZd47cf00776e72bf5ec9b1eec5021f9531db2e41fddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 b4836ed48bc1dba48ad1fce762a33cea09d8c2da 103c828473a7a237e5d86ec3b1322c7f5234c0d9 - Surprise_Paradox