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 hh1 d ]S HOL-Probability-ex:threads=6elapsed=6.765cpu=19.972gc=0.656factor=2.957zXZִF! ]ŗXf1-q恈wX82Γf^en_s9@m9jx5n,- "- nݚl2.u'7-WbGGg~H]D;;V*݁6B`&$Q[プj0]r#;#)O|09Jc9/5öͤ62aϦد*fxzG^X.oBтt>ɹFybI\HT4Mt{9Gt=@n 폆M1oV4݂ÙKٸ͢@y( S$,+6Ͼ>ꍩJ cRv(``H+ ϷpHSw.tՎGQ5)$~Xjh tUE ^:qYpKO3>ןvlpTMj@ֶԜgYZ7zXZִF! e]ŗXiɟ11?E'TSݚ_!}M >wr.?GU O{kj(HFV.# NI\vFl^&Ed~R N0攺\I"\CӵcsĦ޻iQ`E.s}|ʱgYZ7zXZִF! )]ŗXi%B۾!vUi.:Gd5P\"}Tw[L()DXYѮr2qNn? B O`Age$hnR +}Γk\??a1F|b7_ZW5)vȚ9TuD+OUj^<О&Z ypFkvg~h'|:H,(O7A H%˔nr硗a" q{}<.zNokS >'68 0" ΔWe6G^$Fr,XgM= W騾q:JIy#dܟ2]ԯ~| Of"} id kFfN6*1+e@+pC ׻Rj