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
e5< ]
LinearQuantifierElim:threads=2elapsed=90.478cpu=138.356gc=16.980factor=1.537zXZ ִF ! I&] ŗXf1-/6vRZ̭|pDvY=nLN7zSP8uJVk{?| =wz&S=3 :n:o>VgH'Tʁ 4Wen
!{"RvϨ">sVUhU-xL>v
+myv)ruMyKG sXFFƹR_tia}P@BY/- o2H7Rw;0ng>I
}t )'a+^G|ik7Sd͆D#LKJD7߾v~sԍ'Sޙ*rj5
M#nMӬuE_t.3/{[(69.u
ӵ#.]`jwqhBKџ?Md~20jgf#_Po>*I3gyU!#Tr< `Sv $hNVE̒^8ApfͰճKJ92X)XjʢfV]
W}b͐u7ں{9L87
6w6'f[zyDtL ?0C!}+`6RRj]l6v8&
mk,YVM:Cҳ M?Tvh`fgWr1O-mbtg4$)m ?ܡ4 B{th
dV:sb\@yEAG:/hG?cd|rفab5_8v+Tq4脟LB W
y>v19y+vt5z$AEyۅ_HkE%Mқ2
ӌws>' Ekt)yӤcAgN
&k~5;7vgػH5g8^8F4n쟦jEG˵cWn6|42Zk@d
mW5 ќa}`286_
Q M[!~'Vzb ?;]MJG)lv8دk W?wC{/9쩼hg'ʌNK&t"7~OVe \tc6G^ZV4pE i9
DcP"5%I+F5%e-h Gg YZ7zXZ ִF ! V9] ŗXiɟR 8]6 h;5DyYaQ/ Fԕxk͋5f ? i1u&sSNdcpvZ))qws܄FOܟ
噅Em'x lo
YLUMh)>"/L<-A o=q胭1Uf
S%H٧NDtA\m Q()8`u|064oϪ%)8(~VUr3 |B
R
rMg YZ7zXZ ִF ! ᗏW] ŗXi%W~jcBa$_yY<%Y%f"*\2MI#1@i~Y3|NA3XE&C}T9Fe'ҥ!ՌŅǰ<Դ95LQ|taI=F<+?q&IV2^7Ld{I)?ZzkAV2d"Kh۹ 9h#l͖kefI>RY&-5~1l*7M"#ט>Z//$.9 ~{jVK!h㐢*MY#A8n߈尫8*T"9K$?%UYg``UY=y:MyO'ZxZ WWv=Wfy