SQLite format 3 @ .
Y Y Q77Atableisabelle_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]7 indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info
C C :)
< m/
Pop_Refinement:threads=2elapsed=9.216cpu=17.076gc=0.692factor=1.857zXZ ִF ! 9!] ŗXf1-/6vR[2y6ܫ:/ҵA
vҦxWPg7zn)un Z1̅%O잣V־"#m18&fF0Vl&*D(~c
\6ynƉU: vB#˽/p9$#Zϊ@ėv^nhvK A.X$$4>ǜ'ԡ]W6uᛚtw pq ?bpv64tȰ%s!`ҕ AmR[vdDtZkp) ާr?e=@J-~c E; l?H[]W
.y:1-EH! kX>"T1}m3w-Vu^j mn8*mQ*0&VoG#AЈe(/݈\+IWE{
@ .eSj>kj;q;q|XoV?Ec.@ ȟv2lcYP¶Fw?߄3*>λ"kˎIM(=' DX*hZ?ԋ2iD6֘BW~{
11mr|<>G$0̖C|1w[S
"q-# k"#Oikg).zF!2EASck1!.?w` \{$煳f~Sl.|3_26kǔ9
&`aj >?A[Pd%"QNF0
DY˴G8논1\a˳U _VP Ş- iZrmEe:dS"&^ܒsm>z\ RSt395 /c28j&Լ!tTmsah\aɽܳp0 A;ʛ m&jЍ`7 ~Gݑ ͼkdP &OP)c r"coD[ o\) c֍X7|KH^= J0 EŜgl*Yg YZ7zXZ ִF ! 5] ŗXi%
QA%Qkiq {Iz*lt։q&-Ac, :8
DHÊ˿lLU~tFi e;~uCd`קWILIñ^|$eQ6QzlJcd&&]b lѩ2ha2txDK%)k0h fCIk `V ?ƛ vԽ`T]Dn~#^%\űELDԧoB@OZ~a A\I~QN!_un_G{~G n$$1 Fd`81Dږ'+-ְ
6Ê5CgѠj6"I"|i4Xⲋ'))W;7xihiٝ'{ i=Wt*~PPk=|9doNtH^
*Ej4&#fǰ}2 eնlNI ~j|x5kfReyBD͞(fq,? IYY#
dӎl[?wBPZdOs9~| 8O7 k 3SZg YZ01091870288c89b07c9a8196906ab1a28f5ce144
0c80d94fb1c53b8f0c0160954bdfb879eb089e18
2d2a991981462407022e9fa67eaf8a93345ed7b6
4215e00a7f2c562e9cd0ce7c35b8ce508895f6c4
7ce7d0fdf02c8c654052b525989e64c818494305
bc4b5798bdf4ea30813f681d2af50b022d03e347
e6ea58e6d038ba77e87df5df5c14ed99ecf86c7e
ed118e9d957411af2976259e5705576653febef2
f396d09fe17cc04998f89362bd7930d76b4f15349711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
) Pop_Refinement