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 a1 4T ]S HOL-Probability-ex:threads=6elapsed=7.324cpu=24.168gc=1.076factor=3.307zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-Gr:7Lw/kiϣ'nza$7&4Z"~T~{6]p+@7SZj  TjAg6+zwM63Cu^PCz$u^: QAURr"lѸbuTjQ`Ȇ:ޝX(|#t_0@(" .&?{B Yi:Ҽ#ƱgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >K2[ FSL>zc|I>Ksg5f[hJT%J>lf׏4,&Y=1%(]A{Hu*dm ;۬[@6Dj^bVN Y<;ʱgYZ7zXZִF! )#]ŗXi%I5 ѥ\q=jx('k5XZH%tzjg[RUnj\][BC,t;l?/"{rNJaxm*&#_ww,DcQ%ۃG}ICa-.gz-ٱ΋`}ehZ#Ү.}ǢB|,8r8;WTҷ )PzkI^l>5OԻ'"M}[aNπ)O ;X_wmx$"ԞJd|p`\h(\BRVcE;,;2; sgzPmmDsn >ͯvY?e^S !JUStgYZ7d9228b937dcf00399ad92e5ad27b973bd548090cce1fde58c2854731b4aaf54febb1fcb0069279e d9560db8ba67199a6d700b6286ca3ea8de7b8982 d5a57e3a65224c67b433b2ab50efa26c343585f7 6e408852d6c953a86acbd6ab7bcfcd7cbc960c64 1 HOL-Probability-ex