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  }# L | ]]HOL-Nominal:threads=6elapsed=6.248cpu=14.464gc=0.648factor=2.327zXZִF! ]ŗXf1-q恈ބ׋[q47({ڏg_$+oot|˯f?F/.'nOwHT"gob5*yo2`^zdI[ݥf.R˖P\CüBqj|Ew%PxA)lDkw%h"UOLBwT`' #S-+{Qwy ߸J{ҥ:7 f;gYZ7zXZִF! HD]ŗXiɟ1ʹv)̝gb_ ´qأ ꙼KM`+w7)asdNDq(I;<HF_b̙L&~_GH{5@N\]-vD[Ύ}p #Y[e 6_!> ގ3ҭݾvQ6x?2].K4q>;a_v]"=v3V*Ͽ9I:m? U_rJ'RMX)-Ydځ|KŽNt۶+ĵ-lq vÁ=޶4H$geϦeua0)")\ů+4JɏXS=3/z=Z,|rK̨ءSo9 q8L5 Ys3w {+aC7s@?o1ĥyG&U) n$`ZAG`̨(G%WAZi#Ί/]YlI2Oͪ%<Ҍxt\]3tSm?o/yvd+</:V]C{gYZ2ce8bb777098b68d22fe9ef7f5530d2699a02877bcb48639fbb7341b689b138997e7d93ac6626bd1 0f09632813e6e876e68176357986a5c1231588cd 0c96f85d64d6fb4c59da90a85084a3750b72d83697ef462d8708b1fbced3b84df83f158ef50a5238 # HOL-Nominal