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 ..?1 |L w/ RefinementReactive:threads=2elapsed=16.984cpu=22.216gc=0.404factor=1.317zXZִF! L]ŗXf1-/6vR[O!vpa'tAl0ׂ~1agw$aU!PpO, 1 RefinementReactive뇮ڒVEXpte. A㷍b7\G)4EhaisA!e~VGR8hȭY[V̾an*B!w:5e$#Z|gtͭ"/fi̵NFҗ 튘z')ˊEx!_L^3pkz5lzsкω K$<z5C/M/iBҰ]u` :_l dV0`imr`Ul;I=gp~P(-iuF.a: '_(s /zQH^]i և\g%/F?X|e0p)DT0}xX.╴ ;z> isdjRgWp[iN]L6+d~/ijpARe/-Ε`l8G?Ougug :U,H߆ 3':̲RVeZ%NDm}PL=dn M mNh~]w/ {x V,ἔe#(B0U# ً# y^rOknGUw{ \PYEy䨬dE_..i{45Mو`$0 VVgYZ7zXZִF! ]]ŗXi%Htb}W<}SJ<۲nlKglIfbI4{vu^U9&ؐeY^.Ρ @u ڣ?ª"O5}3 "P\} =Wk^G0M0WFX} T ?L<#I|C{4^gZVm|- >N!5feWO2Շ!ѾX6JT~<^ @x =Y͘1֙`f%[iM{))7i nGl8uLWkuOͿʼv!tĥ ̬[.eJ.I,-Q#A[ L1WP5h\t8-H{1oo>MV`.BȮ{ " 8Z!` wC=Std9cU)ƣ7ЫGxlݢp\P7_ 5gn~niK~w@V4i&POl Gk[7NG)BƵ54G100{l=Htӻ Y%[;-] 8 <:QN&)i ~4q\d[Ö,7oȕWֆUٕ.wrH F zA.87]׌=-Hwx(WaXu[&h\0rޏAaqf A ^rWa$A$4:TXdXc #ь@G9evfm3.ܲuZn/,7uI[h4Bed4}#0 c]k]Fx\ u-S!L(#k7TԂ5۲T,.p]hBZlD