SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info 11 Dl s/ JiveDataStoreModel:threads=2elapsed=14.141cpu=24.464gc=1.272factor=1.737zXZִF! E0]ŗXf1-/6vRZQs!L/5RLIJϾ[i{$!;R~f{z/mYᒄ0(\ uF_AzeRf{w^7J0&=OVm,S?i yTzAbRy Cr}x=șMqC^&`R;VtuO_owgKe>jKQ5_7QWwG.Ag&*"ʝK]V  W|Eݠ$ #vϧM藘ފϼe 0AǾdgpuG-/vD m@x4}7_EcR~ zaCY!d-NFuT;@J CZnlg!{b0q>S߯ 1 JiveDataStoreModel'R1'C6kz{5 ޺c5ǯ;? G3)?G]D(L=A25+BK2~҂Mnˑh163y-G_--{4H̑6YQV湨a̼sgby@9%#n+#R;SնZw#tC#S`jiX͠fI2sձ~w x\i%@@ ǽrqiBU/,zPP<`8@SU w?w ʂЕ匇(FokJ:'s ۽p sBhgO? $ڻNZĚͷL'WT0o<`q>trn&xyxYr .w9Uyc#_XK68.˳[G8i39NDoZcbAZhB* rN {'[j/&优GfEΖRܹf5ww`p,m)le_ 20lȘ=D!YƱ%$!RuYҳ̐4cȈլAx|YM9SqZ&[Z=I?C׈SFͶl4㭜,^d䄭/ѣī /)̅w}BMXLgI!BoW GЎd>suyIeUHnU(J8gBF uR?jo׫b <7vb }gt Yi]ޱgYZ7zXZִF! Mj]ŗXi%SA¶때a%m.WR(Źޘk(Fb~љǾ37Y*h-NCYpYOlajO|!! *(꼤LMw 8@|00D a/N$c"=DMӄЃ;i_÷ &2m f=ݦV&ec(~^f1YN>Ǜ dM+Zccr/ov#`6{Ny/ :~f@5VYR3i{+3F3 c! x 'jyٵ3َ\}+Q(NCq7n ۰ `ūRck*W 9#eŚtMJRt [{Qp'Q&AƽY痞ʓ~xيoKI d귥.3ayS+ ft^G >czSEC)D>kEHR?tU:U%B