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 u1 ,| ]S HOL-Probability-ex:threads=6elapsed=7.023cpu=23.824gc=0.984factor=3.397zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,- "N=dB;{e&7xQMcAhu#*6ahJq9"54;sNjق,/.Xecfjh>XV -g^Is0 =A:;e!ۄ4ɴ/2xF{]t xF.dD$BX[uN%:9'|=QlNA2y>_AAJtƦcJE $ms<*eUgd?$^{[ۋl%kuNDݔNk, QOzbRÝa(S-xz  pO./*0D8\*цw,«xR^S! yq_A|OJ.pz2{ֱCX$BBt89cL/#.YO khgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >K`M[ FSN!jN!Vl-KNq$Avw~~~-Ӟ6T3OgbɻLon_RGO7t484}T>Lm)yK`JD99vZ~`04[i gYZ7zXZִF! ' ]ŗXi%I4ŲR#Brtt-n69qslPc@8F2~Tf/@ɍr8%Ub Gb& "Vo|V6qI.fT4|Vr#bN9Ow~Y Ymo^|C:Pb筲E=rg $AxhsJQS+Z_o|DžT+12p6l0plc`;5ɹE0fx5h ]VM͑ZA i3^G- ߝ1nSł7 OʬeHsuy:͋-Ԥ.>M%-ؐ8BCQQI( "é~R3NgYZe59e859a4c24f0e47f7dcdd291f412f1412f8163bf9654100afe32c7d5bf427df7a0aaf9473b4b02 25da447281407266ec378fa715a0f0d237e17a82 1d2ca8f7f1fb93c6c7337771e48a7c805c0080a2 b58122d8b692ae7352dc14925f1af39d3547d715 1 HOL-Probability-ex