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 jj7 l| ]]Abstract_Completeness:threads=2elapsed=8.461cpu=14.728gc=0.956factor=1.747zXZִF! m]ŗXf1-/6vRZyغgЕgQ,n0 z߇+UMe֥sFèQQY)1 W,~4(8q2$;7QIYGfLNKnR?U`N*gD)IBeES&{m&W6G?%:)OEU=?Hbrȭn%w̆V$ΑQࢬWlXa1%F>gYZ7zXZִF! ]ŗXiɟlAC,YflӅn] 6X, KnH3B!"?1a:j}I E/HR]&N:KY#6#M{F/>')T mN\ £p+F}` ˷lTCDApgYZ7zXZִF! 3xw]ŗXi%;~;ֶu:4zoҤQGn ao]Jh?/ypUܿi윷ö"Cxl lL!ƹɚ;S s+dVjSfdL_jB)D$6&oy%Q׺ދO^@,Ǎ`f'[SoS/Ю٧!8]AZPH= qm\ߣns [+Р{oM5`8FMjBV #=ۓ <*&w x滿.vQb~k>M @VcqfPm *#J!td^˦R81th} 3u`YpKsH D+>j {|o"+Bv3f]gYZ5e6db59561abdb4950d06042c48af697b4f229ed79d8e835726df87c7b301a8f091eddccadfabbca f1715b405e31ccabbdc6fec58464e458364e7dc6 b00b49c8ed70ed453ef127711e671cb988aa3069d07251938aa8cd3e6cfaad9f494e07e88b82289a 7 Abstract_Completeness