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 ss 1 t|l ]S HOL-Probability-ex:threads=6elapsed=27.326cpu=47.012gc=1.428factor=1.727zXZִF! j]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@Eۡ8=s_$XD@$@ƛurb'M&c74M3E\8z"@ctaFKD=c)$I =] -$䘲`KFoacwrepQgAŤ.۵,ȜI++ftitOz#ѣr * C޶R7а>5w)XӒ"|q%n]g(`F%A~.N5ӍJ{i1wKoD wJUt;mͣx+Rc>m?Q˭:?Nqj8ev c0w@ĠF&2?j)7D5f$*&{ỈU1^5klf =HqͱgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >sW? vƞ. BM-G̦ *|_<'ʔ[Pi0ԍ`7*Dzn=v2j,kR 2%B/rjdAz'<"-9o%|| #F\hT"ʹZzcDb'"ݵF"6$w \-fi36hiX9f'4,(g*}%%v5a,-x1'45oJ BNiTqZi.kF *`K6hI1G6u#|og*rva6|߼P0fCI45ۘ.&sg2-' ~+RF&XCagJJai+ |1V8evsۢ2VWE;v 1 K2|E?>+ʌBa ~:xSM埣c§8vM N %f84 y"7qY= (WnU=7~G|orwu~M?RFc7eҫZY53$p@2e uNy@E$W],DE`ox`}:?*, u"Ǻ闔.lDs -dbo5|O7.V57C'?GAK|Aػib̂_7qx gs S4Zš+Y 8-gYZ37e653bad33596e97e6b67e3dc405b9dd6b03507d10e51eaf97bcfb5a974b5a9660b4a9c4ab71c42 bec8f12658c329051cdd3196b3789cc67865eb91 bd1006213eeb1a37d0a4f37f2695877c83119420 22b18e2a539aa9b54ed6daafffe1921103ccddc8 1 HOL-Probability-ex