SQLite format 3@ . BBh77otableisabelle_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]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info a <$L ]w]Routing:threads=2elapsed=13.933cpu=24.932gc=0.924factor=1.797zXZִF! S]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*k#2o|]]-cJw>]ȋxt3(>{ᢱ7(*E.+A[[ƌsw[Δrᠫmg-Ca[>E<6IBiA y:q){*4 YJ1533S͕H@5krEI3ӱJw .Cf ŏKhKZЂGS7v>C _vF]=X+ܜ݉B2),Y/}nI 9~M1Sъdz'Eq 66*IkiBIbu5UH-oVLɭj,N?HeBհվ=c<{:0k>2u>Mx0-4ngYZ7zXZִF! ]ŗXiɟ1˦rnzx <@0+gMLS~9=c7:čZv)r"1hmȶ[_G%eNRބRcW 9>FUEyͲ}/=dD4 1tlլm+ :wEC@t\pѺџK3cuqnܟbs׌6+rqĉG']iR2~t:7w\,XUYBFr}]̔:Mhtm,)]>.d㞮 |͊kij/"_I J5_sB=0TI#>wT٥S=*