SQLite format 3@ .0:  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 @@=1 4 ]S HOL-Probability-ex:threads=6elapsed=7.290cpu=24.064gc=0.972factor=3.307zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-C:=;tA`e5Xxy^FrȲ0"t4@Plg|m7c|ob|9ڪai*ގ)SS:dmur\[}164+5m vM^"Wc~XA|O5Y?7+Q'ޖT,ZH RVZreb[佉}aK; IǨ$3b\jKq~"̪rk^.`y'^m 0ˋWh+zQRWQ\(8g0*b=>~QIb->"Գv5i> CRIQO߲g$0YΓ̱%bƹeR (JEe3sM9A&G 7]viK 5ԱgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >J˾Ea;gצk.䶙}Upj!WB' wMg +Mp{vU}~˽Γ>UكtVKrf03b~M5xxfgYZ7zXZִF! )]ŗXi%G\j `o˘ B!G)HwUqYi Ì;m;Eq]3}( s6mSa<2lz 1p18I?M&]r+ 4EH6/ */ *:74 Fv:6J2U=lƊ8 #RG 7Vf+9:̢^b0D2AƧekIV>Wyzݐi*"5'k *MdQKZ9㶻SDJo5k(2sw`~;xpMهt*S AgYZf6f8d958b11a2271cafa7b5626c12880969d1c1850c1749019ca8e9ffc93963cc99307460c2e0e80 52a64cfec0259bfb8fb24d12fa7de6a2d1ccd80f e4f2ae3f581b3ec075e3f72854e30e6c0587a3e3 20533ef21b6a6a3494acf085d735a451753bd9de 1 HOL-Probability-ex