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 //N1 |d ]S HOL-Probability-ex:threads=6elapsed=28.699cpu=48.668gc=1.392factor=1.707zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@mћ QKQ1dy/@E۠k^Pp 3iK$\jEօ]_k$$JiGI֫; *4*ŷ,JT qcvUV͗p&ޚR3%e:L1-rú:L U^-q;EJ5@ ]r,u&eGQpEws텅0b11$ܤ|cR,LA0A|u.wLۀ}C<0G D._eK,!/3w9Z=NX̸L,!^\uPtM< tG:ّB<0('=kyXI iZQ 0CKM&"`[B-%=Tnes@B?ivRť"$r{pf>ڀ]5e5S>*xBPHŒ3nH""0CQvqou" f$vpY<C78<84{VLgYZ7zXZִF! J)]ŗXi%@\rjy`NIXPƼ^f%&7.h^9P>Nkk UyzmTL|iDA\M<;ܤz41~9c8Pֱcܺk~D\!-pd Um#}f~ hH__?@ݾ]:Bms5ǝyH3feܶȉ/4 Њlɇ02%gzq'g_ݖH_'C߫$^͎҉=⯝*CIƌ^hwۼIB-gAEVQʨyoX6Wέ Sr~:Oyw_jl k?yXta]9,mA?OG#kg{b*j Pf@D=@e/=Ԕ+J2Uq^Ә}zzQcMIY:t(|z}8F3Eqe )-z182{ɑ޺*ΙĔRiؘ3č^tp߽Q'S@!^U[M&*]'[D y{lb F.i^@L!~Oq=m ۞  ˘T'gYZb3d709192cd642f6b81c74160e5892d36108560e77f3e6117d8d9e81a63ec2f1d36765fb9761e63d d8b455c84836a9b5f1a1b8503c9c0539652a6ddb e3a8d806ed9072a99cb8f500576a72d53a066f04 17fbb4605c361397b9eb91abc05f06cc6e3edf3c 1 HOL-Probability-ex