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  : :C! d ]/ Prog_Prove:threads=2elapsed=5.357cpu=10.500gc=0.680factor=1.967zXZִF! m]ŗXf1-hg3㶌 8UA5kGc,SnÊ/?(>WZX]).аY'y%8JEրG$^eեsg aGQxՍ\` ,PYWhtW!Lp!u|)?P{3xmnXS̶žY ݙEB"ތY6vl$ǎ[:Qee[ϱgYZ7zXZִF! ]ŗXiɟ˕A*++YĊkqdT丼4ȵ+aeNBq44F٢3]9/EcgOGo#w(Nã"W~maSa[Vpod&bA3MIG0c):D?/S`$vk$-{h(J\S7/kADñ6}JѱgYZ7zXZִF! ]ŗXi%;iF4ey0ʑljD/%H\PG^l}1hy 6)8!nTr^yCșqPt>_qJh&ڜ:8ZozXwfbyso Y䉈 {1 IwBXS'- h)5n6PDR`Y$(fl%N[~[gS[ %<<4U`9#e\\֍"|U;W esJ8#l*R*JS6]B8عp^JXV53c]gYZfc298488111a6ed4094d9612607b44cbef686149b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde  ! Prog_Prove