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 jj1 DD ]/ Concurrent_Ref_Alg:threads=4elapsed=5.530cpu=16.324gc=0.460factor=2.957zXZִF! r}]ŗXf[&"wxmsɮ@wy "ȗ9 Ay_kC&G|/l۶UtC 8CjJ8Vif aI̢Y1|+R+$|kC|,|qVk 9B9ᬟTG.bw`5BwmWs =.z2ugNk4"y2kecF:aoE{J>_pҭ` ɓH/y 1 r1kSXRE,^\֍zyLksʌ^(jb,xM8S9aSSAI%&EuFENіпf%#Nй[UN 6Q`X+Nֻy#OoYO/=3FAb7f5>Fn"dާUE]e͆sn:NOkgYZ7zXZִF! 4Y]ŗXi%EbbtisJ"Z`H&^zk^n4O8O4Ba!)}#N$ nG bLi#[Y2pjvl1b oXS0o >U58|5 ռLAVAhs;?H>kkT}adY1q;2i%$ hE|">k}hŜA;W8W^4a2L{ #|>?eK9SqCljߏpVЄQJv`%;c6