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  d| ]] Tools:threads=4elapsed=4.540cpu=4.688gc=0.224factor=1.037zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3@ uT—"9HjRP6qsD7b/GND^{Z`FwfL+R/M=ƷPD-իgYZ7zXZִF! H::name=Tools.Code_Generatorelapsed=4.538cpu=4.684gc=0.224/! NaI`S}YZ7zXZִF! o]ŗXi%I n^+c;ǨHCHsڼr6}amΆLBSƻw(?`wfA0JQ!WZ7xy^1kV˂ƍ+):X!ΗT(s 1Qkt'JTCfO!<}>[+fA'osUmr0# ##=f+aJprfp%3q.g◣i#5#?kmܙ%Y!c U:etFs Ǐ O`B9 2L8t` 0vSV|BBVʖr<[;QI,hEn>ÒS`AH\@.6Nz=j͕4E'jagd9yn@uzqļ9MH(#Lt75xk/:@JI|97=*! CW!pz>?'#>s LSov9@֠w۹6f!O};/s,-/c79e(?چ8c. @Z- oy&. 8nubӘbc u_UՏ"MǨ!og Fh E6$gYZ02d464fca26ae5bd5b9820fb50aa4a7bcf974d6b5a3b6f7b3e61510e7fd7048ff8c15610e20e90db  Tools