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 ,,Q1 L ]S HOL-Probability-ex:threads=6elapsed=7.246cpu=23.944gc=1.040factor=3.307zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-|R>=E{Qyְ}Kd I'PY} MI`)SAnjv6~ogs*x ] ج .5"F vȝcF10m:9C, 6FlxyXLýPI~u%ArjO2#ЛTLTeȒR!TTgY$V2g8ng%`똢VJnYT]se ?LZ8Ivh(P.E6W%w({y5nQ+4cGO3dO֪VPsp5.݀P?R_Q|pRz@$.XFCZ8=|( e9By381W UJ> pqʔ`+ 2i$z6M$6D+!ggYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >K`M[ FSN!jN!Vl-KNq$Avw~~>h"͞?qyzooraG2)U?i܂ٯ>ʶ5vahɼ&!KYV{VLgYZ7zXZִF! )]ŗXi%E`c=O eU2# %/d?7OI ְw,Xё5`Mgf1L\Z<≠ (ppI2<. *av#J'Ģ-veDm47w k$j7%v"*L'<+kyEþϑre3T: W`ߚ!s#S.\?)g/k~< BnvmnDHijJ 6LOJ{̏${yeb`iMSFtܗYy IͭyBbQ2Tw¬9ǽH?hk o>7Nub:FK8@a'/U.ZSK9ub[4i{ȏNI҈!>:͛ WG:wCO_fWhA{}Nj5vRD@|1L6 -zY>*'ygd_कitN>`Hf _ :hwfl .Ou @3|8^gD4F:K7UJCUL`7 `r"~4O*v9 N \OlZ-հt`.if\dKS gYZd810cb254b834497587a55217396a886a80eb81a610e66d7bbbf591f95ed39af4ee9deb5317eaac4 91da0f421d225cc41f5e7cb69d4a2edf0de1d483 23de498944333ce141bd77b2b9fe6f16dc7b9424 f7f1fefd338feb6a22ebb6d84a8bcd350359144a 1 HOL-Probability-ex