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 ::C T, ]/ FinFun:threads=4elapsed=6.108cpu=11.484gc=0.308factor=1.887zXZִF! b#]ŗXf1-q恈͐7ӺV }"cXH?c;MՀYxs!7wgJ&ؙ_d̖ú(p;~aoY~/֠ X* r74 _ 3Ȋ^7axZ8CRY|c)Xfn4_d`TxbjԮBKGjٍ+k갑+QS0YS9tM1Dw;Dž!٭ƕ lWEam"SRxPu`ȓW Hkl1ydEzǖ xM.vlyh/4m.Q[%T4%d^k} ' K?k"f_6ZƴKme`,sb^WDn: }d[Q-u7 EV֙N~٤yŭ^{1 U3p`'ZMkL gы H1&qWkMEy z tӝ: h%Lc^`DPo>z';7 /\;\a-'~*ׅLU.MV#d?'}9XBF0C9Ybɞ,{B I8 T%mglI4BuE=>诔6')h>]ZĢX' zpq-GauDMrK/DQɺpjLj@jE˔d$lI0/29@xiX\8 xj^CJoů([iɛ C}r;\!^kI@񏖭7+VaEwY!+vVjt-0q;<=Ed,[כ^Ԥ{وu_*.'5X+5 SA#W!DL5i^Etpw_d'~0r+luѴ|צL潑ka#d')ЬP!D- &9^uB/?j ۭbd#_B:?*VLpvRerYU s`gYZd405ba59d35085a355c60e396c6669fc36138a7676b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568   FinFun