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  : :C-|t ]% Surprise_Paradox:threads=4elapsed=1.988cpu=3.280gc=0.000factor=1.657zXZִF! *]ŗXf[&S Lr+ORAOSKTµK;^4+Z[bzR6X`4Oh<̘.J=OqEM*dԸgw%h,{Vw)MF+Q2}-Z-|PU{mSY$$Oz %qk}5gYZ7zXZִF! UG]ŗXiɟ. oۍ9W>a!^{X {- l~Eҿ+]hhvif~"@YVqHcVy^}YZ7zXZִF! ]ŗXi%B:p.G>[@!8&2w`"07K8FФh0HV.r-&; OC]@<})Y,<$Qq6uX%L$VMH(Ь_Ib[mvG/=0$nIb+{3H=Sxk&ke ?.IMsd!-0還[Fw n%Hl#72~T>#ؔa'zn:↨u۝h+$dŨR4j%U/k+ÄV R0AfR.l|.c;EñgYZ59a14df49212ca8b4599e369820471a29256e92a13f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 8995119552147f6d78790acd1b2d4551c1ffc2d5 18ecd73915319fc3fb6aebfa227859d362e5fad1 2391b393e136a731d20bd2c3c3f7353f37532a97 - Surprise_Paradox