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  -t\< ] HOL-Unix:threads=2elapsed=5.645cpu=9.140gc=0.456factor=1.627zXZִF! ]ŗXf1-q恈>HAHIq"”a;E HvGl "9%i-3SYe]kD{A lϷ SOv[Vl8Ǒ1")p&e7u ΚUwErP =w_B5Sxi/c,;םh^q^%,rۮ9kp,)9yF]bHl` pLgYZ7zXZִF! f]ŗXiɟ1Ivx*`(rHQ ɅeXa?I\[\N,]+ji 4AQ<-w9d 04D-$ ƻgYZ7zXZִF! *]ŗXi%;iFuxW}x ɻ f9aT$[SyO3IY ?nm(kSleG)s>6jWfƊCIyJb/\JIrRɲ1)_U?w v4Ol"1fS&l\lÆZ6 R7¦ 0V_B ـ8<̠e֎0rEP$ s 30\܂R#JbW?Y _Gd'@t[cnOV'4[ˣIJ xMO VtCӠvs]f'^4_Z+k$-EeCK"r^OUni fBj=uTnl'䓢C7} .jލŨ DF]ͩl\0f~T@wG d촸ܵnnv0y Qc~5!zՄkr杠JrR7kj<PcoYrѹ 0w˰7t -sR\!Fc6 [xb icJ@دs{3@aCg7M<T9ūUO3]Z @Mc