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 M1 lt ]S HOL-Probability-ex:threads=6elapsed=6.465cpu=19.780gc=0.972factor=3.067zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-|R>=E{Qyְ}KdU'c ~oQE~qm =u>"|$~D=uOVtqL8_?|WߖrIҐA}PR=[b8UZB\ޡ(:Y,*h=qW>E;Seّ'PucrEEu{cRlF=ep[L^u$A^TK3?i'Dd)фxlpČwtlTKQA`F U )w44O}yHRj'=Vav9|6qblf1 M6ɩcDvL27O\aYpgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >wةủ jqO,7o^<07dqg|eʾԥ]ބ9[Ҝ_Aq~&_Ncc:MHi>7r5{ uc\VtGpL{VLgYZ7zXZִF! &]ŗXi%B̷!NB-]<`%VFP^k11M9~+Cvfǩ+]B8/RЁ I:0۪M+&q}?nS֔vp!uI߲qML%cܨ`\^^b|<-b޺fa`oD~ |&P9FPv$q[9N1Q,"~Re585P9H6X Xszk\޶ώx8g2A/d`9ehގ>V5vc8M!AŅ4GNt27=Lc۱9i'B ,s-xdli})ߊ|`%"_S?$o2]Vƒ '֓v9Ll=~9qC X{? h蒧3Q ܨYG7JSf+.~ %͂CIz2%ZMDzgYZcae397a75db51a969e5e9285d863d81e636d7fe3902f55b990891c03dddf854b84aaabb24ee3cee3 e6e8b4787869145ada1a85e687fd48496d7b5e76 f37d08fd3908dc7d3718ed86af6a44e7cb1507fb 57ae49dd3c3a1cfa8ed5d4e7ac3d2ce8e6b6a307 1 HOL-Probability-ex