SQLite format 3 @ .
B B h77otableisabelle_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
T T )1 ,d ]]HereditarilyFinite:threads=2elapsed=16.959cpu=26.712gc=0.868factor=1.587zXZ ִF ! Y] ŗXf1-/6vRZ)/V~l_vdᷟGK?尹QȼVޮ6tS~U2VieDȀJ˹be
ΰ!h@ p`l:˘6%b'<"3"3ڤ*Tss !|_J\? ]Qutj;LY҂Ǐ&l!$q-8p ,˰r
l,G`H@F0<, emg"al^VdKVE0l4} \k }^l -*9y^:+ ̧X"N-?ZJ>ٚ`foXi>O XV. q>t#
!I3 X$ @ (b$SllaURwi`Hm
%7鑴r`>:k F)} I=ŚĨkiA WLXN,L 81@K.3I,zv9аoO6xeL LIČIӶF)u'&gc$5LmO3Dֵn˖偧P,Yr@P(D@ҏOp!
fkj 9.yđ!73)b#hYّ]>kpGp<҄LY +{X R&8BwaB=| 5v 盪j*hbC( Y
D i)r3W
ÕbNhKM >uDYH @SSS⭐%ٻZx'J?Kh~Щm$4fofmDΞld7L5qn(wUOA}27 q#r
ݩ`E CAO p|0n,A8 ),݁0 y+JWrTY
љwY(PK .)zD
ķ 9ѱg YZ0d3f4f90b7b7424bd74e5fe36d5beba7af971f41e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
a15e9030bb829e65726be753cd6c29a0a343ef2fe15e043bf3522ae15f88dd9721a4142a1eb97880
1 HereditarilyFinite