SQLite format 3@ .;  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  )dd ] Chord_Segments:threads=4elapsed=3.713cpu=8.600gc=0.160factor=2.327zXZִF! ]ŗXf[&}y(+O2Z#b1<QK4b0 LO[̅i.CәDhNel]ŗXi%L 0Zwݣ_ ID`\eOW=^U˿4)u'o̊)kQ$ze?6a?` SR(gr׊CҝH$%ݴGp}iX3}T^l[ͨCVw3>X=#4Ja⢩TëxfpG&mJ=Wd6P8ß (YJ3 D&'((''8%kK !e*AxJGmyTi7'NXKӞcq6lKp`mIvtfɸf,ꐘ3#Iv%3Z6*\X*=GN=e]>a*(օ$lsZx;/vڸdTw"iG)ȉ䋒D9φ qhAѩژӘʖ&$D<ƤH3FWD%M7xbpb/&se]`+Z[sB-_Swx>Η$Urׁqqi,%F kxsxJDMĪ3YTYr'?&e c ٻ լ#iMkV N} *p&)dsDO^?`NFz`vN%t:qdw ~ƃt(6k#$P<ӻT`1HqK1nD@ؑ_05&5TOwc<:\>} c:<>=@{M/@ɣISgYZc2780733a1d55772c5be31704172b7ea8abb1b06d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e8 ) Chord_Segments