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 dd1 d ]S HOL-Probability-ex:threads=6elapsed=7.167cpu=23.544gc=0.952factor=3.287zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,-&Ƙ )4 |w_q2jh%wKğsx8 @nיWGg9Xl}pCh: S|F?!/5{gab8(]\9ֽRB3\v3p :D9uh/0GZů(5BOI 'Zځ)e052zWqR2K@u$~EC҄tXjskj't#tk?mUYi-egYNZ&!3iE:PK9D?u )sX&ɁH䯤;N 6/dZ0 @blr$+VzZ_$-k|"f8@.BdؠeYu$X[ϝ9Cۂ҆F|sA-|zHN&ىgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >hVfn-69ya7r&k&849'0[Ja:t Fr/)o"<(J{ڀXr{伻3 ~jKڸ )& \"QʱgYZ7zXZִF! )]ŗXi%E\Χߌ)g70c+M/-~^yC.XS %X:*`X4ƭ3ieًIGp$#ۦ:+M~$ dw 0Ѵ>!fp=[L1Ꮏ\&FA14ސ "E5a>E8P Kz$}I;X[n:$ zQ$_/jmœBRX9R )}-Q0s6'g.*zl@doMζHC޾q/UM<3v!b56N>ԜЗ&B UpR6 (,*!ܘ UBOSa1wۂb3A$,.7@&~ĮBưr%[ۢ>#Q0E sU-q?GzC6\0a"GDU6D)FFB:"S&gYZadcb00926032dec607c56ff9e0df806d4a0c17404bd67b285979e6f43cac76043955b384834a2c80 5036220c7d35dd2ef458845900033dd223e33096 b1b624e940d5cf7786c3795f321bb4d6e40cdda0 e2aa085d330778dc3ab612f13b847f39a7e4d666 1 HOL-Probability-ex