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 LL11  ]S HOL-Probability-ex:threads=6elapsed=7.256cpu=23.852gc=0.796factor=3.297zXZִF! I]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-B"==4G eKw$ʚ9ܧØMgc)V}7}]k1 RV(q5ZO4%WGc( hdj/?k4-6X>⭂>w("'c곂dSg0B>QُM{oBC${r4$,1(4DSiu;@'4U@[1?அ=삽na"ŝBݭ XW1Ԝ.+b$G3-3l_m` /EZhFHP b$Vg/D,ϬjJ^:gJT.yFs ,`]b`_uU5`J> JOI'.Oޛ!/+ F_V\͑YjSʡt TjT&]_|ҿ4iVk3Za-]/%'…ߠ~V\-aގ"K!&@ vʱgYZ7zXZִF! )]ŗXi%IfyaRhR1 Ge] pyq:jMT\m |36 ~<U8_ nhXY+(O{nMWOFql o9j|~&"mVyd4^K:@A-.Rde?@HMX*TT AӻCY_!G= 2%B2M GREgBm2enՏ6žYsq_i7G/qéf.˂a=جg\~Coᯎ\cѪ'l9qSɈk0lmƨGn!T yMAӚbS7V|*X[H^_,iIqx?l0zzPfWk y9d'Xп}!wX.|*V7YS фıgYZb63c4077cfc13f9104bd0de5e42604a419852ba1b8f2b33a24d2ef800fa7a056082ebbbf3977915c 6a95eb2b178165cf707931927bdb35d5f0586909 6260903126014ebcde3a0ddb380b57ebcc839ce7 25f24b2499731d40c656a68fc80358be49291649 1 HOL-Probability-ex