SQLite format 3@ . BBh77otableisabelle_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 UU(3 t,$ ]% Residuated_Lattices:threads=2elapsed=27.178cpu=47.960gc=1.944factor=1.767zXZִF! ,T]ŗXf1-/6vR[Oxtۻ<8(O-H7;4$9ӏ&֎y?y>hdD\ ,&QӟeM4JX $_=,ϱ;ysz8%؞<6rWlc53zQ~ `O0}z*  aLmӚ̓ti}Wsl1E$t~>Sױ@nj8_DжZRC=c6=dT1gPQz`i[prc,& 7JFV!8/b+y`QWe uv}`KӸb!;I(=PaP (={qYa%1< h;gmKi^$`J o<tBz9CJXSs&_j1AFq)~C\ʝxWMb@VW} I<* ѭf?& R{ܦYT-,:3qdC7˅/U?Hr0adf!') "?IQU@[Hz*؂]̊, T%#?_[N"$VPϥbg5~LbpFBճ'hZ;'毮#ZF;`mn^-jWZsO>k&L-_is[t tsv OQL=T= +y̮*chHat.EPt!:uh EޖaA)!ƠY 4_p.ZA]Ö0гrbc=_AjkSߔ@6kK]39OnU”zLĐqx0ANn%Sz)? յN :JȁV*b2AD(,AFf'ݏoBt 8Re索zL1(*e)M(e=mX  =d-tЫ 2mnKs+Nݬzs^xޯW >DgnŅyA㠱bfa SB p $v(gtu:JY BuT`R;^K5d4Gס5 a6i^٧P*PbT9菲d29)uwW2C^'4}?!Q(HB8p|26#q&0R3!L(r!%{TڊΏi(Ѥ[ ӻNݐh,cDzϐ q{ rx~ppzUޕ\-Lgz>DAlZHhj^m!N9,`ou>juloffO~)>?s˭q'a}*2F:qNmJ۴'ڀ-HuR}!_XR􅠂4](]gŪa(1T r_Ze5O4M rwУ$!S$Z.ؖP,8;xq7 ?b@>Az+>`*K%t}0Ϫ*1xmbOEyl,wtD21Nf_,6ܩ>^^l3N#|P pp$vn^m, -]m oy*|cloLkcDkgYZ6924eb1dc1facba16889325e60cfa150bec0274b79d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d 3ce9ac9a9423afbb53288038c66a1b8cda2bf3ef 6337bb9e2c8dd41343cc73ce6fea3689708e4c79 a9c5656171a391d5ec6c0c0d682ed0bf7d307dca 3 Residuated_Lattices