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 PP-) LL ]S Dynamic_Tables:threads=4elapsed=4.713cpu=13.960gc=0.184factor=2.967zXZִF! ^]ŗXf[&M[Q5N,;XYRtd/ϣ ho{f0:]Sk?)wOf?]xUpno2Wz^k@Bsܼ]?tSN˘S]RMhߪ~jad9OI++ȾLAm4@L`S{ y)^?I &K<pAt7M& M-(an0(rJ~d82IΌ;T&37}BqEZ񙨉L3Τ4.hJO_?21`\e[Kϴ~D-3耵&H@ga%;sRo6D%ygYZ7zXZִF! ]]ŗXiɟ:4+m.a9o;<mj}2/BxIَ{?)!|LM<ӡ"JRS*[G7gI1ԓ:Loy R~gYZ7zXZִF! /]ŗXi%B*`?4 f!YoXë=Ђ{ԏfv!I5\,"yt$C%ЛVbQBiZKdJ),]OE"㨊%FW+S۪*t '#XrT%kE|;jr%.qx!JCCS$fT \i颫[c@㾕-tPf۪^J#&+ Ыʠi &šln?Uݍ]'QMpc9 /V;[Iu`m W8@2O6gq.U|H ,)`]~.$j!EItsFm&bLO lvv$^qbusx+0*e΍Qm38߾62yM@D^@kّ޹!Z:\fo&Q\/Elu R7bk`IF3$) FOzJF#C qòyHʨI V7QWՑ# x1 |bf.:p:oBBgYlJ)jP8,EN͟uC3؍{<4T-mM^ Q#aX bc o PDYD(L.4h.qnlh62 ?QKaTE3\PKMC)Mpۻ?0v<c\y)cQFWpҳ@Jhlj´@q"ZH6S筧[lw"]B9euuFrj,p9 =Lw IjHkxt^nˬ<7=5Ly8R+^Fg>gYZ2404fa44b9b5199c989130d44778a55a1e4b6220ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe efadd5e2415b70a835a36820e6157751d92cd168 687bd1015c75bfa9208916cddb35941298620272 ) Dynamic_Tables