SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  #  D ]]HOL-Nominal:threads=6elapsed=5.894cpu=13.732gc=0.704factor=2.337zXZִF! +]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯,yeG)#lJa ƥ!*ΏJġ XNopo|niz#p ʄk ӇxRSӘ0WCG0-vek{xաMÉV6Qo98 /C8XZpwtKus۬H8| 91x`EGSV7E}wpqUQ$NY/!q͓qBd!BO$'=IQR b#bk|B?w"\2EFJɯ8|)R7Ms.{KJ0L#;d#3=p!`-sB` NhQ/-< R1a1joE88g8?uAJ RQKƅ*>>gVZqڋD1}$?{Rq)Q$G.@3r 3q9~\'OyqeRr4K*[y|Br4*+q GB*=M[ާ;%_hb!4vC. uYΨ ߊZ?MpSװc*sIw{̰=}jtO7כL\<|mc4/s-K`;+a }Ս͡Qr}c$6h z#/rĨ@wRLE>`u0dzT־7weo¥H ,*bؙ>7FӱgYZadd8550716fb3d74d2bff83967b6c6ebc649ab0e33566f3cddb263229cca6b46057522afa84933ef bb7ec89f1f64990bcc746653a2c829e6a81d9bf2 9f96cfea966aa19fa07f5a219d81239473d5d2f3ec6d9205fdffb78dc64e2bee43bdf45ed27db1e3 # HOL-Nominal