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   l+ < ]/ Binomial-Queues:threads=4elapsed=5.317cpu=11.796gc=0.388factor=2.227zXZִF! E]ŗXf[&]\E _ ŞG3Qֹ~F; P9+H!VJ[(ePmqv 2 CXRX"*>M nIC' Ia9Fc~K~ȑYUsp1`*yQ@A&Wr=C8c)6)ٮVf밊 :MݱgYZ7zXZִF! z]ŗXiɟ:Jc6Gx&?==Q7#|~|N @ (RASC \'W=/0wd? =V/+ Y0;q@0{ѹ=!k=ő.>tgYZ7zXZִF! .]ŗXi%Gة5 jr14~e; XCXĄd-,| Vhj3Cm6Kѷy^$s88(<䇘#a"a=ϼ?M^%Ts2^Kot! k?Ijo7%V7*:]`h^ 'y5M<\\a;(A:΅5)3YP%-&D)č`pmSQ+(HtW5%Xho9w칽A]~gKqv24ʻj/3~Y?=BC6 ,Cw\6iv#ïnQZuTvn43d럳Ƽ*eLRƈt`uI8@҈lpooIw>]:*I}"޾,CLD'\p7_+@v7LY 9]Fi ::*K_˨P698DEΪpA:R`xPF44׺opДhe;9q_ѱ>Xl4Xd?}ʗǔ6.u_!<L^ YJaح A=p j{&Ppr#Wk SqP qO-˩P/^Y~M]*׬4>Z)Gn(Gz94 --H1.ia쫋(-lJVx H. 8wd0mުu`VЖM[lF[P&]}ugYZaaca4617ed5b44f8228e717fffcf290437b7a688c2093642ce0e52d658430117f07a6a10f135143e 958f81e74e154e8719a792f45217a865d1da1a47 + Binomial-Queues