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 B d| ]]IOA:threads=2elapsed=18.122cpu=33.976gc=1.384factor=1.877zXZִF! :>]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K)@^?Cn8yBo0}Q:Yw77*NjY[kѕQv t;;I]aҽ+nftƒ?@[\Aߟ3a|xb` ;S{7-`ܰ`!Իy~HJPϛ-3{AtP>,*Fb7OKTB6a;P5w_pDA@ 82(&f#&VMi8̈|a ‡QDD>р>~TpڣbQW\Z.J$qDHWCtP0Z +~o~TLts7K{_)mR$͵X,NPnj=D︑qGf﹊m 6A1&:[alrWSUM䛴gXN8: !n< (~p5$Ύ>9 oLp"AtgYZ7zXZִF! `k]ŗXiɟdNfBp5.D,c BU𫸃dXйEh/ )gYZ7zXZִF! T]ŗXi%;>^)-ǗI(ssލFeIVjsWe,U޷iǐC^}Ȋ2ӊܮIE¡lrjR-< P%Q@>t;HE.0tImѶII % a Dq7Ok8kw3R3 rUPTM`m[A "f9Y3 0 p*j$ *i(93NILCb78B\Vlշ|b"dB4)Rtv@2&bd.]kj/;\n?3j |9̵Cd]E QF%.I5X֚,O.2c>pwPf=gIW cՐg#WR LG(J,t(U<|/E$˂{ꯨ]N{ilF2LۂmσKa@+L{oӌzNJݞ2{{T1:YV*Nue2ƶ_@ߩ^zQQkYG, 0нlYt3ԪұIγ)|N2uo @xcIi+SX %?|f6[BKYDyX ?>TJ{r+: