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 j1 l|4 ]S HOL-Probability-ex:threads=6elapsed=28.415cpu=48.076gc=1.344factor=1.697zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EۏצH5*QbiIż/5lbN_v$K{+e2Tb]dV೎[T rv. 3Jo|fUqzp>V2Y/X.'E.7%+7He1zg?d2G`RM]ibT2{dDmk*Hweuc|K{2:"s4Md(WG-ض"z.ubRrPO²3zF6(/}47G8`YieĜVJLZ旽CٜX]1Tt_fŪLɏA-se0BT^EB7"Rⸯ1bP)?ڸ 1 ɬ OAh[&} z A8RwL{gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >Ay!CBkBQ4rK5 F!feGXP=R[MIe)bm=Kĉ|jTaJsąÔKD{)& 7t;$ǘ,5q5^i gYZ7zXZִF! 6T]ŗXi%@ZqƋB]gWq,wOW~$-ʋG̩=+n`*5R{ŅZbMBk0Ic`@MuiC吶'ztQ9F8kV wrFo{:]BQTӳ#6>B$5ZYG8 b{e 8X3mJ3>B;S?vi{l7?mƵs9)s+gf8/ĐQ?/xaUvbDsT7u)Z 2(!/9"QʮZ\^nʺ1P,9xq0C MEf c @pf&;#>PEx]%FE/Pz6鿳Mku`g3 o'nYy;`Mn6-]1ɘpͽ!kBOQߴA5b=h'{#zNn:yȯȩQ\Ew PӅ UTu^(p uZ1l./mDkHlYq3|b)^_'S IuTΩ;e&<5*:d^:ů^3?.V/AFa3JV<C?Uu QPV]V^XԊL\"1I-dtD9ѩ`|+ {Xi[W=H[=)il4n{, K'tG=ؾsඖ6҈։2]05> b-K|?ѣB([alv0Ê(xP+ֹGJ f$_^z5;?26y5  #.MH"KY5!_o EVU~ xh0o|F,VL$ihm =.R^mwWWAe$kڡ[$;0g"׹Yvۤ@t@29o^熬D(@۴=KA$Aȥ|RC?a&4Q68Q˕$1Z?3xݥ! Or,M GUkh/y5umYG