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  T,4 ] Separata:threads=8elapsed=7.084cpu=29.882gc=0.934factor=4.227zXZִF! ]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^Ir-Ț4z+u)(dxae,~XP%[lS_G@hFRJ}̋:iһmrp}3ꏐHCł{)L_og(1XpGz<(lD 1hfϋ_J[".t}hJkam*k@m~㋨ja0$\NG2}NGU@=D!.˯½Q._GDIT'Kj'!x ً$?~_ vfo'&Li` $!Z}<;&)Y ^<بH py&B!N avhgJLC,VZ0]*L}hB0mV)|',/U]Zcg +?EVhHB&ofĶ*N 1  0nfaɵҿbso6^:)zwRYu>I\y+}v&/U&Afr d' S^Y,a N[(fx`gTj)^·!,X:{ ?ϙ1~;T`gDM >2,ƴP&"GCX:oZL 7X?XPU9%G{=ר06l{nj7t zt4"4D(JЀ{[.tY<1> \d9M,l[;DPJVb[׾a])or+:(y)O\.^#mMA :^pxm%z