SQLite format 3 @ .0:
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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
? ? 6L\ ]S
HOL-UNITY:threads=6elapsed=22.218cpu=113.580gc=8.872factor=5.117zXZ ִF ! 7]] ŗXf1-q恈r|u2_QM'8əj*g?ǔ;FSC9Tc30I:
Yx҆c9B90*ݧmZ4{8,9*'@Lr#woѢDT"1uDZuշ2/j" #dbX']-:
%%[a}hNSYo4Ȕq_JOES<=rH%
Np5Q5EnyJX:a#{7=q(:8TVu̼ќfaHCrehz8.Z0 *tPŦNޜbͺwdZ;-owС0~Ȁy\[dQ<Nl0)c>{^
>2=$PGvym$,^=q+Pnƴ
h+PcےÃ5'9W.sa6m8E3ßP^Ԧ$Pw8(. e~wRVBmB~Y-P b;\Ņ<@.li*L]XBjb nRaHp|\1m|l}5P[Xi錰#].u7af+CJfMY2c:fDLj.E[HxAf&]+RwqL7APڼ9>]' W[,pg]X:Vn.E*_m&EA\t7ښ+cTaP
H
ek
]@eV;t6[ERfۘLʿK4sj
HOL-UNITY
]b&;O&s|d '0O}XlH(ەRGSJBBXrI`!|ń9Ns`P|,
f"3~\ I}=a?tyՄj"KD/6FVTgmԥ/ C]gk(ֆ!ߌ) K@*2quE