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 GG61 t|D ]S HOL-Probability-ex:threads=6elapsed=28.657cpu=49.268gc=1.600factor=1.727zXZִF! i]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EۏצH50ԛz8SKK u/, pnL SxO[Omo5LM ']E}QDVTeC3e.wĶ}!s  ʊ71p\;,=P\Y+Z,[#ELka5`#˸޺ ` XE80POq~ YJ[|P1*Q,rQܱ>PHI/wsU>gmU_sdG4b~dds{X0>E.׭+ad5;4OtosiZy?>㌦gCV51D!Nh]*kL*BxWBsL'2#DgBn?kB /g%Ҝu{ cMgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >ۮť"%[XdcV>Cf\7Y}RMZ/~6rVږ]@!EbdqjTBҡ)WXQ'~e͠2Qo {DbU9>\j̤T%"gi gYZ7zXZִF! ]ŗXi%@\pWzLU J fzcܶf{r2V{i$S}4|cu==Jo+IrI +uyGTC8xcm3Vʫ|<8ɞ@_mT|g:tjvr HҙA_j/†O#V:z'~"XBɀ̞Es[,WQEQ7WEa*C;u 0p#Er5O{ /ߺXQ&&(8Udwd6'0_N׹_M} S?okޢ سڊP``xu^jk90-ptv { ֱY޿+U9i/}50ef$-{C.vޫFR1 83/:ij:8WY`i׬P@\$1 ;(B% 4BxeRthӆ&ծaY wcD?C~ P E6m4k2@D5o ofT{buh; 1D`Ԙbit-TKѯ]+>X!#.3ѭܼx \ExA-͎Q2Yl(u oEf1-rzgH"6(=D㺷Koo<"`yqL*H]Aosxfn?++rٷHn6K54Г'sa1g/n{.&Q)t+2KG L;/Cy-G. 2'QLJZ. q+w*~:rIr$Dkw hy$7Cٯ,ElL*ߨPTj_u4B ,*_O*QKLpiH< 5@#heaO6Ùb;H 9Raw7|ǧE$53'CrefYm)Lx9 duI 1 `{n",'M$eFBS2TjtC"jȞ]pg+YpC:}Y*8a|UFA竛;޾Ub*e8(~!#vIVӳΖ,rp!qp)9l eDz5GfVC ( 6 &G )Ǘ *.u ߓvgYZdc91e16c2401ac603b034f0eb7fcce14b7ff153a62dd5ef845605834f99fd219c6113e6e5d2ead3b e158806d250ceec2e5c99ef815333151f28fb293 fd65ef7c8b5860fd21dc11e85006dfdcd4ae72b6 7d8196c13a3adef713ee93753cd6b6c9a5caebc0 1 HOL-Probability-ex