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 PP-1 | ]S HOL-Probability-ex:threads=4elapsed=9.110cpu=25.804gc=0.752factor=2.837zXZִF! A]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-&CO"I1륙!b_]X5T;H~I0 n>IX,g= ]Q{]2~OZrByy= a臒g.QVЛWCCkD .RP.^}~l}gQ /j- ums6p;O&<|NVi 4=4Uv2qr^'$'_4ye˭- !l=3M  ͶZu]n=%4"{r~i'Es;Oc,$upͱgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >wt$(asuZFi *߬o${;=0ʊ{MUuAI괸'$`@"Gu1͍J&]≫0l] TՁ X^=mױgYZ7zXZִF! 4]ŗXi%Ge'M6t܆۳d> IT4!u1H-l C}_by*Z}ySO"8D=:KC & 鿡QbE&87`rjOQ6o><ãeH sgb*ѱ+8Ɏ0u%4ȽV%=s+T_Nԯd?HFA (dU#:Nr?>x?Ms62=(4x|#OI,n7kBv_rjI78V$Y6t1:WTO_n! oF$IəDrlc"8uۗ(&xw-K0jk5a`յ.ѵa7Bm7G,=HO6[6 :oVˋ~IìܑbxO[Xrf8¹N$a25An"*ZؿVFBI&~plD#E^n~[0tmuc/ٙ[JB0Fہ/U=Z1U}iB/: ds\WDA=<&n:`Uލ-*A[ i.ٱgYZ769adc14563a1edc7571fea618b6d0d90fe5ec201795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac f1810695f558cb51134bf4d86a21357b397120ce 1 HOL-Probability-ex