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 A1 d|l ]S HOL-Probability-ex:threads=6elapsed=6.770cpu=20.292gc=0.836factor=3.007zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-|R@z TOεʟQplk;@CDnt٥ IN4aJCeu|qŲACx*_ˑ&?;={`~Mܳ7GNxCоᮏMB簶ʏ2ok҇dv\xK8˃tJgBh!t^CWo ΁IUR"ִV. Ny[xGwdg5Q|kp]pc.7EQ A! &ݢp{Eva2U}# jnک7tA)Klݻ(,$]gm'aX6%X|_8vwNc8wӁqg}~$@?`Y4C.®rqf]5Vb=gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >wEq y~VzVNʟX$Ba,kn_c@]^t=?X02 +zn`J<oB)kEuYM_?G 1a pu P'O]i gYZ7zXZִF! &]ŗXi%Bj^+ArTpmB-[?}JܟZõFV@H/X8ɂuMp%pUs[%cKqoye͢y%/ځ1Z:Q mZ#N\ujkej-OٸnFu_t` ?IZ}ax!'s'z1PT府ɡW+N=H8jG6ɧw%MojeX3=7&Q%!Dhyz_X1jʌ/+B ~zCmߕ)ZtMPGb$y|>#̶B '%iqO)!4e%2f"aG,ɝ{ϧY/w)RhQ؎_AUy^ä( 2hHUr$p+#0Ӂ_O6IFwI@L_sS) нDF6v { ,99&{E~R=۝~/oKk 5 ^!"9 LB.&U쬘7j-!XK<J0K y pLUȘYR1T:K@zC0#> OKuդ 1R_$qiFԿGr/j}q+ ޵lH% &G3A O}'oi wQ4ک!n ͤfoq(_hPH |W+'dFy#9%ǘU-IRڜy吶#13+f4%~KdTa8+& *CR9jpsKXu՜]8+.]Q=N#N^~)rt=n18g 8 9d TXıcӯ"{AmȾh{{@#=PT$Mjg|gYZea8124558a1ff8ffedf1b774385aff585d37d959555d97234e2215e68dcfd0a908d191212ea0a6bd 2fd30c2f107bbbb7300d851cef8487427bd43e67 55cb416f49c9d39787abf59b886219d4ff2a2be3 aa3689f359f2ebd83d4e4c8e9d74bf4755e9b948 1 HOL-Probability-ex