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 XX%1 d, ]S HOL-Probability-ex:threads=6elapsed=7.631cpu=22.644gc=0.928factor=2.977zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-#P JFORp~3`kp) tNHzD-lCCdljɴ<RV~:eo^!IgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >{f׏95,w\U x#!A k-8Mv v}ܡvQd$)[DՆVW\gp;5IJ2Rv3X{gj|n.۵mTpbGs8en,MʱgYZ7zXZִF! , ]ŗXi%B "[(?cǯHuq)ЍGb"#]'qv<0/7KvɃSY}sX;|WvWЄg& YI_8YRTGIXS JVa_af9pr6g{y?YE)Ȗ=NB i窰 6$ӃMZ_&XRV@x tfkY%ܣ }wyO0S]rGTZDm ~B2ɲ_W]@J93Uާ]!A=9c`Nefч-`e8^ҧxʼn5Y!69+]%I^]rMpW uDl{Xa?Ƃ@I.f1 U* ѱeb$;k% Wv% 0_LGwhw3`;{dyo=Cvxr b8-aI"_*T ]d>8RBz^$G?O3Dlي1a^|AYl!uAmzW{tP|QW<={w2!]UGWk39WKS's8aeEKA:`K¼ۉNTy ^2We $$wc)cg;]/ͳ ri{K<ȣ&zd|m7wKC2<3~z:ŕubU.3 -+tᷜ'qi廀ȵt@d<ұ7ѥM<\}5v2|OiN<8X_|Zg jdf3_J{ۈg.xa%#ϡr0&&A1>ДL+@CpMAn5bp׬Kxr[Cލ_ GHu%~O1Xot{!gm- 3?4t }11c[ {YVSgYZbe609ae6558af7ec0e4335320f78ac4e487bbbda24a02e746c61040204a8bb5050040c0249134cdf 94f56250bb4f3fd3f203368dc609dc2dfcebeb97 4f43ab95a83c4db835c3be665548cd644304ec64 e4d37f8d4344196ee12fc3e98c381e9962aaf60d 1 HOL-Probability-ex