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
\ d ]/]HOL-Word:threads=6elapsed=8.823cpu=45.504gc=1.652factor=5.167zXZ ִF ! ] ŗXf1- q恈͐7ӺV #^RE=4E< @ jZQ2Cd>:cyҶ@_Ef9L3=`
vgk9qC}9[=xĚ//+5sF9/?{6\v /Wp,Q[z$/C9:~̀5. \K+m$cЅ mv4% wJP
uNΗWAz
{c5LΫ} 74ː CёQD!3 @eDc^twLQեVwSٿ4QQ doE , 2ѱg YZ7zXZ ִF ! ~] ŗXiɟ1}?3DDCBCmlP
5xo@QeQyLY"ydsIp2r np
q&R /Sh˼%Һ7ݹ R.A+Ϗ_=KhHPf;hdk3$Tw_ =qҌ?/}1E3IJG|9Res) EZU#^?[ 5$=6"t(ۏ
o33 Qq7M>R|6O rx\ vng YZ7zXZ ִF ! 2v] ŗXi%ES3l})~Oir`GPIԝأAhe 2E@Q.Ҍ%QZ6jzj6;0^7i^뗟B*^hIs{K xz
w~7\._ O]e )F,/r6}iҚk#pA䪉7q$:VRIڈpJoܮ6$=ɊJɖg; _iF۬ϨГZ)#J_Q9{ň6
*\ OIj$KN: {
eDž'МEu <λCR4nn˦WCSU,N+hp* pSaM>
#mϙ_
~x/lU`rPGAyȘcƝ=d_˛G(5 lɉ@ @ԄD pf!@〿pes7p%t@GV"\.cltJk`O0dBrYC$MX(&_ZRF]3551RTK
<5BCʍ1f7B,n_B`)5nU"