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 l y/ AWN:threads=2elapsed=98.956cpu=185.828gc=6.988factor=1.887zXZ ִF ! 8n] ŗXf1-/6vRZ\fVHA"\sd` q2;wB*Ki^4'EVs` WtLp( r%6?c[h NiCo2¥ՌXp!t ]'pj50/K kE^`ۯm7b (a"{9Ot)jՉ闀(e =X1iXѥQ\s}wת mpmj'1oX)?2y,5SGq-(1P#H[ ^\yܗ/Zo߰?1cPZ&DqX:9qDތ&RstgZt˰\8(M%Vo "-/ĝkG3gɍj2 AWN &G9X9rMhf#xsStχ#'߾1AW"K̹ŻjV/s]:ʇ=@(d*U@mc9<;70ty3 *ΥxcP03IccWγ7<[FL_ ndha,~R2r_Y:
(7sE:y7FHN58@flz6>oКT,o"+B=D%lɸ[* p8;n`ɀ:D4U&,iI?4
o}ݔљ` {,;H=.-
3/x}ߢ>$
PLNg7C@
d\#D$l-#Vc8$v-
e!hgzve ] dU(w̞m>FWt)fctuz[=kPI) *g8ןv^8ef1Z3L +!*|E%ۜ('$~7JL4o_p+@ǟ?{qk}i^LXUJ> 稘Ir3#OЧpFZ>V$_hcP^58M 3kJǪYl)+e~_KLc`Q&1@_*5p=W?
GϞݼ
X;u2! fT̹;d92@e.s h{h%SujH%υsk;>njBI)}ygGPr0:q>Dm~[cg>v;qf8e*JRZ]3a\,`:%,Lײ?z:9\x9-q