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 LL11 $ ]S HOL-Probability-ex:threads=6elapsed=7.146cpu=23.860gc=1.008factor=3.347zXZִF!  ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-C:=;tA`иpԽQ-*#"leٷޓɆSZg#XwsB3g0;Uku̥/|!#C)Tyv}eީq5>~J/#Hgk4bkh~rN>5uQ6!h ;%9B V]ٙ""˷n~sTo'>K#glޥ>Nx5>XFoJj 'w?܁5/ӕgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M > fn3mٿ5yQra:ʥySuq^@* q(Pu5hܙޮi/Q)>" юq˜,d0^z.q[dL2ߣU^= NꥇLC{VLgYZ7zXZִF! )]ŗXi%JwS\_tՀ3A$n[>/WSJ'*gpDJ#$t"O x^ CzY{UJ1;rSuWD&.E5Q{"kҺ:\s /J|Ih \:cE Ö.VdGDV؆PS 5Zo0}z-^n7i}TPU "ILjAo)i#'UĎY iϳ:<:ZpsI\:-X|p$xL|PR K#vgS /z A{brTRw\,3\H~Te-ŗY`n$El;DuU:5D,v3_05Σ˵* ~ߏF86飰qV_b+ϭ e)Z1^*(^d.{`i,>wq5oKɷp6&e>Q<>z\6#$?9A?ҹ5LQ!'ӳ>RFfSae8M0rIP<1 E)Ź 3N|ݐ:U6ՙ*! ߬OYrAppS7[gYZ8a696682cf5debfff643d727e27c15128a77ca1225ff2f0a6ec6649112bb7ba87e4694f74d8fcfd8 4b1bcd999efac6b00836aa12847098a98441fc74 a5713b10ca8370484e7eba790e075d6dc7869eec 1d963a99a8cceee636e34be54feec460e29a7a44 1 HOL-Probability-ex