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  n,\, ]] Sequents:threads=2elapsed=3.781cpu=7.272gc=0.128factor=1.927zXZִF! ]ŗXf1-yx,#K[Ah |ҪayXxD2'FaV(}ОA9\[Ĝ:"taNpʄ0yFsw[g?ː6ʡXQ5bt:9`CS*%mU:+DTC HsKjJdq$C-q0^M#^d |K/# P#gYZ7zXZִF! ]ŗXiɟBv l82Xt^xcĨ%`"^.(MCu_mbEoϷh"0W5o~끦jAUQ? ,./z+blsgՠ?UAsꯢC>5vq+&zf4k,(E~O0^p@DzbQ^/#[aac7SIj a˱gYZ7zXZִF! O]ŗXi%;c>M~ #u?S]!<5e3nTVil2p7 nYӯ5l,t̞ ֶi;Qyr@so|ՇGk ~خ4KWT/m}FT#5ݵOQ}vJҁ% c$==DQ)MSْ/0feydC(ڒ5^1'ũBC@Kl|?%x@L4g?܄oqZ )DDw\HhmM+ڼ̇^qN;TDQT#S(>:SkX] NW' 4ڵ|?d(&xQ|jx+T[;}QpIc6R+T7u]"2˹iʌ] %tS+QJ̟z+3O>gsBVe5/K(+]GL#6I dVxGRITjrد0-V["xel0fGHa)*QՒgYZa0607827e2d2c19a47c41b0e46a74bc1a42b8fa062b89b746f265b39aa07d30f95ec0c87cdd2cef6   Sequents