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 +  ]/ Binomial-Queues:threads=4elapsed=5.539cpu=12.016gc=0.320factor=2.177zXZִF! ]ŗXf[&]\E _ ŞG3Qֹ~F; P9+H!VJ[(ePmqv 2 @PY $,nX({oM82L*7:;滙tYe ?ElxC~FW*#QzكgQJ4 QsF\9Q~#,$6jš$RH^g" d@Fwm,Kx᧋2~rmm$:# z(2 -3EgYZ7zXZִF! y]ŗXiɟ:Jc6Gx&?==Q7#Gٿxޛ3Q-X74}dQY#g52TroV Y7H}bӎe :4gYZ7zXZִF! 1]ŗXi%B)`&MLkH >7æih\C0\ 3-k6]Sf1]CTWsл?agp@}1zkuw /gϠ(Zo=S|Ǻ8Y.7/`TP_lL Jf(Jdz2LoRb/҇},@ 0h㠁E 9"F ?Kxء?5PD"fsXW=]("綎 U`wR믟P^ؒB9 WΩ3(r` (Dhx_׳X{I ̀~д_nz\a['&brw9\_l/fM̦S;HidV ~8w6u̻>JGl8ۄªqw(~%CH% BN}( mZBK8 S:% [;\ l½N9< cNv .ۀ-ۆy&QQ(d$^@ Y7//8d&Zt c2\رgYZcf5c6bc1ce9e4a9fee761736c30ea5191681f51176b019a50eeda51c4b74870607c55fbf00aca327 a855fa2a3f10e3d2277abb9ea1e23a5d2b13ece1 + Binomial-Queues