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 WW&1 d|4 ]S HOL-Probability-ex:threads=6elapsed=28.028cpu=47.208gc=1.312factor=1.687zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E۰."T7$}EF%Z E_zVb5{SUM/FB@"$_ݹgPg5v|w8U|"~ )3 ǟKeYeYS6E*UE#%q1 hg!/83Lg@fmmcngYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >LlIfn<4;8jCڜ6c\?L]Vb]GgcB{ |('ՠ `EtT${/JKmPG۲,ʽfX&j'☜P8GWiբ=f$8Qsv@x ;|` .e9"ϋ$^219ioqsT%ŹPQ,Xwyyv٬-;ࣵd[vJBĎ#B5&KW>Py5[p5LֈBE e )dKNa g=̷PulB&SD  @]A_ꢋJ2JP'Pf/faXCfB4A(HӮ E't}l׃M"PzOnv;vmR]e-jHp'Վe^4-ll$$=Y~aaV `E0>63$ܹ4 /|A vҴ(|ؙl^J 0"edUBS,-bIU'Lk5 -d;@~*FRln[b&ý-y WC-(.7GȐ`Un@/%=WsLb}F#+sa CG8ש\'a X_mmyJX\~g.9ˏ)RC>gJ,'{ÆU^"n]C9TPL@AfF{/sW'3l3 h%ݲtBRSc,#HO_O5ZWdUBA=IOnC.7[7f, !([c@]B8\o`BU LX ) 9R@3|%4z]j2 B$mW? ggYZe002949fd34fe2e04f77da45838b1ac50ba9c80ccc6d6598ca48f4c3791a98b19dd5cf828358a33f c32e3c801900c6f94f6ade7ad7b143a3950847be 63d1fece5034637dc31fc5f48b9b8463c463fe27 ae8e755c67dc4119b832f649310429636d1b0a9a 1 HOL-Probability-ex