SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 f1 || ]S HOL-Probability-ex:threads=6elapsed=29.301cpu=50.392gc=1.652factor=1.727zXZִF! f]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1Dcڧ&2`Ⱥ~W:Ǹ/fX|g2n3[Z>Tb4~~.CQK^AJfg 2H =pԴW3)4Sq.5p4`џ'J3óÊsE}Q^xהNxgC%4`d9(8`uZ\3GO&R~ tLl"iƈ 0ɐ݌g&7 F)&ueV-Xx*]wr@<_i0$aY5q&AUk먯ᔉ@5t!hA>{YԙG=)>{i6Q +5`ҸOQA'ױh$b64 ,Â&hX(>۸.&Rn{gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >\ێ\79ʖlA=GǞY18VŃRr}xֵ Zc45NO+9FP Bh{Z׶?7˔7 .BfYgYZ7zXZִF! F]ŗXi%@\n[ ([,!drEV& KCOYKCY`5,rl@>bc}.κ?H:U{}I'bNOw&q'鴼4(cO^ܙ/$4QXV&?rui|S/<}y(K 2R/Qt+@-/s~tf[T\E-Ł !9J5\(5YWJX1?.Q߱3w¹fZ4gs'e!$,d볝L'}XҍrPf!r:(,tIR%s7H=* Ag ZG^RÊؓ;O &#܆<FkF,F,Skj\*WSm˫h@ A׻T,>#4G\vX XlMh21:Y^l/&RUO1#54rSA y^%7WѧLA{c*務b{Ġai!IZL o*FKPb[F# hʷ*lciB޴ ޡ3|ĚVy2qekʟL퇻7$ ߦGI7g9.ׄlTi!5AV皿2=8%SLզ c}5ZpI]gXG3`!S*'i^m"iX\pp@5KIn/jȅj;I#5w'X*0e[%m2jt$8jbCeYA7mk7ߵWHZy\= M/4%Bmntr稊.ruV̍F [q~.!(!sVySa{ ?9n䛻G-/R5c,[G!$}w Ý,gYZ44a91212acdcbba2729acdd63a1661a7b102386f6f26ca3ab6e09f928122fd139783e1aee2ccfecb d7be5c492ff18edad8599e5f817e46a8fad7eb75 0525343d581a6bc6717ffb241832de3582d3a5a1 55bc1b4adeeff97a1b1811192cbba98801a488d5 1 HOL-Probability-ex