SQLite format 3@ .;  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 tD ]S HOL-Probability-ex:threads=6elapsed=7.322cpu=24.016gc=0.856factor=3.287zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,- "N=d CSq0az M:n㫝@UBBkA& k -m,$Lp*>~rĞT\#Jh{)llXJph *sh .%]YɠRQ 9`d1+,qtzwΨ#elU6J=Y= ?R/ #Iq#G^; pgYZ7zXZִF! )]ŗXi%Jxf+= N3D}.Ymc$H'~\Ni3h$mL>G ;e<(!n>BJC8?N?L I us.Ycl)wGV/M\i͚ j,IYˉrKZ/"\Q&XECՙ71\ťN&m#:ZQi-0^RDZ-Cf -ϴO/ jkL%M%:{$ezwHO1>5"ثn[fD~bBI>)#;:ΣRԴů(RZ߱/k|929,93&LE^>{Q3o~*GVE '2aW`~Mzq\&!]f+1dK}JĹ}F_$  ĉ[WkVb=(%S7M3ONW3Քt敒P7v)QޱK_Cޅ^.ζ"-ANH.ArE<mH5s!j&ԛBګs=baH ɝa:KB26b]'&5APծ/AucCShbN]'z -|'4˼B09U>0%> x5Q֜F1]4;%cgju.?~@? GchKx !b[:́ҥPQT,µ s0djyu wސbaZ`<>Ӹz[4G5Vb@֮!!h !cK\&$fm~lzZ~iZkh?|Wfe9:Tc{xzgG.R(łCiRzL6ົ@A\dY Ta`NSdưgYZf324df5e4c21d5bb356fc89e24c112e9e200b4585d3df3e9a808a2e76c9506db8ef56a1f0ac90c5c 99522e89eae0e0595207e8a2cb989772370d8b37 b268b541d0e6725dc012e27c120a1bbe590726d6 f1749650d79200f0061fcd1f003e5cb27e6d6a0a 1 HOL-Probability-ex