SQLite format 3@ .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 |/4L m/]LatticeProperties:threads=2elapsed=3.864cpu=7.176gc=0.152factor=1.867zXZִF! ]ŗXf1-/6vRZ"P*nI%ͧ ۩\{"G $Q݃LOIJwaQ|H -̘FېN'p6DPr^l`2 C2SDja*|1lyj2sa4h׵,||3 7 VFEllrsAOΦ:EFU3]AH_;f:g:&u@&LM̚!c=\𻏷~QKfsLBh< r }&D)My34_&Ѷ伵Љ.IpIHޫq?L?QJ! 2]Eu,2d~ػ}w+O8?<'ŪP^_P-詛 W# bֱ^49LXLH3VsHo~x->hgIҖtv+E.I; Kl]w~7!ЯwKuZoO8 n_t_KLph zxaY5K& r/(i+Dy}, T,oi{q oz],@[`|77E.mgYZ7zXZִF! B]ŗXi% ţyR;?i2 mfz`u4tbDA c , H\=Yz_yi[51&.~ΑOQoJPnsp}rof)~=452,>ܲdA"c)5B\[PFQNǯ`u*yqX J`_]nZԽ nRmrLi?/`S7l_glFN2t.4{*Q tr-k.Ɉbv@?Hc#8MW/JyZfB ?-[rP~X( ! T˳z>N0C\GF0a=*v1>fjJP2Xh ]] BSKtB}ѶR(gM!yE&AwC$%rRN d{Br#U~@oY,I͵O5'$l\R)d 2,,rz93DPy] ?AʿΠ=0Q$@Ԟa?v24K%qS&-̴,I;} ^.{8ZLm"Ua 5b}P]=<12gYZ1e83e7d4108494baa830cc4378fa00fcb3fec477 73a61ed164bc64a4afe6d3339ca73439147850a7 862cf3ac8c1fecce1262b05b9e772d879c94fa33 8b36bcd52565e911e4bdcf24e682ee4e68b41ef0 97928f84f738cddc76162b4420caa65d0902effd a94076b6de8406150ee988c7666b13850e5ec305 c98ee4ea2164dc2e1fda68947cbbdf0953045a67 e2b063405e84056d48c35f74dc2f5e30c318a3ad e2d43a12977f5444e54595e2e424cc3ecc1f60369711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4b0f8c88376f4e8dd0101bc75d25077d1932bfbaa / LatticeProperties