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 \\!1 $|l ]S HOL-Probability-ex:threads=6elapsed=7.200cpu=23.788gc=0.816factor=3.307zXZִF! . ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-ߝ}%$Qs#.3'\ͷ-Ńd06! D B̈́i_ZgşogRt :P5\K"5!/YoSD4YwQ>SL[k-qZC{j}=z jVC7JʣzS,Jू+H $]dI/z:ɂu7sVϴldt/ڌ1Ԃ[20Yn\μCelaB›u+=qKv.$~Z B:rH pηK[`"q_e`1]~t7 uQJ〒MVaX_F/R6[3=fe}2]"/= =H46݂6JBVe]F)mdpL6CPB -gYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >J˾Ebݠ~JY֢Ka |xHmyJyAnKj(+ eˍQ-D1;L]D8:3Ý,y?ok߉/AB#Wp?+u+|U;^U\ qTcon ĵHî{0{/>/Fnc-B5oMdY EWǩÃxx]|_R}Җ!T7"&$1M_s.}./m,W-0``b…F[7 [B.?mpbzU|\2chjbW|[[1wrX՞rG;X;>$fDžyy%'y2KLs]55gYkg5sU<njSW| i*^tMr6 { V1RGBLc Ȭ6q׈%7XMt w \k% 7ڝ$@c#P|b3\* QcHY5-7 P/w@ДevZ;Yn߻> "daGwi C;cp6(BZ.Fx fg+Z?ѝU&Jζ'+>X=8KnSAgYZb63c4077cfc13f9104bd0de5e42604a419852ba1b71b2aa485767f91425b025d2acb6b14a80f48dd fe032c99cb4dd9300104ffa318b3d3be808bc47b 61b252c448466d7d7ca5307c65bf7c222eeeef98 c438260336e8ee633d136f114cd7e1c831be0e61 1 HOL-Probability-ex