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  |-|l ]/ BinarySearchTree:threads=2elapsed=3.527cpu=6.240gc=0.260factor=1.777zXZִF! ]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv9_V+4z"w`ϏjR e&Zp5]gTigjǙTWd7`j%MLr\[ϭVf9@X6ybÀ5bɱgYZ7zXZִF! v]ŗXiɟԣʰi|ݏ|)P a{6!CpM}\zz\6r}J顧ǨH`2(NUidyZcimY@p[i:7JW|Ӷcq$#u.WJW!5W- iٟ{c'Gh?Z lE:ɕP%uQkc`f9LAj 1E8h/oXa$H=VR+6)7]/5n\X5#\ei7*Y80 (k'4ƒQ/Դ@{Uo8g\Al0U :qaE}iI ??NG>^nƶN=VRb$fG5 S_11еp` @ ͽiy0L|:E+dc)#bgUrR,l(CD }'}M k Tc˴_|ȩdA\ ݱ&2+$a2Th6m%Kh5 qhTyd $d838[:85A`Y #zn4T-PobJD&6͢EƥgYZ26b52d60416527a5a554140ad9d7f0fa3f9ff9e8ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 - BinarySearchTree