SQLite format 3@ . BBh77otableisabelle_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   r1 | ]S HOL-Probability-ex:threads=6elapsed=28.655cpu=46.364gc=1.528factor=1.627zXZִF! 6]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E]G.AZf G-Sl Zb3I*eI é]?,[9bU`wܹ-:L%%UUi&5gbݛ umm|;4ԹgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >5`G0#GS4P6vG֡RlЉp|WEuu{ꆭiu=?aN(r,W`6\)&a$X~#G.-&_Yvi gYZ7zXZִF! 1F]ŗXi%;Ҟh98bApqS@C@o}tkov16дGu7 9 9VFX4ܤѱ1OC5Jft"7 x"4>rj-+ "jm85;v*U\J o hJ^2 2z&9 k:#xQr9e*d]JkUm,N|֤ɂ" 3z@3Cr&y-! כAˉS#+%/݊ҵ/~b%Mvhx+U (9iLczP^7(krX3@r!-'9EUecIU"Cb}g,:i!aGCYS j(TAs#3 (4qNM|bff`&[QR_2 1㩴1K;KV(."Kd?i22{9̀P`)CԱ(2IUl&pEMf=$Bk#>Oç$oNZ~gB NZ%~VG,km`'?yDrD>p']qrMF6 H4,^j;ӿ"±")rW(!vѡƺz(5%_vy.%[5 SbeL`ǣ˝U %@|dJHG= h2w_o~jMRR 94ю>S{7TdG ^ @d_*h<yP3iƆՒ!> qki@"P 'SPwC.r'-%Ո06pDb@Js>݆1eDg!Y;ZB6>8޶Eh$]{V3~ڿ\c+xlBvp߇".uUJB&SQ.]y!yxOpD*Q[slbexbG`yɵI̛o3jԜ+qɆwDA ]uS(x\)v0ԣ^@6vh:=ǂf4J(` X &gYZ79c997972401cc450d8ade06d8889dfae95c9edc76eaaa26d5dc8b218d0a611295d4ee3d6e6f203f eee62ea59121ed3e50df436f618922c8776e9ecf f76f8c6a101537ad86d022a590983eba0c44f96b d9461ce8620f8d904411bcd0be10192e12dd46af 1 HOL-Probability-ex