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 + t ]/ Binomial-Queues:threads=4elapsed=5.698cpu=12.448gc=0.524factor=2.187zXZִF! ]ŗXf[&]\E _ ŞG3Qֹ~F; P9+H!VJ[(ePmqv 2 /\I=]RZGjfHwDRK\j6.BP̗6 g8 K\XN@;w;zF 3m(d mزmj,8~4Z Hf D>ޏnp&`=V'd5( /v0J# gYZ7zXZִF! {]ŗXiɟ:Jc6Gx&?==Q7#N<]/"qiTo6`㉐s`>=+ w㪽,w4:"=jm;nm Ċ&5xygYZ7zXZִF! 4]ŗXi%B !4o ;/q$ puÛyNGUP+- @KQ@CNyK-*ɘC٬-Ԗ}; fBV^J`*YTVXqQ*̕_թAN3mm}6TŤ`Q&:QF6xjqcjt>_9~E+=3ru\e\g^//!gڎxC5⤺: بH:0-Lɞvm1W,DEhU丠R/I EFBȾGQ9 wdZ<xp?bW* kEy6x/t9NvfV>!Y?y.J}wc*y˙$wSM60]N*^fdj!kOxtqp3+ԯbO1>ߩ2MV(wE+՗ Q6 R{csd;?KFH?xJ)r)1cmm8.IYr5_˷Ivn1hcPbB7 kJi-IgYZ3bfbe2119edaf148cd30db988c7db067a93afab5c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a + Binomial-Queues