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 M1 \| ]S HOL-Probability-ex:threads=6elapsed=6.920cpu=20.368gc=0.908factor=2.947zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-3MgfZ4(u 'GZpyl" 8ej˞,ED݌TLϞH)-a|D~nۣaá y`I7>}VYZJ-[F{0VMȷK^Z&o,A`> y+OxooP+PIi8cSpHA}Zb c+G"82im5m[OӨKq.c(ch fLܴL ԻI=bqH[ FSLlƑP_pn)%\8N)ƫ' ]?EjN prxGmAwԽt4 Pl?T!MU'kOVw[.2.. mmg&i gYZ7zXZִF! )]ŗXi%Bɟc6'T g:4:bݰ({ɃvX0 Mޱ+u7]wfF875:1oJ8r|Nï؜bFnXUlfYyWfhg-~V55oŲ?G]P[(lE@ӆHOX{BbOOaYBz\].bk+fō]ᱞ^U6` `˨`%E}ppr`*^ î=9PVb@5("Ph .T 1%z?2~$W9k^zCXXk/R|#ƨT-]Gg]~9M,5&݋^u~ I%@C 5O_8VU<7mG~,KOi9kWʲJE?, D+ & ^Xś);bx1UZ {;UםZOSQ+*k4InK<|r죙?3l |E>Ey8^+ 5lm83ZݑH14?NPE+v&]­2sp_}" 0G ^c9ȻՔ-8 #P00z:DŁ\ F 1V9eIYg'T&EMe(G0xJ0 ~2[ЛnBt`++ 0Qw7aawO9YS㙮gYZ614df215afdd6ab198e7e51e63cefa90aea1bbd6a8cc758d6ab7fd0d9728cbbe893e534f8f965816 1af3aedcad71efe17b78663b69931936110aab93 747040019bfe5870199e02c105ccedf37128115c faaf326ab392ea1a90cb3b0b408234884e779ccc 1 HOL-Probability-ex