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 i1 T|L ]S HOL-Probability-ex:threads=4elapsed=8.266cpu=22.744gc=0.632factor=2.757zXZִF! #]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-XP eg֐+h=E*=A!ԭvM9krEU5BX퉬3R,.+ b5~(H>7HQm\Ǔh9ꤙ{hD y{hwe{O ߏtmr9P |p@!gMde;̺jB}9,t*7Bu% LTϢpzo^74;RtWSHϑXTMryfxӜU'r`]`ggGO=Ph*w46lS쳖 d-xCv`r5Dk kJӋfU&1e9jN;C=Z0*'OHe6ůfno'!-E$ƙ-n/ M;A{Jggb`bL40+tzj$ZL5~z),3 .Xh\!`x%?]|?Xaш+|QlV'i gYZ7zXZִF! /2]ŗXi%ES31VY~`ΔVUfG$ OckB4|ܞ C[^B 1f``3 nmb '"7#h!iUOV>'xwu}T0_O`-Qq< ZO,_@Et0'[➢|#}q@ U1E)V$Y:ʚDW3llJct([69 ?Q9,GO;?Du;CST CY#?A<Ί{gtZ<ͺ|h^A8kH$bVDb2:lFqljdV!CgCO@z;W[6#'`a[0%}xzGZK3vJRE<J<#J7 |ڱ5LFLf4l]YY ߏ_.^BzZ >ΙK=jcl`e֓`'i⍆JtIRW;qzX8'H%BSl\8jp?pd!U&.ds i{׬v> y`\|3PمduQKͰPbaMS 7͑əRE|۹56Gy_gID$o V|S od';0S]6xl([Zb8_=Ӻhq]m fH|U_XϯuKpG3pǯxcwiCw ɸn>J6 o_y^ϢK`Ipas\0Ρ]!dohX(ժ5x K$2M^dgYZa69780a62c32837bc4ac6e95ce998962fdd3c00b76b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569a 11b16b72fa7209eadac73a23c648ea733a439b74 1 HOL-Probability-ex