SQLite format 3@ . BBh77otableisabelle_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 cc1 l ]S HOL-Probability-ex:threads=6elapsed=28.242cpu=46.240gc=1.492factor=1.647zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mI`_9?):e1DcL鱀==MmMu=*wϹhR ,N9;E$э؂|Fg*!ۂܹHր_N|{+vpl-6 ~9E7Yv-DV;A[kRa>GeB8w:q#-ֶ ܊6i\Iy#l2xQ7Bz][iߨy1_#[LB>3j~%͔,KMI~n L">p Pϖws]%`CWFiM$UwmЍ< .zfݪanò:1+\LZ9EaËY·_FwyzRL,f#Mi9~,h4gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >P RӾ1$!{inDIbxȐe2|F׮& LZZY&+8BV>~[=q0cy\1bo$0cŵ`cOʶ{VLgYZ7zXZִF! ]ŗXi%96X׋yJL>]f>;nl2i<'k3)¿1K\OPR@typ/H2Cg[yNEx`<Ձs <,_ݺ)ks!9 #CPQj_kؑWjPCeod!谳)nڰMCD//%ÆѨ9T5krW_h k%E߆0] 81g =JD8JF6rqCu7.S`̏,,p,VekGg|0qq)P/XPe]"5-1Z1ca~bG\<}jBpW~I5W PNJњuo"f(Hc̼esҕzrivX1b86\7{f9Ul l\r"vU;/8zqra `ȼ]^BmDyß P}lP bg e>csy~qlLC׵8orb5 3HPȃ L gYZff3db5eb79eada4773508abb22c35eb69b925aa06ae1a84ef57c6bbf74a3f57a85a1826e7af5b405 b8ee4f468bb95a631fa62beebd399286b04c8e85 7ce00a8c904b306b05b43e861dc68d6a16908fa1 4dd4b10b341b8737146dd263e3565de19222cc95 1 HOL-Probability-ex