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 x1r|D ]S HOL-Probability-ex:threads=6elapsed=7.723cpu=25.144gc=0.8087zXZִF! =]ŗXiɟH)0!h]F,=4f|zaB|`\>F"$v^&oӥxJȽ5q C3C)'@_PBRb͟c}iV,yA,eD7Jo<+GqvPa@;ؙ>#1^H8Z@zz%:6,L fm4鵩lY |ul2vCmŀ4iީ͏= >"<ڨ]'@GZk%x ]Nrq6~U|Rs՟kE6I!NqL|`]bU,[1M3cx/?+}Ҭ5g'pB+b5Ohޑt.#`?zp:VBPJ6WO "7_n":H&^h = 6&:eV"G/[Xml~1!$x۴6n-:*qhS8|gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >jU {B[l&#䳣m"KU-eU_,&Ce]@fꭱ beV.&7,]\YMwXv=[wGZ.iO)9rP\moÊSQgYZ7zXZִF! ,Y]ŗXi%L*a6q~3Gkϋ4S Wސr4J̥r}iS_Ϙ enk{[=Nͱ-A lGr0&l7Y@:vFM7jcʴX;GY1a@N5QސZw1ξ! #4V\>yو}կkú0<*V+W (N5_&a3d>_CKI8)3H4@: #J`Zf8#'QZNI$(|ߔެqy8"MTL[OE1|WvjKդnbR8=_PW&'zBtHGȶ0RtU,:Б9q! 뻆NVDS<$7dՠ|X찂݋-Rv޷dtYZgYZf67fd08a818a23e81edb9688d8b161956c2beed856dff493c54cd66b7db0c38a40d271b408a414ea 15c9718b35bbebd57dd2cb739566c2d7a0f9df58 92fd156c6be334a89ffe0cdd6a0a379948a70dc7 0270595efaf538d98023a8eea58305768709fe04 1 HOL-Probability-ex