SQLite format 3@ .;  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 QQ,1rT|l ]S HOL-Probability-ex:threads=6elapsed=7.129cpu=24.068gc=0.8927zXZִF! $]ŗXiɟH)0!h]F,=4f|zaB|`\>F"$v^&oӥxJȽ5q C)/).PtpǼ=1fyH!UMzu tЉL3:C$jx׮&}KD@Zڌ%)=&vo:½7q3 pxB;2GtHe~ \$Bj8O5en拈96cxF@)McJ ~e yݠtQn$*rE y)~AM(_el,MR'79Iqky=(/?ˈm7r!!,`ǔ[a  V"|}[I]ujQԔU X : S.{Ʈ, Xw&Lއ̥CwKVxO` =m4^sT<'&n yFZ@q67denOo5է9\ڞٗ%]1𖊏Q?.Sԭ(h{N-Lm4s⭉ -LLgTi gYZ7zXZִF! $]ŗXi%L&|Ts{$e4p &ef`@UÍA;hbŭ倵` $T8~Daj]5FP]];J=wՄ#(-LO+mzObK}#OyEuSNPSBA z#$ A@x@РSw$t)3XWyYK_KuM\bfAT{AD+vkthH P7\gW/|E[Db/f%}=#i `l'sW0JjY-VIjDN:A`ЬZƤ#r5'Zsٰ3i揧sۄaI`C>媅_muHΔމVӢԅ$FTÊ6w| 4fd8\+!_@?b6 p&ƴ/ʌH°+J C.VtG|n`tgA$4J蜛FCӭ2T%`1?_;IÀW`^݊IR+/{ޒ2}GHgqjn*塢PlgT߁ZZX a"RIɶ6"d>B(a5쭷aZ\dZd%o3gAۿ?( G˘hRcI P"LmW|u#bdi%ÿ`]j:h>$KcwPzz_0n$$sݑ&e~%g=seE$d*=I`ƱgYZ602e462390d5afee5be042126956c0c534e3eb8b1fdedf6012a4ebc6e40000ef24a132020cf3202d 6607fa2666df38d37eeb7f85fc4e19a3f5c65593 33006140b7368977d359bf33de8c660669466554 ff71669bd33fc3bb88c1294e4388d244e27ded7b 1 HOL-Probability-ex