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 y1  ]S HOL-Probability-ex:threads=6elapsed=7.660cpu=24.612gc=0.964factor=3.217zXZִF! W]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-g,?[2Nk5|:\ 3&1&8yGD"HK#,P?/ZB1? Xh2M%#M8`B[[P0慥zAgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >hVfn7^"12 r~x=3X"0=S렵,l(N/(vR̼0dl_\ACGIU`[oCIp^!Us緡x\ JM 7D/4EL=б)Hbgl£l_hK >46:\eMH.Z J;]]W8JBG .3u$'B.gݜ8Z Bފ G @?N` $0j[K).ljo`(fTV?  yH{=3fh )G/+Jc=oiUgݤJkiB 77vWm&&u!.XpFe>{,ޤ\ ΣŒzܽ>-K6o~E>#/~]x%i-X16ˑ棿*TN[lw :D7f-%qhQ6ֻ~9Nm?2q&1;Gⷃprۤ0@vIGvdc6fZ ,uOBT7GI҅.-Cǚ*28YsL{Zro [%/?K6p &;Z_NbtAMsIݕ^HylkyBΫFo ALK @)X.SmYkV`ߐ91ڜ!%o7K|*?5m}{saLavWaƱHIsRm. h?v%??<?..B|]>/ %poZmUb,0偎wr1fxyt9hЂá'=`?U8Bm衘G4ޯa-o-Z9j/q3%- ^ʿgYZd810cb254b834497587a55217396a886a80eb81a6c8e13744f5674a7b5f427d5bc2c896df0f96141 905391c16947b268265525cd86d750411a1185b6 482f2aa7fcb5ed26ef0724e18ed69788cd2e4ad7 59d559271afdf210315fbf5b704db93545c25c58 1 HOL-Probability-ex