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  R|dL ]/ FOL-ex:threads=2elapsed=5.780cpu=8.080gc=0.180factor=1.407zXZִF!  ]ŗXf1-)<=IOΪB@G8kPB qj[z%bc՚L,nvg Zůb,w8u5y;~-  fs1Ff\^,VAdmV7WKIZ",rPRb<$ۮL ׇ[ձgYZ7zXZִF! +]ŗXiɟ1 UtjL+S ^-}P;PϿCqx)Mkm7yW':evqXyrDQ@'BGF2SJ"?w`{L`Rq(<."OLgdz?u(ۑ|ŠAa1 l2希]Kp<FC&Ck UP<AuƌFo[S 'Ŧך̑SkJە,JӷDQ AgYZ7zXZִF! ']ŗXi%9+iW%б4$hN35i6*n