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 z1 |< ]S HOL-Probability-ex:threads=6elapsed=28.625cpu=49.616gc=1.532factor=1.737zXZִF! c]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E0K3o22B'_(A\DžmS٨Ô-ʼnl?3.=;x ,C1r*[>j3-u;Bٷ1}M7}_z?r8s39w%%iҀtY.ڪك^+eI+ Ҫ9 oH"s`d_3z^Jœu-a3&AQY%qλ/؇7)cj=tBv  ! ,呖Ƈ CσP%(ځ[9U;άgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >eFť"$wl6:@p'KXhN?FUsaj,",#isyGv|sE]Q2Cֲq`M-5<Tv:v[ 9,P)5$ <5SB{VLgYZ7zXZִF! BU]ŗXi%@_μFkmf昒ʧc2nS`*yčE63ŷKv+7T5hH4TBbɂgV3DzL vLlCq%R:ˋ9slnX!HfT8l.Gq6Ø޵ C!VzG'dM͛j|E%L~#h!:Ҡg7BjQ\̖zrbcyg,Yh=r~`ZhqfE^WW7@ݫS |K!7g:^77YKv! _B?Ul]CeY|s0L|@.% {EA&{)n <6WB9FgGFQ 9дV}+4!܂#qYAaMʠ6(" {Ĉu8xEzBZ:@k,?L#Z—6QXEq:l%tlbc  26{%]OHgr S&Y"m.q YEpi.,t%b?7و(eU5lt@{U%gFU9kC> K57։ڃqK2[#?oF"+܂\ok*BQnZAUFܢH/?3:D 1$wYR^,l . TRA.vIH2kvy2PSⷿYN'Zf'Ȁ,oPޢ_;>a ^=1r0) t=/ꟛ:T 1j4]1w_y`&2yI=4otmUUQV.K~{lɌm1Q4n"(*oN}^*l[*IJVF6Ph f []MQ L-1a0th]~s=k§XQ6Yi6+`ws;|'_8ARpO4Y,2yT t2TʟÇh#n4*2m ]&8R9u#e9v "N2P_n!M ЗQaؚGrƤ}K$ SnU>'/wcDmYxMX>0@p舢ZO'3-JqK ØB9}gYZe4f9a8b29d97f3b72316ac7da94626bf2453570fbcb48639fbb7341b689b138997e7d93ac6626bd1 0f09632813e6e876e68176357986a5c1231588cd a17cf85b14ee0b61b1ec794a200bcf921d455b2e fbb410a1b728d0a3289afe78c8a0812db572cf93 1 HOL-Probability-ex