SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  ?-T ]% Surprise_Paradox:threads=4elapsed=2.266cpu=3.420gc=0.000factor=1.517zXZִF! -]ŗXf[&S Lr+ORAOSKTµK;^4+Z[bzR6X`7(Bb@N6WR0?a!^{X:M1E:uff>e-,_vLl?cVy^}YZ7zXZִF! #]ŗXi%B4kN\';El~a\p:r=j}&(?\ZP7EMВ1VoL*N%uS 3"6?K[C4(Ƥ C+~ :6pm .i x5*ڹ6ukd=x%gg9k*o۳%ۛQaFAAȹ0.B89Ttat;c \`+hnRMGwNBbwv +P[Zn4=@EB?ɄK o`db&߹z Qs; tX&(j%X$ܫPh_[j 4{n뗫|9iK]QXQF y.6] 8f,~#~4hk^Mo4R (ENrd8.M8Sv˒dDl䤆5ޕ(j33CgYZdf54eca07d9c2b211c1c90146a16d87fb602d2959cd33e2f2669d2e2ef0833012528b204015b12df e5cff2820287d96832c0244f64103884811e226d 8dec91fb776e1454bcd259b128d2077a5afa959c fbd047c05df18d51225bda1bb299db36518fdb58 f761dd5d16343b22dd2f1d18cf2a8978225b978b - Surprise_Paradox