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.735cpu=20.072gc=0.872factor=2.987zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,- LVlY9,Z)eJ 6]2Pɉ<5s-.ge`+Z$XOĠ,<YBRndBt]4C*7yN6ڃK؛1I ,̆#xyb5B,Vh0"Td9Ԁ̖F+' 1&hfU_ ](pRy#M+9)5+Gx0W }YaefjxJ8{CI@|)_maTr̢$/!>L _K ،k_tF{R,0yp <(A}L2ue)+ac-!BhFaF prwp1`7 D!B[#nb8?HD\>"gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >wEq Z MvmѤcsM`0Js 7%e{0 "ʚ?r9iOgB^[ ?3-E벁閥Ayd{zX$yˇh%Op)\48Tqn';̇;3-rxjjgڸmVGGw{L{])_ 2l0iBqvh#˪۱dro2S])܈*jj:&Qf 5xQZ95d!;~94A#`Kᵟ/'ZcATވ(! ̷`9tjd0ZS>NX=KO>z>=%/MׅWRDphHYV4cxk3VWK$ ,[ei$vR'N\(0b}IJ89MLz.;m?Ր3sxP5⎉`::F-}JbZ-'2Q6[4g$IߟAZ>9Q^ ~+A.>Mq7Rtu(4 (:68$mXԪB|@VKlPvL*ǿǠ$h-J*4I>tp7_{[qcp yqG|;Ʊ25k ɞj DPbZTB8[,. 4ڞ☺ch g=ÃNiMgYZc371e57bb55ff3345f50422fb7df419c534e7bd4159773851650ac68d3c2cfe38c048d4c887c247c f1609948a6431f29c3e36d835a829345e7d4b3a1 9cfda2a1e2415c5f948f3c6283590e860e2dd34b bcd232b2b07b5ed96481967896177c45e8fad8b9 1 HOL-Probability-ex