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 //N1 lt ]S HOL-Probability-ex:threads=6elapsed=27.651cpu=46.648gc=1.596factor=1.697zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@EAp0 -n#ʍR>fX&RU,'SZ F`mV :n.F ;%f]!B97^?+6LQ< _^ƏA|D[[F< Wf B+viӮ֯ Գ8pCvɾ &j'sx0fJc ~' {pJ &Kî-M@K Z--_r>I zI53AޣEȝ}Ó]itȨ&ԅ/eczX[4Xd!z7ƳM2J{P?ܱesc$aWAhL9Yh5輫߸׏9Z%3̇P lh;;5rwV#Z\x8U{<>|tԳU; ?>, I9?$l]z {y/{9`ۏ_xmR+ʱgYZ7zXZִF! 2]ŗXi%>om3< CzQ{/}%J'' ij/*My7L=꫟F x4s kDzD,ҋ .|<"h=͖mF"omz u3z0͛ `hL\sEcM 9Zߒg,9g*jK/k{;d% g*a.]M>M`|.M#f<=MiiV{AGg6^ЍT#Od& 9&_ē]X^rZ`gG9r/u(;oJ/9Ų>|-)7ݤrAbۭK R\ZQ? .!2{Tv0/慸s3H#QމNOZzӫn]qhs 6(7!c߽NK7gO1ZhI$ПI@ZP&4`{C :ssT( ~br@AJlulELC!௒ks+]'=\ ` !w6@_*n@v`W58FN ~hr0{83Qbؐqf-yI(hfȵ\a/7jsyéK|Llx7"PdاƻcYۣU_X,cu;J *=Mh?%< +ҚuW~ȣSWY`&Й [d߾BؐP-JFЈ{wKJĵ@W[v87-E!D 1FA1lL;g~٭R~~KI"䱩 1D*;&/#rsCʒOr7B?QkEN 7jՅLe$/7o~|17टN&Ry7䪴t5{$Z_RC=&qU5 ?/(aG\0< d|3'Pg@cFa|x ~%dA| .YGD٬?mWk4njm`4I(ֆD}RjPK8c3a}>]{ Jm(V31p:9YWpN[@\Ig_=_]+P ;l[˘&6-dfxqr] >oxdz슩Ux sZط,-Ը Y]U,-E<y;}Pca1el? ;Mm%,P޷v W*cNU+ъ, ? |OsW&~>V QPgYZ6b9bebba894e74f869a44838ab89bff4a0d70976dfb2cff39355450cfd9a38d0868c45c739868d18 7c72e15715919641b0ffd3d741f84942d786d5cb 2deb804d54e7d1633bbed2f8281cddd93cab06e5 78e7a527f7d565e02b8c28f6ea88a95c2f472092 1 HOL-Probability-ex